The staff and the blood (7:1-29) FROZEN

בְּזֹ֣את תֵּדַ֔ע כִּ֖י אֲנִ֣י יְהוָ֑ה · be-zot teda ki ani YHWH · 'by this you shall know that I am the LORD'

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_07_staff_and_blood — The staff and the blood (7:1-29) [frozen]

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

=== S1 — after STEP_Ex_7_1 — see, I have set you
    וַיֹּ֤אמֶר יְהוָה֙ אֶל מֹשֶׁ֔ה (va-yomer YHWH el-moshe)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Ex_7_2 — the relay stated
    אַתָּ֣ה תְדַבֵּ֔ר אֵ֖ת כָּל (ata tedaber et kal-)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Ex_7_3 — I will harden
    וַאֲנִ֥י אַקְשֶׁ֖ה אֶת לֵ֣ב (va-ani aqshe et-lev)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Ex_7_4 — he will not hear
    וְלֹֽא יִשְׁמַ֤ע אֲלֵכֶם֙ פַּרְעֹ֔ה (ve-lo-yishma el-khem paro)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Ex_7_5 — Egypt shall know
    וְיָדְע֤וּ מִצְרַ֨יִם֙ כִּֽי אֲנִ֣י (ve-yadu mitzrayim ki-ani)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Ex_7_6 — they did as commanded
    וַיַּ֥עַשׂ מֹשֶׁ֖ה וְאַהֲרֹ֑ן כַּאֲשֶׁ֨ר (va-yaas moshe ve-aharon ka-asher)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Ex_7_7 — eighty and eighty-three
    וּמֹשֶׁה֙ בֶּן שְׁמֹנִ֣ים שָׁנָ֔ה (u-moshe ben-shemonim shana)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Ex_7_8 — the compound frame
    וַיֹּ֣אמֶר יְהוָ֔ה אֶל מֹשֶׁ֥ה (va-yomer YHWH el-moshe)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Ex_7_9 — the wonder-script
    כִּי֩ יְדַבֵּ֨ר אֲלֵכֶ֤ם פַּרְעֹה֙ (ki yedaber el-khem paro)
    PASS  LET(qach_et_matkha_ve_hashlekh) pushed and OPEN  (queue=['qach_et_matkha_ve_hashlekh'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Ex_7_10 — performed as commanded
    וַיָּבֹ֨א מֹשֶׁ֤ה וְאַהֲרֹן֙ אֶל (va-yavo moshe ve-aharon el-)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Ex_7_11 — the magicians match
    וַיִּקְרָא֙ גַּם פַּרְעֹ֔ה לַֽחֲכָמִ֖ים (va-yiqra gam-paro la-chakhamim)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Ex_7_12 — the swallowing
    וַיַּשְׁלִ֨יכוּ֙ אִ֣ישׁ מַטֵּ֔הוּ וַיִּהְי֖וּ (va-yashlikhu ish mate-hu va-yihyu)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Ex_7_13 — the heart strengthened
    וַיֶּחֱזַק֙ לֵ֣ב פַּרְעֹ֔ה וְלֹ֥א (va-yechezaq lev paro ve-lo)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Ex_7_14 — the heavy heart
    וַיֹּ֤אמֶר יְהוָה֙ אֶל מֹשֶׁ֔ה (va-yomer YHWH el-moshe)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Ex_7_15 — the morning station
    לֵ֣ךְ אֶל פַּרְעֹ֞ה בַּבֹּ֗קֶר (lekh el-paro ba-boqer)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Ex_7_16 — the riverside script
    וְאָמַרְתָּ֣ אֵלָ֗יו יְהוָ֞ה אֱלֹהֵ֤י (ve-amarta elay-v YHWH elohe)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Ex_7_17 — by this you shall know
    כֹּ֚ה אָמַ֣ר יְהוָ֔ה בְּזֹ֣את (ko amar YHWH be-zot)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Ex_7_18 — the Nile undrinkable
    וְהַדָּגָ֧ה אֲשֶׁר בַּיְאֹ֛ר תָּמ֖וּת (ve-ha-daga asher-ba-yeor tamut)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Ex_7_19 — stretch out your hand
    וַיֹּ֨אמֶר יְהוָ֜ה אֶל מֹשֶׁ֗ה (va-yomer YHWH el-moshe)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'nete_yadkha_al_meme_mitzrayim'])
    PASS  LET(nete_yadkha_al_meme_mitzrayim) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'nete_yadkha_al_meme_mitzrayim'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Ex_7_20 — the Nile struck
    וַיַּֽעֲשׂוּ כֵן֩ מֹשֶׁ֨ה וְאַהֲרֹ֜ן (va-yaasu-khen moshe ve-aharon)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Ex_7_21 — the fish died
    וְהַדָּגָ֨ה אֲשֶׁר בַּיְאֹ֥ר מֵ֨תָה֙ (ve-ha-daga asher-ba-yeor meta)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Ex_7_22 — the magicians match again
    וַיַּֽעֲשׂוּ כֵ֛ן חַרְטֻמֵּ֥י מִצְרַ֖יִם (va-yaasu-khen chartume mitzrayim)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Ex_7_23 — Pharaoh turns home
    וַיִּ֣פֶן פַּרְעֹ֔ה וַיָּבֹ֖א אֶל (va-yifen paro va-yavo el-)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Ex_7_24 — Egypt digs
    וַיַּחְפְּר֧וּ כָל מִצְרַ֛יִם סְבִיבֹ֥ת (va-yachpru khal-mitzrayim sevivot)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Ex_7_25 — seven days filled
    וַיִּמָּלֵ֖א שִׁבְעַ֣ת יָמִ֑ים אַחֲרֵ֥י (va-yimale shivat yamim achare)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer'])
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Ex_7_26 — go, say: send
    וַיֹּ֤אמֶר יְהוָה֙ אֶל מֹשֶׁ֔ה (va-yomer YHWH el-moshe)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  LET(bo_el_paro_ve_amarta) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Ex_7_27 — if you refuse — frogs
    וְאִם מָאֵ֥ן אַתָּ֖ה לְשַׁלֵּ֑חַ (ve-im-maen ata le-shalecha)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  LET(bo_el_paro_ve_amarta) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Ex_7_28 — the invasion route
    וְשָׁרַ֣ץ הַיְאֹר֮ צְפַרְדְּעִים֒ וְעָלוּ֙ (ve-sharatz ha-yeor tzefardim ve-alu)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  LET(bo_el_paro_ve_amarta) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Ex_7_29 — and into you
    וּבְכָ֥ה וּֽבְעַמְּךָ֖ וּבְכָל עֲבָדֶ֑יךָ (u-ve-kha u-ve-am-kha u-ve-khal-avade-kha)
    PASS  LET(lekh_el_paro_ba_boqer) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    PASS  LET(bo_el_paro_ve_amarta) pushed and OPEN  (queue=['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta'])
    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_07_staff_and_blood.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# exo_07_staff_and_blood — 7:1-29
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/exo_07_staff_and_blood.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 staff and the blood (7:1-29)"""
from machine import Machine

m = Machine("exo_07_staff_and_blood")

# -------------------------- Exod.7.1 · SEE_I_HAVE_SET_YOU ------------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה רְאֵה נְתַתִּיךָ אֱלֹהִים לְפַרְעֹה וְאַהֲרֹן
# אָחִיךָ יִהְיֶה נְבִיאֶךָ
# "[EN-AID] And the LORD said to Moses: See, I have set you as God to
# Pharaoh; and Aaron your brother shall be your prophet."
m.step("Exod.7.1")
# ‹רְאֵה נְתַתִּיךָ אֱלֹהִים לְפַרְעֹה› (“see set-you/your God to-Pharaoh”)
# — fact holds: netaticha-God-to-Pharaoh
m.fact("netaticha_elohim_le_faro")

# -------------------------- Exod.7.2 · THE_RELAY_STATED --------------------
# אַתָּה תְדַבֵּר אֵת כָּל־אֲשֶׁר אֲצַוֶּךָּ וְאַהֲרֹן אָחִיךָ יְדַבֵּר
# אֶל־פַּרְעֹה וְשִׁלַּח אֶת־בְּנֵי־יִשְׂרָאֵל מֵאַרְצוֹ
# "[EN-AID] You shall speak all that I command you; and Aaron your brother
# shall speak to Pharaoh, that he send the sons of Israel out of his land."
m.step("Exod.7.2")
# ‹אַתָּה תְדַבֵּר אֵת כָּל־אֲשֶׁר אֲצַוֶּךָּ› (“you speak obj-marker all
# which command-you/your”) — fact holds: you-speak-obj-marker-all-which-
# atzaveka
m.fact("ata_tedaber_et_kol_asher_atzaveka")

# -------------------------- Exod.7.3 · I_WILL_HARDEN -----------------------
# וַאֲנִי אַקְשֶׁה אֶת־לֵב פַּרְעֹה וְהִרְבֵּיתִי אֶת־אֹתֹתַי וְאֶת־מוֹפְתַי
# בְּאֶרֶץ מִצְרָיִם
# "[EN-AID] And I will harden Pharaoh's heart, and multiply My signs and My
# wonders in the land of Egypt."
m.step("Exod.7.3")
# ‹וַאֲנִי אַקְשֶׁה אֶת־לֵב פַּרְעֹה› (“and-I be-dense obj-marker heart
# Pharaoh”) — fact holds: and-I-be-dense-obj-marker-heart-Pharaoh
m.fact("va_ani_aqshe_et_lev_paro")

# -------------------------- Exod.7.4 · HE_WILL_NOT_HEAR --------------------
# וְלֹא־יִשְׁמַע אֲלֵכֶם פַּרְעֹה וְנָתַתִּי אֶת־יָדִי בְּמִצְרָיִם
# וְהוֹצֵאתִי אֶת־צִבְאֹתַי אֶת־עַמִּי בְנֵי־יִשְׂרָאֵל מֵאֶרֶץ מִצְרַיִם
# בִּשְׁפָטִים גְּדֹלִים
# "[EN-AID] And Pharaoh will not hear you; and I will lay My hand on Egypt,
# and bring out My hosts, My people the sons of Israel, from the land of
# Egypt with great judgments."
m.step("Exod.7.4")
# ‹וְהוֹצֵאתִי אֶת־צִבְאֹתַי אֶת־עַמִּי בְנֵי־יִשְׂרָאֵל מֵאֶרֶץ מִצְרַיִם›
# (“and-bring-forth obj-marker host-me/my obj-marker people-me/my son Israel
# from-earth Egypt”) — fact holds: and-not-hear-alekhem-Pharaoh
m.fact("ve_lo_yishma_alekhem_paro")

# -------------------------- Exod.7.5 · EGYPT_SHALL_KNOW --------------------
# וְיָדְעוּ מִצְרַיִם כִּי־אֲנִי יְהוָה בִּנְטֹתִי אֶת־יָדִי עַל־מִצְרָיִם
# וְהוֹצֵאתִי אֶת־בְּנֵי־יִשְׂרָאֵל מִתּוֹכָם
# "[EN-AID] And Egypt shall know that I am the LORD, when I stretch out My
# hand over Egypt; and I will bring out the sons of Israel from among them."
m.step("Exod.7.5")
# ‹וְיָדְעוּ מִצְרַיִם כִּי־אֲנִי יְהוָה› (“and-know Egyptian that YHWH”) —
# fact holds: and-know-Egypt-that-I-the-LORD
m.fact("ve_yadu_mitzrayim_ki_ani_YHWH")

# -------------------------- Exod.7.6 · THEY_DID_AS_COMMANDED ---------------
# וַיַּעַשׂ מֹשֶׁה וְאַהֲרֹן כַּאֲשֶׁר צִוָּה יְהוָה אֹתָם כֵּן עָשׂוּ
# "[EN-AID] And Moses and Aaron did as the LORD commanded them; so they
# did."
m.step("Exod.7.6")
# ‹כַּאֲשֶׁר צִוָּה יְהוָה אֹתָם כֵּן עָשׂוּ› (“like-as/which command YHWH
# obj-marker-them/their so make”) — fact holds: like-which-command-the-LORD-
# so-make
m.fact("ka_asher_tziva_YHWH_ken_asu")

# -------------------------- Exod.7.7 · EIGHTY_AND_EIGHTY_THREE -------------
# וּמֹשֶׁה בֶּן־שְׁמֹנִים שָׁנָה וְאַהֲרֹן בֶּן־שָׁלֹשׁ וּשְׁמֹנִים שָׁנָה
# בְּדַבְּרָם אֶל־פַּרְעֹה
# "[EN-AID] And Moses was eighty years old, and Aaron eighty-three years
# old, when they spoke to Pharaoh."
m.step("Exod.7.7")
# ‹וּמֹשֶׁה בֶּן־שְׁמֹנִים שָׁנָה› (“and-Moses son eighty years”) — fact
# holds: and-Moses-son-eighty-years
m.fact("u_moshe_ben_shemonim_shana")

# -------------------------- Exod.7.8 · THE_COMPOUND_FRAME ------------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה וְאֶל־אַהֲרֹן לֵאמֹר
# "[EN-AID] And the LORD said to Moses and to Aaron, saying:"
m.step("Exod.7.8")
# ‹וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה וְאֶל־אַהֲרֹן לֵאמֹר› (“and-say YHWH to Moses
# and-to Aaron to-say”) — fact holds: and-say-the-LORD-to-Moses-and-to-Aaron
m.fact("va_yomer_YHWH_el_moshe_ve_el_aharon")

# -------------------------- Exod.7.9 · THE_WONDER_SCRIPT -------------------
# כִּי יְדַבֵּר אֲלֵכֶם פַּרְעֹה לֵאמֹר תְּנוּ לָכֶם מוֹפֵת וְאָמַרְתָּ
# אֶל־אַהֲרֹן קַח אֶת־מַטְּךָ וְהַשְׁלֵךְ לִפְנֵי־פַרְעֹה יְהִי לְתַנִּין
# "[EN-AID] When Pharaoh speaks to you, saying: Give a wonder for yourselves
# — then you shall say to Aaron: Take your staff and throw it before
# Pharaoh; let it become a serpent."
m.step("Exod.7.9")
# ‹קַח אֶת־מַטְּךָ וְהַשְׁלֵךְ לִפְנֵי־פַרְעֹה יְהִי לְתַנִּין› (“take obj-
# marker staff/tribe-you/your and-throw-out to-face Pharaoh be to-sea-
# monster”) — the-LORD speaks a demand — LET: take-obj-marker-matkha-and-
# throw-out
m.declare("YHWH", "LET",
          "qach_et_matkha_ve_hashlekh")

# -------------------------- Exod.7.10 · PERFORMED_AS_COMMANDED -------------
# וַיָּבֹא מֹשֶׁה וְאַהֲרֹן אֶל־פַּרְעֹה וַיַּעַשׂוּ כֵן כַּאֲשֶׁר צִוָּה
# יְהוָה וַיַּשְׁלֵךְ אַהֲרֹן אֶת־מַטֵּהוּ לִפְנֵי פַרְעֹה וְלִפְנֵי
# עֲבָדָיו וַיְהִי לְתַנִּין
# "[EN-AID] And Moses and Aaron came to Pharaoh, and they did so, as the
# LORD had commanded; and Aaron threw his staff before Pharaoh and before
# his servants, and it became a serpent."
m.step("Exod.7.10")
# ‹וַיַּשְׁלֵךְ אַהֲרֹן אֶת־מַטֵּהוּ לִפְנֵי פַרְעֹה וְלִפְנֵי עֲבָדָיו
# וַיְהִי לְתַנִּין› (“and-throw-out Aaron obj-marker staff/tribe-him/its
# to-face Pharaoh and-to-face servant-him/its and-be to-sea-monster”) —
# demand settled (popped from the queue): take-obj-marker-matkha-and-throw-
# out
m.result("qach_et_matkha_ve_hashlekh", tmark="t1")

# -------------------------- Exod.7.11 · THE_MAGICIANS_MATCH ----------------
# וַיִּקְרָא גַּם־פַּרְעֹה לַחֲכָמִים וְלַמְכַשְּׁפִים וַיַּעֲשׂוּ גַם־הֵם
# חַרְטֻמֵּי מִצְרַיִם בְּלַהֲטֵיהֶם כֵּן
# "[EN-AID] And Pharaoh also called the wise men and the sorcerers; and they
# also, the magicians of Egypt, did so with their secret arts."
m.step("Exod.7.11")
# ‹וַיַּעֲשׂוּ גַם־הֵם חַרְטֻמֵּי מִצְרַיִם בְּלַהֲטֵיהֶם› (“and-make also
# they horoscopist Egypt in-blaze-them/their”) — fact holds: and-make-also-
# they-in-lahatehem
m.fact("va_yaasu_gam_hem_be_lahatehem")

# -------------------------- Exod.7.12 · THE_SWALLOWING ---------------------
# וַיַּשְׁלִיכוּ אִישׁ מַטֵּהוּ וַיִּהְיוּ לְתַנִּינִם וַיִּבְלַע
# מַטֵּה־אַהֲרֹן אֶת־מַטֹּתָם
# "[EN-AID] And they threw down every man his staff, and they became
# serpents; and Aaron's staff swallowed their staffs."
m.step("Exod.7.12")
# ‹וַיִּבְלַע מַטֵּה־אַהֲרֹן אֶת־מַטֹּתָם› (“and-swallow staff/tribe Aaron
# obj-marker staff/tribe-them/their”) — event: bala — agent staff/tribe-
# Aaron
m.event("bala", agent="mate_aharon")

# -------------------------- Exod.7.13 · THE_HEART_STRENGTHENED -------------
# וַיֶּחֱזַק לֵב פַּרְעֹה וְלֹא שָׁמַע אֲלֵהֶם כַּאֲשֶׁר דִּבֶּר יְהוָה
# "[EN-AID] And Pharaoh's heart was strengthened, and he did not hear them,
# as the LORD had spoken."
m.step("Exod.7.13")
# ‹וַיֶּחֱזַק לֵב פַּרְעֹה› (“and-fasten-upon heart Pharaoh”) — fact holds:
# and-fasten-upon-heart-Pharaoh
m.fact("va_yechezaq_lev_paro")

# -------------------------- Exod.7.14 · THE_HEAVY_HEART --------------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה כָּבֵד לֵב פַּרְעֹה מֵאֵן לְשַׁלַּח הָעָם
# "[EN-AID] And the LORD said to Moses: Pharaoh's heart is heavy; he refuses
# to send the people."
m.step("Exod.7.14")
# ‹כָּבֵד לֵב פַּרְעֹה› (“heavy heart Pharaoh”) — fact holds: heavy-heart-
# Pharaoh
m.fact("kaved_lev_paro")

# -------------------------- Exod.7.15 · THE_MORNING_STATION ----------------
# לֵךְ אֶל־פַּרְעֹה בַּבֹּקֶר הִנֵּה יֹצֵא הַמַּיְמָה וְנִצַּבְתָּ
# לִקְרָאתוֹ עַל־שְׂפַת הַיְאֹר וְהַמַּטֶּה אֲשֶׁר־נֶהְפַּךְ לְנָחָשׁ
# תִּקַּח בְּיָדֶךָ
# "[EN-AID] Go to Pharaoh in the morning — behold, he goes out to the water
# — and station yourself to meet him on the bank of the Nile; and the staff
# which was turned to a snake take in your hand."
m.step("Exod.7.15")
# ‹לֵךְ אֶל־פַּרְעֹה בַּבֹּקֶר› (“go to Pharaoh in-morning”) — the-LORD
# speaks a demand — LET: go-to-Pharaoh-in-the-morning
m.declare("YHWH", "LET",
          "lekh_el_paro_ba_boqer")

# -------------------------- Exod.7.16 · THE_RIVERSIDE_SCRIPT ---------------
# וְאָמַרְתָּ אֵלָיו יְהוָה אֱלֹהֵי הָעִבְרִים שְׁלָחַנִי אֵלֶיךָ לֵאמֹר
# שַׁלַּח אֶת־עַמִּי וְיַעַבְדֻנִי בַּמִּדְבָּר וְהִנֵּה לֹא־שָׁמַעְתָּ
# עַד־כֹּה
# "[EN-AID] And you shall say to him: The LORD, the God of the Hebrews, sent
# me to you, saying: Send My people, that they may serve Me in the
# wilderness; and behold, you have not heard until now."
m.step("Exod.7.16")
# ‹שַׁלַּח אֶת־עַמִּי וְיַעַבְדֻנִי בַּמִּדְבָּר› (“send obj-marker people-
# me/my and-work/serve-me/my in-pasture”) — fact holds: send-obj-marker-ami-
# and-yaavduni
m.fact("shalach_et_ami_ve_yaavduni")

# -------------------------- Exod.7.17 · BY_THIS_YOU_SHALL_KNOW -------------
# כֹּה אָמַר יְהוָה בְּזֹאת תֵּדַע כִּי אֲנִי יְהוָה הִנֵּה אָנֹכִי מַכֶּה
# בַּמַּטֶּה אֲשֶׁר־בְּיָדִי עַל־הַמַּיִם אֲשֶׁר בַּיְאֹר וְנֶהֶפְכוּ לְדָם
# "[EN-AID] Thus says the LORD: By this you shall know that I am the LORD —
# behold, I strike with the staff that is in my hand upon the waters that
# are in the Nile, and they shall be turned to blood."
m.step("Exod.7.17")
# ‹בְּזֹאת תֵּדַע כִּי אֲנִי יְהוָה› (“in-this know that YHWH”) — fact
# holds: in-this-know-that-I-the-LORD
m.fact("be_zot_teda_ki_ani_YHWH")

# -------------------------- Exod.7.18 · THE_NILE_UNDRINKABLE ---------------
# וְהַדָּגָה אֲשֶׁר־בַּיְאֹר תָּמוּת וּבָאַשׁ הַיְאֹר וְנִלְאוּ מִצְרַיִם
# לִשְׁתּוֹת מַיִם מִן־הַיְאֹר
# "[EN-AID] And the fish that is in the Nile shall die, and the Nile shall
# stink; and Egypt shall be weary of drinking water from the Nile."
m.step("Exod.7.18")
# ‹וְנִלְאוּ מִצְרַיִם לִשְׁתּוֹת מַיִם› (“and-tire Egyptian to-drink
# waters”) — fact holds: and-tire-Egypt-lishtot
m.fact("ve_nilu_mitzrayim_lishtot")

# -------------------------- Exod.7.19 · STRETCH_OUT_YOUR_HAND --------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה אֱמֹר אֶל־אַהֲרֹן קַח מַטְּךָ וּנְטֵה־יָדְךָ
# עַל־מֵימֵי מִצְרַיִם עַל־נַהֲרֹתָם עַל־יְאֹרֵיהֶם וְעַל־אַגְמֵיהֶם וְעַל
# כָּל־מִקְוֵה מֵימֵיהֶם וְיִהְיוּ־דָם וְהָיָה דָם בְּכָל־אֶרֶץ מִצְרַיִם
# וּבָעֵצִים וּבָאֲבָנִים
# "[EN-AID] And the LORD said to Moses: Say to Aaron: Take your staff and
# stretch out your hand over the waters of Egypt — over their rivers, over
# their Niles, and over their pools, and over every gathering of their
# waters — and they shall become blood; and there shall be blood in all the
# land of Egypt, both in the wooden vessels and in the stone vessels."
m.step("Exod.7.19")
# ‹אֱמֹר אֶל־אַהֲרֹן קַח מַטְּךָ וּנְטֵה־יָדְךָ עַל־מֵימֵי מִצְרַיִם› (“say
# to Aaron take staff/tribe-you/your and-stretch hand-you/your over waters
# Egypt”) — the-LORD speaks a demand — LET: stretch-yadkha-over-waters-Egypt
m.declare("YHWH", "LET",
          "nete_yadkha_al_meme_mitzrayim")

# -------------------------- Exod.7.20 · THE_NILE_STRUCK --------------------
# וַיַּעֲשׂוּ־כֵן מֹשֶׁה וְאַהֲרֹן כַּאֲשֶׁר צִוָּה יְהוָה וַיָּרֶם
# בַּמַּטֶּה וַיַּךְ אֶת־הַמַּיִם אֲשֶׁר בַּיְאֹר לְעֵינֵי פַרְעֹה
# וּלְעֵינֵי עֲבָדָיו וַיֵּהָפְכוּ כָּל־הַמַּיִם אֲשֶׁר־בַּיְאֹר לְדָם
# "[EN-AID] And Moses and Aaron did so, as the LORD commanded; and he raised
# the staff and struck the waters that were in the Nile, before the eyes of
# Pharaoh and before the eyes of his servants; and all the waters that were
# in the Nile were turned to blood."
m.step("Exod.7.20")
# ‹וַיָּרֶם בַּמַּטֶּה וַיַּךְ אֶת־הַמַּיִם אֲשֶׁר בַּיְאֹר› (“and-rise-high
# in-staff/tribe and-strike obj-marker the-waters which in-Nile”) — demand
# settled (popped from the queue): stretch-yadkha-over-waters-Egypt
m.result("nete_yadkha_al_meme_mitzrayim", tmark="t1")

# -------------------------- Exod.7.21 · THE_FISH_DIED ----------------------
# וְהַדָּגָה אֲשֶׁר־בַּיְאֹר מֵתָה וַיִּבְאַשׁ הַיְאֹר וְלֹא־יָכְלוּ
# מִצְרַיִם לִשְׁתּוֹת מַיִם מִן־הַיְאֹר וַיְהִי הַדָּם בְּכָל־אֶרֶץ
# מִצְרָיִם
# "[EN-AID] And the fish that was in the Nile died, and the Nile stank, and
# Egypt could not drink water from the Nile; and the blood was in all the
# land of Egypt."
m.step("Exod.7.21")
# ‹וַיִּבְאַשׁ הַיְאֹר› (“and-smell-bad the-Nile”) — fact holds: and-smell-
# bad-the-Nile
m.fact("va_yivash_ha_yeor")

# -------------------------- Exod.7.22 · THE_MAGICIANS_MATCH_AGAIN ----------
# וַיַּעֲשׂוּ־כֵן חַרְטֻמֵּי מִצְרַיִם בְּלָטֵיהֶם וַיֶּחֱזַק לֵב־פַּרְעֹה
# וְלֹא־שָׁמַע אֲלֵהֶם כַּאֲשֶׁר דִּבֶּר יְהוָה
# "[EN-AID] And the magicians of Egypt did so with their secret arts; and
# Pharaoh's heart was strengthened, and he did not hear them, as the LORD
# had spoken."
m.step("Exod.7.22")
# ‹וַיֶּחֱזַק לֵב־פַּרְעֹה וְלֹא־שָׁמַע אֲלֵהֶם› (“and-fasten-upon heart
# Pharaoh and-not hear to-them/their”) — fact holds: and-fasten-upon-heart-
# Pharaoh-2
m.fact("va_yechezaq_lev_paro_2")

# -------------------------- Exod.7.23 · PHARAOH_TURNS_HOME -----------------
# וַיִּפֶן פַּרְעֹה וַיָּבֹא אֶל־בֵּיתוֹ וְלֹא־שָׁת לִבּוֹ גַּם־לָזֹאת
# "[EN-AID] And Pharaoh turned and came into his house; and he did not set
# his heart even to this."
m.step("Exod.7.23")
# ‹וְלֹא־שָׁת לִבּוֹ גַּם־לָזֹאת› (“and-not place heart-him/its also to-
# this”) — fact holds: and-not-place-His-heart-also-to-this
m.fact("ve_lo_shat_libo_gam_la_zot")

# -------------------------- Exod.7.24 · EGYPT_DIGS -------------------------
# וַיַּחְפְּרוּ כָל־מִצְרַיִם סְבִיבֹת הַיְאֹר מַיִם לִשְׁתּוֹת כִּי לֹא
# יָכְלוּ לִשְׁתֹּת מִמֵּימֵי הַיְאֹר
# "[EN-AID] And all Egypt dug round about the Nile for water to drink; for
# they could not drink of the waters of the Nile."
m.step("Exod.7.24")
# ‹וַיַּחְפְּרוּ כָל־מִצְרַיִם סְבִיבֹת הַיְאֹר מַיִם לִשְׁתּוֹת› (“and-dig
# all Egyptian circle the-Nile waters to-drink”) — fact holds: and-dig-all-
# Egypt
m.fact("va_yachpru_khol_mitzrayim")

# -------------------------- Exod.7.25 · SEVEN_DAYS_FILLED ------------------
# וַיִּמָּלֵא שִׁבְעַת יָמִים אַחֲרֵי הַכּוֹת־יְהוָה אֶת־הַיְאֹר
# "[EN-AID] And seven days were filled, after the LORD had struck the Nile."
m.step("Exod.7.25")
# ‹וַיִּמָּלֵא שִׁבְעַת יָמִים› (“and-fill seven day”) — fact holds: and-
# fill-seven-day
m.fact("va_yimale_shivat_yamim")

# -------------------------- Exod.7.26 · GO_SAY_SEND ------------------------
# וַיֹּאמֶר יְהוָה אֶל־מֹשֶׁה בֹּא אֶל־פַּרְעֹה וְאָמַרְתָּ אֵלָיו כֹּה
# אָמַר יְהוָה שַׁלַּח אֶת־עַמִּי וְיַעַבְדֻנִי
# "[EN-AID] And the LORD said to Moses: Come to Pharaoh, and say to him:
# Thus says the LORD: Send My people, that they may serve Me."
m.step("Exod.7.26")
# ‹בֹּא אֶל־פַּרְעֹה› (“come/bring to Pharaoh”) — the-LORD speaks a demand —
# LET: come/bring-to-Pharaoh-and-say
m.declare("YHWH", "LET",
          "bo_el_paro_ve_amarta")

# -------------------------- Exod.7.27 · IF_YOU_REFUSE_FROGS ----------------
# וְאִם־מָאֵן אַתָּה לְשַׁלֵּחַ הִנֵּה אָנֹכִי נֹגֵף אֶת־כָּל־גְּבוּלְךָ
# בַּצְפַרְדְּעִים
# "[EN-AID] And if you refuse to send them — behold, I strike all your
# border with frogs."
m.step("Exod.7.27")
# ‹הִנֵּה אָנֹכִי נֹגֵף אֶת־כָּל־גְּבוּלְךָ בַּצְפַרְדְּעִים› (“behold push
# obj-marker all cord-you/your in-marsh-leaper”) — fact holds: and-if-
# unwilling-you-to-shaleach
m.fact("ve_im_maen_ata_le_shaleach")

# -------------------------- Exod.7.28 · THE_INVASION_ROUTE -----------------
# וְשָׁרַץ הַיְאֹר צְפַרְדְּעִים וְעָלוּ וּבָאוּ בְּבֵיתֶךָ וּבַחֲדַר
# מִשְׁכָּבְךָ וְעַל־מִטָּתֶךָ וּבְבֵית עֲבָדֶיךָ וּבְעַמֶּךָ
# וּבְתַנּוּרֶיךָ וּבְמִשְׁאֲרוֹתֶיךָ
# "[EN-AID] And the Nile shall swarm frogs, and they shall come up and come
# into your house, and into your bedchamber, and onto your bed, and into the
# house of your servants, and among your people, and into your ovens, and
# into your kneading-troughs."
m.step("Exod.7.28")
# ‹וְשָׁרַץ הַיְאֹר צְפַרְדְּעִים› (“and-swarm the-Nile marsh-leaper”) —
# fact holds: and-swarm-the-Nile-tzfardeim
m.fact("ve_sharatz_ha_yeor_tzfardeim")

# -------------------------- Exod.7.29 · AND_INTO_YOU -----------------------
# וּבְכָה וּבְעַמְּךָ וּבְכָל־עֲבָדֶיךָ יַעֲלוּ הַצְפַרְדְּעִים
# "[EN-AID] And into you, and into your people, and into all your servants,
# the frogs shall come up."
m.step("Exod.7.29")
# ‹וּבְכָה וּבְעַמְּךָ וּבְכָל־עֲבָדֶיךָ› (“and-in-you/your and-in-people-
# you/your and-in-all servant-you/your”) — fact holds: and-vekha-and-and-
# amkha
m.fact("u_vekha_u_ve_amkha")

# -------------------------- 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() == ['lekh_el_paro_ba_boqer', 'bo_el_paro_ve_amarta']
    assert len(m.SPECS["log"]) == 4
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['netaticha_elohim_le_faro', 'ata_tedaber_et_kol_asher_atzaveka', 'va_ani_aqshe_et_lev_paro', 've_lo_yishma_alekhem_paro', 've_yadu_mitzrayim_ki_ani_YHWH', 'ka_asher_tziva_YHWH_ken_asu', 'u_moshe_ben_shemonim_shana', 'va_yomer_YHWH_el_moshe_ve_el_aharon', 'va_yaasu_gam_hem_be_lahatehem', 'va_yechezaq_lev_paro', 'kaved_lev_paro', 'shalach_et_ami_ve_yaavduni', 'be_zot_teda_ki_ani_YHWH', 've_nilu_mitzrayim_lishtot', 'va_yivash_ha_yeor', 'va_yechezaq_lev_paro_2', 've_lo_shat_libo_gam_la_zot', 'va_yachpru_khol_mitzrayim', 'va_yimale_shivat_yamim', 've_im_maen_ata_le_shaleach', 've_sharatz_ha_yeor_tzfardeim', 'u_vekha_u_ve_amkha'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 7
    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.