Drawn from the water (2:1-25) FROZEN

כִּי מִן הַמַּיִם מְשִׁיתִהוּ · ki min ha-mayim meshitihu · 'for from the water I drew him'

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: exo_02_drawn_from_the_water — Drawn from the water (2:1-25) [frozen]

final state: WORLD=[] (+0 presupposed) | REGISTRY={'ha_yeled': 'moshe', 'ben_moshe': 'gershom'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['named_before_any_presence', 'named_before_any_presence']

=== S1 — after STEP_Ex_2_1 — a man went
    וַיֵּ֥לֶךְ אִ֖ישׁ מִבֵּ֣ית לֵוִ֑י (va-yelekh ish mi-bet levi)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Ex_2_2 — good, and hidden
    וַתַּ֥הַר הָאִשָּׁ֖ה וַתֵּ֣לֶד בֵּ֑ן (va-tahar ha-isha va-teled ben)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Ex_2_3 — an ark of reeds
    וְלֹא יָכְלָ֣ה עוֹד֮ הַצְּפִינוֹ֒ (ve-lo-yakhla od hatzfin-o)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Ex_2_4 — the sister stationed
    וַתֵּתַצַּ֥ב אֲחֹת֖וֹ מֵרָחֹ֑ק לְדֵעָ֕ה (va-tetatzav achot-o me-rachoq le-dea)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Ex_2_5 — the descent that changed her law
    וַתֵּ֤רֶד בַּת פַּרְעֹה֙ לִרְחֹ֣ץ (va-tered bat-paro li-rechotz)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Ex_2_6 — a weeping youth
    וַתִּפְתַּח֙ וַתִּרְאֵ֣הוּ אֶת הַיֶּ֔לֶד (va-tiftach va-tire-hu et-ha-yeled)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Ex_2_7 — shall I go and call
    וַתֹּ֣אמֶר אֲחֹתוֹ֮ אֶל בַּת (va-tomer achot-o el-bat-)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Ex_2_8 — Go — and she went
    וַתֹּֽאמֶר לָ֥הּ בַּת פַּרְעֹ֖ה (va-tomer-la-ה bat-paro)
    PASS  LET(lekhi) pushed then satisfied in the SAME verse  (pushed=Exod.2.8 satisfied=Exod.2.8)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Ex_2_9 — nurse him for me
    וַתֹּ֧אמֶר לָ֣הּ בַּת פַּרְעֹ֗ה (va-tomer la-ה bat-paro)
    PASS  LET(helikhi_et_ha_yeled_ve_heniqihu) pushed then satisfied in the SAME verse  (pushed=Exod.2.9 satisfied=Exod.2.9)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Ex_2_10 — Moses named
    וַיִגְדַּ֣ל הַיֶּ֗לֶד וַתְּבִאֵ֨הוּ֙ לְבַת (va-yigdal ha-yeled va-tevie-hu le-vat-)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S11 — after STEP_Ex_2_11 — he saw their burdens
    וַיְהִ֣י בַּיָּמִ֣ים הָהֵ֗ם וַיִּגְדַּ֤ל (va-yehi ba-yamim ha-hem va-yigdal)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S12 — after STEP_Ex_2_12 — he struck the Egyptian
    וַיִּ֤פֶן כֹּה֙ וָכֹ֔ה וַיַּ֖רְא (va-yifen ko va-kho va-yar)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S13 — after STEP_Ex_2_13 — two Hebrews striving
    וַיֵּצֵא֙ בַּיּ֣וֹם הַשֵּׁנִ֔י וְהִנֵּ֛ה (va-yetze ba-yom ha-sheni ve-hine)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S14 — after STEP_Ex_2_14 — who set you
    וַ֠יֹּאמֶר מִ֣י שָֽׂמְךָ֞ לְאִ֨ישׁ (va-yomer mi sam-kha le-ish)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S15 — after STEP_Ex_2_15 — Pharaoh seeks, Moses flees
    וַיִּשְׁמַ֤ע פַּרְעֹה֙ אֶת הַדָּבָ֣ר (va-yishma paro et-ha-davar)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S16 — after STEP_Ex_2_16 — seven daughters
    וּלְכֹהֵ֥ן מִדְיָ֖ן שֶׁ֣בַע בָּנ֑וֹת (u-le-khohen midyan sheva banot)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S17 — after STEP_Ex_2_17 — Moses saves and waters
    וַיָּבֹ֥אוּ הָרֹעִ֖ים וַיְגָרְשׁ֑וּם וַיָּ֤קָם (va-yavou ha-roim va-yegarshu-m va-yaqam)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S18 — after STEP_Ex_2_18 — why so soon today
    וַתָּבֹ֕אנָה אֶל רְעוּאֵ֖ל אֲבִיהֶ֑ן (va-tavona el-reuel avi-hen)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S19 — after STEP_Ex_2_19 — an Egyptian man delivered us
    וַתֹּאמַ֕רְןָ אִ֣ישׁ מִצְרִ֔י הִצִּילָ֖נוּ (va-tomarna ish mitzri hitzila-nu)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S20 — after STEP_Ex_2_20 — call him to eat bread
    וַיֹּ֥אמֶר אֶל בְּנֹתָ֖יו וְאַיּ֑וֹ (va-yomer el-benotay-v ve-ay-o)
    PASS  LET(qiren_lo_ve_yokhal_lachem) pushed and OPEN  (queue=['qiren_lo_ve_yokhal_lachem'])
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S21 — after STEP_Ex_2_21 — Moses consents; Zipporah given
    וַיּ֥וֹאֶל מֹשֶׁ֖ה לָשֶׁ֣בֶת אֶת (va-yoel moshe la-shevet et-)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['ha_yeled'])

