The crossed hands (48:1-22) FROZEN

יְשִׂמְךָ אֱלֹהִים כְּאֶפְרַיִם וְכִמְנַשֶּׁה · yesimkha Elohim ke-efrayim ve-khi-menashe · 'God make you as Ephraim and as Manasseh'

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_71_crossed_hands — The crossed hands (48:1-22) [frozen]

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

=== S1 — after STEP_Gn_48_1 — your father is ill
    וַיְהִ֗י אַחֲרֵי֙ הַדְּבָרִ֣ים הָאֵ֔לֶּה (va-yehi achare ha-devarim ha-ele)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_48_2 — strengthened on the bed
    וַיַּגֵּ֣ד לְיַעֲקֹ֔ב וַיֹּ֕אמֶר הִנֵּ֛ה (va-yaged le-yaaqov va-yomer hine)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_48_3 — El Shaddai at Luz
    וַיֹּ֤אמֶר יַעֲקֹב֙ אֶל יוֹסֵ֔ף (va-yomer yaaqov el-yosef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_48_4 — the promise recalled
    וַיֹּ֣אמֶר אֵלַ֗י הִנְנִ֤י מַפְרְךָ֙ (va-yomer el-y hin-ni mafr-kha)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_48_5 — Ephraim and Manasseh mine
    וְעַתָּ֡ה שְׁנֵֽי בָנֶיךָ֩ הַנּוֹלָדִ֨ים (ve-ata shene-vane-kha ha-noladim)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_48_6 — after them, yours
    וּמוֹלַדְתְּךָ֛ אֲשֶׁר הוֹלַ֥דְתָּ אַחֲרֵיהֶ֖ם (u-moladt-kha asher-holadta achare-hem)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_48_7 — Rachel on the road
    וַאֲנִ֣י בְּבֹאִ֣י מִפַּדָּ֗ן מֵ֩תָה֩ (va-ani be-voi-y mi-padan meta)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_48_8 — who are these?
    וַיַּ֥רְא יִשְׂרָאֵ֖ל אֶת בְּנֵ֣י (va-yar yisrael et-bene)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_48_9 — take them to me
    וַיֹּ֤אמֶר יוֹסֵף֙ אֶל אָבִ֔יו (va-yomer yosef el-avi-v)
    PASS  LET(qachem_na_elai) pushed and OPEN  (queue=['qachem_na_elai'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_48_10 — kissed and embraced
    וְעֵינֵ֤י יִשְׂרָאֵל֙ כָּבְד֣וּ מִזֹּ֔קֶן (ve-ene yisrael kavdu mi-zoqen)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_48_11 — I never judged to see
    וַיֹּ֤אמֶר יִשְׂרָאֵל֙ אֶל יוֹסֵ֔ף (va-yomer yisrael el-yosef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_48_12 — from between his knees
    וַיּוֹצֵ֥א יוֹסֵ֛ף אֹתָ֖ם מֵעִ֣ם (va-yotze yosef et-m me-im)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_48_13 — the arrangement
    וַיִּקַּ֣ח יוֹסֵף֮ אֶת שְׁנֵיהֶם֒ (va-yiqach yosef et-shene-hem)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_48_14 — the hands crossed
    וַיִּשְׁלַח֩ יִשְׂרָאֵ֨ל אֶת יְמִינ֜וֹ (va-yishlach yisrael et-yemin-o)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_48_15 — the shepherd God
    וַיְבָ֥רֶךְ אֶת יוֹסֵ֖ף וַיֹּאמַ֑ר (va-yevarekh et-yosef va-yomar)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_48_16 — the redeeming angel
    הַמַּלְאָךְ֩ הַגֹּאֵ֨ל אֹתִ֜י מִכָּל (ha-malakh ha-goel et-y mi-kal-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_48_17 — evil in his eyes
    וַיַּ֣רְא יוֹסֵ֗ף כִּי יָשִׁ֨ית (va-yar yosef ki-yashit)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_48_18 — not so, my father
    וַיֹּ֧אמֶר יוֹסֵ֛ף אֶל אָבִ֖יו (va-yomer yosef el-avi-v)
    PASS  LET(sim_yeminkha_al_rosho) pushed and OPEN  (queue=['sim_yeminkha_al_rosho'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_48_19 — I know, my son, I know
    וַיְמָאֵ֣ן אָבִ֗יו וַיֹּ֨אמֶר֙ יָדַ֤עְתִּֽי (va-yemaen avi-v va-yomer yadati)
    PASS  LET(sim_yeminkha_al_rosho) pushed and OPEN  (queue=['sim_yeminkha_al_rosho'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_48_20 — by you shall Israel bless
    וַיְבָ֨רֲכֵ֜ם בַּיּ֣וֹם הַהוּא֮ לֵאמוֹר֒ (va-yevarakhe-m ba-yom ha-hu le-mor)
    PASS  LET(sim_yeminkha_al_rosho) pushed and OPEN  (queue=['sim_yeminkha_al_rosho'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_48_21 — God will return you
    וַיֹּ֤אמֶר יִשְׂרָאֵל֙ אֶל יוֹסֵ֔ף (va-yomer yisrael el-yosef)
    PASS  LET(sim_yeminkha_al_rosho) pushed and OPEN  (queue=['sim_yeminkha_al_rosho'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_48_22 — one portion above your brothers
    וַאֲנִ֞י נָתַ֧תִּֽי לְךָ֛ שְׁכֶ֥ם (va-ani natati le-kha shekhem)
    PASS  LET(sim_yeminkha_al_rosho) pushed and OPEN  (queue=['sim_yeminkha_al_rosho'])
    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_71_crossed_hands.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_71_crossed_hands — 48:1-22
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_71_crossed_hands.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 crossed hands (48:1-22)"""
from machine import Machine

m = Machine("gen_71_crossed_hands")

# -------------------------- Gen.48.1 · YOUR_FATHER_IS_ILL ------------------
# וַיְהִי אַחֲרֵי הַדְּבָרִים הָאֵלֶּה וַיֹּאמֶר לְיוֹסֵף הִנֵּה אָבִיךָ
# חֹלֶה וַיִּקַּח אֶת־שְׁנֵי בָנָיו עִמּוֹ אֶת־מְנַשֶּׁה וְאֶת־אֶפְרָיִם
# "[EN-AID] And it was after these things, that one said to Joseph: Behold,
# your father is ill. And he took his two sons with him, Manasseh and
# Ephraim."
m.step("Gen.48.1")
# ‹הִנֵּה אָבִיךָ חֹלֶה› (“behold father-you/your be-rubbed”) — fact holds:
# behold-avikha-be-rubbed
m.fact("hine_avikha_chole")

# -------------------------- Gen.48.2 · STRENGTHENED_ON_THE_BED -------------
# וַיַּגֵּד לְיַעֲקֹב וַיֹּאמֶר הִנֵּה בִּנְךָ יוֹסֵף בָּא אֵלֶיךָ
# וַיִּתְחַזֵּק יִשְׂרָאֵל וַיֵּשֶׁב עַל־הַמִּטָּה
# "[EN-AID] And one told Jacob, and said: Behold, your son Joseph comes to
# you. And Israel strengthened himself, and sat upon the bed."
m.step("Gen.48.2")
# ‹וַיִּתְחַזֵּק יִשְׂרָאֵל וַיֵּשֶׁב עַל־הַמִּטָּה› (“and-fasten-upon
# Israel and-dwell/sit over the-bed-forsleeping”) — fact holds: and-fasten-
# upon-Israel-and-dwell/sit-over-the-bed-forsleeping
m.fact("va_yitchazeq_yisrael_va_yeshev_al_ha_mita")

# -------------------------- Gen.48.3 · EL_SHADAY_AT_LUZ --------------------
# וַיֹּאמֶר יַעֲקֹב אֶל־יוֹסֵף אֵל שַׁדַּי נִרְאָה־אֵלַי בְּלוּז בְּאֶרֶץ
# כְּנָעַן וַיְבָרֶךְ אֹתִי
# "[EN-AID] And Jacob said to Joseph: El Shaddai appeared to me at Luz in
# the land of Canaan, and blessed me."
m.step("Gen.48.3")
# ‹אֵל שַׁדַּי נִרְאָה־אֵלַי בְּלוּז› (“strength Almighty see to-me/my in-
# Luz”) — fact holds: to-Almighty-see-elai-in-Luz
m.fact("el_shaday_nira_elai_be_luz")

# -------------------------- Gen.48.4 · THE_PROMISE_RECALLED ----------------
# וַיֹּאמֶר אֵלַי הִנְנִי מַפְרְךָ וְהִרְבִּיתִךָ וּנְתַתִּיךָ לִקְהַל
# עַמִּים וְנָתַתִּי אֶת־הָאָרֶץ הַזֹּאת לְזַרְעֲךָ אַחֲרֶיךָ אֲחֻזַּת
# עוֹלָם
# "[EN-AID] And He said to me: Behold, I will make you fruitful and multiply
# you, and I will make you a company of peoples; and I will give this land
# to your seed after you, an everlasting holding."
m.step("Gen.48.4")
# ‹אֲחֻזַּת עוֹלָם› (“something-seized forever”) — fact holds: something-
# seized-forever-to-zarakha
m.fact("achuzat_olam_le_zarakha")

# -------------------------- Gen.48.5 · EPHRAIM_AND_MANASSEH_MINE -----------
# וְעַתָּה שְׁנֵי־בָנֶיךָ הַנּוֹלָדִים לְךָ בְּאֶרֶץ מִצְרַיִם עַד־בֹּאִי
# אֵלֶיךָ מִצְרַיְמָה לִי־הֵם אֶפְרַיִם וּמְנַשֶּׁה כִּרְאוּבֵן וְשִׁמְעוֹן
# יִהְיוּ־לִי
# "[EN-AID] And now, your two sons, who were born to you in the land of
# Egypt before I came to you to Egypt — mine they are: Ephraim and Manasseh,
# as Reuben and Simeon, shall be mine."
m.step("Gen.48.5")
# ‹אֶפְרַיִם וּמְנַשֶּׁה כִּרְאוּבֵן וְשִׁמְעוֹן יִהְיוּ־לִי› (“Ephraim and-
# Manasseh like-Reuben and-Simeon be to-me/my”) — fact holds: Ephraim-and-
# Manasseh-that-reuven-and-Simeon-be-to-me
m.fact("efrayim_u_menashe_ki_reuven_ve_shimon_yihyu_li")

# -------------------------- Gen.48.6 · AFTER_THEM_YOURS --------------------
# וּמוֹלַדְתְּךָ אֲשֶׁר־הוֹלַדְתָּ אַחֲרֵיהֶם לְךָ יִהְיוּ עַל שֵׁם אֲחֵיהֶם
# יִקָּרְאוּ בְּנַחֲלָתָם
# "[EN-AID] And your offspring whom you beget after them shall be yours; by
# the name of their brothers they shall be called in their inheritance."
m.step("Gen.48.6")
# ‹עַל שֵׁם אֲחֵיהֶם יִקָּרְאוּ בְּנַחֲלָתָם› (“over name brother-them/their
# call in-inheritance-them/their”) — fact holds: over-name-achehem-call-in-
# nachalatam
m.fact("al_shem_achehem_yiqaru_be_nachalatam")

# -------------------------- Gen.48.7 · RACHEL_ON_THE_ROAD ------------------
# וַאֲנִי בְּבֹאִי מִפַּדָּן מֵתָה עָלַי רָחֵל בְּאֶרֶץ כְּנַעַן בַּדֶּרֶךְ
# בְּעוֹד כִּבְרַת־אֶרֶץ לָבֹא אֶפְרָתָה וָאֶקְבְּרֶהָ שָּׁם בְּדֶרֶךְ
# אֶפְרָת הִוא בֵּית לָחֶם
# "[EN-AID] And I — when I came from Paddan, Rachel died on me in the land
# of Canaan, on the road, while yet a stretch of land to come to Ephrath;
# and I buried her there on the road of Ephrath — that is Bethlehem."
m.step("Gen.48.7")
# ‹בְּעוֹד כִּבְרַת־אֶרֶץ לָבֹא אֶפְרָתָה› (“in-still/again length earth to-
# come/bring 'Ephrath”) — fact holds: die-alai-Rachel-come/bring-way/road
m.fact("meta_alai_rachel_ba_derekh")

# -------------------------- Gen.48.8 · WHO_ARE_THESE -----------------------
# וַיַּרְא יִשְׂרָאֵל אֶת־בְּנֵי יוֹסֵף וַיֹּאמֶר מִי־אֵלֶּה
# "[EN-AID] And Israel saw Joseph's sons, and said: Who are these?"
m.step("Gen.48.8")
# ‹וַיַּרְא יִשְׂרָאֵל אֶת־בְּנֵי יוֹסֵף› (“and-see Israel obj-marker son
# Joseph”) — fact holds: and-see-Israel-obj-marker-son-Joseph
m.fact("va_yar_yisrael_et_bene_yosef")

# -------------------------- Gen.48.9 · TAKE_THEM_TO_ME ---------------------
# וַיֹּאמֶר יוֹסֵף אֶל־אָבִיו בָּנַי הֵם אֲשֶׁר־נָתַן־לִי אֱלֹהִים בָּזֶה
# וַיֹּאמַר קָחֶם־נָא אֵלַי וַאֲבָרֲכֵם
# "[EN-AID] And Joseph said to his father: They are my sons, whom God has
# given me in this place. And he said: Take them, pray, to me, and I will
# bless them."
m.step("Gen.48.9")
# ‹קָחֶם־נָא אֵלַי וַאֲבָרֲכֵם› (“take-them/their please to-me/my and-bless-
# them/their”) — Israel speaks a demand — LET: qachem-please-elai
m.declare("yisrael", "LET",
          "qachem_na_elai")

# -------------------------- Gen.48.10 · KISSED_AND_EMBRACED ----------------
# וְעֵינֵי יִשְׂרָאֵל כָּבְדוּ מִזֹּקֶן לֹא יוּכַל לִרְאוֹת וַיַּגֵּשׁ אֹתָם
# אֵלָיו וַיִּשַּׁק לָהֶם וַיְחַבֵּק לָהֶם
# "[EN-AID] And Israel's eyes were heavy from age — he could not see. And he
# brought them near to him; and he kissed them, and embraced them."
m.step("Gen.48.10")
# ‹וַיַּגֵּשׁ אֹתָם אֵלָיו וַיִּשַּׁק לָהֶם וַיְחַבֵּק לָהֶם› (“and-be obj-
# marker-them/their to-him/its and-kiss to-them/their and-clasp to-
# them/their”) — demand settled (popped from the queue): qachem-please-elai
m.result("qachem_na_elai", tmark="t1")

# -------------------------- Gen.48.11 · I_NEVER_JUDGED_TO_SEE --------------
# וַיֹּאמֶר יִשְׂרָאֵל אֶל־יוֹסֵף רְאֹה פָנֶיךָ לֹא פִלָּלְתִּי וְהִנֵּה
# הֶרְאָה אֹתִי אֱלֹהִים גַּם אֶת־זַרְעֶךָ
# "[EN-AID] And Israel said to Joseph: To see your face I had not judged —
# and behold, God has shown me your seed too."
m.step("Gen.48.11")
# ‹רְאֹה פָנֶיךָ לֹא פִלָּלְתִּי› (“see face-you/your not judge”) — fact
# holds: see-fanekha-not-judge
m.fact("reo_fanekha_lo_filalti")

# -------------------------- Gen.48.12 · FROM_BETWEEN_HIS_KNEES -------------
# וַיּוֹצֵא יוֹסֵף אֹתָם מֵעִם בִּרְכָּיו וַיִּשְׁתַּחוּ לְאַפָּיו אָרְצָה
# "[EN-AID] And Joseph brought them out from between his knees; and he bowed
# with his face to the earth."
m.step("Gen.48.12")
# ‹וַיִּשְׁתַּחוּ לְאַפָּיו אָרְצָה› (“and-afflict to-nose-him/its earth-
# ward”) — fact holds: and-afflict-to-his-nostrils-artza
m.fact("va_yishtachu_le_apav_artza")

# -------------------------- Gen.48.13 · THE_ARRANGEMENT --------------------
# וַיִּקַּח יוֹסֵף אֶת־שְׁנֵיהֶם אֶת־אֶפְרַיִם בִּימִינוֹ מִשְּׂמֹאל
# יִשְׂרָאֵל וְאֶת־מְנַשֶּׁה בִשְׂמֹאלוֹ מִימִין יִשְׂרָאֵל וַיַּגֵּשׁ
# אֵלָיו
# "[EN-AID] And Joseph took the two of them — Ephraim at his right, toward
# Israel's left, and Manasseh at his left, toward Israel's right — and
# brought them near to him."
m.step("Gen.48.13")
# ‹אֶת־אֶפְרַיִם בִּימִינוֹ מִשְּׂמֹאל יִשְׂרָאֵל וְאֶת־מְנַשֶּׁה
# בִשְׂמֹאלוֹ מִימִין יִשְׂרָאֵל› (“obj-marker Ephraim in-right-hand-him/its
# from-dark Israel and-obj-marker Manasseh in-dark-him/its from-right-hand
# Israel”) — fact holds: Ephraim-bimino-Manasseh-vismolo
m.fact("efrayim_bimino_menashe_vismolo")

# -------------------------- Gen.48.14 · THE_HANDS_CROSSED ------------------
# וַיִּשְׁלַח יִשְׂרָאֵל אֶת־יְמִינוֹ וַיָּשֶׁת עַל־רֹאשׁ אֶפְרַיִם וְהוּא
# הַצָּעִיר וְאֶת־שְׂמֹאלוֹ עַל־רֹאשׁ מְנַשֶּׁה שִׂכֵּל אֶת־יָדָיו כִּי
# מְנַשֶּׁה הַבְּכוֹר
# "[EN-AID] And Israel sent out his right hand and set it on Ephraim's head
# — and he was the younger — and his left hand on Manasseh's head; he
# crossed his hands, for Manasseh was the firstborn."
m.step("Gen.48.14")
# ‹שִׂכֵּל אֶת־יָדָיו כִּי מְנַשֶּׁה הַבְּכוֹר› (“be-circumspect-and-hence
# obj-marker hand-him/its that Manasseh the-firstborn”) — event: be-
# circumspect-and-hence-yadav — agent Israel
m.event("sikel_yadav", agent="yisrael")

# -------------------------- Gen.48.15 · THE_SHEPHERD_GOD -------------------
# וַיְבָרֶךְ אֶת־יוֹסֵף וַיֹּאמַר הָאֱלֹהִים אֲשֶׁר הִתְהַלְּכוּ אֲבֹתַי
# לְפָנָיו אַבְרָהָם וְיִצְחָק הָאֱלֹהִים הָרֹעֶה אֹתִי מֵעוֹדִי עַד־הַיּוֹם
# הַזֶּה
# "[EN-AID] And he blessed Joseph, and said: The God before whom my fathers
# walked, Abraham and Isaac, the God who shepherds me from my beginning
# until this day —"
m.step("Gen.48.15")
# ‹הָאֱלֹהִים הָרֹעֶה אֹתִי מֵעוֹדִי› (“the-God the-graze obj-marker-me/my
# from-still/again-me/my”) — blessing: Israel blesses Joseph
m.bless("yisrael", "yosef")

# -------------------------- Gen.48.16 · THE_REDEEMING_ANGEL ----------------
# הַמַּלְאָךְ הַגֹּאֵל אֹתִי מִכָּל־רָע יְבָרֵךְ אֶת־הַנְּעָרִים וְיִקָּרֵא
# בָהֶם שְׁמִי וְשֵׁם אֲבֹתַי אַבְרָהָם וְיִצְחָק וְיִדְגּוּ לָרֹב בְּקֶרֶב
# הָאָרֶץ
# "[EN-AID] The angel who redeems me from all evil — may he bless the lads;
# and let my name be called in them, and the name of my fathers, Abraham and
# Isaac; and may they teem like fish into a multitude in the midst of the
# earth."
m.step("Gen.48.16")
# ‹הַמַּלְאָךְ הַגֹּאֵל אֹתִי מִכָּל־רָע יְבָרֵךְ אֶת־הַנְּעָרִים› (“the-
# messenger the-be-the-next-of-kin obj-marker-me/my from-all bad bless obj-
# marker the-boy”) — fact holds: the-messenger-the-be-the-next-of-kin-bless-
# obj-marker-the-boy
m.fact("ha_malakh_ha_goel_yevarekh_et_ha_nearim")

# -------------------------- Gen.48.17 · EVIL_IN_HIS_EYES -------------------
# וַיַּרְא יוֹסֵף כִּי־יָשִׁית אָבִיו יַד־יְמִינוֹ עַל־רֹאשׁ אֶפְרַיִם
# וַיֵּרַע בְּעֵינָיו וַיִּתְמֹךְ יַד־אָבִיו לְהָסִיר אֹתָהּ מֵעַל
# רֹאשׁ־אֶפְרַיִם עַל־רֹאשׁ מְנַשֶּׁה
# "[EN-AID] And Joseph saw that his father was setting his right hand on
# Ephraim's head, and it was evil in his eyes; and he took hold of his
# father's hand, to remove it from Ephraim's head onto Manasseh's head."
m.step("Gen.48.17")
# ‹וַיֵּרַע בְּעֵינָיו› (“and-spoil in-eye-him/its”) — fact holds: and-
# spoil-in-enav
m.fact("va_yera_be_enav")

# -------------------------- Gen.48.18 · NOT_SO_MY_FATHER -------------------
# וַיֹּאמֶר יוֹסֵף אֶל־אָבִיו לֹא־כֵן אָבִי כִּי־זֶה הַבְּכֹר שִׂים
# יְמִינְךָ עַל־רֹאשׁוֹ
# "[EN-AID] And Joseph said to his father: Not so, my father — for this is
# the firstborn; set your right hand on his head."
m.step("Gen.48.18")
# ‹כִּי־זֶה הַבְּכֹר שִׂים יְמִינְךָ עַל־רֹאשׁוֹ› (“that this the-firstborn
# put/set right-hand-you/your over head-him/its”) — Joseph speaks a demand —
# LET: put/set-yeminkha-over-rosho
m.declare("yosef", "LET",
          "sim_yeminkha_al_rosho")

# -------------------------- Gen.48.19 · I_KNOW_MY_SON_I_KNOW ---------------
# וַיְמָאֵן אָבִיו וַיֹּאמֶר יָדַעְתִּי בְנִי יָדַעְתִּי גַּם־הוּא
# יִהְיֶה־לְּעָם וְגַם־הוּא יִגְדָּל וְאוּלָם אָחִיו הַקָּטֹן יִגְדַּל
# מִמֶּנּוּ וְזַרְעוֹ יִהְיֶה מְלֹא־הַגּוֹיִם
# "[EN-AID] And his father refused, and said: I know, my son, I know — he
# too shall become a people, and he too shall be great; but his younger
# brother shall be greater than he, and his seed shall be the fullness of
# the nations."
m.step("Gen.48.19")
# ‹וַיְמָאֵן אָבִיו וַיֹּאמֶר יָדַעְתִּי בְנִי יָדַעְתִּי› (“and-refuse
# father-him/its and-say know son-me/my know”) — fact holds: and-refuse-
# aviv-know-veni-know
m.fact("va_yemaen_aviv_yadati_veni_yadati")

# -------------------------- Gen.48.20 · BY_YOU_SHALL_ISRAEL_BLESS ----------
# וַיְבָרֲכֵם בַּיּוֹם הַהוּא לֵאמוֹר בְּךָ יְבָרֵךְ יִשְׂרָאֵל לֵאמֹר
# יְשִׂמְךָ אֱלֹהִים כְּאֶפְרַיִם וְכִמְנַשֶּׁה וַיָּשֶׂם אֶת־אֶפְרַיִם
# לִפְנֵי מְנַשֶּׁה
# "[EN-AID] And he blessed them that day, saying: By you shall Israel bless,
# saying: God make you as Ephraim and as Manasseh. And he set Ephraim before
# Manasseh."
m.step("Gen.48.20")
# ‹יְשִׂמְךָ אֱלֹהִים כְּאֶפְרַיִם וְכִמְנַשֶּׁה› (“put/set-you/your God
# like-Ephraim and-like-Manasseh”) — blessing: Israel blesses Ephraim-and-
# Manasseh
m.bless("yisrael", "efrayim_u_menashe")

# -------------------------- Gen.48.21 · GOD_WILL_RETURN_YOU ----------------
# וַיֹּאמֶר יִשְׂרָאֵל אֶל־יוֹסֵף הִנֵּה אָנֹכִי מֵת וְהָיָה אֱלֹהִים
# עִמָּכֶם וְהֵשִׁיב אֶתְכֶם אֶל־אֶרֶץ אֲבֹתֵיכֶם
# "[EN-AID] And Israel said to Joseph: Behold, I die; and God will be with
# you, and will return you to the land of your fathers."
m.step("Gen.48.21")
# ‹וְהֵשִׁיב אֶתְכֶם אֶל־אֶרֶץ אֲבֹתֵיכֶם› (“and-return obj-marker-
# you/your(pl) to earth father-you/your(pl)”) — fact holds: and-return-
# etkhem-to-earth-avotekhem
m.fact("ve_heshiv_etkhem_el_eretz_avotekhem")

# -------------------------- Gen.48.22 · SHEKHEM_ABOVE_YOUR_BROTHERS --------
# וַאֲנִי נָתַתִּי לְךָ שְׁכֶם אַחַד עַל־אַחֶיךָ אֲשֶׁר לָקַחְתִּי מִיַּד
# הָאֱמֹרִי בְּחַרְבִּי וּבְקַשְׁתִּי
# "[EN-AID] And I give you one portion above your brothers, which I took
# from the hand of the Amorite with my sword and with my bow."
m.step("Gen.48.22")
# ‹וַאֲנִי נָתַתִּי לְךָ שְׁכֶם אַחַד› (“and-I set to-you/your neck-as-the-
# place-of-burden one”) — fact holds: set-to-you-neck-as-the-place-of-
# burden-one
m.fact("natati_lekha_shekhem_achad")

# -------------------------- 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() == ['sim_yeminkha_al_rosho']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['hine_avikha_chole', 'va_yitchazeq_yisrael_va_yeshev_al_ha_mita', 'el_shaday_nira_elai_be_luz', 'achuzat_olam_le_zarakha', 'efrayim_u_menashe_ki_reuven_ve_shimon_yihyu_li', 'al_shem_achehem_yiqaru_be_nachalatam', 'meta_alai_rachel_ba_derekh', 'va_yar_yisrael_et_bene_yosef', 'reo_fanekha_lo_filalti', 'va_yishtachu_le_apav_artza', 'efrayim_bimino_menashe_vismolo', 'ha_malakh_ha_goel_yevarekh_et_ha_nearim', 'va_yera_be_enav', 'va_yemaen_aviv_yadati_veni_yadati', 've_heshiv_etkhem_el_eretz_avotekhem', 'natati_lekha_shekhem_achad'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 6
    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.