The sea splits (14:1-31) FROZEN

לֶחָרָבָ֑ה וַיִּבָּקְע֖וּ הַמָּֽיִם · le-charava va-yibaqu ha-mayim · 'and the waters were split'

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_14_the_sea_splits — The sea splits (14:1-31) [frozen]

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

=== S1 — after STEP_Ex_14_1 — the frame
    וַיְדַבֵּ֥ר יְהֹוָ֖ה אֶל מֹשֶׁ֥ה (va-yedaber YHWH el-moshe)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Ex_14_2 — turn back and camp
    דַּבֵּר֮ אֶל בְּנֵ֣י יִשְׂרָאֵל֒ (daber el-bene yisrael)
    PASS  LET(ve_yashuvu_ve_yachanu) pushed and OPEN  (queue=['ve_yashuvu_ve_yachanu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Ex_14_3 — they are entangled
    וְאָמַ֤ר פַּרְעֹה֙ לִבְנֵ֣י יִשְׂרָאֵ֔ל (ve-amar paro li-vene yisrael)
    PASS  LET(ve_yashuvu_ve_yachanu) pushed and OPEN  (queue=['ve_yashuvu_ve_yachanu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Ex_14_4 — I will be honored
    וְחִזַּקְתִּ֣י אֶת לֵב פַּרְעֹה֮ (ve-chizaqti et-lev-paro)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Ex_14_5 — the heart turned
    וַיֻּגַּד֙ לְמֶ֣לֶךְ מִצְרַ֔יִם כִּ֥י (va-yugad le-melekh mitzrayim ki)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Ex_14_6 — he harnessed his chariot
    וַיֶּאְסֹ֖ר אֶת רִכְבּ֑וֹ וְאֶת (va-yesor et-rikhb-o ve-et-)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Ex_14_7 — six hundred chosen
    וַיִּקַּ֗ח שֵׁשׁ מֵא֥וֹת רֶ֨כֶב֙ (va-yiqach shesh-meot rekhev)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Ex_14_8 — with a high hand
    וַיְחַזֵּ֣ק יְהֹוָ֗ה אֶת לֵ֤ב (va-yechazeq YHWH et-lev)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Ex_14_9 — overtaken at the camp
    וַיִּרְדְּפ֨וּ מִצְרַ֜יִם אַחֲרֵיהֶ֗ם וַיַּשִּׂ֤יגוּ (va-yirdfu mitzrayim achare-hem va-yasigu)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Ex_14_10 — Pharaoh drew near
    וּפַרְעֹ֖ה הִקְרִ֑יב וַיִּשְׂאוּ֩ בְנֵֽי (u-faro hiqriv va-yisu vene-)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Ex_14_11 — no graves in Egypt
    וַיֹּאמְרוּ֮ אֶל מֹשֶׁה֒ הַֽמִבְּלִ֤י (va-yomru el-moshe ha-mi-beli)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Ex_14_12 — leave us to serve Egypt
    הֲלֹא זֶ֣ה הַדָּבָ֗ר אֲשֶׁר֩ (ha-lo-ze ha-davar asher)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Ex_14_13 — stand still and see
    וַיֹּ֨אמֶר מֹשֶׁ֣ה אֶל הָעָם֮ (va-yomer moshe el-ha-am)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Ex_14_14 — the LORD will fight
    יְהוָ֖ה יִלָּחֵ֣ם לָכֶ֑ם וְאַתֶּ֖ם (YHWH yilachem la-khem ve-atem)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Ex_14_15 — why do you cry to Me
    וַיֹּ֤אמֶר יְהוָה֙ אֶל מֹשֶׁ֔ה (va-yomer YHWH el-moshe)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Ex_14_16 — lift your staff and split
    וְאַתָּ֞ה הָרֵ֣ם אֶֽת מַטְּךָ֗ (ve-ata harem et-mat-kha)
    PASS  LET(neteh_yadkha_u_veqaehu) pushed and OPEN  (queue=['neteh_yadkha_u_veqaehu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Ex_14_17 — I strengthen Egypt
    וַאֲנִ֗י הִנְנִ֤י מְחַזֵּק֙ אֶת (va-ani hin-ni mechazeq et-)
    PASS  LET(neteh_yadkha_u_veqaehu) pushed and OPEN  (queue=['neteh_yadkha_u_veqaehu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Ex_14_18 — Egypt shall know
    וְיָדְע֥וּ מִצְרַ֖יִם כִּי אֲנִ֣י (ve-yadu mitzrayim ki-ani)
    PASS  LET(neteh_yadkha_u_veqaehu) pushed and OPEN  (queue=['neteh_yadkha_u_veqaehu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Ex_14_19 — the angel moves behind
    וַיִּסַּ֞ע מַלְאַ֣ךְ הָאֱלֹהִ֗ים הַהֹלֵךְ֙ (va-yisa malakh ha-Elohim ha-holekh)
    PASS  LET(neteh_yadkha_u_veqaehu) pushed and OPEN  (queue=['neteh_yadkha_u_veqaehu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Ex_14_20 — the night of two camps
    וַיָּבֹ֞א בֵּ֣ין מַחֲנֵ֣ה מִצְרַ֗יִם (va-yavo ben machane mitzrayim)
    PASS  LET(neteh_yadkha_u_veqaehu) pushed and OPEN  (queue=['neteh_yadkha_u_veqaehu'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Ex_14_21 — the sea splits
    וַיֵּ֨ט מֹשֶׁ֣ה אֶת יָדוֹ֮ (va-yet moshe et-yad-o)
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Ex_14_22 — wall on right and left
    וַיָּבֹ֧אוּ בְנֵֽי יִשְׂרָאֵ֛ל בְּת֥וֹךְ (va-yavou vene-yisrael be-tokh)
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Ex_14_23 — Egypt comes in after
    וַיִּרְדְּפ֤וּ מִצְרַ֨יִם֙ וַיָּבֹ֣אוּ אַחֲרֵיהֶ֔ם (va-yirdfu mitzrayim va-yavou achare-hem)
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Ex_14_24 — the morning watch
    וַֽיְהִי֙ בְּאַשְׁמֹ֣רֶת הַבֹּ֔קֶר וַיַּשְׁקֵ֤ף (va-yehi be-ashmoret ha-boqer va-yashqef)
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Ex_14_25 — let me flee
    וַיָּ֗סַר אֵ֚ת אֹפַ֣ן מַרְכְּבֹתָ֔יו (va-yasar et ofan markvotay-v)
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Ex_14_26 — stretch back your hand
    וַיֹּ֤אמֶר יְהוָה֙ אֶל מֹשֶׁ֔ה (va-yomer YHWH el-moshe)
    PASS  LET(neteh_ve_yashuvu_ha_mayim) pushed and OPEN  (queue=['neteh_ve_yashuvu_ha_mayim'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Ex_14_27 — back to its conditions
    וַיֵּט֩ מֹשֶׁ֨ה אֶת יָד֜וֹ (va-yet moshe et-yad-o)
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Ex_14_28 — not one of them remained
    וַיָּשֻׁ֣בוּ הַמַּ֗יִם וַיְכַסּ֤וּ אֶת (va-yashuvu ha-mayim va-yekhasu et-)
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Ex_14_29 — they walked on dry ground
    וּבְנֵ֧י יִשְׂרָאֵ֛ל הָלְכ֥וּ בַיַּבָּשָׁ֖ה (u-vene yisrael halkhu va-yabasha)
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Ex_14_30 — the salvation
    וַיּ֨וֹשַׁע יְהוָ֜ה בַּיּ֥וֹם הַה֛וּא (va-yosha YHWH ba-yom ha-hu)
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Ex_14_31 — and they believed
    וַיַּ֨רְא יִשְׂרָאֵ֜ל אֶת הַיָּ֣ד (va-yar yisrael et-ha-yad)
    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/exo_14_the_sea_splits.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# exo_14_the_sea_splits — 14:1-31
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/exo_14_the_sea_splits.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 sea splits (14:1-31)"""
from machine import Machine

m = Machine("exo_14_the_sea_splits")

# -------------------------- Exod.14.1 · THE_FRAME --------------------------
# וַיְדַבֵּר יְהֹוָה אֶל־מֹשֶׁה לֵּאמֹר
# "[EN-AID] And the LORD spoke to Moses, saying:"
m.step("Exod.14.1")
# ‹וַיְדַבֵּר יְהֹוָה אֶל־מֹשֶׁה לֵּאמֹר› (“and-speak YHWH to Moses to-say”)
# — fact holds: and-speak-14
m.fact("va_yedaber_14")

# -------------------------- Exod.14.2 · TURN_BACK_AND_CAMP -----------------
# דַּבֵּר אֶל־בְּנֵי יִשְׂרָאֵל וְיָשֻׁבוּ וְיַחֲנוּ לִפְנֵי פִּי הַחִירֹת
# בֵּין מִגְדֹּל וּבֵין הַיָּם לִפְנֵי בַּעַל צְפֹן נִכְחוֹ תַחֲנוּ
# עַל־הַיָּם
# "[EN-AID] Speak to the sons of Israel, that they turn back and camp before
# Pi-hahiroth, between Migdol and the sea, before Baal-zephon; opposite it
# shall you camp, by the sea."
m.step("Exod.14.2")
# ‹דַּבֵּר אֶל־בְּנֵי יִשְׂרָאֵל וְיָשֻׁבוּ וְיַחֲנוּ לִפְנֵי› (“speak to
# son Israel and-return and-encamp to-face”) — the-LORD speaks a demand —
# LET: and-return-and-encamp
m.declare("YHWH", "LET",
          "ve_yashuvu_ve_yachanu")

# -------------------------- Exod.14.3 · THEY_ARE_ENTANGLED -----------------
# וְאָמַר פַּרְעֹה לִבְנֵי יִשְׂרָאֵל נְבֻכִים הֵם בָּאָרֶץ סָגַר עֲלֵיהֶם
# הַמִּדְבָּר
# "[EN-AID] And Pharaoh will say of the sons of Israel: They are entangled
# in the land — the wilderness has shut upon them."
m.step("Exod.14.3")
# ‹הֵם בָּאָרֶץ סָגַר עֲלֵיהֶם הַמִּדְבָּר› (“they in-earth shut-up over-
# them/their the-pasture”) — fact holds: involve-they-in-the-earth
m.fact("nevukhim_hem_ba_aretz")

# -------------------------- Exod.14.4 · I_WILL_BE_HONORED ------------------
# וְחִזַּקְתִּי אֶת־לֵב־פַּרְעֹה וְרָדַף אַחֲרֵיהֶם וְאִכָּבְדָה בְּפַרְעֹה
# וּבְכָל־חֵילוֹ וְיָדְעוּ מִצְרַיִם כִּי־אֲנִי יְהוָה וַיַּעֲשׂוּ־כֵן
# "[EN-AID] And I will strengthen Pharaoh's heart, and he will pursue them;
# and I will be honored through Pharaoh and through all his host, and Egypt
# shall know that I am the LORD. And they did so."
m.step("Exod.14.4")
# ‹וַיַּעֲשׂוּ־כֵן› (“and-make so”) — demand settled (popped from the
# queue): and-return-and-encamp
m.result("ve_yashuvu_ve_yachanu", tmark="t1")

# -------------------------- Exod.14.5 · THE_HEART_TURNED -------------------
# וַיֻּגַּד לְמֶלֶךְ מִצְרַיִם כִּי בָרַח הָעָם וַיֵּהָפֵךְ לְבַב פַּרְעֹה
# וַעֲבָדָיו אֶל־הָעָם וַיֹּאמרוּ מַה־זֹּאת עָשִׂינוּ כִּי־שִׁלַּחְנוּ
# אֶת־יִשְׂרָאֵל מֵעָבְדֵנוּ
# "[EN-AID] And it was told the king of Egypt that the people had fled; and
# the heart of Pharaoh and his servants was turned about toward the people,
# and they said: What is this we have done, that we sent Israel from serving
# us?"
m.step("Exod.14.5")
# ‹וַיֵּהָפֵךְ לְבַב פַּרְעֹה וַעֲבָדָיו אֶל־הָעָם› (“and-turn-about heart
# Pharaoh and-servant-him/its to the-people”) — fact holds: and-turn-about-
# heart-Pharaoh
m.fact("va_yehafekh_levav_paro")

# -------------------------- Exod.14.6 · HE_HARNESSED_HIS_CHARIOT -----------
# וַיֶּאְסֹר אֶת־רִכְבּוֹ וְאֶת־עַמּוֹ לָקַח עִמּוֹ
# "[EN-AID] And he harnessed his chariot, and took his people with him."
m.step("Exod.14.6")
# ‹וַיֶּאְסֹר אֶת־רִכְבּוֹ› (“and-yoke obj-marker vehicle-him/its”) — fact
# holds: and-yoke-obj-marker-rikhbo
m.fact("va_yesor_et_rikhbo")

# -------------------------- Exod.14.7 · SIX_HUNDRED_CHOSEN -----------------
# וַיִּקַּח שֵׁשׁ־מֵאוֹת רֶכֶב בָּחוּר וְכֹל רֶכֶב מִצְרָיִם וְשָׁלִשִׁם
# עַל־כֻּלּוֹ
# "[EN-AID] And he took six hundred chosen chariots, and all the chariots of
# Egypt, and officers over all of it."
m.step("Exod.14.7")
# ‹וַיִּקַּח שֵׁשׁ־מֵאוֹת רֶכֶב בָּחוּר› (“and-take six hundred vehicle
# try”) — fact holds: six-hundred-vehicle-try
m.fact("shesh_meot_rekhev_bachur")

# -------------------------- Exod.14.8 · WITH_A_HIGH_HAND -------------------
# וַיְחַזֵּק יְהֹוָה אֶת־לֵב פַּרְעֹה מֶלֶךְ מִצְרַיִם וַיִּרְדֹּף אַחֲרֵי
# בְּנֵי יִשְׂרָאֵל וּבְנֵי יִשְׂרָאֵל יֹצְאִים בְּיָד רָמָה
# "[EN-AID] And the LORD strengthened the heart of Pharaoh king of Egypt,
# and he pursued the sons of Israel; and the sons of Israel were going out
# with a high hand."
m.step("Exod.14.8")
# ‹וּבְנֵי יִשְׂרָאֵל יֹצְאִים בְּיָד רָמָה› (“and-son Israel bring-forth
# in-hand rise-high”) — fact holds: bring-forth-in-hand-rise-high
m.fact("yotzim_be_yad_rama")

# -------------------------- Exod.14.9 · OVERTAKEN_AT_THE_CAMP --------------
# וַיִּרְדְּפוּ מִצְרַיִם אַחֲרֵיהֶם וַיַּשִּׂיגוּ אוֹתָם חֹנִים עַל־הַיָּם
# כָּל־סוּס רֶכֶב פַּרְעֹה וּפָרָשָׁיו וְחֵילוֹ עַל־פִּי הַחִירֹת לִפְנֵי
# בַּעַל צְפֹן
# "[EN-AID] And Egypt pursued after them — every chariot-horse of Pharaoh,
# and his horsemen, and his host — and overtook them camping by the sea, by
# Pi-hahiroth, before Baal-zephon."
m.step("Exod.14.9")
# ‹סוּס רֶכֶב פַּרְעֹה וּפָרָשָׁיו וְחֵילוֹ› (“horse vehicle Pharaoh and-
# steed-him/its and-force-him/its”) — fact holds: and-reach-otam-encamp
m.fact("va_yasigu_otam_chonim")

# -------------------------- Exod.14.10 · PHARAOH_DREW_NEAR -----------------
# וּפַרְעֹה הִקְרִיב וַיִּשְׂאוּ בְנֵי־יִשְׂרָאֵל אֶת־עֵינֵיהֶם וְהִנֵּה
# מִצְרַיִם נֹסֵעַ אַחֲרֵיהֶם וַיִּירְאוּ מְאֹד וַיִּצְעֲקוּ
# בְנֵי־יִשְׂרָאֵל אֶל־יְהוָה
# "[EN-AID] And Pharaoh drew near; and the sons of Israel lifted their eyes,
# and behold — Egypt journeying after them; and they feared greatly, and the
# sons of Israel cried out to the LORD."
m.step("Exod.14.10")
# ‹וַיִּצְעֲקוּ בְנֵי־יִשְׂרָאֵל אֶל־יְהוָה› (“and-shriek son Israel to
# YHWH”) — fact holds: and-shriek-to-the-LORD
m.fact("va_yitzaqu_el_YHWH")

# -------------------------- Exod.14.11 · NO_GRAVES_IN_EGYPT ----------------
# וַיֹּאמְרוּ אֶל־מֹשֶׁה הַמִבְּלִי אֵין־קְבָרִים בְּמִצְרַיִם לְקַחְתָּנוּ
# לָמוּת בַּמִּדְבָּר מַה־זֹּאת עָשִׂיתָ לָּנוּ לְהוֹצִיאָנוּ מִמִּצְרָיִם
# "[EN-AID] And they said to Moses: Is it from a lack of graves in Egypt
# that you took us to die in the wilderness? What is this you have done to
# us, to bring us out of Egypt?"
m.step("Exod.14.11")
# ‹מֹשֶׁה הַמִבְּלִי אֵין־קְבָרִים בְּמִצְרַיִם לְקַחְתָּנוּ› (“Moses the-
# from-failure there-is-not sepulchre in-Egypt take-us/our”) — fact holds:
# the-mibli-there-is-not-sepulchre
m.fact("ha_mibli_en_qevarim")

# -------------------------- Exod.14.12 · LEAVE_US_TO_SERVE_EGYPT -----------
# הֲלֹא־זֶה הַדָּבָר אֲשֶׁר דִּבַּרְנוּ אֵלֶיךָ בְמִצְרַיִם לֵאמֹר חֲדַל
# מִמֶּנּוּ וְנַעַבְדָה אֶת־מִצְרָיִם כִּי טוֹב לָנוּ עֲבֹד אֶת־מִצְרַיִם
# מִמֻּתֵנוּ בַּמִּדְבָּר
# "[EN-AID] Is not this the word which we spoke to you in Egypt, saying:
# Leave us, and we will serve Egypt? For serving Egypt is better for us than
# our dying in the wilderness."
m.step("Exod.14.12")
# ‹חֲדַל מִמֶּנּוּ וְנַעַבְדָה אֶת־מִצְרָיִם› (“cease from-us/our and-
# work/serve obj-marker Egyptian”) — fact holds: cease-from-it-and-
# work/serve
m.fact("chadal_mimenu_ve_naavda")

# -------------------------- Exod.14.13 · STAND_STILL_AND_SEE ---------------
# וַיֹּאמֶר מֹשֶׁה אֶל־הָעָם אַל־תִּירָאוּ הִתְיַצְבוּ וּרְאוּ אֶת־יְשׁוּעַת
# יְהוָה אֲשֶׁר־יַעֲשֶׂה לָכֶם הַיּוֹם כִּי אֲשֶׁר רְאִיתֶם אֶת־מִצְרַיִם
# הַיּוֹם לֹא תֹסִיפוּ לִרְאֹתָם עוֹד עַד־עוֹלָם
# "[EN-AID] And Moses said to the people: Fear not — stand firm, and see the
# salvation of the LORD, which He will do for you today; for as you have
# seen Egypt today — you shall never see them again, forever."
m.step("Exod.14.13")
# ‹הִתְיַצְבוּ וּרְאוּ אֶת־יְשׁוּעַת יְהוָה› (“place and-see obj-marker
# something-saved YHWH”) — fact holds: see-obj-marker-something-saved-the-
# LORD
m.fact("reu_et_yeshuat_YHWH")

# -------------------------- Exod.14.14 · THE_LORD_WILL_FIGHT ---------------
# יְהוָה יִלָּחֵם לָכֶם וְאַתֶּם תַּחֲרִישׁוּן
# "[EN-AID] The LORD will fight for you — and you shall be silent."
m.step("Exod.14.14")
# ‹יְהוָה יִלָּחֵם לָכֶם וְאַתֶּם תַּחֲרִישׁוּן› (“YHWH feed-on to-
# you/your(pl) and-you scratch-ward”) — fact holds: the-LORD-feed-on-lakhem
m.fact("YHWH_yilachem_lakhem")

# -------------------------- Exod.14.15 · WHY_DO_YOU_CRY_TO_ME --------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה מַה־תִּצְעַק אֵלָי דַּבֵּר
# אֶל־בְּנֵי־יִשְׂרָאֵל וְיִסָּעוּ
# "[EN-AID] And the LORD said to Moses: Why do you cry to Me? Speak to the
# sons of Israel, that they journey."
m.step("Exod.14.15")
# ‹דַּבֵּר אֶל־בְּנֵי־יִשְׂרָאֵל וְיִסָּעוּ› (“speak to son Israel and-
# journey”) — fact holds: speak-and-journey
m.fact("daber_ve_yisau")

# -------------------------- Exod.14.16 · LIFT_YOUR_STAFF_AND_SPLIT ---------
# וְאַתָּה הָרֵם אֶת־מַטְּךָ וּנְטֵה אֶת־יָדְךָ עַל־הַיָּם וּבְקָעֵהוּ
# וְיָבֹאוּ בְנֵי־יִשְׂרָאֵל בְּתוֹךְ הַיָּם בַּיַּבָּשָׁה
# "[EN-AID] And you — lift your staff, and stretch out your hand over the
# sea, and split it; and the sons of Israel shall come into the midst of the
# sea on the dry ground."
m.step("Exod.14.16")
# ‹וְאַתָּה הָרֵם אֶת־מַטְּךָ וּנְטֵה אֶת־יָדְךָ עַל־› (“and-you rise-high
# obj-marker staff/tribe-you/your and-stretch obj-marker hand-you/your
# over”) — the-LORD speaks a demand — LET: neteh-yadkha-and-veqaehu
m.declare("YHWH", "LET",
          "neteh_yadkha_u_veqaehu")

# -------------------------- Exod.14.17 · I_STRENGTHEN_EGYPT ----------------
# וַאֲנִי הִנְנִי מְחַזֵּק אֶת־לֵב מִצְרַיִם וְיָבֹאוּ אַחֲרֵיהֶם
# וְאִכָּבְדָה בְּפַרְעֹה וּבְכָל־חֵילוֹ בְּרִכְבּוֹ וּבְפָרָשָׁיו
# "[EN-AID] And I — behold, I strengthen the heart of Egypt, and they will
# come after them; and I will be honored through Pharaoh and through all his
# host, through his chariots and through his horsemen."
m.step("Exod.14.17")
# ‹וַאֲנִי הִנְנִי מְחַזֵּק אֶת־לֵב מִצְרַיִם› (“and-I lo!-me/my fasten-upon
# obj-marker heart Egyptian”) — fact holds: and-I-behold-I-fasten-upon
m.fact("va_ani_hineni_mechazeq")

# -------------------------- Exod.14.18 · EGYPT_SHALL_KNOW ------------------
# וְיָדְעוּ מִצְרַיִם כִּי־אֲנִי יְהוָה בְּהִכָּבְדִי בְּפַרְעֹה בְּרִכְבּוֹ
# וּבְפָרָשָׁיו
# "[EN-AID] And Egypt shall know that I am the LORD, when I am honored
# through Pharaoh, through his chariots and through his horsemen."
m.step("Exod.14.18")
# ‹וְיָדְעוּ מִצְרַיִם כִּי־אֲנִי יְהוָה› (“and-know Egyptian that YHWH”) —
# fact holds: and-know-Egyptian-2
m.fact("ve_yadu_mitzrayim_2")

# -------------------------- Exod.14.19 · THE_ANGEL_MOVES_BEHIND ------------
# וַיִּסַּע מַלְאַךְ הָאֱלֹהִים הַהֹלֵךְ לִפְנֵי מַחֲנֵה יִשְׂרָאֵל
# וַיֵּלֶךְ מֵאַחֲרֵיהֶם וַיִּסַּע עַמּוּד הֶעָנָן מִפְּנֵיהֶם וַיַּעֲמֹד
# מֵאַחֲרֵיהֶם
# "[EN-AID] And the angel of God, going before the camp of Israel, moved and
# went behind them; and the pillar of cloud moved from before them, and
# stood behind them."
m.step("Exod.14.19")
# ‹וַיִּסַּע מַלְאַךְ הָאֱלֹהִים הַהֹלֵךְ לִפְנֵי מַחֲנֵה יִשְׂרָאֵל› (“and-
# journey messenger the-God the-walk/go to-face camp Israel”) — fact holds:
# and-stand-from-acharehem
m.fact("va_yaamod_me_acharehem")

# -------------------------- Exod.14.20 · THE_NIGHT_OF_TWO_CAMPS ------------
# וַיָּבֹא בֵּין מַחֲנֵה מִצְרַיִם וּבֵין מַחֲנֵה יִשְׂרָאֵל וַיְהִי הֶעָנָן
# וְהַחֹשֶׁךְ וַיָּאֶר אֶת־הַלָּיְלָה וְלֹא־קָרַב זֶה אֶל־זֶה
# כָּל־הַלָּיְלָה
# "[EN-AID] And it came between the camp of Egypt and the camp of Israel;
# and there was the cloud and the darkness, and it lit the night; and the
# one came not near the other all the night."
m.step("Exod.14.20")
# ‹וְלֹא־קָרַב זֶה אֶל־זֶה› (“and-not bring-near this to this”) — fact
# holds: and-is-it-not-bring-near-this-to-this
m.fact("ve_lo_qarav_ze_el_ze")

# -------------------------- Exod.14.21 · THE_SEA_SPLITS --------------------
# וַיֵּט מֹשֶׁה אֶת־יָדוֹ עַל־הַיָּם וַיּוֹלֶךְ יְהוָה אֶת־הַיָּם בְּרוּחַ
# קָדִים עַזָּה כָּל־הַלַּיְלָה וַיָּשֶׂם אֶת־הַיָּם לֶחָרָבָה וַיִּבָּקְעוּ
# הַמָּיִם
# "[EN-AID] And Moses stretched out his hand over the sea; and the LORD led
# the sea with a strong east wind all the night, and made the sea into dry
# land — and the waters were split."
m.step("Exod.14.21")
# ‹וַיֵּט מֹשֶׁה אֶת־יָדוֹ עַל־הַיָּם› (“and-stretch Moses obj-marker hand-
# him/its over the-seas”) — demand settled (popped from the queue): neteh-
# yadkha-and-veqaehu
m.result("neteh_yadkha_u_veqaehu", tmark="t1")
# ‹וַיּוֹלֶךְ יְהוָה אֶת־הַיָּם בְּרוּחַ קָדִים עַזָּה› (“and-go YHWH obj-
# marker the-seas in-spirit east-wind strong”) — event: qriat-seas-suf —
# agent the-LORD
m.event("qriat_yam_suf", agent="YHWH")

# -------------------------- Exod.14.22 · WALL_ON_RIGHT_AND_LEFT ------------
# וַיָּבֹאוּ בְנֵי־יִשְׂרָאֵל בְּתוֹךְ הַיָּם בַּיַּבָּשָׁה וְהַמַּיִם לָהֶם
# חֹמָה מִימִינָם וּמִשְּׂמֹאלָם
# "[EN-AID] And the sons of Israel came into the midst of the sea on the dry
# ground; and the waters were for them a wall on their right and on their
# left."
m.step("Exod.14.22")
# ‹לָהֶם חֹמָה מִימִינָם וּמִשְּׂמֹאלָם› (“to-them/their wall-of-protection
# from-right-hand-them/their and-from-dark-them/their”) — fact holds: and-
# the-waters-to-them-wall-of-protection
m.fact("ve_ha_mayim_lahem_choma")

# -------------------------- Exod.14.23 · EGYPT_COMES_IN_AFTER --------------
# וַיִּרְדְּפוּ מִצְרַיִם וַיָּבֹאוּ אַחֲרֵיהֶם כֹּל סוּס פַּרְעֹה רִכְבּוֹ
# וּפָרָשָׁיו אֶל־תּוֹךְ הַיָּם
# "[EN-AID] And Egypt pursued, and came in after them — every horse of
# Pharaoh, his chariots and his horsemen — into the midst of the sea."
m.step("Exod.14.23")
# ‹וַיִּרְדְּפוּ מִצְרַיִם וַיָּבֹאוּ אַחֲרֵיהֶם כֹּל› (“and-run-after-gone-
# by) Egyptian and-come/bring after-them/their all”) — fact holds: and-
# come/bring-acharehem-to-midst-the-seas
m.fact("va_yavou_acharehem_el_tokh_ha_yam")

# -------------------------- Exod.14.24 · THE_MORNING_WATCH -----------------
# וַיְהִי בְּאַשְׁמֹרֶת הַבֹּקֶר וַיַּשְׁקֵף יְהוָה אֶל־מַחֲנֵה מִצְרַיִם
# בְּעַמּוּד אֵשׁ וְעָנָן וַיָּהָם אֵת מַחֲנֵה מִצְרָיִם
# "[EN-AID] And it was in the morning watch: the LORD looked down upon the
# camp of Egypt in a pillar of fire and cloud, and routed the camp of
# Egypt."
m.step("Exod.14.24")
# ‹אֶל־מַחֲנֵה מִצְרַיִם בְּעַמּוּד אֵשׁ וְעָנָן וַיָּהָם› (“to camp
# Egyptian in-column fire and-cloud and-put-in-commotion”) — fact holds:
# and-yahom-obj-marker-camp-Egyptian
m.fact("va_yahom_et_machane_mitzrayim")

# -------------------------- Exod.14.25 · LET_ME_FLEE -----------------------
# וַיָּסַר אֵת אֹפַן מַרְכְּבֹתָיו וַיְנַהֲגֵהוּ בִּכְבֵדֻת וַיֹּאמֶר
# מִצְרַיִם אָנוּסָה מִפְּנֵי יִשְׂרָאֵל כִּי יְהוָה נִלְחָם לָהֶם
# בְּמִצְרָיִם
# "[EN-AID] And He removed the wheel of his chariots, and drove them with
# heaviness; and Egypt said: Let me flee from before Israel — for the LORD
# fights for them against Egypt."
m.step("Exod.14.25")
# ‹וַיְנַהֲגֵהוּ בִּכְבֵדֻת וַיֹּאמֶר מִצְרַיִם› (“and-drive-forth-him/its
# in-difficulty and-say Egypt”) — fact holds: flit-mipne-Israel
m.fact("anusa_mipne_yisrael")

# -------------------------- Exod.14.26 · STRETCH_BACK_YOUR_HAND ------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה נְטֵה אֶת־יָדְךָ עַל־הַיָּם וְיָשֻׁבוּ
# הַמַּיִם עַל־מִצְרַיִם עַל־רִכְבּוֹ וְעַל־פָּרָשָׁיו
# "[EN-AID] And the LORD said to Moses: Stretch out your hand over the sea,
# and the waters shall return upon Egypt, upon his chariots and upon his
# horsemen."
m.step("Exod.14.26")
# ‹נְטֵה אֶת־יָדְךָ עַל־הַיָּם› (“stretch obj-marker hand-you/your over the-
# seas”) — the-LORD speaks a demand — LET: neteh-and-return-the-waters
m.declare("YHWH", "LET",
          "neteh_ve_yashuvu_ha_mayim")

# -------------------------- Exod.14.27 · BACK_TO_ITS_CONDITIONS ------------
# וַיֵּט מֹשֶׁה אֶת־יָדוֹ עַל־הַיָּם וַיָּשָׁב הַיָּם לִפְנוֹת בֹּקֶר
# לְאֵיתָנוֹ וּמִצְרַיִם נָסִים לִקְרָאתוֹ וַיְנַעֵר יְהוָה אֶת־מִצְרַיִם
# בְּתוֹךְ הַיָּם
# "[EN-AID] And Moses stretched out his hand over the sea, and the sea
# returned, at the turn of morning, to its strength — and Egypt fleeing to
# meet it; and the LORD shook Egypt into the midst of the sea."
m.step("Exod.14.27")
# ‹עַל־הַיָּם וַיָּשָׁב הַיָּם לִפְנוֹת בֹּקֶר› (“over the-seas and-return
# the-seas to-turn morning”) — demand settled (popped from the queue):
# neteh-and-return-the-waters
m.result("neteh_ve_yashuvu_ha_mayim", tmark="t1")

# -------------------------- Exod.14.28 · NOT_ONE_OF_THEM_REMAINED ----------
# וַיָּשֻׁבוּ הַמַּיִם וַיְכַסּוּ אֶת־הָרֶכֶב וְאֶת־הַפָּרָשִׁים לְכֹל חֵיל
# פַּרְעֹה הַבָּאִים אַחֲרֵיהֶם בַּיָּם לֹא־נִשְׁאַר בָּהֶם עַד־אֶחָד
# "[EN-AID] And the waters returned, and covered the chariots and the
# horsemen, of all the host of Pharaoh coming after them into the sea; there
# remained not among them so much as one."
m.step("Exod.14.28")
# ‹לֹא־נִשְׁאַר בָּהֶם עַד־אֶחָד› (“not swell-up in-them/their until one”) —
# fact holds: is-it-not-swell-up-bahem-until-one
m.fact("lo_nishar_bahem_ad_echad")

# -------------------------- Exod.14.29 · THE_WALKED_ON_DRY -----------------
# וּבְנֵי יִשְׂרָאֵל הָלְכוּ בַיַּבָּשָׁה בְּתוֹךְ הַיָּם וְהַמַּיִם לָהֶם
# חֹמָה מִימִינָם וּמִשְּׂמֹאלָם
# "[EN-AID] And the sons of Israel walked on the dry ground in the midst of
# the sea, and the waters were for them a wall on their right and on their
# left."
m.step("Exod.14.29")
# ‹הַיָּם וְהַמַּיִם לָהֶם חֹמָה מִימִינָם וּמִשְּׂמֹאלָם› (“the-seas and-
# the-waters to-them/their wall-of-protection from-right-hand-them/their
# and-from-dark-them/their”) — fact holds: walk/go-and-dry-land
m.fact("halkhu_va_yabasha")

# -------------------------- Exod.14.30 · THE_SALVATION ---------------------
# וַיּוֹשַׁע יְהוָה בַּיּוֹם הַהוּא אֶת־יִשְׂרָאֵל מִיַּד מִצְרָיִם וַיַּרְא
# יִשְׂרָאֵל אֶת־מִצְרַיִם מֵת עַל־שְׂפַת הַיָּם
# "[EN-AID] And the LORD saved Israel in that day from the hand of Egypt;
# and Israel saw Egypt dead on the shore of the sea."
m.step("Exod.14.30")
# ‹וַיּוֹשַׁע יְהוָה בַּיּוֹם הַהוּא אֶת־יִשְׂרָאֵל› (“and-be-open YHWH in-
# day that obj-marker Israel”) — event: something-saved-the-LORD — agent
# the-LORD
m.event("yeshuat_YHWH", agent="YHWH")

# -------------------------- Exod.14.31 · AND_THEY_BELIEVED -----------------
# וַיַּרְא יִשְׂרָאֵל אֶת־הַיָּד הַגְּדֹלָה אֲשֶׁר עָשָׂה יְהוָה
# בְּמִצְרַיִם וַיִּירְאוּ הָעָם אֶת־יְהוָה וַיַּאֲמִינוּ בַּיהוָה
# וּבְמֹשֶׁה עַבְדּוֹ
# "[EN-AID] And Israel saw the great hand which the LORD had done against
# Egypt, and the people feared the LORD; and they believed in the LORD and
# in Moses His servant."
m.step("Exod.14.31")
# ‹יְהוָה וַיַּאֲמִינוּ בַּיהוָה› (“YHWH and-build-up in-YHWH”) — fact
# holds: and-build-up-in-the-the-LORD-and-and-Moses
m.fact("va_yaaminu_ba_YHWH_u_ve_moshe")

# -------------------------- 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() == []
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['va_yedaber_14', 'nevukhim_hem_ba_aretz', 'va_yehafekh_levav_paro', 'va_yesor_et_rikhbo', 'shesh_meot_rekhev_bachur', 'yotzim_be_yad_rama', 'va_yasigu_otam_chonim', 'va_yitzaqu_el_YHWH', 'ha_mibli_en_qevarim', 'chadal_mimenu_ve_naavda', 'reu_et_yeshuat_YHWH', 'YHWH_yilachem_lakhem', 'daber_ve_yisau', 'va_ani_hineni_mechazeq', 've_yadu_mitzrayim_2', 'va_yaamod_me_acharehem', 've_lo_qarav_ze_el_ze', 've_ha_mayim_lahem_choma', 'va_yavou_acharehem_el_tokh_ha_yam', 'va_yahom_et_machane_mitzrayim', 'anusa_mipne_yisrael', 'lo_nishar_bahem_ad_echad', 'halkhu_va_yabasha', 'va_yaaminu_ba_YHWH_u_ve_moshe'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 8
    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.