=== S22 — after STEP_Ex_2_22 — Gershom named
    וַתֵּ֣לֶד בֵּ֔ן וַיִּקְרָ֥א אֶת (va-teled ben va-yiqra et-)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes  (writes=2 names=['ben_moshe', 'ha_yeled'])

=== S23 — after STEP_Ex_2_23 — the king dies; the cry goes up
    וַיְהִי֩ בַיָּמִ֨ים הָֽרַבִּ֜ים הָהֵ֗ם (va-yehi va-yamim ha-rabim ha-hem)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes  (writes=2 names=['ben_moshe', 'ha_yeled'])

=== S24 — after STEP_Ex_2_24 — God remembered the covenant
    וַיִּשְׁמַ֥ע אֱלֹהִ֖ים אֶת נַאֲקָתָ֑ם (va-yishma Elohim et-naaqata-m)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes  (writes=2 names=['ben_moshe', 'ha_yeled'])

=== S25 — after STEP_Ex_2_25 — and God knew
    וַיַּ֥רְא אֱלֹהִ֖ים אֶת בְּנֵ֣י (va-yar Elohim et-bene)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes  (writes=2 names=['ben_moshe', 'ha_yeled'])

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/exo_02_drawn_from_the_water.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# exo_02_drawn_from_the_water — 2:1-25
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/exo_02_drawn_from_the_water.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.
# =============================================================================
"""Drawn from the water (2:1-25)"""
from machine import Machine

m = Machine("exo_02_drawn_from_the_water")

# -------------------------- Exod.2.1 · A_MAN_WENT --------------------------
# וַיֵּלֶךְ אִישׁ מִבֵּית לֵוִי וַיִּקַּח אֶת־בַּת־לֵוִי
# "[EN-AID] And a man went from the house of Levi, and took a daughter of
# Levi."
m.step("Exod.2.1")
# ‹וַיֵּלֶךְ אִישׁ מִבֵּית לֵוִי› (“and-go man from-house Levi”) — fact
# holds: man-who?-house-Levi-obj-marker-daughter-Levi
m.fact("ish_mi_bet_levi_et_bat_levi")

# -------------------------- Exod.2.2 · GOOD_AND_HIDDEN ---------------------
# וַתַּהַר הָאִשָּׁה וַתֵּלֶד בֵּן וַתֵּרֶא אֹתוֹ כִּי־טוֹב הוּא
# וַתִּצְפְּנֵהוּ שְׁלֹשָׁה יְרָחִים
# "[EN-AID] And the woman conceived, and bore a son; and she saw him, that
# he was good; and she hid him three months."
m.step("Exod.2.2")
# ‹וַתֵּרֶא אֹתוֹ כִּי־טוֹב הוּא› (“and-see obj-marker-him/its that good
# he/it”) — fact holds: and-see-it-that-good-he/it
m.fact("va_tere_oto_ki_tov_hu")

