The descent and the seventy (46:1-34) FROZEN

אָנֹכִי אֵרֵד עִמְּךָ מִצְרַיְמָה · anokhi ered imkha mitzrayma · 'I will go down with you to Egypt'

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_69_descent_seventy — The descent and the seventy (46:1-34) [frozen]

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

=== S1 — after STEP_Gn_46_1 — to Beersheba with sacrifices
    וַיִּסַּ֤ע יִשְׂרָאֵל֙ וְכָל אֲשֶׁר (va-yisa yisrael ve-khal-asher-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_46_2 — Jacob, Jacob — here I am
    וַיֹּ֨אמֶר אֱלֹהִ֤ים לְיִשְׂרָאֵל֙ בְּמַרְאֹ֣ת (va-yomer Elohim le-yisrael be-marot)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_46_3 — fear not to go down
    וַיֹּ֕אמֶר אָנֹכִ֥י הָאֵ֖ל אֱלֹהֵ֣י (va-yomer anokhi ha-el elohe)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_46_4 — I will go down with you
    אָנֹכִ֗י אֵרֵ֤ד עִמְּךָ֙ מִצְרַ֔יְמָה (anokhi ered im-kha mitzrayma-ה)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_46_5 — the wagons carry
    וַיָּ֥קָם יַעֲקֹ֖ב מִבְּאֵ֣ר שָׁ֑בַע (va-yaqam yaaqov mi-beer shava)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_46_6 — they came to Egypt
    וַיִּקְח֣וּ אֶת מִקְנֵיהֶ֗ם וְאֶת (va-yiqchu et-miqne-hem ve-et-)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_46_7 — sons and daughters, all his seed
    בָּנָ֞יו וּבְנֵ֤י בָנָיו֙ אִתּ֔וֹ (banay-v u-vene vanay-v et-o)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_46_8 — the ledger opens
    וְאֵ֨לֶּה שְׁמ֧וֹת בְּנֵֽי יִשְׂרָאֵ֛ל (ve-ele shemot bene-yisrael)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_46_9 — Reuben's sons
    וּבְנֵ֖י רְאוּבֵ֑ן חֲנ֥וֹךְ וּפַלּ֖וּא (u-vene reuven chanokh u-falu)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_46_10 — Simeon's sons
    וּבְנֵ֣י שִׁמְע֗וֹן יְמוּאֵ֧ל וְיָמִ֛ין (u-vene shimon yemuel ve-yamin)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_46_11 — Levi's sons
    וּבְנֵ֖י לֵוִ֑י גֵּרְשׁ֕וֹן קְהָ֖ת (u-vene levi gershon qehat)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_46_12 — Judah's sons, two dead
    וּבְנֵ֣י יְהוּדָ֗ה עֵ֧ר וְאוֹנָ֛ן (u-vene yehuda er ve-onan)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_46_13 — Issachar's sons
    וּבְנֵ֖י יִשָׂשכָ֑ר תּוֹלָ֥ע וּפֻוָּ֖ה (u-vene yisashkhar tola u-fuva)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_46_14 — Zebulun's sons
    וּבְנֵ֖י זְבוּלֻ֑ן סֶ֥רֶד וְאֵל֖וֹן (u-vene zevulun sered ve-elon)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_46_15 — Leah's thirty-three
    אֵ֣לֶּה בְּנֵ֣י לֵאָ֗ה אֲשֶׁ֨ר (ele bene lea asher)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_46_16 — Gad's sons
    וּבְנֵ֣י גָ֔ד צִפְי֥וֹן וְחַגִּ֖י (u-vene gad tzifyon ve-chagi)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_46_17 — Asher's sons and Serah
    וּבְנֵ֣י אָשֵׁ֗ר יִמְנָ֧ה וְיִשְׁוָ֛ה (u-vene asher yimna ve-yishva)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_46_18 — Zilpah's sixteen
    אֵ֚לֶּה בְּנֵ֣י זִלְפָּ֔ה אֲשֶׁר (ele bene zilpa asher-)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_46_19 — Rachel's sons
    בְּנֵ֤י רָחֵל֙ אֵ֣שֶׁת יַֽעֲקֹ֔ב (bene rachel eshet yaaqov)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_46_20 — Joseph's Egyptian sons
    וַיִּוָּלֵ֣ד לְיוֹסֵף֮ בְּאֶ֣רֶץ מִצְרַיִם֒ (va-yivaled le-yosef be-eretz mitzrayim)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_46_21 — Benjamin's ten
    וּבְנֵ֣י בִנְיָמִ֗ן בֶּ֤לַע וָבֶ֨כֶר֙ (u-vene vinyamin bela va-vekher)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_46_22 — Rachel's fourteen
    אֵ֚לֶּה בְּנֵ֣י רָחֵ֔ל אֲשֶׁ֥ר (ele bene rachel asher)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_46_23 — the plural of one
    וּבְנֵי דָ֖ן חֻשִֽׁים (u-vene-dan chushim)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Gn_46_24 — Naphtali's sons
    וּבְנֵ֖י נַפְתָּלִ֑י יַחְצְאֵ֥ל וְגוּנִ֖י (u-vene naftali yachtzel ve-guni)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Gn_46_25 — Bilhah's seven
    אֵ֚לֶּה בְּנֵ֣י בִלְהָ֔ה אֲשֶׁר (ele bene vilha asher-)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Gn_46_26 — sixty-six came
    כָּל הַ֠נֶּפֶשׁ הַבָּאָ֨ה לְיַעֲקֹ֤ב (kal-ha-nefesh ha-baa le-yaaqov)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Gn_46_27 — seventy, the house come
    וּבְנֵ֥י יוֹסֵ֛ף אֲשֶׁר יֻלַּד (u-vene yosef asher-yulad-)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Gn_46_28 — Judah sent ahead
    וְאֶת יְהוּדָ֞ה שָׁלַ֤ח לְפָנָיו֙ (ve-et-yehuda shalach le-fanay-v)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Gn_46_29 — the hard binding and the long weeping
    וַיֶּאְסֹ֤ר יוֹסֵף֙ מֶרְכַּבְתּ֔וֹ וַיַּ֛עַל (va-yesor yosef merkavt-o va-yaal)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Gn_46_30 — let me die this time
    וַיֹּ֧אמֶר יִשְׂרָאֵ֛ל אֶל יוֹסֵ֖ף (va-yomer yisrael el-yosef)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Gn_46_31 — I will tell Pharaoh
    וַיֹּ֨אמֶר יוֹסֵ֤ף אֶל אֶחָיו֙ (va-yomer yosef el-echay-v)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Gn_46_32 — shepherds with flocks
    וְהָאֲנָשִׁים֙ רֹ֣עֵי צֹ֔אן כִּֽי (ve-ha-anashim roe tzon ki-)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Gn_46_33 — when Pharaoh calls
    וְהָיָ֕ה כִּֽי יִקְרָ֥א לָכֶ֖ם (ve-haya ki-yiqra la-khem)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma'])
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Gn_46_34 — say: men of livestock
    וַאֲמַרְתֶּ֗ם אַנְשֵׁ֨י מִקְנֶ֜ה הָי֤וּ (va-amartem anshe miqne hayu)
    PASS  LET-NOT(al_tira_me_reda_mitzrayma) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma', 'va_amartem_anshe_miqne'])
    PASS  LET(va_amartem_anshe_miqne) pushed and OPEN  (queue=['al_tira_me_reda_mitzrayma', 'va_amartem_anshe_miqne'])
    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_69_descent_seventy.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_69_descent_seventy — 46:1-34
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_69_descent_seventy.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 descent and the seventy (46:1-34)"""
from machine import Machine

m = Machine("gen_69_descent_seventy")

# -------------------------- Gen.46.1 · TO_BEERSHEBA_WITH_SACRIFICES --------
# וַיִּסַּע יִשְׂרָאֵל וְכָל־אֲשֶׁר־לוֹ וַיָּבֹא בְּאֵרָה שָּׁבַע
# וַיִּזְבַּח זְבָחִים לֵאלֹהֵי אָבִיו יִצְחָק
# "[EN-AID] And Israel journeyed, and all that was his, and came to
# Beersheba; and he offered sacrifices to the God of his father Isaac."
m.step("Gen.46.1")
# ‹שָּׁבַע וַיִּזְבַּח זְבָחִים לֵאלֹהֵי אָבִיו› (“Beer-shebah and-
# slaughter-an-animal sacrifice to-God father-him/its”) — fact holds: and-
# slaughter-an-animal-sacrifice-l-God-aviv
m.fact("va_yizbach_zevachim_l_elohe_aviv")

# -------------------------- Gen.46.2 · JACOB_JACOB_HERE_I_AM ---------------
# וַיֹּאמֶר אֱלֹהִים לְיִשְׂרָאֵל בְּמַרְאֹת הַלַּיְלָה וַיֹּאמֶר יַעֲקֹב
# יַעֲקֹב וַיֹּאמֶר הִנֵּנִי
# "[EN-AID] And God said to Israel in the visions of the night, and He said:
# Jacob, Jacob! And he said: Here I am."
m.step("Gen.46.2")
# ‹וַיֹּאמֶר יַעֲקֹב יַעֲקֹב וַיֹּאמֶר הִנֵּנִי› (“and-say Jacob Jacob and-
# say behold-me/my”) — event: qara — agent God; theme Jacob
m.event("qara", agent="Elohim", themes=["yaaqov"])

# -------------------------- Gen.46.3 · FEAR_NOT_TO_GO_DOWN -----------------
# וַיֹּאמֶר אָנֹכִי הָאֵל אֱלֹהֵי אָבִיךָ אַל־תִּירָא מֵרְדָה מִצְרַיְמָה
# כִּי־לְגוֹי גָּדוֹל אֲשִׂימְךָ שָׁם
# "[EN-AID] And He said: I am the God, the God of your father; fear not to
# go down to Egypt, for I will make you a great nation there."
m.step("Gen.46.3")
# ‹תִּירָא מֵרְדָה מִצְרַיְמָה כִּי־› (“fear from-go-down Egypt-ward that”)
# — God speaks a demand — LET-NOT: over-fear-from-go-down-mitzrayma
m.declare("Elohim", "LET-NOT",
          "al_tira_me_reda_mitzrayma")

# -------------------------- Gen.46.4 · I_WILL_GO_DOWN_WITH_YOU -------------
# אָנֹכִי אֵרֵד עִמְּךָ מִצְרַיְמָה וְאָנֹכִי אַעַלְךָ גַם־עָלֹה וְיוֹסֵף
# יָשִׁית יָדוֹ עַל־עֵינֶיךָ
# "[EN-AID] I will go down with you to Egypt, and I will also surely bring
# you up; and Joseph shall set his hand upon your eyes."
m.step("Gen.46.4")
# ‹אָנֹכִי אֵרֵד עִמְּךָ מִצְרַיְמָה› (“go-down with-you/your Egypt-ward”) —
# fact holds: I-go-down-imkha-and-I-aalkha
m.fact("anokhi_ered_imkha_ve_anokhi_aalkha")

# -------------------------- Gen.46.5 · THE_WAGONS_CARRY --------------------
# וַיָּקָם יַעֲקֹב מִבְּאֵר שָׁבַע וַיִּשְׂאוּ בְנֵי־יִשְׂרָאֵל אֶת־יַעֲקֹב
# אֲבִיהֶם וְאֶת־טַפָּם וְאֶת־נְשֵׁיהֶם בָּעֲגָלוֹת אֲשֶׁר־שָׁלַח פַּרְעֹה
# לָשֵׂאת אֹתוֹ
# "[EN-AID] And Jacob arose from Beersheba; and the sons of Israel carried
# Jacob their father, and their little ones, and their wives, in the wagons
# which Pharaoh had sent to carry him."
m.step("Gen.46.5")
# ‹בְנֵי־יִשְׂרָאֵל אֶת־יַעֲקֹב אֲבִיהֶם› (“son Israel obj-marker Jacob
# father-them/their”) — fact holds: and-lift/carry-obj-marker-Jacob-in-the-
# agalot
m.fact("va_yisu_et_yaaqov_ba_agalot")

# -------------------------- Gen.46.6 · THEY_CAME_TO_EGYPT ------------------
# וַיִּקְחוּ אֶת־מִקְנֵיהֶם וְאֶת־רְכוּשָׁם אֲשֶׁר רָכְשׁוּ בְּאֶרֶץ
# כְּנַעַן וַיָּבֹאוּ מִצְרָיְמָה יַעֲקֹב וְכָל־זַרְעוֹ אִתּוֹ
# "[EN-AID] And they took their livestock and their goods which they had
# gotten in the land of Canaan, and came to Egypt — Jacob, and all his seed
# with him."
m.step("Gen.46.6")
# ‹מִצְרָיְמָה יַעֲקֹב וְכָל־זַרְעוֹ אִתּוֹ› (“Egypt-ward Jacob and-all
# seed-him/its with-him/its”) — fact holds: and-come/bring-mitzrayma-Jacob-
# and-all-zaro
m.fact("va_yavou_mitzrayma_yaaqov_ve_khol_zaro")

# -------------------------- Gen.46.7 · SONS_AND_DAUGHTERS_ALL_HIS_SEED -----
# בָּנָיו וּבְנֵי בָנָיו אִתּוֹ בְּנֹתָיו וּבְנוֹת בָּנָיו וְכָל־זַרְעוֹ
# הֵבִיא אִתּוֹ מִצְרָיְמָה
# "[EN-AID] His sons, and his sons' sons with him, his daughters, and his
# sons' daughters, and all his seed he brought with him to Egypt."
m.step("Gen.46.7")
# ‹אִתּוֹ מִצְרָיְמָה› (“with-him/its Egypt-ward”) — fact holds: all-zaro-
# come/bring-with-him-mitzrayma
m.fact("kol_zaro_hevi_ito_mitzrayma")

# -------------------------- Gen.46.8 · THE_LEDGER_OPENS --------------------
# וְאֵלֶּה שְׁמוֹת בְּנֵי־יִשְׂרָאֵל הַבָּאִים מִצְרַיְמָה יַעֲקֹב וּבָנָיו
# בְּכֹר יַעֲקֹב רְאוּבֵן
# "[EN-AID] And these are the names of the sons of Israel who came to Egypt
# — Jacob and his sons: Jacob's firstborn, Reuben."
m.step("Gen.46.8")
# ‹וְאֵלֶּה שְׁמוֹת בְּנֵי־יִשְׂרָאֵל הַבָּאִים מִצְרַיְמָה יַעֲקֹב› (“and-
# these name son Israel the-come/bring Egypt-ward Jacob”) — section name-
# son-Israel: son-leah, son-Zilpah, son-Rachel, son-Bilhah
m.section("shemot_bene_yisrael", "bene_leah", "bene_zilpa", "bene_rachel", "bene_vilha")

# -------------------------- Gen.46.9 · REUBENS_SONS ------------------------
# וּבְנֵי רְאוּבֵן חֲנוֹךְ וּפַלּוּא וְחֶצְרוֹן וְכַרְמִי
# "[EN-AID] And the sons of Reuben: Hanoch, and Pallu, and Hezron, and
# Carmi."
m.step("Gen.46.9")
# ‹וּבְנֵי רְאוּבֵן› (“and-son Reuben”) — fact holds: son-Reuben-four
m.fact("bene_reuven_arbaa")

# -------------------------- Gen.46.10 · SIMEONS_SONS -----------------------
# וּבְנֵי שִׁמְעוֹן יְמוּאֵל וְיָמִין וְאֹהַד וְיָכִין וְצֹחַר וְשָׁאוּל
# בֶּן־הַכְּנַעֲנִית
# "[EN-AID] And the sons of Simeon: Jemuel, and Jamin, and Ohad, and Jachin,
# and Zohar, and Shaul the son of the Canaanite woman."
m.step("Gen.46.10")
# ‹וּבְנֵי שִׁמְעוֹן› (“and-son Simeon”) — fact holds: son-Simeon-shisha
m.fact("bene_shimon_shisha")

# -------------------------- Gen.46.11 · LEVIS_SONS -------------------------
# וּבְנֵי לֵוִי גֵּרְשׁוֹן קְהָת וּמְרָרִי
# "[EN-AID] And the sons of Levi: Gershon, Kohath, and Merari."
m.step("Gen.46.11")
# ‹וּבְנֵי לֵוִי› (“and-son Levi”) — fact holds: son-Levi-shelosha
m.fact("bene_levi_shelosha")

# -------------------------- Gen.46.12 · JUDAHS_SONS_TWO_DEAD ---------------
# וּבְנֵי יְהוּדָה עֵר וְאוֹנָן וְשֵׁלָה וָפֶרֶץ וָזָרַח וַיָּמָת עֵר
# וְאוֹנָן בְּאֶרֶץ כְּנַעַן וַיִּהְיוּ בְנֵי־פֶרֶץ חֶצְרוֹן וְחָמוּל
# "[EN-AID] And the sons of Judah: Er, and Onan, and Shelah, and Perez, and
# Zerah — and Er and Onan died in the land of Canaan; and the sons of Perez
# were Hezron and Hamul."
m.step("Gen.46.12")
# ‹עֵר וְאוֹנָן בְּאֶרֶץ כְּנַעַן וַיִּהְיוּ בְנֵי־› (“Er and-Onan in-earth
# Canaan and-be son”) — fact holds: and-die-Er-and-Onan-in-earth-Canaan
m.fact("va_yamat_er_ve_onan_be_eretz_kenaan")

# -------------------------- Gen.46.13 · ISSACHARS_SONS ---------------------
# וּבְנֵי יִשָׂשכָר תּוֹלָע וּפֻוָּה וְיוֹב וְשִׁמְרוֹן
# "[EN-AID] And the sons of Issachar: Tola, and Puvah, and Iob, and
# Shimron."
m.step("Gen.46.13")
# ‹וּבְנֵי יִשָׂשכָר› (“and-son Issachar”) — fact holds: son-yisaschar-four
m.fact("bene_yisaschar_arbaa")

# -------------------------- Gen.46.14 · ZEBULUNS_SONS ----------------------
# וּבְנֵי זְבוּלֻן סֶרֶד וְאֵלוֹן וְיַחְלְאֵל
# "[EN-AID] And the sons of Zebulun: Sered, and Elon, and Jahleel."
m.step("Gen.46.14")
# ‹וּבְנֵי זְבוּלֻן› (“and-son Zebulun”) — fact holds: son-Zebulun-shelosha
m.fact("bene_zevulun_shelosha")

# -------------------------- Gen.46.15 · LEAHS_THIRTY_THREE -----------------
# אֵלֶּה בְּנֵי לֵאָה אֲשֶׁר יָלְדָה לְיַעֲקֹב בְּפַדַּן אֲרָם וְאֵת דִּינָה
# בִתּוֹ כָּל־נֶפֶשׁ בָּנָיו וּבְנוֹתָיו שְׁלֹשִׁים וְשָׁלֹשׁ
# "[EN-AID] These are the sons of Leah, whom she bore to Jacob in Paddan-
# aram, and Dinah his daughter: every soul of his sons and his daughters —
# thirty-three."
m.step("Gen.46.15")
# ‹בָּנָיו וּבְנוֹתָיו שְׁלֹשִׁים וְשָׁלֹשׁ› (“son-him/its and-daughter-
# him/its thirty and-three”) — fact holds: all-living-being-banav-and-
# venotav-thirty-and-three
m.fact("kol_nefesh_banav_u_venotav_sheloshim_ve_shalosh")

# -------------------------- Gen.46.16 · GADS_SONS --------------------------
# וּבְנֵי גָד צִפְיוֹן וְחַגִּי שׁוּנִי וְאֶצְבֹּן עֵרִי וַאֲרוֹדִי
# וְאַרְאֵלִי
# "[EN-AID] And the sons of Gad: Ziphion, and Haggi, Shuni, and Ezbon, Eri,
# and Arodi, and Areli."
m.step("Gen.46.16")
# ‹וּבְנֵי גָד› (“and-son Gad”) — fact holds: son-Gad-seven
m.fact("bene_gad_shiva")

# -------------------------- Gen.46.17 · ASHERS_SONS_AND_SERAH --------------
# וּבְנֵי אָשֵׁר יִמְנָה וְיִשְׁוָה וְיִשְׁוִי וּבְרִיעָה וְשֶׂרַח אֲחֹתָם
# וּבְנֵי בְרִיעָה חֶבֶר וּמַלְכִּיאֵל
# "[EN-AID] And the sons of Asher: Imnah, and Ishvah, and Ishvi, and Beriah,
# and Serah their sister; and the sons of Beriah: Heber and Malchiel."
m.step("Gen.46.17")
# ‹אֲחֹתָם וּבְנֵי› (“sister-them/their and-son”) — fact holds: and-Sarah-
# achotam
m.fact("ve_serach_achotam")

# -------------------------- Gen.46.18 · ZILPAHS_SIXTEEN --------------------
# אֵלֶּה בְּנֵי זִלְפָּה אֲשֶׁר־נָתַן לָבָן לְלֵאָה בִתּוֹ וַתֵּלֶד
# אֶת־אֵלֶּה לְיַעֲקֹב שֵׁשׁ עֶשְׂרֵה נָפֶשׁ
# "[EN-AID] These are the sons of Zilpah, whom Laban gave to Leah his
# daughter; and she bore these to Jacob — sixteen souls."
m.step("Gen.46.18")
# ‹שֵׁשׁ עֶשְׂרֵה נָפֶשׁ› (“six -teen living-being”) — fact holds: six--
# teen-living-being
m.fact("shesh_esre_nafesh")

# -------------------------- Gen.46.19 · RACHELS_SONS -----------------------
# בְּנֵי רָחֵל אֵשֶׁת יַעֲקֹב יוֹסֵף וּבִנְיָמִן
# "[EN-AID] The sons of Rachel, Jacob's wife: Joseph and Benjamin."
m.step("Gen.46.19")
# ‹בְּנֵי רָחֵל אֵשֶׁת יַעֲקֹב יוֹסֵף› (“son Rachel woman Jacob Joseph”) —
# fact holds: son-Rachel-woman-Jacob
m.fact("bene_rachel_eshet_yaaqov")

# -------------------------- Gen.46.20 · JOSEPHS_EGYPTIAN_SONS --------------
# וַיִּוָּלֵד לְיוֹסֵף בְּאֶרֶץ מִצְרַיִם אֲשֶׁר יָלְדָה־לּוֹ אָסְנַת
# בַּת־פּוֹטִי פֶרַע כֹּהֵן אֹן אֶת־מְנַשֶּׁה וְאֶת־אֶפְרָיִם
# "[EN-AID] And to Joseph were born in the land of Egypt those whom Asenath
# daughter of Poti-fera priest of On bore to him: Manasseh and Ephraim."
m.step("Gen.46.20")
# ‹וַיִּוָּלֵד לְיוֹסֵף בְּאֶרֶץ מִצְרַיִם› (“and-bear-young to-Joseph in-
# earth Egypt”) — fact holds: and-bear-young-to-Joseph-Manasseh-and-Ephraim
m.fact("va_yivaled_le_yosef_menashe_ve_efrayim")

# -------------------------- Gen.46.21 · BENJAMINS_TEN ----------------------
# וּבְנֵי בִנְיָמִן בֶּלַע וָבֶכֶר וְאַשְׁבֵּל גֵּרָא וְנַעֲמָן אֵחִי
# וָרֹאשׁ מֻפִּים וְחֻפִּים וָאָרְדְּ
# "[EN-AID] And the sons of Benjamin: Bela, and Becher, and Ashbel, Gera,
# and Naaman, Ehi, and Rosh, Muppim, and Huppim, and Ard."
m.step("Gen.46.21")
# ‹וּבְנֵי בִנְיָמִן› (“and-son Benjamin”) — fact holds: son-Benjamin-asara
m.fact("bene_vinyamin_asara")

# -------------------------- Gen.46.22 · RACHELS_FOURTEEN -------------------
# אֵלֶּה בְּנֵי רָחֵל אֲשֶׁר יֻלַּד לְיַעֲקֹב כָּל־נֶפֶשׁ אַרְבָּעָה עָשָׂר
# "[EN-AID] These are the sons of Rachel who were born to Jacob: every soul
# — fourteen."
m.step("Gen.46.22")
# ‹נֶפֶשׁ אַרְבָּעָה עָשָׂר› (“living-being four -teen”) — fact holds: all-
# living-being-four--teen
m.fact("kol_nefesh_arbaa_asar")

# -------------------------- Gen.46.23 · DANS_SON_PLURAL_OF_ONE -------------
# וּבְנֵי־דָן חֻשִׁים
# "[EN-AID] And the sons of Dan: Hushim."
m.step("Gen.46.23")
# ‹וּבְנֵי־דָן חֻשִׁים› (“and-son Daniel Hushim”) — fact holds: and-son-
# Daniel-Hushim
m.fact("u_vene_dan_chushim")

# -------------------------- Gen.46.24 · NAPHTALIS_SONS ---------------------
# וּבְנֵי נַפְתָּלִי יַחְצְאֵל וְגוּנִי וְיֵצֶר וְשִׁלֵּם
# "[EN-AID] And the sons of Naphtali: Jahzeel, and Guni, and Jezer, and
# Shillem."
m.step("Gen.46.24")
# ‹וּבְנֵי נַפְתָּלִי› (“and-son Naphtali”) — fact holds: son-Naphtali-four
m.fact("bene_naftali_arbaa")

# -------------------------- Gen.46.25 · BILHAHS_SEVEN ----------------------
# אֵלֶּה בְּנֵי בִלְהָה אֲשֶׁר־נָתַן לָבָן לְרָחֵל בִּתּוֹ וַתֵּלֶד
# אֶת־אֵלֶּה לְיַעֲקֹב כָּל־נֶפֶשׁ שִׁבְעָה
# "[EN-AID] These are the sons of Bilhah, whom Laban gave to Rachel his
# daughter; and she bore these to Jacob: every soul — seven."
m.step("Gen.46.25")
# ‹כָּל־נֶפֶשׁ שִׁבְעָה› (“all living-being seven”) — fact holds: all-
# living-being-seven
m.fact("kol_nefesh_shiva")

# -------------------------- Gen.46.26 · SIXTY_SIX_CAME ---------------------
# כָּל־הַנֶּפֶשׁ הַבָּאָה לְיַעֲקֹב מִצְרַיְמָה יֹצְאֵי יְרֵכוֹ מִלְּבַד
# נְשֵׁי בְנֵי־יַעֲקֹב כָּל־נֶפֶשׁ שִׁשִּׁים וָשֵׁשׁ
# "[EN-AID] Every soul coming with Jacob to Egypt, who came out of his
# loins, besides the wives of Jacob's sons: every soul — sixty-six."
m.step("Gen.46.26")
# ‹כָּל־הַנֶּפֶשׁ הַבָּאָה› (“all the-living-being the-come/bring”) — fact
# holds: all-living-being-sixty-and-six
m.fact("kol_nefesh_shishim_va_shesh")

# -------------------------- Gen.46.27 · SEVENTY_THE_HOUSE_COME -------------
# וּבְנֵי יוֹסֵף אֲשֶׁר־יֻלַּד־לוֹ בְמִצְרַיִם נֶפֶשׁ שְׁנָיִם
# כָּל־הַנֶּפֶשׁ לְבֵית־יַעֲקֹב הַבָּאָה מִצְרַיְמָה שִׁבְעִים
# "[EN-AID] And the sons of Joseph who were born to him in Egypt: two souls.
# Every soul of the house of Jacob coming to Egypt — seventy."
m.step("Gen.46.27")
# ‹כָּל־הַנֶּפֶשׁ לְבֵית־יַעֲקֹב הַבָּאָה מִצְרַיְמָה שִׁבְעִים› (“all the-
# living-being to-house Jacob the-come/bring Egypt-ward seventy”) — fact
# holds: all-the-living-being-seventy
m.fact("kol_ha_nefesh_shivim")

# -------------------------- Gen.46.28 · JUDAH_SENT_AHEAD -------------------
# וְאֶת־יְהוּדָה שָׁלַח לְפָנָיו אֶל־יוֹסֵף לְהוֹרֹת לְפָנָיו גֹּשְׁנָה
# וַיָּבֹאוּ אַרְצָה גֹּשֶׁן
# "[EN-AID] And Judah he sent before him to Joseph, to point the way before
# him to Goshen; and they came to the land of Goshen."
m.step("Gen.46.28")
# ‹וְאֶת־יְהוּדָה שָׁלַח לְפָנָיו› (“and-obj-marker Judah send to-face-
# him/its”) — fact holds: and-obj-marker-Judah-send-lefanav
m.fact("ve_et_yehuda_shalach_lefanav")

# -------------------------- Gen.46.29 · THE_HARD_BINDING_AND_THE_LONG_WEEPING -
# וַיֶּאְסֹר יוֹסֵף מֶרְכַּבְתּוֹ וַיַּעַל לִקְרַאת־יִשְׂרָאֵל אָבִיו
# גֹּשְׁנָה וַיֵּרָא אֵלָיו וַיִּפֹּל עַל־צַוָּארָיו וַיֵּבְךְּ
# עַל־צַוָּארָיו עוֹד
# "[EN-AID] And Joseph bound his chariot, and went up to meet Israel his
# father, to Goshen; and he appeared to him, and fell on his neck, and wept
# on his neck a long while."
m.step("Gen.46.29")
# ‹וַיֶּאְסֹר יוֹסֵף מֶרְכַּבְתּוֹ› (“and-yoke Joseph chariot-him/its”) —
# event: bakha — agent Joseph
m.event("bakha", agent="yosef")

# -------------------------- Gen.46.30 · LET_ME_DIE_THIS_TIME ---------------
# וַיֹּאמֶר יִשְׂרָאֵל אֶל־יוֹסֵף אָמוּתָה הַפָּעַם אַחֲרֵי רְאוֹתִי
# אֶת־פָּנֶיךָ כִּי עוֹדְךָ חָי
# "[EN-AID] And Israel said to Joseph: Let me die this time, after I have
# seen your face — that you are yet alive."
m.step("Gen.46.30")
# ‹אָמוּתָה הַפָּעַם אַחֲרֵי רְאוֹתִי אֶת־› (“die the-stroke after see-me/my
# obj-marker”) — fact holds: die-the-stroke-after-reoti-obj-marker-your-face
m.fact("amuta_ha_paam_achare_reoti_et_panekha")

# -------------------------- Gen.46.31 · I_WILL_TELL_PHARAOH ----------------
# וַיֹּאמֶר יוֹסֵף אֶל־אֶחָיו וְאֶל־בֵּית אָבִיו אֶעֱלֶה וְאַגִּידָה
# לְפַרְעֹה וְאֹמְרָה אֵלָיו אַחַי וּבֵית־אָבִי אֲשֶׁר בְּאֶרֶץ־כְּנַעַן
# בָּאוּ אֵלָי
# "[EN-AID] And Joseph said to his brothers and to his father's house: I
# will go up and tell Pharaoh, and say to him: My brothers and my father's
# house, who were in the land of Canaan, have come to me."
m.step("Gen.46.31")
# ‹וְאַגִּידָה לְפַרְעֹה וְאֹמְרָה אֵלָיו› (“and-tell to-Pharaoh and-say to-
# him/its”) — fact holds: go-up-and-tell-to-Pharaoh
m.fact("eele_ve_agida_le_faro")

# -------------------------- Gen.46.32 · SHEPHERDS_WITH_FLOCKS --------------
# וְהָאֲנָשִׁים רֹעֵי צֹאן כִּי־אַנְשֵׁי מִקְנֶה הָיוּ וְצֹאנָם וּבְקָרָם
# וְכָל־אֲשֶׁר לָהֶם הֵבִיאוּ
# "[EN-AID] And the men are shepherds of flocks — for they have been men of
# livestock; and their flocks and their herds and all that they have, they
# have brought."
m.step("Gen.46.32")
# ‹וְהָאֲנָשִׁים רֹעֵי צֹאן כִּי־› (“and-the-man graze flock that”) — fact
# holds: and-the-man-graze-flock
m.fact("ve_ha_anashim_roe_tzon")

# -------------------------- Gen.46.33 · WHEN_PHARAOH_CALLS -----------------
# וְהָיָה כִּי־יִקְרָא לָכֶם פַּרְעֹה וְאָמַר מַה־מַּעֲשֵׂיכֶם
# "[EN-AID] And it shall be, when Pharaoh calls you and says: What is your
# work? —"
m.step("Gen.46.33")
# ‹וְהָיָה כִּי־יִקְרָא לָכֶם פַּרְעֹה› (“and-be that call to-you/your(pl)
# Pharaoh”) — fact holds: that-call-lakhem-Pharaoh
m.fact("ki_yiqra_lakhem_paro")

# -------------------------- Gen.46.34 · SAY_MEN_OF_LIVESTOCK ---------------
# וַאֲמַרְתֶּם אַנְשֵׁי מִקְנֶה הָיוּ עֲבָדֶיךָ מִנְּעוּרֵינוּ וְעַד־עַתָּה
# גַּם־אֲנַחְנוּ גַּם־אֲבֹתֵינוּ בַּעֲבוּר תֵּשְׁבוּ בְּאֶרֶץ גֹּשֶׁן
# כִּי־תוֹעֲבַת מִצְרַיִם כָּל־רֹעֵה צֹאן
# "[EN-AID] then you shall say: Your servants have been men of livestock
# from our youth even until now, both we and our fathers — that you may
# dwell in the land of Goshen; for every shepherd of flocks is an
# abomination to Egypt."
m.step("Gen.46.34")
# ‹וַאֲמַרְתֶּם אַנְשֵׁי מִקְנֶה הָיוּ› (“and-say man something-bought be”)
# — Joseph speaks a demand — LET: and-say-man-something-bought
m.declare("yosef", "LET",
          "va_amartem_anshe_miqne")

# -------------------------- 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() == ['al_tira_me_reda_mitzrayma', 'va_amartem_anshe_miqne']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['va_yizbach_zevachim_l_elohe_aviv', 'anokhi_ered_imkha_ve_anokhi_aalkha', 'va_yisu_et_yaaqov_ba_agalot', 'va_yavou_mitzrayma_yaaqov_ve_khol_zaro', 'kol_zaro_hevi_ito_mitzrayma', 'bene_reuven_arbaa', 'bene_shimon_shisha', 'bene_levi_shelosha', 'va_yamat_er_ve_onan_be_eretz_kenaan', 'bene_yisaschar_arbaa', 'bene_zevulun_shelosha', 'kol_nefesh_banav_u_venotav_sheloshim_ve_shalosh', 'bene_gad_shiva', 've_serach_achotam', 'shesh_esre_nafesh', 'bene_rachel_eshet_yaaqov', 'va_yivaled_le_yosef_menashe_ve_efrayim', 'bene_vinyamin_asara', 'kol_nefesh_arbaa_asar', 'u_vene_dan_chushim', 'bene_naftali_arbaa', 'kol_nefesh_shiva', 'kol_nefesh_shishim_va_shesh', 'kol_ha_nefesh_shivim', 've_et_yehuda_shalach_lefanav', 'amuta_ha_paam_achare_reoti_et_panekha', 'eele_ve_agida_le_faro', 've_ha_anashim_roe_tzon', 'ki_yiqra_lakhem_paro'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 5
    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.