The flood prologue: the stolen verdict, the 120 years, the regret, the favor (6:1-8) FROZEN
וַיִּנָּחֶם יְהוָה — וְנֹחַ מָצָא חֵן · va-yinachem YHWH — ve-Noach matza chen · 'and YHWH regretted' — 'and Noah found favor'
Derived 2026-08-01 at owner's order ("derive next block") — the second unit under the AUTO-FREEZE process. Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (8 sequential fetches, Data/FETCHLOG.md — the span holds the buffer's heaviest theology: sons-of-God -> sons-of-the-GREAT-ONES; 6:3 REBUILT as a 120-year repentance window, the 4:7 device; the divine interior DELETED at 6:6-7 — regret and grief become "turned in His Word to break their strength"); trees from the DB's stored tree_json. ELEVENTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/ WATCHLIST_gen15_prospective_2026-08-01.md): cache holds ZERO sources for Gen 6:1-8 — ninth tripwire in a row (the bnei-elohim anti-literal buffer and the inserted-repentance rebuild are the span's detector classes). INTERPRETER: ZERO extensions — sixth extension-free derivation in a row.
Logic-derived v1: v3 ta'amim trees (from DB tree_json) -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. Machine tokens apostrophe-free and underscore-joined (kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom, noach_matza_chen_be_einei_YHWH).
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_15_flood_prologue_claims.json — 6 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_15_2026-08-08.md). CROWNS (chain-attested, DB-verified): (1) G15-01 the fallen letter of the fallen ones: הנפלים ("the Nephilim") — the Masorah's (received tradition's) trio, one plene two defective: HERE defective (first yod missing), the spies' sighting (Num 13:33) PLENE, the sons-of-the-giant clause (same verse) defective again; the Kitzur Baal HaTurim rides Niddah 61a's Shamchazai tradition on the missing letter, the Zohar (I:117) reads it on the unborn — SNAPSHOT: three tokens, exactly one plene. (2) G15-02 לעלם ("forever," the abide-decree, 6:3) — defective without vav, the Zohar (I:58a) named at the letter. (3) G15-03 מחשבת ("the devisings," the total diagnosis, 6:5) — the Ramah's every-occurrence defective rule, letter-exact. (4) G15-04 ההם ("those days," 6:4) — second he pointed tsere (the long e-vowel). (5) G15-05 אחרי כן ("after that," 6:4) — "TWO words with a maqqef (joining hyphen) between them, all written so" (Ramah); SNAPSHOT's maqqef data joins them. (6) G15-06 the book-rule on the wipe-scope: מאדם עד בהמה ("from man TO beast," 6:7) — Genesis reads bare עד where Exodus and Jeremiah read ועד ("and-to"): the Masorah's cross-book rule locked at the un-creation list. READINGS (named-only, unclaimed): בני האלהים ("the sons of the powers," 6:2/6:4) ruled PROFANE (chol — the judges/princes sense, not the sacred Name) by Minchat Shai — the tradition's vote filed BESIDE this unit's [OPEN] divine-vs-judges war (Rashi carries both readings, Bereshit Rabbah 26:5; Onkelos votes nobles — the unit's Tier-A note); the canopy-snatching reading of "they were fair" (Bereshit Rabbah 26:5); the Nephilim "fell and felled the world" (Bereshit Rabbah 26:7 via Rashi — beside this unit's fall-root note); the 120 years as long-suffering (Rashi 6:3); men of the name = names of destruction — מחויאל ("Mechuyael") re-read as "wiped-out-by-God" through 6:7's wipe-verb (Rashi 6:4 — the tradition re-reading gen_13's changing-pair name); the consolation reading of the regret (Bereshit Rabbah 27:4 via Rashi 6:6). DISCREPANCIES: none. INSTRUMENT GAPS: none new — the holy/profane Name classifications (Minchat Shai: 5:1 קדש "holy," 6:2 חול "profane") have no SNAPSHOT instrumentation; noted, not ordered.
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The flood prologue (6:1-8): from the multiplying to the favor — 6:9 opens a new toledot ("generations") header (Noach's line, the ark instructions), the next block. Inside: the multiplying and the daughters, the sons-of-God taking, the 120-year decree, the Nephilim parenthesis, the total diagnosis, the regret and the grief, the wipe-resolve with its un-creation scope, and the five-word counterweight. The span is the corpus's hinge: the last verse of the book of Adam's line's world, and the first of Noach's. | 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: 6:1 [the multiplying on the ground's face | daughters born]; 6:2 [the seeing-that-good | the taking from all they chose]; 6:3 [the decree: my spirit shall not abide, for he is flesh | the 120 years]; 6:4 [the Nephilim in those days and after | the mighty men of the name — the verse is the span's longest and carries its two open names]; 6:5 [YHWH saw the great evil | every devising only evil all the day]; 6:6 [the regret | the grief to His heart]; 6:7 [I will wipe... from the ground's face | the scope list and the double reason: for I regret that I made them]; 6:8 [five words, one rest: Noah | found favor in the eyes of YHWH]. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 6:1 HECHEL — the begin-root's token 2, straight off 4:26's huchal fork; banot YULDU (passive, TIR-032 — daughters born agentless); pnei ha-adamah ("the ground's face") opens the bracket 6:7 closes. 6:2 the STOLEN FORMULA: va-yiru... ki TOVOT — the week's inspection verb + verdict word with creature subjects (bnei ha-ELOHIM [OPEN — divine beings vs judges: the chain's war; Onkelos votes nobles]) and human daughters as object; the consequence is LAQACH ("took" — 4:19's polygamy verb generalized); BACHAR ("choose") — the corpus's FIRST token: choice debuts as taking-without-limit ("from ALL they chose"). 6:3 the decree: lo YADON — the din-verb's first token, sense contested [OPEN: abide/strive/judge]; BE-SHAGAM [OPEN — the crux]; le-OLAM token 2 (3:22 denied forever-life; here forever-abiding); ve-HAYU (weqatal, TIR-029) yamav 120 shanah — cap-on-lifespan vs countdown [OPEN — both held; Onkelos inserts a repentance window]. 6:4 ha-NEFILIM — three Torah tokens total (here + the spies' report Num 13:33 x2): a name held, nothing invented [OPEN]; GIBOR debuts (tokens 2-3: Nimrod, who "hechel to be a gibor"); anshei ha-SHEM [OPEN: renown] — the name-word off 4:26/5:32. 6:5 the INVERTED INSPECTION: va-YAR YHWH ki rabbah RAAT — the seeing that seven times returned good returns GREAT EVIL (against frozen 1:31's tov MEOD); YETZER debuts (token 2 = 8:21 — the flood's far-shore bookend, softened); MACHASHAVAH debuts (tokens 2-4 = the TABERNACLE craftsman's design-word, Exod 31:4, 35:32-33); raq ra kol ha-yom — the total quantifiers. 6:6 the corpus's first DIVINE-INTERIOR events: va-YINACHEM (nacham token 2 — 5:29's hoped comfort become regret, as the gen_14 fuse predicted) and va-YITATZEV el-LIBO — the atzav verb's FIRST token (hitpael), the ROOT of itzavon (3:16, 3:17, 5:29 — the toil-noun's only tokens): the sentence-pain arrives in the Sentencer's heart; the heart-pair: man's heart all-evil (6:5), God's heart grieved (6:6). 6:7 EMCHEH — the wipe-verb's debut as first-person imperfect resolve (trail: 7:4 the countdown, 7:23 x2 the execution, Exod 17:14 Amalek WITH the book-word, Exod 32:32-33 the book of life); asher BARATI — the create-verb, first person, first time regretted; the scope runs the creation backward: human -> livestock -> creeper -> birds (day 6 back into day 5); ki NICHAMTI (nacham token 3). 6:8 five words: ve-NOACH MATZA CHEN be-einei YHWH — CHEN's first token (token 2 = 18:3, Abraham); the letter fact: Noach (nun-chet) and chen (chet-nun) are the same letters REVERSED [held]; MATZA — the find-verb bracket (2:20 no helper found; 4:14-15 the feared finders; here favor found; 8:9 the dove); be-EINEI — the eyes-thread (3:6, 3:7) now YHWH's. | tested |
| D | Predicates & outcomes | The prologue is a trial transcript built from the week's own instruments: the inspection verb runs twice with the wrong subjects and the wrong verdict; the diagnosis totalizes (every devising, only evil, all the day); the response is interior before it is forensic — regret and grief precede the resolve; the resolve itself is pushed in the mood-grammar of the corpus's most constructive demand (I-WILL-MAKE became I-WILL-WIPE); and the letter immediately sets a five-word counterweight against it. The machine ends holding both: an open demand for un-creation and a standing fact of favor — the queue's fifth open debt, and the first whose resolution the next unit's ark must negotiate. | tested |
| E | Logic format choice | Operator lines; NO ledger row. 6:2: TEST PASS(tovot, benot_ha_adam) — creature-run #2 per gen_10's precedent (3:6: the letter's verdict word in creature eyes is recorded as the creature's test, never the machine's verdict; no divine token appears at 6:2) + NOTE_SPEC_DELTA #1 (the stolen formula, cited against the frozen week text) + the taking EVENT. 6:3: the decree held as FACTS (TIR-029 weqatal; yadon, be-shagam, cap-vs-countdown all [OPEN] — the machine stores the words, not a reading). 6:4: FACTS (the Nephilim name-only). 6:5: EVENT see + NOTE_SPEC_DELTA #2 (1:31's tov meod -> rabbah raat) + the diagnosis FACT. 6:6: two EVENTs — regret(YHWH), grieve(YHWH, libo): the corpus's first divine-interior events, logged as events precisely because the letter narrates them with wayyiqtol verbs (the machine does not psychologize; it records the letter's own verbs; Onkelos deletes both — dual-track, flagged). 6:7: DECLARE(YHWH, CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah))) — TIR-033's mood class per gen_09's e'eseh precedent; pushed and NEVER popped here (the execution is 7:23, outside): the corpus's first open UN-creation demand — queue debt rises to FIVE + the scope FACT. 6:8: the favor FACT — standing directly against the open demand at unit end. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: lo_yadon_ruchi_va_adam_le_olam, ve_hayu_yamav_meah_ve_esrim_shanah, ha_nefilim_hayu_va_aretz, kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom, me_adam_ad_behemah_ad_remes_ve_ad_of_ha_shamayim, noach_matza_chen_be_einei_YHWH. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero for Gen 6:1-8 — ninth tripwire; gen_15 Tier-A queue): Bereshit Rabbah 26 (the prologue; the bnei-elohim war — R. Shimon ben Yochai's curse on the literal reading); Bavli Sanhedrin 108a (the flood generation); PRE 22; Rashi at 6:2-8 (observation tier); the watcher-apocalypse literature OUT OF CORPUS (named as absent again). Tier-A Onkelos (8 fetches, FETCHLOG 2026-08-01): 6:2 + 6:4 bnei ha-Elohim -> BNEI RAVREVAYA ("sons of the GREAT ONES") — the buffer votes judges/nobles twice, and "chose" -> "desired" (flagged; the letter stays open); 6:3 REBUILT as a repentance window — "this EVIL GENERATION shall not endure before Me... a RESPITE is given them, 120 years, IF THEY REPENT": the yadon fork resolved by insertion, the 120 made a repentance clock, teshuvah added where the letter has none — the 4:7 device, the largest rebuild since (flagged); 6:6-7 the divine interior DELETED — regret -> "the LORD TURNED in His WORD (Memra)", the grief-to-His-heart -> "said in His Word to BREAK THEIR STRENGTH according to His will", "for I regret" -> "for I have turned in My Word" (the corpus's first interior verses are the buffer's most rewritten; flagged); 6:8 chen -> RACHAMIN ("mercies"), the eyes -> "BEFORE the LORD" — the Noach/chen letter-reversal does not survive translation. | tested |
| H | Scenarios | S1 the theft: the creature-run PASS on the books beside spec-delta #1; the queue still empty. S2 the decree facts (all forks held open). S3 the Nephilim facts — names, nothing more. S4 the diagnosis: spec-delta #2 and the total fact. S5 the interior: two events on the trace, the queue untouched — regret is not yet a demand. S6 the resolve: CMD-US?(machah...) pushed and OPEN, mood guarded. S7 the close: the favor fact HOLDS while the wipe-demand stands OPEN — the unit ends holding both. S8_negative: the CMD-US? contract (no mood flips without citation); S9_negative: flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (wayyiqtol narrative verbs incl. the two interior verbs, passive yuldu TIR-032, weqatal ve-hayu TIR-029, the first-person imperfect emcheh TIR-033-class, et TIR-014) and DB censuses run BEFORE drafting (bachar/gibor/yetzer/machashavah/machah/chen first tokens; the din-verb's tokens; the Nephilim's three; le-olam and matza and ruach and atzav trails; the eyes-thread; the ground's-face bracket). NOT supplied: who the sons of God are, what yadon or be-shagam mean, whether 120 is cap or countdown, who the Nephilim were, or any resolution of the wipe-vs-favor tension — every one [OPEN] or flagged; the Onkelos buffers stay dual-track. | established |
| J | Pre-flight + auto-freeze | Pre-flight 2026-08-01 against the UNMODIFIED repo interpreter — zero injected prototypes. Per the owner's 2026-08-01 process orders: on ALL SCENARIOS GREEN this unit freezes AUTOMATICALLY (flip status, re-verify, regression), then the PYTHON RENDERING is generated and must run GREEN, then the page re-renders (embedding it) and the indexes refresh. 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_6_1 · Gen.6.1 · MULTIPLYING_AND_DAUGHTERS
וַיְהִי כִּי־הֵחֵל הָאָדָם לָרֹב עַל־פְּנֵי הָאֲדָמָה וּבָנוֹת יֻלְּדוּ לָהֶם · va-yehi ki-hechel ha-adam la-rov al-pnei ha-adamah u-vanot yuldu lahem · [EN-AID/JPS] And it came to pass, when men began to multiply on the face of the earth, and daughters were born unto them,
LEFT
ויהי כי החל האדם לרב על פני האדמה · va-yehi ki-hechel ha-adam la-rov al-pnei ha-adamah · when man began to multiply on the ground's face (etnachta arm)
ויהי כי החל האדם לרב על פני האדמה · va-yehi ki-hechel ha-adam la-rov al-pnei ha-adamah · when man began to multiply on the ground's face (etnachta arm)
RIGHT
ובנות ילדו להם · u-vanot yuldu lahem · and daughters were born to them
ובנות ילדו להם · u-vanot yuldu lahem · and daughters were born to them
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | multiply(e1) ∧ Agent(e1, ha_adam) = multiply(e1) ∧ Agent(e1, the-human) HECHEL — the begin-root's second token, one verse after 4:26's huchal fork: whatever began at the calling, the multiplying begins here. The stage is PNEI HA-ADAMAH ('the ground's face') — the phrase 6:7 will close the bracket on: multiplied on it, wiped from it. | כִּי־הֵחֵל הָאָדָם לָרֹב עַל־פְּנֵי הָאֲדָמָה · ki-hechel ha-adam la-rov al-pnei ha-adamah = when-began human multiply upon-face-of ground | — | tested |
| EVENT | born(e2) ∧ Theme(e2, banot) = born(e2) ∧ Theme(e2, daughters) Passive and agentless (TIR-032): daughters WERE BORN — the chapter-5 ledger's bulk plural steps forward as the prologue's subject: the unnamed daughters become the story. | וּבָנוֹת יֻלְּדוּ לָהֶם · u-vanot yuldu lahem = daughters were-born to-them | TIR-032 | tested |
| NOTE_PRESUPPOSED | adam are READ without prior install (the multiplied species of the ledger) = human are READ without prior install (the multiplied species bird-of the ledger) flag, not fix | — | — | tested |
STEP_Gn_6_2 · Gen.6.2 · STOLEN_FORMULA_THE_TAKING
וַיִּרְאוּ בְנֵי־הָאֱלֹהִים אֶת־בְּנוֹת הָאָדָם כִּי טֹבֹת הֵנָּה וַיִּקְחוּ לָהֶם נָשִׁים מִכֹּל אֲשֶׁר בָּחָרוּ · va-yiru vnei-ha-Elohim et-bnot ha-adam ki tovot henah va-yiqchu lahem nashim mi-kol asher bacharu · [EN-AID/JPS] that the sons of God saw the daughters of men that they were fair; and they took them wives, whomsoever they chose.
LEFT
ויראו בני האלהים את בנות האדם כי טבת הנה · va-yiru vnei-ha-Elohim et-bnot ha-adam ki tovot henah · the seeing-that-good: creature subjects, human daughters (etnachta arm)
ויראו בני האלהים את בנות האדם כי טבת הנה · va-yiru vnei-ha-Elohim et-bnot ha-adam ki tovot henah · the seeing-that-good: creature subjects, human daughters (etnachta arm)
RIGHT
ויקחו להם נשים מכל אשר בחרו · va-yiqchu lahem nashim mi-kol asher bacharu · the taking: wives from all they chose
ויקחו להם נשים מכל אשר בחרו · va-yiqchu lahem nashim mi-kol asher bacharu · the taking: wives from all they chose
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | see(e3) ∧ Agent(e3, bnei_ha_elohim) ∧ Theme(e3, benot_ha_adam) = see(e3) ∧ Agent(e3, sons-of-the-God) ∧ Theme(e3, daughters-of-the-human) BNEI HA-ELOHIM ('the sons of God') — the span's first open name [OPEN: divine beings vs judges/nobles — the chain's oldest war on this page; Onkelos votes 'sons of the GREAT ONES' and a named tanna anathematizes the literal reading — dual-track, named-only]. The machine stores the letter's phrase and no identity. | וַיִּרְאוּ בְנֵי־הָאֱלֹהִים אֶת־בְּנוֹת הָאָדָם · va-yiru vnei-ha-Elohim et-bnot ha-adam = they-saw vnei-the-God obj-marker·et-daughters-of human | TIR-014 | tested |
| TEST | TESTS += PASS(tovot, benot_ha_adam) = TESTS += PASS(good, daughters-of-the-human) CREATURE-RUN #2 (gen_10's 3:6 precedent: the woman saw the tree ki tov): the week's verdict word fires in creature eyes and the machine records the CREATURE'S test, never a divine verdict — no divine token appears in this verse. The oracle word is the week's own; the subjects and the sequel are not. | כִּי טֹבֹת הֵנָּה · ki tovot henah = when good henah | — | tested |
| NOTE_SPEC_DELTA | flag: spec 'va-yar Elohim ki-tov — the Maker inspects His work and verdicts it good (the frozen week units)' delivered 'va-yiru bnei-ha-elohim et-bnot ha-adam ki tovot — creature subjects, human daughters as object, and a TAKING as the consequence (6:2)' = flag: spec 'and-He-saw God when-good — the Maker inspects His work and verdicts it good (the frozen week units)' delivered 'and-they-saw sons-of-the-God obj-marker·et-daughters-of the-human when good — creature subjects, human daughters as object, and a TAKING as the consequence (6:2)' THE STOLEN FORMULA: the inspection grammar of the week — see + that-good — re-run with every slot mutated: the seer is plural and creaturely, the seen is human daughters, and where the Maker's seeing ended in blessing or rest, this seeing ends in seizure. The machine flags the mutation against the frozen week text and reads no identity into the seers. | וַיִּרְאוּ … כִּי טֹבֹת … וַיִּקְחוּ · va-yiru … ki tovot … va-yiqchu = they-saw when good they-took | — | tested |
| EVENT | take(e4) ∧ Agent(e4, bnei_ha_elohim) ∧ Theme(e4, nashim_mi_kol_asher_bacharu) = take(e4) ∧ Agent(e4, sons-of-the-God) ∧ Theme(e4, wives-from-all-that-they-chose) The taking: LAQACH — 4:19's polygamy verb generalized from two wives to 'from ALL' — and BACHAR ('choose'): the corpus's FIRST TOKEN of choice, debuting as unlimited appetite (token 2 is Lot choosing the plain). The letter states no evaluation; the next verse answers. | וַיִּקְחוּ לָהֶם נָשִׁים מִכֹּל אֲשֶׁר בָּחָרוּ · va-yiqchu lahem nashim mi-kol asher bacharu = they-took to-them wives all that they-chose | — | tested |
STEP_Gn_6_3 · Gen.6.3 · DECREE_120_YEARS
וַיֹּאמֶר יְהוָה לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם בְּשַׁגַּם הוּא בָשָׂר וְהָיוּ יָמָיו מֵאָה וְעֶשְׂרִים שָׁנָה · va-yomer YHWH lo-yadon ruchi va-adam le-olam be-shagam hu vasar ve-hayu yamav meah ve-esrim shanah · [EN-AID/JPS] And the LORD said: 'My spirit shall not abide in man for ever, for that he also is flesh; therefore shall his days be a hundred and twenty years.'
LEFT
ויאמר יהוה לא ידון רוחי באדם לעלם בשגם הוא בשר · va-yomer YHWH lo-yadon ruchi va-adam le-olam be-shagam hu vasar · the decree: my spirit shall not abide — for he is flesh (etnachta arm)
ויאמר יהוה לא ידון רוחי באדם לעלם בשגם הוא בשר · va-yomer YHWH lo-yadon ruchi va-adam le-olam be-shagam hu vasar · the decree: my spirit shall not abide — for he is flesh (etnachta arm)
RIGHT
והיו ימיו מאה ועשרים שנה · ve-hayu yamav meah ve-esrim shanah · his days: a hundred and twenty years
והיו ימיו מאה ועשרים שנה · ve-hayu yamav meah ve-esrim shanah · his days: a hundred and twenty years
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e5) ∧ Agent(e5, YHWH) = say(e5) ∧ Agent(e5, the-LORD) The divine voice returns — its first speech since the 4:15 decree. | וַיֹּאמֶר יְהוָה · va-yomer YHWH = He-said the-LORD | — | tested |
| PRECONDITION_STATE | HOLDS(lo_yadon_ruchi_va_adam_le_olam, t1) ∧ HOLDS(ve_hayu_yamav_meah_ve_esrim_shanah, t1) = HOLDS(not-shall-abide-judge-My-spirit-and-human-to-forever, t1) ∧ HOLDS(and-shall-be-his-days-hundred-and-twenty-year, t1) The decree held as the letter's own words, forks standing: YADON — the din-verb's first token [OPEN: abide/strive/judge — the famous fork]; BE-SHAGAM [OPEN — the crux particle]; LE-OLAM token 2 (3:22 denied forever-life by exile; this denies forever-abiding by decree; 9:12/16 will covenant an olam the other way); RUCHI ('MY spirit') — the ruach thread: 1:2 hovering, 3:8 the wind of the day, now first-person and withdrawing. The 120 (weqatal ve-hayu, TIR-029): lifespan cap vs countdown-to-flood [OPEN — both readings held; Onkelos REBUILDS the verse as a repentance window — 'a respite is given them, 120 years, IF THEY REPENT': the 4:7 device, teshuvah inserted where the letter has none — dual-track, flagged]. | לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם … וְהָיוּ יָמָיו מֵאָה וְעֶשְׂרִים שָׁנָה · lo-yadon ruchi va-adam le-olam … ve-hayu yamav meah ve-esrim shanah = not-shall-abide-judge My-spirit human forever shall-be his-days hundred twenty year | TIR-029 | tested |
STEP_Gn_6_4 · Gen.6.4 · NEPHILIM_PARENTHESIS
הַנְּפִלִים הָיוּ בָאָרֶץ בַּיָּמִים הָהֵם וְגַם אַחֲרֵי־כֵן אֲשֶׁר יָבֹאוּ בְּנֵי הָאֱלֹהִים אֶל־בְּנוֹת הָאָדָם וְיָלְדוּ לָהֶם הֵמָּה הַגִּבֹּרִים אֲשֶׁר מֵעוֹלָם אַנְשֵׁי הַשֵּׁם · ha-nefilim hayu va-aretz ba-yamim ha-hem ve-gam acharei-khen asher yavou bnei ha-Elohim el-bnot ha-adam ve-yaldu lahem hemah ha-giborim asher me-olam anshei ha-shem · [EN-AID/JPS] The Nephilim were in the earth in those days, and also after that, when the sons of God came in unto the daughters of men, and they bore children to them; the same were the mighty men that were of old, the men of renown.
LEFT
הנפלים היו בארץ בימים ההם וגם אחרי כן אשר יבאו בני האלהים אל בנות האדם וילדו להם · ha-nefilim hayu va-aretz ba-yamim ha-hem ve-gam acharei-khen asher yavou bnei ha-Elohim el-bnot ha-adam ve-yaldu lahem · the Nephilim in those days and after; the comings-in and the bearings (etnachta arm)
הנפלים היו בארץ בימים ההם וגם אחרי כן אשר יבאו בני האלהים אל בנות האדם וילדו להם · ha-nefilim hayu va-aretz ba-yamim ha-hem ve-gam acharei-khen asher yavou bnei ha-Elohim el-bnot ha-adam ve-yaldu lahem · the Nephilim in those days and after; the comings-in and the bearings (etnachta arm)
RIGHT
המה הגברים אשר מעולם אנשי השם · hemah ha-giborim asher me-olam anshei ha-shem · these were the mighty of old, men of the name
המה הגברים אשר מעולם אנשי השם · hemah ha-giborim asher me-olam anshei ha-shem · these were the mighty of old, men of the name
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_nefilim_hayu_va_aretz, t1) ∧ HOLDS(anshei_ha_shem_me_olam, t1) = HOLDS(the-Nephilim-shall-be-and-earth, t1) ∧ HOLDS(men-of-the-name-from-forever, t1) NEPHILIM — a name with exactly three Torah tokens (here + the spies' report, Num 13:33 x2) and no etymology offered by the letter [OPEN: the machine stores the name and nothing else — no fall, no giants, nothing invented]. The verse is a PARENTHESIS in narrative time ('in those days AND ALSO AFTER' — the also-thread stitching past the coming flood); its verbs are habitual (imperfect + weqatal: 'would come in... and bear'). GIBOR ('mighty') debuts — tokens 2-3 are Nimrod, who 'BEGAN (hechel) to be a gibor': the begin-root chains on. ANSHEI HA-SHEM ('men of the NAME') [OPEN: renown] — the name-word arriving straight off the calling-on-the-Name (4:26) and Shem the son (5:32): three name-bearers in three adjacent scenes, unresolved. | הַנְּפִלִים הָיוּ בָאָרֶץ … הֵמָּה הַגִּבֹּרִים אֲשֶׁר מֵעוֹלָם אַנְשֵׁי הַשֵּׁם · ha-nefilim hayu va-aretz … hemah ha-giborim asher me-olam anshei ha-shem = Nephilim shall-be earth hemah mighty that forever men-of name | TIR-029 | tested |
STEP_Gn_6_5 · Gen.6.5 · INVERTED_INSPECTION_TOTAL_DIAGNOSIS
וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם בָּאָרֶץ וְכָל־יֵצֶר מַחְשְׁבֹת לִבּוֹ רַק רַע כָּל־הַיּוֹם · va-yar YHWH ki rabbah raat ha-adam ba-aretz ve-khol-yetzer machshevot libo raq ra kol-ha-yom · [EN-AID/JPS] And the LORD saw that the wickedness of man was great in the earth, and that every imagination of the thoughts of his heart was only evil continually.
LEFT
וירא יהוה כי רבה רעת האדם בארץ · va-yar YHWH ki rabbah raat ha-adam ba-aretz · YHWH saw: great was the evil of man (etnachta arm)
וירא יהוה כי רבה רעת האדם בארץ · va-yar YHWH ki rabbah raat ha-adam ba-aretz · YHWH saw: great was the evil of man (etnachta arm)
RIGHT
וכל יצר מחשבת לבו רק רע כל היום · ve-khol-yetzer machshevot libo raq ra kol-ha-yom · every devising of his heart only evil all the day
וכל יצר מחשבת לבו רק רע כל היום · ve-khol-yetzer machshevot libo raq ra kol-ha-yom · every devising of his heart only evil all the day
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | see(e6) ∧ Agent(e6, YHWH) ∧ Theme(e6, raat_ha_adam) = see(e6) ∧ Agent(e6, the-LORD) ∧ Theme(e6, evil-of-the-human) The inspection verb comes home to its Subject — and returns the other verdict. | וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם · va-yar YHWH ki rabbah raat ha-adam = He-saw the-LORD when great evil-of human | — | tested |
| NOTE_SPEC_DELTA | flag: spec 'va-yar Elohim et-kol-asher asah ve-hinneh tov meod — He saw all He had made: very good (1:31, frozen day 6)' delivered 'va-yar YHWH ki rabbah raat ha-adam — He saw: GREAT was the EVIL of man (6:5)' = flag: spec 'and-He-saw God obj-marker·et-all-that make and-behold good very — He saw all He had made: very good (1:31, frozen day 6)' delivered 'and-He-saw the-LORD when great evil-of the-human — He saw: GREAT was the EVIL bird-of man (6:5)' THE INVERTED INSPECTION: the same seeing that closed the week on tov MEOD ('very good') returns rabbah RAAT ('great evil') — the superlative survives, the polarity does not. Flagged against the frozen day-6 text; the two seeings of this unit (6:2 stolen, 6:5 inverted) are the span's frame. | וַיַּרְא … כִּי רַבָּה רָעַת · va-yar … ki rabbah raat = He-saw when great evil-of | — | tested |
| PRECONDITION_STATE | HOLDS(kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom, t1) = HOLDS(all-devising-of-thoughts-His-heart-only-evil-all-the-day, t1) The total diagnosis, held verbatim: EVERY (kol) devising, ONLY (raq) evil, ALL (kol) the day — three quantifiers, no exception clause. YETZER ('form/inclination') debuts — its token 2 is 8:21, the flood's far-shore bookend, where the same word is spoken as a reason for never-again; MACHASHAVAH ('devising') debuts — its next tokens are the TABERNACLE craftsman's design-word (Exod 31:4, 35:32-33): the diagnosis vocabulary will be rehabilitated into sanctuary craft. The heart named here (libo — man's) meets the next verse's heart (His). | וְכָל־יֵצֶר מַחְשְׁבֹת לִבּוֹ רַק רַע כָּל־הַיּוֹם · ve-khol-yetzer machshevot libo raq ra kol-ha-yom = and-all-devising-of thoughts His-heart only evil all-the-day | — | tested |
STEP_Gn_6_6 · Gen.6.6 · REGRET_AND_GRIEF
וַיִּנָּחֶם יְהוָה כִּי־עָשָׂה אֶת־הָאָדָם בָּאָרֶץ וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yinachem YHWH ki-asah et-ha-adam ba-aretz va-yitatzev el-libo · [EN-AID/JPS] And it repented the LORD that He had made man on the earth, and it grieved Him at His heart.
LEFT
וינחם יהוה כי עשה את האדם בארץ · va-yinachem YHWH ki-asah et-ha-adam ba-aretz · YHWH regretted that He had made man (etnachta arm)
וינחם יהוה כי עשה את האדם בארץ · va-yinachem YHWH ki-asah et-ha-adam ba-aretz · YHWH regretted that He had made man (etnachta arm)
RIGHT
ויתעצב אל לבו · va-yitatzev el-libo · and He was grieved to His heart
ויתעצב אל לבו · va-yitatzev el-libo · and He was grieved to His heart
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | regret(e7) ∧ Agent(e7, YHWH) = regret(e7) ∧ Agent(e7, the-LORD) NACHAM token 2 — gen_14's fuse detonates: 5:29 offered the root as hoped COMFORT; here it fires as divine REGRET, aimed at the make-verb itself (ki ASAH — the week's own doing-word). The corpus's first divine-interior event, logged because the letter logs it (wayyiqtol narrative verb — the machine records verbs, not psychology). Onkelos deletes it: 'the LORD TURNED in His WORD (Memra)' — dual-track, flagged. | וַיִּנָּחֶם יְהוָה כִּי־עָשָׂה אֶת־הָאָדָם · va-yinachem YHWH ki-asah et-ha-adam = He-regretted the-LORD when-make obj-marker·et-the-human | — | tested |
| EVENT | grieve(e8) ∧ Agent(e8, YHWH) ∧ Theme(e8, libo) = grieve(e8) ∧ Agent(e8, the-LORD) ∧ Theme(e8, His-heart) The ATZAV verb's first token (hitpael, reflexive) — and it is the ROOT of ITZAVON, the toil-noun of both Eden sentences and Lamech's hope (3:16, 3:17, 5:29 — the noun's only tokens): the pain sentenced on the humans arrives in the Sentencer's own heart. The heart-pair closes: man's heart all-evil (6:5), His heart grieved (6:6). Onkelos rewrites the clause into 'said in His Word to BREAK THEIR STRENGTH' — heart gone, grief gone (dual-track, flagged). | וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yitatzev el-libo = He-grieved to-His-heart | — | tested |
STEP_Gn_6_7 · Gen.6.7 · WIPE_RESOLVE_PUSHED
וַיֹּאמֶר יְהוָה אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי מֵעַל פְּנֵי הָאֲדָמָה מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמָיִם כִּי נִחַמְתִּי כִּי עֲשִׂיתִם · va-yomer YHWH emcheh et-ha-adam asher-barati me-al pnei ha-adamah me-adam ad-behemah ad-remes ve-ad-of ha-shamayim ki nichamti ki asitim · [EN-AID/JPS] And the LORD said: 'I will blot out man whom I have created from the face of the earth; both man, and beast, and creeping thing, and fowl of the air; for it repenteth Me that I have made them.'
LEFT
ויאמר יהוה אמחה את האדם אשר בראתי מעל פני האדמה · va-yomer YHWH emcheh et-ha-adam asher-barati me-al pnei ha-adamah · I will wipe the human I created from the ground's face (etnachta arm)
ויאמר יהוה אמחה את האדם אשר בראתי מעל פני האדמה · va-yomer YHWH emcheh et-ha-adam asher-barati me-al pnei ha-adamah · I will wipe the human I created from the ground's face (etnachta arm)
RIGHT
מאדם עד בהמה עד רמש ועד עוף השמים כי נחמתי כי עשיתם · me-adam ad-behemah ad-remes ve-ad-of ha-shamayim ki nichamti ki asitim · the scope, and the reason: for I regret that I made them
מאדם עד בהמה עד רמש ועד עוף השמים כי נחמתי כי עשיתם · me-adam ad-behemah ad-remes ve-ad-of ha-shamayim ki nichamti ki asitim · the scope, and the reason: for I regret that I made them
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e9) ∧ Agent(e9, YHWH) = say(e9) ∧ Agent(e9, the-LORD) The interior becomes speech. | וַיֹּאמֶר יְהוָה · va-yomer YHWH = He-said the-LORD | — | tested |
| DECLARE | DECLARE(YHWH, CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah))) = DECLARE(the-LORD, CMD-US?(wipe(the-human, from-upon-face-of-the-ground))) EMCHEH ('I will WIPE') — the wipe-verb's debut, as a divine first-person resolve in the exact mood-grammar of the corpus's most constructive demand: 2:18's e'eseh ('I will MAKE') pushed CMD-US? and the building popped it (gen_09); 6:7 pushes I-WILL-WIPE and NOTHING IN THIS UNIT POPS IT — the execution waits at 7:23, outside. The corpus's first open demand for UN-creation: the queue debt rises to FIVE. The coded first-person imperfect keeps its mandatory ? (TIR-033's class): resolve, not yet deed — the letter itself holds the gap the ark will live in. asher BARATI — the create-verb, first person, first time regretted. The verb's trail: 7:4, 7:23 x2, then Amalek (Exod 17:14, WITH the book-word) and the book of life (Exod 32:32-33). | אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי מֵעַל פְּנֵי הָאֲדָמָה · emcheh et-ha-adam asher-barati me-al pnei ha-adamah = emcheh obj-marker·et-the-human that-I-created upon face-of ground | TIR-033, TIR-028 | tested |
| PRECONDITION_STATE | HOLDS(me_adam_ad_behemah_ad_remes_ve_ad_of_ha_shamayim, t1) = HOLDS(from-human-to-livestock-to-creeper-and-to-bird-of-the-heavens, t1) The scope, held verbatim: human -> livestock -> creeper -> birds — the creation sequence walked BACKWARD (day 6's last-made first, then its animals, then day 5's birds): un-creation reads the build-list in reverse. ki NICHAMTI (nacham token 3) ki ASITIM — the double reason: regret aimed at the making, twice. The ground's-face bracket closes: multiplied on it (6:1), wiped from it (here). | מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמָיִם · me-adam ad-behemah ad-remes ve-ad-of ha-shamayim = human to-livestock to-creeper and-to-bird-of heavens | TIR-014 | tested |
STEP_Gn_6_8 · Gen.6.8 · FIVE_WORDS_FAVOR
וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה · ve-Noach matza chen be-einei YHWH · [EN-AID/JPS] But Noah found grace in the eyes of the LORD.
LEFT
ונח · ve-Noach · but Noah (the rest falls after the name)
ונח · ve-Noach · but Noah (the rest falls after the name)
RIGHT
מצא חן בעיני יהוה · matza chen be-einei YHWH · found favor in the eyes of YHWH
מצא חן בעיני יהוה · matza chen be-einei YHWH · found favor in the eyes of YHWH
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(noach_matza_chen_be_einei_YHWH, t1) = HOLDS(Noach-found-favor-in-eyes-of-the-LORD, t1) Five words against the wipe: CHEN ('favor/grace') — the word's FIRST corpus token (token 2 waits for Abraham, 18:3), and the letter fact: NOACH (nun-chet) and CHEN (chet-nun) are the same two letters REVERSED [held, no claim; the reversal does not survive translation — Onkelos renders 'mercies before the LORD']. MATZA — the find-verb's arc: no helper FOUND (2:20), the feared finders (4:14-15), favor FOUND (here), and the dove that finds no rest (8:9 — the noach/manoach pun ahead). BE-EINEI YHWH — the eyes-thread (the woman's eyes judged the tree, 3:6; eyes opened, 3:7) ends the span in YHWH's eyes, holding one exception. The unit closes with this fact standing DIRECTLY against the open wipe-demand: the machine ends holding both, resolving neither. | וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה · ve-Noach matza chen be-einei YHWH = and-Noach found favor eyes-of the-LORD | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 6:1 — all registers empty (standalone unit) |
| S_multiplying | After 6:1 — the species multiplied on the ground's face; daughters born (agentless); adam flagged as read |
| S_taking | After 6:2 — the stolen formula flagged; the creature-run PASS on the books; the taking logged; choice's first token spent |
| S_decree | After 6:3 — the 120-year decree standing with all three forks open (yadon / be-shagam / cap-vs-countdown) |
| S_parenthesis | After 6:4 — the Nephilim held as name + time-stamp + title; nothing identified |
| S_diagnosis | After 6:5 — the inverted inspection flagged; the total diagnosis standing (every/only/all) |
| S_interior | After 6:6 — the corpus's first divine-interior events on the trace: regret (the comfort-root) and grief (the toil-root, to His heart); the queue untouched |
| S_wipe_open | After 6:7 — CMD-US?(machah...) pushed: the first open UN-creation demand; the scope held in creation-reverse order; queue debt five |
| S_counterweight | After 6:8 — the favor fact HOLDS against the open wipe-demand; the unit ends holding both |
| from | to | via |
|---|---|---|
| S_boot | S_multiplying | STEP_Gn_6_1 |
| S_multiplying | S_taking | STEP_Gn_6_2 |
| S_taking | S_decree | STEP_Gn_6_3 |
| S_decree | S_parenthesis | STEP_Gn_6_4 |
| S_parenthesis | S_diagnosis | STEP_Gn_6_5 |
| S_diagnosis | S_interior | STEP_Gn_6_6 |
| S_interior | S_wipe_open | STEP_Gn_6_7 |
| S_wipe_open | S_counterweight | STEP_Gn_6_8 |
AFTER_S_counterweight — WORLD: ZERO installs (the third zero-install unit — the prologue builds nothing; +1 presupposed: adam, read); standing facts (8): the decree pair (the not-abiding with its two open cruxes; the 120 in weqatal), the Nephilim pair (existence + title, no identity), the total diagnosis (every/only/all, verbatim), the wipe scope (the creation list walked backward), and the favor (five words, the chen debut, standing against the queue). EVENTS (9): the multiplying, the agentless daughters, the two seeings (stolen and inverted), the taking, two divine speeches, and the corpus's FIRST DIVINE-INTERIOR PAIR — regret (the comfort-root's token 2: gen_14's fuse detonated) and grief (the toil-root's first verb token, reaching His heart). REGISTRY: ZERO writes (no naming verb in the span — the first derived unit with an untouched registry). SPECS: ONE OPEN — CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)): the wipe-resolve pushed at 6:7 in the exact mood-grammar of 2:18's I-WILL-MAKE (gen_09's precedent — that one was popped by the building; this one is popped by NOTHING here: the execution waits at 7:23, outside the unit). The corpus-wide queue debt rises to FIVE (gen_08's two, gen_12's violated counsel, gen_13's human hear-command, and now heaven's own un-creation resolve). TESTS: 1 PASS — the CREATURE-RUN (tovot, benot_ha_adam): the week's verdict word in the takers' eyes, gen_10's 3:6 precedent; no divine verdict token exists in the span (the divine seeing at 6:5 returns a flagged INVERSION, not a test). LEDGER: EMPTY. FLAGS (3): read_before_install x1 (adam), spec_delta x2 (the stolen formula 6:2; the inverted inspection 6:5 — both cited against frozen week text). The machine ends at the corpus's hinge holding an open demand for un-creation and a five-word counterweight, resolving neither.
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The theft on the books: after STEP_Gn_6_2 | All registers empty (standalone unit) + the multiplying (6:1). | TESTS += PASS(tovot, benot_ha_adam); machine flags spec-delta; SPECS empty. = TESTS += PASS(good, daughters-of-the-human); machine flags spec-delta; SPECS empty. | כִּי טֹבֹת הֵנָּה · ki tovot henah = when good henah |
| S2 | The decree with its forks standing: after STEP_Gn_6_3 | S1 state. | Facts lo_yadon_ruchi_va_adam_le_olam/ve_hayu_yamav_meah_ve_esrim_shanah HOLD; SPECS empty. = Facts not-shall-abide-judge-My-spirit-and-human-to-forever/and-shall-be-his-days-hundred-and-twenty-year HOLD; SPECS empty. | מֵאָה וְעֶשְׂרִים שָׁנָה · meah ve-esrim shanah = hundred twenty year |
| S3 | The Nephilim held as a name: after STEP_Gn_6_4 | S2 state. | Facts ha_nefilim_hayu_va_aretz/anshei_ha_shem_me_olam HOLD. = Facts the-Nephilim-shall-be-and-earth/men-of-the-name-from-forever HOLD. | הַנְּפִלִים הָיוּ בָאָרֶץ · ha-nefilim hayu va-aretz = Nephilim shall-be earth |
| S4 | The inverted inspection: after STEP_Gn_6_5 | S3 state. | machine flags spec-delta; Facts kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom HOLD. = machine flags spec-delta; Facts all-devising-of-thoughts-His-heart-only-evil-all-the-day HOLD. | רַק רַע כָּל־הַיּוֹם · raq ra kol-ha-yom = only evil all-the-day |
| S5 | The interior on the trace, the queue untouched: after STEP_Gn_6_6 | S4 state. | SPECS empty. | וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yitatzev el-libo = He-grieved to-His-heart |
| S6 | The wipe-resolve pushed and guarded: after STEP_Gn_6_7 | S5 state. | CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) pushed and OPEN; CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) mood remains CMD-US?. = CMD-US?(wipe(the-human, from-upon-face-of-the-ground)) pushed and OPEN; CMD-US?(wipe(the-human, from-upon-face-of-the-ground)) mood remains CMD-US?. | אֶמְחֶה אֶת־הָאָדָם · emcheh et-ha-adam = emcheh obj-marker·et-the-human |
| S7 | The counterweight — both survive the unit: after STEP_Gn_6_8 | S6 state. | Facts noach_matza_chen_be_einei_YHWH HOLD; CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) pushed and OPEN. = Facts Noach-found-favor-in-eyes-of-the-LORD HOLD; CMD-US?(wipe(the-human, from-upon-face-of-the-ground)) pushed and OPEN. | וְנֹחַ מָצָא חֵן · ve-Noach matza chen = and-Noach found favor |
| S8_negative | Negative: the resolve's ? is guarded | A synthetic CMD-US? demand (the machine's own contract self-test). | CMD-US? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — not even heaven's own resolve flips its mood without a receipt. | |
| 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_stolen_formula | וַיִּרְאוּ … כִּי טֹבֹת … וַיִּקְחוּ · va-yiru … ki tovot … va-yiqchu · the week's inspection formula (see + that-good) re-run with creature subjects, human daughters as object, and seizure as sequel — creature-run TEST #2 (3:6 precedent) beside spec-delta #1; choice (bachar) debuts inside it as taking-from-ALL; the sons-of-God held [OPEN] (Onkelos votes 'sons of the GREAT ONES'; a named tanna curses the literal reading — named-only) |
| EXPORT_120_decree | לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם … מֵאָה וְעֶשְׂרִים שָׁנָה · lo-yadon ruchi va-adam le-olam … meah ve-esrim shanah · the second divine time-decree (after 2:17's in-the-day): the din-verb's first token [OPEN: abide/strive/judge], be-shagam [OPEN], cap-vs-countdown [OPEN]; Onkelos rebuilds it as a 120-year repentance window (the 4:7 device — teshuvah inserted where the letter has none); le-olam's arc: forever-life denied (3:22), forever-abiding denied (here), olam covenanted (9:12,16) |
| EXPORT_nefilim_restraint | הַנְּפִלִים הָיוּ בָאָרֶץ · ha-nefilim hayu va-aretz · the most famous unexplained noun receives exactly the letter's grant: existence, a time-stamp ('and also after' — the also-thread bridging past the flood), a title (mighty, men of the name) — three Torah tokens total (+ the spies' report); the machine identifies nothing; the watcher literature is OUT OF CORPUS, named as absent |
| EXPORT_inverted_inspection | וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם · va-yar YHWH ki rabbah raat ha-adam · the inspection verb returns to its Subject with the verdict flipped: 1:31's very-good answered by great-evil (spec-delta #2); the diagnosis totalizes in three quantifiers; its two debut words are both headed for redemption arcs — yetzer to the flood's never-again bookend (8:21), machashavah to the Tabernacle craftsman's designs (Exod 31:4) |
| EXPORT_divine_interior | וַיִּנָּחֶם יְהוָה … וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yinachem YHWH … va-yitatzev el-libo · the corpus's first divine-interior events: the comfort-root (5:29's hope) fires as regret at the make-verb; the toil-root (both Eden sentences) arrives in the Sentencer's own heart — the heart-pair man/God across 6:5-6; Onkelos deletes the whole interior ('turned in His Word... to break their strength') — the buffer's heaviest rewrite, dual-track |
| EXPORT_wipe_demand_open | אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי · emcheh et-ha-adam asher-barati · the wipe-verb debuts as first-person resolve in the mood-grammar of 2:18's I-WILL-MAKE (CMD-US?, gen_09's precedent) — pushed and unpopped: the corpus's first open UN-creation demand (queue debt five); the scope walks creation backward (human->livestock->creeper->birds); the verb's career: the countdown, the double execution, Amalek-with-the-book, the book of life |
| EXPORT_five_word_counterweight | וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה · ve-Noach matza chen be-einei YHWH · the shortest verse in our spans: chen's first token (token 2 = Abraham), the Noach/chen letter-reversal [held; lost in translation], the find-verb's arc from no-helper-found to favor-found, the eyes-thread ending in YHWH's eyes — one standing fact set against one open demand: the unit's whole meaning is that both survive it |
Oral notes (named, tiered, dual-track — never merged)
observation Bereshit Rabbah 26 (the prologue; the bnei-elohim war — R. Shimon ben Yochai anathematizes the literal reading); Bavli Sanhedrin 108a (the flood generation's share); Pirkei DeRabbi Eliezer 22; Rashi at 6:2-8 — gen_15 Tier-A queue; the watcher-apocalypse literature named as OUT OF CORPUS
בְנֵי־הָאֱלֹהִים · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 6:1-8 — ninth tripwire span. Detector classes predicted: the bnei-elohim buffer is an ANTI-LITERAL substitution (social rank for divine filiation, with a named tannaitic anathema on the literal — theology-driven lexical substitution); 6:3's Onkelos is a REBUILD class (inserted repentance machinery — the same device the detector should already know from Onkelos 4:7).
Queue entry — no claim made beyond the naming.
בְנֵי־הָאֱלֹהִים · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 6:1-8 — ninth tripwire span. Detector classes predicted: the bnei-elohim buffer is an ANTI-LITERAL substitution (social rank for divine filiation, with a named tannaitic anathema on the literal — theology-driven lexical substitution); 6:3's Onkelos is a REBUILD class (inserted repentance machinery — the same device the detector should already know from Onkelos 4:7).
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 6:1-8 — read Tier-A at derive time (8 sequential fetches, Data/FETCHLOG.md 2026-08-01)
אַרְכָא יְהִיבַת לְהוֹן מְאָה וְעַשְׂרִין שְׁנִין אִם יְתוּבוּן · arkha yehivat lehon meah ve-asrin shnin im yetuvun · The span's translation witness — the buffer's heaviest theology in our spans: bnei ha-Elohim -> BNEI RAVREVAYA ('sons of the GREAT ONES') twice, 'chose' -> 'desired' (the divine reading translated away); 6:3 REBUILT — 'this EVIL GENERATION shall not endure before Me... a RESPITE is given them, a hundred and twenty years, IF THEY REPENT' (the yadon fork resolved by insertion, the 120 turned repentance-clock, teshuvah supplied — the 4:7 device at full scale); 6:6-7 the divine interior DELETED — regret -> 'the LORD TURNED in His WORD (Memra)', the grief-to-His-heart -> 'said in His Word to BREAK THEIR STRENGTH according to His will', 'for I regret' -> 'for I have turned in My Word'; 6:8 chen -> RACHAMIN ('mercies'), the eyes -> 'before the LORD' — the letter-reversal lost. The corpus's first interior verses are the translation's most rewritten: the buffer refuses God a heart precisely where the letter gives Him one.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
אַרְכָא יְהִיבַת לְהוֹן מְאָה וְעַשְׂרִין שְׁנִין אִם יְתוּבוּן · arkha yehivat lehon meah ve-asrin shnin im yetuvun · The span's translation witness — the buffer's heaviest theology in our spans: bnei ha-Elohim -> BNEI RAVREVAYA ('sons of the GREAT ONES') twice, 'chose' -> 'desired' (the divine reading translated away); 6:3 REBUILT — 'this EVIL GENERATION shall not endure before Me... a RESPITE is given them, a hundred and twenty years, IF THEY REPENT' (the yadon fork resolved by insertion, the 120 turned repentance-clock, teshuvah supplied — the 4:7 device at full scale); 6:6-7 the divine interior DELETED — regret -> 'the LORD TURNED in His WORD (Memra)', the grief-to-His-heart -> 'said in His Word to BREAK THEIR STRENGTH according to His will', 'for I regret' -> 'for I have turned in My Word'; 6:8 chen -> RACHAMIN ('mercies'), the eyes -> 'before the LORD' — the letter-reversal lost. The corpus's first interior verses are the translation's most rewritten: the buffer refuses God a heart precisely where the letter gives Him one.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.6.1 · parser unique · 11 words
PHRASE (binary 11w) וַֽ/יְהִי֙ כִּֽי הֵחֵ֣ל הָֽ/אָדָ֔ם לָ/רֹ֖ב עַל …
├── PHRASE (binary 8w) וַֽ/יְהִי֙ כִּֽי הֵחֵ֣ל הָֽ/אָדָ֔ם לָ/רֹ֖ב עַל …
│ ├── PHRASE (binary 4w) וַֽ/יְהִי֙ כִּֽי הֵחֵ֣ל הָֽ/אָדָ֔ם
│ │ ├── [0] וַֽ/יְהִי֙ (pashta, rank=3)
│ │ └── [1-3] GLUE כִּֽי הֵחֵ֣ל הָֽ/אָדָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) לָ/רֹ֖ב עַל פְּנֵ֣י הָֽ/אֲדָמָ֑ה
│ ├── [4] לָ/רֹ֖ב (tifcha, rank=2)
│ └── [5-7] GLUE עַל פְּנֵ֣י הָֽ/אֲדָמָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וּ/בָנ֖וֹת יֻלְּד֥וּ לָ/הֶֽם
├── [8] וּ/בָנ֖וֹת (tifcha, rank=2)
└── [9-10] GLUE יֻלְּד֥וּ לָ/הֶֽם (silluq (verse-end emperor), rank=1)
Gen.6.2 · parser unique · 15 words
PHRASE (binary 15w) וַ/יִּרְא֤וּ בְנֵי הָֽ/אֱלֹהִים֙ אֶת בְּנ֣וֹת ה…
├── PHRASE (binary 9w) וַ/יִּרְא֤וּ בְנֵי הָֽ/אֱלֹהִים֙ אֶת בְּנ֣וֹת ה…
│ ├── PHRASE (binary 6w) וַ/יִּרְא֤וּ בְנֵי הָֽ/אֱלֹהִים֙ אֶת בְּנ֣וֹת ה…
│ │ ├── [0-2] GLUE וַ/יִּרְא֤וּ בְנֵי הָֽ/אֱלֹהִים֙ (pashta, rank=3)
│ │ └── [3-5] GLUE אֶת בְּנ֣וֹת הָֽ/אָדָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) כִּ֥י טֹבֹ֖ת הֵ֑נָּה
│ ├── [6-7] GLUE כִּ֥י טֹבֹ֖ת (tifcha, rank=2)
│ └── [8] הֵ֑נָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יִּקְח֤וּ לָ/הֶם֙ נָשִׁ֔ים מִ/כֹּ֖ל אֲשֶׁ֥ר …
├── PHRASE (binary 3w) וַ/יִּקְח֤וּ לָ/הֶם֙ נָשִׁ֔ים
│ ├── [9-10] GLUE וַ/יִּקְח֤וּ לָ/הֶם֙ (pashta, rank=3)
│ └── [11] נָשִׁ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 3w) מִ/כֹּ֖ל אֲשֶׁ֥ר בָּחָֽרוּ
├── [12] מִ/כֹּ֖ל (tifcha, rank=2)
└── [13-14] GLUE אֲשֶׁ֥ר בָּחָֽרוּ (silluq (verse-end emperor), rank=1)
Gen.6.3 · parser unique · 15 words
PHRASE (binary 15w) וַ/יֹּ֣אמֶר יְהוָ֗ה לֹֽא יָד֨וֹן רוּחִ֤/י בָֽ/א…
├── PHRASE (binary 10w) וַ/יֹּ֣אמֶר יְהוָ֗ה לֹֽא יָד֨וֹן רוּחִ֤/י בָֽ/א…
│ ├── PHRASE (binary 7w) וַ/יֹּ֣אמֶר יְהוָ֗ה לֹֽא יָד֨וֹן רוּחִ֤/י בָֽ/א…
│ │ ├── [0-1] GLUE וַ/יֹּ֣אמֶר יְהוָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 5w) לֹֽא יָד֨וֹן רוּחִ֤/י בָֽ/אָדָם֙ לְ/עֹלָ֔ם
│ │ ├── [2-5] GLUE לֹֽא יָד֨וֹן רוּחִ֤/י בָֽ/אָדָם֙ (pashta, rank=3)
│ │ └── [6] לְ/עֹלָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) בְּ/שַׁ/גַּ֖ם ה֣וּא בָשָׂ֑ר
│ ├── [7] בְּ/שַׁ/גַּ֖ם (tifcha, rank=2)
│ └── [8-9] GLUE ה֣וּא בָשָׂ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/הָי֣וּ יָמָ֔י/ו מֵאָ֥ה וְ/עֶשְׂרִ֖ים שָׁנָֽה
├── [10-11] GLUE וְ/הָי֣וּ יָמָ֔י/ו (zaqef qatan, rank=2)
└── PHRASE (binary 3w) מֵאָ֥ה וְ/עֶשְׂרִ֖ים שָׁנָֽה
├── [12-13] GLUE מֵאָ֥ה וְ/עֶשְׂרִ֖ים (tifcha, rank=2)
└── [14] שָׁנָֽה (silluq (verse-end emperor), rank=1)
Gen.6.4 · parser unique · 23 words
PHRASE (binary 23w) הַ/נְּפִלִ֞ים הָי֣וּ בָ/אָרֶץ֮ בַּ/יָּמִ֣ים הָ/…
├── PHRASE (binary 17w) הַ/נְּפִלִ֞ים הָי֣וּ בָ/אָרֶץ֮ בַּ/יָּמִ֣ים הָ/…
│ ├── PHRASE (binary 5w) הַ/נְּפִלִ֞ים הָי֣וּ בָ/אָרֶץ֮ בַּ/יָּמִ֣ים הָ/…
│ │ ├── PHRASE (binary 3w) הַ/נְּפִלִ֞ים הָי֣וּ בָ/אָרֶץ֮
│ │ │ ├── [0] הַ/נְּפִלִ֞ים (gershayim, rank=4)
│ │ │ └── [1-2] GLUE הָי֣וּ בָ/אָרֶץ֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [3-4] GLUE בַּ/יָּמִ֣ים הָ/הֵם֒ (segol, rank=2)
│ └── PHRASE (binary 12w) וְ/גַ֣ם אַֽחֲרֵי כֵ֗ן אֲשֶׁ֨ר יָבֹ֜אוּ בְּנֵ֤י …
│ ├── PHRASE (binary 10w) וְ/גַ֣ם אַֽחֲרֵי כֵ֗ן אֲשֶׁ֨ר יָבֹ֜אוּ בְּנֵ֤י …
│ │ ├── [5-7] GLUE וְ/גַ֣ם אַֽחֲרֵי כֵ֗ן (revia, rank=3)
│ │ └── PHRASE (binary 7w) אֲשֶׁ֨ר יָבֹ֜אוּ בְּנֵ֤י הָֽ/אֱלֹהִים֙ אֶל בְּנ…
│ │ ├── PHRASE (binary 4w) אֲשֶׁ֨ר יָבֹ֜אוּ בְּנֵ֤י הָֽ/אֱלֹהִים֙
│ │ │ ├── [8-9] GLUE אֲשֶׁ֨ר יָבֹ֜אוּ (geresh, rank=4)
│ │ │ └── [10-11] GLUE בְּנֵ֤י הָֽ/אֱלֹהִים֙ (pashta, rank=3)
│ │ └── [12-14] GLUE אֶל בְּנ֣וֹת הָֽ/אָדָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וְ/יָלְד֖וּ לָ/הֶ֑ם
│ ├── [15] וְ/יָלְד֖וּ (tifcha, rank=2)
│ └── [16] לָ/הֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) הֵ֧מָּה הַ/גִּבֹּרִ֛ים אֲשֶׁ֥ר מֵ/עוֹלָ֖ם אַנְש…
├── PHRASE (binary 4w) הֵ֧מָּה הַ/גִּבֹּרִ֛ים אֲשֶׁ֥ר מֵ/עוֹלָ֖ם
│ ├── [17-18] GLUE הֵ֧מָּה הַ/גִּבֹּרִ֛ים (tevir, rank=3)
│ └── [19-20] GLUE אֲשֶׁ֥ר מֵ/עוֹלָ֖ם (tifcha, rank=2)
└── [21-22] GLUE אַנְשֵׁ֥י הַ/שֵּֽׁם (silluq (verse-end emperor), rank=1)
Gen.6.5 · parser unique · 15 words
PHRASE (binary 15w) וַ/יַּ֣רְא יְהוָ֔ה כִּ֥י רַבָּ֛ה רָעַ֥ת הָ/אָדָ…
├── PHRASE (binary 7w) וַ/יַּ֣רְא יְהוָ֔ה כִּ֥י רַבָּ֛ה רָעַ֥ת הָ/אָדָ…
│ ├── [0-1] GLUE וַ/יַּ֣רְא יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) כִּ֥י רַבָּ֛ה רָעַ֥ת הָ/אָדָ֖ם בָּ/אָ֑רֶץ
│ ├── PHRASE (binary 4w) כִּ֥י רַבָּ֛ה רָעַ֥ת הָ/אָדָ֖ם
│ │ ├── [2-3] GLUE כִּ֥י רַבָּ֛ה (tevir, rank=3)
│ │ └── [4-5] GLUE רָעַ֥ת הָ/אָדָ֖ם (tifcha, rank=2)
│ └── [6] בָּ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וְ/כָל יֵ֨צֶר֙ מַחְשְׁבֹ֣ת לִבּ֔/וֹ רַ֥ק רַ֖ע כ…
├── PHRASE (binary 4w) וְ/כָל יֵ֨צֶר֙ מַחְשְׁבֹ֣ת לִבּ֔/וֹ
│ ├── [7-8] GLUE וְ/כָל יֵ֨צֶר֙ (pashta, rank=3)
│ └── [9-10] GLUE מַחְשְׁבֹ֣ת לִבּ֔/וֹ (zaqef qatan, rank=2)
└── PHRASE (binary 4w) רַ֥ק רַ֖ע כָּל הַ/יּֽוֹם
├── [11-12] GLUE רַ֥ק רַ֖ע (tifcha, rank=2)
└── [13-14] GLUE כָּל הַ/יּֽוֹם (silluq (verse-end emperor), rank=1)
Gen.6.6 · parser unique · 10 words
PHRASE (binary 10w) וַ/יִּנָּ֣חֶם יְהוָ֔ה כִּֽי עָשָׂ֥ה אֶת הָֽ/אָד…
├── PHRASE (binary 7w) וַ/יִּנָּ֣חֶם יְהוָ֔ה כִּֽי עָשָׂ֥ה אֶת הָֽ/אָד…
│ ├── [0-1] GLUE וַ/יִּנָּ֣חֶם יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) כִּֽי עָשָׂ֥ה אֶת הָֽ/אָדָ֖ם בָּ/אָ֑רֶץ
│ ├── [2-5] GLUE כִּֽי עָשָׂ֥ה אֶת הָֽ/אָדָ֖ם (tifcha, rank=2)
│ └── [6] בָּ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יִּתְעַצֵּ֖ב אֶל לִבּֽ/וֹ
├── [7] וַ/יִּתְעַצֵּ֖ב (tifcha, rank=2)
└── [8-9] GLUE אֶל לִבּֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.6.7 · parser unique · 22 words
PHRASE (binary 22w) וַ/יֹּ֣אמֶר יְהוָ֗ה אֶמְחֶ֨ה אֶת הָ/אָדָ֤ם אֲשׁ…
├── PHRASE (binary 18w) וַ/יֹּ֣אמֶר יְהוָ֗ה אֶמְחֶ֨ה אֶת הָ/אָדָ֤ם אֲשׁ…
│ ├── PHRASE (binary 10w) וַ/יֹּ֣אמֶר יְהוָ֗ה אֶמְחֶ֨ה אֶת הָ/אָדָ֤ם אֲשׁ…
│ │ ├── [0-1] GLUE וַ/יֹּ֣אמֶר יְהוָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 8w) אֶמְחֶ֨ה אֶת הָ/אָדָ֤ם אֲשֶׁר בָּרָ֨אתִי֙ מֵ/עַ…
│ │ ├── [2-6] GLUE אֶמְחֶ֨ה אֶת הָ/אָדָ֤ם אֲשֶׁר בָּרָ֨אתִי֙ (pashta, rank=3)
│ │ └── PHRASE (binary 3w) מֵ/עַל֙ פְּנֵ֣י הָֽ/אֲדָמָ֔ה
│ │ ├── [7] מֵ/עַל֙ (pashta, rank=3)
│ │ └── [8-9] GLUE פְּנֵ֣י הָֽ/אֲדָמָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) מֵֽ/אָדָם֙ עַד בְּהֵמָ֔ה עַד רֶ֖מֶשׂ וְ/עַד ע֣ו…
│ ├── PHRASE (binary 3w) מֵֽ/אָדָם֙ עַד בְּהֵמָ֔ה
│ │ ├── [10] מֵֽ/אָדָם֙ (pashta, rank=3)
│ │ └── [11-12] GLUE עַד בְּהֵמָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) עַד רֶ֖מֶשׂ וְ/עַד ע֣וֹף הַ/שָּׁמָ֑יִם
│ ├── [13-14] GLUE עַד רֶ֖מֶשׂ (tifcha, rank=2)
│ └── [15-17] GLUE וְ/עַד ע֣וֹף הַ/שָּׁמָ֑יִם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) כִּ֥י נִחַ֖מְתִּי כִּ֥י עֲשִׂיתִֽ/ם
├── [18-19] GLUE כִּ֥י נִחַ֖מְתִּי (tifcha, rank=2)
└── [20-21] GLUE כִּ֥י עֲשִׂיתִֽ/ם (silluq (verse-end emperor), rank=1)
Gen.6.8 · parser unique · 5 words
PHRASE (binary 5w) וְ/נֹ֕חַ מָ֥צָא חֵ֖ן בְּ/עֵינֵ֥י יְהוָֽה
├── [0] וְ/נֹ֕חַ (zaqef gadol, rank=2)
└── PHRASE (binary 4w) מָ֥צָא חֵ֖ן בְּ/עֵינֵ֥י יְהוָֽה
├── [1-2] GLUE מָ֥צָא חֵ֖ן (tifcha, rank=2)
└── [3-4] GLUE בְּ/עֵינֵ֥י יְהוָֽה (silluq (verse-end emperor), rank=1)
Word coverage — 116/116 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.6.1 | 0 | ויהי | va-yehi | and-it-was | frame | logic_bearing | none |
| Gen.6.1 | 1 | כי | ki | when | when | logic_bearing | none |
| Gen.6.1 | 2 | החל | hechel | began | HECHEL_begin_root_token_2 | logic_bearing | none |
| Gen.6.1 | 3 | האדם | ha-adam | the-human | the_species | logic_bearing | none |
| Gen.6.1 | 4 | לרב | la-rov | to-multiply | multiply | logic_bearing | none |
| Gen.6.1 | 5 | על | al | upon | upon | logic_bearing | none |
| Gen.6.1 | 6 | פני | pene | face-of | GROUND_FACE_bracket_opens | logic_bearing | none |
| Gen.6.1 | 7 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.6.1 | 8 | ובנות | u-vanot | and-daughters | the_daughters_step_forward | logic_bearing | none |
| Gen.6.1 | 9 | ילדו | yuldu | were-born | born_agentless_passive | logic_bearing | TIR-032 |
| Gen.6.1 | 10 | להם | la-hem | to-them | to-them | logic_bearing | none |
| Gen.6.2 | 0 | ויראו | va-yiru | and-they-saw | STOLEN_FORMULA_see_verb | logic_bearing | none |
| Gen.6.2 | 1 | בני | vene | sons-of | BNEI_HA_ELOHIM_OPEN | logic_bearing | none |
| Gen.6.2 | 2 | האלהים | ha-Elohim | the-God | the-God | logic_bearing | none |
| Gen.6.2 | 3 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.6.2 | 4 | בנות | benot | daughters-of | the_object_daughters | logic_bearing | none |
| Gen.6.2 | 5 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.6.2 | 6 | כי | ki | that | that | logic_bearing | none |
| Gen.6.2 | 7 | טבת | tovot | good | TOVOT_week_verdict_word_creature_eyes | logic_bearing | none |
| Gen.6.2 | 8 | הנה | hena | they | they | logic_bearing | none |
| Gen.6.2 | 9 | ויקחו | va-yiqchu | and-they-took | the_taking_laqach | logic_bearing | none |
| Gen.6.2 | 10 | להם | la-hem | for-themselves | for-themselves | logic_bearing | none |
| Gen.6.2 | 11 | נשים | nashim | wives | wives | logic_bearing | none |
| Gen.6.2 | 12 | מכל | mi-kol | from-all | from_ALL_unlimited | logic_bearing | none |
| Gen.6.2 | 13 | אשר | asher | that | that | logic_bearing | none |
| Gen.6.2 | 14 | בחרו | bacharu | they-chose | BACHAR_FIRST_TOKEN_choice | logic_bearing | none |
| Gen.6.3 | 0 | ויאמר | va-yomer | and-He-said | decree_opens | logic_bearing | none |
| Gen.6.3 | 1 | יהוה | YHWH | YHWH | YHWH | logic_bearing | none |
| Gen.6.3 | 2 | לא | lo | not | negation | logic_bearing | none |
| Gen.6.3 | 3 | ידון | yadon | shall-abide-judge | YADON_din_verb_fork_OPEN | logic_bearing | none |
| Gen.6.3 | 4 | רוחי | ruchi-y | My-spirit | MY_spirit_ruach_thread | logic_bearing | none |
| Gen.6.3 | 5 | באדם | va-adam | in-man | in-man | logic_bearing | none |
| Gen.6.3 | 6 | לעלם | le-olam | forever | LE_OLAM_token_2 | logic_bearing | none |
| Gen.6.3 | 7 | בשגם | be-sha-gam | in-that-also | BE_SHAGAM_crux_OPEN | logic_bearing | none |
| Gen.6.3 | 8 | הוא | hu | he | he | logic_bearing | none |
| Gen.6.3 | 9 | בשר | vasar | flesh | flesh | logic_bearing | none |
| Gen.6.3 | 10 | והיו | ve-hayu | and-shall-be | weqatal_decree_verb | logic_bearing | TIR-029 |
| Gen.6.3 | 11 | ימיו | yamay-v | his-days | his-days | logic_bearing | none |
| Gen.6.3 | 12 | מאה | mea | hundred | HUNDRED_120 | logic_bearing | none |
| Gen.6.3 | 13 | ועשרים | ve-esrim | and-twenty | AND_TWENTY_cap_vs_countdown_OPEN | logic_bearing | none |
| Gen.6.3 | 14 | שנה | shana | year | year | logic_bearing | none |
| Gen.6.4 | 0 | הנפלים | ha-nefilim | the-Nephilim | NEFILIM_three_tokens_OPEN | logic_bearing | none |
| Gen.6.4 | 1 | היו | hayu | were | were | logic_bearing | none |
| Gen.6.4 | 2 | בארץ | va-aretz | in-the-earth | in-the-earth | logic_bearing | none |
| Gen.6.4 | 3 | בימים | ba-yamim | in-days | time_stamp | logic_bearing | none |
| Gen.6.4 | 4 | ההם | ha-hem | those | those | logic_bearing | none |
| Gen.6.4 | 5 | וגם | ve-gam | and-also | also_thread_bridges_flood | logic_bearing | none |
| Gen.6.4 | 6 | אחרי | achare | after | after | logic_bearing | none |
| Gen.6.4 | 7 | כן | khen | so | so | logic_bearing | none |
| Gen.6.4 | 8 | אשר | asher | when | when | logic_bearing | none |
| Gen.6.4 | 9 | יבאו | yavou | would-come | habitual_imperfect | logic_bearing | TIR-029 |
| Gen.6.4 | 10 | בני | bene | sons-of | bnei_ha_elohim_again | logic_bearing | none |
| Gen.6.4 | 11 | האלהים | ha-Elohim | the-God | the-God | logic_bearing | none |
| Gen.6.4 | 12 | אל | el | to | to | logic_bearing | none |
| Gen.6.4 | 13 | בנות | benot | daughters-of | the_daughters | logic_bearing | none |
| Gen.6.4 | 14 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.6.4 | 15 | וילדו | ve-yaldu | and-they-bore | weqatal_habitual | logic_bearing | none |
| Gen.6.4 | 16 | להם | la-hem | to-them | to-them | logic_bearing | none |
| Gen.6.4 | 17 | המה | hema | they | they | logic_bearing | none |
| Gen.6.4 | 18 | הגברים | ha-giborim | the-mighty | GIBOR_FIRST_TOKEN_nimrod_next | logic_bearing | none |
| Gen.6.4 | 19 | אשר | asher | who | who | logic_bearing | none |
| Gen.6.4 | 20 | מעולם | me-olam | from-of-old | from_of_old | logic_bearing | none |
| Gen.6.4 | 21 | אנשי | anshe | men-of | men_of | logic_bearing | none |
| Gen.6.4 | 22 | השם | ha-shem | the-name | HA_SHEM_renown_OPEN | logic_bearing | none |
| Gen.6.5 | 0 | וירא | va-yar | and-He-saw | INVERTED_INSPECTION_see | logic_bearing | none |
| Gen.6.5 | 1 | יהוה | YHWH | YHWH | YHWH | logic_bearing | none |
| Gen.6.5 | 2 | כי | ki | that | that | logic_bearing | none |
| Gen.6.5 | 3 | רבה | raba | great | GREAT_vs_meod_1_31 | logic_bearing | none |
| Gen.6.5 | 4 | רעת | raat | evil-of | THE_EVIL_verdict_flipped | logic_bearing | none |
| Gen.6.5 | 5 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.6.5 | 6 | בארץ | ba-aretz | in-the-earth | in-the-earth | logic_bearing | none |
| Gen.6.5 | 7 | וכל | ve-khal | and-every | EVERY_quantifier_1 | logic_bearing | none |
| Gen.6.5 | 8 | יצר | yetzer | devising-of | YETZER_FIRST_TOKEN_8_21_next | logic_bearing | none |
| Gen.6.5 | 9 | מחשבת | machshvot | thoughts-of | MACHASHAVAH_FIRST_TOKEN_tabernacle_next | logic_bearing | none |
| Gen.6.5 | 10 | לבו | lib-o | his-heart | his_heart_pair_a | logic_bearing | none |
| Gen.6.5 | 11 | רק | raq | only | ONLY_quantifier_2 | logic_bearing | none |
| Gen.6.5 | 12 | רע | ra | evil | evil | logic_bearing | none |
| Gen.6.5 | 13 | כל | kal | all | ALL_quantifier_3 | logic_bearing | none |
| Gen.6.5 | 14 | היום | ha-yom | the-day | the-day | logic_bearing | none |
| Gen.6.6 | 0 | וינחם | va-yinachem | and-He-regretted | NACHAM_token_2_regret | logic_bearing | none |
| Gen.6.6 | 1 | יהוה | YHWH | YHWH | YHWH | logic_bearing | none |
| Gen.6.6 | 2 | כי | ki | that | that | logic_bearing | none |
| Gen.6.6 | 3 | עשה | asa | He-made | the_make_verb_regretted | logic_bearing | none |
| Gen.6.6 | 4 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.6 | 5 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.6.6 | 6 | בארץ | ba-aretz | in-the-earth | in-the-earth | logic_bearing | none |
| Gen.6.6 | 7 | ויתעצב | va-yitatzev | and-He-grieved | ATZAV_FIRST_TOKEN_toil_root_home | logic_bearing | none |
| Gen.6.6 | 8 | אל | el | to | to | logic_bearing | none |
| Gen.6.6 | 9 | לבו | lib-o | His-heart | HIS_heart_pair_b | logic_bearing | none |
| Gen.6.7 | 0 | ויאמר | va-yomer | and-He-said | resolve_opens | logic_bearing | none |
| Gen.6.7 | 1 | יהוה | YHWH | YHWH | YHWH | logic_bearing | none |
| Gen.6.7 | 2 | אמחה | emche | I-will-wipe | EMCHEH_wipe_debut_CMD_US | logic_bearing | TIR-033 |
| Gen.6.7 | 3 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.7 | 4 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.6.7 | 5 | אשר | asher | whom | whom | logic_bearing | none |
| Gen.6.7 | 6 | בראתי | barati | I-created | BARATI_create_regretted | logic_bearing | none |
| Gen.6.7 | 7 | מעל | me-al | from-upon | from-upon | logic_bearing | none |
| Gen.6.7 | 8 | פני | pene | face-of | GROUND_FACE_bracket_closes | logic_bearing | none |
| Gen.6.7 | 9 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.6.7 | 10 | מאדם | me-adam | from-human | scope_human_first | logic_bearing | none |
| Gen.6.7 | 11 | עד | ad | to | to | logic_bearing | none |
| Gen.6.7 | 12 | בהמה | behema | livestock | scope_livestock | logic_bearing | none |
| Gen.6.7 | 13 | עד | ad | to | to | logic_bearing | none |
| Gen.6.7 | 14 | רמש | remes | creeper | scope_creeper | logic_bearing | none |
| Gen.6.7 | 15 | ועד | ve-ad | and-to | and-to | logic_bearing | none |
| Gen.6.7 | 16 | עוף | of | bird-of | scope_birds_day5 | logic_bearing | none |
| Gen.6.7 | 17 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.6.7 | 18 | כי | ki | for | for | logic_bearing | none |
| Gen.6.7 | 19 | נחמתי | nichamti | I-regret | NACHAM_token_3 | logic_bearing | none |
| Gen.6.7 | 20 | כי | ki | that | that | logic_bearing | none |
| Gen.6.7 | 21 | עשיתם | asiti-m | I-made-them | I-made-them | logic_bearing | none |
| Gen.6.8 | 0 | ונח | ve-nocha | and-Noach | NOACH_letters_of_chen_reversed | logic_bearing | none |
| Gen.6.8 | 1 | מצא | matza | found | MATZA_find_verb_arc | logic_bearing | none |
| Gen.6.8 | 2 | חן | chen | favor | CHEN_FIRST_TOKEN | logic_bearing | none |
| Gen.6.8 | 3 | בעיני | be-ene | in-eyes-of | EYES_thread_ends_in_His | logic_bearing | none |
| Gen.6.8 | 4 | יהוה | YHWH | YHWH | YHWH | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_15_flood_prologue — The flood prologue: the stolen verdict, the 120 years, the regret, the favor (6:1-8) [frozen]
final state: WORLD=[] (+1 presupposed) | REGISTRY={} | TESTS=1 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'spec_delta', 'spec_delta']
=== S1 — The theft on the books: after STEP_Gn_6_2
כִּי טֹבֹת הֵנָּה (ki tovot henah)
PASS TESTS += PASS(tovot, benot_ha_adam) (tests=[('tovot', 'benot_ha_adam')])
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS SPECS empty. (queue=0)
=== S2 — The decree with its forks standing: after STEP_Gn_6_3
מֵאָה וְעֶשְׂרִים שָׁנָה (meah ve-esrim shanah)
PASS Facts lo_yadon_ruchi_va_adam_le_olam/ve_hayu_yamav_meah_ve_esrim_shanah HOLD (2 facts)
PASS SPECS empty. (queue=0)
=== S3 — The Nephilim held as a name: after STEP_Gn_6_4
הַנְּפִלִים הָיוּ בָאָרֶץ (ha-nefilim hayu va-aretz)
PASS Facts ha_nefilim_hayu_va_aretz/anshei_ha_shem_me_olam HOLD. (4 facts)
=== S4 — The inverted inspection: after STEP_Gn_6_5
רַק רַע כָּל־הַיּוֹם (raq ra kol-ha-yom)
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS Facts kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom HOLD. (5 facts)
=== S5 — The interior on the trace, the queue untouched: after STEP_Gn_6_6
וַיִּתְעַצֵּב אֶל־לִבּוֹ (va-yitatzev el-libo)
PASS SPECS empty. (queue=0)
=== S6 — The wipe-resolve pushed and guarded: after STEP_Gn_6_7
אֶמְחֶה אֶת־הָאָדָם (emcheh et-ha-adam)
PASS CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) pushed and OPEN (queue=['machah(ha_adam, me_al_pnei_ha_adamah)'])
PASS CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) mood remains CMD-US?. (mood=CMD-US?)
=== S7 — The counterweight — both survive the unit: after STEP_Gn_6_8
וְנֹחַ מָצָא חֵן (ve-Noach matza chen)
PASS Facts noach_matza_chen_be_einei_YHWH HOLD (7 facts)
PASS CMD-US?(machah(ha_adam, me_al_pnei_ha_adamah)) pushed and OPEN. (queue=['machah(ha_adam, me_al_pnei_ha_adamah)'])
=== S8_negative — Negative: the resolve's ? is guarded
PASS volitive 1cp parsed as CMD-US? (question mark kept) (mood=CMD-US?)
PASS auto-upgrade REFUSED (TIR-028: CMD-US? never auto-upgrades to CMD-US — a per-unit ...)
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_15_flood_prologue — 6:1-8
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_15_flood_prologue.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 flood prologue: the stolen verdict, the 120 years, the regret, the favor (6:1-8)"""
from machine import Machine
m = Machine("gen_15_flood_prologue")
# -------------------------- Gen.6.1 · MULTIPLYING_AND_DAUGHTERS ------------
# וַיְהִי כִּי־הֵחֵל הָאָדָם לָרֹב עַל־פְּנֵי הָאֲדָמָה וּבָנוֹת יֻלְּדוּ
# לָהֶם
# "And it came to pass, when men began to multiply on the face of the earth,
# and daughters were born unto them,"
m.step("Gen.6.1")
# ‹כִּי־הֵחֵל הָאָדָם לָרֹב עַל־פְּנֵי הָאֲדָמָה› (“when began the-human to-
# multiply upon face-of the-ground”) — event: multiply — agent the-human
m.event("multiply", agent="ha_adam")
# ‹וּבָנוֹת יֻלְּדוּ לָהֶם› (“and-daughters were-born to-them”) — event:
# born — theme daughters
m.event("born", themes=["banot"])
# reads without prior install (flag, not fix): human
m.presupposed("adam")
# -------------------------- Gen.6.2 · STOLEN_FORMULA_THE_TAKING ------------
# וַיִּרְאוּ בְנֵי־הָאֱלֹהִים אֶת־בְּנוֹת הָאָדָם כִּי טֹבֹת הֵנָּה
# וַיִּקְחוּ לָהֶם נָשִׁים מִכֹּל אֲשֶׁר בָּחָרוּ
# "that the sons of God saw the daughters of men that they were fair; and
# they took them wives, whomsoever they chose."
m.step("Gen.6.2")
# ‹וַיִּרְאוּ בְנֵי־הָאֱלֹהִים אֶת־בְּנוֹת הָאָדָם› (“and-they-saw sons-of
# the-God obj-marker daughters-of the-human”) — event: see — agent sons-of-
# the-God; theme daughters-of-the-human
m.event("see", agent="bnei_ha_elohim", themes=["benot_ha_adam"])
# ‹כִּי טֹבֹת הֵנָּה› (“that good they”) — test PASS — oracle-word good, on
# daughters-of-the-human
m.test("PASS", "tovot", "benot_ha_adam")
# ‹וַיִּרְאוּ … כִּי טֹבֹת … וַיִּקְחוּ› (“and-they-saw … that good … and-
# they-took”) — spec-delta — spec said and-He-saw God when-good — the Maker
# inspects His work and verdicts it good (the frozen week units), delivery
# says and-they-saw sons-of-the-God obj-marker·et-daughters-of the-human
# when good — creature subjects, human daughters as object, and a TAKING as
# the consequence (6:2)
m.spec_delta("va-yar Elohim ki-tov — the Maker inspects His work and verdicts it good (the frozen week units)",
"va-yiru bnei-ha-elohim et-bnot ha-adam ki tovot — creature subjects, human daughters as object, and a TAKING as the consequence (6:2)")
# ‹וַיִּקְחוּ לָהֶם נָשִׁים מִכֹּל אֲשֶׁר בָּחָרוּ› (“and-they-took for-
# themselves wives from-all that they-chose”) — event: take — agent sons-of-
# the-God; theme wives-from-all-that-they-chose
m.event("take", agent="bnei_ha_elohim", themes=["nashim_mi_kol_asher_bacharu"])
# -------------------------- Gen.6.3 · DECREE_120_YEARS ---------------------
# וַיֹּאמֶר יְהוָה לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם בְּשַׁגַּם הוּא בָשָׂר
# וְהָיוּ יָמָיו מֵאָה וְעֶשְׂרִים שָׁנָה
# "And the LORD said: 'My spirit shall not abide in man for ever, for that
# he also is flesh; therefore shall his days be a hundred and twenty
# years.'"
m.step("Gen.6.3")
# ‹וַיֹּאמֶר יְהוָה› (“and-He-said YHWH”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם … וְהָיוּ יָמָיו מֵאָה וְעֶשְׂרִים
# שָׁנָה› (“not shall-abide-judge My-spirit in-man forever … and-shall-be
# his-days hundred and-twenty year”) — fact holds: not-shall-abide-judge-My-
# spirit-and-human-to-forever; and-shall-be-his-days-hundred-and-twenty-year
m.fact("lo_yadon_ruchi_va_adam_le_olam",
"ve_hayu_yamav_meah_ve_esrim_shanah")
# -------------------------- Gen.6.4 · NEPHILIM_PARENTHESIS -----------------
# הַנְּפִלִים הָיוּ בָאָרֶץ בַּיָּמִים הָהֵם וְגַם אַחֲרֵי־כֵן אֲשֶׁר
# יָבֹאוּ בְּנֵי הָאֱלֹהִים אֶל־בְּנוֹת הָאָדָם וְיָלְדוּ לָהֶם הֵמָּה
# הַגִּבֹּרִים אֲשֶׁר מֵעוֹלָם אַנְשֵׁי הַשֵּׁם
# "The Nephilim were in the earth in those days, and also after that, when
# the sons of God came in unto the daughters of men, and they bore children
# to them; the same were the mighty men that were of old, the men of
# renown."
m.step("Gen.6.4")
# ‹הַנְּפִלִים הָיוּ בָאָרֶץ … הֵמָּה הַגִּבֹּרִים אֲשֶׁר מֵעוֹלָם אַנְשֵׁי
# הַשֵּׁם› (“the-Nephilim were in-the-earth … they the-mighty when from-of-
# old men-of the-name”) — fact holds: the-Nephilim-shall-be-and-earth; men-
# of-the-name-from-forever
m.fact("ha_nefilim_hayu_va_aretz",
"anshei_ha_shem_me_olam")
# -------------------------- Gen.6.5 · INVERTED_INSPECTION_TOTAL_DIAGNOSIS --
# וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם בָּאָרֶץ וְכָל־יֵצֶר מַחְשְׁבֹת
# לִבּוֹ רַק רַע כָּל־הַיּוֹם
# "And the LORD saw that the wickedness of man was great in the earth, and
# that every imagination of the thoughts of his heart was only evil
# continually."
m.step("Gen.6.5")
# ‹וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם› (“and-He-saw YHWH that great
# evil-of the-human”) — event: see — agent the-LORD; theme evil-of-the-human
m.event("see", agent="YHWH", themes=["raat_ha_adam"])
# ‹וַיַּרְא … כִּי רַבָּה רָעַת› (“and-He-saw … that great evil-of”) — spec-
# delta — spec said and-He-saw God obj-marker·et-all-that make and-behold
# good very — He saw all He had made: very good (1:31, frozen day 6),
# delivery says and-He-saw the-LORD when great evil-of the-human — He saw:
# GREAT was the EVIL bird-of man (6:5)
m.spec_delta("va-yar Elohim et-kol-asher asah ve-hinneh tov meod — He saw all He had made: very good (1:31, frozen day 6)",
"va-yar YHWH ki rabbah raat ha-adam — He saw: GREAT was the EVIL of man (6:5)")
# ‹וְכָל־יֵצֶר מַחְשְׁבֹת לִבּוֹ רַק רַע כָּל־הַיּוֹם› (“and-every devising-
# of thoughts-of his-heart only evil all the-day”) — fact holds: all-
# devising-of-thoughts-His-heart-only-evil-all-the-day
m.fact("kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom")
# -------------------------- Gen.6.6 · REGRET_AND_GRIEF ---------------------
# וַיִּנָּחֶם יְהוָה כִּי־עָשָׂה אֶת־הָאָדָם בָּאָרֶץ וַיִּתְעַצֵּב
# אֶל־לִבּוֹ
# "And it repented the LORD that He had made man on the earth, and it
# grieved Him at His heart."
m.step("Gen.6.6")
# ‹וַיִּנָּחֶם יְהוָה כִּי־עָשָׂה אֶת־הָאָדָם› (“and-He-regretted YHWH that
# He-made obj-marker the-human”) — event: regret — agent the-LORD
m.event("regret", agent="YHWH")
# ‹וַיִּתְעַצֵּב אֶל־לִבּוֹ› (“and-He-grieved to His-heart”) — event: grieve
# — agent the-LORD; theme His-heart
m.event("grieve", agent="YHWH", themes=["libo"])
# -------------------------- Gen.6.7 · WIPE_RESOLVE_PUSHED ------------------
# וַיֹּאמֶר יְהוָה אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי מֵעַל פְּנֵי
# הָאֲדָמָה מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמָיִם כִּי
# נִחַמְתִּי כִּי עֲשִׂיתִם
# "And the LORD said: 'I will blot out man whom I have created from the face
# of the earth; both man, and beast, and creeping thing, and fowl of the
# air; for it repenteth Me that I have made them.'"
m.step("Gen.6.7")
# ‹וַיֹּאמֶר יְהוָה› (“and-He-said YHWH”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי מֵעַל פְּנֵי הָאֲדָמָה› (“I-will-
# wipe obj-marker the-human whom I-created from-upon face-of the-ground”) —
# the-LORD speaks a demand — CMD-US?: wipe(the-human, from-upon-face-of-the-
# ground)
m.declare("YHWH", "CMD-US?",
"machah(ha_adam, me_al_pnei_ha_adamah)")
# ‹מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמָיִם› (“from-human to
# livestock to creeper and-to bird-of the-heavens”) — fact holds: from-
# human-to-livestock-to-creeper-and-to-bird-of-the-heavens
m.fact("me_adam_ad_behemah_ad_remes_ve_ad_of_ha_shamayim")
# -------------------------- Gen.6.8 · FIVE_WORDS_FAVOR ---------------------
# וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה
# "But Noah found grace in the eyes of the LORD."
m.step("Gen.6.8")
# ‹וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה› (“and-Noach found favor in-eyes-of
# YHWH”) — fact holds: Noach-found-favor-in-eyes-of-the-LORD
m.fact("noach_matza_chen_be_einei_YHWH")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'adam'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == [('PASS', 'tovot', 'benot_ha_adam')]
assert m.open_demands() == ['machah(ha_adam, me_al_pnei_ha_adamah)']
assert len(m.SPECS["log"]) == 1
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 1, 'spec_delta': 2}
assert sorted(m.WORLD["facts"]) == sorted(['lo_yadon_ruchi_va_adam_le_olam', 've_hayu_yamav_meah_ve_esrim_shanah', 'ha_nefilim_hayu_va_aretz', 'anshei_ha_shem_me_olam', 'kol_yetzer_machshevot_libo_raq_ra_kol_ha_yom', 'me_adam_ad_behemah_ad_remes_ve_ad_of_ha_shamayim', 'noach_matza_chen_be_einei_YHWH'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 10
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")
FROZEN 2026-08-01 (derived on owner order "derive next block"; frozen automatically per the 2026-08-01 process order — auto-freeze #2): sixteenth frozen unit — THE FLOOD PROLOGUE, the corpus's hinge; sixth extension-free derivation in a row. Central findings, all DB-verified before drafting: the week's inspection formula STOLEN at 6:2 (creature subjects, human daughters, a taking as sequel — creature-run TEST #2 beside spec-delta #1; choice's first token spent on unlimited taking) and INVERTED at 6:5 (very-good answered by great-evil — spec-delta #2); the 120-year decree with all three forks held open (yadon / be-shagam / cap-vs-countdown; Onkelos rebuilds it as a repentance window — the 4:7 device); the Nephilim held to the letter's grant — existence, time-stamp, title, three Torah tokens, no identity; the corpus's FIRST DIVINE-INTERIOR EVENTS — the comfort-root (5:29's hope, gen_14's fuse) as regret, the toil-root (both Eden sentences) as grief in His own heart, both DELETED by the buffer ('turned in His Word to break their strength'); the wipe-resolve pushed in I-WILL-MAKE's own mood grammar (CMD-US?, gen_09's precedent) and popped by NOTHING — the first open UN-creation demand, queue debt five, scope walking creation backward; and the five-word counterweight: chen's first token, the Noach/chen letter-reversal, favor found in the eyes that just saw great evil. Machine state: zero installs, ZERO registry writes (a first), one creature-run PASS, one open divine demand, two spec-deltas — and both the demand and the counterweight survive the unit.