# -------------------------- Exod.2.3 · AN_ARK_OF_REEDS ---------------------
# וְלֹא־יָכְלָה עוֹד הַצְּפִינוֹ וַתִּקַּח־לוֹ תֵּבַת גֹּמֶא וַתַּחְמְרָה
# בַחֵמָר וּבַזָּפֶת וַתָּשֶׂם בָּהּ אֶת־הַיֶּלֶד וַתָּשֶׂם בַּסּוּף
# עַל־שְׂפַת הַיְאֹר
# "[EN-AID] And when she could no longer hide him, she took for him an ark
# of reeds, and daubed it with mortar and with pitch; and she placed the
# child in it, and placed it in the rushes by the bank of the Nile."
m.step("Exod.2.3")
# ‹וַתִּקַּח־לוֹ תֵּבַת גֹּמֶא וַתַּחְמְרָה בַחֵמָר וּבַזָּפֶת› (“and-take
# to-him/its ark absorbent and-boil-up-her/its in-bitumen and-in-asphalt”) —
# fact holds: ark-absorbent-over-lip-the-Nile
m.fact("tevat_gome_al_sefat_ha_yeor")

# -------------------------- Exod.2.4 · THE_SISTER_STATIONED ----------------
# וַתֵּתַצַּב אֲחֹתוֹ מֵרָחֹק לְדֵעָה מַה־יֵּעָשֶׂה לוֹ
# "[EN-AID] And his sister stationed herself far off, to know what would be
# done to him."
m.step("Exod.2.4")
# ‹וַתֵּתַצַּב אֲחֹתוֹ מֵרָחֹק› (“and-place sister-him/its from-remote”) —
# fact holds: and-place-achoto-from-remote
m.fact("va_tetatzav_achoto_me_rachoq")

# -------------------------- Exod.2.5 · THE_DESCENT_THAT_CHANGED_HER_LAW ----
# וַתֵּרֶד בַּת־פַּרְעֹה לִרְחֹץ עַל־הַיְאֹר וְנַעֲרֹתֶיהָ הֹלְכֹת עַל־יַד
# הַיְאֹר וַתֵּרֶא אֶת־הַתֵּבָה בְּתוֹךְ הַסּוּף וַתִּשְׁלַח אֶת־אֲמָתָהּ
# וַתִּקָּחֶהָ
# "[EN-AID] And Pharaoh's daughter went down to bathe at the Nile, and her
# maidens walked by the Nile's side; and she saw the ark among the rushes,
# and sent her maidservant, and took it."
m.step("Exod.2.5")
# ‹וַתִּשְׁלַח אֶת־אֲמָתָהּ וַתִּקָּחֶהָ› (“and-send obj-marker maidservant-
# her/its and-take-her/its”) — fact holds: and-send-obj-marker-amatah-and-
# tiqacheha
m.fact("va_tishlach_et_amatah_va_tiqacheha")

# -------------------------- Exod.2.6 · A_WEEPING_YOUTH ---------------------
# וַתִּפְתַּח וַתִּרְאֵהוּ אֶת־הַיֶּלֶד וְהִנֵּה־נַעַר בֹּכֶה וַתַּחְמֹל
# עָלָיו וַתֹּאמֶר מִיַּלְדֵי הָעִבְרִים זֶה
# "[EN-AID] And she opened it, and saw him — the child, and behold, a youth
# weeping; and she had pity on him, and said: This is one of the Hebrews'
# children."
m.step("Exod.2.6")
# ‹וַתַּחְמֹל עָלָיו› (“and-commiserate over-him/its”) — fact holds: and-
# commiserate-alav
m.fact("va_tachmol_alav")

