The dreamer sent, stripped, and sold (37:1-36) FROZEN

הֲבוֹא נָבוֹא אֲנִי וְאִמְּךָ וְאַחֶיךָ · ha-vo navo ani ve-imkha ve-achekha · 'shall we indeed come, I and your mother and your brothers?'

Derivation log (steps A–J)

Boot steps — the operator lines (hand-derived, owner-approved)

Scenarios (the unit's own test suite)

Machine verification — run_unit.py (computed live, not stored)

unit: gen_60_dreamer_sold — The dreamer sent, stripped, and sold (37:1-36) [frozen]

final state: WORLD=[] (+0 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=[]

=== S1 — after STEP_Gn_37_1 — the sojourn-land settled
    וַיֵּ֣שֶׁב יַעֲקֹ֔ב בְּאֶ֖רֶץ מְגוּרֵ֣י (va-yeshev yaaqov be-eretz megure)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_37_2 — the header and the report
    אֵ֣לֶּה תֹּלְד֣וֹת יַעֲקֹ֗ב יוֹסֵ֞ף (ele toldot yaaqov yosef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_37_3 — the love and the coat
    וְיִשְׂרָאֵ֗ל אָהַ֤ב אֶת יוֹסֵף֙ (ve-yisrael ahav et-yosef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_37_4 — the lean peace
    וַיִּרְא֣וּ אֶחָ֗יו כִּֽי אֹת֞וֹ (va-yiru echay-v ki-et-o)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_37_5 — the first dream
    וַיַּחֲלֹ֤ם יוֹסֵף֙ חֲל֔וֹם וַיַּגֵּ֖ד (va-yachalom yosef chalom va-yaged)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_37_6 — the hear-demand pushed
    וַיֹּ֖אמֶר אֲלֵיהֶ֑ם שִׁמְעוּ נָ֕א (va-yomer ale-hem shimu-na)
    PASS  LET(shimu_na_ha_chalom) pushed and OPEN  (queue=['shimu_na_ha_chalom'])
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_37_7 — the sheaves bow
    וְ֠הִנֵּה אֲנַ֜חְנוּ מְאַלְּמִ֤ים אֲלֻמִּים֙ (ve-hine anachnu mealmim alumim)
    PASS  LET(shimu_na_ha_chalom) pushed and OPEN  (queue=['shimu_na_ha_chalom'])
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_37_8 — the demand answered in mockery
    וַיֹּ֤אמְרוּ לוֹ֙ אֶחָ֔יו הֲמָלֹ֤ךְ (va-yomru l-o echay-v ha-malokh)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_37_9 — the second dream
    וַיַּחֲלֹ֥ם עוֹד֙ חֲל֣וֹם אַחֵ֔ר (va-yachalom od chalom acher)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_37_10 — the rebuke that keeps
    וַיְסַפֵּ֣ר אֶל אָבִיו֮ וְאֶל (va-yesaper el-avi-v ve-el-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_37_11 — the kept word
    וַיְקַנְאוּ ב֖וֹ אֶחָ֑יו וְאָבִ֖יו (va-yeqanu-v-o echay-v ve-avi-v)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_37_12 — the dotted et
    וַיֵּלְכ֖וּ אֶחָ֑יו לִרְע֛וֹת אֶׄתׄ (va-yelkhu echay-v li-reot et-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_37_13 — the summons and hineni
    וַיֹּ֨אמֶר יִשְׂרָאֵ֜ל אֶל יוֹסֵ֗ף (va-yomer yisrael el-yosef)
    PASS  LET(lekha_el_achekha) pushed and OPEN  (queue=['lekha_el_achekha'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_37_14 — the errand and the open word
    וַיֹּ֣אמֶר ל֗וֹ לֶךְ נָ֨א (va-yomer l-o lekh-na)
    PASS  LET(ree_et_shelom_achekha) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_37_15 — the wanderer found
    וַיִּמְצָאֵ֣הוּ אִ֔ישׁ וְהִנֵּ֥ה תֹעֶ֖ה (va-yimtzae-hu ish ve-hine toe)
    PASS  LET(ree_et_shelom_achekha) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_37_16 — the where-word
    וַיֹּ֕אמֶר אֶת אַחַ֖י אָנֹכִ֣י (va-yomer et-acha-y anokhi)
    PASS  LET(hagida_na_efo_hem_roim) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar', 'hagida_na_efo_hem_roim'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['ree_et_shelom_achekha', 'hashiveni_davar', 'hagida_na_efo_hem_roim'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_37_17 — the answer: Dothan
    וַיֹּ֤אמֶר הָאִישׁ֙ נָסְע֣וּ מִזֶּ֔ה (va-yomer ha-ish nasu mi-ze)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_37_18 — the conspiracy
    וַיִּרְא֥וּ אֹת֖וֹ מֵרָחֹ֑ק וּבְטֶ֨רֶם֙ (va-yiru et-o me-rachoq u-ve-terem)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_37_19 — the dreamer named
    וַיֹּאמְר֖וּ אִ֣ישׁ אֶל אָחִ֑יו (va-yomru ish el-achi-v)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_37_20 — the plot pushed
    וְעַתָּ֣ה לְכ֣וּ וְנַֽהַרְגֵ֗הוּ וְנַשְׁלִכֵ֨הוּ֙ (ve-ata lekhu ve-naharge-hu ve-nashlikhe-hu)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_37_21 — Reuben hears
    וַיִּשְׁמַ֣ע רְאוּבֵ֔ן וַיַּצִּלֵ֖הוּ מִיָּדָ֑ם (va-yishma reuven va-yatzile-hu mi-yada-m)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_37_22 — Reuben's redirect
    וַיֹּ֨אמֶר אֲלֵהֶ֣ם רְאוּבֵן֮ אַל (va-yomer el-hem reuven el-)
    PASS  LET(hashlikhu_oto_el_ha_bor) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'hashlikhu_oto_el_ha_bor', 'yad_al_tishlechu_vo'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'hashlikhu_oto_el_ha_bor', 'yad_al_tishlechu_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_37_23 — the stripping
    וַֽיְהִ֕י כַּֽאֲשֶׁר בָּ֥א יוֹסֵ֖ף (va-yehi ka-asher-ba yosef)
    PASS  LET(hashlikhu_oto_el_ha_bor) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'hashlikhu_oto_el_ha_bor', 'yad_al_tishlechu_vo'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'nashlikhe_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'hashlikhu_oto_el_ha_bor', 'yad_al_tishlechu_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Gn_37_24 — the pit takes him
    וַיִּ֨קָּחֻ֔הוּ וַיַּשְׁלִ֥כוּ אֹת֖וֹ הַבֹּ֑רָה (va-yiqachu-hu va-yashlikhu et-o ha-bora-ה)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Gn_37_25 — bread and the caravan
    וַיֵּשְׁבוּ֮ לֶֽאֱכָל לֶחֶם֒ וַיִּשְׂא֤וּ (va-yeshvu le-ekhal-lechem va-yisu)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Gn_37_26 — Judah's question
    וַיֹּ֥אמֶר יְהוּדָ֖ה אֶל אֶחָ֑יו (va-yomer yehuda el-echay-v)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Gn_37_27 — the sale proposed
    לְכ֞וּ וְנִמְכְּרֶ֣נּוּ לַיִּשְׁמְעֵאלִ֗ים וְיָדֵ֨נוּ֙ (lekhu ve-nimkre-nu la-yishmelim ve-yade-nu)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'nimkere_nu_la_yishmeelim', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Gn_37_28 — the sale, seller unresolved
    וַיַּֽעַבְרוּ֩ אֲנָשִׁ֨ים מִדְיָנִ֜ים סֹֽחֲרִ֗ים (va-yaavru anashim midyanim socharim)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Gn_37_29 — Reuben at the empty pit
    וַיָּ֤שָׁב רְאוּבֵן֙ אֶל הַבּ֔וֹר (va-yashav reuven el-ha-bor)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Gn_37_30 — the child is not
    וַיָּ֥שָׁב אֶל אֶחָ֖יו וַיֹּאמַ֑ר (va-yashav el-echay-v va-yomar)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Gn_37_31 — the coat dipped
    וַיִּקְח֖וּ אֶת כְּתֹ֣נֶת יוֹסֵ֑ף (va-yiqchu et-ketonet yosef)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Gn_37_32 — the recognize-demand
    וַֽיְשַׁלְּח֞וּ אֶת כְּתֹ֣נֶת הַפַּסִּ֗ים (va-yeshalchu et-ketonet ha-pasim)
    PASS  LET(haker_na_ha_ketonet) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo', 'haker_na_ha_ketonet'])
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo', 'haker_na_ha_ketonet'])
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Gn_37_33 — the father speaks the lie
    וַיַּכִּירָ֤הּ וַיֹּ֨אמֶר֙ כְּתֹ֣נֶת בְּנִ֔י (va-yakira-ה va-yomer ketonet beni-y)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Gn_37_34 — the mourning
    וַיִּקְרַ֤ע יַעֲקֹב֙ שִׂמְלֹתָ֔יו וַיָּ֥שֶׂם (va-yiqra yaaqov simlotay-v va-yasem)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S35 — after STEP_Gn_37_35 — comfort refused
    וַיָּקֻמוּ֩ כָל בָּנָ֨יו וְכָל (va-yaqumu khal-banay-v ve-khal-)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

=== S36 — after STEP_Gn_37_36 — the second sale
    וְהַ֨מְּדָנִ֔ים מָכְר֥וּ אֹת֖וֹ אֶל (ve-ha-medanim makhru et-o el-)
    PASS  LET(hashiveni_davar) pushed and OPEN  (queue=['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo'])
    PASS  no test, no name.  (tests=0 names=0)

ALL SCENARIOS GREEN

Python rendering — the unit as a program

Generated from the frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_60_dreamer_sold.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_60_dreamer_sold — 37:1-36
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_60_dreamer_sold.yaml) is CANONICAL (Pre-Code);
# this file is a derived, runnable rendering. Do not edit — regenerate. The
# assertion block at the bottom is baked from the Stage D interpreter's
# actual final state: running this file re-proves the unit.
# Experimental model — not binding religious law.
# =============================================================================
"""The dreamer sent, stripped, and sold (37:1-36)"""
from machine import Machine

m = Machine("gen_60_dreamer_sold")

# -------------------------- Gen.37.1 · THE_SOJOURN_LAND_SETTLED ------------
# וַיֵּשֶׁב יַעֲקֹב בְּאֶרֶץ מְגוּרֵי אָבִיו בְּאֶרֶץ כְּנָעַן
# "[EN-AID] And Jacob dwelt in the land of his father's sojournings, in the
# land of Canaan."
m.step("Gen.37.1")
# ‹וַיֵּשֶׁב יַעֲקֹב בְּאֶרֶץ מְגוּרֵי אָבִיו› (“and-dwell/sit Jacob in-
# earth sojourning father-him/its”) — fact holds: return-in-earth-
# sojourning-aviv(Jacob)
m.fact("yashav_be_eretz_megure_aviv(yaaqov)")

# -------------------------- Gen.37.2 · THE_HEADER_AND_THE_REPORT -----------
# אֵלֶּה תֹּלְדוֹת יַעֲקֹב יוֹסֵף בֶּן־שְׁבַע־עֶשְׂרֵה שָׁנָה הָיָה רֹעֶה
# אֶת־אֶחָיו בַּצֹּאן וְהוּא נַעַר אֶת־בְּנֵי בִלְהָה וְאֶת־בְּנֵי זִלְפָּה
# נְשֵׁי אָבִיו וַיָּבֵא יוֹסֵף אֶת־דִּבָּתָם רָעָה אֶל־אֲבִיהֶם
# "[EN-AID] These are the generations of Jacob: Joseph, seventeen years old,
# was shepherding with his brothers among the flock — a lad with the sons of
# Bilhah and Zilpah, his father's wives — and Joseph brought their evil
# report to their father."
m.step("Gen.37.2")
# ‹אֵלֶּה תֹּלְדוֹת יַעֲקֹב יוֹסֵף› (“these generations Jacob Joseph”) —
# fact holds: generations-Jacob(Joseph-son-seven--teen)
m.fact("toldot_yaaqov(yosef_ben_sheva_esre)")
# ‹וַיָּבֵא יוֹסֵף אֶת־דִּבָּתָם רָעָה אֶל־אֲבִיהֶם› (“and-come/bring Joseph
# obj-marker slander-them/their bad to father-them/their”) — fact holds:
# hevi-dibata-m-bad-to-avi-they(Joseph)
m.fact("hevi_dibata_m_raa_el_avi_hem(yosef)")

# -------------------------- Gen.37.3 · THE_LOVE_AND_THE_COAT ---------------
# וְיִשְׂרָאֵל אָהַב אֶת־יוֹסֵף מִכָּל־בָּנָיו כִּי־בֶן־זְקֻנִים הוּא לוֹ
# וְעָשָׂה לוֹ כְּתֹנֶת פַּסִּים
# "[EN-AID] And Israel loved Joseph more than all his sons, for he was to
# him a son of old age; and he made him a coat of stripes."
m.step("Gen.37.3")
# ‹וְיִשְׂרָאֵל אָהַב אֶת־יוֹסֵף מִכָּל־בָּנָיו› (“and-Israel have-
# affection-for obj-marker Joseph from-all son-him/its”) — fact holds: have-
# affection-for-with-Joseph-from-all-banay-v(Israel)
m.fact("ahav_et_yosef_mi_kal_banay_v(yisrael)")
# ‹וְעָשָׂה לוֹ כְּתֹנֶת פַּסִּים› (“and-make to-him/its shirt long-and-
# sleeved-tunic”) — event: make — agent Israel; theme shirt-long-and-
# sleeved-tunic
m.event("asa", agent="yisrael", themes=["ketonet_pasim"])

# -------------------------- Gen.37.4 · THE_LEAN_PEACE ----------------------
# וַיִּרְאוּ אֶחָיו כִּי־אֹתוֹ אָהַב אֲבִיהֶם מִכָּל־אֶחָיו וַיִּשְׂנְאוּ
# אֹתוֹ וְלֹא יָכְלוּ דַּבְּרוֹ לְשָׁלֹם
# "[EN-AID] And his brothers saw that their father loved him more than all
# his brothers, and they hated him, and could not speak to him toward
# peace."
m.step("Gen.37.4")
# ‹וַיִּשְׂנְאוּ אֹתוֹ וְלֹא יָכְלוּ דַּבְּרוֹ לְשָׁלֹם› (“and-hate obj-
# marker-him/its and-not be-able speak-him/its to-safe”) — fact holds: sanu-
# it-and-not-be-able-dabro-to-safe(brother-him/its)
m.fact("sanu_oto_ve_lo_yakhlu_dabro_le_shalom(echay_v)")

# -------------------------- Gen.37.5 · THE_FIRST_DREAM_TOLD ----------------
# וַיַּחֲלֹם יוֹסֵף חֲלוֹם וַיַּגֵּד לְאֶחָיו וַיּוֹסִפוּ עוֹד שְׂנֹא אֹתוֹ
# "[EN-AID] And Joseph dreamed a dream and told it to his brothers, and they
# hated him yet more."
m.step("Gen.37.5")
# ‹וַיַּחֲלֹם יוֹסֵף חֲלוֹם וַיַּגֵּד› (“and-bind-firmly Joseph dream and-
# tell”) — event: chalam — agent Joseph; theme dream-rishon
m.event("chalam", agent="yosef", themes=["chalom_rishon"])

# -------------------------- Gen.37.6 · THE_HEAR_DEMAND ---------------------
# וַיֹּאמֶר אֲלֵיהֶם שִׁמְעוּ־נָא הַחֲלוֹם הַזֶּה אֲשֶׁר חָלָמְתִּי
# "[EN-AID] And he said to them: Hear, please, this dream which I have
# dreamed."
m.step("Gen.37.6")
# ‹שִׁמְעוּ־נָא הַחֲלוֹם הַזֶּה› (“hear please the-bind-firmly the-this”) —
# Joseph speaks a demand — LET: hear-please-the-dream
m.declare("yosef", "LET",
          "shimu_na_ha_chalom")

# -------------------------- Gen.37.7 · THE_SHEAVES_BOW ---------------------
# וְהִנֵּה אֲנַחְנוּ מְאַלְּמִים אֲלֻמִּים בְּתוֹךְ הַשָּׂדֶה וְהִנֵּה קָמָה
# אֲלֻמָּתִי וְגַם־נִצָּבָה וְהִנֵּה תְסֻבֶּינָה אֲלֻמֹּתֵיכֶם
# וַתִּשְׁתַּחֲוֶיןָ לַאֲלֻמָּתִי
# "[EN-AID] Behold, we were binding sheaves in the field, and behold, my
# sheaf arose and stood upright; and behold, your sheaves gathered round and
# bowed to my sheaf."
m.step("Gen.37.7")
# ‹וְהִנֵּה קָמָה אֲלֻמָּתִי וְגַם־נִצָּבָה› (“and-behold arise something-
# bound-me/my and-also stand”) — fact holds: alumati-arise-stand-and-alumot-
# afflict(dream-rishon)
m.fact("alumati_qama_nitzava_ve_alumot_tishtachavena(chalom_rishon)")

# -------------------------- Gen.37.8 · THE_ANSWER_OF_KINGS -----------------
# וַיֹּאמְרוּ לוֹ אֶחָיו הֲמָלֹךְ תִּמְלֹךְ עָלֵינוּ אִם־מָשׁוֹל תִּמְשֹׁל
# בָּנוּ וַיּוֹסִפוּ עוֹד שְׂנֹא אֹתוֹ עַל־חֲלֹמֹתָיו וְעַל־דְּבָרָיו
# "[EN-AID] And his brothers said to him: Will you indeed reign over us, or
# indeed rule over us? And they hated him yet more for his dreams and for
# his words."
m.step("Gen.37.8")
# ‹וַיֹּאמְרוּ לוֹ אֶחָיו הֲמָלֹךְ תִּמְלֹךְ עָלֵינוּ אִם־מָשׁוֹל תִּמְשֹׁל
# בָּנוּ› (“and-say to-him/its brother-him/its the-reign reign over-us/our
# if rule rule in-us/our”) — demand settled (popped from the queue): hear-
# please-the-dream
m.result("shimu_na_ha_chalom", tmark="t1")

# -------------------------- Gen.37.9 · THE_SECOND_DREAM --------------------
# וַיַּחֲלֹם עוֹד חֲלוֹם אַחֵר וַיְסַפֵּר אֹתוֹ לְאֶחָיו וַיֹּאמֶר הִנֵּה
# חָלַמְתִּי חֲלוֹם עוֹד וְהִנֵּה הַשֶּׁמֶשׁ וְהַיָּרֵחַ וְאַחַד עָשָׂר
# כּוֹכָבִים מִשְׁתַּחֲוִים לִי
# "[EN-AID] And he dreamed yet another dream and told it to his brothers,
# and said: Behold, I have dreamed a dream again — and behold, the sun and
# the moon and eleven stars bowing to me."
m.step("Gen.37.9")
# ‹וְהִנֵּה הַשֶּׁמֶשׁ וְהַיָּרֵחַ וְאַחַד עָשָׂר כּוֹכָבִים מִשְׁתַּחֲוִים›
# (“and-behold the-sun and-the-moon and-one -teen stars afflict”) — event:
# chalam — agent Joseph; theme dream-sheni
m.event("chalam", agent="yosef", themes=["chalom_sheni"])

# -------------------------- Gen.37.10 · THE_REBUKE_THAT_KEEPS --------------
# וַיְסַפֵּר אֶל־אָבִיו וְאֶל־אֶחָיו וַיִּגְעַר־בּוֹ אָבִיו וַיֹּאמֶר לוֹ
# מָה הַחֲלוֹם הַזֶּה אֲשֶׁר חָלָמְתָּ הֲבוֹא נָבוֹא אֲנִי וְאִמְּךָ
# וְאַחֶיךָ לְהִשְׁתַּחֲוֺת לְךָ אָרְצָה
# "[EN-AID] And he told it to his father and to his brothers; and his father
# rebuked him and said to him: What is this dream that you have dreamed?
# Shall we indeed come, I and your mother and your brothers, to bow to you
# to the ground?"
m.step("Gen.37.10")
# ‹וַיִּגְעַר־בּוֹ אָבִיו וַיֹּאמֶר› (“and-chide in-him/its father-him/its
# and-say”) — fact holds: gaar-in-it-aviv-what-the-dream(Jacob)
m.fact("gaar_bo_aviv_ma_ha_chalom(yaaqov)")

# -------------------------- Gen.37.11 · THE_KEPT_WORD ----------------------
# וַיְקַנְאוּ־בוֹ אֶחָיו וְאָבִיו שָׁמַר אֶת־הַדָּבָר
# "[EN-AID] And his brothers envied him; and his father kept the word."
m.step("Gen.37.11")
# ‹וַיְקַנְאוּ־בוֹ אֶחָיו וְאָבִיו שָׁמַר אֶת־הַדָּבָר› (“and-be-zealous in-
# him/its brother-him/its and-father-him/its keep/guard obj-marker the-
# word/thing”) — fact holds: qinu-in-it-echay-v-and-aviv-keep/guard-with-
# the-word/thing
m.fact("qinu_bo_echay_v_ve_aviv_shamar_et_ha_davar")

# -------------------------- Gen.37.12 · THE_DOTTED_ET ----------------------
# וַיֵּלְכוּ אֶחָיו לִרְעוֹת אֶׄתׄ־צֹאן אֲבִיהֶם בִּשְׁכֶם
# "[EN-AID] And his brothers went to pasture their father's flock in
# Shechem."
m.step("Gen.37.12")
# ‹וַיֵּלְכוּ אֶחָיו לִרְעוֹת אֶׄתׄ־צֹאן אֲבִיהֶם› (“and-go brother-him/its
# to-graze obj-marker flock father-them/their”) — fact holds: halkhu-lireot-
# with-flock-avi-they-bi-shekhem(brother-him/its)
m.fact("halkhu_lireot_et_tzon_avi_hem_bi_shekhem(echay_v)")

# -------------------------- Gen.37.13 · THE_SUMMONS_AND_HINENI -------------
# וַיֹּאמֶר יִשְׂרָאֵל אֶל־יוֹסֵף הֲלוֹא אַחֶיךָ רֹעִים בִּשְׁכֶם לְכָה
# וְאֶשְׁלָחֲךָ אֲלֵיהֶם וַיֹּאמֶר לוֹ הִנֵּנִי
# "[EN-AID] And Israel said to Joseph: Are not your brothers pasturing in
# Shechem? Come, and I will send you to them. And he said to him: Here I
# am."
m.step("Gen.37.13")
# ‹לְכָה וְאֶשְׁלָחֲךָ אֲלֵיהֶם› (“go-ward and-send-you/your to-them/their”)
# — Israel speaks a demand — LET: to-you-to-achekha
m.declare("yisrael", "LET",
          "lekha_el_achekha")

# -------------------------- Gen.37.14 · THE_ERRAND_AND_THE_OPEN_WORD -------
# וַיֹּאמֶר לוֹ לֶךְ־נָא רְאֵה אֶת־שְׁלוֹם אַחֶיךָ וְאֶת־שְׁלוֹם הַצֹּאן
# וַהֲשִׁבֵנִי דָּבָר וַיִּשְׁלָחֵהוּ מֵעֵמֶק חֶבְרוֹן וַיָּבֹא שְׁכֶמָה
# "[EN-AID] And he said to him: Go now, see the peace of your brothers and
# the peace of the flock, and bring me back word. And he sent him from the
# valley of Hebron, and he came to Shechem."
m.step("Gen.37.14")
# ‹לֶךְ־נָא רְאֵה אֶת־שְׁלוֹם אַחֶיךָ וְאֶת־שְׁלוֹם הַצֹּאן› (“go please see
# obj-marker safe brother-you/your and-obj-marker safe the-flock”) — Israel
# speaks a demand — LET: see-with-safe-achekha
m.declare("yisrael", "LET",
          "ree_et_shelom_achekha")
# ‹וַהֲשִׁבֵנִי דָּבָר› (“and-return-me/my word/thing”) — Israel speaks a
# demand — LET: hashiveni-word/thing
m.declare("yisrael", "LET",
          "hashiveni_davar")
# ‹וַיִּשְׁלָחֵהוּ מֵעֵמֶק חֶבְרוֹן וַיָּבֹא שְׁכֶמָה› (“and-send-him/its
# from-vale Hebron and-come/bring Shechem-ward”) — demand settled (popped
# from the queue): to-you-to-achekha
m.result("lekha_el_achekha", tmark="t1")

# -------------------------- Gen.37.15 · THE_WANDERER_FOUND -----------------
# וַיִּמְצָאֵהוּ אִישׁ וְהִנֵּה תֹעֶה בַּשָּׂדֶה וַיִּשְׁאָלֵהוּ הָאִישׁ
# לֵאמֹר מַה־תְּבַקֵּשׁ
# "[EN-AID] And a man found him — and behold, wandering in the field; and
# the man asked him: What do you seek?"
m.step("Gen.37.15")
# ‹וַיִּמְצָאֵהוּ אִישׁ וְהִנֵּה תֹעֶה בַּשָּׂדֶה› (“and-find-him/its man
# and-behold vacillate in-field”) — fact holds: vacillate-come/bring-field-
# come/bring-yishale-he/it-the-man(Joseph)
m.fact("toe_ba_sade_va_yishale_hu_ha_ish(yosef)")

# -------------------------- Gen.37.16 · THE_WHERE_WORD ---------------------
# וַיֹּאמֶר אֶת־אַחַי אָנֹכִי מְבַקֵּשׁ הַגִּידָה־נָּא לִי אֵיפֹה הֵם רֹעִים
# "[EN-AID] And he said: My brothers I seek; tell me, please, where they are
# pasturing."
m.step("Gen.37.16")
# ‹הַגִּידָה־נָּא לִי אֵיפֹה הֵם רֹעִים› (“tell-ward please to-me/my where?
# they graze”) — Joseph speaks a demand — LET: hagida-please-where?-they-
# graze
m.declare("yosef", "LET",
          "hagida_na_efo_hem_roim")

# -------------------------- Gen.37.17 · THE_ANSWER_DOTHAN ------------------
# וַיֹּאמֶר הָאִישׁ נָסְעוּ מִזֶּה כִּי שָׁמַעְתִּי אֹמְרִים נֵלְכָה
# דֹּתָיְנָה וַיֵּלֶךְ יוֹסֵף אַחַר אֶחָיו וַיִּמְצָאֵם בְּדֹתָן
# "[EN-AID] And the man said: They have journeyed from here, for I heard
# them saying, Let us go to Dothan. And Joseph went after his brothers and
# found them at Dothan."
m.step("Gen.37.17")
# ‹וַיֹּאמֶר הָאִישׁ נָסְעוּ מִזֶּה כִּי שָׁמַעְתִּי אֹמְרִים נֵלְכָה
# דֹּתָיְנָה› (“and-say the-man journey from-this that hear say go Dothan-
# ward”) — demand settled (popped from the queue): hagida-please-
# where?-they-graze
m.result("hagida_na_efo_hem_roim", tmark="t1")
# ‹וַיֵּלֶךְ יוֹסֵף אַחַר אֶחָיו וַיִּמְצָאֵם› (“and-go Joseph after
# brother-him/its and-find-them/their”) — demand settled (popped from the
# queue): see-with-safe-achekha
m.result("ree_et_shelom_achekha", tmark="t1")

# -------------------------- Gen.37.18 · THE_CONSPIRACY ---------------------
# וַיִּרְאוּ אֹתוֹ מֵרָחֹק וּבְטֶרֶם יִקְרַב אֲלֵיהֶם וַיִּתְנַכְּלוּ אֹתוֹ
# לַהֲמִיתוֹ
# "[EN-AID] And they saw him from afar; and before he drew near to them,
# they conspired against him to put him to death."
m.step("Gen.37.18")
# ‹וַיִּתְנַכְּלוּ אֹתוֹ› (“and-defraud obj-marker-him/its”) — fact holds:
# defraud-it-to-hamito(brother-him/its)
m.fact("yitnaklu_oto_la_hamito(echay_v)")

# -------------------------- Gen.37.19 · THE_DREAMER_NAMED ------------------
# וַיֹּאמְרוּ אִישׁ אֶל־אָחִיו הִנֵּה בַּעַל הַחֲלֹמוֹת הַלָּזֶה בָּא
# "[EN-AID] And they said each to his brother: Behold, this master of dreams
# comes."
m.step("Gen.37.19")
# ‹הִנֵּה בַּעַל הַחֲלֹמוֹת הַלָּזֶה בָּא› (“behold master the-dream this-
# very come/bring”) — fact holds: master-the-dream-this-very-come/bring(man-
# to-his-brother)
m.fact("baal_ha_chalomot_halaze_ba(ish_el_achiv)")

# -------------------------- Gen.37.20 · THE_PLOT_PUSHED --------------------
# וְעַתָּה לְכוּ וְנַהַרְגֵהוּ וְנַשְׁלִכֵהוּ בְּאַחַד הַבֹּרוֹת וְאָמַרְנוּ
# חַיָּה רָעָה אֲכָלָתְהוּ וְנִרְאֶה מַה־יִּהְיוּ חֲלֹמֹתָיו
# "[EN-AID] And now, come, let us kill him and throw him into one of the
# pits, and we will say: an evil beast devoured him — and we shall see what
# his dreams will be."
m.step("Gen.37.20")
# ‹לְכוּ וְנַהַרְגֵהוּ› (“go and-smite-with-deadly-intent-him/its”) — achim
# speaks a demand — CMD-US: smite-with-deadly-intent-him/its
m.declare("achim", "CMD-US",
          "naharge_hu")
# ‹וְנַשְׁלִכֵהוּ בְּאַחַד הַבֹּרוֹת› (“and-throw-out-him/its in-one the-
# pit”) — achim speaks a demand — CMD-US: throw-out-him/its
m.declare("achim", "CMD-US",
          "nashlikhe_hu")
# ‹וְאָמַרְנוּ חַיָּה רָעָה אֲכָלָתְהוּ› (“and-say living bad eat-him/its”)
# — achim speaks a demand — CMD-US: say-living-bad-akhalat-he/it
m.declare("achim", "CMD-US",
          "amarnu_chaya_raa_akhalat_hu")

# -------------------------- Gen.37.21 · REUBEN_HEARS -----------------------
# וַיִּשְׁמַע רְאוּבֵן וַיַּצִּלֵהוּ מִיָּדָם וַיֹּאמֶר לֹא נַכֶּנּוּ נָפֶשׁ
# "[EN-AID] And Reuben heard, and rescued him from their hand, and said: Let
# us not strike a soul."
m.step("Gen.37.21")
# ‹וַיֹּאמֶר לֹא נַכֶּנּוּ נָפֶשׁ› (“and-say not strike-him/its living-
# being”) — Reuben speaks a demand — LET-NOT: nake-nu-living-being
m.declare("reuven", "LET-NOT",
          "nake_nu_nafesh")

# -------------------------- Gen.37.22 · REUBENS_REDIRECT -------------------
# וַיֹּאמֶר אֲלֵהֶם רְאוּבֵן אַל־תִּשְׁפְּכוּ־דָם הַשְׁלִיכוּ אֹתוֹ
# אֶל־הַבּוֹר הַזֶּה אֲשֶׁר בַּמִּדְבָּר וְיָד אַל־תִּשְׁלְחוּ־בוֹ לְמַעַן
# הַצִּיל אֹתוֹ מִיָּדָם לַהֲשִׁיבוֹ אֶל־אָבִיו
# "[EN-AID] And Reuben said to them: Shed no blood; throw him into this pit
# which is in the wilderness, and lay no hand on him — in order to rescue
# him from their hand, to return him to his father."
m.step("Gen.37.22")
# ‹אַל־תִּשְׁפְּכוּ־דָם› (“not spill-forth blood”) — Reuben speaks a demand
# — LET-NOT: tishpekhu-blood
m.declare("reuven", "LET-NOT",
          "tishpekhu_dam")
# ‹הַשְׁלִיכוּ אֹתוֹ אֶל־הַבּוֹר הַזֶּה› (“throw-out obj-marker-him/its to
# the-pit the-this”) — Reuben speaks a demand — LET: throw-out-it-to-the-pit
m.declare("reuven", "LET",
          "hashlikhu_oto_el_ha_bor")
# ‹וְיָד אַל־תִּשְׁלְחוּ־בוֹ› (“and-hand do-not send in-him/its”) — Reuben
# speaks a demand — LET-NOT: hand-over-tishlechu-come/bring
m.declare("reuven", "LET-NOT",
          "yad_al_tishlechu_vo")

# -------------------------- Gen.37.23 · THE_STRIPPING ----------------------
# וַיְהִי כַּאֲשֶׁר־בָּא יוֹסֵף אֶל־אֶחָיו וַיַּפְשִׁיטוּ אֶת־יוֹסֵף
# אֶת־כֻּתָּנְתּוֹ אֶת־כְּתֹנֶת הַפַּסִּים אֲשֶׁר עָלָיו
# "[EN-AID] And it came to pass, when Joseph came to his brothers, that they
# stripped Joseph of his coat, the coat of stripes that was on him."
m.step("Gen.37.23")
# ‹וַיַּפְשִׁיטוּ אֶת־יוֹסֵף אֶת־כֻּתָּנְתּוֹ אֶת־כְּתֹנֶת הַפַּסִּים›
# (“and-spread-out obj-marker Joseph obj-marker shirt-him/its obj-marker
# shirt the-long-and-sleeved-tunic”) — event: hifshitu — agent brother-
# him/its; theme shirt-the-long-and-sleeved-tunic
m.event("hifshitu", agent="echay_v", themes=["ketonet_ha_pasim"])

# -------------------------- Gen.37.24 · THE_PIT_TAKES_HIM ------------------
# וַיִּקָּחֻהוּ וַיַּשְׁלִכוּ אֹתוֹ הַבֹּרָה וְהַבּוֹר רֵק אֵין בּוֹ מָיִם
# "[EN-AID] And they took him and threw him into the pit; and the pit was
# empty — no water in it."
m.step("Gen.37.24")
# ‹וַיִּקָּחֻהוּ וַיַּשְׁלִכוּ אֹתוֹ הַבֹּרָה› (“and-take-him/its and-throw-
# out obj-marker-him/its the-pit-ward”) — demand settled (popped from the
# queue): throw-out-it-to-the-pit
m.result("hashlikhu_oto_el_ha_bor", tmark="t2")
# ‹וַיַּשְׁלִכוּ אֹתוֹ הַבֹּרָה› (“and-throw-out obj-marker-him/its the-pit-
# ward”) — demand settled (popped from the queue): throw-out-him/its
m.result("nashlikhe_hu", tmark="t2")

# -------------------------- Gen.37.25 · BREAD_AND_THE_CARAVAN --------------
# וַיֵּשְׁבוּ לֶאֱכָל־לֶחֶם וַיִּשְׂאוּ עֵינֵיהֶם וַיִּרְאוּ וְהִנֵּה
# אֹרְחַת יִשְׁמְעֵאלִים בָּאָה מִגִּלְעָד וּגְמַלֵּיהֶם נֹשְׂאִים נְכֹאת
# וּצְרִי וָלֹט הוֹלְכִים לְהוֹרִיד מִצְרָיְמָה
# "[EN-AID] And they sat down to eat bread; and they lifted their eyes and
# saw — behold, a caravan of Ishmaelites coming from Gilead, their camels
# bearing gum, balm, and ladanum, going to carry it down to Egypt."
m.step("Gen.37.25")
# ‹וְהִנֵּה אֹרְחַת יִשְׁמְעֵאלִים בָּאָה מִגִּלְעָד› (“and-behold caravan
# Jishmaelite come/bring from-Gilead”) — fact holds: caravan-yishmeelim-
# come/bring-walk/go-mitzrayma
m.fact("orchat_yishmeelim_baa_holkhim_mitzrayma")

# -------------------------- Gen.37.26 · JUDAHS_QUESTION --------------------
# וַיֹּאמֶר יְהוּדָה אֶל־אֶחָיו מַה־בֶּצַע כִּי נַהֲרֹג אֶת־אָחִינוּ
# וְכִסִּינוּ אֶת־דָּמוֹ
# "[EN-AID] And Judah said to his brothers: What profit if we kill our
# brother and cover his blood?"
m.step("Gen.37.26")
# ‹מַה־בֶּצַע כִּי נַהֲרֹג אֶת־אָחִינוּ וְכִסִּינוּ אֶת־דָּמוֹ› (“what
# plunder that smite-with-deadly-intent obj-marker brother-us/our and-plump
# obj-marker blood-him/its”) — fact holds: what-plunder-that-smite-with-
# deadly-intent-with-my-brother-nu(Judah)
m.fact("ma_betza_ki_naharog_et_achi_nu(yehuda)")

# -------------------------- Gen.37.27 · THE_SALE_PROPOSED ------------------
# לְכוּ וְנִמְכְּרֶנּוּ לַיִּשְׁמְעֵאלִים וְיָדֵנוּ אַל־תְּהִי־בוֹ
# כִּי־אָחִינוּ בְשָׂרֵנוּ הוּא וַיִּשְׁמְעוּ אֶחָיו
# "[EN-AID] Come, let us sell him to the Ishmaelites, and let our hand not
# be upon him, for he is our brother, our flesh. And his brothers heeded."
m.step("Gen.37.27")
# ‹לְכוּ וְנִמְכְּרֶנּוּ לַיִּשְׁמְעֵאלִים› (“go and-sell-him/its to-
# Jishmaelite”) — Judah speaks a demand — CMD-US: nimkere-nu-to-yishmeelim
m.declare("yehuda", "CMD-US",
          "nimkere_nu_la_yishmeelim")
# ‹וְיָדֵנוּ אַל־תְּהִי־בוֹ› (“and-hand-us/our do-not be in-him/its”) —
# Judah speaks a demand — LET-NOT: yade-nu-over-be-come/bring
m.declare("yehuda", "LET-NOT",
          "yade_nu_al_tehi_vo")

# -------------------------- Gen.37.28 · THE_SALE_WITH_NO_NAMED_SELLER ------
# וַיַּעַבְרוּ אֲנָשִׁים מִדְיָנִים סֹחֲרִים וַיִּמְשְׁכוּ וַיַּעֲלוּ
# אֶת־יוֹסֵף מִן־הַבּוֹר וַיִּמְכְּרוּ אֶת־יוֹסֵף לַיִּשְׁמְעֵאלִים
# בְּעֶשְׂרִים כָּסֶף וַיָּבִיאוּ אֶת־יוֹסֵף מִצְרָיְמָה
# "[EN-AID] And Midianite men, merchants, passed by; and they drew and
# lifted Joseph out of the pit, and sold Joseph to the Ishmaelites for
# twenty pieces of silver; and they brought Joseph to Egypt."
m.step("Gen.37.28")
# ‹וַיִּמְשְׁכוּ וַיַּעֲלוּ אֶת־יוֹסֵף מִן־הַבּוֹר וַיִּמְכְּרוּ אֶת־יוֹסֵף
# לַיִּשְׁמְעֵאלִים בְּעֶשְׂרִים כָּסֶף› (“and-draw and-go-up obj-marker
# Joseph from the-pit and-sell obj-marker Joseph to-Jishmaelite in-twenty
# silver”) — demand settled (popped from the queue): nimkere-nu-to-
# yishmeelim
m.result("nimkere_nu_la_yishmeelim", tmark="t2")

# -------------------------- Gen.37.29 · REUBEN_AT_THE_EMPTY_PIT ------------
# וַיָּשָׁב רְאוּבֵן אֶל־הַבּוֹר וְהִנֵּה אֵין־יוֹסֵף בַּבּוֹר וַיִּקְרַע
# אֶת־בְּגָדָיו
# "[EN-AID] And Reuben returned to the pit — and behold, Joseph was not in
# the pit; and he tore his garments."
m.step("Gen.37.29")
# ‹וַיָּשָׁב רְאוּבֵן אֶל־הַבּוֹר וְהִנֵּה אֵין־יוֹסֵף בַּבּוֹר› (“and-
# return Reuben to the-pit and-behold there-is-not Joseph in-pit”) — fact
# holds: shav-to-the-pit-and-there-is-not-Joseph(Reuben)
m.fact("shav_el_ha_bor_ve_en_yosef(reuven)")

# -------------------------- Gen.37.30 · THE_CHILD_IS_NOT -------------------
# וַיָּשָׁב אֶל־אֶחָיו וַיֹּאמַר הַיֶּלֶד אֵינֶנּוּ וַאֲנִי אָנָה אֲנִי־בָא
# "[EN-AID] And he returned to his brothers and said: The child is not — and
# I, where shall I come?"
m.step("Gen.37.30")
# ‹הַיֶּלֶד אֵינֶנּוּ וַאֲנִי אָנָה אֲנִי־בָא› (“the-child there-is-not-
# him/its and-I where? come/bring”) — fact holds: the-child-ene-nu-
# come/bring-I-where?-I-come/bring(Reuben)
m.fact("ha_yeled_ene_nu_va_ani_ana_ani_va(reuven)")

# -------------------------- Gen.37.31 · THE_COAT_DIPPED --------------------
# וַיִּקְחוּ אֶת־כְּתֹנֶת יוֹסֵף וַיִּשְׁחֲטוּ שְׂעִיר עִזִּים וַיִּטְבְּלוּ
# אֶת־הַכֻּתֹּנֶת בַּדָּם
# "[EN-AID] And they took Joseph's coat, and slaughtered a goat of the
# goats, and dipped the coat in the blood."
m.step("Gen.37.31")
# ‹וַיִּשְׁחֲטוּ שְׂעִיר עִזִּים וַיִּטְבְּלוּ אֶת־הַכֻּתֹּנֶת בַּדָּם›
# (“and-slaughter shaggy she-goat and-dip obj-marker the-shirt in-blood”) —
# event: taval — agent achim; theme the-shirt-come/bring-blood
m.event("taval", agent="achim", themes=["ha_kutonet_ba_dam"])

# -------------------------- Gen.37.32 · THE_RECOGNIZE_DEMAND ---------------
# וַיְשַׁלְּחוּ אֶת־כְּתֹנֶת הַפַּסִּים וַיָּבִיאוּ אֶל־אֲבִיהֶם וַיֹּאמְרוּ
# זֹאת מָצָאנוּ הַכֶּר־נָא הַכְּתֹנֶת בִּנְךָ הִוא אִם־לֹא
# "[EN-AID] And they sent the coat of stripes and brought it to their
# father, and said: This we found; recognize, please — is it your son's coat
# or not?"
m.step("Gen.37.32")
# ‹הַכֶּר־נָא הַכְּתֹנֶת בִּנְךָ› (“scrutinize please the-shirt son-
# you/your”) — achim speaks a demand — LET: scrutinize-please-the-shirt
m.declare("achim", "LET",
          "haker_na_ha_ketonet")

# -------------------------- Gen.37.33 · THE_FATHER_SPEAKS_THE_LIE ----------
# וַיַּכִּירָהּ וַיֹּאמֶר כְּתֹנֶת בְּנִי חַיָּה רָעָה אֲכָלָתְהוּ טָרֹף
# טֹרַף יוֹסֵף
# "[EN-AID] And he recognized it and said: My son's coat — an evil beast
# devoured him; torn, torn is Joseph."
m.step("Gen.37.33")
# ‹וַיַּכִּירָהּ וַיֹּאמֶר כְּתֹנֶת בְּנִי› (“and-scrutinize-her/its and-say
# shirt son-me/my”) — demand settled (popped from the queue): scrutinize-
# please-the-shirt
m.result("haker_na_ha_ketonet", tmark="t3")
# ‹חַיָּה רָעָה אֲכָלָתְהוּ טָרֹף טֹרַף› (“living bad eat-him/its pluck-off
# pluck-off”) — fact holds: amar-living-bad-akhalat-he/it-pluck-off-pluck-
# off(Jacob)
m.fact("amar_chaya_raa_akhalat_hu_tarof_toraf(yaaqov)")

# -------------------------- Gen.37.34 · THE_MOURNING -----------------------
# וַיִּקְרַע יַעֲקֹב שִׂמְלֹתָיו וַיָּשֶׂם שַׂק בְּמָתְנָיו וַיִּתְאַבֵּל
# עַל־בְּנוֹ יָמִים רַבִּים
# "[EN-AID] And Jacob tore his garments and put sackcloth on his loins, and
# mourned his son many days."
m.step("Gen.37.34")
# ‹וַיִּקְרַע יַעֲקֹב שִׂמְלֹתָיו וַיָּשֶׂם שַׂק בְּמָתְנָיו› (“and-rend
# Jacob dress-him/its and-put/set mesh in-waist-him/its”) — fact holds:
# qara-simlotay-v-sam-mesh-come/bring-bewail(Jacob)
m.fact("qara_simlotay_v_sam_saq_va_yitabel(yaaqov)")

# -------------------------- Gen.37.35 · COMFORT_REFUSED --------------------
# וַיָּקֻמוּ כָל־בָּנָיו וְכָל־בְּנֹתָיו לְנַחֲמוֹ וַיְמָאֵן לְהִתְנַחֵם
# וַיֹּאמֶר כִּי־אֵרֵד אֶל־בְּנִי אָבֵל שְׁאֹלָה וַיֵּבְךְּ אֹתוֹ אָבִיו
# "[EN-AID] And all his sons and all his daughters rose to comfort him, and
# he refused to be comforted, and said: For I will go down to my son
# mourning, to Sheol. And his father wept for him."
m.step("Gen.37.35")
# ‹וַיְמָאֵן לְהִתְנַחֵם וַיֹּאמֶר כִּי־אֵרֵד אֶל־בְּנִי אָבֵל שְׁאֹלָה›
# (“and-refuse to-sigh and-say that go-down to son-me/my lamenting Shᵉ'Owl-
# ward”) — fact holds: vayemaen-lehitnachem-go-down-lamenting-sheola(Jacob)
m.fact("vayemaen_lehitnachem_ered_avel_sheola(yaaqov)")

# -------------------------- Gen.37.36 · THE_SECOND_SALE --------------------
# וְהַמְּדָנִים מָכְרוּ אֹתוֹ אֶל־מִצְרָיִם לְפוֹטִיפַר סְרִיס פַּרְעֹה שַׂר
# הַטַּבָּחִים
# "[EN-AID] And the Medanites sold him to Egypt, to Potiphar, Pharaoh's
# officer, the chief of the slaughterers."
m.step("Gen.37.36")
# ‹וְהַמְּדָנִים מָכְרוּ אֹתוֹ אֶל־מִצְרָיִם› (“and-the-Midjanite sell obj-
# marker-him/its to Egypt”) — fact holds: sell-it-to-Egypt-to-
# Potiphar(Midjanite)
m.fact("makhru_oto_el_mitzrayim_le_fotifar(medanim)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == set()
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['hashiveni_davar', 'naharge_hu', 'amarnu_chaya_raa_akhalat_hu', 'nake_nu_nafesh', 'tishpekhu_dam', 'yad_al_tishlechu_vo', 'yade_nu_al_tehi_vo']
    assert len(m.SPECS["log"]) == 15
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['yashav_be_eretz_megure_aviv(yaaqov)', 'toldot_yaaqov(yosef_ben_sheva_esre)', 'hevi_dibata_m_raa_el_avi_hem(yosef)', 'ahav_et_yosef_mi_kal_banay_v(yisrael)', 'sanu_oto_ve_lo_yakhlu_dabro_le_shalom(echay_v)', 'alumati_qama_nitzava_ve_alumot_tishtachavena(chalom_rishon)', 'gaar_bo_aviv_ma_ha_chalom(yaaqov)', 'qinu_bo_echay_v_ve_aviv_shamar_et_ha_davar', 'halkhu_lireot_et_tzon_avi_hem_bi_shekhem(echay_v)', 'toe_ba_sade_va_yishale_hu_ha_ish(yosef)', 'yitnaklu_oto_la_hamito(echay_v)', 'baal_ha_chalomot_halaze_ba(ish_el_achiv)', 'orchat_yishmeelim_baa_holkhim_mitzrayma', 'ma_betza_ki_naharog_et_achi_nu(yehuda)', 'shav_el_ha_bor_ve_en_yosef(reuven)', 'ha_yeled_ene_nu_va_ani_ana_ani_va(reuven)', 'amar_chaya_raa_akhalat_hu_tarof_toraf(yaaqov)', 'qara_simlotay_v_sam_saq_va_yitabel(yaaqov)', 'vayemaen_lehitnachem_ered_avel_sheola(yaaqov)', 'makhru_oto_el_mitzrayim_le_fotifar(medanim)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 28
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

Rendered 2026-08-09 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.