I am Joseph: the unmasking (45:1-28) FROZEN

אֲנִי יוֹסֵף הַעוֹד אָבִי חָי · ani yosef ha-od avi chai · 'I am Joseph — is my father yet alive?'

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_68_i_am_yosef — I am Joseph: the unmasking (45:1-28) [frozen]

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

=== S1 — after STEP_Gn_45_1 — send every man out
    וְלֹֽא יָכֹ֨ל יוֹסֵ֜ף לְהִתְאַפֵּ֗ק (ve-lo-yakhol yosef le-hitapeq)
    PASS  LET(hotziu_khol_ish_mealai) pushed then satisfied in the SAME verse  (pushed=Gen.45.1 satisfied=Gen.45.1)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_45_2 — the voice in weeping
    וַיִּתֵּ֥ן אֶת קֹל֖וֹ בִּבְכִ֑י (va-yiten et-qol-o bi-vekhi)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_45_3 — I am Joseph
    וַיֹּ֨אמֶר יוֹסֵ֤ף אֶל אֶחָיו֙ (va-yomer yosef el-echay-v)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_45_4 — draw near to me
    וַיֹּ֨אמֶר יוֹסֵ֧ף אֶל אֶחָ֛יו (va-yomer yosef el-echay-v)
    PASS  LET(geshu_na_elai) pushed then satisfied in the SAME verse  (pushed=Gen.45.4 satisfied=Gen.45.4)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_45_5 — let it not burn
    וְעַתָּ֣ה אַל תֵּעָ֣צְב֗וּ וְאַל (ve-ata el-teatzvu ve-el-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_45_6 — no plowing, no harvest
    כִּי זֶ֛ה שְׁנָתַ֥יִם הָרָעָ֖ב (ki-ze shenatayim ha-raav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_45_7 — a remnant in the earth
    וַיִּשְׁלָחֵ֤נִי אֱלֹהִים֙ לִפְנֵיכֶ֔ם לָשׂ֥וּם (va-yishlache-ni Elohim li-fene-khem la-sum)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_45_8 — not you but God
    וְעַתָּ֗ה לֹֽא אַתֶּ֞ם שְׁלַחְתֶּ֤ם (ve-ata lo-atem shelachtem)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_45_9 — hurry, go up to my father
    מַהֲרוּ֮ וַעֲל֣וּ אֶל אָבִי֒ (maharu va-alu el-avi-y)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_45_10 — Goshen, near me
    וְיָשַׁבְתָּ֣ בְאֶֽרֶץ גֹּ֗שֶׁן וְהָיִ֤יתָ (ve-yashavta ve-eretz-goshen ve-hayita)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_45_11 — I will sustain you
    וְכִלְכַּלְתִּ֤י אֹֽתְךָ֙ שָׁ֔ם כִּי (ve-khilkalti et-kha sham ki-)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_45_12 — your eyes see
    וְהִנֵּ֤ה עֵֽינֵיכֶם֙ רֹא֔וֹת וְעֵינֵ֖י (ve-hine ene-khem root ve-ene)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_45_13 — tell, and bring down
    וְהִגַּדְתֶּ֣ם לְאָבִ֗י אֶת כָּל (ve-higadtem le-avi-y et-kal-)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_45_14 — on Benjamin's neck
    וַיִּפֹּ֛ל עַל צַוְּארֵ֥י בִנְיָמִֽן (va-yipol al-tzavre vinyamin-)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_45_15 — the speech healed
    וַיְנַשֵּׁ֥ק לְכָל אֶחָ֖יו וַיֵּ֣בְךְּ (va-yenasheq le-khal-echay-v va-yevk)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_45_16 — the lean voice in Pharaoh's house
    וְהַקֹּ֣ל נִשְׁמַ֗ע בֵּ֤ית פַּרְעֹה֙ (ve-ha-qol nishma bet paro)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_45_17 — load and go
    וַיֹּ֤אמֶר פַּרְעֹה֙ אֶל יוֹסֵ֔ף (va-yomer paro el-yosef)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_45_18 — come to me
    וּקְח֧וּ אֶת אֲבִיכֶ֛ם וְאֶת (u-qechu et-avi-khem ve-et-)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_45_19 — wagons for the little ones
    וְאַתָּ֥ה צֻוֵּ֖יתָה זֹ֣את עֲשׂ֑וּ (ve-ata tzuveta zot asu)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  LET(qechu_lakhem_agalot) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_45_20 — let your eye not spare
    וְעֵ֣ינְכֶ֔ם אַל תָּחֹ֖ס עַל (ve-en-khem el-tachos al-)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  LET(qechu_lakhem_agalot) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'qechu_lakhem_agalot'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_45_21 — the wagons given
    וַיַּֽעֲשׂוּ כֵן֙ בְּנֵ֣י יִשְׂרָאֵ֔ל (va-yaasu-khen bene yisrael)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_45_22 — five changes for Benjamin
    לְכֻלָּ֥ם נָתַ֛ן לָאִ֖ישׁ חֲלִפ֣וֹת (le-khula-m natan la-ish chalifot)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_45_23 — ten donkeys, ten she-asses
    וּלְאָבִ֞יו שָׁלַ֤ח כְּזֹאת֙ עֲשָׂרָ֣ה (u-le-avi-v shalach ke-zot asara)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai'])
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Gn_45_24 — do not quarrel on the way
    וַיְשַׁלַּ֥ח אֶת אֶחָ֖יו וַיֵּלֵ֑כוּ (va-yeshalach et-echay-v va-yelekhu)
    PASS  LET(maharu_va_alu_el_avi) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET-NOT(al_tirgezu_ba_darekh) pushed and OPEN  (queue=['maharu_va_alu_el_avi', 'u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Gn_45_25 — up from Egypt
    וַֽיַּעֲל֖וּ מִמִּצְרָ֑יִם וַיָּבֹ֨אוּ֙ אֶ֣רֶץ (va-yaalu mi-mitzrayim va-yavou eretz)
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET-NOT(al_tirgezu_ba_darekh) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Gn_45_26 — Joseph still lives
    וַיַּגִּ֨דוּ ל֜וֹ לֵאמֹ֗ר ע֚וֹד (va-yagidu l-o le-mor od)
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET-NOT(al_tirgezu_ba_darekh) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Gn_45_27 — the wagons seen
    וַיְדַבְּר֣וּ אֵלָ֗יו אֵ֣ת כָּל (va-yedabru elay-v et kal-)
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET-NOT(al_tirgezu_ba_darekh) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Gn_45_28 — enough — Joseph my son lives
    וַיֹּ֨אמֶר֙ יִשְׂרָאֵ֔ל רַ֛ב עוֹד (va-yomer yisrael rav od-)
    PASS  LET(u_qchu_et_avikhem_u_vou_elai) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    PASS  LET-NOT(al_tirgezu_ba_darekh) pushed and OPEN  (queue=['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh'])
    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_68_i_am_yosef.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_68_i_am_yosef — 45:1-28
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_68_i_am_yosef.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.
# =============================================================================
"""I am Joseph: the unmasking (45:1-28)"""
from machine import Machine

m = Machine("gen_68_i_am_yosef")

# -------------------------- Gen.45.1 · SEND_EVERY_MAN_OUT ------------------
# וְלֹא־יָכֹל יוֹסֵף לְהִתְאַפֵּק לְכֹל הַנִּצָּבִים עָלָיו וַיִּקְרָא
# הוֹצִיאוּ כָל־אִישׁ מֵעָלָי וְלֹא־עָמַד אִישׁ אִתּוֹ בְּהִתְוַדַּע יוֹסֵף
# אֶל־אֶחָיו
# "[EN-AID] And Joseph could not restrain himself before all who stood by
# him, and he called: Send every man out from me! And no man stood with him
# when Joseph made himself known to his brothers."
m.step("Gen.45.1")
# ‹הוֹצִיאוּ כָל־אִישׁ מֵעָלָי› (“bring-forth all man from-over-me/my”) —
# Joseph speaks a demand — LET: bring-forth-all-man-mealai
m.declare("yosef", "LET",
          "hotziu_khol_ish_mealai")
# ‹וְלֹא־עָמַד אִישׁ אִתּוֹ› (“and-not stand man with-him/its”) — demand
# settled (popped from the queue): bring-forth-all-man-mealai
m.result("hotziu_khol_ish_mealai", tmark="t1")

# -------------------------- Gen.45.2 · THE_VOICE_IN_WEEPING ----------------
# וַיִּתֵּן אֶת־קֹלוֹ בִּבְכִי וַיִּשְׁמְעוּ מִצְרַיִם וַיִּשְׁמַע בֵּית
# פַּרְעֹה
# "[EN-AID] And he gave his voice in weeping; and Egypt heard, and the house
# of Pharaoh heard."
m.step("Gen.45.2")
# ‹וַיִּתֵּן אֶת־קֹלוֹ בִּבְכִי› (“and-set obj-marker voice/sound-him/its
# in-weeping”) — event: weep — agent Joseph
m.event("bakha", agent="yosef")

# -------------------------- Gen.45.3 · I_AM_JOSEPH -------------------------
# וַיֹּאמֶר יוֹסֵף אֶל־אֶחָיו אֲנִי יוֹסֵף הַעוֹד אָבִי חָי וְלֹא־יָכְלוּ
# אֶחָיו לַעֲנוֹת אֹתוֹ כִּי נִבְהֲלוּ מִפָּנָיו
# "[EN-AID] And Joseph said to his brothers: I am Joseph! Is my father yet
# alive? And his brothers could not answer him, for they were terrified
# before his face."
m.step("Gen.45.3")
# ‹אֲנִי יוֹסֵף הַעוֹד אָבִי חָי› (“Joseph the-still/again father-me/my
# living”) — fact holds: ani-Joseph-the-still/again-avi-living
m.fact("ani_yosef_ha_od_avi_chai")

# -------------------------- Gen.45.4 · DRAW_NEAR_TO_ME ---------------------
# וַיֹּאמֶר יוֹסֵף אֶל־אֶחָיו גְּשׁוּ־נָא אֵלַי וַיִּגָּשׁוּ וַיֹּאמֶר אֲנִי
# יוֹסֵף אֲחִיכֶם אֲשֶׁר־מְכַרְתֶּם אֹתִי מִצְרָיְמָה
# "[EN-AID] And Joseph said to his brothers: Draw near to me. And they drew
# near. And he said: I am Joseph your brother, whom you sold into Egypt."
m.step("Gen.45.4")
# ‹גְּשׁוּ־נָא אֵלַי› (“be please to-me/my”) — Joseph speaks a demand — LET:
# be-please-elai
m.declare("yosef", "LET",
          "geshu_na_elai")
# ‹וַיִּגָּשׁוּ› (“and-be”) — demand settled (popped from the queue): be-
# please-elai
m.result("geshu_na_elai", tmark="t2")

# -------------------------- Gen.45.5 · LET_IT_NOT_BURN ---------------------
# וְעַתָּה אַל־תֵּעָצְבוּ וְאַל־יִחַר בְּעֵינֵיכֶם כִּי־מְכַרְתֶּם אֹתִי
# הֵנָּה כִּי לְמִחְיָה שְׁלָחַנִי אֱלֹהִים לִפְנֵיכֶם
# "[EN-AID] And now, do not be grieved, and let it not burn in your eyes
# that you sold me here — for God sent me before you for the preservation of
# life."
m.step("Gen.45.5")
# ‹אַל־תֵּעָצְבוּ וְאַל־יִחַר› (“do-not carve and-do-not glow”) — fact
# holds: over-carve-and-over-glow
m.fact("al_teatzvu_ve_al_yichar")

# -------------------------- Gen.45.6 · NO_PLOWING_NO_HARVEST ---------------
# כִּי־זֶה שְׁנָתַיִם הָרָעָב בְּקֶרֶב הָאָרֶץ וְעוֹד חָמֵשׁ שָׁנִים אֲשֶׁר
# אֵין־חָרִישׁ וְקָצִּיר
# "[EN-AID] For these two years the famine has been in the midst of the
# land, and there are yet five years in which there will be no plowing and
# harvest."
m.step("Gen.45.6")
# ‹אֲשֶׁר אֵין־חָרִישׁ וְקָצִּיר› (“which there-is-not ploughing and-
# severed”) — fact holds: still/again-five-years-there-is-not-ploughing-and-
# severed
m.fact("od_chamesh_shanim_en_charish_ve_qatzir")

# -------------------------- Gen.45.7 · A_REMNANT_IN_THE_EARTH --------------
# וַיִּשְׁלָחֵנִי אֱלֹהִים לִפְנֵיכֶם לָשׂוּם לָכֶם שְׁאֵרִית בָּאָרֶץ
# וּלְהַחֲיוֹת לָכֶם לִפְלֵיטָה גְּדֹלָה
# "[EN-AID] And God sent me before you to set for you a remnant in the
# earth, and to keep alive for you a great deliverance."
m.step("Gen.45.7")
# ‹לָשׂוּם לָכֶם שְׁאֵרִית בָּאָרֶץ› (“to-put/set to-you/your(pl) remainder
# in-earth”) — fact holds: to-put/set-lakhem-remainder-in-the-earth
m.fact("la_sum_lakhem_sheerit_ba_aretz")

# -------------------------- Gen.45.8 · NOT_YOU_BUT_GOD ---------------------
# וְעַתָּה לֹא־אַתֶּם שְׁלַחְתֶּם אֹתִי הֵנָּה כִּי הָאֱלֹהִים וַיְשִׂימֵנִי
# לְאָב לְפַרְעֹה וּלְאָדוֹן לְכָל־בֵּיתוֹ וּמֹשֵׁל בְּכָל־אֶרֶץ מִצְרָיִם
# "[EN-AID] And now — it was not you who sent me here, but God; and He has
# set me as a father to Pharaoh, and as lord to all his house, and ruler
# over all the land of Egypt."
m.step("Gen.45.8")
# ‹וְעַתָּה לֹא־אַתֶּם שְׁלַחְתֶּם אֹתִי הֵנָּה כִּי הָאֱלֹהִים› (“and-now
# not you send obj-marker-me/my hither that the-God”) — fact holds: not-you-
# send-that-the-God
m.fact("lo_atem_shelachtem_ki_ha_Elohim")

# -------------------------- Gen.45.9 · HURRY_GO_UP_TO_MY_FATHER ------------
# מַהֲרוּ וַעֲלוּ אֶל־אָבִי וַאֲמַרְתֶּם אֵלָיו כֹּה אָמַר בִּנְךָ יוֹסֵף
# שָׂמַנִי אֱלֹהִים לְאָדוֹן לְכָל־מִצְרָיִם רְדָה אֵלַי אַל־תַּעֲמֹד
# "[EN-AID] Hurry, and go up to my father, and say to him: Thus says your
# son Joseph: God has set me as lord of all Egypt; come down to me, do not
# stand still."
m.step("Gen.45.9")
# ‹מַהֲרוּ וַעֲלוּ אֶל־אָבִי› (“hasten and-go-up to father-me/my”) — Joseph
# speaks a demand — LET: hasten-and-go-up-to-avi
m.declare("yosef", "LET",
          "maharu_va_alu_el_avi")

# -------------------------- Gen.45.10 · GOSHEN_NEAR_ME ---------------------
# וְיָשַׁבְתָּ בְאֶרֶץ־גֹּשֶׁן וְהָיִיתָ קָרוֹב אֵלַי אַתָּה וּבָנֶיךָ
# וּבְנֵי בָנֶיךָ וְצֹאנְךָ וּבְקָרְךָ וְכָל־אֲשֶׁר־לָךְ
# "[EN-AID] And you shall dwell in the land of Goshen, and you shall be near
# to me — you, and your sons, and your sons' sons, and your flocks, and your
# herds, and all that is yours."
m.step("Gen.45.10")
# ‹וְיָשַׁבְתָּ בְאֶרֶץ־גֹּשֶׁן› (“and-dwell/sit in-earth Goshen”) — fact
# holds: and-dwell/sit-in-earth-Goshen
m.fact("ve_yashavta_be_eretz_goshen")

# -------------------------- Gen.45.11 · I_WILL_SUSTAIN_YOU -----------------
# וְכִלְכַּלְתִּי אֹתְךָ שָׁם כִּי־עוֹד חָמֵשׁ שָׁנִים רָעָב פֶּן־תִּוָּרֵשׁ
# אַתָּה וּבֵיתְךָ וְכָל־אֲשֶׁר־לָךְ
# "[EN-AID] And I will sustain you there — for there are yet five years of
# famine — lest you be impoverished, you, and your household, and all that
# is yours."
m.step("Gen.45.11")
# ‹וְכִלְכַּלְתִּי אֹתְךָ שָׁם› (“and-keep-in obj-marker-you/your there”) —
# fact holds: and-keep-in-otkha-lest-possess/inherit
m.fact("ve_khilkalti_otkha_pen_tivaresh")

# -------------------------- Gen.45.12 · YOUR_EYES_SEE ----------------------
# וְהִנֵּה עֵינֵיכֶם רֹאוֹת וְעֵינֵי אָחִי בִנְיָמִין כִּי־פִי הַמְדַבֵּר
# אֲלֵיכֶם
# "[EN-AID] And behold, your eyes see, and the eyes of my brother Benjamin,
# that it is my mouth that speaks to you."
m.step("Gen.45.12")
# ‹וְהִנֵּה עֵינֵיכֶם רֹאוֹת וְעֵינֵי אָחִי בִנְיָמִין› (“and-behold eye-
# you/your(pl) see and-eye brother-me/my Benjamin”) — fact holds: enekhem-
# see-and-eye-my-brother-Benjamin
m.fact("enekhem_root_ve_ene_achi_vinyamin")

# -------------------------- Gen.45.13 · TELL_AND_BRING_DOWN ----------------
# וְהִגַּדְתֶּם לְאָבִי אֶת־כָּל־כְּבוֹדִי בְּמִצְרַיִם וְאֵת כָּל־אֲשֶׁר
# רְאִיתֶם וּמִהַרְתֶּם וְהוֹרַדְתֶּם אֶת־אָבִי הֵנָּה
# "[EN-AID] And you shall tell my father all my honor in Egypt, and all that
# you have seen; and you shall hurry and bring my father down here."
m.step("Gen.45.13")
# ‹וּמִהַרְתֶּם וְהוֹרַדְתֶּם אֶת־אָבִי הֵנָּה› (“and-hasten and-go-down
# obj-marker father-me/my hither”) — fact holds: and-tell-and-go-down-obj-
# marker-avi
m.fact("ve_higadtem_ve_horadtem_et_avi")

# -------------------------- Gen.45.14 · ON_BENJAMINS_NECK ------------------
# וַיִּפֹּל עַל־צַוְּארֵי בִנְיָמִן־אָחִיו וַיֵּבְךְּ וּבִנְיָמִן בָּכָה
# עַל־צַוָּארָיו
# "[EN-AID] And he fell on the neck of Benjamin his brother and wept; and
# Benjamin wept on his neck."
m.step("Gen.45.14")
# ‹וַיִּפֹּל עַל־צַוְּארֵי בִנְיָמִן־אָחִיו וַיֵּבְךְּ› (“and-fall over
# back-of-the-neck Benjamin brother-him/its and-weep”) — event: weep — agent
# Joseph-and-Benjamin
m.event("bakha", agent="yosef_u_vinyamin")

# -------------------------- Gen.45.15 · THE_SPEECH_HEALED ------------------
# וַיְנַשֵּׁק לְכָל־אֶחָיו וַיֵּבְךְּ עֲלֵיהֶם וְאַחֲרֵי כֵן דִּבְּרוּ
# אֶחָיו אִתּוֹ
# "[EN-AID] And he kissed all his brothers, and wept upon them; and after
# that his brothers spoke with him."
m.step("Gen.45.15")
# ‹וְאַחֲרֵי כֵן דִּבְּרוּ אֶחָיו אִתּוֹ› (“and-after so speak brother-
# him/its with-him/its”) — fact holds: and-after-so-speak-echav-with-him
m.fact("ve_achare_khen_dibru_echav_ito")

# -------------------------- Gen.45.16 · THE_LEAN_VOICE_IN_PHARAOHS_HOUSE ---
# וְהַקֹּל נִשְׁמַע בֵּית פַּרְעֹה לֵאמֹר בָּאוּ אֲחֵי יוֹסֵף וַיִּיטַב
# בְּעֵינֵי פַרְעֹה וּבְעֵינֵי עֲבָדָיו
# "[EN-AID] And the voice was heard in Pharaoh's house, saying: Joseph's
# brothers have come. And it was good in the eyes of Pharaoh and in the eyes
# of his servants."
m.step("Gen.45.16")
# ‹וְהַקֹּל נִשְׁמַע בֵּית פַּרְעֹה› (“and-the-voice/sound hear house
# Pharaoh”) — fact holds: and-the-voice/sound-hear-house-Pharaoh
m.fact("ve_ha_qol_nishma_bet_paro")

# -------------------------- Gen.45.17 · LOAD_AND_GO ------------------------
# וַיֹּאמֶר פַּרְעֹה אֶל־יוֹסֵף אֱמֹר אֶל־אַחֶיךָ זֹאת עֲשׂוּ טַעֲנוּ
# אֶת־בְּעִירְכֶם וּלְכוּ־בֹאוּ אַרְצָה כְּנָעַן
# "[EN-AID] And Pharaoh said to Joseph: Say to your brothers: This do — load
# your beasts, and go, come to the land of Canaan."
m.step("Gen.45.17")
# ‹זֹאת עֲשׂוּ טַעֲנוּ› (“this make load-a-beast”) — fact holds: this-make-
# load-a-beast-obj-marker-beirkhem
m.fact("zot_asu_taanu_et_beirkhem")

# -------------------------- Gen.45.18 · COME_TO_ME -------------------------
# וּקְחוּ אֶת־אֲבִיכֶם וְאֶת־בָּתֵּיכֶם וּבֹאוּ אֵלָי וְאֶתְּנָה לָכֶם
# אֶת־טוּב אֶרֶץ מִצְרַיִם וְאִכְלוּ אֶת־חֵלֶב הָאָרֶץ
# "[EN-AID] And take your father and your households, and come to me; and I
# will give you the good of the land of Egypt, and eat the fat of the land."
m.step("Gen.45.18")
# ‹וּקְחוּ אֶת־אֲבִיכֶם וְאֶת־בָּתֵּיכֶם וּבֹאוּ אֵלָי› (“and-take obj-
# marker father-you/your(pl) and-obj-marker house-you/your(pl) and-
# come/bring to-me/my”) — Pharaoh speaks a demand — LET: and-qchu-obj-
# marker-avikhem-and-come/bring-elai
m.declare("paro", "LET",
          "u_qchu_et_avikhem_u_vou_elai")

# -------------------------- Gen.45.19 · WAGONS_FOR_THE_LITTLE_ONES ---------
# וְאַתָּה צֻוֵּיתָה זֹאת עֲשׂוּ קְחוּ־לָכֶם מֵאֶרֶץ מִצְרַיִם עֲגָלוֹת
# לְטַפְּכֶם וְלִנְשֵׁיכֶם וּנְשָׂאתֶם אֶת־אֲבִיכֶם וּבָאתֶם
# "[EN-AID] And you are commanded: this do — take for yourselves from the
# land of Egypt wagons for your little ones and for your wives; and carry
# your father, and come."
m.step("Gen.45.19")
# ‹קְחוּ־לָכֶם מֵאֶרֶץ מִצְרַיִם עֲגָלוֹת› (“take to-you/your(pl) from-earth
# Egypt something-revolving”) — Pharaoh speaks a demand — LET: take-lakhem-
# something-revolving
m.declare("paro", "LET",
          "qechu_lakhem_agalot")

# -------------------------- Gen.45.20 · LET_YOUR_EYE_NOT_SPARE -------------
# וְעֵינְכֶם אַל־תָּחֹס עַל־כְּלֵיכֶם כִּי־טוּב כָּל־אֶרֶץ מִצְרַיִם לָכֶם
# הוּא
# "[EN-AID] And let your eye not spare your vessels — for the good of all
# the land of Egypt, yours it is."
m.step("Gen.45.20")
# ‹וְעֵינְכֶם אַל־תָּחֹס› (“and-eye-you/your(pl) do-not cover”) — fact
# holds: and-enkhem-over-cover
m.fact("ve_enkhem_al_tachos")

# -------------------------- Gen.45.21 · THE_WAGONS_GIVEN -------------------
# וַיַּעֲשׂוּ־כֵן בְּנֵי יִשְׂרָאֵל וַיִּתֵּן לָהֶם יוֹסֵף עֲגָלוֹת עַל־פִּי
# פַרְעֹה וַיִּתֵּן לָהֶם צֵדָה לַדָּרֶךְ
# "[EN-AID] And the sons of Israel did so; and Joseph gave them wagons
# according to the mouth of Pharaoh, and gave them provisions for the way."
m.step("Gen.45.21")
# ‹וַיַּעֲשׂוּ־כֵן בְּנֵי יִשְׂרָאֵל› (“and-make so son Israel”) — demand
# settled (popped from the queue): take-lakhem-something-revolving
m.result("qechu_lakhem_agalot", tmark="t3")

# -------------------------- Gen.45.22 · FIVE_CHANGES_FOR_BENJAMIN ----------
# לְכֻלָּם נָתַן לָאִישׁ חֲלִפוֹת שְׂמָלֹת וּלְבִנְיָמִן נָתַן שְׁלֹשׁ
# מֵאוֹת כֶּסֶף וְחָמֵשׁ חֲלִפֹת שְׂמָלֹת
# "[EN-AID] To all of them he gave, to each man, changes of garments; and to
# Benjamin he gave three hundred pieces of silver, and five changes of
# garments."
m.step("Gen.45.22")
# ‹לְכֻלָּם נָתַן לָאִישׁ חֲלִפוֹת שְׂמָלֹת› (“to-all-them/their set to-man
# alternation dress”) — fact holds: alternation-dress-and-to-Benjamin-five
m.fact("chalifot_semalot_u_le_vinyamin_chamesh")

# -------------------------- Gen.45.23 · TEN_DONKEYS_TEN_SHE_ASSES ----------
# וּלְאָבִיו שָׁלַח כְּזֹאת עֲשָׂרָה חֲמֹרִים נֹשְׂאִים מִטּוּב מִצְרָיִם
# וְעֶשֶׂר אֲתֹנֹת נֹשְׂאֹת בָּר וָלֶחֶם וּמָזוֹן לְאָבִיו לַדָּרֶךְ
# "[EN-AID] And to his father he sent after this manner: ten donkeys
# carrying of the good of Egypt, and ten she-asses carrying grain and bread
# and sustenance for his father for the way."
m.step("Gen.45.23")
# ‹עֲשָׂרָה חֲמֹרִים נֹשְׂאִים› (“ten male-ass lift/carry”) — fact holds:
# ten-male-ass-and-ten-female-donkey
m.fact("asara_chamorim_ve_eser_atonot")

# -------------------------- Gen.45.24 · DO_NOT_QUARREL_ON_THE_WAY ----------
# וַיְשַׁלַּח אֶת־אֶחָיו וַיֵּלֵכוּ וַיֹּאמֶר אֲלֵהֶם אַל־תִּרְגְּזוּ
# בַּדָּרֶךְ
# "[EN-AID] And he sent his brothers away, and they went; and he said to
# them: Do not quarrel on the way."
m.step("Gen.45.24")
# ‹אַל־תִּרְגְּזוּ בַּדָּרֶךְ› (“do-not quiver in-way/road”) — Joseph speaks
# a demand — LET-NOT: over-tirgezu-in-the-way/road
m.declare("yosef", "LET-NOT",
          "al_tirgezu_ba_darekh")

# -------------------------- Gen.45.25 · UP_FROM_EGYPT ----------------------
# וַיַּעֲלוּ מִמִּצְרָיִם וַיָּבֹאוּ אֶרֶץ כְּנַעַן אֶל־יַעֲקֹב אֲבִיהֶם
# "[EN-AID] And they went up from Egypt, and they came to the land of
# Canaan, to Jacob their father."
m.step("Gen.45.25")
# ‹וַיַּעֲלוּ מִמִּצְרָיִם וַיָּבֹאוּ אֶרֶץ כְּנַעַן אֶל־יַעֲקֹב אֲבִיהֶם›
# (“and-go-up from-Egypt and-come/bring earth Canaan to Jacob father-
# them/their”) — demand settled (popped from the queue): hasten-and-go-up-
# to-avi
m.result("maharu_va_alu_el_avi", tmark="t4")

# -------------------------- Gen.45.26 · JOSEPH_STILL_LIVES -----------------
# וַיַּגִּדוּ לוֹ לֵאמֹר עוֹד יוֹסֵף חַי וְכִי־הוּא מֹשֵׁל בְּכָל־אֶרֶץ
# מִצְרָיִם וַיָּפָג לִבּוֹ כִּי לֹא־הֶאֱמִין לָהֶם
# "[EN-AID] And they told him, saying: Joseph still lives! — and that he
# rules over all the land of Egypt. And his heart went numb, for he did not
# believe them."
m.step("Gen.45.26")
# ‹לֵאמֹר עוֹד יוֹסֵף חַי› (“to-say still/again Joseph living”) — fact
# holds: still/again-Joseph-living-and-be-sluggish-His-heart
m.fact("od_yosef_chai_va_yafag_libo")

# -------------------------- Gen.45.27 · THE_WAGONS_SEEN --------------------
# וַיְדַבְּרוּ אֵלָיו אֵת כָּל־דִּבְרֵי יוֹסֵף אֲשֶׁר דִּבֶּר אֲלֵהֶם
# וַיַּרְא אֶת־הָעֲגָלוֹת אֲשֶׁר־שָׁלַח יוֹסֵף לָשֵׂאת אֹתוֹ וַתְּחִי רוּחַ
# יַעֲקֹב אֲבִיהֶם
# "[EN-AID] And they spoke to him all the words of Joseph which he had
# spoken to them; and he saw the wagons which Joseph had sent to carry him;
# and the spirit of Jacob their father revived."
m.step("Gen.45.27")
# ‹וַתְּחִי רוּחַ יַעֲקֹב אֲבִיהֶם› (“and-live spirit Jacob father-
# them/their”) — fact holds: and-see-obj-marker-the-something-revolving-and-
# live-spirit-wind
m.fact("va_yar_et_ha_agalot_va_techi_ruach")

# -------------------------- Gen.45.28 · ENOUGH_JOSEPH_MY_SON_LIVES ---------
# וַיֹּאמֶר יִשְׂרָאֵל רַב עוֹד־יוֹסֵף בְּנִי חָי אֵלְכָה וְאֶרְאֶנּוּ
# בְּטֶרֶם אָמוּת
# "[EN-AID] And Israel said: Enough! Joseph my son still lives; I will go
# and see him before I die."
m.step("Gen.45.28")
# ‹רַב עוֹד־יוֹסֵף בְּנִי חָי› (“many/great still/again Joseph son-me/my
# living”) — fact holds: many/great-still/again-Joseph-beni-living
m.fact("rav_od_yosef_beni_chai")

# -------------------------- 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() == ['u_qchu_et_avikhem_u_vou_elai', 'al_tirgezu_ba_darekh']
    assert len(m.SPECS["log"]) == 6
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['ani_yosef_ha_od_avi_chai', 'al_teatzvu_ve_al_yichar', 'od_chamesh_shanim_en_charish_ve_qatzir', 'la_sum_lakhem_sheerit_ba_aretz', 'lo_atem_shelachtem_ki_ha_Elohim', 've_yashavta_be_eretz_goshen', 've_khilkalti_otkha_pen_tivaresh', 'enekhem_root_ve_ene_achi_vinyamin', 've_higadtem_ve_horadtem_et_avi', 've_achare_khen_dibru_echav_ito', 've_ha_qol_nishma_bet_paro', 'zot_asu_taanu_et_beirkhem', 've_enkhem_al_tachos', 'chalifot_semalot_u_le_vinyamin_chamesh', 'asara_chamorim_ve_eser_atonot', 'od_yosef_chai_va_yafag_libo', 'va_yar_et_ha_agalot_va_techi_ruach', 'rav_od_yosef_beni_chai'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 12
    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.