# -------------------------- Exod.2.7 · SHALL_I_GO_AND_CALL -----------------
# וַתֹּאמֶר אֲחֹתוֹ אֶל־בַּת־פַּרְעֹה הַאֵלֵךְ וְקָרָאתִי לָךְ אִשָּׁה
# מֵינֶקֶת מִן הָעִבְרִיֹּת וְתֵינִק לָךְ אֶת־הַיָּלֶד
# "[EN-AID] And his sister said to Pharaoh's daughter: Shall I go and call
# you a nursing woman of the Hebrews, that she may nurse the child for you?"
m.step("Exod.2.7")
# ‹הַאֵלֵךְ וְקָרָאתִי לָךְ אִשָּׁה מֵינֶקֶת› (“the-go and-call to-you/your
# woman suck”) — fact holds: the-go-and-call-suck
m.fact("ha_elekh_ve_qarati_meneqet")

# -------------------------- Exod.2.8 · GO_AND_SHE_WENT ---------------------
# וַתֹּאמֶר־לָהּ בַּת־פַּרְעֹה לֵכִי וַתֵּלֶךְ הָעַלְמָה וַתִּקְרָא אֶת־אֵם
# הַיָּלֶד
# "[EN-AID] And Pharaoh's daughter said to her: Go. And the maiden went, and
# called the child's mother."
m.step("Exod.2.8")
# ‹לֵכִי› (“go”) — daughter-Pharaoh speaks a demand — LET: go
m.declare("bat_paro", "LET",
          "lekhi")
# ‹וַתֵּלֶךְ הָעַלְמָה וַתִּקְרָא אֶת־אֵם הַיָּלֶד› (“and-go the-lass and-
# call obj-marker mother the-child”) — demand settled (popped from the
# queue): go
m.result("lekhi", tmark="t1")

# -------------------------- Exod.2.9 · NURSE_HIM_FOR_ME --------------------
# וַתֹּאמֶר לָהּ בַּת־פַּרְעֹה הֵילִיכִי אֶת־הַיֶּלֶד הַזֶּה וְהֵינִקִהוּ
# לִי וַאֲנִי אֶתֵּן אֶת־שְׂכָרֵךְ וַתִּקַּח הָאִשָּׁה הַיֶּלֶד
# וַתְּנִיקֵהוּ
# "[EN-AID] And Pharaoh's daughter said to her: Take this child, and nurse
# him for me, and I will give your wages. And the woman took the child, and
# nursed him."
m.step("Exod.2.9")
# ‹הֵילִיכִי אֶת־הַיֶּלֶד הַזֶּה וְהֵינִקִהוּ לִי› (“go obj-marker the-child
# the-this and-suck-him/its to-me/my”) — daughter-Pharaoh speaks a demand —
# LET: go-obj-marker-the-child-and-heniqihu
m.declare("bat_paro", "LET",
          "helikhi_et_ha_yeled_ve_heniqihu")
# ‹וַתִּקַּח הָאִשָּׁה הַיֶּלֶד וַתְּנִיקֵהוּ› (“and-take the-woman the-
# child and-suckle-him/its”) — demand settled (popped from the queue): go-
# obj-marker-the-child-and-heniqihu
m.result("helikhi_et_ha_yeled_ve_heniqihu", tmark="t2")

# -------------------------- Exod.2.10 · MOSES_NAMED ------------------------
# וַיִגְדַּל הַיֶּלֶד וַתְּבִאֵהוּ לְבַת־פַּרְעֹה וַיְהִי־לָהּ לְבֵן
# וַתִּקְרָא שְׁמוֹ מֹשֶׁה וַתֹּאמֶר כִּי מִן־הַמַּיִם מְשִׁיתִהוּ
# "[EN-AID] And the child grew, and she brought him to Pharaoh's daughter,
# and he became her son; and she called his name Moses, and said: For from
# the water I drew him."
m.step("Exod.2.10")
# ‹וַתִּקְרָא שְׁמוֹ מֹשֶׁה› (“and-call name-him/its Moses”) — named: the-
# child := Moses
m.name("ha_yeled", "moshe")

# -------------------------- Exod.2.11 · HE_SAW_THEIR_BURDENS ---------------
# וַיְהִי בַּיָּמִים הָהֵם וַיִּגְדַּל מֹשֶׁה וַיֵּצֵא אֶל־אֶחָיו וַיַּרְא
# בְּסִבְלֹתָם וַיַּרְא אִישׁ מִצְרִי מַכֶּה אִישׁ־עִבְרִי מֵאֶחָיו
# "[EN-AID] And it was in those days, and Moses grew, and went out to his
# brothers, and saw their burdens; and he saw an Egyptian man striking a
# Hebrew man, of his brothers."
m.step("Exod.2.11")
# ‹וַיַּרְא בְּסִבְלֹתָם› (“and-see in-porterage-them/their”) — fact holds:
# and-see-in-sivlotam
m.fact("va_yar_be_sivlotam")

