The flood prologue: the stolen verdict, the 120 years, the regret, the favor (6:1-8) MODEL · REV 4 · GATES GREEN
וַיִּנָּחֶם יְהוָה — וְנֹחַ מָצָא חֵן · va-yinachem YHWH — ve-Noach matza chen · 'and YHWH regretted' — 'and Noah found favor'
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,
ויהי כי החל האדם לרב על פני האדמה · va-yehi ki-hechel ha-adam la-rov al-pnei ha-adamah · when man began to multiply on the ground's face (etnachta arm)
ובנות ילדו להם · 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 |
| WITNESS_STATE | WITNESS(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:4 | witnessed |
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.
ויראו בני האלהים את בנות האדם כי טבת הנה · va-yiru vnei-ha-Elohim et-bnot ha-adam ki tovot henah · the seeing-that-good: creature subjects, human daughters (etnachta arm)
ויקחו להם נשים מכל אשר בחרו · 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 |
| WITNESS_STATE | WITNESS(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:7 | witnessed |
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.'
ויאמר יהוה לא ידון רוחי באדם לעלם בשגם הוא בשר · 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)
והיו ימיו מאה ועשרים שנה · 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 |
| WITNESS_READ | WITNESS-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:10 | witnessed |
| WITNESS_READ | WITNESS-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:6 | witnessed |
| WITNESS_READ | WITNESS-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:7 | witnessed |
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.
הנפלים היו בארץ בימים ההם וגם אחרי כן אשר יבאו בני האלהים אל בנות האדם וילדו להם · 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)
המה הגברים אשר מעולם אנשי השם · 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.
וירא יהוה כי רבה רעת האדם בארץ · va-yar YHWH ki rabbah raat ha-adam ba-aretz · YHWH saw: great was the evil of man (etnachta arm)
וכל יצר מחשבת לבו רק רע כל היום · 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 |
| WITNESS_READ | WITNESS-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:8 | witnessed |
| WITNESS_READ | WITNESS-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:12 | witnessed |
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.
וינחם יהוה כי עשה את האדם בארץ · va-yinachem YHWH ki-asah et-ha-adam ba-aretz · YHWH regretted that He had made man (etnachta arm)
ויתעצב אל לבו · 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 |
| WITNESS_STATE | WITNESS(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:1 | witnessed |
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.'
ויאמר יהוה אמחה את האדם אשר בראתי מעל פני האדמה · 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)
מאדם עד בהמה עד רמש ועד עוף השמים כי נחמתי כי עשיתם · 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 |
| WITNESS_READ | WITNESS-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:3 | witnessed |
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.
ונח · ve-Noach · but Noah (the rest falls after the name)
מצא חן בעיני יהוה · 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 |
| WITNESS_STATE | WITNESS(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:5 | witnessed |
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 |
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)
בְנֵי־הָאֱלֹהִים · (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.
אַרְכָא יְהִיבַת לְהוֹן מְאָה וְעַשְׂרִין שְׁנִין אִם יְתוּבוּן · 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.
נקרא כולו · 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
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
# 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")