The cup and the surety: Judah's speech (44:1-34) FROZEN

יֶשֶׁב־נָא עַבְדְּךָ תַּחַת הַנַּעַר · yeshev-na avdekha tachat ha-naar · 'let your servant stay instead of the lad'

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_67_cup_and_surety — The cup and the surety: Judah's speech (44:1-34) [frozen]

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

=== S1 — after STEP_Gn_44_1 — fill, and plant
    וַיְצַ֞ו אֶת אֲשֶׁ֣ר עַל (va-yetzav et-asher al-)
    PASS  LET(male_amtechot_ve_sim_kesef) pushed and OPEN  (queue=['male_amtechot_ve_sim_kesef'])
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_44_2 — my cup, the silver cup
    וְאֶת גְּבִיעִ֞י גְּבִ֣יעַ הַכֶּ֗סֶף (ve-et-gevii-y gevia ha-kesef)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_44_3 — the morning light
    הַבֹּ֖קֶר א֑וֹר וְהָאֲנָשִׁ֣ים שֻׁלְּח֔וּ (ha-boqer or ve-ha-anashim shulchu)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_44_4 — arise, pursue, overtake
    הֵ֠ם יָֽצְא֣וּ אֶת הָעִיר֮ (hem yatzu et-ha-ir)
    PASS  LET(qum_redof_ve_hisagtam) pushed and OPEN  (queue=['qum_redof_ve_hisagtam'])
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_44_5 — the divining cup
    הֲל֣וֹא זֶ֗ה אֲשֶׁ֨ר יִשְׁתֶּ֤ה (ha-lo ze asher yishte)
    PASS  LET(qum_redof_ve_hisagtam) pushed and OPEN  (queue=['qum_redof_ve_hisagtam'])
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_44_6 — he overtook them
    וַֽיַּשִּׂגֵ֑ם וַיְדַבֵּ֣ר אֲלֵהֶ֔ם אֶת (va-yasige-m va-yedaber el-hem et-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_44_7 — far be it from your servants
    וַיֹּאמְר֣וּ אֵלָ֔יו לָ֚מָּה יְדַבֵּ֣ר (va-yomru elay-v la-ma yedaber)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_44_8 — the silver we returned
    הֵ֣ן כֶּ֗סֶף אֲשֶׁ֤ר מָצָ֨אנוּ֙ (hen kesef asher matzanu)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_44_9 — the rash sentence
    אֲשֶׁ֨ר יִמָּצֵ֥א אִתּ֛וֹ מֵעֲבָדֶ֖יךָ (asher yimatze et-o me-avade-kha)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_44_10 — the steward's softening
    וַיֹּ֕אמֶר גַּם עַתָּ֥ה כְדִבְרֵיכֶ֖ם (va-yomer gam-ata khe-divre-khem)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_44_11 — bags lowered
    וַֽיְמַהֲר֗וּ וַיּוֹרִ֛דוּ אִ֥ישׁ אֶת (va-yemaharu va-yoridu ish et-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_44_12 — found in Benjamin's bag
    וַיְחַפֵּ֕שׂ בַּגָּד֣וֹל הֵחֵ֔ל וּבַקָּטֹ֖ן (va-yechapes ba-gadol hechel u-va-qaton)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_44_13 — the garments torn
    וַֽיִּקְרְע֖וּ שִׂמְלֹתָ֑ם וַֽיַּעֲמֹס֙ אִ֣ישׁ (va-yiqru simlota-m va-yaamos ish)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_44_14 — they fall before him
    וַיָּבֹ֨א יְהוּדָ֤ה וְאֶחָיו֙ בֵּ֣יתָה (va-yavo yehuda ve-echay-v beta-ה)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_44_15 — a man like me
    וַיֹּ֤אמֶר לָהֶם֙ יוֹסֵ֔ף מָֽה (va-yomer la-hem yosef ma-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_44_16 — God has found the guilt
    וַיֹּ֣אמֶר יְהוּדָ֗ה מַה נֹּאמַר֙ (va-yomer yehuda ma-nomar)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_44_17 — go up in peace
    וַיֹּ֕אמֶר חָלִ֣ילָה לִּ֔י מֵעֲשׂ֖וֹת (va-yomer chalila-ה li-y me-asot)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_44_18 — Judah draws near
    וַיִּגַּ֨שׁ אֵלָ֜יו יְהוּדָ֗ה וַיֹּאמֶר֮ (va-yigash elay-v yehuda va-yomer)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_44_19 — my lord asked
    אֲדֹנִ֣י שָׁאַ֔ל אֶת עֲבָדָ֖יו (adoni-y shaal et-avaday-v)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_44_20 — a child of old age
    וַנֹּ֨אמֶר֙ אֶל אֲדֹנִ֔י יֶשׁ (va-nomer el-adoni-y yesh-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_44_21 — bring him down to me
    וַתֹּ֨אמֶר֙ אֶל עֲבָדֶ֔יךָ הוֹרִדֻ֖הוּ (va-tomer el-avade-kha horidu-hu)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_44_22 — he cannot leave his father
    וַנֹּ֨אמֶר֙ אֶל אֲדֹנִ֔י לֹא (va-nomer el-adoni-y lo-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_44_23 — you shall not see my face
    וַתֹּ֨אמֶר֙ אֶל עֲבָדֶ֔יךָ אִם (va-tomer el-avade-kha im-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Gn_44_24 — we told my father
    וַיְהִי֙ כִּ֣י עָלִ֔ינוּ אֶֽל (va-yehi ki alinu el-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Gn_44_25 — our father said: return
    וַיֹּ֖אמֶר אָבִ֑ינוּ שֻׁ֖בוּ שִׁבְרוּ (va-yomer avi-nu shuvu shivru-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Gn_44_26 — we cannot go down
    וַנֹּ֕אמֶר לֹ֥א נוּכַ֖ל לָרֶ֑דֶת (va-nomer lo nukhal la-redet)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Gn_44_27 — two my wife bore me
    וַיֹּ֛אמֶר עַבְדְּךָ֥ אָבִ֖י אֵלֵ֑ינוּ (va-yomer avd-kha avi-y ele-nu)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Gn_44_28 — torn, torn
    וַיֵּצֵ֤א הָֽאֶחָד֙ מֵֽאִתִּ֔י וָאֹמַ֕ר (va-yetze ha-echad me-et-y va-omar)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Gn_44_29 — gray hair in evil
    וּלְקַחְתֶּ֧ם גַּם אֶת זֶ֛ה (u-leqachtem gam-et-ze)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Gn_44_30 — soul bound to soul
    וְעַתָּ֗ה כְּבֹאִי֙ אֶל עַבְדְּךָ֣ (ve-ata ke-voi-y el-avd-kha)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Gn_44_31 — when he sees the lad is not
    וְהָיָ֗ה כִּרְאוֹת֛וֹ כִּי אֵ֥ין (ve-haya ki-reot-o ki-en)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Gn_44_32 — your servant is surety
    כִּ֤י עַבְדְּךָ֙ עָרַ֣ב אֶת (ki avd-kha arav et-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem'])
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Gn_44_33 — let me stay instead
    וְעַתָּ֗ה יֵֽשֶׁב נָ֤א עַבְדְּךָ֙ (ve-ata yeshev-na avd-kha)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem', 'yeshev_na_avdekha_tachat_ha_naar'])
    PASS  LET(yeshev_na_avdekha_tachat_ha_naar) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem', 'yeshev_na_avdekha_tachat_ha_naar'])
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Gn_44_34 — how shall I go up
    כִּי אֵיךְ֙ אֶֽעֱלֶ֣ה אֶל (ki-ekh eele el-)
    PASS  LET(alu_le_shalom_el_avikhem) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem', 'yeshev_na_avdekha_tachat_ha_naar'])
    PASS  LET(yeshev_na_avdekha_tachat_ha_naar) pushed and OPEN  (queue=['alu_le_shalom_el_avikhem', 'yeshev_na_avdekha_tachat_ha_naar'])
    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_67_cup_and_surety.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_67_cup_and_surety — 44:1-34
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_67_cup_and_surety.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 cup and the surety: Judah's speech (44:1-34)"""
from machine import Machine

m = Machine("gen_67_cup_and_surety")

# -------------------------- Gen.44.1 · FILL_AND_PLANT ----------------------
# וַיְצַו אֶת־אֲשֶׁר עַל־בֵּיתוֹ לֵאמֹר מַלֵּא אֶת־אַמְתְּחֹת הָאֲנָשִׁים
# אֹכֶל כַּאֲשֶׁר יוּכְלוּן שְׂאֵת וְשִׂים כֶּסֶף־אִישׁ בְּפִי אַמְתַּחְתּוֹ
# "[EN-AID] And he commanded the one over his house, saying: Fill the men's
# bags with food, as much as they can carry, and put each man's silver in
# the mouth of his bag."
m.step("Gen.44.1")
# ‹מַלֵּא אֶת־אַמְתְּחֹת הָאֲנָשִׁים› (“fill obj-marker something-expansive
# the-man”) — Joseph speaks a demand — LET: fill-amtechot-and-put/set-silver
m.declare("yosef", "LET",
          "male_amtechot_ve_sim_kesef")

# -------------------------- Gen.44.2 · MY_CUP_THE_SILVER_CUP ---------------
# וְאֶת־גְּבִיעִי גְּבִיעַ הַכֶּסֶף תָּשִׂים בְּפִי אַמְתַּחַת הַקָּטֹן
# וְאֵת כֶּסֶף שִׁבְרוֹ וַיַּעַשׂ כִּדְבַר יוֹסֵף אֲשֶׁר דִּבֵּר
# "[EN-AID] And my cup — the silver cup — you shall put in the mouth of the
# youngest one's bag, and the silver of his grain. And he did according to
# the word of Joseph which he spoke."
m.step("Gen.44.2")
# ‹וַיַּעַשׂ כִּדְבַר יוֹסֵף אֲשֶׁר דִּבֵּר› (“and-make like-word/thing
# Joseph which speak”) — demand settled (popped from the queue): fill-
# amtechot-and-put/set-silver
m.result("male_amtechot_ve_sim_kesef", tmark="t1")

# -------------------------- Gen.44.3 · THE_MORNING_LIGHT -------------------
# הַבֹּקֶר אוֹר וְהָאֲנָשִׁים שֻׁלְּחוּ הֵמָּה וַחֲמֹרֵיהֶם
# "[EN-AID] The morning was light, and the men were sent away — they and
# their donkeys."
m.step("Gen.44.3")
# ‹הַבֹּקֶר אוֹר וְהָאֲנָשִׁים שֻׁלְּחוּ› (“the-morning give-light and-the-
# man send”) — fact holds: the-morning-give-light-and-the-man-send
m.fact("ha_boqer_or_ve_ha_anashim_shulchu")

# -------------------------- Gen.44.4 · ARISE_PURSUE_OVERTAKE ---------------
# הֵם יָצְאוּ אֶת־הָעִיר לֹא הִרְחִיקוּ וְיוֹסֵף אָמַר לַאֲשֶׁר עַל־בֵּיתוֹ
# קוּם רְדֹף אַחֲרֵי הָאֲנָשִׁים וְהִשַּׂגְתָּם וְאָמַרְתָּ אֲלֵהֶם לָמָּה
# שִׁלַּמְתֶּם רָעָה תַּחַת טוֹבָה
# "[EN-AID] They had gone out of the city — they were not far — and Joseph
# said to the one over his house: Arise, pursue after the men; and overtake
# them, and say to them: Why have you repaid evil for good?"
m.step("Gen.44.4")
# ‹קוּם רְדֹף אַחֲרֵי הָאֲנָשִׁים וְהִשַּׂגְתָּם› (“arise run-after-gone-by)
# after the-man and-reach-them/their”) — Joseph speaks a demand — LET:
# arise-run-after-gone-by)-and-hisagtam
m.declare("yosef", "LET",
          "qum_redof_ve_hisagtam")

# -------------------------- Gen.44.5 · THE_DIVINING_CUP --------------------
# הֲלוֹא זֶה אֲשֶׁר יִשְׁתֶּה אֲדֹנִי בּוֹ וְהוּא נַחֵשׁ יְנַחֵשׁ בּוֹ
# הֲרֵעֹתֶם אֲשֶׁר עֲשִׂיתֶם
# "[EN-AID] Is not this that from which my lord drinks, and by which he
# surely divines? You have done evil in what you have done."
m.step("Gen.44.5")
# ‹וְהוּא נַחֵשׁ יְנַחֵשׁ בּוֹ› (“and-he/it hiss hiss in-him/its”) — fact
# holds: hiss-hiss-in-it
m.fact("nachesh_yenachesh_bo")

# -------------------------- Gen.44.6 · HE_OVERTOOK_THEM --------------------
# וַיַּשִּׂגֵם וַיְדַבֵּר אֲלֵהֶם אֶת־הַדְּבָרִים הָאֵלֶּה
# "[EN-AID] And he overtook them, and spoke to them these words."
m.step("Gen.44.6")
# ‹וַיַּשִּׂגֵם וַיְדַבֵּר אֲלֵהֶם› (“and-reach-them/their and-speak to-
# them/their”) — demand settled (popped from the queue): arise-run-after-
# gone-by)-and-hisagtam
m.result("qum_redof_ve_hisagtam", tmark="t2")

# -------------------------- Gen.44.7 · FAR_BE_IT_FROM_YOUR_SERVANTS --------
# וַיֹּאמְרוּ אֵלָיו לָמָּה יְדַבֵּר אֲדֹנִי כַּדְּבָרִים הָאֵלֶּה חָלִילָה
# לַעֲבָדֶיךָ מֵעֲשׂוֹת כַּדָּבָר הַזֶּה
# "[EN-AID] And they said to him: Why does my lord speak according to these
# words? Far be it from your servants to do according to this thing."
m.step("Gen.44.7")
# ‹חָלִילָה לַעֲבָדֶיךָ מֵעֲשׂוֹת כַּדָּבָר הַזֶּה› (“literal-fora-profaned-
# thing-ward to-servant-you/your from-make like-word/thing the-this”) — fact
# holds: chalila-to-avadekha
m.fact("chalila_la_avadekha")

# -------------------------- Gen.44.8 · THE_SILVER_WE_RETURNED --------------
# הֵן כֶּסֶף אֲשֶׁר מָצָאנוּ בְּפִי אַמְתְּחֹתֵינוּ הֱשִׁיבֹנוּ אֵלֶיךָ
# מֵאֶרֶץ כְּנָעַן וְאֵיךְ נִגְנֹב מִבֵּית אֲדֹנֶיךָ כֶּסֶף אוֹ זָהָב
# "[EN-AID] Behold, the silver which we found in the mouth of our bags we
# brought back to you from the land of Canaan; and how should we steal from
# your lord's house silver or gold?"
m.step("Gen.44.8")
# ‹הֵן כֶּסֶף אֲשֶׁר מָצָאנוּ› (“lo! silver which find”) — fact holds:
# lo!-silver-return-and-how?-steal
m.fact("hen_kesef_heshivonu_ve_ekh_nignov")

# -------------------------- Gen.44.9 · THE_RASH_SENTENCE -------------------
# אֲשֶׁר יִמָּצֵא אִתּוֹ מֵעֲבָדֶיךָ וָמֵת וְגַם־אֲנַחְנוּ נִהְיֶה לַאדֹנִי
# לַעֲבָדִים
# "[EN-AID] With whomever of your servants it be found — let him die; and we
# also will be my lord's slaves."
m.step("Gen.44.9")
# ‹אֲשֶׁר יִמָּצֵא אִתּוֹ מֵעֲבָדֶיךָ וָמֵת› (“which find with-him/its from-
# servant-you/your and-die”) — fact holds: which-find-with-him-and-die
m.fact("asher_yimatze_ito_va_met")

# -------------------------- Gen.44.10 · THE_STEWARDS_SOFTENING -------------
# וַיֹּאמֶר גַּם־עַתָּה כְדִבְרֵיכֶם כֶּן־הוּא אֲשֶׁר יִמָּצֵא אִתּוֹ
# יִהְיֶה־לִּי עָבֶד וְאַתֶּם תִּהְיוּ נְקִיִּם
# "[EN-AID] And he said: Now also, according to your words, so be it: with
# whom it is found shall be my slave, and you shall be clean."
m.step("Gen.44.10")
# ‹אֲשֶׁר יִמָּצֵא אִתּוֹ יִהְיֶה־לִּי עָבֶד וְאַתֶּם תִּהְיוּ נְקִיִּם›
# (“which find with-him/its be to-me/my servant and-you be innocent”) — fact
# holds: be-to-me-servant-and-you-be-innocent
m.fact("yihye_li_aved_ve_atem_tihyu_neqiyim")

# -------------------------- Gen.44.11 · BAGS_LOWERED -----------------------
# וַיְמַהֲרוּ וַיּוֹרִדוּ אִישׁ אֶת־אַמְתַּחְתּוֹ אָרְצָה וַיִּפְתְּחוּ
# אִישׁ אַמְתַּחְתּוֹ
# "[EN-AID] And they hurried, and each man lowered his bag to the earth, and
# each man opened his bag."
m.step("Gen.44.11")
# ‹וַיְמַהֲרוּ וַיּוֹרִדוּ אִישׁ אֶת־אַמְתַּחְתּוֹ› (“and-hasten and-go-down
# man obj-marker something-expansive-him/its”) — fact holds: and-go-down-
# man-obj-marker-amtachto
m.fact("va_yoridu_ish_et_amtachto")

# -------------------------- Gen.44.12 · FOUND_IN_BENJAMINS_BAG -------------
# וַיְחַפֵּשׂ בַּגָּדוֹל הֵחֵל וּבַקָּטֹן כִּלָּה וַיִּמָּצֵא הַגָּבִיעַ
# בְּאַמְתַּחַת בִּנְיָמִן
# "[EN-AID] And he searched — at the eldest he began, and at the youngest he
# ended; and the cup was found in Benjamin's bag."
m.step("Gen.44.12")
# ‹וַיִּמָּצֵא הַגָּבִיעַ בְּאַמְתַּחַת בִּנְיָמִן› (“and-find the-goblet
# in-something-expansive Benjamin”) — fact holds: and-find-the-goblet-in-
# something-expansive-Benjamin
m.fact("va_yimatze_ha_gavia_be_amtachat_binyamin")

# -------------------------- Gen.44.13 · THE_GARMENTS_TORN ------------------
# וַיִּקְרְעוּ שִׂמְלֹתָם וַיַּעֲמֹס אִישׁ עַל־חֲמֹרוֹ וַיָּשֻׁבוּ הָעִירָה
# "[EN-AID] And they tore their garments; and each man loaded his donkey,
# and they returned to the city."
m.step("Gen.44.13")
# ‹וַיִּקְרְעוּ שִׂמְלֹתָם› (“and-rend dress-them/their”) — event: qara —
# agent the-achim; theme simlotam
m.event("qara", agent="ha_achim", themes=["simlotam"])

# -------------------------- Gen.44.14 · THEY_FALL_BEFORE_HIM ---------------
# וַיָּבֹא יְהוּדָה וְאֶחָיו בֵּיתָה יוֹסֵף וְהוּא עוֹדֶנּוּ שָׁם
# וַיִּפְּלוּ לְפָנָיו אָרְצָה
# "[EN-AID] And Judah and his brothers came to Joseph's house — and he was
# yet there — and they fell before him to the earth."
m.step("Gen.44.14")
# ‹וַיִּפְּלוּ לְפָנָיו אָרְצָה› (“and-fall to-face-him/its earth-ward”) —
# event: naflu — agent Judah-and-echav
m.event("naflu", agent="yehuda_ve_echav")

# -------------------------- Gen.44.15 · A_MAN_LIKE_ME ----------------------
# וַיֹּאמֶר לָהֶם יוֹסֵף מָה־הַמַּעֲשֶׂה הַזֶּה אֲשֶׁר עֲשִׂיתֶם הֲלוֹא
# יְדַעְתֶּם כִּי־נַחֵשׁ יְנַחֵשׁ אִישׁ אֲשֶׁר כָּמֹנִי
# "[EN-AID] And Joseph said to them: What is this deed you have done? Did
# you not know that a man like me surely divines?"
m.step("Gen.44.15")
# ‹כִּי־נַחֵשׁ יְנַחֵשׁ אִישׁ אֲשֶׁר כָּמֹנִי› (“that hiss hiss man which
# form-of-the-prefix-'k-'-me/my”) — fact holds: hiss-hiss-man-which-kamoni
m.fact("nachesh_yenachesh_ish_asher_kamoni")

# -------------------------- Gen.44.16 · GOD_HAS_FOUND_THE_GUILT ------------
# וַיֹּאמֶר יְהוּדָה מַה־נֹּאמַר לַאדֹנִי מַה־נְּדַבֵּר וּמַה־נִּצְטַדָּק
# הָאֱלֹהִים מָצָא אֶת־עֲוֺן עֲבָדֶיךָ הִנֶּנּוּ עֲבָדִים לַאדֹנִי
# גַּם־אֲנַחְנוּ גַּם אֲשֶׁר־נִמְצָא הַגָּבִיעַ בְּיָדוֹ
# "[EN-AID] And Judah said: What shall we say to my lord? What shall we
# speak, and how shall we clear ourselves? God has found the guilt of your
# servants: behold, we are my lord's slaves — both we and he in whose hand
# the cup was found."
m.step("Gen.44.16")
# ‹הָאֱלֹהִים מָצָא אֶת־עֲוֺן עֲבָדֶיךָ› (“the-God find obj-marker
# perversity servant-you/your”) — fact holds: the-God-find-obj-marker-
# perversity-avadekha
m.fact("ha_Elohim_matza_et_avon_avadekha")

# -------------------------- Gen.44.17 · GO_UP_IN_PEACE ---------------------
# וַיֹּאמֶר חָלִילָה לִּי מֵעֲשׂוֹת זֹאת הָאִישׁ אֲשֶׁר נִמְצָא הַגָּבִיעַ
# בְּיָדוֹ הוּא יִהְיֶה־לִּי עָבֶד וְאַתֶּם עֲלוּ לְשָׁלוֹם אֶל־אֲבִיכֶם
# "[EN-AID] And he said: Far be it from me to do this; the man in whose hand
# the cup was found — he shall be my slave; and you — go up in peace to your
# father."
m.step("Gen.44.17")
# ‹וְאַתֶּם עֲלוּ לְשָׁלוֹם אֶל־אֲבִיכֶם› (“and-you go-up to-safe to father-
# you/your(pl)”) — Joseph speaks a demand — LET: go-up-to-safe-to-avikhem
m.declare("yosef", "LET",
          "alu_le_shalom_el_avikhem")

# -------------------------- Gen.44.18 · JUDAH_DRAWS_NEAR -------------------
# וַיִּגַּשׁ אֵלָיו יְהוּדָה וַיֹּאמֶר בִּי אֲדֹנִי יְדַבֶּר־נָא עַבְדְּךָ
# דָבָר בְּאָזְנֵי אֲדֹנִי וְאַל־יִחַר אַפְּךָ בְּעַבְדֶּךָ כִּי כָמוֹךָ
# כְּפַרְעֹה
# "[EN-AID] And Judah drew near to him and said: Please, my lord, let your
# servant speak a word in my lord's ears, and let not your anger burn
# against your servant — for you are as Pharaoh."
m.step("Gen.44.18")
# ‹וַיִּגַּשׁ אֵלָיו יְהוּדָה› (“and-be to-him/its Judah”) — event: nigash —
# agent Judah
m.event("nigash", agent="yehuda")

# -------------------------- Gen.44.19 · MY_LORD_ASKED ----------------------
# אֲדֹנִי שָׁאַל אֶת־עֲבָדָיו לֵאמֹר הֲיֵשׁ־לָכֶם אָב אוֹ־אָח
# "[EN-AID] My lord asked his servants, saying: Have you a father, or a
# brother?"
m.step("Gen.44.19")
# ‹אֲדֹנִי שָׁאַל אֶת־עֲבָדָיו› (“lord-me/my inquire obj-marker servant-
# him/its”) — fact holds: adoni-inquire-obj-marker-avadav
m.fact("adoni_shaal_et_avadav")

# -------------------------- Gen.44.20 · A_CHILD_OF_OLD_AGE -----------------
# וַנֹּאמֶר אֶל־אֲדֹנִי יֶשׁ־לָנוּ אָב זָקֵן וְיֶלֶד זְקֻנִים קָטָן וְאָחִיו
# מֵת וַיִּוָּתֵר הוּא לְבַדּוֹ לְאִמּוֹ וְאָבִיו אֲהֵבוֹ
# "[EN-AID] And we said to my lord: We have an old father, and a child of
# old age, a little one; and his brother is dead, and he alone is left of
# his mother, and his father loves him."
m.step("Gen.44.20")
# ‹וְיֶלֶד זְקֻנִים קָטָן› (“and-child old-age abbreviated”) — fact holds:
# child-old-age-abbreviated-and-his-brother-die
m.fact("yeled_zequnim_qatan_ve_achiv_met")

# -------------------------- Gen.44.21 · BRING_HIM_DOWN_TO_ME ---------------
# וַתֹּאמֶר אֶל־עֲבָדֶיךָ הוֹרִדֻהוּ אֵלָי וְאָשִׂימָה עֵינִי עָלָיו
# "[EN-AID] And you said to your servants: Bring him down to me, that I may
# set my eye upon him."
m.step("Gen.44.21")
# ‹וַתֹּאמֶר אֶל־עֲבָדֶיךָ הוֹרִדֻהוּ אֵלָי› (“and-say to servant-you/your
# go-down-him/its to-me/my”) — fact holds: horiduhu-elai-and-put/set-eni-
# alav
m.fact("horiduhu_elai_ve_asima_eni_alav")

# -------------------------- Gen.44.22 · HE_CANNOT_LEAVE_HIS_FATHER ---------
# וַנֹּאמֶר אֶל־אֲדֹנִי לֹא־יוּכַל הַנַּעַר לַעֲזֹב אֶת־אָבִיו וְעָזַב
# אֶת־אָבִיו וָמֵת
# "[EN-AID] And we said to my lord: The lad cannot leave his father; should
# he leave his father, he would die."
m.step("Gen.44.22")
# ‹לֹא־יוּכַל הַנַּעַר לַעֲזֹב אֶת־אָבִיו› (“not be-able the-boy to-loosen
# obj-marker father-him/its”) — fact holds: not-be-able-the-boy-laazov-obj-
# marker-aviv
m.fact("lo_yukhal_ha_naar_laazov_et_aviv")

# -------------------------- Gen.44.23 · YOU_SHALL_NOT_SEE_MY_FACE ----------
# וַתֹּאמֶר אֶל־עֲבָדֶיךָ אִם־לֹא יֵרֵד אֲחִיכֶם הַקָּטֹן אִתְּכֶם לֹא
# תֹסִפוּן לִרְאוֹת פָּנָי
# "[EN-AID] And you said to your servants: If your youngest brother does not
# come down with you, you shall not again see my face."
m.step("Gen.44.23")
# ‹לֹא תֹסִפוּן לִרְאוֹת פָּנָי› (“not add-ward to-see face-me/my”) — fact
# holds: not-tosifun-lirot-panai
m.fact("lo_tosifun_lirot_panai")

# -------------------------- Gen.44.24 · WE_TOLD_MY_FATHER ------------------
# וַיְהִי כִּי עָלִינוּ אֶל־עַבְדְּךָ אָבִי וַנַּגֶּד־לוֹ אֵת דִּבְרֵי
# אֲדֹנִי
# "[EN-AID] And it was, when we went up to your servant my father, that we
# told him the words of my lord."
m.step("Gen.44.24")
# ‹וַנַּגֶּד־לוֹ אֵת דִּבְרֵי אֲדֹנִי› (“and-tell to-him/its obj-marker
# word/thing lord-me/my”) — fact holds: and-tell-not-obj-marker-word/thing-
# adoni
m.fact("va_naged_lo_et_divre_adoni")

# -------------------------- Gen.44.25 · OUR_FATHER_SAID_RETURN -------------
# וַיֹּאמֶר אָבִינוּ שֻׁבוּ שִׁבְרוּ־לָנוּ מְעַט־אֹכֶל
# "[EN-AID] And our father said: Return, buy us a little food."
m.step("Gen.44.25")
# ‹שֻׁבוּ שִׁבְרוּ־לָנוּ מְעַט־אֹכֶל› (“return deal-in-grain to-us/our
# little food”) — fact holds: return-deal-in-grain-lanu-little-food-requoted
m.fact("shuvu_shivru_lanu_meat_okhel_requoted")

# -------------------------- Gen.44.26 · WE_CANNOT_GO_DOWN ------------------
# וַנֹּאמֶר לֹא נוּכַל לָרֶדֶת אִם־יֵשׁ אָחִינוּ הַקָּטֹן אִתָּנוּ
# וְיָרַדְנוּ כִּי־לֹא נוּכַל לִרְאוֹת פְּנֵי הָאִישׁ וְאָחִינוּ הַקָּטֹן
# אֵינֶנּוּ אִתָּנוּ
# "[EN-AID] And we said: We cannot go down; if our youngest brother is with
# us, we will go down — for we cannot see the man's face and our youngest
# brother not with us."
m.step("Gen.44.26")
# ‹וַנֹּאמֶר לֹא נוּכַל לָרֶדֶת› (“and-say not be-able to-go-down”) — fact
# holds: not-be-able-laredet-if-there-is-not-achinu
m.fact("lo_nukhal_laredet_im_en_achinu")

# -------------------------- Gen.44.27 · TWO_MY_WIFE_BORE_ME ----------------
# וַיֹּאמֶר עַבְדְּךָ אָבִי אֵלֵינוּ אַתֶּם יְדַעְתֶּם כִּי שְׁנַיִם
# יָלְדָה־לִּי אִשְׁתִּי
# "[EN-AID] And your servant my father said to us: You know that my wife
# bore me two."
m.step("Gen.44.27")
# ‹כִּי שְׁנַיִם יָלְדָה־לִּי אִשְׁתִּי› (“that two bear-young to-me/my
# woman-me/my”) — fact holds: two-bear-young-to-me-ishti
m.fact("shenayim_yalda_li_ishti")

# -------------------------- Gen.44.28 · TORN_TORN --------------------------
# וַיֵּצֵא הָאֶחָד מֵאִתִּי וָאֹמַר אַךְ טָרֹף טֹרָף וְלֹא רְאִיתִיו
# עַד־הֵנָּה
# "[EN-AID] And the one went out from me, and I said: Surely torn, torn —
# and I have not seen him until now."
m.step("Gen.44.28")
# ‹אַךְ טָרֹף טֹרָף› (“indeed pluck-off pluck-off”) — fact holds: indeed-
# pluck-off-pluck-off-and-not-reitiv
m.fact("akh_tarof_toraf_ve_lo_reitiv")

# -------------------------- Gen.44.29 · GRAY_HAIR_IN_EVIL ------------------
# וּלְקַחְתֶּם גַּם־אֶת־זֶה מֵעִם פָּנַי וְקָרָהוּ אָסוֹן וְהוֹרַדְתֶּם
# אֶת־שֵׂיבָתִי בְּרָעָה שְׁאֹלָה
# "[EN-AID] And should you take this one also from before my face, and harm
# befall him — you will bring down my gray hair in evil to Sheol."
m.step("Gen.44.29")
# ‹וְהוֹרַדְתֶּם אֶת־שֵׂיבָתִי בְּרָעָה שְׁאֹלָה› (“and-go-down obj-marker
# old-age-me/my in-bad Shᵉ'Owl-ward”) — fact holds: and-go-down-obj-marker-
# sevati-in-bad-sheola
m.fact("ve_horadtem_et_sevati_be_raa_sheola")

# -------------------------- Gen.44.30 · SOUL_BOUND_TO_SOUL -----------------
# וְעַתָּה כְּבֹאִי אֶל־עַבְדְּךָ אָבִי וְהַנַּעַר אֵינֶנּוּ אִתָּנוּ
# וְנַפְשׁוֹ קְשׁוּרָה בְנַפְשׁוֹ
# "[EN-AID] And now, when I come to your servant my father and the lad is
# not with us — and his soul is bound to his soul —"
m.step("Gen.44.30")
# ‹וְנַפְשׁוֹ קְשׁוּרָה בְנַפְשׁוֹ› (“and-living-being-him/its tie in-
# living-being-him/its”) — fact holds: and-nafsho-tie-and-nafsho
m.fact("ve_nafsho_qeshura_ve_nafsho")

# -------------------------- Gen.44.31 · WHEN_HE_SEES_THE_LAD_IS_NOT --------
# וְהָיָה כִּרְאוֹתוֹ כִּי־אֵין הַנַּעַר וָמֵת וְהוֹרִידוּ עֲבָדֶיךָ
# אֶת־שֵׂיבַת עַבְדְּךָ אָבִינוּ בְּיָגוֹן שְׁאֹלָה
# "[EN-AID] then it will be, when he sees that the lad is not — he will die;
# and your servants will bring down the gray hair of your servant our father
# in sorrow to Sheol."
m.step("Gen.44.31")
# ‹כִּרְאוֹתוֹ כִּי־אֵין הַנַּעַר וָמֵת› (“like-see-him/its that there-is-
# not the-boy and-die”) — fact holds: that-there-is-not-the-boy-and-die
m.fact("ki_en_ha_naar_va_met")

# -------------------------- Gen.44.32 · YOUR_SERVANT_IS_SURETY -------------
# כִּי עַבְדְּךָ עָרַב אֶת־הַנַּעַר מֵעִם אָבִי לֵאמֹר אִם־לֹא אֲבִיאֶנּוּ
# אֵלֶיךָ וְחָטָאתִי לְאָבִי כָּל־הַיָּמִים
# "[EN-AID] For your servant became surety for the lad from my father,
# saying: If I do not bring him to you, I shall have sinned against my
# father all the days."
m.step("Gen.44.32")
# ‹כִּי עַבְדְּךָ עָרַב אֶת־הַנַּעַר› (“that servant-you/your braid obj-
# marker the-boy”) — fact holds: that-avdekha-braid-obj-marker-the-boy
m.fact("ki_avdekha_arav_et_ha_naar")

# -------------------------- Gen.44.33 · LET_ME_STAY_INSTEAD ----------------
# וְעַתָּה יֵשֶׁב־נָא עַבְדְּךָ תַּחַת הַנַּעַר עֶבֶד לַאדֹנִי וְהַנַּעַר
# יַעַל עִם־אֶחָיו
# "[EN-AID] And now — let your servant stay instead of the lad, a slave to
# my lord; and let the lad go up with his brothers."
m.step("Gen.44.33")
# ‹וְעַתָּה יֵשֶׁב־נָא עַבְדְּךָ תַּחַת הַנַּעַר› (“and-now dwell/sit please
# servant-you/your under the-boy”) — Judah speaks a demand — LET: dwell/sit-
# please-avdekha-under-the-boy
m.declare("yehuda", "LET",
          "yeshev_na_avdekha_tachat_ha_naar")

# -------------------------- Gen.44.34 · HOW_SHALL_I_GO_UP ------------------
# כִּי־אֵיךְ אֶעֱלֶה אֶל־אָבִי וְהַנַּעַר אֵינֶנּוּ אִתִּי פֶּן אֶרְאֶה
# בָרָע אֲשֶׁר יִמְצָא אֶת־אָבִי
# "[EN-AID] For how shall I go up to my father and the lad is not with me —
# lest I see the evil that would find my father?"
m.step("Gen.44.34")
# ‹כִּי־אֵיךְ אֶעֱלֶה אֶל־אָבִי וְהַנַּעַר אֵינֶנּוּ אִתִּי› (“that how? go-
# up to father-me/my and-the-boy there-is-not-him/its with-me/my”) — fact
# holds: how?-go-up-to-avi-and-the-boy-enennu
m.fact("ekh_eele_el_avi_ve_ha_naar_enennu")

# -------------------------- 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() == ['alu_le_shalom_el_avikhem', 'yeshev_na_avdekha_tachat_ha_naar']
    assert len(m.SPECS["log"]) == 4
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['ha_boqer_or_ve_ha_anashim_shulchu', 'nachesh_yenachesh_bo', 'chalila_la_avadekha', 'hen_kesef_heshivonu_ve_ekh_nignov', 'asher_yimatze_ito_va_met', 'yihye_li_aved_ve_atem_tihyu_neqiyim', 'va_yoridu_ish_et_amtachto', 'va_yimatze_ha_gavia_be_amtachat_binyamin', 'nachesh_yenachesh_ish_asher_kamoni', 'ha_Elohim_matza_et_avon_avadekha', 'adoni_shaal_et_avadav', 'yeled_zequnim_qatan_ve_achiv_met', 'horiduhu_elai_ve_asima_eni_alav', 'lo_yukhal_ha_naar_laazov_et_aviv', 'lo_tosifun_lirot_panai', 'va_naged_lo_et_divre_adoni', 'shuvu_shivru_lanu_meat_okhel_requoted', 'lo_nukhal_laredet_im_en_achinu', 'shenayim_yalda_li_ishti', 'akh_tarof_toraf_ve_lo_reitiv', 've_horadtem_et_sevati_be_raa_sheola', 've_nafsho_qeshura_ve_nafsho', 'ki_en_ha_naar_va_met', 'ki_avdekha_arav_et_ha_naar', 'ekh_eele_el_avi_ve_ha_naar_enennu'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 9
    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.