# -------------------------- Exod.2.12 · HE_STRUCK_THE_EGYPTIAN -------------
# וַיִּפֶן כֹּה וָכֹה וַיַּרְא כִּי אֵין אִישׁ וַיַּךְ אֶת־הַמִּצְרִי
# וַיִּטְמְנֵהוּ בַּחוֹל
# "[EN-AID] And he turned this way and that way, and saw that there was no
# man; and he struck the Egyptian, and hid him in the sand."
m.step("Exod.2.12")
# ‹וַיַּךְ אֶת־הַמִּצְרִי› (“and-strike obj-marker the-Egyptian”) — event:
# hika — agent Moses
m.event("hika", agent="moshe")

# -------------------------- Exod.2.13 · TWO_HEBREWS_STRIVING ---------------
# וַיֵּצֵא בַּיּוֹם הַשֵּׁנִי וְהִנֵּה שְׁנֵי־אֲנָשִׁים עִבְרִים נִצִּים
# וַיֹּאמֶר לָרָשָׁע לָמָּה תַכֶּה רֵעֶךָ
# "[EN-AID] And he went out on the second day, and behold, two Hebrew men
# striving; and he said to the wicked one: Why do you strike your fellow?"
m.step("Exod.2.13")
# ‹וַיֹּאמֶר לָרָשָׁע לָמָּה תַכֶּה רֵעֶךָ› (“and-say to-wrong to-what
# strike associate-you/your”) — fact holds: lama-strike-reekha
m.fact("lama_take_reekha")

# -------------------------- Exod.2.14 · WHO_SET_YOU ------------------------
# וַיֹּאמֶר מִי שָׂמְךָ לְאִישׁ שַׂר וְשֹׁפֵט עָלֵינוּ הַלְהָרְגֵנִי אַתָּה
# אֹמֵר כַּאֲשֶׁר הָרַגְתָּ אֶת־הַמִּצְרִי וַיִּירָא מֹשֶׁה וַיֹּאמַר אָכֵן
# נוֹדַע הַדָּבָר
# "[EN-AID] And he said: Who set you as a man, prince and judge over us? Do
# you say to kill me, as you killed the Egyptian? And Moses feared, and
# said: Surely the thing is known."
m.step("Exod.2.14")
# ‹אָכֵן נוֹדַע הַדָּבָר› (“firmly know the-word/thing”) — fact holds:
# firmly-know-the-word/thing
m.fact("akhen_noda_ha_davar")

# -------------------------- Exod.2.15 · PHARAOH_SEEKS_MOSES_FLEES ----------
# וַיִּשְׁמַע פַּרְעֹה אֶת־הַדָּבָר הַזֶּה וַיְבַקֵּשׁ לַהֲרֹג אֶת־מֹשֶׁה
# וַיִּבְרַח מֹשֶׁה מִפְּנֵי פַרְעֹה וַיֵּשֶׁב בְּאֶרֶץ־מִדְיָן וַיֵּשֶׁב
# עַל־הַבְּאֵר
# "[EN-AID] And Pharaoh heard this thing, and sought to kill Moses; and
# Moses fled from before Pharaoh, and dwelt in the land of Midian, and sat
# by the well."
m.step("Exod.2.15")
# ‹וַיִּבְרַח מֹשֶׁה מִפְּנֵי פַרְעֹה› (“and-bolt Moses from-face Pharaoh”)
# — fact holds: and-search-out-to-smite-with-deadly-intent-obj-marker-Moses
m.fact("va_yevaqesh_la_harog_et_moshe")

