The boarding: you have I seen righteous, the date, the shut door (7:1-16) FROZEN
בֹּא־אַתָּה וְכָל־בֵּיתְךָ — וַיִּסְגֹּר יְהוָה בַּעֲדוֹ · bo-atah ve-khol-beitkha — va-yisgor YHWH baado · 'come, you and all your house' — 'and YHWH shut him in'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The boarding (7:1-16): from the come-command to the shut door — 7:17 opens the rise (forty days swelling, the ark lifted), the next block. Inside: the second-person verdict, the clean-cargo amendment, the countdown stack, compliance refrain #2, the entry, the self-loading pairs, refrain #3, the seven days elapsing, THE DATE with its double breach, the rain, the solemn-day boarding list, the full taxonomy, the last pairs, refrain #4 — and the door. The unit ends sealed. | established |
| B | Hebrew source + trees | All 16 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: 7:1 [the come-command | the reason: YOU have I seen righteous]; 7:2 [the clean sevens | the not-clean twos]; 7:4 [seven more days, forty and forty | and I wipe all the standing]; 7:11 [the date, three clauses deep | the double breach: fountains split, windows opened]; 7:13 [the very-day stamp and the eight named | into the ark]; 7:16 [the comers, male and female, as commanded | and YHWH shut him in — the door-clause alone on the verse-end]. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 7:1 BO — imperative (TIR-027), the third to Noach; KI OTKHA RAITI TZADDIK — the righteous-word's token 2 gone SECOND PERSON (6:9 was the narrator's), the seeing-verb carrying the corpus's first person-verdict; BA-DOR HA-ZEH — singular THIS generation against 6:9's plural in-his-generations [letter fact, held; BR 32:5's praise-abridgement teaching lives in that delta — named-only]. 7:2-3 the cargo amendment: TAHOR ("pure") — the law's central adjective, FIRST TOKENS, born in arithmetic before any purity law [OPEN: how known — named-only; token 5 = 8:20, THE ALTAR: the sevens are sacrifice-stock]; the pairs counted ISH VE-ISHTO ("a man and his wife") — marriage-words for animals [letter fact; Onkelos de-personifies]; the not-clean clause carries the he-written/she-read spelling's 4th token (3:12, 3:20, 4:22, 7:2); LE-CHAYOT ZERA — "to keep SEED alive" (the zera thread: 3:15's word as conservation target). 7:4 the countdown stack: seven more days (on the 40s, on the 120); ANOKHI MAMTIR — the rain-verb's token 2 (2:5 WITHHELD rain at creation; token 3 rains fire on Sodom) as imminence participle (TIR-031); U-MACHITI — the wipe-verb's token 2 (gen_15's resolve restated as schedule, weqatal TIR-029); YEQUM — three Torah tokens (decree, execution 7:23, Korach's swallowing). 7:5 COMPLIANCE REFRAIN #2 (YHWH — 6:22's was Elohim; the names alternate across the four refrains). 7:6 Noach 600. 7:7 VA-YAVO — the come-command's own verb returns as the deed (bo -> va-yavo: the echo-receipt class); MI-PNEI MEI HA-MABUL ("from before the waters") [letter fact; the chain's hesitation reading is named-only]. 7:8-9 SHNAYIM SHNAYIM BAU — "two by two THEY CAME": self-loading confirmed in the perfect; REFRAIN #3 (Elohim). 7:10 the seven days elapse. 7:11 THE FIRST FULL CALENDAR DATE — year 600 / month 2 / day 17 — with CHODESH ("month") debuting inside it (first tokens x2); NIVKEU — the split-verb's FIRST token (token 2 = 22:3, Abraham splitting the binding's wood; token 3 = the sea) — the fountains of TEHOM (1:2's deep; resealed 8:2, blessed 49:25) from below; ARUBOT ha-shamayim ("heaven's windows" — exactly two Torah tokens: opened here, shut 8:2) from above: day 2's separation breached both ways at once. 7:12 GESHEM ("rain-shower") debuts, 40/40. 7:13 BE-ETZEM HA-YOM HA-ZEH — the solemn-date formula's FIRST token (career: the circumcision day, the exodus day, Moses' ascent); the eight boarded by name. 7:14 the full taxonomy (by-its-kind x4) + KOL TZIPPOR KOL KANAF ("every bird, every wing" — tzippor debuts; token 2 = 15:10, the covenant pieces). 7:15 the pairs come with RUACH CHAYIM (the breath-criterion). 7:16 the comers male-and-female, REFRAIN #4 (Elohim) — VA-YISGOR YHWH BAADO: SAGAR token 2 (token 1 = 2:21, God closing the flesh; tokens 3-4 = Lot's door): every early closure is protective, and this one splits the names inside one verse — ELOHIM commanded, YHWH shut [letter fact; Onkelos LEVELS the names and rewrites the shutting as SHIELDING — dual-track, flagged]. | tested |
| D | Predicates & outcomes | The unit is an execution log with a sacramental spine: the verdict personalizes (YOU, righteous), the cargo arithmetic quietly provisions a future altar, the countdowns nest, the compliance refrains drumbeat, the date fixes the corpus's first absolute timestamp at the exact moment creation's plumbing reverses — and the door closes from outside. The machine's second settled cycle (come -> came) closes at 7:7; everything after is manifest and seal. The last event is the corpus's tenderest: the Judge as doorkeeper. | tested |
| E | Logic format choice | Operator lines; NO ledger row. 7:1: EVENT say + DECLARE(YHWH, LET(bo(noach, el_ha_tevah))) — TIR-027, imperative #3 — and TEST PASS(tzaddik, noach): the corpus's first PERSON-verdict (the seeing-verb + verdict-adjective in divine speech; the instrument roster grows: tov, shaah, now tzaddik) + NOTE_PRESUPPOSED (noach, tevah). 7:2-4: the cargo amendment and countdown as FACTS (command-bundle continuation; the tahor debut [OPEN]; the wipe restated). 7:5: refrain #2 as FACT. 7:6: the age FACT. 7:7: EVENT come + RESULT popping the bo-demand — SETTLED CYCLE #2 (the demand's own verb returns as the deed). 7:8-10: the self-loading facts + refrain #3 + the elapsed seven. 7:11: TIME_ANCHOR — t0 := shnat_600_chodesh_2_yom_17: the TIME register's FIRST CALENDAR VALUE (gen_08's t0 was a construct-phrase; this is a date) + EVENT split + EVENT open (both niphal agentless, TIR-032 — the double breach). 7:12-15: the rain fact, the solemn-day fact, the taxonomy facts, EVENT come (the animals). 7:16: the comers fact + refrain #4 + EVENT shut (sagar, YHWH as agent) — the unit's closing event. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: otkha_raiti_tzaddik_ba_dor_ha_zeh, shivah_shivah_ha_behemah_ha_tehorah, od_shivat_yamim, shnat_600_chodesh_2_yom_17, be_etzem_ha_yom_ha_zeh, va_yisgor_YHWH_baado. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero for Gen 7:1-16 — eleventh tripwire; gen_17 Tier-A queue): Bavli Sanhedrin 108b (the boarding; the mockers; the lion); Bereshit Rabbah 32 (32:5 — the praise-abridgement teaching derived from the 6:9-vs-7:1 DELTA: the chain running its own quote-diff); Bavli Zevachim 116a (the clean sevens as future offerings); Rashi at 7:2 (how Noach knew) and 7:16 (the shielding). Tier-A Onkelos (16 fetches, FETCHLOG 2026-08-01): 7:16 the shutting -> SHIELDING ("and the LORD PROTECTED over him," bracketed Memra variant) AND the verse's name-split LEVELED (both clauses YY — the letter's Elohim-commands/YHWH-shuts distinction erased; flagged); 7:2 ish ve-ishto -> male-and-female (the animals' wedding-words refused; flagged); 7:4 "at the APPOINTED TIME" inserted; 7:1 bo -> "enter", tzaddik -> zakkai; 7:11 windows -> lattices, the date kept exact; 7:13 the solemn formula -> "at the very point of this day." | tested |
| H | Scenarios | S1 the command and the verdict: LET(bo...) pushed and OPEN; TESTS += PASS(tzaddik, noach); noach/tevah flagged as read. S2 the cargo amendment standing while the demand waits. S3 refrain #2 on the books, demand still open (the entry is 7:7, not 7:5). S4 the entry: SPECS empty — settled cycle #2. S5 the date: TIME t0 = the calendar value. S6 the solemn-day stamp. S7 the seal: the comers' facts hold, the queue empty, the door shut. S8_negative: LET? contract guard; S9_negative: flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (the bo imperative TIR-027, imminence participles TIR-031, weqatal TIR-029, niphal agentless TIR-032, the come-echo receipt, et TIR-014) and DB censuses run BEFORE drafting (tahor / matar / yequm / chodesh / baka / mayan / tehom / arubah / geshem / etzem-formula / tzippor / kanaf / sagar trails; the refrain count; the ktiv-qere token; the name alternation). NOT supplied: how Noach knew the clean, why sevens, the dor singular/plural comparison, or any reading of the name-split at 7:16 — every one [OPEN] or held; the Onkelos shielding and leveling stay dual-track. | established |
| J | Pre-flight + auto-freeze | Pre-flight 2026-08-01 against the UNMODIFIED repo interpreter — zero injected prototypes. Per the standing process orders: AUTO-FREEZE on green, regression, PYTHON RENDERING (must run GREEN), page/index. Amend/narrative/ triage/commit gates unchanged. Changes require a new derive pass, not silent edits. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_7_1 · Gen.7.1 · COME_COMMAND_SECOND_PERSON_VERDICT
וַיֹּאמֶר יְהוָה לְנֹחַ בֹּא־אַתָּה וְכָל־בֵּיתְךָ אֶל־הַתֵּבָה כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי בַּדּוֹר הַזֶּה · va-yomer YHWH le-Noach bo-atah ve-khol-beitkha el-ha-tevah ki-otkha raiti tzaddik lefanai ba-dor ha-zeh · [EN-AID/JPS] And the LORD said unto Noah: 'Come thou and all thy house into the ark; for thee have I seen righteous before Me in this generation.'
ויאמר יהוה לנח בא אתה וכל ביתך אל התבה · va-yomer YHWH le-Noach bo-atah ve-khol-beitkha el-ha-tevah · come, you and all your house, into the ark (etnachta arm)
כי אתך ראיתי צדיק לפני בדור הזה · ki-otkha raiti tzaddik lefanai ba-dor ha-zeh · for YOU have I seen righteous before Me in THIS generation
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(YHWH, LET(bo(noach, el_ha_tevah))) = DECLARE(the-LORD, LET(come(Noach, to-the-ark))) The third imperative to Noach (TIR-027): BO — 'COME' (not 'enter': the command-verb speaks from inside the ark [letter fact, held; the chain's readings are named-only; Onkelos flattens to 'enter']). The demand enters the queue with the household attached: you and all your house. | בֹּא־אַתָּה וְכָל־בֵּיתְךָ אֶל־הַתֵּבָה · bo-atah ve-khol-beitkha el-ha-tevah = come-you and-all-beitkha to-the-ark | TIR-027 | tested |
| TEST | TESTS += PASS(tzaddik, noach) = TESTS += PASS(righteous, Noach) THE CORPUS'S FIRST PERSON-VERDICT: the seeing-verb (raiti, first person) with a verdict-adjective aimed at a MAN — 'YOU have I seen RIGHTEOUS before Me.' The instrument roster grows: tov (the week), shaah (the offerings), now TZADDIK — token 2 of the word, gone second person (6:9 was the narrator's). And the letter shifts number across the two verses: the narrator said in-his-GENERATIONS (plural); the voice says in-THIS- generation (singular) [letter fact, held — BR 32:5 derives its praise-abridgement teaching from exactly this delta; named-only]. | כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי · ki-otkha raiti tzaddik lefanai = that-otkha have-I-seen righteous before-Me | — | tested |
| NOTE_PRESUPPOSED | noach, tevah are READ without prior install (gen_16's builder and build, resumed) = Noach, ark are READ without prior install (gen-16's builder and build, resumed) flag, not fix | — | — | tested |
STEP_Gn_7_2 · Gen.7.2 · CLEAN_SEVENS_AMENDMENT
מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה תִּקַּח־לְךָ שִׁבְעָה שִׁבְעָה אִישׁ וְאִשְׁתּוֹ וּמִן־הַבְּהֵמָה אֲשֶׁר לֹא טְהֹרָה הִוא שְׁנַיִם אִישׁ וְאִשְׁתּוֹ · mi-kol ha-behemah ha-tehorah tiqach-lekha shivah shivah ish ve-ishto u-min-ha-behemah asher lo tehorah hi shnayim ish ve-ishto · [EN-AID/JPS] Of every clean beast thou shalt take to thee seven and seven, each with his mate; and of the beasts that are not clean two and two, each with his mate;
מכל הבהמה הטהורה תקח לך שבעה שבעה איש ואשתו · mi-kol ha-behemah ha-tehorah tiqach-lekha shivah shivah ish ve-ishto · the clean: seven and seven, a man and his wife (etnachta arm)
ומן הבהמה אשר לא טהרה הוא שנים איש ואשתו · u-min-ha-behemah asher lo tehorah hi shnayim ish ve-ishto · the not-clean: two, a man and his wife
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(shivah_shivah_ha_behemah_ha_tehorah, t1) ∧ HOLDS(shnayim_asher_lo_tehorah, t1) = HOLDS(seven-seven-the-livestock-the-clean, t1) ∧ HOLDS(two-which-not-clean, t1) TAHOR ('pure/clean') — THE LAW'S CENTRAL ADJECTIVE, FIRST TOKENS — born in cargo arithmetic two chapters before its altar explains it (token 5 = 8:20: the clean sevens are sacrifice-stock) and long before any purity law exists [OPEN: how Noach knows clean from not-clean — the chain's question; named-only]. The pairs are counted ISH VE-ISHTO ('a MAN and his WIFE') — the human marriage-words applied to animals [letter fact; Onkelos refuses the wedding: male-and-female — dual-track]. The not-clean clause carries the he-written/she-read spelling's 4th token in our spans (3:12, 3:20, 4:22, here). The command-bundle continues (imperfect in the command frame). | הַטְּהוֹרָה … שִׁבְעָה שִׁבְעָה … לֹא טְהֹרָה הִוא שְׁנַיִם · ha-tehorah … shivah shivah … lo tehorah hi shnayim = clean seven seven not clean hi two | TIR-028 | tested |
STEP_Gn_7_3 · Gen.7.3 · BIRDS_AND_THE_SEED_PURPOSE
גַּם מֵעוֹף הַשָּׁמַיִם שִׁבְעָה שִׁבְעָה זָכָר וּנְקֵבָה לְחַיּוֹת זֶרַע עַל־פְּנֵי כָל־הָאָרֶץ · gam me-of ha-shamayim shivah shivah zakhar u-nekevah le-chayot zera al-pnei khol-ha-aretz · [EN-AID/JPS] of the fowl also of the air, seven and seven, male and female; to keep seed alive upon the face of all the earth.
גם מעוף השמים שבעה שבעה זכר ונקבה · gam me-of ha-shamayim shivah shivah zakhar u-nekevah · also the birds: seven and seven, male and female (etnachta arm)
לחיות זרע על פני כל הארץ · le-chayot zera al-pnei khol-ha-aretz · to keep SEED alive on the face of all the earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(le_chayot_zera_al_pnei_khol_ha_aretz, t1) = HOLDS(to-keep-alive-seed-over-face-of-all-the-earth, t1) The mission clause: to keep SEED alive — ZERA, 3:15's contested word and 4:25's replacement word, now the conservation target for the whole earth. The ark's purpose stated in the enmity-verse's noun. | לְחַיּוֹת זֶרַע עַל־פְּנֵי כָל־הָאָרֶץ · le-chayot zera al-pnei khol-ha-aretz = keep-alive seed over-face-of all-the-earth | TIR-030 | tested |
STEP_Gn_7_4 · Gen.7.4 · COUNTDOWN_STACK_WIPE_SCHEDULED
כִּי לְיָמִים עוֹד שִׁבְעָה אָנֹכִי מַמְטִיר עַל־הָאָרֶץ אַרְבָּעִים יוֹם וְאַרְבָּעִים לָיְלָה וּמָחִיתִי אֶת־כָּל־הַיְקוּם אֲשֶׁר עָשִׂיתִי מֵעַל פְּנֵי הָאֲדָמָה · ki le-yamim od shivah anokhi mamtir al-ha-aretz arbaim yom ve-arbaim laylah u-machiti et-kol-ha-yequm asher asiti me-al pnei ha-adamah · [EN-AID/JPS] For yet seven days, and I will cause it to rain upon the earth forty days and forty nights; and every living substance that I have made will I blot out from off the face of the earth.'
כי לימים עוד שבעה אנכי ממטיר על הארץ ארבעים יום וארבעים לילה · ki le-yamim od shivah anokhi mamtir al-ha-aretz arbaim yom ve-arbaim laylah · seven more days — then rain, forty days and forty nights (etnachta arm)
ומחיתי את כל היקום אשר עשיתי מעל פני האדמה · u-machiti et-kol-ha-yequm asher asiti me-al pnei ha-adamah · and I wipe all the standing-substance that I made
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(od_shivat_yamim_anokhi_mamtir, t1) ∧ HOLDS(u_machiti_et_kol_ha_yequm, t1) = HOLDS(still-seven-day-I-raining, t1) ∧ HOLDS(and-I-will-wipe-obj-marker·et-all-the-standing-substance, t1) The countdown stack: SEVEN more days, onto FORTY day/night, onto gen_15's 120. ANOKHI MAMTIR — the rain-verb's token 2 as imminence participle (TIR-031): token 1 was creation WITHHOLDING rain (2:5, lo himtir); token 3 will rain fire on Sodom. U-MACHITI (weqatal, TIR-029) — the wipe-verb's token 2: gen_15's open resolve restated as a schedule, its object now YEQUM ('the standing-substance' — three Torah tokens: this decree, 7:23's execution, and Korach's swallowing) — 'that I MADE': the maker's verb inside the unmaking clause again. | עוֹד שִׁבְעָה אָנֹכִי מַמְטִיר … וּמָחִיתִי אֶת־כָּל־הַיְקוּם · od shivah anokhi mamtir … u-machiti et-kol-ha-yequm = still seven I raining I-will-wipe obj-marker·et-all-the-standing-substance | TIR-031, TIR-029 | tested |
STEP_Gn_7_5 · Gen.7.5 · REFRAIN_TWO
וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה · va-yaas Noach ke-khol asher-tzivahu YHWH · [EN-AID/JPS] And Noah did according unto all that the LORD commanded him.
ויעש נח · va-yaas Noach · and Noach did (the rest after the deed)
ככל אשר צוהו יהוה · ke-khol asher-tzivahu YHWH · according to all YHWH commanded him
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ke_khol_asher_tzivahu_YHWH, t1) = HOLDS(like-all-which-commanded-him-the-LORD, t1) COMPLIANCE REFRAIN #2 (6:22 was the first — Elohim; this one YHWH: the names alternate across the four refrains [letter fact]). Held as standing fact: the preparations receipted in summary; the COME-demand itself stays open — its own receipt is the entry (7:7), in its own verb. | וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה · va-yaas Noach ke-khol asher-tzivahu YHWH = make Noach all which-commanded-him the-LORD | — | tested |
STEP_Gn_7_6 · Gen.7.6 · AGE_AT_THE_FLOOD
וְנֹחַ בֶּן־שֵׁשׁ מֵאוֹת שָׁנָה וְהַמַּבּוּל הָיָה מַיִם עַל־הָאָרֶץ · ve-Noach ben-shesh meot shanah ve-ha-mabul hayah mayim al-ha-aretz · [EN-AID/JPS] And Noah was six hundred years old when the flood of waters was upon the earth.
ונח בן שש מאות שנה · ve-Noach ben-shesh meot shanah · Noach, six hundred years old (etnachta arm)
והמבול היה מים על הארץ · ve-ha-mabul hayah mayim al-ha-aretz · and the flood was — waters on the earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(noach_ben_shesh_meot_shanah, t1) = HOLDS(Noach-son-six-hundred-year, t1) The age-marker: 600 at the flood — gen_14's open row (Noach at 500, the ledger's unfinished line) advanced a century; the date-verse (7:11) will anchor the same number as a calendar epoch. | וְנֹחַ בֶּן־שֵׁשׁ מֵאוֹת שָׁנָה · ve-Noach ben-shesh meot shanah = and-Noach son-six hundred year | — | tested |
STEP_Gn_7_7 · Gen.7.7 · THE_ENTRY_DEMAND_POPPED
וַיָּבֹא נֹחַ וּבָנָיו וְאִשְׁתּוֹ וּנְשֵׁי־בָנָיו אִתּוֹ אֶל־הַתֵּבָה מִפְּנֵי מֵי הַמַּבּוּל · va-yavo Noach u-vanav ve-ishto u-neshei-vanav ito el-ha-tevah mi-pnei mei ha-mabul · [EN-AID/JPS] And Noah went in, and his sons, and his wife, and his sons' wives with him, into the ark, because of the waters of the flood.
ויבא נח ובניו ואשתו ונשי בניו אתו אל התבה · va-yavo Noach u-vanav ve-ishto u-neshei-vanav ito el-ha-tevah · Noach and the eight came into the ark (etnachta arm)
מפני מי המבול · mi-pnei mei ha-mabul · from before the waters of the flood
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | come(e1) ∧ Agent(e1, noach) ∧ Theme(e1, el_ha_tevah) = come(e1) ∧ Agent(e1, Noach) ∧ Theme(e1, to-the-ark) The command's own verb returns as the deed: BO ('come!') -> VA-YAVO ('and he came') — the echo-receipt class (gen_09's make->built; gen_16's make->made). The whole household boards. MI-PNEI MEI HA-MABUL — 'from before the waters' [letter fact, held; the chain's he-hesitated reading is named-only]. | וַיָּבֹא נֹחַ … אֶל־הַתֵּבָה · va-yavo Noach … el-ha-tevah = he-came Noach to-the-ark | — | tested |
| RESULT | RESULT: HOLDS(bo(noach, el_ha_tevah), t1) = RESULT: HOLDS(come(Noach, to-the-ark), t1) The bo-demand POPPED — SETTLED CYCLE #2: gen_16 settled make-and-take with one formula; the boarding settles come with the coming itself. The queue empties six verses into the unit; everything after is manifest and seal. | וַיָּבֹא … אֶל־הַתֵּבָה · va-yavo … el-ha-tevah = he-came to-the-ark | — | tested |
STEP_Gn_7_8 · Gen.7.8 · THE_CARGO_CLASSES
מִן־הַבְּהֵמָה הַטְּהוֹרָה וּמִן־הַבְּהֵמָה אֲשֶׁר אֵינֶנָּה טְהֹרָה וּמִן־הָעוֹף וְכֹל אֲשֶׁר־רֹמֵשׂ עַל־הָאֲדָמָה · min-ha-behemah ha-tehorah u-min-ha-behemah asher einenah tehorah u-min-ha-of ve-khol asher-romes al-ha-adamah · [EN-AID/JPS] Of clean beasts, and of beasts that are not clean, and of fowls, and of every thing that creepeth upon the ground,
מן הבהמה הטהורה ומן הבהמה אשר איננה טהרה · min-ha-behemah ha-tehorah u-min-ha-behemah asher einenah tehorah · the clean and the not-clean (etnachta arm)
ומן העוף וכל אשר רמש על האדמה · u-min-ha-of ve-khol asher-romes al-ha-adamah · the birds and all that creeps
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_tehorah_ve_einenah_tehorah_ve_ha_of_ve_ha_romes, t1) = HOLDS(the-clean-and-is-not-clean-and-the-flying-creature-and-the-creep, t1) The four cargo classes restated for the boarding log — clean, not-clean (EINENAH — the is-not word, 5:24's einenu in the feminine: the vanish-word now a taxonomy negation), birds, creepers. | הַטְּהוֹרָה … אֵינֶנָּה טְהֹרָה … הָעוֹף … רֹמֵשׂ · ha-tehorah … einenah tehorah … ha-of … romes = clean is-not clean flying-creature creep | — | tested |
STEP_Gn_7_9 · Gen.7.9 · SELF_LOADING_REFRAIN_THREE
שְׁנַיִם שְׁנַיִם בָּאוּ אֶל־נֹחַ אֶל־הַתֵּבָה זָכָר וּנְקֵבָה כַּאֲשֶׁר צִוָּה אֱלֹהִים אֶת־נֹחַ · shnayim shnayim bau el-Noach el-ha-tevah zakhar u-nekevah ka-asher tzivah Elohim et-Noach · [EN-AID/JPS] there went in two and two unto Noah into the ark, male and female, as God commanded Noah.
שנים שנים באו אל נח אל התבה · shnayim shnayim bau el-Noach el-ha-tevah · two by two THEY CAME to Noach (etnachta arm)
זכר ונקבה כאשר צוה אלהים את נח · zakhar u-nekevah ka-asher tzivah Elohim et-Noach · male and female, as Elohim commanded
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(shnayim_shnayim_bau_el_noach, t1) ∧ HOLDS(ka_asher_tzivah_elohim_et_noach, t1) = HOLDS(two-two-they-came-to-Noach, t1) ∧ HOLDS(like-which-commanded-God-obj-marker·et-Noach, t1) SELF-LOADING CONFIRMED: BAU — 'they CAME' (perfect): the promise of 6:20 (they shall come) is narrated fact — the cargo delivers itself two by two; Noach receives, never herds. And COMPLIANCE REFRAIN #3 (Elohim — the names alternate: Elohim, YHWH, Elohim, Elohim-then-YHWH). | שְׁנַיִם שְׁנַיִם בָּאוּ … כַּאֲשֶׁר צִוָּה אֱלֹהִים · shnayim shnayim bau … ka-asher tzivah Elohim = two two they-came as/which commanded God | — | tested |
STEP_Gn_7_10 · Gen.7.10 · SEVEN_DAYS_ELAPSE
וַיְהִי לְשִׁבְעַת הַיָּמִים וּמֵי הַמַּבּוּל הָיוּ עַל־הָאָרֶץ · va-yehi le-shivat ha-yamim u-mei ha-mabul hayu al-ha-aretz · [EN-AID/JPS] And it came to pass after the seven days, that the waters of the flood were upon the earth.
ויהי לשבעת הימים · va-yehi le-shivat ha-yamim · and at the seven days' end (etnachta arm)
ומי המבול היו על הארץ · u-mei ha-mabul hayu al-ha-aretz · the flood's waters were on the earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(le_shivat_ha_yamim_mei_ha_mabul, t1) = HOLDS(to-seven-the-day-waters-of-the-deluge, t1) The seven-day countdown of 7:4 elapses on schedule — the corpus's first kept forecast interval: announced, waited, arrived. | וַיְהִי לְשִׁבְעַת הַיָּמִים וּמֵי הַמַּבּוּל הָיוּ · va-yehi le-shivat ha-yamim u-mei ha-mabul hayu = be seven day waters-of deluge be | — | tested |
STEP_Gn_7_11 · Gen.7.11 · THE_DATE_DOUBLE_BREACH
בִּשְׁנַת שֵׁשׁ־מֵאוֹת שָׁנָה לְחַיֵּי־נֹחַ בַּחֹדֶשׁ הַשֵּׁנִי בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ בַּיּוֹם הַזֶּה נִבְקְעוּ כָּל־מַעְיְנֹת תְּהוֹם רַבָּה וַאֲרֻבֹּת הַשָּׁמַיִם נִפְתָּחוּ · bi-shnat shesh-meot shanah le-chayei-Noach ba-chodesh ha-sheni be-shivah-asar yom la-chodesh ba-yom ha-zeh nivkeu kol-mayenot tehom rabbah va-arubot ha-shamayim niftachu · [EN-AID/JPS] In the six hundredth year of Noah's life, in the second month, on the seventeenth day of the month, on the same day were all the fountains of the great deep broken up, and the windows of heaven were opened.
בשנת שש מאות שנה לחיי נח בחדש השני בשבעה עשר יום לחדש · bi-shnat shesh-meot shanah le-chayei-Noach ba-chodesh ha-sheni be-shivah-asar yom la-chodesh · the date: year 600, month 2, day 17 (etnachta arm)
ביום הזה נבקעו כל מעינת תהום רבה וארבת השמים נפתחו · ba-yom ha-zeh nivkeu kol-mayenot tehom rabbah va-arubot ha-shamayim niftachu · on this day: the deep split from below, heaven's windows opened above
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| TIME_ANCHOR | t0 := shnat_600_chodesh_2_yom_17 = t0 := year-of-600-of-month-2-day-17 THE CORPUS'S FIRST FULL CALENDAR DATE — year 600 of one man's life, month TWO, day SEVENTEEN — and the TIME register takes its first CALENDAR value (gen_08's anchor was a construct-phrase; this is a timestamp). CHODESH ('month') debuts inside the date itself (first tokens x2): the calendar's own vocabulary is born dating the flood. The epoch is a private life: the world's clock runs on Noach's years. | בִּשְׁנַת שֵׁשׁ־מֵאוֹת שָׁנָה לְחַיֵּי־נֹחַ בַּחֹדֶשׁ הַשֵּׁנִי בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ · bi-shnat shesh-meot shanah le-chayei-Noach ba-chodesh ha-sheni be-shivah-asar yom la-chodesh = year-of six-hundred year to-chayei-Noach of-month second in-seven-teen day of-month | — | tested |
| EVENT | split(e2) ∧ Theme(e2, mayenot_tehom_rabbah) = split(e2) ∧ Theme(e2, fountains-of-deep-great) NIVKEU — the split-verb's FIRST token (niphal, agentless, TIR-032): the fountains of TEHOM — 1:2's deep, its second token — burst from below (the verb's career: Abraham splits the binding's wood, 22:3; the sea splits, Exod 14:16). Day 2 bounded the waters; the bound breaks upward. | נִבְקְעוּ כָּל־מַעְיְנֹת תְּהוֹם רַבָּה · nivkeu kol-mayenot tehom rabbah = nivkeu all-fountains-of deep great | TIR-032 | tested |
| EVENT | open(e3) ∧ Theme(e3, arubot_ha_shamayim) = open(e3) ∧ Theme(e3, windows-of-the-heavens) And from above: ARUBOT HA-SHAMAYIM — 'heaven's windows' (a two-token Torah word: opened here, shut at 8:2) — NIFTACHU (agentless again, TIR-032). The double breach: day 2's separation of waters-above from waters-below fails in BOTH directions on one dated day — the un-creation's biggest structural move, executed as plumbing. | וַאֲרֻבֹּת הַשָּׁמַיִם נִפְתָּחוּ · va-arubot ha-shamayim niftachu = windows-of heavens were-opened | TIR-032 | tested |
STEP_Gn_7_12 · Gen.7.12 · THE_RAIN_FORTY
וַיְהִי הַגֶּשֶׁם עַל־הָאָרֶץ אַרְבָּעִים יוֹם וְאַרְבָּעִים לָיְלָה · va-yehi ha-geshem al-ha-aretz arbaim yom ve-arbaim laylah · [EN-AID/JPS] And the rain was upon the earth forty days and forty nights.
ויהי הגשם על הארץ · va-yehi ha-geshem al-ha-aretz · and the rain was on the earth (etnachta arm)
ארבעים יום וארבעים לילה · arbaim yom ve-arbaim laylah · forty days and forty nights
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_geshem_arbaim_yom_va_arbaim_laylah, t1) = HOLDS(the-rain-forty-day-and-forty-night, t1) GESHEM ('rain-shower') — the noun's first token (its second, 8:2, is its being restrained): the announced forty runs. The 2:5 problem — no rain yet, no man to work the ground — is answered at scale: rain arrives to unwork it. | הַגֶּשֶׁם … אַרְבָּעִים יוֹם וְאַרְבָּעִים לָיְלָה · ha-geshem … arbaim yom ve-arbaim laylah = rain forty day forty night | — | tested |
STEP_Gn_7_13 · Gen.7.13 · THE_SOLEMN_DAY_STAMP
בְּעֶצֶם הַיּוֹם הַזֶּה בָּא נֹחַ וְשֵׁם־וְחָם וָיֶפֶת בְּנֵי־נֹחַ וְאֵשֶׁת נֹחַ וּשְׁלֹשֶׁת נְשֵׁי־בָנָיו אִתָּם אֶל־הַתֵּבָה · be-etzem ha-yom ha-zeh ba Noach ve-Shem-ve-Cham va-Yefet bnei-Noach ve-eshet Noach u-shloshet neshei-vanav itam el-ha-tevah · [EN-AID/JPS] In the selfsame day entered Noah, and Shem, and Ham, and Japheth, the sons of Noah, and Noah's wife, and the three wives of his sons with them, into the ark;
בעצם היום הזה בא נח ושם וחם ויפת בני נח · be-etzem ha-yom ha-zeh ba Noach ve-Shem-ve-Cham va-Yefet bnei-Noach · on this very day came Noach and the sons (etnachta arm)
ואשת נח ושלשת נשי בניו אתם אל התבה · ve-eshet Noach u-shloshet neshei-vanav itam el-ha-tevah · and the wife and the three sons' wives — into the ark
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(be_etzem_ha_yom_ha_zeh_ba_noach, t1) = HOLDS(in-very-the-day-the-this-came-Noach, t1) BE-ETZEM HA-YOM HA-ZEH ('on this very day') — THE SOLEMN- DATE FORMULA'S FIRST TOKEN: the stamp the corpus reserves for its hinge-days (next: the circumcision day, 17:23/26; the exodus day, Exod 12:17/41/51; Moses' ascent). Minted here: boarding day is the first day the letter refuses to let blur. The eight are counted by name and station — four men, four women, none omitted. | בְּעֶצֶם הַיּוֹם הַזֶּה בָּא נֹחַ · be-etzem ha-yom ha-zeh ba Noach = very day this came Noach | — | tested |
STEP_Gn_7_14 · Gen.7.14 · FULL_TAXONOMY_EVERY_WING
הֵמָּה וְכָל־הַחַיָּה לְמִינָהּ וְכָל־הַבְּהֵמָה לְמִינָהּ וְכָל־הָרֶמֶשׂ הָרֹמֵשׂ עַל־הָאָרֶץ לְמִינֵהוּ וְכָל־הָעוֹף לְמִינֵהוּ כֹּל צִפּוֹר כָּל־כָּנָף · hemah ve-khol-ha-chayah le-minah ve-khol-ha-behemah le-minah ve-khol-ha-remes ha-romes al-ha-aretz le-minehu ve-khol-ha-of le-minehu kol tzippor kol-kanaf · [EN-AID/JPS] they, and every beast after its kind, and all the cattle after their kind, and every creeping thing that creepeth upon the earth after its kind, and every fowl after its kind, every bird of every sort.
המה וכל החיה למינה וכל הבהמה למינה וכל הרמש הרמש על הארץ למינהו · hemah ve-khol-ha-chayah le-minah ve-khol-ha-behemah le-minah ve-khol-ha-remes ha-romes al-ha-aretz le-minehu · they, and beast, cattle, creeper — each by kind (etnachta arm)
וכל העוף למינהו כל צפור כל כנף · ve-khol-ha-of le-minehu kol tzippor kol-kanaf · and every bird by kind — every bird, every wing
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(kol_ha_chayah_le_minah_ha_of_le_minehu, t1) ∧ HOLDS(kol_tzippor_kol_kanaf, t1) = HOLDS(all-the-beast-to-its-kind-the-flying-creature-to-its-kind, t1) ∧ HOLDS(all-bird-all-wing, t1) The taxonomy at full spread: by-its-kind FOUR times (the week's classification word at its densest since day 6), closing on the widest clause in the manifest: KOL TZIPPOR KOL KANAF — 'every bird, every WING' (tzippor debuts — token 2 is the covenant pieces, 15:10; kanaf's token 1 was day 5): the boarding list ends by counting wings. | לְמִינָהּ … לְמִינֵהוּ … כֹּל צִפּוֹר כָּל־כָּנָף · le-minah … le-minehu … kol tzippor kol-kanaf = its-kind its-kind all bird all-wing | — | tested |
STEP_Gn_7_15 · Gen.7.15 · THE_PAIRS_AND_THE_BREATH
וַיָּבֹאוּ אֶל־נֹחַ אֶל־הַתֵּבָה שְׁנַיִם שְׁנַיִם מִכָּל־הַבָּשָׂר אֲשֶׁר־בּוֹ רוּחַ חַיִּים · va-yavou el-Noach el-ha-tevah shnayim shnayim mi-kol-ha-basar asher-bo ruach chayim · [EN-AID/JPS] And they went in unto Noah into the ark, two and two of all flesh wherein is the breath of life.
ויבאו אל נח אל התבה · va-yavou el-Noach el-ha-tevah · and they came to Noach, into the ark (etnachta arm)
שנים שנים מכל הבשר אשר בו רוח חיים · shnayim shnayim mi-kol-ha-basar asher-bo ruach chayim · two by two, all flesh with the breath of life
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | come(e4) ∧ Theme(e4, kol_basar_shnayim_shnayim) = come(e4) ∧ Theme(e4, all-flesh-two-two) The animals' own come-event (agentless of any herder — they come TO Noach): the criterion is RUACH CHAYIM ('the breath of life' — 2:7's gift, 6:17's target-list term): what the flood will reach is exactly what the ark receives. | וַיָּבֹאוּ אֶל־נֹחַ … שְׁנַיִם שְׁנַיִם · va-yavou el-Noach … shnayim shnayim = came to-Noach two two | — | tested |
STEP_Gn_7_16 · Gen.7.16 · THE_SEAL_YHWH_SHUTS
וְהַבָּאִים זָכָר וּנְקֵבָה מִכָּל־בָּשָׂר בָּאוּ כַּאֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים וַיִּסְגֹּר יְהוָה בַּעֲדוֹ · ve-ha-baim zakhar u-nekevah mi-kol-basar bau ka-asher tzivah oto Elohim va-yisgor YHWH baado · [EN-AID/JPS] And they that went in, went in male and female of all flesh, as God commanded him; and the LORD shut him in.
והבאים זכר ונקבה מכל בשר באו כאשר צוה אתו אלהים · ve-ha-baim zakhar u-nekevah mi-kol-basar bau ka-asher tzivah oto Elohim · the comers came male and female, as Elohim commanded (etnachta arm)
ויסגר יהוה בעדו · va-yisgor YHWH baado · and YHWH shut him in
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_baim_zakhar_u_nekevah_bau, t1) ∧ HOLDS(ka_asher_tzivah_oto_elohim, t1) = HOLDS(the-comers-male-and-female-they-came, t1) ∧ HOLDS(like-which-commanded-it-God, t1) The intake summarized (the come-root three ways in one verse: the comers... came... as commanded) — COMPLIANCE REFRAIN #4, and the fourth is split-voiced: ELOHIM commanded... | וְהַבָּאִים זָכָר וּנְקֵבָה … בָּאוּ כַּאֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים · ve-ha-baim zakhar u-nekevah … bau ka-asher tzivah oto Elohim = comers male female they-came as/which commanded it God | — | tested |
| EVENT | shut(e5) ∧ Agent(e5, YHWH) ∧ Theme(e5, baado) = shut(e5) ∧ Agent(e5, the-LORD) ∧ Theme(e5, about-him) ...and YHWH SHUT HIM IN. SAGAR token 2 — token 1 is 2:21 (God closing the FLESH after taking the rib; tokens 3-4 are Lot's door against the mob): every early closure in the corpus is a protective closure, and this one is the Judge's own hand on the rescue's door. The names split inside one verse — Elohim commands the intake, YHWH seals it [letter fact, held; the chain's justice/mercy reading is named-only; Onkelos LEVELS both names to the LORD and rewrites the shutting as SHIELDING ('protected over him,' Memra variant) — the letter's sharpest name-switch does not survive translation; dual-track, flagged]. | וַיִּסְגֹּר יְהוָה בַּעֲדוֹ · va-yisgor YHWH baado = He-shut the-LORD about-him | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 7:1 — all registers empty (standalone unit) |
| S_commanded | After 7:1 — LET(bo...) pushed; the first person-verdict on the books (PASS tzaddik); noach/tevah flagged as read |
| S_amended | After 7:2-4 — the clean-sevens amendment and the countdown stack standing; the demand open |
| S_receipted_prep | After 7:5-6 — refrain #2 held as fact; the age marker; the demand still open (the entry is its own receipt) |
| S_boarded | After 7:7 — the come-demand POPPED by the come-deed: settled cycle #2; SPECS empty |
| S_loading | After 7:8-10 — the classes file in; self-loading confirmed (they CAME); refrain #3; the seven days elapse |
| S_dated | After 7:11-12 — TIME t0 = year-600/month-2/day-17; the double breach events (split below, opened above); the forty runs |
| S_stamped | After 7:13-15 — the solemn-day stamp; the eight by name; the taxonomy to the last wing; the breath-criterion intake |
| S_sealed | After 7:16 — refrain #4 (split-voiced); YHWH shuts him in: the unit ends sealed, queue empty |
| from | to | via |
|---|---|---|
| S_boot | S_commanded | STEP_Gn_7_1 |
| S_commanded | S_amended | STEP_Gn_7_2 |
| S_amended | S_amended | STEP_Gn_7_3 |
| S_amended | S_amended | STEP_Gn_7_4 |
| S_amended | S_receipted_prep | STEP_Gn_7_5 |
| S_receipted_prep | S_receipted_prep | STEP_Gn_7_6 |
| S_receipted_prep | S_boarded | STEP_Gn_7_7 |
| S_boarded | S_loading | STEP_Gn_7_8 |
| S_loading | S_loading | STEP_Gn_7_9 |
| S_loading | S_loading | STEP_Gn_7_10 |
| S_loading | S_dated | STEP_Gn_7_11 |
| S_dated | S_dated | STEP_Gn_7_12 |
| S_dated | S_stamped | STEP_Gn_7_13 |
| S_stamped | S_stamped | STEP_Gn_7_14 |
| S_stamped | S_stamped | STEP_Gn_7_15 |
| S_stamped | S_sealed | STEP_Gn_7_16 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The command and the first person-verdict: after STEP_Gn_7_1 | All registers empty (standalone unit). | LET(bo(noach, el_ha_tevah)) pushed and OPEN; TESTS += PASS(tzaddik, noach); flags noach/tevah as read-before-install. = LET(come(Noach, to-the-ark)) pushed and OPEN; TESTS += PASS(righteous, Noach); flags Noach/ark as read-before-install. | כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי · ki-otkha raiti tzaddik lefanai = that-otkha have-I-seen righteous before-Me |
| S2 | The clean-sevens amendment, demand open: after STEP_Gn_7_3 | S1 state. | Facts shivah_shivah_ha_behemah_ha_tehorah/shnayim_asher_lo_tehorah HOLD; LET(bo(noach, el_ha_tevah)) pushed and OPEN. = Facts seven-seven-the-livestock-the-clean/two-which-not-clean HOLD; LET(come(Noach, to-the-ark)) pushed and OPEN. | שִׁבְעָה שִׁבְעָה אִישׁ וְאִשְׁתּוֹ · shivah shivah ish ve-ishto = seven seven a-man his-wife |
| S3 | Refrain #2 lands, the demand still waits: after STEP_Gn_7_5 | S2 state + the countdown (7:4). | Facts ke_khol_asher_tzivahu_YHWH HOLD; LET(bo(noach, el_ha_tevah)) pushed and OPEN. = Facts like-all-which-commanded-him-the-LORD HOLD; LET(come(Noach, to-the-ark)) pushed and OPEN. | וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה · va-yaas Noach ke-khol asher-tzivahu YHWH = make Noach all which-commanded-him the-LORD |
| S4 | The entry pops the demand — settled cycle #2: after STEP_Gn_7_7 | S3 state + the age marker (7:6). | SPECS empty. | וַיָּבֹא נֹחַ … אֶל־הַתֵּבָה · va-yavo Noach … el-ha-tevah = he-came Noach to-the-ark |
| S5 | The first calendar timestamp: after STEP_Gn_7_11 | S4 state + the loading (7:8-10). | TIME t0 = shnat_600_chodesh_2_yom_17. = TIME t0 = year-of-600-of-month-2-day-17. | בַּחֹדֶשׁ הַשֵּׁנִי בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ · ba-chodesh ha-sheni be-shivah-asar yom la-chodesh = of-month second in-seven-teen day of-month |
| S6 | The solemn-day stamp: after STEP_Gn_7_13 | S5 state + the rain (7:12). | Facts be_etzem_ha_yom_ha_zeh_ba_noach HOLD. = Facts in-very-the-day-the-this-came-Noach HOLD. | בְּעֶצֶם הַיּוֹם הַזֶּה · be-etzem ha-yom ha-zeh = very day this |
| S7 | Sealed — the door shut, the queue empty: after STEP_Gn_7_16 | S6 state + the taxonomy and pairs (7:14-15). | Facts ha_baim_zakhar_u_nekevah_bau/ka_asher_tzivah_oto_elohim HOLD; SPECS empty. = Facts the-comers-male-and-female-they-came/like-which-commanded-it-God HOLD; SPECS empty. | וַיִּסְגֹּר יְהוָה בַּעֲדוֹ · va-yisgor YHWH baado = He-shut the-LORD about-him |
| S8_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. | |
| S9_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_person_verdict | כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי בַּדּוֹר הַזֶּה · ki-otkha raiti tzaddik lefanai ba-dor ha-zeh · the corpus's first PERSON-verdict: the seeing-verb + verdict-adjective aimed at a man in second person (TEST PASS(tzaddik, noach)); the narrator's plural in-his-generations (6:9) vs the voice's singular in-THIS-generation — the delta BR 32:5 builds its praise-abridgement teaching on (the chain running its own quote-diff; named-only) |
| EXPORT_tahor_before_the_law | הַבְּהֵמָה הַטְּהוֹרָה … שִׁבְעָה שִׁבְעָה · ha-behemah ha-tehorah … shivah shivah · the law's central adjective debuts in cargo arithmetic — sevens of the clean, twos of the not-clean — two chapters before the altar (8:20) explains the count and long before any purity law [OPEN: how known]; the pairs counted in human marriage-words (a-man-and-his-wife; Onkelos refuses the wedding); the ktiv-qere spelling's 4th token rides the not-clean clause |
| EXPORT_settled_cycle_two | בֹּא … וַיָּבֹא · bo … va-yavo · the come-command popped by the come-deed (the echo-receipt class): settled divine command cycle #2, six verses in; four compliance refrains in the span with ALTERNATING divine names (Elohim, YHWH, Elohim, Elohim-then-YHWH-shuts) — the Tabernacle refrain's density previewed |
| EXPORT_first_calendar_date | בִּשְׁנַת שֵׁשׁ־מֵאוֹת שָׁנָה … בַּחֹדֶשׁ הַשֵּׁנִי בְּשִׁבְעָה־עָשָׂר יוֹם · bi-shnat shesh-meot shanah … ba-chodesh ha-sheni be-shivah-asar yom · the corpus's first full calendar date — the TIME register's first timestamp, epoch'd on one man's life; the month-word debuts inside the date; the solemn-day formula (on-this-very-day) is minted two verses later, launching the stamp the corpus reserves for the circumcision, the exodus, and Moses' ascent |
| EXPORT_double_breach | נִבְקְעוּ כָּל־מַעְיְנֹת תְּהוֹם רַבָּה וַאֲרֻבֹּת הַשָּׁמַיִם נִפְתָּחוּ · nivkeu kol-mayenot tehom rabbah va-arubot ha-shamayim niftachu · day 2's separation fails both ways on one dated day: the deep (1:2's tehom) splits from below — the split-verb's debut (career: the binding's wood, the sea) — while heaven's two-token windows open above; both verbs agentless; both reversed at 8:2 |
| EXPORT_the_shut_door | וַיִּסְגֹּר יְהוָה בַּעֲדוֹ · va-yisgor YHWH baado · the shut-verb's protective career (the flesh 2:21, this door, Lot's door) reaches its center: the Judge as doorkeeper — with the names split inside one verse (Elohim commands, YHWH shuts) [held; the chain's justice/mercy reading named-only]; Onkelos levels the names and rewrites the shutting as SHIELDING — the letter's sharpest name-switch does not survive translation |
| EXPORT_self_loading | שְׁנַיִם שְׁנַיִם בָּאוּ אֶל־נֹחַ · shnayim shnayim bau el-Noach · the cargo delivers itself (6:20's they-shall-come narrated as they-CAME, twice + once as participle): the obedience is ecosystem-wide — Noach receives, never herds; the intake criterion is the breath of life (2:7's gift as the sentence's scope and the rescue's) |
Oral notes (named, tiered, dual-track — never merged)
בַּדּוֹר הַזֶּה · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 7:1-16 — eleventh tripwire span. Detector classes predicted: BR 32:5 derives speech-ethics from a TEXTUAL DELTA between two verses (full praise absent vs partial present) — the chain performing a quote-diff of its own: the cleanest doctrine-from-delta specimen our spans have named; the clean-animals foreknowledge is an anachronism-resolution class; the 7:16 name-split is a two-powers-guard class in its chain handling.
Queue entry — no claim made beyond the naming.
וַאֲגֵן יְיָ עֲלוֹהִי · va-agen YY alohi · The span's translation witness: the SHUTTING becomes SHIELDING — 'and the LORD PROTECTED over him' (bracketed Memra ['in His Word'] variant) — and the verse's name-split is LEVELED (Elohim-commands / YHWH-shuts -> the LORD both times): the letter's sharpest name-switch erased and its hardest verb softened in one clause (flagged). The animals' marriage-words de-personified (a-man-and-his-wife -> male-and-female; flagged); 'at the APPOINTED TIME' inserted into the countdown; come -> enter; righteous -> innocent (zakkai); heaven's windows -> lattices; the calendar date preserved digit for digit.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.7.1 · parser unique · 16 words
PHRASE (binary 16w) וַ/יֹּ֤אמֶר יְהוָה֙ לְ/נֹ֔חַ בֹּֽא אַתָּ֥ה וְ/כ…
├── PHRASE (binary 9w) וַ/יֹּ֤אמֶר יְהוָה֙ לְ/נֹ֔חַ בֹּֽא אַתָּ֥ה וְ/כ…
│ ├── PHRASE (binary 3w) וַ/יֹּ֤אמֶר יְהוָה֙ לְ/נֹ֔חַ
│ │ ├── [0-1] GLUE וַ/יֹּ֤אמֶר יְהוָה֙ (pashta, rank=3)
│ │ └── [2] לְ/נֹ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) בֹּֽא אַתָּ֥ה וְ/כָל בֵּיתְ/ךָ֖ אֶל הַ/תֵּבָ֑ה
│ ├── [3-6] GLUE בֹּֽא אַתָּ֥ה וְ/כָל בֵּיתְ/ךָ֖ (tifcha, rank=2)
│ └── [7-8] GLUE אֶל הַ/תֵּבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) כִּֽי אֹתְ/ךָ֥ רָאִ֛יתִי צַדִּ֥יק לְ/פָנַ֖/י בּ…
├── PHRASE (binary 5w) כִּֽי אֹתְ/ךָ֥ רָאִ֛יתִי צַדִּ֥יק לְ/פָנַ֖/י
│ ├── [9-11] GLUE כִּֽי אֹתְ/ךָ֥ רָאִ֛יתִי (tevir, rank=3)
│ └── [12-13] GLUE צַדִּ֥יק לְ/פָנַ֖/י (tifcha, rank=2)
└── [14-15] GLUE בַּ/דּ֥וֹר הַ/זֶּֽה (silluq (verse-end emperor), rank=1)
Gen.7.2 · parser unique · 18 words
PHRASE (binary 18w) מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה תִּֽקַּח לְ…
├── PHRASE (binary 9w) מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה תִּֽקַּח לְ…
│ ├── PHRASE (binary 7w) מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה תִּֽקַּח לְ…
│ │ ├── [0-2] GLUE מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) תִּֽקַּח לְ/ךָ֛ שִׁבְעָ֥ה שִׁבְעָ֖ה
│ │ ├── [3-4] GLUE תִּֽקַּח לְ/ךָ֛ (tevir, rank=3)
│ │ └── [5-6] GLUE שִׁבְעָ֥ה שִׁבְעָ֖ה (tifcha, rank=2)
│ └── [7-8] GLUE אִ֣ישׁ וְ/אִשְׁתּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וּ/מִן הַ/בְּהֵמָ֡ה אֲ֠שֶׁר לֹ֣א טְהֹרָ֥ה הִ֛וא…
├── PHRASE (binary 7w) וּ/מִן הַ/בְּהֵמָ֡ה אֲ֠שֶׁר לֹ֣א טְהֹרָ֥ה הִ֛וא…
│ ├── PHRASE (binary 6w) וּ/מִן הַ/בְּהֵמָ֡ה אֲ֠שֶׁר לֹ֣א טְהֹרָ֥ה הִ֛וא
│ │ ├── [9-10] GLUE וּ/מִן הַ/בְּהֵמָ֡ה (pazer, rank=4)
│ │ └── PHRASE (binary 4w) אֲ֠שֶׁר לֹ֣א טְהֹרָ֥ה הִ֛וא
│ │ ├── [11] אֲ֠שֶׁר (telisha gedola, rank=4)
│ │ └── [12-14] GLUE לֹ֣א טְהֹרָ֥ה הִ֛וא (tevir, rank=3)
│ └── [15] שְׁנַ֖יִם (tifcha, rank=2)
└── [16-17] GLUE אִ֥ישׁ וְ/אִשְׁתּֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.7.3 · parser unique · 13 words
PHRASE (binary 13w) גַּ֣ם מֵ/ע֧וֹף הַ/שָּׁמַ֛יִם שִׁבְעָ֥ה שִׁבְעָ֖…
├── PHRASE (binary 7w) גַּ֣ם מֵ/ע֧וֹף הַ/שָּׁמַ֛יִם שִׁבְעָ֥ה שִׁבְעָ֖…
│ ├── PHRASE (binary 5w) גַּ֣ם מֵ/ע֧וֹף הַ/שָּׁמַ֛יִם שִׁבְעָ֥ה שִׁבְעָ֖ה
│ │ ├── [0-2] GLUE גַּ֣ם מֵ/ע֧וֹף הַ/שָּׁמַ֛יִם (tevir, rank=3)
│ │ └── [3-4] GLUE שִׁבְעָ֥ה שִׁבְעָ֖ה (tifcha, rank=2)
│ └── [5-6] GLUE זָכָ֣ר וּ/נְקֵבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) לְ/חַיּ֥וֹת זֶ֖רַע עַל פְּנֵ֥י כָל הָ/אָֽרֶץ
├── [7-8] GLUE לְ/חַיּ֥וֹת זֶ֖רַע (tifcha, rank=2)
└── [9-12] GLUE עַל פְּנֵ֥י כָל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.7.4 · parser unique · 21 words
PHRASE (binary 21w) כִּי֩ לְ/יָמִ֨ים ע֜וֹד שִׁבְעָ֗ה אָֽנֹכִי֙ מַמְ…
├── PHRASE (binary 12w) כִּי֩ לְ/יָמִ֨ים ע֜וֹד שִׁבְעָ֗ה אָֽנֹכִי֙ מַמְ…
│ ├── PHRASE (binary 8w) כִּי֩ לְ/יָמִ֨ים ע֜וֹד שִׁבְעָ֗ה אָֽנֹכִי֙ מַמְ…
│ │ ├── PHRASE (binary 4w) כִּי֩ לְ/יָמִ֨ים ע֜וֹד שִׁבְעָ֗ה
│ │ │ ├── [0-2] GLUE כִּי֩ לְ/יָמִ֨ים ע֜וֹד (geresh, rank=4)
│ │ │ └── [3] שִׁבְעָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) אָֽנֹכִי֙ מַמְטִ֣יר עַל הָ/אָ֔רֶץ
│ │ ├── [4] אָֽנֹכִי֙ (pashta, rank=3)
│ │ └── [5-7] GLUE מַמְטִ֣יר עַל הָ/אָ֔רֶץ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אַרְבָּעִ֣ים י֔וֹם וְ/אַרְבָּעִ֖ים לָ֑יְלָה
│ ├── [8-9] GLUE אַרְבָּעִ֣ים י֔וֹם (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וְ/אַרְבָּעִ֖ים לָ֑יְלָה
│ ├── [10] וְ/אַרְבָּעִ֖ים (tifcha, rank=2)
│ └── [11] לָ֑יְלָה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וּ/מָחִ֗יתִי אֶֽת כָּל הַ/יְקוּם֙ אֲשֶׁ֣ר עָשִׂ…
├── PHRASE (binary 6w) וּ/מָחִ֗יתִי אֶֽת כָּל הַ/יְקוּם֙ אֲשֶׁ֣ר עָשִׂ…
│ ├── [12] וּ/מָחִ֗יתִי (revia, rank=3)
│ └── PHRASE (binary 5w) אֶֽת כָּל הַ/יְקוּם֙ אֲשֶׁ֣ר עָשִׂ֔יתִי
│ ├── [13-15] GLUE אֶֽת כָּל הַ/יְקוּם֙ (pashta, rank=3)
│ └── [16-17] GLUE אֲשֶׁ֣ר עָשִׂ֔יתִי (zaqef qatan, rank=2)
└── PHRASE (binary 3w) מֵ/עַ֖ל פְּנֵ֥י הָֽ/אֲדָמָֽה
├── [18] מֵ/עַ֖ל (tifcha, rank=2)
└── [19-20] GLUE פְּנֵ֥י הָֽ/אֲדָמָֽה (silluq (verse-end emperor), rank=1)
Gen.7.5 · parser unique · 6 words
PHRASE (binary 6w) וַ/יַּ֖עַשׂ נֹ֑חַ כְּ/כֹ֥ל אֲשֶׁר צִוָּ֖/הוּ יְ…
├── PHRASE (binary 2w) וַ/יַּ֖עַשׂ נֹ֑חַ
│ ├── [0] וַ/יַּ֖עַשׂ (tifcha, rank=2)
│ └── [1] נֹ֑חַ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) כְּ/כֹ֥ל אֲשֶׁר צִוָּ֖/הוּ יְהוָֽה
├── [2-4] GLUE כְּ/כֹ֥ל אֲשֶׁר צִוָּ֖/הוּ (tifcha, rank=2)
└── [5] יְהוָֽה (silluq (verse-end emperor), rank=1)
Gen.7.6 · parser unique · 10 words
PHRASE (binary 10w) וְ/נֹ֕חַ בֶּן שֵׁ֥שׁ מֵא֖וֹת שָׁנָ֑ה וְ/הַ/מַּב…
├── PHRASE (binary 5w) וְ/נֹ֕חַ בֶּן שֵׁ֥שׁ מֵא֖וֹת שָׁנָ֑ה
│ ├── [0] וְ/נֹ֕חַ (zaqef gadol, rank=2)
│ └── PHRASE (binary 4w) בֶּן שֵׁ֥שׁ מֵא֖וֹת שָׁנָ֑ה
│ ├── [1-3] GLUE בֶּן שֵׁ֥שׁ מֵא֖וֹת (tifcha, rank=2)
│ └── [4] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/הַ/מַּבּ֣וּל הָיָ֔ה מַ֖יִם עַל הָ/אָֽרֶץ
├── [5-6] GLUE וְ/הַ/מַּבּ֣וּל הָיָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) מַ֖יִם עַל הָ/אָֽרֶץ
├── [7] מַ֖יִם (tifcha, rank=2)
└── [8-9] GLUE עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.7.7 · parser unique · 12 words
PHRASE (binary 12w) וַ/יָּ֣בֹא נֹ֗חַ וּ֠/בָנָי/ו וְ/אִשְׁתּ֧/וֹ וּ/…
├── PHRASE (binary 9w) וַ/יָּ֣בֹא נֹ֗חַ וּ֠/בָנָי/ו וְ/אִשְׁתּ֧/וֹ וּ/…
│ ├── PHRASE (binary 7w) וַ/יָּ֣בֹא נֹ֗חַ וּ֠/בָנָי/ו וְ/אִשְׁתּ֧/וֹ וּ/…
│ │ ├── [0-1] GLUE וַ/יָּ֣בֹא נֹ֗חַ (revia, rank=3)
│ │ └── PHRASE (binary 5w) וּ֠/בָנָי/ו וְ/אִשְׁתּ֧/וֹ וּ/נְשֵֽׁי בָנָ֛י/ו …
│ │ ├── PHRASE (binary 4w) וּ֠/בָנָי/ו וְ/אִשְׁתּ֧/וֹ וּ/נְשֵֽׁי בָנָ֛י/ו
│ │ │ ├── [2] וּ֠/בָנָי/ו (telisha gedola, rank=4)
│ │ │ └── [3-5] GLUE וְ/אִשְׁתּ֧/וֹ וּ/נְשֵֽׁי בָנָ֛י/ו (tevir, rank=3)
│ │ └── [6] אִתּ֖/וֹ (tifcha, rank=2)
│ └── [7-8] GLUE אֶל הַ/תֵּבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) מִ/פְּנֵ֖י מֵ֥י הַ/מַּבּֽוּל
├── [9] מִ/פְּנֵ֖י (tifcha, rank=2)
└── [10-11] GLUE מֵ֥י הַ/מַּבּֽוּל (silluq (verse-end emperor), rank=1)
Gen.7.8 · parser unique · 15 words
PHRASE (binary 15w) מִן הַ/בְּהֵמָה֙ הַ/טְּהוֹרָ֔ה וּ/מִן הַ֨/בְּהֵ…
├── PHRASE (binary 8w) מִן הַ/בְּהֵמָה֙ הַ/טְּהוֹרָ֔ה וּ/מִן הַ֨/בְּהֵ…
│ ├── PHRASE (binary 3w) מִן הַ/בְּהֵמָה֙ הַ/טְּהוֹרָ֔ה
│ │ ├── [0-1] GLUE מִן הַ/בְּהֵמָה֙ (pashta, rank=3)
│ │ └── [2] הַ/טְּהוֹרָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וּ/מִן הַ֨/בְּהֵמָ֔ה אֲשֶׁ֥ר אֵינֶ֖נָּ/ה טְהֹרָ…
│ ├── [3-4] GLUE וּ/מִן הַ֨/בְּהֵמָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֥ר אֵינֶ֖נָּ/ה טְהֹרָ֑ה
│ ├── [5-6] GLUE אֲשֶׁ֥ר אֵינֶ֖נָּ/ה (tifcha, rank=2)
│ └── [7] טְהֹרָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וּ/מִ֨ן הָ/ע֔וֹף וְ/כֹ֥ל אֲשֶׁר רֹמֵ֖שׂ עַל הָֽ…
├── [8-9] GLUE וּ/מִ֨ן הָ/ע֔וֹף (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וְ/כֹ֥ל אֲשֶׁר רֹמֵ֖שׂ עַל הָֽ/אֲדָמָֽה
├── [10-12] GLUE וְ/כֹ֥ל אֲשֶׁר רֹמֵ֖שׂ (tifcha, rank=2)
└── [13-14] GLUE עַל הָֽ/אֲדָמָֽה (silluq (verse-end emperor), rank=1)
Gen.7.9 · parser unique · 14 words
PHRASE (binary 14w) שְׁנַ֨יִם שְׁנַ֜יִם בָּ֧אוּ אֶל נֹ֛חַ אֶל הַ/תּ…
├── PHRASE (binary 9w) שְׁנַ֨יִם שְׁנַ֜יִם בָּ֧אוּ אֶל נֹ֛חַ אֶל הַ/תּ…
│ ├── PHRASE (binary 7w) שְׁנַ֨יִם שְׁנַ֜יִם בָּ֧אוּ אֶל נֹ֛חַ אֶל הַ/תּ…
│ │ ├── PHRASE (binary 5w) שְׁנַ֨יִם שְׁנַ֜יִם בָּ֧אוּ אֶל נֹ֛חַ
│ │ │ ├── [0-1] GLUE שְׁנַ֨יִם שְׁנַ֜יִם (geresh, rank=4)
│ │ │ └── [2-4] GLUE בָּ֧אוּ אֶל נֹ֛חַ (tevir, rank=3)
│ │ └── [5-6] GLUE אֶל הַ/תֵּבָ֖ה (tifcha, rank=2)
│ └── [7-8] GLUE זָכָ֣ר וּ/נְקֵבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) כַּֽ/אֲשֶׁ֛ר צִוָּ֥ה אֱלֹהִ֖ים אֶת נֹֽחַ
├── PHRASE (binary 3w) כַּֽ/אֲשֶׁ֛ר צִוָּ֥ה אֱלֹהִ֖ים
│ ├── [9] כַּֽ/אֲשֶׁ֛ר (tevir, rank=3)
│ └── [10-11] GLUE צִוָּ֥ה אֱלֹהִ֖ים (tifcha, rank=2)
└── [12-13] GLUE אֶת נֹֽחַ (silluq (verse-end emperor), rank=1)
Gen.7.10 · parser unique · 8 words
PHRASE (binary 8w) וַֽ/יְהִ֖י לְ/שִׁבְעַ֣ת הַ/יָּמִ֑ים וּ/מֵ֣י הַ/…
├── PHRASE (binary 3w) וַֽ/יְהִ֖י לְ/שִׁבְעַ֣ת הַ/יָּמִ֑ים
│ ├── [0] וַֽ/יְהִ֖י (tifcha, rank=2)
│ └── [1-2] GLUE לְ/שִׁבְעַ֣ת הַ/יָּמִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וּ/מֵ֣י הַ/מַּבּ֔וּל הָי֖וּ עַל הָ/אָֽרֶץ
├── [3-4] GLUE וּ/מֵ֣י הַ/מַּבּ֔וּל (zaqef qatan, rank=2)
└── PHRASE (binary 3w) הָי֖וּ עַל הָ/אָֽרֶץ
├── [5] הָי֖וּ (tifcha, rank=2)
└── [6-7] GLUE עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.7.11 · parser unique · 22 words
PHRASE (binary 22w) בִּ/שְׁנַ֨ת שֵׁשׁ מֵא֤וֹת שָׁנָה֙ לְ/חַיֵּי נֹ֔…
├── PHRASE (binary 12w) בִּ/שְׁנַ֨ת שֵׁשׁ מֵא֤וֹת שָׁנָה֙ לְ/חַיֵּי נֹ֔…
│ ├── PHRASE (binary 6w) בִּ/שְׁנַ֨ת שֵׁשׁ מֵא֤וֹת שָׁנָה֙ לְ/חַיֵּי נֹ֔…
│ │ ├── [0-3] GLUE בִּ/שְׁנַ֨ת שֵׁשׁ מֵא֤וֹת שָׁנָה֙ (pashta, rank=3)
│ │ └── [4-5] GLUE לְ/חַיֵּי נֹ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) בַּ/חֹ֨דֶשׁ֙ הַ/שֵּׁנִ֔י בְּ/שִׁבְעָֽה עָשָׂ֥ר …
│ ├── PHRASE (binary 2w) בַּ/חֹ֨דֶשׁ֙ הַ/שֵּׁנִ֔י
│ │ ├── [6] בַּ/חֹ֨דֶשׁ֙ (pashta, rank=3)
│ │ └── [7] הַ/שֵּׁנִ֔י (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) בְּ/שִׁבְעָֽה עָשָׂ֥ר י֖וֹם לַ/חֹ֑דֶשׁ
│ ├── [8-10] GLUE בְּ/שִׁבְעָֽה עָשָׂ֥ר י֖וֹם (tifcha, rank=2)
│ └── [11] לַ/חֹ֑דֶשׁ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) בַּ/יּ֣וֹם הַ/זֶּ֗ה נִבְקְעוּ֙ כָּֽל מַעְיְנֹת֙…
├── PHRASE (binary 7w) בַּ/יּ֣וֹם הַ/זֶּ֗ה נִבְקְעוּ֙ כָּֽל מַעְיְנֹת֙…
│ ├── [12-13] GLUE בַּ/יּ֣וֹם הַ/זֶּ֗ה (revia, rank=3)
│ └── PHRASE (binary 5w) נִבְקְעוּ֙ כָּֽל מַעְיְנֹת֙ תְּה֣וֹם רַבָּ֔ה
│ ├── [14] נִבְקְעוּ֙ (pashta, rank=3)
│ └── PHRASE (binary 4w) כָּֽל מַעְיְנֹת֙ תְּה֣וֹם רַבָּ֔ה
│ ├── [15-16] GLUE כָּֽל מַעְיְנֹת֙ (pashta, rank=3)
│ └── [17-18] GLUE תְּה֣וֹם רַבָּ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/אֲרֻבֹּ֥ת הַ/שָּׁמַ֖יִם נִפְתָּֽחוּ
├── [19-20] GLUE וַ/אֲרֻבֹּ֥ת הַ/שָּׁמַ֖יִם (tifcha, rank=2)
└── [21] נִפְתָּֽחוּ (silluq (verse-end emperor), rank=1)
Gen.7.12 · parser unique · 8 words
PHRASE (binary 8w) וַֽ/יְהִ֥י הַ/גֶּ֖שֶׁם עַל הָ/אָ֑רֶץ אַרְבָּעִ֣…
├── PHRASE (binary 4w) וַֽ/יְהִ֥י הַ/גֶּ֖שֶׁם עַל הָ/אָ֑רֶץ
│ ├── [0-1] GLUE וַֽ/יְהִ֥י הַ/גֶּ֖שֶׁם (tifcha, rank=2)
│ └── [2-3] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) אַרְבָּעִ֣ים י֔וֹם וְ/אַרְבָּעִ֖ים לָֽיְלָה
├── [4-5] GLUE אַרְבָּעִ֣ים י֔וֹם (zaqef qatan, rank=2)
└── PHRASE (binary 2w) וְ/אַרְבָּעִ֖ים לָֽיְלָה
├── [6] וְ/אַרְבָּעִ֖ים (tifcha, rank=2)
└── [7] לָֽיְלָה (silluq (verse-end emperor), rank=1)
Gen.7.13 · parser unique · 18 words
PHRASE (binary 18w) בְּ/עֶ֨צֶם הַ/יּ֤וֹם הַ/זֶּה֙ בָּ֣א נֹ֔חַ וְ/שׁ…
├── PHRASE (binary 10w) בְּ/עֶ֨צֶם הַ/יּ֤וֹם הַ/זֶּה֙ בָּ֣א נֹ֔חַ וְ/שׁ…
│ ├── PHRASE (binary 5w) בְּ/עֶ֨צֶם הַ/יּ֤וֹם הַ/זֶּה֙ בָּ֣א נֹ֔חַ
│ │ ├── [0-2] GLUE בְּ/עֶ֨צֶם הַ/יּ֤וֹם הַ/זֶּה֙ (pashta, rank=3)
│ │ └── [3-4] GLUE בָּ֣א נֹ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/שֵׁם וְ/חָ֥ם וָ/יֶ֖פֶת בְּנֵי נֹ֑חַ
│ ├── [5-7] GLUE וְ/שֵׁם וְ/חָ֥ם וָ/יֶ֖פֶת (tifcha, rank=2)
│ └── [8-9] GLUE בְּנֵי נֹ֑חַ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וְ/אֵ֣שֶׁת נֹ֗חַ וּ/שְׁלֹ֧שֶׁת נְשֵֽׁי בָנָ֛י/ו…
├── PHRASE (binary 6w) וְ/אֵ֣שֶׁת נֹ֗חַ וּ/שְׁלֹ֧שֶׁת נְשֵֽׁי בָנָ֛י/ו…
│ ├── [10-11] GLUE וְ/אֵ֣שֶׁת נֹ֗חַ (revia, rank=3)
│ └── PHRASE (binary 4w) וּ/שְׁלֹ֧שֶׁת נְשֵֽׁי בָנָ֛י/ו אִתָּ֖/ם
│ ├── [12-14] GLUE וּ/שְׁלֹ֧שֶׁת נְשֵֽׁי בָנָ֛י/ו (tevir, rank=3)
│ └── [15] אִתָּ֖/ם (tifcha, rank=2)
└── [16-17] GLUE אֶל הַ/תֵּבָֽה (silluq (verse-end emperor), rank=1)
Gen.7.14 · parser unique · 20 words
PHRASE (binary 20w) הֵ֜מָּה וְ/כָל הַֽ/חַיָּ֣ה לְ/מִינָ֗/הּ וְ/כָל …
├── PHRASE (binary 13w) הֵ֜מָּה וְ/כָל הַֽ/חַיָּ֣ה לְ/מִינָ֗/הּ וְ/כָל …
│ ├── PHRASE (binary 7w) הֵ֜מָּה וְ/כָל הַֽ/חַיָּ֣ה לְ/מִינָ֗/הּ וְ/כָל …
│ │ ├── PHRASE (binary 4w) הֵ֜מָּה וְ/כָל הַֽ/חַיָּ֣ה לְ/מִינָ֗/הּ
│ │ │ ├── [0] הֵ֜מָּה (geresh, rank=4)
│ │ │ └── [1-3] GLUE וְ/כָל הַֽ/חַיָּ֣ה לְ/מִינָ֗/הּ (revia, rank=3)
│ │ └── PHRASE (binary 3w) וְ/כָל הַ/בְּהֵמָה֙ לְ/מִינָ֔/הּ
│ │ ├── [4-5] GLUE וְ/כָל הַ/בְּהֵמָה֙ (pashta, rank=3)
│ │ └── [6] לְ/מִינָ֔/הּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וְ/כָל הָ/רֶ֛מֶשׂ הָ/רֹמֵ֥שׂ עַל הָ/אָ֖רֶץ לְ/מ…
│ ├── PHRASE (binary 5w) וְ/כָל הָ/רֶ֛מֶשׂ הָ/רֹמֵ֥שׂ עַל הָ/אָ֖רֶץ
│ │ ├── [7-8] GLUE וְ/כָל הָ/רֶ֛מֶשׂ (tevir, rank=3)
│ │ └── [9-11] GLUE הָ/רֹמֵ֥שׂ עַל הָ/אָ֖רֶץ (tifcha, rank=2)
│ └── [12] לְ/מִינֵ֑/הוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וְ/כָל הָ/ע֣וֹף לְ/מִינֵ֔/הוּ כֹּ֖ל צִפּ֥וֹר כּ…
├── [13-15] GLUE וְ/כָל הָ/ע֣וֹף לְ/מִינֵ֔/הוּ (zaqef qatan, rank=2)
└── PHRASE (binary 4w) כֹּ֖ל צִפּ֥וֹר כָּל כָּנָֽף
├── [16] כֹּ֖ל (tifcha, rank=2)
└── [17-19] GLUE צִפּ֥וֹר כָּל כָּנָֽף (silluq (verse-end emperor), rank=1)
Gen.7.15 · parser unique · 13 words
PHRASE (binary 13w) וַ/יָּבֹ֥אוּ אֶל נֹ֖חַ אֶל הַ/תֵּבָ֑ה שְׁנַ֤יִם…
├── PHRASE (binary 5w) וַ/יָּבֹ֥אוּ אֶל נֹ֖חַ אֶל הַ/תֵּבָ֑ה
│ ├── [0-2] GLUE וַ/יָּבֹ֥אוּ אֶל נֹ֖חַ (tifcha, rank=2)
│ └── [3-4] GLUE אֶל הַ/תֵּבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) שְׁנַ֤יִם שְׁנַ֨יִם֙ מִ/כָּל הַ/בָּשָׂ֔ר אֲשֶׁר…
├── PHRASE (binary 4w) שְׁנַ֤יִם שְׁנַ֨יִם֙ מִ/כָּל הַ/בָּשָׂ֔ר
│ ├── [5-6] GLUE שְׁנַ֤יִם שְׁנַ֨יִם֙ (pashta, rank=3)
│ └── [7-8] GLUE מִ/כָּל הַ/בָּשָׂ֔ר (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אֲשֶׁר בּ֖/וֹ ר֥וּחַ חַיִּֽים
├── [9-10] GLUE אֲשֶׁר בּ֖/וֹ (tifcha, rank=2)
└── [11-12] GLUE ר֥וּחַ חַיִּֽים (silluq (verse-end emperor), rank=1)
Gen.7.16 · parser unique · 13 words
PHRASE (binary 13w) וְ/הַ/בָּאִ֗ים זָכָ֨ר וּ/נְקֵבָ֤ה מִ/כָּל בָּשׂ…
├── PHRASE (binary 10w) וְ/הַ/בָּאִ֗ים זָכָ֨ר וּ/נְקֵבָ֤ה מִ/כָּל בָּשׂ…
│ ├── PHRASE (binary 6w) וְ/הַ/בָּאִ֗ים זָכָ֨ר וּ/נְקֵבָ֤ה מִ/כָּל בָּשׂ…
│ │ ├── [0] וְ/הַ/בָּאִ֗ים (revia, rank=3)
│ │ └── PHRASE (binary 5w) זָכָ֨ר וּ/נְקֵבָ֤ה מִ/כָּל בָּשָׂר֙ בָּ֔אוּ
│ │ ├── [1-4] GLUE זָכָ֨ר וּ/נְקֵבָ֤ה מִ/כָּל בָּשָׂר֙ (pashta, rank=3)
│ │ └── [5] בָּ֔אוּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) כַּֽ/אֲשֶׁ֛ר צִוָּ֥ה אֹת֖/וֹ אֱלֹהִ֑ים
│ ├── PHRASE (binary 3w) כַּֽ/אֲשֶׁ֛ר צִוָּ֥ה אֹת֖/וֹ
│ │ ├── [6] כַּֽ/אֲשֶׁ֛ר (tevir, rank=3)
│ │ └── [7-8] GLUE צִוָּ֥ה אֹת֖/וֹ (tifcha, rank=2)
│ └── [9] אֱלֹהִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יִּסְגֹּ֥ר יְהוָ֖ה בַּֽעֲדֽ/וֹ
├── [10-11] GLUE וַ/יִּסְגֹּ֥ר יְהוָ֖ה (tifcha, rank=2)
└── [12] בַּֽעֲדֽ/וֹ (silluq (verse-end emperor), rank=1)
Word coverage — 227/227 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.7.1 | 0 | ויאמר | va-yomer | and-say | and-say | logic_bearing | none |
| Gen.7.1 | 1 | יהוה | YHWH | YHWH | name_YHWH | logic_bearing | none |
| Gen.7.1 | 2 | לנח | le-nocha | to-Noah | to-Noah | logic_bearing | none |
| Gen.7.1 | 3 | בא | bo | come | BO_imperative_3_speaks_from_inside | logic_bearing | TIR-027 |
| Gen.7.1 | 4 | אתה | ata | you | you | logic_bearing | none |
| Gen.7.1 | 5 | וכל | ve-khal | and-all | and-all | logic_bearing | none |
| Gen.7.1 | 6 | ביתך | bet-kha | house-you/your | house-you_your | logic_bearing | none |
| Gen.7.1 | 7 | אל | el | to | to | logic_bearing | none |
| Gen.7.1 | 8 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.1 | 9 | כי | ki | that | that | logic_bearing | none |
| Gen.7.1 | 10 | אתך | et-kha | YOU | second_person_verdict_object | logic_bearing | TIR-014 |
| Gen.7.1 | 11 | ראיתי | raiti | have-I-seen | seeing_verb_person_verdict | logic_bearing | none |
| Gen.7.1 | 12 | צדיק | tzadiq | righteous | TZADDIK_token_2_second_person | logic_bearing | none |
| Gen.7.1 | 13 | לפני | le-fana-y | before-Me | before-Me | logic_bearing | none |
| Gen.7.1 | 14 | בדור | ba-dor | in-generation | DOR_SINGULAR_vs_6_9_plural | logic_bearing | none |
| Gen.7.1 | 15 | הזה | ha-ze | this | this | logic_bearing | none |
| Gen.7.2 | 0 | מכל | mi-kol | from-all | from-all | logic_bearing | none |
| Gen.7.2 | 1 | הבהמה | ha-behema | the-livestock | the-livestock | logic_bearing | none |
| Gen.7.2 | 2 | הטהורה | ha-tehora | the-clean | TAHOR_FIRST_TOKEN_altar_at_8_20 | logic_bearing | none |
| Gen.7.2 | 3 | תקח | tiqach | you-shall-take | command_bundle_imperfect | logic_bearing | TIR-028 |
| Gen.7.2 | 4 | לך | le-kha | to-you/your | to-you_your | logic_bearing | none |
| Gen.7.2 | 5 | שבעה | shiva | seven | SEVEN_sacrifice_stock | logic_bearing | none |
| Gen.7.2 | 6 | שבעה | shiva | seven | seven_doubled | logic_bearing | none |
| Gen.7.2 | 7 | איש | ish | a-man | ISH_marriage_word_for_animals | logic_bearing | none |
| Gen.7.2 | 8 | ואשתו | ve-isht-o | and-his-wife | VE_ISHTO_letter_fact | logic_bearing | none |
| Gen.7.2 | 9 | ומן | u-min | and-from | and-from | logic_bearing | none |
| Gen.7.2 | 10 | הבהמה | ha-behema | the-livestock | the-livestock | logic_bearing | none |
| Gen.7.2 | 11 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.2 | 12 | לא | lo | not | not | logic_bearing | none |
| Gen.7.2 | 13 | טהרה | tehora | clean | tahor_negated | logic_bearing | none |
| Gen.7.2 | 14 | הוא | hiv | she | HU_written_HI_read_4th_token | logic_bearing | none |
| Gen.7.2 | 15 | שנים | shenayim | two | two_by_two | logic_bearing | none |
| Gen.7.2 | 16 | איש | ish | man | man | logic_bearing | none |
| Gen.7.2 | 17 | ואשתו | ve-isht-o | and-his-wife | and-his-wife | logic_bearing | none |
| Gen.7.3 | 0 | גם | gam | also | also | logic_bearing | none |
| Gen.7.3 | 1 | מעוף | me-of | from-flying-creature | from-flying-creature | logic_bearing | none |
| Gen.7.3 | 2 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.7.3 | 3 | שבעה | shiva | seven | seven | logic_bearing | none |
| Gen.7.3 | 4 | שבעה | shiva | seven | seven | logic_bearing | none |
| Gen.7.3 | 5 | זכר | zakhar | male | male | logic_bearing | none |
| Gen.7.3 | 6 | ונקבה | u-neqeva | and-female | and-female | logic_bearing | none |
| Gen.7.3 | 7 | לחיות | le-chayot | to-keep-alive | purpose_infinitive | logic_bearing | TIR-030 |
| Gen.7.3 | 8 | זרע | zera | seed | ZERA_3_15_word_as_cargo | logic_bearing | none |
| Gen.7.3 | 9 | על | al | over | over | logic_bearing | none |
| Gen.7.3 | 10 | פני | pene | face | face | logic_bearing | none |
| Gen.7.3 | 11 | כל | khal | all | all | logic_bearing | none |
| Gen.7.3 | 12 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.4 | 0 | כי | ki | that | that | logic_bearing | none |
| Gen.7.4 | 1 | לימים | le-yamim | to-day | to-day | logic_bearing | none |
| Gen.7.4 | 2 | עוד | od | still | countdown_stack | logic_bearing | none |
| Gen.7.4 | 3 | שבעה | shiva | seven | seven_more_days | logic_bearing | none |
| Gen.7.4 | 4 | אנכי | anokhi | I | the_doubled_I | logic_bearing | none |
| Gen.7.4 | 5 | ממטיר | mamtir | raining | MATAR_token_2_withheld_at_2_5 | logic_bearing | TIR-031 |
| Gen.7.4 | 6 | על | al | over | over | logic_bearing | none |
| Gen.7.4 | 7 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.4 | 8 | ארבעים | arbaim | forty | forty | logic_bearing | none |
| Gen.7.4 | 9 | יום | yom | day | day | logic_bearing | none |
| Gen.7.4 | 10 | וארבעים | ve-arbaim | and-forty | forty | logic_bearing | none |
| Gen.7.4 | 11 | לילה | layla | night | night | logic_bearing | none |
| Gen.7.4 | 12 | ומחיתי | u-machiti | and-I-will-wipe | MACHAH_token_2_rescheduled | logic_bearing | TIR-029 |
| Gen.7.4 | 13 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.7.4 | 14 | כל | kal | all | all | logic_bearing | none |
| Gen.7.4 | 15 | היקום | ha-yequm | the-standing-substance | YEQUM_three_tokens | logic_bearing | none |
| Gen.7.4 | 16 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.4 | 17 | עשיתי | asiti | I-made | maker_verb_in_unmaking | logic_bearing | none |
| Gen.7.4 | 18 | מעל | me-al | from-over | from-over | logic_bearing | none |
| Gen.7.4 | 19 | פני | pene | face | face | logic_bearing | none |
| Gen.7.4 | 20 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.7.5 | 0 | ויעש | va-yaas | and-make | and-make | logic_bearing | none |
| Gen.7.5 | 1 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.5 | 2 | ככל | ke-khol | like-all | like-all | logic_bearing | none |
| Gen.7.5 | 3 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.5 | 4 | צוהו | tziva-hu | commanded-him | REFRAIN_2_YHWH | logic_bearing | none |
| Gen.7.5 | 5 | יהוה | YHWH | YHWH | name_YHWH | logic_bearing | none |
| Gen.7.6 | 0 | ונח | ve-nocha | and-Noah | and-Noah | logic_bearing | none |
| Gen.7.6 | 1 | בן | ben | son | son | logic_bearing | none |
| Gen.7.6 | 2 | שש | shesh | six | six | logic_bearing | none |
| Gen.7.6 | 3 | מאות | meot | hundred | hundred | logic_bearing | none |
| Gen.7.6 | 4 | שנה | shana | years | years | logic_bearing | none |
| Gen.7.6 | 5 | והמבול | ve-ha-mabul | and-the-deluge | and-the-deluge | logic_bearing | none |
| Gen.7.6 | 6 | היה | haya | be | be | logic_bearing | none |
| Gen.7.6 | 7 | מים | mayim | waters | waters | logic_bearing | none |
| Gen.7.6 | 8 | על | al | over | over | logic_bearing | none |
| Gen.7.6 | 9 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.7 | 0 | ויבא | va-yavo | and-he-came | VA_YAVO_echo_receipt_pops_demand | logic_bearing | none |
| Gen.7.7 | 1 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.7 | 2 | ובניו | u-vanay-v | and-son-him/its | and-son-him_its | logic_bearing | none |
| Gen.7.7 | 3 | ואשתו | ve-isht-o | and-his-wife | and-his-wife | logic_bearing | none |
| Gen.7.7 | 4 | ונשי | u-neshe | and-woman | and-woman | logic_bearing | none |
| Gen.7.7 | 5 | בניו | vanay-v | son-him/its | son-him_its | logic_bearing | none |
| Gen.7.7 | 6 | אתו | et-o | with-him/its | with-him_its | logic_bearing | none |
| Gen.7.7 | 7 | אל | el | to | to | logic_bearing | none |
| Gen.7.7 | 8 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.7 | 9 | מפני | mi-pene | from-before | mi_pnei_letter_fact | logic_bearing | none |
| Gen.7.7 | 10 | מי | me | waters-of | waters | logic_bearing | none |
| Gen.7.7 | 11 | המבול | ha-mabul | the-deluge | the-deluge | logic_bearing | none |
| Gen.7.8 | 0 | מן | min | from | from | logic_bearing | none |
| Gen.7.8 | 1 | הבהמה | ha-behema | the-livestock | the-livestock | logic_bearing | none |
| Gen.7.8 | 2 | הטהורה | ha-tehora | the-clean | the-clean | logic_bearing | none |
| Gen.7.8 | 3 | ומן | u-min | and-from | and-from | logic_bearing | none |
| Gen.7.8 | 4 | הבהמה | ha-behema | the-livestock | the-livestock | logic_bearing | none |
| Gen.7.8 | 5 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.8 | 6 | איננה | enena-h | is-not | is-not | logic_bearing | none |
| Gen.7.8 | 7 | טהרה | tehora | clean | clean | logic_bearing | none |
| Gen.7.8 | 8 | ומן | u-min | and-from | and-from | logic_bearing | none |
| Gen.7.8 | 9 | העוף | ha-of | the-flying-creature | the-flying-creature | logic_bearing | none |
| Gen.7.8 | 10 | וכל | ve-khol | and-all | and-all | logic_bearing | none |
| Gen.7.8 | 11 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.8 | 12 | רמש | romes | creep | creep | logic_bearing | none |
| Gen.7.8 | 13 | על | al | over | over | logic_bearing | none |
| Gen.7.8 | 14 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.7.9 | 0 | שנים | shenayim | two | two_by_two | logic_bearing | none |
| Gen.7.9 | 1 | שנים | shenayim | two | two_by_two | logic_bearing | none |
| Gen.7.9 | 2 | באו | bau | they-came | SELF_LOADING_bau_perfect | logic_bearing | none |
| Gen.7.9 | 3 | אל | el | to | to | logic_bearing | none |
| Gen.7.9 | 4 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.9 | 5 | אל | el | to | to | logic_bearing | none |
| Gen.7.9 | 6 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.9 | 7 | זכר | zakhar | male | male | logic_bearing | none |
| Gen.7.9 | 8 | ונקבה | u-neqeva | and-female | and-female | logic_bearing | none |
| Gen.7.9 | 9 | כאשר | ka-asher | like-as/which | like-as_which | logic_bearing | none |
| Gen.7.9 | 10 | צוה | tziva | commanded | REFRAIN_3_elohim | logic_bearing | none |
| Gen.7.9 | 11 | אלהים | Elohim | God | God | logic_bearing | none |
| Gen.7.9 | 12 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.7.9 | 13 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.10 | 0 | ויהי | va-yehi | and-be | and-be | logic_bearing | none |
| Gen.7.10 | 1 | לשבעת | le-shivat | to-seven | to-seven | logic_bearing | none |
| Gen.7.10 | 2 | הימים | ha-yamim | the-day | the-day | logic_bearing | none |
| Gen.7.10 | 3 | ומי | u-me | and-waters | and-waters | logic_bearing | none |
| Gen.7.10 | 4 | המבול | ha-mabul | the-deluge | the-deluge | logic_bearing | none |
| Gen.7.10 | 5 | היו | hayu | be | be | logic_bearing | none |
| Gen.7.10 | 6 | על | al | over | over | logic_bearing | none |
| Gen.7.10 | 7 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.11 | 0 | בשנת | bi-shenat | in-years | in-years | logic_bearing | none |
| Gen.7.11 | 1 | שש | shesh | six | six | logic_bearing | none |
| Gen.7.11 | 2 | מאות | meot | hundred | hundred | logic_bearing | none |
| Gen.7.11 | 3 | שנה | shana | years | years | logic_bearing | none |
| Gen.7.11 | 4 | לחיי | le-chaye | to-alive | to-alive | logic_bearing | none |
| Gen.7.11 | 5 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.11 | 6 | בחדש | ba-chodesh | in-month | CHODESH_FIRST_TOKENS_in_first_date | logic_bearing | none |
| Gen.7.11 | 7 | השני | ha-sheni | the-second | month_two | logic_bearing | none |
| Gen.7.11 | 8 | בשבעה | be-shiva | in-seven | day_17 | logic_bearing | none |
| Gen.7.11 | 9 | עשר | asar | teen | day_17b | logic_bearing | none |
| Gen.7.11 | 10 | יום | yom | day | day | logic_bearing | none |
| Gen.7.11 | 11 | לחדש | la-chodesh | of-month | chodesh_again | logic_bearing | none |
| Gen.7.11 | 12 | ביום | ba-yom | in-day | in-day | logic_bearing | none |
| Gen.7.11 | 13 | הזה | ha-ze | the-this | the-this | logic_bearing | none |
| Gen.7.11 | 14 | נבקעו | nivqu | were-split | BAKA_FIRST_TOKEN_wood_sea_next | logic_bearing | TIR-032 |
| Gen.7.11 | 15 | כל | kal | all | all | logic_bearing | none |
| Gen.7.11 | 16 | מעינת | maynot | fountains-of | MAYAN_debut | logic_bearing | none |
| Gen.7.11 | 17 | תהום | tehom | the-deep | TEHOM_1_2_returns | logic_bearing | none |
| Gen.7.11 | 18 | רבה | raba | many/great | many_great | logic_bearing | none |
| Gen.7.11 | 19 | וארבת | va-arubot | and-windows-of | ARUBAH_two_token_word | logic_bearing | none |
| Gen.7.11 | 20 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.7.11 | 21 | נפתחו | niftachu | were-opened | agentless_breach_above | logic_bearing | TIR-032 |
| Gen.7.12 | 0 | ויהי | va-yehi | and-be | and-be | logic_bearing | none |
| Gen.7.12 | 1 | הגשם | ha-geshem | the-rain | GESHEM_debut | logic_bearing | none |
| Gen.7.12 | 2 | על | al | over | over | logic_bearing | none |
| Gen.7.12 | 3 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.12 | 4 | ארבעים | arbaim | forty | forty | logic_bearing | none |
| Gen.7.12 | 5 | יום | yom | day | day | logic_bearing | none |
| Gen.7.12 | 6 | וארבעים | ve-arbaim | and-forty | forty | logic_bearing | none |
| Gen.7.12 | 7 | לילה | layla | night | night | logic_bearing | none |
| Gen.7.13 | 0 | בעצם | be-etzem | in-the-very | BE_ETZEM_solemn_stamp_debut | logic_bearing | none |
| Gen.7.13 | 1 | היום | ha-yom | the-day | the-day | logic_bearing | none |
| Gen.7.13 | 2 | הזה | ha-ze | the-this | the-this | logic_bearing | none |
| Gen.7.13 | 3 | בא | ba | came | ba | logic_bearing | none |
| Gen.7.13 | 4 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.13 | 5 | ושם | ve-shem | and-Sem | and-Sem | logic_bearing | none |
| Gen.7.13 | 6 | וחם | ve-cham | and-Ham | and-Ham | logic_bearing | none |
| Gen.7.13 | 7 | ויפת | va-yefet | and-Japheth | and-Japheth | logic_bearing | none |
| Gen.7.13 | 8 | בני | bene | son | son | logic_bearing | none |
| Gen.7.13 | 9 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.13 | 10 | ואשת | ve-eshet | and-woman | and-woman | logic_bearing | none |
| Gen.7.13 | 11 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.13 | 12 | ושלשת | u-sheloshet | and-three | and-three | logic_bearing | none |
| Gen.7.13 | 13 | נשי | neshe | woman | woman | logic_bearing | none |
| Gen.7.13 | 14 | בניו | vanay-v | son-him/its | son-him_its | logic_bearing | none |
| Gen.7.13 | 15 | אתם | et-m | with-them/their | with-them_their | logic_bearing | none |
| Gen.7.13 | 16 | אל | el | to | to | logic_bearing | none |
| Gen.7.13 | 17 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.14 | 0 | המה | hema | they | they | logic_bearing | none |
| Gen.7.14 | 1 | וכל | ve-khal | and-all | and-all | logic_bearing | none |
| Gen.7.14 | 2 | החיה | ha-chaya | the-living | the-living | logic_bearing | none |
| Gen.7.14 | 3 | למינה | le-mina-h | by-its-kind | LE_MINO_taxonomy | logic_bearing | none |
| Gen.7.14 | 4 | וכל | ve-khal | and-all | and-all | logic_bearing | none |
| Gen.7.14 | 5 | הבהמה | ha-behema | the-livestock | the-livestock | logic_bearing | none |
| Gen.7.14 | 6 | למינה | le-mina-h | by-its-kind | LE_MINO_taxonomy | logic_bearing | none |
| Gen.7.14 | 7 | וכל | ve-khal | and-all | and-all | logic_bearing | none |
| Gen.7.14 | 8 | הרמש | ha-remes | the-creeper | the-creeper | logic_bearing | none |
| Gen.7.14 | 9 | הרמש | ha-romes | the-creep | the-creep | logic_bearing | none |
| Gen.7.14 | 10 | על | al | over | over | logic_bearing | none |
| Gen.7.14 | 11 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.7.14 | 12 | למינהו | le-mine-hu | by-its-kind | LE_MINO_taxonomy | logic_bearing | none |
| Gen.7.14 | 13 | וכל | ve-khal | and-all | and-all | logic_bearing | none |
| Gen.7.14 | 14 | העוף | ha-of | the-flying-creature | the-flying-creature | logic_bearing | none |
| Gen.7.14 | 15 | למינהו | le-mine-hu | by-its-kind | LE_MINO_taxonomy | logic_bearing | none |
| Gen.7.14 | 16 | כל | kol | all | all | logic_bearing | none |
| Gen.7.14 | 17 | צפור | tzipor | bird | TZIPPOR_debut_covenant_pieces_next | logic_bearing | none |
| Gen.7.14 | 18 | כל | kal | all | all | logic_bearing | none |
| Gen.7.14 | 19 | כנף | kanaf | wing | KANAF_token_2_every_wing | logic_bearing | none |
| Gen.7.15 | 0 | ויבאו | va-yavou | and-came | and-came | logic_bearing | none |
| Gen.7.15 | 1 | אל | el | to | to | logic_bearing | none |
| Gen.7.15 | 2 | נח | nocha | Noah | name_nocha | logic_bearing | none |
| Gen.7.15 | 3 | אל | el | to | to | logic_bearing | none |
| Gen.7.15 | 4 | התבה | ha-teva | the-box | the-box | logic_bearing | none |
| Gen.7.15 | 5 | שנים | shenayim | two | two_by_two | logic_bearing | none |
| Gen.7.15 | 6 | שנים | shenayim | two | two_by_two | logic_bearing | none |
| Gen.7.15 | 7 | מכל | mi-kal | from-all | from-all | logic_bearing | none |
| Gen.7.15 | 8 | הבשר | ha-basar | the-flesh | the-flesh | logic_bearing | none |
| Gen.7.15 | 9 | אשר | asher | which | which | logic_bearing | none |
| Gen.7.15 | 10 | בו | b-o | in-him/its | in-him_its | logic_bearing | none |
| Gen.7.15 | 11 | רוח | rucha | breath-of | RUACH_CHAYIM_criterion | logic_bearing | none |
| Gen.7.15 | 12 | חיים | chayim | life | life | logic_bearing | none |
| Gen.7.16 | 0 | והבאים | ve-ha-baim | and-the-comers | come_root_three_ways | logic_bearing | none |
| Gen.7.16 | 1 | זכר | zakhar | male | male | logic_bearing | none |
| Gen.7.16 | 2 | ונקבה | u-neqeva | and-female | and-female | logic_bearing | none |
| Gen.7.16 | 3 | מכל | mi-kal | from-all | from-all | logic_bearing | none |
| Gen.7.16 | 4 | בשר | basar | flesh | flesh | logic_bearing | none |
| Gen.7.16 | 5 | באו | bau | come | come | logic_bearing | none |
| Gen.7.16 | 6 | כאשר | ka-asher | as | refrain_4 | logic_bearing | none |
| Gen.7.16 | 7 | צוה | tziva | commanded | ELOHIM_commands | logic_bearing | none |
| Gen.7.16 | 8 | אתו | et-o | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.7.16 | 9 | אלהים | Elohim | God | the_command_voice | logic_bearing | none |
| Gen.7.16 | 10 | ויסגר | va-yisgor | and-He-shut | SAGAR_token_2_flesh_was_first | logic_bearing | none |
| Gen.7.16 | 11 | יהוה | YHWH | YHWH | YHWH_shuts_name_split | logic_bearing | none |
| Gen.7.16 | 12 | בעדו | baad-o | behind-him | the_protective_seal | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_17_boarding — The boarding: you have I seen righteous, the date, the shut door (7:1-16) [frozen]
final state: WORLD=[] (+2 presupposed) | REGISTRY={} | TESTS=1 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install']
=== S1 — The command and the first person-verdict: after STEP_Gn_7_1
כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי (ki-otkha raiti tzaddik lefanai)
PASS LET(bo(noach, el_ha_tevah)) pushed and OPEN (queue=['bo(noach, el_ha_tevah)'])
PASS TESTS += PASS(tzaddik, noach) (tests=[('tzaddik', 'noach')])
PASS flags noach/tevah as read-before-install. (flagged=['noach', 'tevah'])
=== S2 — The clean-sevens amendment, demand open: after STEP_Gn_7_3
שִׁבְעָה שִׁבְעָה אִישׁ וְאִשְׁתּוֹ (shivah shivah ish ve-ishto)
PASS Facts shivah_shivah_ha_behemah_ha_tehorah/shnayim_asher_lo_tehorah HOLD (3 facts)
PASS LET(bo(noach, el_ha_tevah)) pushed and OPEN. (queue=['bo(noach, el_ha_tevah)'])
=== S3 — Refrain #2 lands, the demand still waits: after STEP_Gn_7_5
וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה (va-yaas Noach ke-khol asher-tzivahu YHWH)
PASS Facts ke_khol_asher_tzivahu_YHWH HOLD (6 facts)
PASS LET(bo(noach, el_ha_tevah)) pushed and OPEN. (queue=['bo(noach, el_ha_tevah)'])
=== S4 — The entry pops the demand — settled cycle #2: after STEP_Gn_7_7
וַיָּבֹא נֹחַ … אֶל־הַתֵּבָה (va-yavo Noach … el-ha-tevah)
PASS SPECS empty. (queue=0)
=== S5 — The first calendar timestamp: after STEP_Gn_7_11
בַּחֹדֶשׁ הַשֵּׁנִי בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ (ba-chodesh ha-sheni be-shivah-asar yom la-chodesh)
PASS TIME t0 = shnat_600_chodesh_2_yom_17. (t0=shnat_600_chodesh_2_yom_17)
=== S6 — The solemn-day stamp: after STEP_Gn_7_13
בְּעֶצֶם הַיּוֹם הַזֶּה (be-etzem ha-yom ha-zeh)
PASS Facts be_etzem_ha_yom_ha_zeh_ba_noach HOLD. (13 facts)
=== S7 — Sealed — the door shut, the queue empty: after STEP_Gn_7_16
וַיִּסְגֹּר יְהוָה בַּעֲדוֹ (va-yisgor YHWH baado)
PASS Facts ha_baim_zakhar_u_nekevah_bau/ka_asher_tzivah_oto_elohim HOLD (17 facts)
PASS SPECS empty. (queue=0)
=== S8_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)
=== S9_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_17_boarding — 7:1-16
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_17_boarding.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 boarding: you have I seen righteous, the date, the shut door (7:1-16)"""
from machine import Machine
m = Machine("gen_17_boarding")
# -------------------------- Gen.7.1 · COME_COMMAND_SECOND_PERSON_VERDICT ---
# וַיֹּאמֶר יְהוָה לְנֹחַ בֹּא־אַתָּה וְכָל־בֵּיתְךָ אֶל־הַתֵּבָה
# כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי בַּדּוֹר הַזֶּה
# "And the LORD said unto Noah: 'Come thou and all thy house into the ark;
# for thee have I seen righteous before Me in this generation.'"
m.step("Gen.7.1")
# ‹בֹּא־אַתָּה וְכָל־בֵּיתְךָ אֶל־הַתֵּבָה› (“come you and-all house-
# you/your to the-ark”) — the-LORD speaks a demand — LET: come(Noach, to-
# the-ark)
m.declare("YHWH", "LET",
"bo(noach, el_ha_tevah)")
# ‹כִּי־אֹתְךָ רָאִיתִי צַדִּיק לְפָנַי› (“that YOU have-I-seen righteous
# before-Me”) — test PASS — oracle-word righteous, on Noach
m.test("PASS", "tzaddik", "noach")
# reads without prior install (flag, not fix): Noach, ark
m.presupposed("noach", "tevah")
# -------------------------- Gen.7.2 · CLEAN_SEVENS_AMENDMENT ---------------
# מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה תִּקַּח־לְךָ שִׁבְעָה שִׁבְעָה אִישׁ
# וְאִשְׁתּוֹ וּמִן־הַבְּהֵמָה אֲשֶׁר לֹא טְהֹרָה הִוא שְׁנַיִם אִישׁ
# וְאִשְׁתּוֹ
# "Of every clean beast thou shalt take to thee seven and seven, each with
# his mate; and of the beasts that are not clean two and two, each with his
# mate;"
m.step("Gen.7.2")
# ‹הַטְּהוֹרָה … שִׁבְעָה שִׁבְעָה … לֹא טְהֹרָה הִוא שְׁנַיִם› (“the-clean
# … seven seven … not clean she two”) — fact holds: seven-seven-the-
# livestock-the-clean; two-which-not-clean
m.fact("shivah_shivah_ha_behemah_ha_tehorah",
"shnayim_asher_lo_tehorah")
# -------------------------- Gen.7.3 · BIRDS_AND_THE_SEED_PURPOSE -----------
# גַּם מֵעוֹף הַשָּׁמַיִם שִׁבְעָה שִׁבְעָה זָכָר וּנְקֵבָה לְחַיּוֹת זֶרַע
# עַל־פְּנֵי כָל־הָאָרֶץ
# "of the fowl also of the air, seven and seven, male and female; to keep
# seed alive upon the face of all the earth."
m.step("Gen.7.3")
# ‹לְחַיּוֹת זֶרַע עַל־פְּנֵי כָל־הָאָרֶץ› (“to-keep-alive seed over face
# all the-earth”) — fact holds: to-keep-alive-seed-over-face-of-all-the-
# earth
m.fact("le_chayot_zera_al_pnei_khol_ha_aretz")
# -------------------------- Gen.7.4 · COUNTDOWN_STACK_WIPE_SCHEDULED -------
# כִּי לְיָמִים עוֹד שִׁבְעָה אָנֹכִי מַמְטִיר עַל־הָאָרֶץ אַרְבָּעִים יוֹם
# וְאַרְבָּעִים לָיְלָה וּמָחִיתִי אֶת־כָּל־הַיְקוּם אֲשֶׁר עָשִׂיתִי מֵעַל
# פְּנֵי הָאֲדָמָה
# "For yet seven days, and I will cause it to rain upon the earth forty days
# and forty nights; and every living substance that I have made will I blot
# out from off the face of the earth.'"
m.step("Gen.7.4")
# ‹עוֹד שִׁבְעָה אָנֹכִי מַמְטִיר … וּמָחִיתִי אֶת־כָּל־הַיְקוּם› (“still
# seven I raining … and-I-will-wipe obj-marker all the-standing-substance”)
# — fact holds: still-seven-day-I-raining; and-I-will-wipe-obj-marker·et-
# all-the-standing-substance
m.fact("od_shivat_yamim_anokhi_mamtir",
"u_machiti_et_kol_ha_yequm")
# -------------------------- Gen.7.5 · REFRAIN_TWO --------------------------
# וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה
# "And Noah did according unto all that the LORD commanded him."
m.step("Gen.7.5")
# ‹וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר־צִוָּהוּ יְהוָה› (“and-make Noah like-all
# which commanded-him YHWH”) — fact holds: like-all-which-commanded-him-the-
# LORD
m.fact("ke_khol_asher_tzivahu_YHWH")
# -------------------------- Gen.7.6 · AGE_AT_THE_FLOOD ---------------------
# וְנֹחַ בֶּן־שֵׁשׁ מֵאוֹת שָׁנָה וְהַמַּבּוּל הָיָה מַיִם עַל־הָאָרֶץ
# "And Noah was six hundred years old when the flood of waters was upon the
# earth."
m.step("Gen.7.6")
# ‹וְנֹחַ בֶּן־שֵׁשׁ מֵאוֹת שָׁנָה› (“and-Noah son six hundred years”) —
# fact holds: Noach-son-six-hundred-year
m.fact("noach_ben_shesh_meot_shanah")
# -------------------------- Gen.7.7 · THE_ENTRY_DEMAND_POPPED --------------
# וַיָּבֹא נֹחַ וּבָנָיו וְאִשְׁתּוֹ וּנְשֵׁי־בָנָיו אִתּוֹ אֶל־הַתֵּבָה
# מִפְּנֵי מֵי הַמַּבּוּל
# "And Noah went in, and his sons, and his wife, and his sons' wives with
# him, into the ark, because of the waters of the flood."
m.step("Gen.7.7")
# ‹וַיָּבֹא נֹחַ … אֶל־הַתֵּבָה› (“and-he-came Noah … to the-ark”) — event:
# come — agent Noach; theme to-the-ark
m.event("come", agent="noach", themes=["el_ha_tevah"])
# ‹וַיָּבֹא … אֶל־הַתֵּבָה› (“and-he-came … to the-ark”) — demand settled
# (popped from the queue): come(Noach, to-the-ark)
m.result("bo(noach, el_ha_tevah)", tmark="t1")
# -------------------------- Gen.7.8 · THE_CARGO_CLASSES --------------------
# מִן־הַבְּהֵמָה הַטְּהוֹרָה וּמִן־הַבְּהֵמָה אֲשֶׁר אֵינֶנָּה טְהֹרָה
# וּמִן־הָעוֹף וְכֹל אֲשֶׁר־רֹמֵשׂ עַל־הָאֲדָמָה
# "Of clean beasts, and of beasts that are not clean, and of fowls, and of
# every thing that creepeth upon the ground,"
m.step("Gen.7.8")
# ‹הַטְּהוֹרָה … אֵינֶנָּה טְהֹרָה … הָעוֹף … רֹמֵשׂ› (“the-clean … is-not
# clean … the-flying-creature … creep”) — fact holds: the-clean-and-is-not-
# clean-and-the-flying-creature-and-the-creep
m.fact("ha_tehorah_ve_einenah_tehorah_ve_ha_of_ve_ha_romes")
# -------------------------- Gen.7.9 · SELF_LOADING_REFRAIN_THREE -----------
# שְׁנַיִם שְׁנַיִם בָּאוּ אֶל־נֹחַ אֶל־הַתֵּבָה זָכָר וּנְקֵבָה כַּאֲשֶׁר
# צִוָּה אֱלֹהִים אֶת־נֹחַ
# "there went in two and two unto Noah into the ark, male and female, as God
# commanded Noah."
m.step("Gen.7.9")
# ‹שְׁנַיִם שְׁנַיִם בָּאוּ … כַּאֲשֶׁר צִוָּה אֱלֹהִים› (“two two they-came
# … like-as/which commanded God”) — fact holds: two-two-they-came-to-Noach;
# like-which-commanded-God-obj-marker·et-Noach
m.fact("shnayim_shnayim_bau_el_noach",
"ka_asher_tzivah_elohim_et_noach")
# -------------------------- Gen.7.10 · SEVEN_DAYS_ELAPSE -------------------
# וַיְהִי לְשִׁבְעַת הַיָּמִים וּמֵי הַמַּבּוּל הָיוּ עַל־הָאָרֶץ
# "And it came to pass after the seven days, that the waters of the flood
# were upon the earth."
m.step("Gen.7.10")
# ‹וַיְהִי לְשִׁבְעַת הַיָּמִים וּמֵי הַמַּבּוּל הָיוּ› (“and-be to-seven
# the-day and-waters the-deluge be”) — fact holds: to-seven-the-day-waters-
# of-the-deluge
m.fact("le_shivat_ha_yamim_mei_ha_mabul")
# -------------------------- Gen.7.11 · THE_DATE_DOUBLE_BREACH --------------
# בִּשְׁנַת שֵׁשׁ־מֵאוֹת שָׁנָה לְחַיֵּי־נֹחַ בַּחֹדֶשׁ הַשֵּׁנִי
# בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ בַּיּוֹם הַזֶּה נִבְקְעוּ כָּל־מַעְיְנֹת
# תְּהוֹם רַבָּה וַאֲרֻבֹּת הַשָּׁמַיִם נִפְתָּחוּ
# "In the six hundredth year of Noah's life, in the second month, on the
# seventeenth day of the month, on the same day were all the fountains of
# the great deep broken up, and the windows of heaven were opened."
m.step("Gen.7.11")
# ‹בִּשְׁנַת שֵׁשׁ־מֵאוֹת שָׁנָה לְחַיֵּי־נֹחַ בַּחֹדֶשׁ הַשֵּׁנִי
# בְּשִׁבְעָה־עָשָׂר יוֹם לַחֹדֶשׁ› (“in-years six hundred years to-alive
# Noah in-month the-second in-seven teen day of-month”) — clock anchored: t0
# := year-of-600-of-month-2-day-17
m.time_anchor("shnat_600_chodesh_2_yom_17")
# ‹נִבְקְעוּ כָּל־מַעְיְנֹת תְּהוֹם רַבָּה› (“were-split all fountains-of
# the-deep many/great”) — event: split — theme fountains-of-deep-great
m.event("split", themes=["mayenot_tehom_rabbah"])
# ‹וַאֲרֻבֹּת הַשָּׁמַיִם נִפְתָּחוּ› (“and-windows-of the-heavens were-
# opened”) — event: open — theme windows-of-the-heavens
m.event("open", themes=["arubot_ha_shamayim"])
# -------------------------- Gen.7.12 · THE_RAIN_FORTY ----------------------
# וַיְהִי הַגֶּשֶׁם עַל־הָאָרֶץ אַרְבָּעִים יוֹם וְאַרְבָּעִים לָיְלָה
# "And the rain was upon the earth forty days and forty nights."
m.step("Gen.7.12")
# ‹הַגֶּשֶׁם … אַרְבָּעִים יוֹם וְאַרְבָּעִים לָיְלָה› (“the-rain … forty
# day and-forty night”) — fact holds: the-rain-forty-day-and-forty-night
m.fact("ha_geshem_arbaim_yom_va_arbaim_laylah")
# -------------------------- Gen.7.13 · THE_SOLEMN_DAY_STAMP ----------------
# בְּעֶצֶם הַיּוֹם הַזֶּה בָּא נֹחַ וְשֵׁם־וְחָם וָיֶפֶת בְּנֵי־נֹחַ
# וְאֵשֶׁת נֹחַ וּשְׁלֹשֶׁת נְשֵׁי־בָנָיו אִתָּם אֶל־הַתֵּבָה
# "In the selfsame day entered Noah, and Shem, and Ham, and Japheth, the
# sons of Noah, and Noah's wife, and the three wives of his sons with them,
# into the ark;"
m.step("Gen.7.13")
# ‹בְּעֶצֶם הַיּוֹם הַזֶּה בָּא נֹחַ› (“in-the-very the-day the-this came
# Noah”) — fact holds: in-very-the-day-the-this-came-Noach
m.fact("be_etzem_ha_yom_ha_zeh_ba_noach")
# -------------------------- Gen.7.14 · FULL_TAXONOMY_EVERY_WING ------------
# הֵמָּה וְכָל־הַחַיָּה לְמִינָהּ וְכָל־הַבְּהֵמָה לְמִינָהּ וְכָל־הָרֶמֶשׂ
# הָרֹמֵשׂ עַל־הָאָרֶץ לְמִינֵהוּ וְכָל־הָעוֹף לְמִינֵהוּ כֹּל צִפּוֹר
# כָּל־כָּנָף
# "they, and every beast after its kind, and all the cattle after their
# kind, and every creeping thing that creepeth upon the earth after its
# kind, and every fowl after its kind, every bird of every sort."
m.step("Gen.7.14")
# ‹לְמִינָהּ … לְמִינֵהוּ … כֹּל צִפּוֹר כָּל־כָּנָף› (“by-its-kind … by-
# its-kind … all bird all wing”) — fact holds: all-the-beast-to-its-kind-
# the-flying-creature-to-its-kind; all-bird-all-wing
m.fact("kol_ha_chayah_le_minah_ha_of_le_minehu",
"kol_tzippor_kol_kanaf")
# -------------------------- Gen.7.15 · THE_PAIRS_AND_THE_BREATH ------------
# וַיָּבֹאוּ אֶל־נֹחַ אֶל־הַתֵּבָה שְׁנַיִם שְׁנַיִם מִכָּל־הַבָּשָׂר
# אֲשֶׁר־בּוֹ רוּחַ חַיִּים
# "And they went in unto Noah into the ark, two and two of all flesh wherein
# is the breath of life."
m.step("Gen.7.15")
# ‹וַיָּבֹאוּ אֶל־נֹחַ … שְׁנַיִם שְׁנַיִם› (“and-came to Noah … two two”) —
# event: come — theme all-flesh-two-two
m.event("come", themes=["kol_basar_shnayim_shnayim"])
# -------------------------- Gen.7.16 · THE_SEAL_YHWH_SHUTS -----------------
# וְהַבָּאִים זָכָר וּנְקֵבָה מִכָּל־בָּשָׂר בָּאוּ כַּאֲשֶׁר צִוָּה אֹתוֹ
# אֱלֹהִים וַיִּסְגֹּר יְהוָה בַּעֲדוֹ
# "And they that went in, went in male and female of all flesh, as God
# commanded him; and the LORD shut him in."
m.step("Gen.7.16")
# ‹וְהַבָּאִים זָכָר וּנְקֵבָה … בָּאוּ כַּאֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים›
# (“and-the-comers male and-female … come as commanded obj-marker God”) —
# fact holds: the-comers-male-and-female-they-came; like-which-commanded-it-
# God
m.fact("ha_baim_zakhar_u_nekevah_bau",
"ka_asher_tzivah_oto_elohim")
# ‹וַיִּסְגֹּר יְהוָה בַּעֲדוֹ› (“and-He-shut YHWH behind-him”) — event:
# shut — agent the-LORD; theme about-him
m.event("shut", agent="YHWH", themes=["baado"])
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'noach', 'tevah'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == [('PASS', 'tzaddik', 'noach')]
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 1
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 2}
assert sorted(m.WORLD["facts"]) == sorted(['shivah_shivah_ha_behemah_ha_tehorah', 'shnayim_asher_lo_tehorah', 'le_chayot_zera_al_pnei_khol_ha_aretz', 'od_shivat_yamim_anokhi_mamtir', 'u_machiti_et_kol_ha_yequm', 'ke_khol_asher_tzivahu_YHWH', 'noach_ben_shesh_meot_shanah', 'ha_tehorah_ve_einenah_tehorah_ve_ha_of_ve_ha_romes', 'shnayim_shnayim_bau_el_noach', 'ka_asher_tzivah_elohim_et_noach', 'le_shivat_ha_yamim_mei_ha_mabul', 'ha_geshem_arbaim_yom_va_arbaim_laylah', 'be_etzem_ha_yom_ha_zeh_ba_noach', 'kol_ha_chayah_le_minah_ha_of_le_minehu', 'kol_tzippor_kol_kanaf', 'ha_baim_zakhar_u_nekevah_bau', 'ka_asher_tzivah_oto_elohim'])
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")