The rise: the waters lift the ark, all flesh dies, only Noach is left (7:17-24) FROZEN
וַיִּשְׂאוּ אֶת־הַתֵּבָה — וַיִּשָּׁאֶר אַךְ־נֹחַ · va-yisu et-ha-tevah — va-yishaer akh-Noach · 'and they lifted the ark' — 'and only Noach was left'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The rise (7:17-24): from the waters lifting the ark to the hundred and fifty days — 8:1 opens the remembering (Elohim remembers Noach; the wind; the recession), the next block. Inside: the forty running, the lift and the rise, the walk on the face of the waters, the four-beat prevail cluster, the mountains covered twice, the fifteen cubits, the dying-list, the compounded breath-criterion, the double wipe, the remnant — and the waters still prevailing at the close. The unit ends underwater: no closure, no clock, one survivor. | established |
| B | Hebrew source + trees | All 8 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: 7:17 [the forty of the flood | the waters multiplied, LIFTED the ark, and it ROSE]; 7:18 [the waters prevail and multiply | the ark WALKS the face of the waters]; 7:19 [prevailed exceedingly exceedingly | all the high mountains under ALL the heavens covered]; 7:20 [fifteen cubits upward (etnachta arm carries the measure) | and the mountains were covered]; 7:21 [the dying-list: creeping flesh, bird, livestock, beast, swarmer | AND ALL HUMANKIND — man's death ALONE on the verse-end arm]; 7:22 [the compounded breath-criterion and the dry land | DIED — a single word on the verse-end]; 7:23 [the wipe active, the decree-scope, the wipe passive | AND ONLY NOACH WAS LEFT — the remnant clause alone on the verse-end arm]; 7:24 [the waters prevailed | a hundred and fifty days]. Three verse-end isolations in four verses: the letter keeps its heaviest words for the last position. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01), all censuses run BEFORE drafting. 7:17 VA-YISU ('and they LIFTED') — the nasa bear-verb's TOKEN 2 of 168 in the Torah (token 1 = 4:13, Cain's 'my punishment is too great to BEAR'): ACTIVE, PLURAL, the waters as agent — the judgment water carries the rescue; VA-TARAM ('and it ROSE') — the rum rise-verb's FIRST TOKEN of 46 (career: Abram's raised-hand oath 14:22, the staff over the Nile Exod 7:20, Israel's high hand Exod 14:8). 7:18 VA-TELEKH ('and it WALKED') — the go-verb stem's token 2 (token 1 = 3:14, the serpent's belly-crawl sentence), applied to a VESSEL, AL-PNEI HA-MAYIM ('on the face of the waters') — a THREE-token Torah phrase: 1:2 the spirit hovers there, 7:18 the ark walks there, Exod 32:20 the calf-dust is scattered there. 7:18-24 GAVAR ('prevail/be strong') — 7 Torah tokens TOTAL, tokens 1-4 ALL IN-SPAN (7:18, 19, 20, 24): the strengthen-verb born as flood grammar (career: the father's blessings prevail 49:26; Israel and Amalek prevail Exod 17:11 x2); morphology splits the four — two narrative and-then forms (7:18, 7:24) framing two perfects (7:19, 7:20): two events bracketing two standing states. 7:19-20 HAR ('mountain') — FIRST TOKENS of 150, both drowned (token 3 = 8:4, the ark RESTS on the mountains of Ararat); GAVOHA ('high') — 3 Torah tokens, token 1 here; KASAH ('cover') — first two tokens of 47, both agentless passives (pual — 'and they WERE COVERED'; token 3 = 9:23, the sons covering their father's nakedness); AMAH ('cubit') TOKEN 5 — tokens 1-4 are the ark's blueprint (6:15 x3, 6:16), token 6 opens Exod 25:10, the ark of the covenant: the flood measured in the rescue's unit. 7:21 VA-YIGVA ('and it EXPIRED') — gava token 2 (token 1 = 6:17, the decree's own verb receipted in the deed; career: the patriarchs' peaceful deaths, the Korach panic Num 17:27-28); the dying-list runs bird -> livestock -> beast -> swarmer -> ALL HUMANKIND — man LAST, alone on the verse-end arm. 7:22 NISHMAT-RUACH CHAYIM BE-APAV ('the breath of the SPIRIT of life in its nostrils') — NESHAMAH ('breath') has exactly 3 Torah tokens: 2:7's gift (nishmat chayim, 'breath of life'), this drowning-quote COMPOUNDED with ruach ('spirit/wind') inserted, and Deut 20:16's ban (kol-neshamah, 'anything that breathes') [quote-diff vs 2:7 held at PROSE level — 2:7 is frozen in a prior unit; standalone machines carry no cross-unit spec: no machine delta; decision recorded]; BE-CHARAVAH ('on the dry land') — a TWO-token Torah word: here (all on it died) and Exod 14:21 (the sea turned INTO dry land): the drowning word and the rescue-path word are the same word. 7:23 MACHAH ('wipe') TOKENS 3 AND 4 IN ONE VERSE — active VA-YIMACH ('and He wiped') + niphal VA-YIMACHU ('and they were wiped'): deed and undergoing doubled (career: Amalek's memory Exod 17:14, 'wipe me from Your book' Exod 32:32-33); the wipe-scope runs me-adam ad-behemah ad-remes ve-ad-of — VERBATIM 6:7's decree list, humankind FIRST (vs the dying-list's humankind LAST; neither is 1:20-27's build order — three orders, held as letter fact); YEQUM ('standing-substance') token 2 of exactly 3 (7:4 decree, here, Deut 11:6 Korach); the span holds ZERO divine names (DB lemma scan) — the wipe's subject is COVERT; its named antecedent (YHWH, 7:16) stands across the unit boundary in frozen gen_17 [letter fact, held; [OPEN]]; and VA-YISHAER AKH-NOACH ('and ONLY NOACH was left') — SHAAR, the remnant-root, FIRST TOKEN of 29 in the Torah, niphal agentless, born naming one man and the ark's company (career: the war's survivors 14:10, Jacob's camp-that-is-left 32:9, Benjamin-left-alone 42:38, what the plagues leave); AKH ('only') — the restriction particle rides the debut. 7:24 the fourth prevail-beat; CHAMISHIM U-MEAT YOM ('fifty and a hundred days' — the letter counts small-first): the phrase occurs exactly TWICE in the Torah — here (the rise) and 8:3 (the recession): opened here, closed there, like heaven's windows. | tested |
| D | Predicates & outcomes | The unit is the un-creation's climax told entirely in third person with the voice withdrawn: no speech, no command, no name. Every register the boarding filled goes quiet; what moves is water and one buoyant box. The letter's arithmetic is exact — the announced forty runs, the flood is measured once (in cubits borrowed from the rescue's blueprint), the 150 opens a bracket that 8:3 will close. The dying is told creation-wise (humankind last); the wiping quotes the decree (humankind first). And the span's one genuinely new word for the future is the remnant-root, minted on the survivor. | tested |
| E | Logic format choice | Operator lines; NO ledger row, NO installs, NO registry writes, NO SPECS traffic (nothing pushed, nothing popped — the wipe answers gen_15's queue across unit walls: prose + [OPEN], the Stage E linker's test case), NO TEST (no inspection formula in the letter), NO TIME_ANCHOR — decision: the forty (7:17) and the hundred-fifty (7:24) are DURATIONS the letter states, not calendar anchors; encoding a span as an epoch would misstate the letter (gen_17's t0 was a DATE); both enter as plain HOLDS facts. EVENTS carry the plot: lift(waters -> ark) + rise(ark) at 7:17; prevail(waters) + walk(ark) at 7:18; cover x2 agentless at 7:19-20 (pual — the intensive passive: no agent on the page; encoded WITHOUT a TIR-032 cite, which names the niphal — prose notes the same agentless class; decision recorded); expire at 7:21; wipe (NO Agent() — the letter's subject is covert; the machine encodes only what the letter says) + wiped (niphal agentless, TIR-032) + remain (niphal agentless, TIR-032 — the remnant debut) at 7:23; prevail at 7:24. The metu perfect of 7:22 ('they died') enters as a summary FACT, not an event — the perfect states the outcome of 7:21's expire-event (decision recorded). NOTE_PRESUPPOSED: tevah + mayim at 7:17, noach at 7:23. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: ha_mabul_arbaim_yom_al_ha_aretz, chamesh_esreh_amah_mi_lemalah_gavru, nishmat_ruach_chayim_be_apav, me_adam_ad_behemah_ad_remes_ve_ad_of, akh_noach_va_asher_ito, chamishim_u_meat_yom_al_ha_aretz. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero for Gen 7:17-24 — twelfth tripwire; gen_18 Tier-A queue): Bavli Sanhedrin 108a-b (the flood span: the generation's sentence, the scalding waters, the ark in the storm); Bereshit Rabbah 32 (32:11 reads AKH ('only') at 7:23 as a diminution — Noach himself diminished: doctrine hung on one restriction particle); Bavli Zevachim 113a-b (did the flood fall on the Land of Israel — a debate on 7:19's 'under ALL the heavens'); Rashi at 7:20 (the fifteen-cubit arithmetic), 7:22 (the nostrils), 7:23 (akh Noach). Tier-A Onkelos (8 fetches, FETCHLOG 2026-08-01): the lift kept ACTIVE (u-netalu, 'and they carried' — the waters keep the deed) but the rise PASSIVIZED (va-taram 'and it rose' -> ve-ittaramat 'and it WAS RAISED'); the walk de-animated to a durative participle (u-mehallekha, 'and it was moving about' — the vessel moves, it does not stride); the buffer's 'high mountains' is the RUM-root adjective (turaya ramaya, 'the high mountains') — tying peaks to the ark-lift in a way the Hebrew does not; gavar rendered tekifu ('grew mighty') at all four beats — the cluster survives; VA-YIGVA ('expired') leveled to u-mit ('died') — the 6:17 decree-echo lost; the remes/sheretz crawl-words leveled to ONE root (rachesh, 'creep/crawl'); the COMPOUNDED breath-formula PRESERVED word for word (nishmeta rucha de-chayin, 'breath of the spirit of life' — the 2:7 quote-diff is translation-stable); be-charavah ('on the dry land') leveled to be-yabbeshta ('on the dry ground' — the two-token thread lost); the wipe kept double (u-mecha 'and He wiped' / ve-itmechiu 'and they were wiped'), the remnant kept in cognate (ve-ishtaar, 'and he was left'), AKH -> BERAM ('only'); the 150 reversed to big-first (meah ve-chamshin, 'a hundred and fifty'); and ZERO divine names inserted — the covert subject stays covert in translation. | tested |
| H | Scenarios | S1 the lift and the rise: the forty-fact holds; tevah/mayim flagged as read. S2 the prevail debut and the walk. S3 the mountains under all the heavens. S4 the fifteen cubits. S5 all flesh expires, humankind last. S6 the compounded breath-formula and the dry-land death. S7 the wipe executed, only Noach left; noach flagged as read; the queue never had an entry. S8 the hundred and fifty days, still rising at the close. S9_negative: LET? contract guard; S10_negative: flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (narrative and-then forms vs perfects splitting the gavar cluster; the niphal agentless events TIR-032; the pual agentless covers held cite-less; the covert 3ms subject of the wipe encoded agent-less) and DB censuses run BEFORE drafting (nasa / rum / yalakh / face-of-the-waters / gavar / har / gavoha / kasah / amah / gava / neshamah / charavah / machah / yequm / shaar / mabul / the 150-phrase; the three death-orders compared; the divine-name and speech-frame zero-scans). NOT supplied: why the waters carry what the verdict spares, any reading of the covert wipe-subject beyond its 7:16 antecedent, any harmonizing of the three death-orders, or the 2:7-compound's meaning — every one [OPEN] or held; the Onkelos passivization and levelings stay dual-track. | established |
| J | Pre-flight + freeze-after-review (agent trial) | Pre-flight 2026-08-01 against the UNMODIFIED repo interpreter — zero injected prototypes; GREEN (8/8 steps, 10/10 scenarios, 19/19 clause checks). AGENT-TRIAL derivation: the agent delivered status DRAFT; the MAIN LOOP then reviewed the full prose (glossing, census spot-reverification against the DB, [OPEN] discipline, no invention) and froze on a passing review — freeze-after-review #1, per the owner-approved trial process. Changes henceforth require an amend order, not silent edits. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_7_17 · Gen.7.17 · THE_LIFT_AND_THE_RISE
וַיְהִי הַמַּבּוּל אַרְבָּעִים יוֹם עַל־הָאָרֶץ וַיִּרְבּוּ הַמַּיִם וַיִּשְׂאוּ אֶת־הַתֵּבָה וַתָּרָם מֵעַל הָאָרֶץ · va-yehi ha-mabul arbaim yom al-ha-aretz va-yirbu ha-mayim va-yisu et-ha-tevah va-taram me-al ha-aretz · [EN-AID/JPS] And the flood was forty days upon the earth; and the waters increased, and bore up the ark, and it was lifted up above the earth.
ויהי המבול ארבעים יום על הארץ · va-yehi ha-mabul arbaim yom al-ha-aretz · the flood, forty days on the earth (etnachta arm)
וירבו המים וישאו את התבה ותרם מעל הארץ · va-yirbu ha-mayim va-yisu et-ha-tevah va-taram me-al ha-aretz · the waters multiplied, LIFTED the ark, and it ROSE above the earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_mabul_arbaim_yom_al_ha_aretz, t1) = HOLDS(the-deluge-forty-day-over-the-earth, t1) The announced forty runs: 7:4 promised it, 7:12 started it, here it stands as the flood's own duration. A DURATION, not a date — the TIME register stays empty in this standalone machine (gen_17's t0 was a calendar value; this letter gives spans; decision recorded). MABUL ('the deluge') token 5 of 12. | וַיְהִי הַמַּבּוּל אַרְבָּעִים יוֹם עַל־הָאָרֶץ · va-yehi ha-mabul arbaim yom al-ha-aretz = be deluge forty day over-the-earth | — | tested |
| EVENT | lift(e1) ∧ Agent(e1, ha_mayim) ∧ Theme(e1, ha_tevah) = lift(e1) ∧ Agent(e1, the-waters) ∧ Theme(e1, the-ark) VA-YISU — 'and they LIFTED/BORE the ark': the nasa bear-verb's TOKEN 2 in the Torah (token 1 = 4:13, Cain's 'my punishment is too great to BEAR' — the verb gen_12 met as a weight no man could carry now carries the rescue). ACTIVE and PLURAL: the letter makes the judgment water itself the bearer [the agent is the WATERS — no passive here; letter fact]. | וַיִּרְבּוּ הַמַּיִם וַיִּשְׂאוּ אֶת־הַתֵּבָה · va-yirbu ha-mayim va-yisu et-ha-tevah = increased waters they-lifted obj-marker·et-the-ark | — | tested |
| EVENT | rise(e2) ∧ Theme(e2, ha_tevah) = rise(e2) ∧ Theme(e2, the-ark) VA-TARAM — 'and it ROSE above the earth': the rum rise-verb's FIRST TOKEN of 46 in the Torah, debuting on the ark (career: Abram's raised-hand oath 14:22, the staff over the Nile Exod 7:20, Israel leaving with a HIGH hand Exod 14:8). The ark's one self-verb in the span [Onkelos passivizes it — 'and it was raised'; dual-track, flagged]. | וַתָּרָם מֵעַל הָאָרֶץ · va-taram me-al ha-aretz = it-rose over earth | — | tested |
| NOTE_PRESUPPOSED | tevah, mayim are READ without prior install (gen_16's build; day-1 waters resumed) = ark, waters are READ without prior install (gen-16's build; day-1 waters resumed) flag, not fix | — | — | tested |
STEP_Gn_7_18 · Gen.7.18 · THE_PREVAIL_DEBUT_THE_ARK_WALKS
וַיִּגְבְּרוּ הַמַּיִם וַיִּרְבּוּ מְאֹד עַל־הָאָרֶץ וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם · va-yigberu ha-mayim va-yirbu meod al-ha-aretz va-telekh ha-tevah al-pnei ha-mayim · [EN-AID/JPS] And the waters prevailed, and increased greatly upon the earth; and the ark went upon the face of the waters.
ויגברו המים וירבו מאד על הארץ · va-yigberu ha-mayim va-yirbu meod al-ha-aretz · the waters prevailed and multiplied greatly (etnachta arm)
ותלך התבה על פני המים · va-telekh ha-tevah al-pnei ha-mayim · and the ark WALKED on the face of the waters
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | prevail(e3) ∧ Agent(e3, ha_mayim) = prevail(e3) ∧ Agent(e3, the-waters) VA-YIGBERU — 'and the waters PREVAILED': GAVAR, the strengthen-verb, FIRST TOKEN — and its whole debut is this span: 7 Torah tokens total, tokens 1-4 all here (7:18, 19, 20, 24; career: the father's blessings prevail 49:26, Israel and Amalek prevail by Moses' hands Exod 17:11). The verb of might is born as rising water. | וַיִּגְבְּרוּ הַמַּיִם · va-yigberu ha-mayim = and-yigberu waters | — | tested |
| PRECONDITION_STATE | HOLDS(va_yirbu_meod_al_ha_aretz, t1) = HOLDS(and-increased-very-over-the-earth, t1) And they multiplied GREATLY — the swarm-blessing's verb (1:22's revu, 'multiply') running on water instead of creatures: increase itself has changed sides. | וַיִּרְבּוּ מְאֹד עַל־הָאָרֶץ · va-yirbu meod al-ha-aretz = increased very over-the-earth | — | tested |
| EVENT | walk(e4) ∧ Agent(e4, ha_tevah) ∧ Theme(e4, al_pnei_ha_mayim) = walk(e4) ∧ Agent(e4, the-ark) ∧ Theme(e4, over-face-of-the-waters) VA-TELEKH — 'and the ark WALKED': the go-verb stem's token 2 (token 1 = 3:14, the serpent sentenced to GO on its belly), now a vessel's verb — AL-PNEI HA-MAYIM, 'on the FACE OF THE WATERS': a three-token Torah phrase — 1:2 the spirit of God hovers there, here the ark walks there, Exod 32:20 the calf-dust is scattered there. The builder walked with God (6:9, the other walk-stem); his build walks the deep [Onkelos de-animates to 'was moving about'; dual-track, flagged]. | וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם · va-telekh ha-tevah al-pnei ha-mayim = it-walked ark over-face-of waters | — | tested |
STEP_Gn_7_19 · Gen.7.19 · THE_MOUNTAINS_GO_UNDER
וְהַמַּיִם גָּבְרוּ מְאֹד מְאֹד עַל־הָאָרֶץ וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים אֲשֶׁר־תַּחַת כָּל־הַשָּׁמָיִם · ve-ha-mayim gavru meod meod al-ha-aretz va-yekhusu kol-he-harim ha-gevohim asher-tachat kol-ha-shamayim · [EN-AID/JPS] And the waters prevailed exceedingly upon the earth; and all the high mountains that were under the whole heaven were covered.
והמים גברו מאד מאד על הארץ · ve-ha-mayim gavru meod meod al-ha-aretz · the waters prevailed exceedingly exceedingly (etnachta arm)
ויכסו כל ההרים הגבהים אשר תחת כל השמים · va-yekhusu kol-he-harim ha-gevohim asher-tachat kol-ha-shamayim · all the high mountains under ALL the heavens were covered
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(gavru_meod_meod_al_ha_aretz, t1) ∧ HOLDS(kol_he_harim_ha_gevohim_tachat_kol_ha_shamayim, t1) = HOLDS(prevailed-very-very-over-the-earth, t1) ∧ HOLDS(all-he-mountains-the-high-under-all-the-heavens, t1) GAVRU ('they prevailed'; perfect — a standing state, not a fresh beat: the morphology splits the four-token cluster into two and-then events framing two perfects) MEOD MEOD — 'exceedingly exceedingly', the intensifier doubled. And the totality clause: ALL the high mountains under ALL the heavens [the chain's Israel-exemption debate hangs on this clause — Bavli Zevachim 113; named-only]. | גָּבְרוּ מְאֹד מְאֹד … כָּל־הֶהָרִים הַגְּבֹהִים אֲשֶׁר־תַּחַת כָּל־הַשָּׁמָיִם · gavru meod meod … kol-he-harim ha-gevohim asher-tachat kol-ha-shamayim = prevailed very very all-he-mountains high which-under all-the-heavens | — | tested |
| EVENT | cover(e5) ∧ Theme(e5, kol_he_harim_ha_gevohim) = cover(e5) ∧ Theme(e5, all-he-mountains-the-high) VA-YEKHUSU — 'and they WERE COVERED': KASAH, the cover-verb, FIRST TOKEN of 47, an agentless passive (pual, the intensive passive — no agent on the page; the same agentless-event class as the niphal breaches of 7:11, held WITHOUT the TIR-032 cite, which names the niphal; decision recorded). And the covered things are HAR ('mountain') — FIRST TOKENS of 150 in the Torah, here and 7:20: the mountains enter the corpus drowned (token 3 = 8:4, the ark RESTS on them); GAVOHA ('high') — 3 Torah tokens, token 1 here. The cover-verb's next appearance is 9:23 — the sons covering their father's nakedness: it debuts burying mountains and returns as mercy. | וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים · va-yekhusu kol-he-harim ha-gevohim = were-covered all-he-mountains high | — | tested |
STEP_Gn_7_20 · Gen.7.20 · FIFTEEN_CUBITS_UPWARD
חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה גָּבְרוּ הַמָּיִם וַיְכֻסּוּ הֶהָרִים · chamesh esreh amah mi-lemalah gavru ha-mayim va-yekhusu he-harim · [EN-AID/JPS] Fifteen cubits upward did the waters prevail; and the mountains were covered.
חמש עשרה אמה מלמעלה גברו המים · chamesh esreh amah mi-lemalah gavru ha-mayim · fifteen cubits upward the waters prevailed (etnachta arm)
ויכסו ההרים · va-yekhusu he-harim · and the mountains were covered
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(chamesh_esreh_amah_mi_lemalah_gavru, t1) = HOLDS(five--teen-cubit-from-upward-prevailed, t1) The flood's ONLY measurement: fifteen cubits upward — AMAH ('cubit') TOKEN 5, and tokens 1-4 are all the ark's blueprint (6:15 x3, 6:16): the catastrophe is measured in the rescue's own unit. Token 6 opens Exod 25:10 — the dimensions of the ark of the covenant: the cubit's next job after gauging the flood is the next ark. [The chain's draft-arithmetic (eleven cubits' draught) is named-only.] | חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה גָּבְרוּ הַמָּיִם · chamesh esreh amah mi-lemalah gavru ha-mayim = five -teen cubit upward prevailed waters | — | tested |
| EVENT | cover(e6) ∧ Theme(e6, he_harim) = cover(e6) ∧ Theme(e6, mountains) The cover-verb's second token, agentless passive again — the letter says the mountains were covered TWICE (7:19 with the totality clause, 7:20 with the measure): once for scope, once for depth. | וַיְכֻסּוּ הֶהָרִים · va-yekhusu he-harim = were-covered mountains | — | tested |
STEP_Gn_7_21 · Gen.7.21 · ALL_FLESH_EXPIRES
וַיִּגְוַע כָּל־בָּשָׂר הָרֹמֵשׂ עַל־הָאָרֶץ בָּעוֹף וּבַבְּהֵמָה וּבַחַיָּה וּבְכָל־הַשֶּׁרֶץ הַשֹּׁרֵץ עַל־הָאָרֶץ וְכֹל הָאָדָם · va-yigva kol-basar ha-romes al-ha-aretz ba-of u-va-behemah u-va-chayah u-ve-khol-ha-sheretz ha-shoretz al-ha-aretz ve-khol ha-adam · [EN-AID/JPS] And all flesh perished that moved upon the earth, both fowl, and cattle, and beast, and every swarming thing that swarmeth upon the earth, and every man;
ויגוע כל בשר הרמש על הארץ בעוף ובבהמה ובחיה ובכל השרץ השרץ על הארץ · va-yigva kol-basar ha-romes al-ha-aretz ba-of u-va-behemah u-va-chayah u-ve-khol-ha-sheretz ha-shoretz al-ha-aretz · all creeping flesh expired — bird, livestock, beast, swarmer (etnachta arm)
וכל האדם · ve-khol ha-adam · AND ALL HUMANKIND — alone on the verse-end arm
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | expire(e7) ∧ Theme(e7, kol_basar) = expire(e7) ∧ Theme(e7, all-flesh) VA-YIGVA — 'and all flesh EXPIRED': GAVA token 2 — token 1 is 6:17, the decree's own verb ('all that is on the earth shall EXPIRE'): the sentence receipted in its own word (career: the patriarchs' peaceful deaths 25:8, 25:17, 35:29, 49:33; the Korach panic Num 17:27-28) [Onkelos levels it to the plain die-verb — the decree-echo lost in translation; dual-track, flagged]. | וַיִּגְוַע כָּל־בָּשָׂר · va-yigva kol-basar = expired all-flesh | — | tested |
| PRECONDITION_STATE | HOLDS(ba_of_u_va_behemah_u_va_chayah_u_va_sheretz_ve_khol_ha_adam, t1) = HOLDS(in-the-flying-creature-and-and-livestock-and-and-beast-and-and-swarming-creature-and-all-the-human, t1) The dying-list: bird -> livestock -> beast -> swarmer -> ALL HUMANKIND. A THIRD order — not 6:7's decree order (human first), not 1:20-27's build order either — with one firm structural fact: humankind CLOSES it, isolated by the accents on the verse-end arm. The dying is told creation-wise, last-made last [three orders held as letter fact; no harmonizing]. | בָּעוֹף וּבַבְּהֵמָה וּבַחַיָּה וּבְכָל־הַשֶּׁרֶץ … וְכֹל הָאָדָם · ba-of u-va-behemah u-va-chayah u-ve-khol-ha-sheretz … ve-khol ha-adam = flying-creature livestock beast and-and-all-the-swarming-creature all human | — | tested |
STEP_Gn_7_22 · Gen.7.22 · THE_COMPOUNDED_BREATH_CRITERION
כֹּל אֲשֶׁר נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו מִכֹּל אֲשֶׁר בֶּחָרָבָה מֵתוּ · kol asher nishmat-ruach chayim be-apav mi-kol asher be-charavah metu · [EN-AID/JPS] all in whose nostrils was the breath of the spirit of life, whatsoever was in the dry land, died.
כל אשר נשמת רוח חיים באפיו מכל אשר בחרבה · kol asher nishmat-ruach chayim be-apav mi-kol asher be-charavah · all with the breath of the SPIRIT of life in its nostrils, all on the dry land (etnachta arm)
מתו · metu · DIED — a single word on the verse-end
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(nishmat_ruach_chayim_be_apav, t1) ∧ HOLDS(mi_kol_asher_be_charavah_metu, t1) = HOLDS(breath-of-spirit-wind-life-in-his-nostrils, t1) ∧ HOLDS(from-all-which-in-dry-land-died, t1) 2:7's gift-formula quoted at the drowning — COMPOUNDED: NISHMAT CHAYIM ('breath of life', breathed into the man's nostrils) returns as NISHMAT-RUACH CHAYIM ('breath of the SPIRIT of life', in the nostrils of all that died). NESHAMAH ('breath') has exactly 3 Torah tokens: the gift (2:7), this drowning-quote, and Deut 20:16's ban [quote-diff vs 2:7 HELD AT PROSE — 2:7 is frozen in a prior unit; standalone machines carry no cross-unit spec, so no machine delta; decision recorded; [OPEN]: what the inserted ruach ('spirit/wind') marks — named-only; Onkelos preserves the compound word for word]. And BE-CHARAVAH ('on the dry land') — a TWO-token Torah word: here everything ON dry land dies; at Exod 14:21 the sea is turned INTO dry land as the rescue-path: the drowning word and the salvation word are the same word. The perfect METU ('they died') enters as summary FACT, not event — the outcome of 7:21's expire, isolated by the accents as the verse's last lone word (decision recorded). | נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו … מִכֹּל אֲשֶׁר בֶּחָרָבָה מֵתוּ · nishmat-ruach chayim be-apav … mi-kol asher be-charavah metu = breath-of-spirit-wind life his-nostrils all which dry-land died | — | tested |
STEP_Gn_7_23 · Gen.7.23 · THE_WIPE_EXECUTED_ONLY_NOACH_LEFT
וַיִּמַח אֶת־כָּל־הַיְקוּם אֲשֶׁר עַל־פְּנֵי הָאֲדָמָה מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמַיִם וַיִּמָּחוּ מִן־הָאָרֶץ וַיִשָּׁאֶר אַךְ־נֹחַ וַאֲשֶׁר אִתּוֹ בַּתֵּבָה · va-yimach et-kol-ha-yequm asher al-pnei ha-adamah me-adam ad-behemah ad-remes ve-ad-of ha-shamayim va-yimachu min-ha-aretz va-yishaer akh-Noach va-asher ito ba-tevah · [EN-AID/JPS] And He blotted out every living substance which was upon the face of the ground, both man, and cattle, and creeping thing, and fowl of the heaven; and they were blotted out from the earth; and Noah only was left, and they that were with him in the ark.
וימח את כל היקום אשר על פני האדמה מאדם עד בהמה עד רמש ועד עוף השמים וימחו מן הארץ · va-yimach et-kol-ha-yequm asher al-pnei ha-adamah me-adam ad-behemah ad-remes ve-ad-of ha-shamayim va-yimachu min-ha-aretz · He wiped all the standing-substance, human to bird, and they were wiped (etnachta arm)
וישאר אך נח ואשר אתו בתבה · va-yishaer akh-Noach va-asher ito ba-tevah · and ONLY NOACH WAS LEFT, and those with him in the ark
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | wipe(e8) ∧ Theme(e8, kol_ha_yequm) = wipe(e8) ∧ Theme(e8, all-the-standing-substance) VA-YIMACH — 'and He WIPED all the standing-substance': MACHAH token 3 (decree 6:7, schedule 7:4, execution here; career: Amalek's memory Exod 17:14, 'wipe me from Your book' Exod 32:32-33); YEQUM ('standing-substance') token 2 of exactly 3 (7:4, here, Deut 11:6 — Korach's swallowing). ENCODED WITHOUT AGENT: the letter's subject is COVERT — the span holds ZERO divine names (DB scan); the nearest named antecedent is YHWH at 7:16, across the unit boundary in frozen gen_17 [letter fact, held]. [OPEN — cross-unit]: gen_15 pushed the wipe-resolve in ITS OWN queue; standalone units do not pop each other's demands — this execution is the future Stage E linker's test case; prose only, no RESULT here. | וַיִּמַח אֶת־כָּל־הַיְקוּם · va-yimach et-kol-ha-yequm = He-wiped obj-marker·et-all-the-standing-substance | — | tested |
| PRECONDITION_STATE | HOLDS(me_adam_ad_behemah_ad_remes_ve_ad_of, t1) = HOLDS(from-human-until-livestock-until-creeper-and-until-flying-creature, t1) The wipe-scope: from-human to-livestock to-creeper to-bird — VERBATIM 6:7's decree list, word for word (DB compare): the execution QUOTES the decree, humankind FIRST — where 7:21's dying-list put humankind LAST. The dying is told creation-wise; the wiping decree-wise [letter fact, held]. | מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמַיִם · me-adam ad-behemah ad-remes ve-ad-of ha-shamayim = human until-livestock until-creeper and-until-flying-creature heavens | — | tested |
| EVENT | wiped(e9) ∧ Theme(e9, kol_ha_yequm) = wiped(e9) ∧ Theme(e9, all-the-standing-substance) VA-YIMACHU — 'and they WERE WIPED from the earth': MACHAH token 4, niphal (simple passive), agentless (TIR-032) — tokens 3 AND 4 in ONE verse: the deed and the undergoing, doubled. The verse performs the wipe from both sides and names no wiper. | וַיִּמָּחוּ מִן־הָאָרֶץ · va-yimachu min-ha-aretz = they-were-wiped from-the-earth | TIR-032 | tested |
| EVENT | remain(e10) ∧ Theme(e10, akh_noach_va_asher_ito) = remain(e10) ∧ Theme(e10, only-Noach-and-which-with-him) VA-YISHAER AKH-NOACH — 'and ONLY NOACH WAS LEFT, and those with him in the ark': SHAAR, the REMNANT-ROOT, FIRST TOKEN of 29 in the Torah — niphal, agentless (TIR-032), born naming one man and a boat's company at the bottom of the flood (career: the war's survivors 14:10, Jacob's camp-that-is-left 32:9, Benjamin left alone 42:38, what the plagues leave). AKH ('only') — the restriction particle — rides the debut [the chain reads the particle as diminution, BR 32:11; named-only]. The word every remnant-promise will stand on is minted here. | וַיִשָּׁאֶר אַךְ־נֹחַ וַאֲשֶׁר אִתּוֹ בַּתֵּבָה · va-yishaer akh-Noach va-asher ito ba-tevah = was-left only-Noach which with-him ark | TIR-032 | tested |
| NOTE_PRESUPPOSED | noach are READ without prior install (gen_17's boarder, resumed mid-story) = Noach are READ without prior install (gen-17's boarder, resumed mid-story) flag, not fix (single name; the machine's READ-notation kept verbatim) | — | — | tested |
STEP_Gn_7_24 · Gen.7.24 · THE_HUNDRED_AND_FIFTY_DAYS
וַיִּגְבְּרוּ הַמַּיִם עַל־הָאָרֶץ חֲמִשִּׁים וּמְאַת יוֹם · va-yigberu ha-mayim al-ha-aretz chamishim u-meat yom · [EN-AID/JPS] And the waters prevailed upon the earth a hundred and fifty days.
ויגברו המים על הארץ · va-yigberu ha-mayim al-ha-aretz · and the waters prevailed on the earth (etnachta arm)
חמשים ומאת יום · chamishim u-meat yom · fifty and a hundred days
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | prevail(e11) ∧ Agent(e11, ha_mayim) = prevail(e11) ∧ Agent(e11, the-waters) VA-YIGBERU — 'and the waters PREVAILED': the cluster's FOURTH and closing beat (and-then form again, matching 7:18's opening beat — the cluster is a ring: event, state, state, event). The unit's last verb belongs to the waters. | וַיִּגְבְּרוּ הַמַּיִם עַל־הָאָרֶץ · va-yigberu ha-mayim al-ha-aretz = and-yigberu waters over-the-earth | — | tested |
| PRECONDITION_STATE | HOLDS(chamishim_u_meat_yom_al_ha_aretz, t1) = HOLDS(fifty-and-hundred-day-over-the-earth, t1) CHAMISHIM U-MEAT YOM — 'FIFTY and a HUNDRED days', the letter counting small-first [Onkelos reverses to big-first; noted]: the phrase occurs exactly TWICE in the Torah — here (the rise's duration) and 8:3 (the recession's): a bracket opened here and closed there, like heaven's windows (7:11/8:2). A DURATION, not a date: no TIME anchor (decision recorded) — the unit ends underwater with the clock unset and the waters still prevailing. | חֲמִשִּׁים וּמְאַת יוֹם · chamishim u-meat yom = fifty hundred day | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 7:17 — all registers empty (standalone unit) |
| S_risen | After 7:17 — the forty-fact holds; the waters LIFT the ark (bear-verb token 2, waters as agent) and it RISES (rise-verb debut); tevah/mayim flagged as read |
| S_walking | After 7:18 — the prevail-verb debuts (beat 1 of 4); the increase-fact holds; the ark WALKS the face of the waters (the 1:2 hover-line) |
| S_under | After 7:19-20 — the exceedingly-state and the totality clause hold; the mountains covered twice (cover-verb debut, agentless); the fifteen-cubit measure holds |
| S_expired | After 7:21-22 — all flesh expired (decree-verb receipted); the dying-list with humankind last; the compounded breath-criterion and the dry-land death hold |
| S_wiped | After 7:23 — the wipe executed twice (active + agentless passive), no name on the page; the decree-scope quoted verbatim; ONLY NOACH LEFT (remnant-root debut); noach flagged as read |
| S_prevailing | After 7:24 — the fourth prevail-beat; the hundred-fifty-day fact holds; the unit ends underwater, queue empty as it began |
| from | to | via |
|---|---|---|
| S_boot | S_risen | STEP_Gn_7_17 |
| S_risen | S_walking | STEP_Gn_7_18 |
| S_walking | S_under | STEP_Gn_7_19 |
| S_under | S_under | STEP_Gn_7_20 |
| S_under | S_expired | STEP_Gn_7_21 |
| S_expired | S_expired | STEP_Gn_7_22 |
| S_expired | S_wiped | STEP_Gn_7_23 |
| S_wiped | S_prevailing | STEP_Gn_7_24 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The waters lift the ark and it rises: after STEP_Gn_7_17 | All registers empty (standalone unit). | Facts ha_mabul_arbaim_yom HOLD; flags tevah/mayim as read-before-install; SPECS empty. = Facts the-deluge-forty-day HOLD; flags ark/waters as read-before-install; SPECS empty. | וַיִּשְׂאוּ אֶת־הַתֵּבָה וַתָּרָם מֵעַל הָאָרֶץ · va-yisu et-ha-tevah va-taram me-al ha-aretz = they-lifted obj-marker·et-the-ark it-rose over earth |
| S2 | The prevail-verb debuts and the ark walks: after STEP_Gn_7_18 | S1 state. | Facts va_yirbu_meod_al_ha_aretz HOLD; SPECS empty. = Facts and-increased-very-over-the-earth HOLD; SPECS empty. | וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם · va-telekh ha-tevah al-pnei ha-mayim = it-walked ark over-face-of waters |
| S3 | The high mountains under all the heavens go under: after STEP_Gn_7_19 | S2 state. | Facts gavru_meod_meod/kol_he_harim_ha_gevohim HOLD. = Facts prevailed-very-very/all-he-mountains-the-high HOLD. | וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים · va-yekhusu kol-he-harim ha-gevohim = were-covered all-he-mountains high |
| S4 | Fifteen cubits in the blueprint's unit: after STEP_Gn_7_20 | S3 state. | Facts chamesh_esreh_amah_mi_lemalah_gavru HOLD. = Facts five--teen-cubit-from-upward-prevailed HOLD. | חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה · chamesh esreh amah mi-lemalah = five -teen cubit upward |
| S5 | All flesh expires, humankind last: after STEP_Gn_7_21 | S4 state. | Facts ba_of_u_va_behemah_u_va_chayah HOLD. = Facts in-the-flying-creature-and-and-livestock-and-and-beast HOLD. | וְכֹל הָאָדָם · ve-khol ha-adam = all human |
| S6 | The compounded breath-formula at the drowning: after STEP_Gn_7_22 | S5 state. | Facts nishmat_ruach_chayim_be_apav/mi_kol_asher_be_charavah_metu HOLD. = Facts breath-of-spirit-wind-life-in-his-nostrils/from-all-which-in-dry-land-died HOLD. | נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו · nishmat-ruach chayim be-apav = breath-of-spirit-wind life his-nostrils |
| S7 | The wipe executed, only Noach left: after STEP_Gn_7_23 | S6 state. | Facts me_adam_ad_behemah_ad_remes_ve_ad_of HOLD; flags noach as read-before-install; SPECS empty. = Facts from-human-until-livestock-until-creeper-and-until-flying-creature HOLD; flags Noach as read-before-install; SPECS empty. | וַיִשָּׁאֶר אַךְ־נֹחַ · va-yishaer akh-Noach = was-left only-Noach |
| S8 | The hundred and fifty days, still rising: after STEP_Gn_7_24 | S7 state. | Facts chamishim_u_meat_yom HOLD; SPECS empty. = Facts fifty-and-hundred-day HOLD; SPECS empty. | חֲמִשִּׁים וּמְאַת יוֹם · chamishim u-meat yom = fifty hundred day |
| S9_negative | Negative: the machine's ? stays guarded | A synthetic LET? demand (the machine's own contract self-test). | LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — entries pop demands; nothing but citation moves a mood. | |
| S10_negative | Negative: flags never block | A synthetic commit with TESTS empty (the machine's own contract self-test). | Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_the_waters_bear_the_ark | וַיִּשְׂאוּ אֶת־הַתֵּבָה וַתָּרָם · va-yisu et-ha-tevah va-taram · the nasa bear-verb's token 2 (token 1: Cain's 'too great to BEAR', 4:13) fires ACTIVE and PLURAL with the judgment WATERS as agent — the flood carries the rescue; and the rum rise-verb's Torah DEBUT follows on the ark (career: Abram's raised hand, the staff over the Nile, Israel's high hand out of Egypt); Onkelos passivizes the rise ('it was raised') — dual-track |
| EXPORT_the_ark_walks_the_hover_line | וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם · va-telekh ha-tevah al-pnei ha-mayim · the go-verb stem's token 2 (token 1: the serpent's belly-crawl sentence, 3:14) applied to a vessel, on a THREE-token Torah phrase — the spirit hovers on the face of the waters (1:2), the ark walks it (7:18), the calf-dust is scattered on it (Exod 32:20); the builder walked with God (6:9), his build walks the deep; Onkelos de-animates to a durative participle — dual-track |
| EXPORT_prevail_born_as_flood | וַיִּגְבְּרוּ הַמַּיִם … גָּבְרוּ … גָּבְרוּ … וַיִּגְבְּרוּ · va-yigberu ha-mayim … gavru … gavru … va-yigberu · GAVAR ('prevail/be strong') — 7 Torah tokens total, tokens 1-4 ALL in this span (7:18, 19, 20, 24): the strengthen-verb born as four beats of rising water, ringed and-then/perfect/perfect/and-then (two events framing two states); career: the father's blessings prevail (49:26), Israel and Amalek prevail by Moses' hands (Exod 17:11) |
| EXPORT_mountains_debut_drowned | וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים אֲשֶׁר־תַּחַת כָּל־הַשָּׁמָיִם · va-yekhusu kol-he-harim ha-gevohim asher-tachat kol-ha-shamayim · HAR ('mountain') enters the corpus at 7:19-20 already under water (token 3: the ark RESTS on the mountains of Ararat, 8:4); GAVOHA ('high') debuts on the drowned peaks (3 Torah tokens); KASAH ('cover') debuts as two agentless passives burying them — and its next token covers a father's nakedness (9:23); AMAH ('cubit') token 5 measures the flood in the ark-blueprint's own unit (tokens 1-4: the spec; token 6: the ark of the covenant, Exod 25:10) |
| EXPORT_three_death_orders | בָּעוֹף וּבַבְּהֵמָה וּבַחַיָּה וּבְכָל־הַשֶּׁרֶץ … וְכֹל הָאָדָם / מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף · ba-of u-va-behemah u-va-chayah u-ve-khol-ha-sheretz … ve-khol ha-adam / me-adam ad-behemah ad-remes ve-ad-of · the dying-list (7:21) runs bird-to-HUMANKIND-LAST (man isolated on the verse-end arm); the wipe-scope (7:23) quotes 6:7's decree VERBATIM with humankind FIRST; neither is creation's build order: the dying is told creation-wise, the wiping decree-wise — three orders held as letter fact, no harmonizing |
| EXPORT_compounded_breath | נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו · nishmat-ruach chayim be-apav · 2:7's gift-formula (nishmat chayim, 'breath of life') quoted at the drowning one word WIDER — nishmat-RUACH chayim ('breath of the SPIRIT of life'); NESHAMAH has exactly 3 Torah tokens (the gift, the drowning, the ban of Deut 20:16); quote-diff held at PROSE (2:7 frozen in a prior unit; no cross-unit machine spec) [OPEN: what the inserted ruach marks]; Onkelos preserves the compound word for word; and CHARAVAH ('dry land') is a two-token word shared with the sea's rescue-path (Exod 14:21) |
| EXPORT_wipe_executed_nameless | וַיִּמַח אֶת־כָּל־הַיְקוּם … וַיִּמָּחוּ · va-yimach et-kol-ha-yequm … va-yimachu · MACHAH ('wipe') tokens 3 AND 4 in one verse — active deed + niphal undergoing, doubled; YEQUM ('standing-substance') token 2 of exactly 3; the span holds ZERO divine names (and zero speech, zero imperatives): the executioner is covert, his nearest named antecedent across the unit boundary (YHWH shuts, 7:16); gen_15's wipe-demand is NOT popped — standalone queues; the Stage E linker's test case |
| EXPORT_remnant_root_born | וַיִשָּׁאֶר אַךְ־נֹחַ וַאֲשֶׁר אִתּוֹ בַּתֵּבָה · va-yishaer akh-Noach va-asher ito ba-tevah · SHAAR ('be left / remain') — the REMNANT-ROOT's first Torah token (of 29), niphal agentless, born naming one man and a boat's company at the bottom of the flood, with AKH ('only') riding the debut; career: the war's survivors (14:10), Jacob's camp-that-is-left (32:9), Benjamin alone (42:38), what the plagues leave; the word remnant-theology stands on is minted at the corpus's emptiest moment |
Oral notes (named, tiered, dual-track — never merged)
וַיִשָּׁאֶר אַךְ־נֹחַ · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 7:17-24 — twelfth tripwire span. Detector classes predicted: BR 32:11's akh-reading is a restriction-particle class (doctrine from a single limiting word); Zevachim 113's exemption debate is a totality-clause-scope class (how far 'under ALL the heavens' reaches); the fifteen-cubit draft-arithmetic is a measure-harmonization class.
Queue entry — no claim made beyond the naming.
וְאִשְׁתָּאַר בְּרַם נֹחַ · ve-ishtaar beram Noach · The span's translation witness: the lift kept ACTIVE (the waters keep the deed) but the RISE PASSIVIZED (va-taram 'and it rose' -> ve-ittaramat 'and it WAS RAISED' — the ark's one self-verb handed to an unnamed lifter; flagged); the WALK de-animated (va-telekh 'and it walked' -> u-mehallekha 'and it was moving about', durative participle; flagged) while the face-of-the-waters echo SURVIVES (al apei mayya, 'on the face of the waters'); the buffer's 'high mountains' is the RUM-root adjective (turaya ramaya, 'the high mountains') — peaks and ark-lift tied by one root the Hebrew keeps separate; the prevail-cluster survives as one verb (tekifu, 'grew mighty', x4 — the doubled 'very' kept doubled); the expire-verb leveled to the plain die-verb (the 6:17 decree-echo lost; flagged); the remes/sheretz crawl-words leveled to one root; the COMPOUNDED breath-formula preserved word for word (nishmeta rucha de-chayin, 'breath of the spirit of life' — the quote-diff is translation-stable); the two-token dry-land word leveled to the common one (be-yabbeshta, 'on the dry ground'; flagged); the wipe kept DOUBLE (u-mecha 'and He wiped' / ve-itmechiu 'and they were wiped'), the remnant kept in its own cognate (ve-ishtaar, 'and he was left'), the restriction kept (beram, 'only'); the 150 reversed to big-first; and ZERO divine names inserted — the covert subject stays covert.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.7.17 · parser unique · 14 words
PHRASE (binary 14w) וַֽ/יְהִ֧י הַ/מַּבּ֛וּל אַרְבָּעִ֥ים י֖וֹם עַל …
├── PHRASE (binary 6w) וַֽ/יְהִ֧י הַ/מַּבּ֛וּל אַרְבָּעִ֥ים י֖וֹם עַל …
│ ├── PHRASE (binary 4w) וַֽ/יְהִ֧י הַ/מַּבּ֛וּל אַרְבָּעִ֥ים י֖וֹם
│ │ ├── [0-1] GLUE וַֽ/יְהִ֧י הַ/מַּבּ֛וּל (tevir, rank=3)
│ │ └── [2-3] GLUE אַרְבָּעִ֥ים י֖וֹם (tifcha, rank=2)
│ └── [4-5] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַ/יִּרְבּ֣וּ הַ/מַּ֗יִם וַ/יִּשְׂאוּ֙ אֶת הַ/ת…
├── PHRASE (binary 5w) וַ/יִּרְבּ֣וּ הַ/מַּ֗יִם וַ/יִּשְׂאוּ֙ אֶת הַ/ת…
│ ├── [6-7] GLUE וַ/יִּרְבּ֣וּ הַ/מַּ֗יִם (revia, rank=3)
│ └── PHRASE (binary 3w) וַ/יִּשְׂאוּ֙ אֶת הַ/תֵּבָ֔ה
│ ├── [8] וַ/יִּשְׂאוּ֙ (pashta, rank=3)
│ └── [9-10] GLUE אֶת הַ/תֵּבָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/תָּ֖רָם מֵ/עַ֥ל הָ/אָֽרֶץ
├── [11] וַ/תָּ֖רָם (tifcha, rank=2)
└── [12-13] GLUE מֵ/עַ֥ל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.7.18 · parser unique · 11 words
PHRASE (binary 11w) וַ/יִּגְבְּר֥וּ הַ/מַּ֛יִם וַ/יִּרְבּ֥וּ מְאֹ֖ד…
├── PHRASE (binary 6w) וַ/יִּגְבְּר֥וּ הַ/מַּ֛יִם וַ/יִּרְבּ֥וּ מְאֹ֖ד…
│ ├── PHRASE (binary 4w) וַ/יִּגְבְּר֥וּ הַ/מַּ֛יִם וַ/יִּרְבּ֥וּ מְאֹ֖ד
│ │ ├── [0-1] GLUE וַ/יִּגְבְּר֥וּ הַ/מַּ֛יִם (tevir, rank=3)
│ │ └── [2-3] GLUE וַ/יִּרְבּ֥וּ מְאֹ֖ד (tifcha, rank=2)
│ └── [4-5] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/תֵּ֥לֶךְ הַ/תֵּבָ֖ה עַל פְּנֵ֥י הַ/מָּֽיִם
├── [6-7] GLUE וַ/תֵּ֥לֶךְ הַ/תֵּבָ֖ה (tifcha, rank=2)
└── [8-10] GLUE עַל פְּנֵ֥י הַ/מָּֽיִם (silluq (verse-end emperor), rank=1)
Gen.7.19 · parser unique · 14 words
PHRASE (binary 14w) וְ/הַ/מַּ֗יִם גָּֽבְר֛וּ מְאֹ֥ד מְאֹ֖ד עַל הָ/א…
├── PHRASE (binary 6w) וְ/הַ/מַּ֗יִם גָּֽבְר֛וּ מְאֹ֥ד מְאֹ֖ד עַל הָ/א…
│ ├── PHRASE (binary 4w) וְ/הַ/מַּ֗יִם גָּֽבְר֛וּ מְאֹ֥ד מְאֹ֖ד
│ │ ├── [0] וְ/הַ/מַּ֗יִם (revia, rank=3)
│ │ └── PHRASE (binary 3w) גָּֽבְר֛וּ מְאֹ֥ד מְאֹ֖ד
│ │ ├── [1] גָּֽבְר֛וּ (tevir, rank=3)
│ │ └── [2-3] GLUE מְאֹ֥ד מְאֹ֖ד (tifcha, rank=2)
│ └── [4-5] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַ/יְכֻסּ֗וּ כָּל הֶֽ/הָרִים֙ הַ/גְּבֹהִ֔ים אֲש…
├── PHRASE (binary 4w) וַ/יְכֻסּ֗וּ כָּל הֶֽ/הָרִים֙ הַ/גְּבֹהִ֔ים
│ ├── [6] וַ/יְכֻסּ֗וּ (revia, rank=3)
│ └── PHRASE (binary 3w) כָּל הֶֽ/הָרִים֙ הַ/גְּבֹהִ֔ים
│ ├── [7-8] GLUE כָּל הֶֽ/הָרִים֙ (pashta, rank=3)
│ └── [9] הַ/גְּבֹהִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אֲשֶׁר תַּ֖חַת כָּל הַ/שָּׁמָֽיִם
├── [10-11] GLUE אֲשֶׁר תַּ֖חַת (tifcha, rank=2)
└── [12-13] GLUE כָּל הַ/שָּׁמָֽיִם (silluq (verse-end emperor), rank=1)
Gen.7.20 · parser unique · 8 words
PHRASE (binary 8w) חֲמֵ֨שׁ עֶשְׂרֵ֤ה אַמָּה֙ מִ/לְ/מַ֔עְלָ/ה גָּבְ…
├── PHRASE (binary 6w) חֲמֵ֨שׁ עֶשְׂרֵ֤ה אַמָּה֙ מִ/לְ/מַ֔עְלָ/ה גָּבְ…
│ ├── PHRASE (binary 4w) חֲמֵ֨שׁ עֶשְׂרֵ֤ה אַמָּה֙ מִ/לְ/מַ֔עְלָ/ה
│ │ ├── [0-2] GLUE חֲמֵ֨שׁ עֶשְׂרֵ֤ה אַמָּה֙ (pashta, rank=3)
│ │ └── [3] מִ/לְ/מַ֔עְלָ/ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) גָּבְר֖וּ הַ/מָּ֑יִם
│ ├── [4] גָּבְר֖וּ (tifcha, rank=2)
│ └── [5] הַ/מָּ֑יִם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וַ/יְכֻסּ֖וּ הֶ/הָרִֽים
├── [6] וַ/יְכֻסּ֖וּ (tifcha, rank=2)
└── [7] הֶ/הָרִֽים (silluq (verse-end emperor), rank=1)
Gen.7.21 · parser unique · 16 words
PHRASE (binary 16w) וַ/יִּגְוַ֞ע כָּל בָּשָׂ֣ר הָ/רֹמֵ֣שׂ עַל הָ/אָ…
├── PHRASE (binary 14w) וַ/יִּגְוַ֞ע כָּל בָּשָׂ֣ר הָ/רֹמֵ֣שׂ עַל הָ/אָ…
│ ├── PHRASE (binary 9w) וַ/יִּגְוַ֞ע כָּל בָּשָׂ֣ר הָ/רֹמֵ֣שׂ עַל הָ/אָ…
│ │ ├── PHRASE (binary 6w) וַ/יִּגְוַ֞ע כָּל בָּשָׂ֣ר הָ/רֹמֵ֣שׂ עַל הָ/אָ…
│ │ │ ├── [0] וַ/יִּגְוַ֞ע (gershayim, rank=4)
│ │ │ └── [1-5] GLUE כָּל בָּשָׂ֣ר הָ/רֹמֵ֣שׂ עַל הָ/אָ֗רֶץ (revia, rank=3)
│ │ └── PHRASE (binary 3w) בָּ/ע֤וֹף וּ/בַ/בְּהֵמָה֙ וּ/בַ֣/חַיָּ֔ה
│ │ ├── [6-7] GLUE בָּ/ע֤וֹף וּ/בַ/בְּהֵמָה֙ (pashta, rank=3)
│ │ └── [8] וּ/בַ֣/חַיָּ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וּ/בְ/כָל הַ/שֶּׁ֖רֶץ הַ/שֹּׁרֵ֣ץ עַל הָ/אָ֑רֶץ
│ ├── [9-10] GLUE וּ/בְ/כָל הַ/שֶּׁ֖רֶץ (tifcha, rank=2)
│ └── [11-13] GLUE הַ/שֹּׁרֵ֣ץ עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וְ/כֹ֖ל הָ/אָדָֽם
├── [14] וְ/כֹ֖ל (tifcha, rank=2)
└── [15] הָ/אָדָֽם (silluq (verse-end emperor), rank=1)
Gen.7.22 · parser unique · 10 words
PHRASE (binary 10w) כֹּ֡ל אֲשֶׁר֩ נִשְׁמַת ר֨וּחַ חַיִּ֜ים בְּ/אַפּ… ├── PHRASE (binary 9w) כֹּ֡ל אֲשֶׁר֩ נִשְׁמַת ר֨וּחַ חַיִּ֜ים בְּ/אַפּ… │ ├── PHRASE (binary 6w) כֹּ֡ל אֲשֶׁר֩ נִשְׁמַת ר֨וּחַ חַיִּ֜ים בְּ/אַפּ… │ │ ├── [0] כֹּ֡ל (pazer, rank=4) │ │ └── PHRASE (binary 5w) אֲשֶׁר֩ נִשְׁמַת ר֨וּחַ חַיִּ֜ים בְּ/אַפָּ֗י/ו │ │ ├── [1-4] GLUE אֲשֶׁר֩ נִשְׁמַת ר֨וּחַ חַיִּ֜ים (geresh, rank=4) │ │ └── [5] בְּ/אַפָּ֗י/ו (revia, rank=3) │ └── PHRASE (binary 3w) מִ/כֹּ֛ל אֲשֶׁ֥ר בֶּ/חָֽרָבָ֖ה │ ├── [6] מִ/כֹּ֛ל (tevir, rank=3) │ └── [7-8] GLUE אֲשֶׁ֥ר בֶּ/חָֽרָבָ֖ה (tifcha, rank=2) └── [9] מֵֽתוּ (silluq (verse-end emperor), rank=1)
Gen.7.23 · parser unique · 25 words
PHRASE (binary 25w) וַ/יִּ֜מַח אֶֽת כָּל הַ/יְק֣וּם אֲשֶׁ֣ר עַל פְּ…
├── PHRASE (binary 19w) וַ/יִּ֜מַח אֶֽת כָּל הַ/יְק֣וּם אֲשֶׁ֣ר עַל פְּ…
│ ├── PHRASE (binary 16w) וַ/יִּ֜מַח אֶֽת כָּל הַ/יְק֣וּם אֲשֶׁ֣ר עַל פְּ…
│ │ ├── PHRASE (binary 8w) וַ/יִּ֜מַח אֶֽת כָּל הַ/יְק֣וּם אֲשֶׁ֣ר עַל פְּ…
│ │ │ ├── [0] וַ/יִּ֜מַח (geresh, rank=4)
│ │ │ └── [1-7] GLUE אֶֽת כָּל הַ/יְק֣וּם אֲשֶׁ֣ר עַל פְּנֵ֣י הָֽ/אֲדָמָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 8w) מֵ/אָדָ֤ם עַד בְּהֵמָה֙ עַד רֶ֨מֶשׂ֙ וְ/עַד ע֣ו…
│ │ ├── [8-10] GLUE מֵ/אָדָ֤ם עַד בְּהֵמָה֙ (pashta, rank=3)
│ │ └── PHRASE (binary 5w) עַד רֶ֨מֶשׂ֙ וְ/עַד ע֣וֹף הַ/שָּׁמַ֔יִם
│ │ ├── [11-12] GLUE עַד רֶ֨מֶשׂ֙ (pashta, rank=3)
│ │ └── [13-15] GLUE וְ/עַד ע֣וֹף הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יִּמָּח֖וּ מִן הָ/אָ֑רֶץ
│ ├── [16] וַ/יִּמָּח֖וּ (tifcha, rank=2)
│ └── [17-18] GLUE מִן הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יִשָּׁ֧אֶר אַךְ נֹ֛חַ וַֽ/אֲשֶׁ֥ר אִתּ֖/וֹ ב…
├── PHRASE (binary 5w) וַ/יִשָּׁ֧אֶר אַךְ נֹ֛חַ וַֽ/אֲשֶׁ֥ר אִתּ֖/וֹ
│ ├── [19-21] GLUE וַ/יִשָּׁ֧אֶר אַךְ נֹ֛חַ (tevir, rank=3)
│ └── [22-23] GLUE וַֽ/אֲשֶׁ֥ר אִתּ֖/וֹ (tifcha, rank=2)
└── [24] בַּ/תֵּבָֽה (silluq (verse-end emperor), rank=1)
Gen.7.24 · parser unique · 7 words
PHRASE (binary 7w) וַ/יִּגְבְּר֥וּ הַ/מַּ֖יִם עַל הָ/אָ֑רֶץ חֲמִשׁ…
├── PHRASE (binary 4w) וַ/יִּגְבְּר֥וּ הַ/מַּ֖יִם עַל הָ/אָ֑רֶץ
│ ├── [0-1] GLUE וַ/יִּגְבְּר֥וּ הַ/מַּ֖יִם (tifcha, rank=2)
│ └── [2-3] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) חֲמִשִּׁ֥ים וּ/מְאַ֖ת יֽוֹם
├── [4-5] GLUE חֲמִשִּׁ֥ים וּ/מְאַ֖ת (tifcha, rank=2)
└── [6] יֽוֹם (silluq (verse-end emperor), rank=1)
Word coverage — 105/105 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.7.17 | 0 | ויהי | va-yehi | and-be | and-be | logic_bearing | none |
| Gen.7.17 | 1 | המבול | ha-mabul | the-deluge | MABUL_token_5 | logic_bearing | none |
| Gen.7.17 | 2 | ארבעים | arbaim | forty | forty | logic_bearing | none |
| Gen.7.17 | 3 | יום | yom | day | day | logic_bearing | none |
| Gen.7.17 | 4 | על | al | over | over | logic_bearing | none |
| Gen.7.17 | 5 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.17 | 6 | וירבו | va-yirbu | and-increased | and-increased | logic_bearing | none |
| Gen.7.17 | 7 | המים | ha-mayim | the-waters | the-waters | logic_bearing | none |
| Gen.7.17 | 8 | וישאו | va-yisu | and-they-lifted | NASA_token_2_waters_as_agent | logic_bearing | none |
| Gen.7.17 | 9 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.7.17 | 10 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.17 | 11 | ותרם | va-taram | and-it-rose | RUM_FIRST_TOKEN_high_hand_next | logic_bearing | none |
| Gen.7.17 | 12 | מעל | me-al | from-over | from-over | logic_bearing | none |
| Gen.7.17 | 13 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.18 | 0 | ויגברו | va-yigbru | and-prevailed | GAVAR_FIRST_TOKEN_debut_cluster | logic_bearing | none |
| Gen.7.18 | 1 | המים | ha-mayim | the-waters | the-waters | logic_bearing | none |
| Gen.7.18 | 2 | וירבו | va-yirbu | and-increased | and-increased | logic_bearing | none |
| Gen.7.18 | 3 | מאד | meod | very | very | logic_bearing | none |
| Gen.7.18 | 4 | על | al | over | over | logic_bearing | none |
| Gen.7.18 | 5 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.18 | 6 | ותלך | va-telekh | and-it-walked | YALAKH_token_2_serpent_was_first | logic_bearing | none |
| Gen.7.18 | 7 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.18 | 8 | על | al | over | over | logic_bearing | none |
| Gen.7.18 | 9 | פני | pene | face-of | AL_PNEI_HA_MAYIM_1_2_echo | logic_bearing | none |
| Gen.7.18 | 10 | המים | ha-mayim | the-waters | the-waters | logic_bearing | none |
| Gen.7.19 | 0 | והמים | ve-ha-mayim | and-the-waters | and-the-waters | logic_bearing | none |
| Gen.7.19 | 1 | גברו | gavru | prevailed | gavar_token_2_perfect_state | logic_bearing | none |
| Gen.7.19 | 2 | מאד | meod | very | very | logic_bearing | none |
| Gen.7.19 | 3 | מאד | meod | very | very | logic_bearing | none |
| Gen.7.19 | 4 | על | al | over | over | logic_bearing | none |
| Gen.7.19 | 5 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.19 | 6 | ויכסו | va-yekhusu | and-were-covered | KASAH_FIRST_TOKEN_pual_agentless | logic_bearing | none |
| Gen.7.19 | 7 | כל | kal | all | all | logic_bearing | none |
| Gen.7.19 | 8 | ההרים | he-harim | the-mountains | HAR_FIRST_TOKEN_drowned_at_debut | logic_bearing | none |
| Gen.7.19 | 9 | הגבהים | ha-gevohim | the-high | GAVOHA_FIRST_TOKEN_of_3 | logic_bearing | none |
| Gen.7.19 | 10 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.19 | 11 | תחת | tachat | under | under | logic_bearing | none |
| Gen.7.19 | 12 | כל | kal | all | all | logic_bearing | none |
| Gen.7.19 | 13 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.7.20 | 0 | חמש | chamesh | five | fifteen_cubits | logic_bearing | none |
| Gen.7.20 | 1 | עשרה | esre | teen | fifteen_cubits_b | logic_bearing | none |
| Gen.7.20 | 2 | אמה | ama | cubit | AMAH_token_5_blueprint_unit | logic_bearing | none |
| Gen.7.20 | 3 | מלמעלה | mi-le-mala-h | upward | mi_lemalah_upward | logic_bearing | none |
| Gen.7.20 | 4 | גברו | gavru | prevailed | gavar_token_3_perfect_state | logic_bearing | none |
| Gen.7.20 | 5 | המים | ha-mayim | the-waters | the-waters | logic_bearing | none |
| Gen.7.20 | 6 | ויכסו | va-yekhusu | and-were-covered | kasah_token_2_pual_agentless | logic_bearing | none |
| Gen.7.20 | 7 | ההרים | he-harim | the-mountains | the-mountains | logic_bearing | none |
| Gen.7.21 | 0 | ויגוע | va-yigva | and-expired | GAVA_token_2_decree_verb_receipted | logic_bearing | none |
| Gen.7.21 | 1 | כל | kal | all | all | logic_bearing | none |
| Gen.7.21 | 2 | בשר | basar | flesh | flesh | logic_bearing | none |
| Gen.7.21 | 3 | הרמש | ha-romes | the-creeping | the-creeping | logic_bearing | none |
| Gen.7.21 | 4 | על | al | over | over | logic_bearing | none |
| Gen.7.21 | 5 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.21 | 6 | בעוף | ba-of | in-flying-creature | in-flying-creature | logic_bearing | none |
| Gen.7.21 | 7 | ובבהמה | u-va-behema | and-in-livestock | and-in-livestock | logic_bearing | none |
| Gen.7.21 | 8 | ובחיה | u-va-chaya | and-in-beast | and-in-beast | logic_bearing | none |
| Gen.7.21 | 9 | ובכל | u-ve-khal | and-in-all | and-in-all | logic_bearing | none |
| Gen.7.21 | 10 | השרץ | ha-sheretz | the-swarming-creature | the-swarming-creature | logic_bearing | none |
| Gen.7.21 | 11 | השרץ | ha-shoretz | the-swarming | the-swarming | logic_bearing | none |
| Gen.7.21 | 12 | על | al | over | over | logic_bearing | none |
| Gen.7.21 | 13 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.21 | 14 | וכל | ve-khol | and-all | and-all | logic_bearing | none |
| Gen.7.21 | 15 | האדם | ha-adam | the-human | HA_ADAM_last_alone_on_verse_end | logic_bearing | none |
| Gen.7.22 | 0 | כל | kol | all | all | logic_bearing | none |
| Gen.7.22 | 1 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.22 | 2 | נשמת | nishmat | breath-of | NESHAMAH_token_2_of_3_compounded | logic_bearing | none |
| Gen.7.22 | 3 | רוח | rucha | spirit | RUACH_inserted_into_2_7_formula | logic_bearing | none |
| Gen.7.22 | 4 | חיים | chayim | life | life | logic_bearing | none |
| Gen.7.22 | 5 | באפיו | be-apay-v | in-his-nostrils | in-his-nostrils | logic_bearing | none |
| Gen.7.22 | 6 | מכל | mi-kol | from-all | from-all | logic_bearing | none |
| Gen.7.22 | 7 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.22 | 8 | בחרבה | be-charava | on-dry-land | CHARAVAH_two_token_word_sea_next | logic_bearing | none |
| Gen.7.22 | 9 | מתו | metu | died | metu_alone_on_verse_end | logic_bearing | none |
| Gen.7.23 | 0 | וימח | va-yimach | and-He-wiped | MACHAH_token_3_covert_subject | logic_bearing | none |
| Gen.7.23 | 1 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.7.23 | 2 | כל | kal | all | all | logic_bearing | none |
| Gen.7.23 | 3 | היקום | ha-yequm | the-standing-substance | YEQUM_token_2_of_3 | logic_bearing | none |
| Gen.7.23 | 4 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.23 | 5 | על | al | over | over | logic_bearing | none |
| Gen.7.23 | 6 | פני | pene | face-of | face-of | logic_bearing | none |
| Gen.7.23 | 7 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.7.23 | 8 | מאדם | me-adam | from-human | from-human | logic_bearing | none |
| Gen.7.23 | 9 | עד | ad | until | until | logic_bearing | none |
| Gen.7.23 | 10 | בהמה | behema | livestock | livestock | logic_bearing | none |
| Gen.7.23 | 11 | עד | ad | until | until | logic_bearing | none |
| Gen.7.23 | 12 | רמש | remes | creeper | creeper | logic_bearing | none |
| Gen.7.23 | 13 | ועד | ve-ad | and-until | and-until | logic_bearing | none |
| Gen.7.23 | 14 | עוף | of | flying-creature | flying-creature | logic_bearing | none |
| Gen.7.23 | 15 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.7.23 | 16 | וימחו | va-yimachu | and-they-were-wiped | MACHAH_token_4_niphal_agentless | logic_bearing | TIR-032 |
| Gen.7.23 | 17 | מן | min | from | from | logic_bearing | none |
| Gen.7.23 | 18 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.23 | 19 | וישאר | va-yishaer | and-was-left | SHAAR_FIRST_TOKEN_remnant_born | logic_bearing | TIR-032 |
| Gen.7.23 | 20 | אך | akh | only | AKH_restriction_particle | logic_bearing | none |
| Gen.7.23 | 21 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.23 | 22 | ואשר | va-asher | and-which | and-which | logic_bearing | none |
| Gen.7.23 | 23 | אתו | et-o | with-him | with-him | logic_bearing | none |
| Gen.7.23 | 24 | בתבה | ba-teva | in-box | in-box | logic_bearing | none |
| Gen.7.24 | 0 | ויגברו | va-yigbru | and-prevailed | gavar_token_4_closing_beat | logic_bearing | none |
| Gen.7.24 | 1 | המים | ha-mayim | the-waters | the-waters | logic_bearing | none |
| Gen.7.24 | 2 | על | al | over | over | logic_bearing | none |
| Gen.7.24 | 3 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.24 | 4 | חמשים | chamishim | fifty | fifty | logic_bearing | none |
| Gen.7.24 | 5 | ומאת | u-meat | and-hundred | and-hundred | logic_bearing | none |
| Gen.7.24 | 6 | יום | yom | day | day | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_18_the_rise — The rise: the waters lift the ark, all flesh dies, only Noach is left (7:17-24) [frozen]
final state: WORLD=[] (+3 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install']
=== S1 — The waters lift the ark and it rises: after STEP_Gn_7_17
וַיִּשְׂאוּ אֶת־הַתֵּבָה וַתָּרָם מֵעַל הָאָרֶץ (va-yisu et-ha-tevah va-taram me-al ha-aretz)
PASS Facts ha_mabul_arbaim_yom HOLD (1 facts)
PASS flags tevah/mayim as read-before-install (flagged=['mayim', 'tevah'])
PASS SPECS empty. (queue=0)
=== S2 — The prevail-verb debuts and the ark walks: after STEP_Gn_7_18
וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם (va-telekh ha-tevah al-pnei ha-mayim)
PASS Facts va_yirbu_meod_al_ha_aretz HOLD (2 facts)
PASS SPECS empty. (queue=0)
=== S3 — The high mountains under all the heavens go under: after STEP_Gn_7_19
וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים (va-yekhusu kol-he-harim ha-gevohim)
PASS Facts gavru_meod_meod/kol_he_harim_ha_gevohim HOLD. (4 facts)
=== S4 — Fifteen cubits in the blueprint's unit: after STEP_Gn_7_20
חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה (chamesh esreh amah mi-lemalah)
PASS Facts chamesh_esreh_amah_mi_lemalah_gavru HOLD. (5 facts)
=== S5 — All flesh expires, humankind last: after STEP_Gn_7_21
וְכֹל הָאָדָם (ve-khol ha-adam)
PASS Facts ba_of_u_va_behemah_u_va_chayah HOLD. (6 facts)
=== S6 — The compounded breath-formula at the drowning: after STEP_Gn_7_22
נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו (nishmat-ruach chayim be-apav)
PASS Facts nishmat_ruach_chayim_be_apav/mi_kol_asher_be_charavah_metu HOLD. (8 facts)
=== S7 — The wipe executed, only Noach left: after STEP_Gn_7_23
וַיִשָּׁאֶר אַךְ־נֹחַ (va-yishaer akh-Noach)
PASS Facts me_adam_ad_behemah_ad_remes_ve_ad_of HOLD (9 facts)
PASS flags noach as read-before-install (flagged=['mayim', 'noach', 'tevah'])
PASS SPECS empty. (queue=0)
=== S8 — The hundred and fifty days, still rising: after STEP_Gn_7_24
חֲמִשִּׁים וּמְאַת יוֹם (chamishim u-meat yom)
PASS Facts chamishim_u_meat_yom HOLD (10 facts)
PASS SPECS empty. (queue=0)
=== S9_negative — Negative: the machine's ? stays guarded
PASS imperfect-in-command parsed as LET? (question mark kept) (mood=LET?)
PASS auto-upgrade REFUSED (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
PASS upgrade WITH citation allowed (cite=per-unit judgment (owner), TIR-028 resolution)
=== S10_negative — Negative: flags never block
PASS commit proceeded (not blocked) (LEDGER=[99])
PASS pattern deviation FLAGGED (flags=['commit_without_test'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_18_the_rise — 7:17-24
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_18_the_rise.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 rise: the waters lift the ark, all flesh dies, only Noach is left (7:17-24)"""
from machine import Machine
m = Machine("gen_18_the_rise")
# -------------------------- Gen.7.17 · THE_LIFT_AND_THE_RISE ---------------
# וַיְהִי הַמַּבּוּל אַרְבָּעִים יוֹם עַל־הָאָרֶץ וַיִּרְבּוּ הַמַּיִם
# וַיִּשְׂאוּ אֶת־הַתֵּבָה וַתָּרָם מֵעַל הָאָרֶץ
# "And the flood was forty days upon the earth; and the waters increased,
# and bore up the ark, and it was lifted up above the earth."
m.step("Gen.7.17")
# ‹וַיְהִי הַמַּבּוּל אַרְבָּעִים יוֹם עַל־הָאָרֶץ› (“and-be the-deluge
# forty day over the-earth”) — fact holds: the-deluge-forty-day-over-the-
# earth
m.fact("ha_mabul_arbaim_yom_al_ha_aretz")
# ‹וַיִּרְבּוּ הַמַּיִם וַיִּשְׂאוּ אֶת־הַתֵּבָה› (“and-increased the-waters
# and-they-lifted obj-marker the-ark”) — event: lift — agent the-waters;
# theme the-ark
m.event("lift", agent="ha_mayim", themes=["ha_tevah"])
# ‹וַתָּרָם מֵעַל הָאָרֶץ› (“and-it-rose from-over the-earth”) — event: rise
# — theme the-ark
m.event("rise", themes=["ha_tevah"])
# reads without prior install (flag, not fix): ark, waters
m.presupposed("tevah", "mayim")
# -------------------------- Gen.7.18 · THE_PREVAIL_DEBUT_THE_ARK_WALKS -----
# וַיִּגְבְּרוּ הַמַּיִם וַיִּרְבּוּ מְאֹד עַל־הָאָרֶץ וַתֵּלֶךְ הַתֵּבָה
# עַל־פְּנֵי הַמָּיִם
# "And the waters prevailed, and increased greatly upon the earth; and the
# ark went upon the face of the waters."
m.step("Gen.7.18")
# ‹וַיִּגְבְּרוּ הַמַּיִם› (“and-prevailed the-waters”) — event: prevail —
# agent the-waters
m.event("prevail", agent="ha_mayim")
# ‹וַיִּרְבּוּ מְאֹד עַל־הָאָרֶץ› (“and-increased very over the-earth”) —
# fact holds: and-increased-very-over-the-earth
m.fact("va_yirbu_meod_al_ha_aretz")
# ‹וַתֵּלֶךְ הַתֵּבָה עַל־פְּנֵי הַמָּיִם› (“and-it-walked the-ark over
# face-of the-waters”) — event: walk — agent the-ark; theme over-face-of-
# the-waters
m.event("walk", agent="ha_tevah", themes=["al_pnei_ha_mayim"])
# -------------------------- Gen.7.19 · THE_MOUNTAINS_GO_UNDER --------------
# וְהַמַּיִם גָּבְרוּ מְאֹד מְאֹד עַל־הָאָרֶץ וַיְכֻסּוּ כָּל־הֶהָרִים
# הַגְּבֹהִים אֲשֶׁר־תַּחַת כָּל־הַשָּׁמָיִם
# "And the waters prevailed exceedingly upon the earth; and all the high
# mountains that were under the whole heaven were covered."
m.step("Gen.7.19")
# ‹גָּבְרוּ מְאֹד מְאֹד … כָּל־הֶהָרִים הַגְּבֹהִים אֲשֶׁר־תַּחַת
# כָּל־הַשָּׁמָיִם› (“prevailed very very … all the-mountains the-high which
# under all the-heavens”) — fact holds: prevailed-very-very-over-the-earth;
# all-he-mountains-the-high-under-all-the-heavens
m.fact("gavru_meod_meod_al_ha_aretz",
"kol_he_harim_ha_gevohim_tachat_kol_ha_shamayim")
# ‹וַיְכֻסּוּ כָּל־הֶהָרִים הַגְּבֹהִים› (“and-were-covered all the-
# mountains the-high”) — event: cover — theme all-he-mountains-the-high
m.event("cover", themes=["kol_he_harim_ha_gevohim"])
# -------------------------- Gen.7.20 · FIFTEEN_CUBITS_UPWARD ---------------
# חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה גָּבְרוּ הַמָּיִם וַיְכֻסּוּ הֶהָרִים
# "Fifteen cubits upward did the waters prevail; and the mountains were
# covered."
m.step("Gen.7.20")
# ‹חֲמֵשׁ עֶשְׂרֵה אַמָּה מִלְמַעְלָה גָּבְרוּ הַמָּיִם› (“five teen cubit
# upward prevailed the-waters”) — fact holds: five--teen-cubit-from-upward-
# prevailed
m.fact("chamesh_esreh_amah_mi_lemalah_gavru")
# ‹וַיְכֻסּוּ הֶהָרִים› (“and-were-covered the-mountains”) — event: cover —
# theme mountains
m.event("cover", themes=["he_harim"])
# -------------------------- Gen.7.21 · ALL_FLESH_EXPIRES -------------------
# וַיִּגְוַע כָּל־בָּשָׂר הָרֹמֵשׂ עַל־הָאָרֶץ בָּעוֹף וּבַבְּהֵמָה
# וּבַחַיָּה וּבְכָל־הַשֶּׁרֶץ הַשֹּׁרֵץ עַל־הָאָרֶץ וְכֹל הָאָדָם
# "And all flesh perished that moved upon the earth, both fowl, and cattle,
# and beast, and every swarming thing that swarmeth upon the earth, and
# every man;"
m.step("Gen.7.21")
# ‹וַיִּגְוַע כָּל־בָּשָׂר› (“and-expired all flesh”) — event: expire —
# theme all-flesh
m.event("expire", themes=["kol_basar"])
# ‹בָּעוֹף וּבַבְּהֵמָה וּבַחַיָּה וּבְכָל־הַשֶּׁרֶץ … וְכֹל הָאָדָם› (“in-
# flying-creature and-in-livestock and-in-beast and-in-all the-swarming-
# creature … and-all the-human”) — fact holds: in-the-flying-creature-and-
# and-livestock-and-and-beast-and-and-swarming-creature-and-all-the-human
m.fact("ba_of_u_va_behemah_u_va_chayah_u_va_sheretz_ve_khol_ha_adam")
# -------------------------- Gen.7.22 · THE_COMPOUNDED_BREATH_CRITERION -----
# כֹּל אֲשֶׁר נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו מִכֹּל אֲשֶׁר בֶּחָרָבָה
# מֵתוּ
# "all in whose nostrils was the breath of the spirit of life, whatsoever
# was in the dry land, died."
m.step("Gen.7.22")
# ‹נִשְׁמַת־רוּחַ חַיִּים בְּאַפָּיו … מִכֹּל אֲשֶׁר בֶּחָרָבָה מֵתוּ›
# (“breath-of spirit life in-his-nostrils … from-all which on-dry-land
# died”) — fact holds: breath-of-spirit-wind-life-in-his-nostrils; from-all-
# which-in-dry-land-died
m.fact("nishmat_ruach_chayim_be_apav",
"mi_kol_asher_be_charavah_metu")
# -------------------------- Gen.7.23 · THE_WIPE_EXECUTED_ONLY_NOACH_LEFT ---
# וַיִּמַח אֶת־כָּל־הַיְקוּם אֲשֶׁר עַל־פְּנֵי הָאֲדָמָה מֵאָדָם
# עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמַיִם וַיִּמָּחוּ מִן־הָאָרֶץ
# וַיִשָּׁאֶר אַךְ־נֹחַ וַאֲשֶׁר אִתּוֹ בַּתֵּבָה
# "And He blotted out every living substance which was upon the face of the
# ground, both man, and cattle, and creeping thing, and fowl of the heaven;
# and they were blotted out from the earth; and Noah only was left, and they
# that were with him in the ark."
m.step("Gen.7.23")
# ‹וַיִּמַח אֶת־כָּל־הַיְקוּם› (“and-He-wiped obj-marker all the-standing-
# substance”) — event: wipe — theme all-the-standing-substance
m.event("wipe", themes=["kol_ha_yequm"])
# ‹מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמַיִם› (“from-human
# until livestock until creeper and-until flying-creature the-heavens”) —
# fact holds: from-human-until-livestock-until-creeper-and-until-flying-
# creature
m.fact("me_adam_ad_behemah_ad_remes_ve_ad_of")
# ‹וַיִּמָּחוּ מִן־הָאָרֶץ› (“and-they-were-wiped from the-earth”) — event:
# wiped — theme all-the-standing-substance
m.event("wiped", themes=["kol_ha_yequm"])
# ‹וַיִשָּׁאֶר אַךְ־נֹחַ וַאֲשֶׁר אִתּוֹ בַּתֵּבָה› (“and-was-left only Noah
# and-which with-him in-ark”) — event: remain — theme only-Noach-and-which-
# with-him
m.event("remain", themes=["akh_noach_va_asher_ito"])
# reads without prior install (flag, not fix): Noach
m.presupposed("noach")
# -------------------------- Gen.7.24 · THE_HUNDRED_AND_FIFTY_DAYS ----------
# וַיִּגְבְּרוּ הַמַּיִם עַל־הָאָרֶץ חֲמִשִּׁים וּמְאַת יוֹם
# "And the waters prevailed upon the earth a hundred and fifty days."
m.step("Gen.7.24")
# ‹וַיִּגְבְּרוּ הַמַּיִם עַל־הָאָרֶץ› (“and-prevailed the-waters over the-
# earth”) — event: prevail — agent the-waters
m.event("prevail", agent="ha_mayim")
# ‹חֲמִשִּׁים וּמְאַת יוֹם› (“fifty and-hundred day”) — fact holds: fifty-
# and-hundred-day-over-the-earth
m.fact("chamishim_u_meat_yom_al_ha_aretz")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'noach', 'tevah', 'mayim'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 0
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 3}
assert sorted(m.WORLD["facts"]) == sorted(['ha_mabul_arbaim_yom_al_ha_aretz', 'va_yirbu_meod_al_ha_aretz', 'gavru_meod_meod_al_ha_aretz', 'kol_he_harim_ha_gevohim_tachat_kol_ha_shamayim', 'chamesh_esreh_amah_mi_lemalah_gavru', 'ba_of_u_va_behemah_u_va_chayah_u_va_sheretz_ve_khol_ha_adam', 'nishmat_ruach_chayim_be_apav', 'mi_kol_asher_be_charavah_metu', 'me_adam_ad_behemah_ad_remes_ve_ad_of', 'chamishim_u_meat_yom_al_ha_aretz'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 11
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")