# -------------------------- Exod.2.16 · SEVEN_DAUGHTERS --------------------
# וּלְכֹהֵן מִדְיָן שֶׁבַע בָּנוֹת וַתָּבֹאנָה וַתִּדְלֶנָה וַתְּמַלֶּאנָה
# אֶת־הָרְהָטִים לְהַשְׁקוֹת צֹאן אֲבִיהֶן
# "[EN-AID] And the priest of Midian had seven daughters; and they came, and
# drew, and filled the troughs, to water their father's flock."
m.step("Exod.2.16")
# ‹וּלְכֹהֵן מִדְיָן שֶׁבַע בָּנוֹת› (“and-to-priest Midian seven daughter”)
# — fact holds: and-to-priest-Midian-seven-daughter
m.fact("u_le_khohen_midyan_sheva_banot")

# -------------------------- Exod.2.17 · MOSES_SAVES_AND_WATERS -------------
# וַיָּבֹאוּ הָרֹעִים וַיְגָרְשׁוּם וַיָּקָם מֹשֶׁה וַיּוֹשִׁעָן וַיַּשְׁקְ
# אֶת־צֹאנָם
# "[EN-AID] And the shepherds came and drove them off; and Moses rose, and
# saved them, and watered their flock."
m.step("Exod.2.17")
# ‹וַיָּקָם מֹשֶׁה וַיּוֹשִׁעָן וַיַּשְׁקְ אֶת־צֹאנָם› (“and-arise Moses
# and-be-open-them/their and-give-drink obj-marker flock-them/their”) — fact
# holds: and-yoshian-and-give-drink-obj-marker-tzonam
m.fact("va_yoshian_va_yashq_et_tzonam")

# -------------------------- Exod.2.18 · WHY_SO_SOON_TODAY ------------------
# וַתָּבֹאנָה אֶל־רְעוּאֵל אֲבִיהֶן וַיֹּאמֶר מַדּוּעַ מִהַרְתֶּן בֹּא
# הַיּוֹם
# "[EN-AID] And they came to Reuel their father; and he said: Why have you
# hurried to come today?"
m.step("Exod.2.18")
# ‹וַיֹּאמֶר מַדּוּעַ מִהַרְתֶּן בֹּא הַיּוֹם› (“and-say what-known? hasten
# come/bring the-day”) — fact holds: what-known?-hasten-come/bring-the-day
m.fact("madua_miharten_bo_ha_yom")

# -------------------------- Exod.2.19 · AN_EGYPTIAN_MAN_DELIVERED_US -------
# וַתֹּאמַרְןָ אִישׁ מִצְרִי הִצִּילָנוּ מִיַּד הָרֹעִים וְגַם־דָּלֹה דָלָה
# לָנוּ וַיַּשְׁקְ אֶת־הַצֹּאן
# "[EN-AID] And they said: An Egyptian man delivered us from the hand of the
# shepherds; and he also surely drew for us, and watered the flock."
m.step("Exod.2.19")
# ‹אִישׁ מִצְרִי הִצִּילָנוּ מִיַּד הָרֹעִים› (“man Egyptian snatch-away-
# us/our from-hand the-graze”) — fact holds: man-Egyptian-hitzilanu
m.fact("ish_mitzri_hitzilanu")

# -------------------------- Exod.2.20 · CALL_HIM_TO_EAT_BREAD --------------
# וַיֹּאמֶר אֶל־בְּנֹתָיו וְאַיּוֹ לָמָּה זֶּה עֲזַבְתֶּן אֶת־הָאִישׁ
# קִרְאֶן לוֹ וְיֹאכַל לָחֶם
# "[EN-AID] And he said to his daughters: And where is he? Why is it that
# you left the man? Call him, and let him eat bread."
m.step("Exod.2.20")
# ‹קִרְאֶן לוֹ וְיֹאכַל לָחֶם› (“call to-him/its and-eat food”) — Raguel
# speaks a demand — LET: call-not-and-eat-food
m.declare("reuel", "LET",
          "qiren_lo_ve_yokhal_lachem")

# -------------------------- Exod.2.21 · MOSES_CONSENTS_ZIPPORAH_GIVEN ------
# וַיּוֹאֶל מֹשֶׁה לָשֶׁבֶת אֶת־הָאִישׁ וַיִּתֵּן אֶת־צִפֹּרָה בִתּוֹ
# לְמֹשֶׁה
# "[EN-AID] And Moses consented to dwell with the man; and he gave Zipporah
# his daughter to Moses."
m.step("Exod.2.21")
# ‹וַיּוֹאֶל מֹשֶׁה לָשֶׁבֶת אֶת־הָאִישׁ› (“and-yield Moses to-dwell/sit
# with the-man”) — demand settled (popped from the queue): call-not-and-eat-
# food
m.result("qiren_lo_ve_yokhal_lachem", tmark="t3")

