TorahSim

The flood prologue: the stolen verdict, the 120 years, the regret, the favor (6:1-8) MODEL · REV 4 · GATES GREEN

unit gen_15_flood_prologue · Genesis 6:1-8 · derive logic_derived_v2_full_rule · phase C-15
⇄ verse view — this span in the scroll (trees + morphology)  ·  ☰ all derived units

וַיִּנָּחֶם יְהוָה — וְנֹחַ מָצָא חֵן · 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.
confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

stepnamecommentconfidence
ABlock choiceThe 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
BHebrew source + treesAll 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
CSegment structureVerb 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
DPredicates & outcomesThe 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
ELogic format choiceOperator 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
FBilingual logic objectsEvery 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
GOral (named only) + Tier-A translation checkNamed 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
HScenariosS1 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
IEnglish leakage reviewOperators 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
JPre-flight + auto-freezePre-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)
RIGHT
ובנות ילדו להם · u-vanot yuldu lahem · and daughters were born to them
operatorexpressionHebrew anchorcitesconfidence
EVENTmultiply(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
EVENTborn(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-032tested
NOTE_PRESUPPOSEDadam 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
WITNESS_STATEWITNESS(larov, propagation_or_strife)
= WITNESS(larov, propagation-light-strife)
WHAT DID THE MULTIPLICATION BRING? [claim G15-07]. לָרֹב (larov) is read two ways and both are carried: R. Yochanan reads that PROPAGATION came into the world; Reish Lakish reads מְרִיבָה (meriva, 'STRIFE') came into the world. What the machine records as growth one seat reads as the arrival of conflict. [folded shape: recorded dispute]
—Bava Batra 16b:6, Bereshit Rabbah 26:4witnessed
The ledger's yield: a multiplied species and its daughters — the two nouns the next verse will turn into subject and object.

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)
RIGHT
ויקחו להם נשים מכל אשר בחרו · va-yiqchu lahem nashim mi-kol asher bacharu · the taking: wives from all they chose
operatorexpressionHebrew anchorcitesconfidence
EVENTsee(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-014tested
TESTTESTS += 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_DELTAflag: 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
EVENTtake(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
WITNESS_STATEWITNESS(benei_ha_elohim, identity_machloket_one_side_cursing)
= WITNESS(benei-the-God, identity-machloket-one-side-cursing)
A DISPUTE IN WHICH ONE SIDE CURSES THE OTHER [claim G15-08, machine-checked]. R. Shimon ben Yochai renders בְּנֵי הָאֱלֹהִים (benei ha-elohim) 'the sons of the JUDGES' and CURSES those who render it literally; the school of R. Yishmael reads the fallen ones and joins the scapegoat law to them, the goat atoning 'for the deeds of Uzza and Azael'. Both carried dual-track. An ink point rides with it: טֹבֹת (tovot, 'good', of the daughters) is written DEFECTIVE here, read as the seigneur taking first - and machine-checked at derivation, that defective spelling stands in the Torah exactly twice, our 6:2 and Genesis 24:16, where Rebecca is 'very GOOD of appearance'. [folded shape: recorded dispute]
—Bereshit Rabbah 26:5, Yoma 67b:7witnessed
The week's own verdict grammar in the wrong mouths, ending in the wrong verb. The machine holds the creature-test, the flag, and the taking — and invents no angels and no judges.

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)
RIGHT
והיו ימיו מאה ועשרים שנה · ve-hayu yamav meah ve-esrim shanah · his days: a hundred and twenty years
operatorexpressionHebrew anchorcitesconfidence
EVENTsay(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_STATEHOLDS(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-029tested
WITNESS_READWITNESS-READ(beshagam_clause, lawgiver_in_cipher)
= WITNESS-READ(beshagam-clause, lawgiver-in-cipher)
THE LAWGIVER STANDS IN THIS CLAUSE IN CIPHER [claim G15-09, machine-checked]. To the question 'Moses - from where in the Torah?' the answer is בְּשַׁגַּם (be-shagam) of THIS verse: its letters total three hundred and forty-five, the same as מֹשֶׁה (Moshe) - and the clause continues 'his days shall be a hundred and twenty years', exactly Moses' lifespan. Machine-checked at derivation: be-shagam stands in the Torah exactly once, here, and the two values compute equal at three hundred and forty-five. Argues middah E29 (numerical value). [folded shape: ink count]
—Chullin 139b:10witnessed
WITNESS_READWITNESS-READ(lo_yadon, no_share_verdict_at_the_case_table)
= WITNESS-READ(not-shall-abide-judge, no-share-verdict-at-the-case-table)
A CANONICAL VERDICT ROW DERIVED FROM THIS OPERATOR'S OWN TOKEN [claim G15-10]. The Mishnah rules that the generation of the Flood has no share in the world to come AND DOES NOT STAND IN JUDGMENT, stating its proof from this clause: לֹא יָדוֹן רוּחִי (lo yadon ruchi) - neither judgment nor spirit. The tannaim parse the clause four ways, and the semantic field is developed as no return of the spirit to its sheath, hence no resurrection for that generation. R. Nechemyah dissents. Testing-shelf material anchored at its verse, owed to the Step 9 exam. [folded shape: priced law]
—Mishnah Sanhedrin 10:3, Tosefta Sanhedrin 13:1, Jerusalem Talmud Sanhedrin 10:3:3, Bereshit Rabbah 26:6witnessed
WITNESS_READWITNESS-READ(hundred_twenty_years, grace_period_with_warning_function)
= WITNESS-READ(hundred-twenty-years, grace-period-with-warning-function)
THE NUMBER IS A DEADLINE, NOT A LIFESPAN CAP [claim G15-11]. The hundred and twenty years are read as a GRACE PERIOD - 'You did not decree destruction until they consummated their evil' - and the period is filled with warning: the righteous man planting and felling cedars for the ark in full view of the generation, mocked as a contemptible old man. The grace carries its own limit, stated as a contrast: 'the flood generation had no one to learn from; you have.' [folded shape: kept record]
—Mekhilta DeRabbi Yishmael, Tractate Shirah 5:8, Sifrei Devarim 43:31, Bereshit Rabbah 30:7witnessed
A time-decree with every load-bearing word contested — the machine stores the words and leaves all three forks standing.

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)
RIGHT
המה הגברים אשר מעולם אנשי השם · hemah ha-giborim asher me-olam anshei ha-shem · these were the mighty of old, men of the name
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(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-029tested
The letter's most famous unexplained noun gets exactly what the letter gives it: existence, a time-stamp, and a title. The machine holds three facts and zero identifications.

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)
RIGHT
וכל יצר מחשבת לבו רק רע כל היום · ve-khol-yetzer machshevot libo raq ra kol-ha-yom · every devising of his heart only evil all the day
operatorexpressionHebrew anchorcitesconfidence
EVENTsee(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_DELTAflag: 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_STATEHOLDS(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
WITNESS_READWITNESS-READ(yetzer_clause, persistent_adversary_process)
= WITNESS-READ(devising-of-clause, persistent-adversary-process)
A DESCRIPTION READ AS A RUNNING PROCESS [claim G15-12]. The inclination-clause is read as a live adversary, not a disposition: it RENEWS DAILY, read out of this verse's 'all the day'; it overcomes a person daily and SEEKS TO KILL HIM, and were God not helping him he could not withstand it; and it is identified outright with the Accuser and with the angel of death, this verse's 'only evil all the day' the identification's proof-slot. [folded shape: kept record]
—Kiddushin 30b:6, Sukkah 52b:1, Bava Batra 16a:8witnessed
WITNESS_READWITNESS-READ(chamas_trigger, theft_engineered_below_jurisdiction)
= WITNESS-READ(chamas-trigger, theft-engineered-below-jurisdiction)
THE DECREE'S TRIGGER IS A CRIME BUILT TO BE UNPROSECUTABLE [claim G15-13]. חָמָס (chamas, 'violence') is defined at law with a concrete case: one would come with a box of lupines and each would take LESS THAN A PERUTAH - 'a matter that cannot be brought before judges'. Every taking is individually below the actionable threshold, by design. And the sealing-cause is stated plainly: 'they violated everything, but the decree was SEALED only when they stretched their hands into ROBBERY.' The destruction operator fires on an offence engineered around the court's jurisdiction. [folded shape: priced law]
—Jerusalem Talmud Bava Metzia 4:2:2, Sanhedrin 108a:12witnessed
The week's instrument, the week's Subject, the opposite verdict — and a diagnosis whose two debut-words are both destined for redemption arcs the machine only points at.

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)
RIGHT
ויתעצב אל לבו · va-yitatzev el-libo · and He was grieved to His heart
operatorexpressionHebrew anchorcitesconfidence
EVENTregret(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
EVENTgrieve(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
WITNESS_STATEWITNESS(vayinachem, polarity_dispute_regret_or_solace)
= WITNESS(vayinachem, polarity-dispute-regret-light-solace)
THE VERB'S POLARITY IS DISPUTED [claim G15-14]. וַיִּנָּחֶם (va-yinachem) read as regret is the machine's plain sense; read as SOLACE it inverts - Rav Dimi: 'I did WELL that I prepared graves in the earth.' At the tannaitic seat the semantics are fixed as SECOND THOUGHTS. The parenthetical grief is read as aimed at His own heart. Both polarities carried on one operator. [folded shape: recorded dispute]
—Bereshit Rabbah 27:4, Sanhedrin 108a:15, Sifrei Devarim 326:1witnessed
Two verbs the corpus has never aimed at God: the comfort-root as regret, the toil-root as grief — the sentence-vocabulary of Eden returning to its Speaker. The machine logs two events and draws no conclusions.

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)
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
operatorexpressionHebrew anchorcitesconfidence
EVENTsay(e9) ∧ Agent(e9, YHWH)
= say(e9) ∧ Agent(e9, the-LORD)
The interior becomes speech.
וַיֹּאמֶר יְהוָה · va-yomer YHWH
= He-said the-LORD
—tested
DECLAREDECLARE(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-028tested
PRECONDITION_STATEHOLDS(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-014tested
WITNESS_READWITNESS-READ(emcheh_scope, animals_included_and_earth_strayed)
= WITNESS-READ(emcheh-scope, animals-included-and-earth-strayed)
WHY THE ANIMALS DIE, AND WHAT ELSE HAD STRAYED [claim G15-15]. The scope is argued by parable - the pedagogue punished with the pupil, the canopy dismantled when the son is lost - and pressed to its limits, even the dust of the first man, even the indestructible bone of the spine, with a recorded audience-refusal when it was preached. The corruption is read as CROSS-SPECIES on an ink point: 'ALL FLESH corrupted its way' - all flesh, not all MAN - and the earth itself is found to have strayed, wheat sown and darnel produced. The earth's SECOND recorded deviation in this corpus. [folded shape: kept record]
—Bereshit Rabbah 28:6, Bereshit Rabbah 28:8, Bereshit Rabbah 28:3witnessed
The regret becomes a demand in the grammar of the old making-demand — and the machine, which once held I-WILL-MAKE open for four verses, now holds I-WILL-WIPE open past the unit's edge.

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)
RIGHT
מצא חן בעיני יהוה · matza chen be-einei YHWH · found favor in the eyes of YHWH
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(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
WITNESS_STATEWITNESS(chen_found, direction_grade_and_ground_disputed)
= WITNESS(favor-found, direction-grade-and-ground-disputed)
EVEN THE DIRECTION OF THE FAVOUR IS DISPUTED [claim G15-16]. In the three-finds census this man is EXCLUDED, with a precise reason: 'HE found; the Holy One did not find HIM' - the favour flowing one way only. What it granted is graded three ways by verbal analogy - favour as friendship, as authority, as wisdom. His merit is minimised to one ounce, escaping 'by the pureness of YOUR hands', and inverted outright at another seat: kindness to the earlier by merit of the LATER, saved by his own descendants. Direction, grade and ground all carried without merger. [folded shape: recorded dispute]
—Bereshit Rabbah 29:3, Bereshit Rabbah 29:4, Bereshit Rabbah 29:1, Bereshit Rabbah 29:5witnessed
The shortest verse in our derived spans carries the counterweight: an open demand for un-creation on the queue, and one found favor on the books — the ark will be built in the space between them.

State machine

The flood prologue (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).
statemeaning
S_bootBefore 6:1 — all registers empty (standalone unit)
S_multiplyingAfter 6:1 — the species multiplied on the ground's face; daughters born (agentless); adam flagged as read
S_takingAfter 6:2 — the stolen formula flagged; the creature-run PASS on the books; the taking logged; choice's first token spent
S_decreeAfter 6:3 — the 120-year decree standing with all three forks open (yadon / be-shagam / cap-vs-countdown)
S_parenthesisAfter 6:4 — the Nephilim held as name + time-stamp + title; nothing identified
S_diagnosisAfter 6:5 — the inverted inspection flagged; the total diagnosis standing (every/only/all)
S_interiorAfter 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_openAfter 6:7 — CMD-US?(machah...) pushed: the first open UN-creation demand; the scope held in creation-reverse order; queue debt five
S_counterweightAfter 6:8 — the favor fact HOLDS against the open wipe-demand; the unit ends holding both
fromtovia
S_bootS_multiplyingSTEP_Gn_6_1
S_multiplyingS_takingSTEP_Gn_6_2
S_takingS_decreeSTEP_Gn_6_3
S_decreeS_parenthesisSTEP_Gn_6_4
S_parenthesisS_diagnosisSTEP_Gn_6_5
S_diagnosisS_interiorSTEP_Gn_6_6
S_interiorS_wipe_openSTEP_Gn_6_7
S_wipe_openS_counterweightSTEP_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)

idtitlegivenexpectanchor
S1The theft on the books: after STEP_Gn_6_2All 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
S2The decree with its forks standing: after STEP_Gn_6_3S1 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
S3The Nephilim held as a name: after STEP_Gn_6_4S2 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
S4The inverted inspection: after STEP_Gn_6_5S3 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
S5The interior on the trace, the queue untouched: after STEP_Gn_6_6S4 state.SPECS empty.וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yitatzev el-libo
= He-grieved to-His-heart
S6The wipe-resolve pushed and guarded: after STEP_Gn_6_7S5 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
S7The counterweight — both survive the unit: after STEP_Gn_6_8S6 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_negativeNegative: the resolve's ? is guardedA 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_negativeNegative: flags never blockA 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)

idcontent
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.
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.
verified RE-era reading pass 2026-08-26 (parashah-grain sweep, ledger logic/oral_triage/gen_15_flood_prologue_2026-08-26.md)
נקרא כולו · nikra kulo (read in full) · The v1 queue above is DISCHARGED: the declared core shelf was read end to end this sitting. HEADLINES: the BENEI HA-ELOHIM identity machloket (R. Shimon ben Yochai renders 'sons of the judges' and CURSES the literal rendering — beside Onkelos's own witness — against the Bavli's Uzza-and-Azael scapegoat join at Yoma 67b); LO YADON's full legal field — Mishnah Sanhedrin 10:3 derives no- share-AND-no-judgment from our token ('neither judgment nor spirit'), the Tosefta substrate, the twelve-month Gehenna cycle, and the share-in-the-World-to-Come tension between seats recorded from both sides; CHAMAS SEALED THE DECREE (Sanhedrin 108a) with the Jerusalem Talmud's sub-perutah definition (theft engineered below the court's threshold); the 120-YEARS TRIANGLE (warning- herald / grace-period / no-one-to-learn-from limit) plus BE-SHAGAM = Moshe in cipher (gematria 345, days 120); THE EARTH'S THIRD DEVIATION (wheat sown, darnel produced — joining gen_03's day-3 dispute and gen_11's fourth-defendant crown); 6:5-7 read as court procedure (indictment read aloud before sentence) with the names- of-God polarity claim (mercy's Name carries the obliteration decision); the regret dual with Rav Dimi's graves-inversion and the seven days God mourned; the giants' seven-names census and might dossier; Noah's grace-not-worth cluster (one ounce of merit, sentence sealed too, HE found — was not found). Findings recorded in the ledger; dual-track throughout; no reading merged into the machine.
Reading-pass record; the stamp and ritual remain the owner's word (batch, per parashah).

Binary trees (ta'amim v3, glue bricks)

Gen.6.1 · parser unique · 11 words

וַיְהִי כִּי־הֵחֵל הָאָדָם לָרֹב עַל־פְּנֵי הָאֲדָמָה וּבָנוֹת יֻלְּדוּ לָהֶם · va-yehi ki-hechel ha-adam la-rov al-pene ha-adama u-vanot yuldu la-hem · Man began to multiply on the ground's face — and daughters were born. [EN-AID]
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

וַיִּרְאוּ בְנֵי־הָאֱלֹהִים אֶת־בְּנוֹת הָאָדָם כִּי טֹבֹת הֵנָּה וַיִּקְחוּ לָהֶם נָשִׁים מִכֹּל אֲשֶׁר בָּחָרוּ · va-yiru vene-ha-Elohim et-benot ha-adam ki tovot hena va-yiqchu la-hem nashim mi-kol asher bacharu · The sons of God saw the daughters of man: GOOD — and took from all they chose. [EN-AID]
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

וַיֹּאמֶר יְהוָה לֹא־יָדוֹן רוּחִי בָאָדָם לְעֹלָם בְּשַׁגַּם הוּא בָשָׂר וְהָיוּ יָמָיו מֵאָה וְעֶשְׂרִים שָׁנָה · va-yomer YHWH lo-yadon ruchi-y va-adam le-olam be-sha-gam hu vasar ve-hayu yamay-v mea ve-esrim shana · My spirit shall not abide in man forever — his days: 120 years. [EN-AID]
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

הַנְּפִלִים הָיוּ בָאָרֶץ בַּיָּמִים הָהֵם וְגַם אַחֲרֵי־כֵן אֲשֶׁר יָבֹאוּ בְּנֵי הָאֱלֹהִים אֶל־בְּנוֹת הָאָדָם וְיָלְדוּ לָהֶם הֵמָּה הַגִּבֹּרִים אֲשֶׁר מֵעוֹלָם אַנְשֵׁי הַשֵּׁם · ha-nefilim hayu va-aretz ba-yamim ha-hem ve-gam achare-khen asher yavou bene ha-Elohim el-benot ha-adam ve-yaldu la-hem hema ha-giborim asher me-olam anshe ha-shem · The Nephilim were in the earth, then and after — the mighty of old, men of the name. [EN-AID]
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

וַיַּרְא יְהוָה כִּי רַבָּה רָעַת הָאָדָם בָּאָרֶץ וְכָל־יֵצֶר מַחְשְׁבֹת לִבּוֹ רַק רַע כָּל־הַיּוֹם · va-yar YHWH ki raba raat ha-adam ba-aretz ve-khal-yetzer machshvot lib-o raq ra kal-ha-yom · YHWH saw: great the evil — every devising of the heart only evil all the day. [EN-AID]
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

וַיִּנָּחֶם יְהוָה כִּי־עָשָׂה אֶת־הָאָדָם בָּאָרֶץ וַיִּתְעַצֵּב אֶל־לִבּוֹ · va-yinachem YHWH ki-asa et-ha-adam ba-aretz va-yitatzev el-lib-o · YHWH regretted making man — and was grieved to His heart. [EN-AID]
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

וַיֹּאמֶר יְהוָה אֶמְחֶה אֶת־הָאָדָם אֲשֶׁר־בָּרָאתִי מֵעַל פְּנֵי הָאֲדָמָה מֵאָדָם עַד־בְּהֵמָה עַד־רֶמֶשׂ וְעַד־עוֹף הַשָּׁמָיִם כִּי נִחַמְתִּי כִּי עֲשִׂיתִם · va-yomer YHWH emche et-ha-adam asher-barati me-al pene ha-adama me-adam ad-behema ad-remes ve-ad-of ha-shamayim ki nichamti ki asiti-m · I will wipe man whom I created — man to beast to creeper to bird: I regret. [EN-AID]
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

וְנֹחַ מָצָא חֵן בְּעֵינֵי יְהוָה · ve-nocha matza chen be-ene YHWH · But Noah found favor in the eyes of YHWH. [EN-AID]
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#HebrewtranslitEnglishrolekindrule
Gen.6.10ויהיva-yehiand-it-wasframelogic_bearingnone
Gen.6.11כיkiwhenwhenlogic_bearingnone
Gen.6.12החלhechelbeganHECHEL_begin_root_token_2logic_bearingnone
Gen.6.13האדםha-adamthe-humanthe_specieslogic_bearingnone
Gen.6.14לרבla-rovto-multiplymultiplylogic_bearingnone
Gen.6.15עלaluponuponlogic_bearingnone
Gen.6.16פניpeneface-ofGROUND_FACE_bracket_openslogic_bearingnone
Gen.6.17האדמהha-adamathe-groundthe-groundlogic_bearingnone
Gen.6.18ובנותu-vanotand-daughtersthe_daughters_step_forwardlogic_bearingnone
Gen.6.19ילדוyulduwere-bornborn_agentless_passivelogic_bearingTIR-032
Gen.6.110להםla-hemto-themto-themlogic_bearingnone
Gen.6.20ויראוva-yiruand-they-sawSTOLEN_FORMULA_see_verblogic_bearingnone
Gen.6.21בניvenesons-ofBNEI_HA_ELOHIM_OPENlogic_bearingnone
Gen.6.22האלהיםha-Elohimthe-Godthe-Godlogic_bearingnone
Gen.6.23אתetobj-marker·etobj_markerlogic_bearingTIR-014
Gen.6.24בנותbenotdaughters-ofthe_object_daughterslogic_bearingnone
Gen.6.25האדםha-adamthe-humanthe-humanlogic_bearingnone
Gen.6.26כיkithatthatlogic_bearingnone
Gen.6.27טבתtovotgoodTOVOT_week_verdict_word_creature_eyeslogic_bearingnone
Gen.6.28הנהhenatheytheylogic_bearingnone
Gen.6.29ויקחוva-yiqchuand-they-tookthe_taking_laqachlogic_bearingnone
Gen.6.210להםla-hemfor-themselvesfor-themselveslogic_bearingnone
Gen.6.211נשיםnashimwiveswiveslogic_bearingnone
Gen.6.212מכלmi-kolfrom-allfrom_ALL_unlimitedlogic_bearingnone
Gen.6.213אשרasherthatthatlogic_bearingnone
Gen.6.214בחרוbacharuthey-choseBACHAR_FIRST_TOKEN_choicelogic_bearingnone
Gen.6.30ויאמרva-yomerand-He-saiddecree_openslogic_bearingnone
Gen.6.31יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.6.32לאlonotnegationlogic_bearingnone
Gen.6.33ידוןyadonshall-abide-judgeYADON_din_verb_fork_OPENlogic_bearingnone
Gen.6.34רוחיruchi-yMy-spiritMY_spirit_ruach_threadlogic_bearingnone
Gen.6.35באדםva-adamin-manin-manlogic_bearingnone
Gen.6.36לעלםle-olamforeverLE_OLAM_token_2logic_bearingnone
Gen.6.37בשגםbe-sha-gamin-that-alsoBE_SHAGAM_crux_OPENlogic_bearingnone
Gen.6.38הואhuhehelogic_bearingnone
Gen.6.39בשרvasarfleshfleshlogic_bearingnone
Gen.6.310והיוve-hayuand-shall-beweqatal_decree_verblogic_bearingTIR-029
Gen.6.311ימיוyamay-vhis-dayshis-dayslogic_bearingnone
Gen.6.312מאהmeahundredHUNDRED_120logic_bearingnone
Gen.6.313ועשריםve-esrimand-twentyAND_TWENTY_cap_vs_countdown_OPENlogic_bearingnone
Gen.6.314שנהshanayearyearlogic_bearingnone
Gen.6.40הנפליםha-nefilimthe-NephilimNEFILIM_three_tokens_OPENlogic_bearingnone
Gen.6.41היוhayuwerewerelogic_bearingnone
Gen.6.42בארץva-aretzin-the-earthin-the-earthlogic_bearingnone
Gen.6.43בימיםba-yamimin-daystime_stamplogic_bearingnone
Gen.6.44ההםha-hemthosethoselogic_bearingnone
Gen.6.45וגםve-gamand-alsoalso_thread_bridges_floodlogic_bearingnone
Gen.6.46אחריachareafterafterlogic_bearingnone
Gen.6.47כןkhensosologic_bearingnone
Gen.6.48אשרasherwhenwhenlogic_bearingnone
Gen.6.49יבאוyavouwould-comehabitual_imperfectlogic_bearingTIR-029
Gen.6.410בניbenesons-ofbnei_ha_elohim_againlogic_bearingnone
Gen.6.411האלהיםha-Elohimthe-Godthe-Godlogic_bearingnone
Gen.6.412אלeltotologic_bearingnone
Gen.6.413בנותbenotdaughters-ofthe_daughterslogic_bearingnone
Gen.6.414האדםha-adamthe-humanthe-humanlogic_bearingnone
Gen.6.415וילדוve-yalduand-they-boreweqatal_habituallogic_bearingnone
Gen.6.416להםla-hemto-themto-themlogic_bearingnone
Gen.6.417המהhematheytheylogic_bearingnone
Gen.6.418הגבריםha-giborimthe-mightyGIBOR_FIRST_TOKEN_nimrod_nextlogic_bearingnone
Gen.6.419אשרasherwhowhologic_bearingnone
Gen.6.420מעולםme-olamfrom-of-oldfrom_of_oldlogic_bearingnone
Gen.6.421אנשיanshemen-ofmen_oflogic_bearingnone
Gen.6.422השםha-shemthe-nameHA_SHEM_renown_OPENlogic_bearingnone
Gen.6.50ויראva-yarand-He-sawINVERTED_INSPECTION_seelogic_bearingnone
Gen.6.51יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.6.52כיkithatthatlogic_bearingnone
Gen.6.53רבהrabagreatGREAT_vs_meod_1_31logic_bearingnone
Gen.6.54רעתraatevil-ofTHE_EVIL_verdict_flippedlogic_bearingnone
Gen.6.55האדםha-adamthe-humanthe-humanlogic_bearingnone
Gen.6.56בארץba-aretzin-the-earthin-the-earthlogic_bearingnone
Gen.6.57וכלve-khaland-everyEVERY_quantifier_1logic_bearingnone
Gen.6.58יצרyetzerdevising-ofYETZER_FIRST_TOKEN_8_21_nextlogic_bearingnone
Gen.6.59מחשבתmachshvotthoughts-ofMACHASHAVAH_FIRST_TOKEN_tabernacle_nextlogic_bearingnone
Gen.6.510לבוlib-ohis-hearthis_heart_pair_alogic_bearingnone
Gen.6.511רקraqonlyONLY_quantifier_2logic_bearingnone
Gen.6.512רעraevilevillogic_bearingnone
Gen.6.513כלkalallALL_quantifier_3logic_bearingnone
Gen.6.514היוםha-yomthe-daythe-daylogic_bearingnone
Gen.6.60וינחםva-yinachemand-He-regrettedNACHAM_token_2_regretlogic_bearingnone
Gen.6.61יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.6.62כיkithatthatlogic_bearingnone
Gen.6.63עשהasaHe-madethe_make_verb_regrettedlogic_bearingnone
Gen.6.64אתetobj-marker·etobj_markerglueTIR-008
Gen.6.65האדםha-adamthe-humanthe-humanlogic_bearingnone
Gen.6.66בארץba-aretzin-the-earthin-the-earthlogic_bearingnone
Gen.6.67ויתעצבva-yitatzevand-He-grievedATZAV_FIRST_TOKEN_toil_root_homelogic_bearingnone
Gen.6.68אלeltotologic_bearingnone
Gen.6.69לבוlib-oHis-heartHIS_heart_pair_blogic_bearingnone
Gen.6.70ויאמרva-yomerand-He-saidresolve_openslogic_bearingnone
Gen.6.71יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.6.72אמחהemcheI-will-wipeEMCHEH_wipe_debut_CMD_USlogic_bearingTIR-033
Gen.6.73אתetobj-marker·etobj_markerglueTIR-008
Gen.6.74האדםha-adamthe-humanthe-humanlogic_bearingnone
Gen.6.75אשרasherwhomwhomlogic_bearingnone
Gen.6.76בראתיbaratiI-createdBARATI_create_regrettedlogic_bearingnone
Gen.6.77מעלme-alfrom-uponfrom-uponlogic_bearingnone
Gen.6.78פניpeneface-ofGROUND_FACE_bracket_closeslogic_bearingnone
Gen.6.79האדמהha-adamathe-groundthe-groundlogic_bearingnone
Gen.6.710מאדםme-adamfrom-humanscope_human_firstlogic_bearingnone
Gen.6.711עדadtotologic_bearingnone
Gen.6.712בהמהbehemalivestockscope_livestocklogic_bearingnone
Gen.6.713עדadtotologic_bearingnone
Gen.6.714רמשremescreeperscope_creeperlogic_bearingnone
Gen.6.715ועדve-adand-toand-tologic_bearingnone
Gen.6.716עוףofbird-ofscope_birds_day5logic_bearingnone
Gen.6.717השמיםha-shamayimthe-heavensthe-heavenslogic_bearingnone
Gen.6.718כיkiforforlogic_bearingnone
Gen.6.719נחמתיnichamtiI-regretNACHAM_token_3logic_bearingnone
Gen.6.720כיkithatthatlogic_bearingnone
Gen.6.721עשיתםasiti-mI-made-themI-made-themlogic_bearingnone
Gen.6.80ונחve-nochaand-NoachNOACH_letters_of_chen_reversedlogic_bearingnone
Gen.6.81מצאmatzafoundMATZA_find_verb_arclogic_bearingnone
Gen.6.82חןchenfavorCHEN_FIRST_TOKENlogic_bearingnone
Gen.6.83בעיניbe-enein-eyes-ofEYES_thread_ends_in_Hislogic_bearingnone
Gen.6.84יהוהYHWHYHWHYHWHlogic_bearingnone

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

Generated from the canonical YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_15_flood_prologue.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# TorahSim — (c) 2026 Brian LeBlanc · MIT license (see LICENSE at repo root)
# =============================================================================
# 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")
# witness-grounded state (its own tier): propagation_or_strife on larov
m.witness_state("larov", "propagation_or_strife",
                cites=["Bava Batra 16b:6", "Bereshit Rabbah 26:4"])

# -------------------------- 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"])
# witness-grounded state (its own tier): identity_machloket_one_side_cursing
# on benei_ha_elohim
m.witness_state("benei_ha_elohim", "identity_machloket_one_side_cursing",
                cites=["Bereshit Rabbah 26:5", "Yoma 67b:7"])

# -------------------------- 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")
# witness-tier presupposed read: lawgiver_in_cipher on beshagam_clause —
# read, not installed
m.witness_read("beshagam_clause", "lawgiver_in_cipher",
                cites=["Chullin 139b:10"])
# witness-tier presupposed read: no_share_verdict_at_the_case_table on
# lo_yadon — read, not installed
m.witness_read("lo_yadon", "no_share_verdict_at_the_case_table",
                cites=["Mishnah Sanhedrin 10:3", "Tosefta Sanhedrin 13:1", "Jerusalem Talmud Sanhedrin 10:3:3", "Bereshit Rabbah 26:6"])
# witness-tier presupposed read: grace_period_with_warning_function on
# hundred_twenty_years — read, not installed
m.witness_read("hundred_twenty_years", "grace_period_with_warning_function",
                cites=["Mekhilta DeRabbi Yishmael, Tractate Shirah 5:8", "Sifrei Devarim 43:31", "Bereshit Rabbah 30:7"])

# -------------------------- 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")
# witness-tier presupposed read: persistent_adversary_process on
# yetzer_clause — read, not installed
m.witness_read("yetzer_clause", "persistent_adversary_process",
                cites=["Kiddushin 30b:6", "Sukkah 52b:1", "Bava Batra 16a:8"])
# witness-tier presupposed read: theft_engineered_below_jurisdiction on
# chamas_trigger — read, not installed
m.witness_read("chamas_trigger", "theft_engineered_below_jurisdiction",
                cites=["Jerusalem Talmud Bava Metzia 4:2:2", "Sanhedrin 108a:12"])

# -------------------------- 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"])
# witness-grounded state (its own tier): polarity_dispute_regret_or_solace
# on vayinachem
m.witness_state("vayinachem", "polarity_dispute_regret_or_solace",
                cites=["Bereshit Rabbah 27:4", "Sanhedrin 108a:15", "Sifrei Devarim 326:1"])

# -------------------------- 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")
# witness-tier presupposed read: animals_included_and_earth_strayed on
# emcheh_scope — read, not installed
m.witness_read("emcheh_scope", "animals_included_and_earth_strayed",
                cites=["Bereshit Rabbah 28:6", "Bereshit Rabbah 28:8", "Bereshit Rabbah 28:3"])

# -------------------------- 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")
# witness-grounded state (its own tier): direction_grade_and_ground_disputed
# on chen_found
m.witness_state("chen_found", "direction_grade_and_ground_disputed",
                cites=["Bereshit Rabbah 29:3", "Bereshit Rabbah 29:4", "Bereshit Rabbah 29:1", "Bereshit Rabbah 29:5"])

# -------------------------- 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
    assert sorted(m.WORLD["witnessed"]) == ['benei_ha_elohim', 'chen_found', 'larov', 'vayinachem']
    assert m.WORLD["witnessed"]['benei_ha_elohim']["cites"] == ['Bereshit Rabbah 26:5', 'Yoma 67b:7']
    assert all('identity_machloket_one_side_cursing' not in f for f in m.WORLD["facts"])
    assert m.WORLD["witnessed"]['chen_found']["cites"] == ['Bereshit Rabbah 29:3', 'Bereshit Rabbah 29:4', 'Bereshit Rabbah 29:1', 'Bereshit Rabbah 29:5']
    assert all('direction_grade_and_ground_disputed' not in f for f in m.WORLD["facts"])
    assert m.WORLD["witnessed"]['larov']["cites"] == ['Bava Batra 16b:6', 'Bereshit Rabbah 26:4']
    assert all('propagation_or_strife' not in f for f in m.WORLD["facts"])
    assert m.WORLD["witnessed"]['vayinachem']["cites"] == ['Bereshit Rabbah 27:4', 'Sanhedrin 108a:15', 'Sifrei Devarim 326:1']
    assert all('polarity_dispute_regret_or_solace' not in f for f in m.WORLD["facts"])
    assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('beshagam_clause', 'lawgiver_in_cipher'), ('lo_yadon', 'no_share_verdict_at_the_case_table'), ('hundred_twenty_years', 'grace_period_with_warning_function'), ('yetzer_clause', 'persistent_adversary_process'), ('chamas_trigger', 'theft_engineered_below_jurisdiction'), ('emcheh_scope', 'animals_included_and_earth_strayed')]
    assert m.WITNESS_READS[0]["cites"] == ['Chullin 139b:10']
    assert all('lawgiver_in_cipher' not in f for f in m.WORLD["facts"])
    assert 'beshagam_clause' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[1]["cites"] == ['Mishnah Sanhedrin 10:3', 'Tosefta Sanhedrin 13:1', 'Jerusalem Talmud Sanhedrin 10:3:3', 'Bereshit Rabbah 26:6']
    assert all('no_share_verdict_at_the_case_table' not in f for f in m.WORLD["facts"])
    assert 'lo_yadon' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[2]["cites"] == ['Mekhilta DeRabbi Yishmael, Tractate Shirah 5:8', 'Sifrei Devarim 43:31', 'Bereshit Rabbah 30:7']
    assert all('grace_period_with_warning_function' not in f for f in m.WORLD["facts"])
    assert 'hundred_twenty_years' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[3]["cites"] == ['Kiddushin 30b:6', 'Sukkah 52b:1', 'Bava Batra 16a:8']
    assert all('persistent_adversary_process' not in f for f in m.WORLD["facts"])
    assert 'yetzer_clause' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[4]["cites"] == ['Jerusalem Talmud Bava Metzia 4:2:2', 'Sanhedrin 108a:12']
    assert all('theft_engineered_below_jurisdiction' not in f for f in m.WORLD["facts"])
    assert 'chamas_trigger' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[5]["cites"] == ['Bereshit Rabbah 28:6', 'Bereshit Rabbah 28:8', 'Bereshit Rabbah 28:3']
    assert all('animals_included_and_earth_strayed' not in f for f in m.WORLD["facts"])
    assert 'emcheh_scope' not in m.WORLD["witnessed"]
    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.

Rendered 2026-08-30 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.