# -------------------------- Exod.2.22 · GERSHOM_NAMED ----------------------
# וַתֵּלֶד בֵּן וַיִּקְרָא אֶת־שְׁמוֹ גֵּרְשֹׁם כִּי אָמַר גֵּר הָיִיתִי
# בְּאֶרֶץ נָכְרִיָּה
# "[EN-AID] And she bore a son, and he called his name Gershom; for he said:
# A stranger have I been in a foreign land."
m.step("Exod.2.22")
# ‹וַיִּקְרָא אֶת־שְׁמוֹ גֵּרְשֹׁם› (“and-call obj-marker name-him/its
# Gershom”) — named: son-Moses := Gershom
m.name("ben_moshe", "gershom")

# -------------------------- Exod.2.23 · THE_KING_DIES_THE_CRY_GOES_UP ------
# וַיְהִי בַיָּמִים הָרַבִּים הָהֵם וַיָּמָת מֶלֶךְ מִצְרַיִם וַיֵּאָנְחוּ
# בְנֵי־יִשְׂרָאֵל מִן־הָעֲבֹדָה וַיִּזְעָקוּ וַתַּעַל שַׁוְעָתָם
# אֶל־הָאֱלֹהִים מִן־הָעֲבֹדָה
# "[EN-AID] And it was in those many days, and the king of Egypt died; and
# the sons of Israel groaned from the service, and cried out; and their
# outcry went up to God from the service."
m.step("Exod.2.23")
# ‹וַיָּמָת מֶלֶךְ מִצְרַיִם› (“and-die king Egypt”) — event: met — agent
# king-Egypt
m.event("met", agent="melekh_mitzrayim")

# -------------------------- Exod.2.24 · GOD_REMEMBERED_THE_COVENANT --------
# וַיִּשְׁמַע אֱלֹהִים אֶת־נַאֲקָתָם וַיִּזְכֹּר אֱלֹהִים אֶת־בְּרִיתוֹ
# אֶת־אַבְרָהָם אֶת־יִצְחָק וְאֶת־יַעֲקֹב
# "[EN-AID] And God heard their groaning; and God remembered His covenant
# with Abraham, with Isaac, and with Jacob."
m.step("Exod.2.24")
# ‹וַיִּזְכֹּר אֱלֹהִים אֶת־בְּרִיתוֹ› (“and-mark God obj-marker covenant-
# him/its”) — fact holds: and-mark-God-obj-marker-brito
m.fact("va_yizkor_elohim_et_brito")

# -------------------------- Exod.2.25 · AND_GOD_KNEW -----------------------
# וַיַּרְא אֱלֹהִים אֶת־בְּנֵי יִשְׂרָאֵל וַיֵּדַע אֱלֹהִים
# "[EN-AID] And God saw the sons of Israel; and God knew."
m.step("Exod.2.25")
# ‹וַיֵּדַע אֱלֹהִים› (“and-know God”) — fact holds: and-know-God
m.fact("va_yeda_elohim")

# -------------------------- 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"] == {'ha_yeled': 'moshe', 'ben_moshe': 'gershom'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == []
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'named_before_any_presence': 2}
    assert sorted(m.WORLD["facts"]) == sorted(['ish_mi_bet_levi_et_bat_levi', 'va_tere_oto_ki_tov_hu', 'tevat_gome_al_sefat_ha_yeor', 'va_tetatzav_achoto_me_rachoq', 'va_tishlach_et_amatah_va_tiqacheha', 'va_tachmol_alav', 'ha_elekh_ve_qarati_meneqet', 'va_yar_be_sivlotam', 'lama_take_reekha', 'akhen_noda_ha_davar', 'va_yevaqesh_la_harog_et_moshe', 'u_le_khohen_midyan_sheva_banot', 'va_yoshian_va_yashq_et_tzonam', 'madua_miharten_bo_ha_yom', 'ish_mitzri_hitzilanu', 'va_yizkor_elohim_et_brito', 'va_yeda_elohim'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 10
    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.