The covenant and the bow: My bow I have set in the cloud (9:8-17) MODEL · REV 4 · GATES GREEN

unit gen_22_covenant_bow · Genesis 9:8-17 · derive logic_derived_v2_full_rule · phase C-22

⇄ verse view — this span in the scroll (trees + morphology) · ☰ all derived units

אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן — וְזָכַרְתִּי אֶת־בְּרִיתִי · et-qashti natati be-anan — ve-zakharti et-briti · 'My bow I have set in the cloud' — 'and I will remember My covenant'

Derived 2026-08-03 by the persistent derivation agent (freeze-after-review by the main loop — no agent freeze); fourth unit under the PIPELINE + DEBUT-MAP process and the agent's fifth and final unit before planned succession. REVIEW PASSED and FROZEN 2026-08-03 by the main loop: precedent quotes verified verbatim against the frozen units; twelve censuses independently re-run (covenant-saturation, negated cut-debut, bow/cloud/sign careers, remember 2-3, the bein x12 / brit x7 repetition counts, zero imperatives, Elohim-only speaker); glossing airtight; nothing invented. Precedents pulled verbatim before drafting: gen_16's 6:18 (the covenant-promise held as FACT — nothing pushed there, nothing pops here: the 6:18-to-9:9 arc is prose, the Stage E linker's covenant test case), gen_04's 1:14 sign-clause and gen_12's 4:15 mark (both fact-class — ASSIGN and INSTALL weighed and declined for the bow), gen_20's INVARIANT pledges (the public never-again pair), gen_12/gen_21's HANDLER (the letter's own when-then chain carries the memory-duty), gen_17's imminence-participle-as-fact (the aspect-ladder's first rung). Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (10 sequential fetches, Data/FETCHLOG.md — the buffer seats the MEMRA in God's place five times, keeps the covenant's self-pledged remembering ACTIVE against its own 8:1 precedent, loses the cut-play and the decree-echo, keeps 'MY bow'); trees from the DB's stored tree_json. EIGHTEENTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen22_prospective_2026-08-03.md): cache holds ZERO sources for Gen 9:8-17 — sixteenth tripwire in a row. INTERPRETER: ZERO extensions — thirteenth extension-free derivation candidate 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 (hinni_mekim_et_briti_itkhem, ve_lo_yikkaret_kol_basar_od).

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_22_covenant_bow_claims.json — 7 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_22_2026-08-08.md). CROWNS (chain-attested, DB-verified): (1) G22-04 the deficient generations: לדרת עולם ("for everlasting GENERATIONS," 9:12) — doubly defective, and the chain reads the missing letters twice over: R. Yudan (Bereshit Rabbah 35) — the defective spelling EXCLUDES the generations that needed no bow (Hezekiah's; the Great Assembly's; some add R. Shimon bar Yochai's); Rabbeinu Bachya — "לדרת defective, and immediately beside it את קשתי ('My bow'): the sign appears only in the deficient generations." SNAPSHOT: the bare stem locked. (2) G22-02/07 the covenant verb bare at both ends: והקמתי ("I will establish," 9:11) and הקמתי ("I have established," 9:17) both doubly defective per the precise books (one old book and the Yerushalmi read plene; the Ramah and Hilleli rule defective) — the frame opens and seals on the same bare spelling. (3) G22-01 בבהמה ("among the livestock," 9:10) — both bets dotted with dagesh (doubling dot). (4) G22-03 אשר אני ("which I am giving," 9:12) joined by maqqef (joining hyphen) as ruled; the note's other halves — no galgal, no paseq (the separator bar) — stay uninstrumented. (5) G22-05 בענני ("when I cloud a cloud," 9:14) — first nun with sheva alone: the Sepharad/Hilleli camp against the Zanvuki copy's sheva-patach; Radak's "lightened against custom" named. (6) G22-06 zaqef qatan ("small upright" pause) on the Name in the between-clause (9:16). DISCREPANCIES: none. INHERITANCE EDGES: none in span (checked absence; Isaiah 54:9's waters-of-Noah verse does not anchor here in the link index). READINGS: R. Yudan's and Bachya's readings ride inside G22-04 with their sources.

confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	The covenant and the bow (9:8-17): the triple-framed covenant-speech — 9:18 opens the sons-and-vineyard narrative (the next unit's seam). Inside: the frame opens (9:8), the aspect-ladder's first rung and the all-flesh partner-list (9:9-10), the ladder's second rung with the public never-again pair (9:11), the frame re-opens on the sign (9:12), the bow set in the cloud (9:13), the weather-wired memory-handler (9:14-15), the everlasting remembering (9:16), and the frame seals on the perfect (9:17). The unit ends with the machine's registers at rest and three standing structures: two invariants and a handler no event can retire.	established
B	Hebrew source + trees	All 10 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Tree facts: 9:8 [an eight-word frame verse, NO etnachta: God spoke to Noach and his sons]; 9:9 [behold, I AM ESTABLISHING — with you (etnachta) \| and with your seed after you]; 9:10 [every living soul with you (etnachta on the second with-you) \| from all that went OUT of the ark]; 9:11 [I WILL establish — no more cutting-off from the deluge's waters (etnachta on the deluge) \| and no more deluge to destroy the earth]; 9:12 [this is the sign I AM GIVING, between Me and you and every living soul (etnachta) \| for everlasting generations]; 9:13 [MY BOW I HAVE SET IN THE CLOUD (etnachta on the cloud) \| and it shall be a covenant-sign between Me and the earth]; 9:14 [when I cloud up a cloud over the earth (etnachta) \| the bow is seen in the cloud — and the sentence runs on ACROSS the verse-break]; 9:15 [THEN I remember My covenant... every living soul in all flesh (etnachta) \| and the waters shall never again become a deluge]; 9:16 [the bow in the cloud (etnachta) \| and I will SEE it, to REMEMBER the everlasting covenant — between ELOHIM, third person, and every living soul]; 9:17 [the seal: to Noach (etnachta) \| THIS is the sign of the covenant I HAVE ESTABLISHED].	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03); survey complete via the debut map (31 flagged lemmas), careers and precedents pulled before drafting. BRIT ('covenant') — tokens 2-8 of the word's first eight Torah tokens ALL in-span (token 1 = 6:18; tokens 9-10 = Abram's allies, the pieces-covenant): x7 in ten verses. The ESTABLISH-verb (QUM hiphil) climbs an ASPECT-LADDER: 9:9 MEKIM (participle — 'I AM establishing'; the imminence-participle class, TIR-031, gen_17's anokhi-mamtir precedent), 9:11 VA-HAKIMOTI (weqatal — 6:18's EXACT form re-sounded; TIR-029, gen_16's own class), 9:17 HAKIMOTI (perfect — 'I HAVE established'): no narrative and-then form anywhere — the establishment lives entirely in speech-grammar [letter fact]; and QUM token 1 = 4:8, Cain RISING against his brother: the verb's career runs from the murder's rise to the covenant's raising. A SECOND aspect-pair rides the give-verb: 9:12 ANI NOTEN (participle) -> 9:13 NATATI (perfect — gen_21's performative class). 9:11 KARAT ('cut') — TORAH TOKEN 1, NEGATED [crown]: VE-LO YIKKARET ('all flesh shall not be CUT OFF') — the verb that will seal every covenant (likhrot brit from 15:18 on) is born refusing a cutting-off, inside a covenant ESTABLISHED, not cut; and the decree's own destroy-verb quoted in the negation: LE-SHACHET — SHACHAT tokens 6-7 after the 6:11-6:17 corruption cluster: the flood's verb survives only inside never-again; MABUL tokens 6-8 — its last divine-speech tokens (9-12 are narrator memory-lines). 9:12-17 OT ('sign') tokens 3-5 — token 1 = 1:14's calendar-signs (gen_04: the weqatal job-list), token 2 = 4:15's Cain-mark (gen_12: a HOLDS fact), token 6 = 17:11's circumcision: the sign-word's early life is all marks-that-mean. 9:13 QESHET ('bow') tokens 1-3 of 7 in-span — every later Torah token is WEAPONRY (Hagar's bowshot, Esau's hunting bow, Jacob's sword-and-bow, the archer's bow): the only non-weapon bows in the Torah hang in this cloud. ANAN ('cloud') tokens 1-4 of 51 — tokens 5+ are THE PILLAR OF CLOUD and Sinai: the sign's canvas becomes the Presence's vehicle [the cloud-VERB be-anni shares a lemma with the soothsayer-word me'onen — lemma-share only, no claim]. 9:14-15 the WHEN-THEN chain: VE-HAYAH BE-ANNI ANAN... VE-NIREATAH HA-QESHET... VE-ZAKHARTI ('and it shall be, WHEN I cloud up a cloud... AND the bow is seen... THEN I will REMEMBER') — the letter's own conditional grammar, running ACROSS the verse-break [tree fact]; ZAKHAR ('remember') tokens 2-3 — FROZEN gen_19's logged career prediction ('the rainbow covenant 9:15-16') LANDS; 9:16 U-REITIHA LI-ZEKOR BRIT OLAM ('and I will SEE it, to REMEMBER the everlasting covenant') — the week's inspection verb aimed at His own sign, and the parties named in the THIRD PERSON inside His own speech ('between ELOHIM and every living soul') [letter fact, held]. The repetition-table is the letter's own structure: BRIT x7, BEIN ('between') x12, CHAYAH x6, BASAR x5, NEFESH x4, OT x3, QUM x3, MABUL x3, OD x3, OLAM x2, under a TRIPLE VA-YOMER ELOHIM frame (9:8, 9:12, 9:17). Speaker ELOHIM only (x4; zero YHWH; zero imperatives — verified). Frame details: HINNI token 4 — token 3 was 6:13's ve-hinni announcing the flood: the same behold-I announces the covenant; DOR token 3 (le-dorot olam) after 6:9/7:1's Noach-generations; OLAM tokens 4-5 after Eden's live-forever, the 120, the men of old; ZARAKHEM ('your SEED') carries the 3:15 thread into covenant; the partners include the ANIMALS — kol nefesh chayah x4, with 9:10's roster 'from all that went OUT of the ark' (the ark's one token: read, flagged). NO date in span.	tested
D	Predicates & outcomes	The unit is the flood-story's counter-decree in full dress: what 8:21 said to His own heart is here said to faces, widened to every living soul, tied to a visible object, and wired to a mechanism — when the weather that once killed returns, the retired weapon appears, and God reads His own sign and remembers. The letter builds it as ring (three speech-acts) and ladder (doing -> done, twice), keeps the animals inside the treaty, and spends its two sharpest surprises on grammar: the covenant-cutting verb born refusing a cutting-off, and God speaking of Himself in the third person at the pledge's deepest point. The machine ends at rest with three standing structures no event can retire — and its emptiness elsewhere (no demand, no test, no clock) is the letter's own shape.	tested
E	Logic format choice	Operator lines; NO ledger row. EVENTS: exactly three — the letter's own frame (speak x3: 9:8, 9:12, 9:17; wayyiqtol- class and-then forms, the span's only narrative verbs). THE ASPECT-LADDER AS FACTS in three grammars [decision recorded, precedents quoted]: 9:9 participle -> PRECONDITION_STATE with TIR-031 (gen_17's anokhi-mamtir class); 9:11 weqatal -> PRECONDITION_STATE with TIR-029 (gen_16's OWN encoding of the same verb at 6:18: 'HOLDS(va_hakimoti_et_briti_itakh, t1)' — quoted); 9:17 perfect -> PRECONDITION_STATE (completion). STANDALONE DISCIPLINE: gen_16 held 6:18 as a FACT — nothing was pushed, nothing pops here; the 6:18-to-9:9 arc is prose + [OPEN] (the Stage E linker's covenant test case). The NEVER-AGAIN PAIR as INVARIANT x2 (gen_20's class — the interior pledges' PUBLIC edition; delta named: 8:21 el-libo, 9:11 to Noach and sons); 9:15's re-sounding held as FACT (the pledge inside the mechanism). THE MEMORY-DUTY as HANDLER (gen_12's class: 'HANDLER IF(horeg(kayin)) THEN(shivatayim_yukam)' — quoted): the letter's when-then weqatal chain decides for HANDLER over INVARIANT — IF(I cloud up AND the bow is seen) THEN(I remember) [decision recorded; the chain crosses the 9:14/9:15 break — the HANDLER sits on the IF-verse, the THEN-verse holds the facts]. THE BOW-SIGN AS FACTS ONLY [decisions recorded]: ASSIGN declined (gen_12's mark was a HOLDS fact — 'HOLDS(ot_le_kayin_levilti_hakot(kayin), t2)' — quoted; gen_04's sign-clause was job-list content; no office-binding syntax here); INSTALL declined (the install precedents — city, ark, altar — are BUILDS with build-verbs; the bow is GIVEN, 'My bow', a possession stationed: the mark's va-yasem class); NATATI as performative-perfect fact (gen_21's class). NO TEST, NO SPECS traffic (zero imperatives), t0 EMPTY. NOTE_PRESUPPOSED: noach, banav, tevah. Interpreter extensions: NONE.	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: hinni_mekim_et_briti_itkhem, va_hakimoti_et_briti_itkhem, ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul, ve_lo_yihyeh_od_mabul_le_shachet_ha_aretz, et_qashti_natati_be_anan, be_anni_anan_ve_nireatah_ha_qeshet, ve_zakharti_et_briti, zot_ot_ha_brit_asher_hakimoti.	established
G	Oral (named only) + Tier-A translation check	Named but NOT read (cache: zero for Gen 9:8-17 — sixteenth tripwire; gen_22 Tier-A queue): Bavli Berakhot 59a (the blessing on seeing the bow — liturgy from 9:16's seeing); Bavli Chagigah 16a and Ketubot 77b (gazing at the bow; the generations that needed none); Bereshit Rabbah 35 (the span; the defective le-dorot spelling; the exempt generations); Rashi at 9:12, 9:14, 9:16. Tier-A Onkelos (10 fetches, FETCHLOG 2026-08-03): THE MEMRA TAKES GOD'S SEAT x5 — 'between ME' -> 'between MY WORD' (9:12, 9:13, 9:15, 9:17) and 9:16's third-person 'between ELOHIM' -> 'between the WORD of the LORD': the covenant's divine party systematically replaced (flagged; the machine's parties stand on the letter). AGAINST its own 8:1 precedent, the buffer keeps the covenant's self-pledged remembering ACTIVE (u-dekhirna, 'I will remember'; ve-echazinnah, 'I will see it' — first person kept): narration about God softened, God's own promises kept in His mouth (class-contrast noted). The cut-play lost (yikkaret -> 'be destroyed', no cut-cognate) and the decree-echo lost (le-shachet -> 'to ruin'). The aspect-ladder SURVIVES in Aramaic grammar (participle -> future -> perfect); the give-pair survives; 'MY bow' KEPT (kashti — no dodge); brit -> KEYAM (as at gen_16's 6:18); mabul -> tofana; Elohim -> YY at all three frames (the leveling's fifth running span); the triple frame intact.	tested
H	Scenarios	S1 the frame opens: three read-flags, queue empty. S2 the ladder's first rung holds (participle-fact). S3 the second rung + BOTH public invariants active. S4 the bow-facts hold (set + sign-office). S5 the handler installed (the when-then chain on the books). S6 the remember-facts hold (gen_19's prediction landed). S7 the seal: the perfect-rung fact holds, queue still empty end to end. S8_negative: LET? contract guard; S9_negative: flag-never-block.	tested
I	English leakage review	Operators derive from morph codes (the three wayyiqtol- class frames; participle/weqatal/perfect ladder mapping; the when-then weqatal chain; zero imperatives verified) and the complete debut-map survey plus precedent pulls run BEFORE drafting (brit / qum / karat / qeshet / anan / ot / zakhar / shachat / mabul / dor / olam / hinni careers; the repetition table; the 6:18, 8:21, 1:14, 4:15 compares; the speaker and date zero-scans). NOT supplied: why the sign is a weapon, the le-dorot spelling teachings, the bow-blessing liturgy, the third-person turn's meaning, or any cross-wall receipt of 6:18 — every one [OPEN] or named-only; the Memra substitutions stay dual-track.	established
J	Pre-flight + freeze-after-review (agent derivation)	Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes; GREEN (10/10 steps, 9/9 scenarios, 17/17 clause checks). The agent delivered status DRAFT; the MAIN LOOP verified every precedent quote and twelve censuses independently, and froze on a passing review — freeze-after-review #5. Changes henceforth require an amend order, not silent edits.	established

Boot steps — the operator lines (hand-derived, owner-approved)

STEP_Gn_9_8 · Gen.9.8 · THE_TRIPLE_FRAME_OPENS

וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו אִתּוֹ לֵאמֹר · va-yomer Elohim el-Noach ve-el-banav ito lemor · [EN-AID/JPS] And God spoke unto Noah, and to his sons with him, saying:

LEFT
ויאמר אלהים · va-yomer Elohim · and God said (top split — an eight-word frame verse, no etnachta)

RIGHT
אל נח ואל בניו אתו לאמר · el-Noach ve-el-banav ito lemor · to Noach and to his sons with him, saying

operator	expression	Hebrew anchor	cites	confidence
EVENT	speak(e1) ∧ Agent(e1, elohim) ∧ Theme(e1, el_noach_ve_el_banav) = speak(e1) ∧ Agent(e1, God) ∧ Theme(e1, to-Noach-and-to-banav) FRAME ONE of three: the covenant comes in a TRIPLE va-yomer frame (9:8 opens, 9:12 re-opens, 9:17 seals — one covenant, three speech-acts; the frames are the span's ONLY narrative verbs). The addressees are plural — Noach AND his sons: the covenant's human party is a family [letter fact]. Speaker ELOHIM (the fifth Elohim-toned span since 8:1; zero YHWH tokens — verified) [Onkelos levels to the LORD-name at all three frames — dual-track].	וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו אִתּוֹ · va-yomer Elohim el-Noach ve-el-banav ito = He-said God to-Noach and-to-banav with-him	—	tested
NOTE_PRESUPPOSED	noach, banav, tevah are READ without prior install (the family, and the ark read once at 9:10s roster) = Noach, banav, ark are READ without prior install (the family, and the ark read once at 9:10s roster) flag, not fix	—	—	tested
WITNESS_STATE	WITNESS(address_widened, demotion_or_elevation) = WITNESS(address-widened, demotion-light-elevation) WHY 'AND HIS SONS'? A POLARITY DISPUTE [claim G22-11]. R. Yehuda reads the widened address as a DEMOTION - because he broke the order about resuming procreation, the speech is no longer his alone. R. Nechemya reads it as an ELEVATION - his abstinence earned his sons a share in the address. The same change to an operator's addressee list is read as punishment at one seat and reward at the other. [folded shape: recorded dispute]	—	Bereshit Rabbah 35:1	witnessed

The frame is the plot: what happens in this span is that God says, says again, and says it is done.

STEP_Gn_9_9 · Gen.9.9 · I_AM_ESTABLISHING

וַאֲנִי הִנְנִי מֵקִים אֶת־בְּרִיתִי אִתְּכֶם וְאֶת־זַרְעֲכֶם אַחֲרֵיכֶם · va-ani hinni mekim et-briti itkhem ve-et-zarakhem achareikhem · [EN-AID/JPS] 'As for Me, behold, I establish My covenant with you, and with your seed after you;

LEFT
ואני הנני מקים את בריתי אתכם · va-ani hinni mekim et-briti itkhem · behold, I AM ESTABLISHING My covenant with you (etnachta arm)

RIGHT
ואת זרעכם אחריכם · ve-et-zarakhem achareikhem · and with your seed after you

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(hinni_mekim_et_briti_itkhem, t1) = HOLDS(hinni-mekim-obj-marker·et-My-covenant-itkhem, t1) THE ASPECT-LADDER'S FIRST RUNG: HINNI MEKIM — 'behold, I AM ESTABLISHING' (participle: the present act; the imminence-participle class, TIR-031 — gen_17's anokhi-mamtir precedent holds it as FACT). HINNI ('behold, I') token 4 — token 3 was 6:13's ve-hinni announcing the flood: the same behold-I now announces the covenant [letter fact]. BRIT token 2 — tokens 2-8 of the word's first eight all in this span (token 1 = 6:18's promise, held by frozen gen_16 as FACT: nothing pushed there, nothing pops here — the 6:18-to-9:9 arc is prose until Stage E [OPEN — cross-unit]). QUM's token 1 is 4:8 — Cain RISING against his brother: the establish-verb's career runs murder to covenant. ZARAKHEM ('your SEED') — 3:15's word made a covenant party.	הִנְנִי מֵקִים אֶת־בְּרִיתִי אִתְּכֶם וְאֶת־זַרְעֲכֶם · hinni mekim et-briti itkhem ve-et-zarakhem = hinni mekim obj-marker·et-My-covenant itkhem and-obj-marker·et-zarakhem	TIR-031	tested

The verb that once rose to kill now rises to promise — in the present tense, to faces.

STEP_Gn_9_10 · Gen.9.10 · EVERY_LIVING_SOUL_A_PARTY

וְאֵת כָּל־נֶפֶשׁ הַחַיָּה אֲשֶׁר אִתְּכֶם בָּעוֹף בַּבְּהֵמָה וּבְכָל־חַיַּת הָאָרֶץ אִתְּכֶם מִכֹּל יֹצְאֵי הַתֵּבָה לְכֹל חַיַּת הָאָרֶץ · ve-et kol-nefesh ha-chayah asher itkhem ba-of ba-behemah u-ve-khol-chayat ha-aretz itkhem mi-kol yotzei ha-tevah le-khol chayat ha-aretz · [EN-AID/JPS] and with every living creature that is with you, the fowl, the cattle, and every beast of the earth with you; of all that go out of the ark, even every beast of the earth.

LEFT
ואת כל נפש החיה אשר אתכם בעוף בבהמה ובכל חית הארץ אתכם · ve-et kol-nefesh ha-chayah asher itkhem ba-of ba-behemah u-ve-khol-chayat ha-aretz itkhem · and with every living soul with you — bird, cattle, beast (etnachta arm)

RIGHT
מכל יצאי התבה לכל חית הארץ · mi-kol yotzei ha-tevah le-khol chayat ha-aretz · from all that went OUT of the ark, to every beast of the earth

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_et_kol_nefesh_ha_chayah_asher_itkhem, t1) = HOLDS(and-obj-marker·et-all-soul-of-the-beast-which-itkhem, t1) The partner-list: EVERY LIVING SOUL — bird, cattle, beast — 'from all that WENT OUT of the ark': the covenant's parties include the ANIMALS (kol nefesh chayah — x4 across the span; the exit-roster of 8:19 becomes a treaty roster). The ark is read once here (yotzei ha-tevah — flagged presupposed) [letter facts].	וְאֵת כָּל־נֶפֶשׁ הַחַיָּה אֲשֶׁר אִתְּכֶם … מִכֹּל יֹצְאֵי הַתֵּבָה · ve-et kol-nefesh ha-chayah asher itkhem … mi-kol yotzei ha-tevah = obj-marker·et all-soul-of beast which itkhem all yotzei ark	—	tested

The treaty's signature page lists every heartbeat that walked down the ramp.

STEP_Gn_9_11 · Gen.9.11 · THE_CUT_VERB_BORN_REFUSING

וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתְּכֶם וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד מִמֵּי הַמַּבּוּל וְלֹא־יִהְיֶה עוֹד מַבּוּל לְשַׁחֵת הָאָרֶץ · va-hakimoti et-briti itkhem ve-lo-yikkaret kol-basar od mi-mei ha-mabul ve-lo-yihyeh od mabul le-shachet ha-aretz · [EN-AID/JPS] And I will establish My covenant with you; neither shall all flesh be cut off any more by the waters of the flood; neither shall there any more be a flood to destroy the earth.'

LEFT
והקמתי את בריתי אתכם ולא יכרת כל בשר עוד ממי המבול · va-hakimoti et-briti itkhem ve-lo-yikkaret kol-basar od mi-mei ha-mabul · I WILL establish — no more cutting-off by the deluge's waters (etnachta arm)

RIGHT
ולא יהיה עוד מבול לשחת הארץ · ve-lo-yihyeh od mabul le-shachet ha-aretz · and never again a deluge to destroy the earth

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_hakimoti_et_briti_itkhem, t1) = HOLDS(and-I-will-establish-obj-marker·et-My-covenant-itkhem, t1) THE LADDER'S SECOND RUNG: VA-HAKIMOTI — 6:18's EXACT FORM re-sounded (weqatal, TIR-029), now plural (itkhem, 'with YOU ALL' — 6:18's itakh was singular): frozen gen_16 encoded the same verb-form as 'HOLDS(va_hakimoti_et_briti_itakh, t1)' — the class matched, the promise now spoken past the flood it preceded [near-verbatim + named delta: singular -> plural].	וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתְּכֶם · va-hakimoti et-briti itkhem = I-will-establish obj-marker·et-My-covenant itkhem	TIR-029	tested
INVARIANT	INVARIANT(ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul) during t1 = INVARIANT(and-not-yikkaret-all-flesh-still/again-from-waters-of-the-deluge) during t1 NEVER-AGAIN, PUBLIC EDITION #1 — and a crown-class debut inside it: KARAT ('cut') — TORAH TOKEN 1, NEGATED: the verb that will seal every covenant (likhrot brit, 'to CUT a covenant', from 15:18 on) is born refusing a cutting-off, inside a covenant that is ESTABLISHED, not cut [letter fact; Onkelos renders 'be destroyed' — the cut-play does not survive; dual-track]. The INVARIANT class per gen_20 — 8:21's pair was said to His heart; this one to Noach and his sons: the interior pledge made public [delta named].	וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד מִמֵּי הַמַּבּוּל · ve-lo-yikkaret kol-basar od mi-mei ha-mabul = and-not-yikkaret all-flesh still/again waters-of deluge	—	tested
INVARIANT	INVARIANT(ve_lo_yihyeh_od_mabul_le_shachet_ha_aretz) during t1 = INVARIANT(and-not-yihyeh-still/again-deluge-to-destroy-the-earth) during t1 NEVER-AGAIN #2: no deluge again, EVER — with the decree's own destroy-verb quoted inside the negation: LE-SHACHET — SHACHAT tokens 6-7 (after the 6:11-6:17 corruption/destroy cluster): the flood's verb survives only inside never-again. MABUL tokens 6-8 in-span — the deluge-word's LAST divine-speech tokens (its remaining four are narrator memory-lines).	וְלֹא־יִהְיֶה עוֹד מַבּוּל לְשַׁחֵת הָאָרֶץ · ve-lo-yihyeh od mabul le-shachet ha-aretz = and-not-yihyeh still/again deluge destroy earth	—	tested

The covenant's first clause is a grammar joke with teeth: the cutting verb, uncut; the flooding word, retired.

STEP_Gn_9_12 · Gen.9.12 · THE_FRAME_REOPENS_ON_THE_SIGN

וַיֹּאמֶר אֱלֹהִים זֹאת אוֹת־הַבְּרִית אֲשֶׁר־אֲנִי נֹתֵן בֵּינִי וּבֵינֵיכֶם וּבֵין כָּל־נֶפֶשׁ חַיָּה אֲשֶׁר אִתְּכֶם לְדֹרֹת עוֹלָם · va-yomer Elohim zot ot-ha-brit asher-ani noten beini u-veineikhem u-vein kol-nefesh chayah asher itkhem le-dorot olam · [EN-AID/JPS] And God said: 'This is the token of the covenant which I make between Me and you and every living creature that is with you, for perpetual generations:

LEFT
ויאמר אלהים זאת אות הברית אשר אני נתן ביני וביניכם ובין כל נפש חיה אשר אתכם · va-yomer Elohim zot ot-ha-brit asher-ani noten beini u-veineikhem u-vein kol-nefesh chayah asher itkhem · frame two: THIS is the covenant-sign I AM GIVING, between Me and you and every living soul (etnachta arm)

RIGHT
לדרת עולם · le-dorot olam · for everlasting generations

operator	expression	Hebrew anchor	cites	confidence
EVENT	speak(e2) ∧ Agent(e2, elohim) ∧ Theme(e2, zot_ot_ha_brit) = speak(e2) ∧ Agent(e2, God) ∧ Theme(e2, this-sign-of-the-brit) FRAME TWO: the speech re-opens to name the SIGN. OT ('sign') token 3 — token 1 = 1:14's calendar-signs, token 2 = 4:15's Cain-mark, token 6 = 17:11's circumcision: the sign-word's early career is all marks-that-mean [letter fact].	וַיֹּאמֶר אֱלֹהִים זֹאת אוֹת־הַבְּרִית · va-yomer Elohim zot ot-ha-brit = He-said God this sign-of-the-brit	—	tested
PRECONDITION_STATE	HOLDS(ani_noten_beini_u_veineikhem_le_dorot_olam, t1) = HOLDS(I-giving-beini-and-veineikhem-to-generations-of-everlasting, t1) The give-verb's OWN ladder begins: ANI NOTEN — 'I AM GIVING' (participle; the perfect follows at 9:13). The span's between-word begins its dozen: BEIN x12 in ten verses — the covenant is drawn as a web of betweens. LE-DOROT OLAM ('for everlasting generations') — DOR token 3 after 6:9/7:1's Noach-generations; OLAM tokens 4-5 after Eden's live-forever, the 120-year limit, the men of old [the chain's defective-spelling teaching on le-dorot is named-only].	אֲשֶׁר־אֲנִי נֹתֵן בֵּינִי וּבֵינֵיכֶם … לְדֹרֹת עוֹלָם · asher-ani noten beini u-veineikhem … le-dorot olam = which-I giving beini and-veineikhem generations-of everlasting	—	tested
WITNESS_READ	WITNESS-READ(ledorot_clause, exemptions_written_in_the_missing_letters) = WITNESS-READ(ledorot-clause, exemptions-written-in-the-missing-letters) THE DURATION PARAMETER CARRIES ITS EXCEPTIONS IN THE INK [claim G22-08, machine-checked]. The covenant sign is given לְדֹרֹת (le-dorot, 'for generations') - written DOUBLY DEFECTIVE, lacking both vav letters, and machine-checked at derivation as standing in the Torah exactly ONCE, here. The chain reads the missing letters as generations that needed no rainbow, and names them: the generation of Hezekiah, and the men of the Great Assembly. [folded shape: ink count]	—	Bereshit Rabbah 35:2	witnessed

The second saying gives the covenant a face it can be recognized by, for as long as generations run.

STEP_Gn_9_13 · Gen.9.13 · MY_BOW_IN_THE_CLOUD

אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן וְהָיְתָה לְאוֹת בְּרִית בֵּינִי וּבֵין הָאָרֶץ · et-qashti natati be-anan ve-haytah le-ot brit beini u-vein ha-aretz · [EN-AID/JPS] I have set My bow in the cloud, and it shall be for a token of a covenant between Me and the earth.

LEFT
את קשתי נתתי בענן · et-qashti natati be-anan · MY BOW I have set in the cloud (etnachta arm)

RIGHT
והיתה לאות ברית ביני ובין הארץ · ve-haytah le-ot brit beini u-vein ha-aretz · and it shall be a covenant-sign between Me and the earth

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(et_qashti_natati_be_anan, t1) ∧ HOLDS(ve_haytah_le_ot_brit_beini_u_vein_ha_aretz, t1) = HOLDS(obj-marker·et-qashti-I-have-set-in-cloud, t1) ∧ HOLDS(and-haytah-to-sign-of-brit-beini-and-vein-the-earth, t1) THE BOW-SIGN, held as FACTS on the sign-precedents [decisions recorded]: NATATI — 'I HAVE SET' (the give-ladder's perfect rung; gen_21's performative class) — and VE-HAYTAH LE-OT ('and it shall be for a sign') — 1:14's own weqatal sign-syntax (gen_04's job-list class); ASSIGN declined (gen_12's Cain-mark was a HOLDS fact, and this is the mark's va-yasem class: a sign SET, not an office bound); INSTALL declined (city, ark, altar were BUILDS; the bow is 'MY bow' — a possession stationed, not a thing made). QESHET ('bow') tokens 1-3 of 7 in-span — every later Torah token is WEAPONRY (Hagar's bowshot, Esau's hunting bow, Jacob's sword-and-bow, the archer's): the only non-weapon bows in the Torah hang in this cloud. ANAN ('cloud') tokens 1-4 — tokens 5+ are THE PILLAR OF CLOUD and Sinai: the sign's canvas becomes the Presence's vehicle [letter facts; Onkelos keeps 'MY bow' but seats the Memra in the between-clause — dual-track, flagged].	אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן וְהָיְתָה לְאוֹת בְּרִית · et-qashti natati be-anan ve-haytah le-ot brit = obj-marker·et-qashti I-have-set cloud and-haytah sign-of brit	—	tested
WITNESS_READ	WITNESS-READ(bow_sign, placed_not_made) = WITNESS-READ(bow-sign, placed-not-made) THE SIGN PREDATES THE COVENANT THAT USES IT [claim G22-09]. A canonical case-table row counts the rainbow among the TEN THINGS CREATED AT TWILIGHT on the eve of the first Sabbath - so here the bow is PLACED, not made, and this operator installs a pointer to an object created in an earlier unit's final moments. The same object heads a ten-member census of covenant-bearing things, ours the first, with circumcision, the Sabbath, Torah study, the release of slaves, the priesthood and the kingship following. [folded shape: cross-corpus link]	—	Pirkei Avot 5:6, Mekhilta DeRabbi Shimon Ben Yochai 31:6	witnessed

A weapon is hung up butt-forward in the weather that did the killing: the sign is an armistice made visible.

STEP_Gn_9_14 · Gen.9.14 · THE_WEATHER_WIRED_HANDLER

וְהָיָה בְּעַנְנִי עָנָן עַל־הָאָרֶץ וְנִרְאֲתָה הַקֶּשֶׁת בֶּעָנָן · ve-hayah be-anni anan al-ha-aretz ve-nireatah ha-qeshet be-anan · [EN-AID/JPS] And it shall come to pass, when I bring clouds over the earth, and the bow is seen in the cloud,

LEFT
והיה בענני ענן על הארץ · ve-hayah be-anni anan al-ha-aretz · when I cloud up a cloud over the earth (etnachta arm)

RIGHT
ונראתה הקשת בענן · ve-nireatah ha-qeshet be-anan · and the bow is seen in the cloud —

operator	expression	Hebrew anchor	cites	confidence
HANDLER	HANDLER IF(be_anni_anan_ve_nireatah_ha_qeshet) THEN(ve_zakharti_et_briti) = HANDLER IF(in-anni-cloud-and-nireatah-the-bow) THEN(and-I-will-remember-obj-marker·et-My-covenant) THE MEMORY-DUTY AS STANDING LAW-GRAMMAR — the letter's own when-then weqatal chain: WHEN I cloud up a cloud over the earth AND the bow is seen in the cloud, THEN I will REMEMBER My covenant — gen_12's HANDLER class matched ('HANDLER IF(horeg(kayin)) THEN(shivatayim_yukam)'): a trigger, a consequence, standing forever; HANDLER chosen over INVARIANT because the letter gives an explicit conditional [decision recorded]. The sentence runs ACROSS the 9:14/9:15 verse-break [tree fact] — the IF sits here, the THEN's facts land in the next step. God wires His own remembering to the WEATHER: the cloud that will carry the Presence (the pillar, Sinai — anan's very next tokens) here carries the reminder [the cloud-verb be-anni shares a lemma with the soothsayer-word — lemma-share only, no claim].	וְהָיָה בְּעַנְנִי עָנָן … וְנִרְאֲתָה הַקֶּשֶׁת … וְזָכַרְתִּי · ve-hayah be-anni anan … ve-nireatah ha-qeshet … ve-zakharti = was in-anni cloud and-nireatah bow I-will-remember	TIR-029	tested

The mechanism is meteorological: the sky that broke the world is re-plumbed to jog the memory of its Judge.

STEP_Gn_9_15 · Gen.9.15 · THE_REMEMBERING_PLEDGED

וְזָכַרְתִּי אֶת־בְּרִיתִי אֲשֶׁר בֵּינִי וּבֵינֵיכֶם וּבֵין כָּל־נֶפֶשׁ חַיָּה בְּכָל־בָּשָׂר וְלֹא־יִהְיֶה עוֹד הַמַּיִם לְמַבּוּל לְשַׁחֵת כָּל־בָּשָׂר · ve-zakharti et-briti asher beini u-veineikhem u-vein kol-nefesh chayah be-khol-basar ve-lo-yihyeh od ha-mayim le-mabul le-shachet kol-basar · [EN-AID/JPS] that I will remember My covenant, which is between Me and you and every living creature of all flesh; and the waters shall no more become a flood to destroy all flesh.

LEFT
וזכרתי את בריתי אשר ביני וביניכם ובין כל נפש חיה בכל בשר · ve-zakharti et-briti asher beini u-veineikhem u-vein kol-nefesh chayah be-khol-basar · THEN I remember My covenant — Me, you, every living soul in all flesh (etnachta arm)

RIGHT
ולא יהיה עוד המים למבול לשחת כל בשר · ve-lo-yihyeh od ha-mayim le-mabul le-shachet kol-basar · and the waters shall never again become a deluge to destroy all flesh

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_zakharti_et_briti_beini_u_veineikhem, t1) ∧ HOLDS(ve_lo_yihyeh_od_ha_mayim_le_mabul, t1) = HOLDS(and-I-will-remember-obj-marker·et-My-covenant-beini-and-veineikhem, t1) ∧ HOLDS(and-not-yihyeh-still/again-the-waters-to-deluge, t1) THE THEN-CLAUSE LANDS: VE-ZAKHARTI — 'and I will REMEMBER My covenant': ZAKHAR token 2 — FROZEN gen_19's logged career prediction ('the rainbow covenant 9:15-16') LANDS at the verb's very next token after its 8:1 debut [frozen-unit prediction landing]. And the never-again re-sounded INSIDE the mechanism (the pledge as the remembering's outcome — 9:11's invariant quoted back; held as fact, the standing constraint already on the books) [letter fact; Onkelos keeps this self-pledged remembering ACTIVE, against its own 8:1 mindful-state precedent — class-contrast noted, dual-track].	וְזָכַרְתִּי אֶת־בְּרִיתִי … וְלֹא־יִהְיֶה עוֹד הַמַּיִם לְמַבּוּל · ve-zakharti et-briti … ve-lo-yihyeh od ha-mayim le-mabul = I-will-remember obj-marker·et-My-covenant and-not-yihyeh still/again waters deluge	—	tested
WITNESS_READ	WITNESS-READ(never_again_oath, standing_law_with_disputed_scope) = WITNESS-READ(never-again-oath, standing-law-with-disputed-scope) AN OATH RELIED ON AS LIVE LAW, AND ARGUED OVER [claim G22-10]. The pious man will not pray against rain, 'for we are certain the Place brings no flood' - this verse cited as legal ground. At Sinai's thunder the nations ask whether He is flooding the world and are answered from it. But what the oath does NOT foreclose is disputed: R. Meir holds a flood of FIRE AND BRIMSTONE remains possible, the guarantee covering water alone. [folded shape: priced law]	—	Tosefta Ta'anit 2:11, Sifrei Devarim 343:9	witnessed

The covenant remembers forward: every storm that ends in a bow is a scheduled act of memory.

STEP_Gn_9_16 · Gen.9.16 · TO_REMEMBER_THE_EVERLASTING

וְהָיְתָה הַקֶּשֶׁת בֶּעָנָן וּרְאִיתִיהָ לִזְכֹּר בְּרִית עוֹלָם בֵּין אֱלֹהִים וּבֵין כָּל־נֶפֶשׁ חַיָּה בְּכָל־בָּשָׂר אֲשֶׁר עַל־הָאָרֶץ · ve-haytah ha-qeshet be-anan u-reitiha li-zekor brit olam bein Elohim u-vein kol-nefesh chayah be-khol-basar asher al-ha-aretz · [EN-AID/JPS] And the bow shall be in the cloud; and I will look upon it, that I may remember the everlasting covenant between God and every living creature of all flesh that is upon the earth.'

LEFT
והיתה הקשת בענן · ve-haytah ha-qeshet be-anan · and the bow shall be in the cloud (etnachta arm)

RIGHT
וראיתיה לזכר ברית עולם בין אלהים ובין כל נפש חיה בכל בשר אשר על הארץ · u-reitiha li-zekor brit olam bein Elohim u-vein kol-nefesh chayah be-khol-basar asher al-ha-aretz · and I will SEE it, to REMEMBER the everlasting covenant — between ELOHIM and every living soul

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(u_reitiha_li_zekor_brit_olam, t1) = HOLDS(and-reitiha-to-me-zekor-brit-everlasting, t1) The everlasting rung: U-REITIHA — 'and I will SEE it' (the week's inspection verb aimed at His own sign) — LI-ZEKOR BRIT OLAM ('to REMEMBER the everlasting covenant'): ZAKHAR token 3 — the memory-duty made purposive. And the letter's strangest turn: the parties named in the THIRD PERSON inside God's own speech — 'between ELOHIM and every living soul' [letter fact, held; the chain's readings named-only; Onkelos re-seats it as 'between the WORD of the LORD' — the third-person turn absorbed into the Memra; dual-track, flagged].	וּרְאִיתִיהָ לִזְכֹּר בְּרִית עוֹלָם בֵּין אֱלֹהִים וּבֵין כָּל־נֶפֶשׁ חַיָּה · u-reitiha li-zekor brit olam bein Elohim u-vein kol-nefesh chayah = and-reitiha remember brit everlasting between God and-vein all-soul-of beast	—	tested

At the pledge's deepest point the speaker steps outside His own name and countersigns as a third party.

STEP_Gn_9_17 · Gen.9.17 · THE_SEAL_I_HAVE_ESTABLISHED

וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי בֵּינִי וּבֵין כָּל־בָּשָׂר אֲשֶׁר עַל־הָאָרֶץ · va-yomer Elohim el-Noach zot ot-ha-brit asher hakimoti beini u-vein kol-basar asher al-ha-aretz · [EN-AID/JPS] And God said unto Noah: 'This is the token of the covenant which I have established between Me and all flesh that is upon the earth.'

LEFT
ויאמר אלהים אל נח · va-yomer Elohim el-Noach · frame three: and God said to Noach (etnachta arm)

RIGHT
זאת אות הברית אשר הקמתי ביני ובין כל בשר אשר על הארץ · zot ot-ha-brit asher hakimoti beini u-vein kol-basar asher al-ha-aretz · THIS is the covenant-sign I HAVE ESTABLISHED with all flesh

operator	expression	Hebrew anchor	cites	confidence
EVENT	speak(e3) ∧ Agent(e3, elohim) ∧ Theme(e3, el_noach) = speak(e3) ∧ Agent(e3, God) ∧ Theme(e3, to-Noach) FRAME THREE — the seal: the third and last speech-act narrows back to Noach alone (frame one addressed the sons too) [letter fact].	וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ · va-yomer Elohim el-Noach = He-said God to-Noach	—	tested
PRECONDITION_STATE	HOLDS(zot_ot_ha_brit_asher_hakimoti, t1) = HOLDS(this-sign-of-the-brit-which-I-will-establish, t1) THE LADDER'S LAST RUNG: HAKIMOTI — 'I HAVE ESTABLISHED' (perfect): participle (9:9), weqatal (9:11), perfect (here) — doing, willing, done: the covenant is completed entirely inside speech-grammar, without one narrative deed-verb [letter fact, recorded]. BRIT token 8 and OT token 5 close their clusters; the speech ends where its ladder tops out.	זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי · zot ot-ha-brit asher hakimoti = this sign-of-the-brit which I-will-establish	—	tested

Nothing was built, nothing marched, nobody moved: the span's whole action is a promise conjugating itself to completion.

State machine

The covenant and the bow (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).

state	meaning
S_boot	Before 9:8 — all registers empty (standalone unit)
S_frame_one	After 9:8 — speech-event one (Elohim to Noach AND his sons); noach/banav/tevah flagged as read
S_establishing	After 9:9-10 — the ladder's participle rung holds (I AM establishing, TIR-031); the all-flesh partner-list holds
S_pledged_public	After 9:11 — the weqatal rung (6:18's exact form, plural now); BOTH public never-again INVARIANTs standing (the cut-verb born refusing)
S_frame_two	After 9:12 — speech-event two: the sign named; the give-ladder's participle rung
S_bow_set	After 9:13 — the bow-facts hold (set-perfect + sign-office weqatal); ASSIGN and INSTALL declined on the mark-precedent
S_handler_wired	After 9:14 — the weather-wired memory HANDLER installed (IF cloud+bow THEN remember; the sentence crossing the verse-break)
S_remembering	After 9:15-16 — the THEN-facts hold (zakhar tokens 2-3: gen_19's prediction landed); the third-person Elohim clause held
S_sealed_ladder	After 9:17 — speech-event three: the perfect rung (I HAVE established); registers at rest, three standing structures

from	to	via
S_boot	S_frame_one	STEP_Gn_9_8
S_frame_one	S_establishing	STEP_Gn_9_9
S_establishing	S_establishing	STEP_Gn_9_10
S_establishing	S_pledged_public	STEP_Gn_9_11
S_pledged_public	S_frame_two	STEP_Gn_9_12
S_frame_two	S_bow_set	STEP_Gn_9_13
S_bow_set	S_handler_wired	STEP_Gn_9_14
S_handler_wired	S_remembering	STEP_Gn_9_15
S_remembering	S_remembering	STEP_Gn_9_16
S_remembering	S_sealed_ladder	STEP_Gn_9_17

AFTER_S_sealed_ladder — TIME: t0 EMPTY (no date — the covenant's own duration-words are le-dorot olam, 'for everlasting generations': scope, not anchor). WORLD: ZERO installs (+3 presupposed: noach, banav, tevah — the ark read once, in 9:10's exit-roster). Standing facts (9 + the handler): the ladder's three rungs (participle TIR-031 / weqatal TIR-029 — 6:18's exact form, gone plural / closing perfect), the all-flesh partner-list, the give-participle with le-dorot-olam, the two bow-facts (the set-perfect and the sign-office weqatal — ASSIGN and INSTALL declined on the Cain-mark precedent), the THEN-facts (the remembering pledged — zakhar tokens 2-3, frozen gen_19's prediction landed — and the never-again re-sounded inside the mechanism), and the everlasting third-person clause (between ELOHIM and every living soul — the letter's strangest turn, held). INVARIANTS (2): the public never-again pair — the cut-verb's negated Torah debut inside #1, the decree's destroy-verb quoted inside #2 (8:21's interior pledges made covenant; delta named). HANDLERS (1): the weather-wired memory-duty — IF(I cloud up AND the bow is seen) THEN(I remember My covenant): gen_12's class, the letter's own when-then chain, crossing the 9:14/9:15 verse-break. EVENTS: exactly THREE — the triple va-yomer frame (9:8 to Noach and sons; 9:12 the sign named; 9:17 the seal, to Noach alone): the span's only narrative verbs; the establishment itself never takes a deed-verb — the covenant completes inside speech-grammar. SPECS: EMPTY end to end (zero imperatives — the third zero-traffic queue). TESTS: EMPTY. REGISTRY: ZERO writes. LEDGER: EMPTY. FLAGS (3): read_before_install x3. The machine ends at rest holding three structures no event can retire: two forever-negations and one standing remember-rule — the counter-decree completed.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	Frame one opens, the registers sleep on: after STEP_Gn_9_8	All registers empty (standalone unit).	flags noach/banav/tevah as read-before-install; SPECS empty. = flags Noach/banav/ark as read-before-install; SPECS empty.	וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו · va-yomer Elohim el-Noach ve-el-banav = He-said God to-Noach and-to-banav
S2	The ladder's participle rung holds: after STEP_Gn_9_9	S1 state.	Facts hinni_mekim_et_briti HOLD. = Facts hinni-mekim-obj-marker·et-My-covenant HOLD.	הִנְנִי מֵקִים אֶת־בְּרִיתִי · hinni mekim et-briti = hinni mekim obj-marker·et-My-covenant
S3	The public never-agains stand: after STEP_Gn_9_11	S2 state + the partner-list (9:10).	Facts va_hakimoti_et_briti_itkhem HOLD; ve_lo_yikkaret INVARIANT active; ve_lo_yihyeh_od_mabul INVARIANT active. = Facts and-I-will-establish-obj-marker·et-My-covenant-itkhem HOLD; and-not-yikkaret INVARIANT active; and-not-yihyeh-still/again-deluge INVARIANT active.	וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד · ve-lo-yikkaret kol-basar od = and-not-yikkaret all-flesh still/again
S4	The bow set, the sign-office held: after STEP_Gn_9_13	S3 state + frame two (9:12).	Facts et_qashti_natati_be_anan/ve_haytah_le_ot_brit HOLD. = Facts obj-marker·et-qashti-I-have-set-in-cloud/and-haytah-to-sign-of-brit HOLD.	אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן · et-qashti natati be-anan = obj-marker·et-qashti I-have-set cloud
S5	The weather-wired handler installed: after STEP_Gn_9_14	S4 state.	Facts be_anni_anan HOLD. = Facts in-anni-cloud HOLD.	וְנִרְאֲתָה הַקֶּשֶׁת בֶּעָנָן · ve-nireatah ha-qeshet be-anan = and-nireatah bow cloud
S6	The remembering pledged — gen_19's prediction lands: after STEP_Gn_9_15	S5 state.	Facts ve_zakharti_et_briti/ve_lo_yihyeh_od_ha_mayim HOLD. = Facts and-I-will-remember-obj-marker·et-My-covenant/and-not-yihyeh-still/again-the-waters HOLD.	וְזָכַרְתִּי אֶת־בְּרִיתִי · ve-zakharti et-briti = I-will-remember obj-marker·et-My-covenant
S7	The seal — the ladder tops out in the perfect: after STEP_Gn_9_17	S6 state + the everlasting clause (9:16).	Facts zot_ot_ha_brit_asher_hakimoti HOLD; SPECS empty. = Facts this-sign-of-the-brit-which-I-will-establish HOLD; SPECS empty.	זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי · zot ot-ha-brit asher hakimoti = this sign-of-the-brit which I-will-establish
S8_negative	Negative: the machine's ? stays guarded	A synthetic LET? demand (the machine's own contract self-test).	LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — entries pop demands; nothing but citation moves a mood.
S9_negative	Negative: flags never block	A synthetic commit with TESTS empty (the machine's own contract self-test).	Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked.

Exports (reusable patterns)

id	content
EXPORT_brit_saturation_ladder	הִנְנִי מֵקִים … וַהֲקִמֹתִי … הֲקִמֹתִי · hinni mekim … va-hakimoti … hakimoti · BRIT ('covenant') tokens 2-8 of its first eight all in-span (x7 in ten verses) while the establish-verb climbs an ASPECT-LADDER — participle (I AM establishing, TIR-031), weqatal (6:18's EXACT form re-sounded, plural now), perfect (I HAVE established): no narrative deed-verb anywhere — the covenant completes inside speech-grammar; a second pair climbs beside it (I AM giving -> I HAVE set); QUM token 1 = 4:8, Cain RISING: the verb's career runs murder to covenant; frozen gen_16 held 6:18 as FACT — nothing pops across the wall (the Stage E covenant arc)
EXPORT_cut_verb_born_refusing	וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד · ve-lo-yikkaret kol-basar od · KARAT ('cut') — the verb that will seal every covenant (likhrot brit from 15:18 on) has its Torah TOKEN 1 NEGATED: 'all flesh shall NOT be cut off' — born refusing a cutting-off, inside a covenant ESTABLISHED, not cut [crown]; the public never-again pair carries it (gen_20's INVARIANT class externalized: 8:21 to His heart, 9:11 to faces), with the decree's own destroy-verb (shachat tokens 6-7 after the 6:11-17 cluster) surviving only inside the negation; the deluge-word takes its last divine-speech tokens here
EXPORT_war_bow_retired	אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן · et-qashti natati be-anan · QESHET ('bow') tokens 1-3 in-span and every later Torah token is WEAPONRY (Hagar's bowshot, Esau's hunt, Jacob's sword-and-bow, the archer): the Torah's only non-weapon bows hang in this cloud; ANAN ('cloud') tokens 1-4 here — its next tokens are the PILLAR OF CLOUD and Sinai: the sign's canvas becomes the Presence's vehicle; the sign held as FACTS on the Cain-mark precedent (no ASSIGN, no INSTALL — a possession stationed, not a thing built); OT ('sign') tokens 3-5: calendar, Cain-mark, bow — then circumcision: the sign-word's early life is all marks-that-mean
EXPORT_weather_wired_memory	וְהָיָה בְּעַנְנִי עָנָן … וְנִרְאֲתָה הַקֶּשֶׁת … וְזָכַרְתִּי · ve-hayah be-anni anan … ve-nireatah ha-qeshet … ve-zakharti · the memory-duty as standing law-grammar — HANDLER (gen_12's class): IF(I cloud up AND the bow is seen) THEN(I remember My covenant) — the letter's own when-then weqatal chain, running ACROSS the 9:14/9:15 verse-break; ZAKHAR tokens 2-3 land frozen gen_19's logged prediction; 9:16 adds the purposive li-zekor brit olam on God's own future SEEING — and names the parties in the THIRD PERSON inside His own speech ('between ELOHIM and every living soul') [letter fact, held]
EXPORT_triple_frame_repetition	וַיֹּאמֶר אֱלֹהִים … וַיֹּאמֶר אֱלֹהִים … וַיֹּאמֶר אֱלֹהִים · va-yomer Elohim x3 · one covenant, three speech-acts (9:8 opens to Noach and sons; 9:12 names the sign; 9:17 seals to Noach alone) — the machine's only three events; the letter's own redundancy is the structure: brit x7, bein ('between') x12, chayah x6, basar x5, nefesh x4, ot x3, qum x3, mabul x3, od x3, olam x2; the partners include the ANIMALS (every living soul, from all that went OUT of the ark); Elohim-only speech-world, fifth span running; Onkelos seats the Memra ('My Word') in God's place five times — dual-track

Oral notes (named, tiered, dual-track — never merged)

observation Bavli Berakhot 59a (the blessing on seeing the bow); Bavli Chagigah 16a and Ketubot 77b (gazing; the generations that needed no bow); Bereshit Rabbah 35 (the span; the defective le-dorot; the exempt generations); Rashi at 9:12 (le-dorot written short), 9:14 (the cloud-clause), 9:16 (the seeing and remembering) — gen_22 Tier-A queue
זֹאת אוֹת־הַבְּרִית · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 9:8-17 — sixteenth tripwire span. Detector classes predicted: the le-dorot short-spelling teaching is an ORTHOGRAPHY class (doctrine from a missing letter); the bow-pointed-away teaching is a symbol-inversion class (the war-bow aimed heavenward as mercy); the blessing-on-seeing is a liturgy-from-sign class.
Queue entry — no claim made beyond the naming.

verified Onkelos Genesis 9:8-17 — read Tier-A at derive time (10 sequential fetches, Data/FETCHLOG.md 2026-08-03)
בֵּין מֵימְרִי וּבֵינֵיכוֹן · bein meimri u-veineikhon · The span's translation witness: THE MEMRA TAKES GOD'S SEAT x5 — 'between ME' -> 'between MY WORD' (9:12, 9:13, 9:15, 9:17, all bolded) and 9:16's third-person 'between ELOHIM' -> 'between the WORD of the LORD': the covenant's divine party systematically replaced (flagged; the machine's parties stand on the letter). AGAINST its own 8:1 precedent (where narrative remembering became a mindful STATE), the buffer keeps the covenant's self-pledged remembering and seeing ACTIVE and first-person (u-dekhirna 'I will remember'; ve-echazinnah 'I will see it') — narration about God softened, God's own promises kept in His mouth (class-contrast noted). The cut-play lost (yikkaret -> 'be destroyed', no cut-cognate) and the decree-echo lost (le-shachet -> 'to ruin'). The ASPECT-LADDER survives in Aramaic grammar (participle -> future -> perfect); the give-pair survives; 'MY bow' KEPT (kashti — no dodge on the anthropomorphic possession); brit -> KEYAM (as at gen_16's 6:18), ot -> at, mabul -> tofana, hinni -> ha-ana; ELOHIM -> YY at all three frames (the leveling's fifth running span); the triple frame itself intact.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

verified RE-era reading pass 2026-08-25 (parashat Noach sweep, block 7 of 11; ledger logic/oral_triage/gen_22_covenant_bow_2026-08-25.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 LEDOROT DEFECTIVE KETIV on our 9:12 (written short two letters) = generations exempt from the sign — Hezekiah's, the Great Assembly's (or R. Shimon ben Yochai's) — with the rainbow-in-your-days test and its Bavli variance (the modest denial); the bow's TWILIGHT PROVENANCE (Pirkei Avot 5:6 — created on the first Sabbath eve, PLACED, not made, at our 9:13); the OATH'S SCOPE at law (Tosefta Taanit): what 9:15 does NOT foreclose — R. Meir's flood of fire and brimstone, R. Yehuda's individual flood (the drowned man's own deluge), R. Yosei's pestilence flood in the Messiah's days — the guarantee's carve-outs recorded; the ADDRESS-PLURAL polarity dispute on 9:8 (degraded by disobedience vs elevated by holiness); our 9:13 a member of the TEN COVENANT-BEARING THINGS census; "it is the sign of the world" (R. Shimon ben Yochai on 9:13-14); Bilam citing the oath at Sinai's thunder ("the voice is Torah, not water"). Findings 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.9.8 · parser unique · 8 words

ויאמר אלהים אל־נח ואל־בניו אתו לאמר · va-yomer Elohim el-nocha ve-el-banay-v et-o le-mor · And God said to Noach and his sons — frame one of three. [EN-AID]

PHRASE (binary 8w) וַ/יֹּ֤אמֶר אֱלֹהִים֙ אֶל נֹ֔חַ וְ/אֶל בָּנָ֥י/…
├── PHRASE (binary 4w) וַ/יֹּ֤אמֶר אֱלֹהִים֙ אֶל נֹ֔חַ
│   ├── [0-1] GLUE וַ/יֹּ֤אמֶר אֱלֹהִים֙ (pashta, rank=3)
│   └── [2-3] GLUE אֶל נֹ֔חַ (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/אֶל בָּנָ֥י/ו אִתּ֖/וֹ לֵ/אמֹֽר
    ├── [4-6] GLUE וְ/אֶל בָּנָ֥י/ו אִתּ֖/וֹ (tifcha, rank=2)
    └── [7] לֵ/אמֹֽר (silluq (verse-end emperor), rank=1)

Gen.9.9 · parser unique · 9 words

ואני הנני מקים את־בריתי אתכם ואת־זרעכם אחריכם · va-ani hinni-y meqim et-beriti-y et-khem ve-et-zara-khem achare-khem · Behold, I AM ESTABLISHING My covenant — with you and your seed. [EN-AID]

PHRASE (binary 9w) וַ/אֲנִ֕י הִנְנִ֥/י מֵקִ֛ים אֶת בְּרִיתִ֖/י אִת…
├── PHRASE (binary 6w) וַ/אֲנִ֕י הִנְנִ֥/י מֵקִ֛ים אֶת בְּרִיתִ֖/י אִת…
│   ├── [0] וַ/אֲנִ֕י (zaqef gadol, rank=2)
│   └── PHRASE (binary 5w) הִנְנִ֥/י מֵקִ֛ים אֶת בְּרִיתִ֖/י אִתְּ/כֶ֑ם
│       ├── PHRASE (binary 4w) הִנְנִ֥/י מֵקִ֛ים אֶת בְּרִיתִ֖/י
│       │   ├── [1-2] GLUE הִנְנִ֥/י מֵקִ֛ים (tevir, rank=3)
│       │   └── [3-4] GLUE אֶת בְּרִיתִ֖/י (tifcha, rank=2)
│       └── [5] אִתְּ/כֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/אֶֽת זַרְעֲ/כֶ֖ם אַֽחֲרֵי/כֶֽם
    ├── [6-7] GLUE וְ/אֶֽת זַרְעֲ/כֶ֖ם (tifcha, rank=2)
    └── [8] אַֽחֲרֵי/כֶֽם (silluq (verse-end emperor), rank=1)

Gen.9.10 · parser unique · 18 words

ואת כל־נפשׁ החיה אשׁר אתכם בעוף בבהמה ובכל־חית הארץ אתכם מכל יצאי התבה לכל חית הארץ · ve-et kal-nefesh ha-chaya asher et-khem ba-of ba-behema u-ve-khal-chayat ha-aretz et-khem mi-kol yotze ha-teva le-khol chayat ha-aretz · And with every living soul that left the ark — the animals sign too. [EN-AID]

PHRASE (binary 18w) וְ/אֵ֨ת כָּל נֶ֤פֶשׁ הַֽ/חַיָּה֙ אֲשֶׁ֣ר אִתְּ/…
├── PHRASE (binary 12w) וְ/אֵ֨ת כָּל נֶ֤פֶשׁ הַֽ/חַיָּה֙ אֲשֶׁ֣ר אִתְּ/…
│   ├── PHRASE (binary 6w) וְ/אֵ֨ת כָּל נֶ֤פֶשׁ הַֽ/חַיָּה֙ אֲשֶׁ֣ר אִתְּ/…
│   │   ├── [0-3] GLUE וְ/אֵ֨ת כָּל נֶ֤פֶשׁ הַֽ/חַיָּה֙ (pashta, rank=3)
│   │   └── [4-5] GLUE אֲשֶׁ֣ר אִתְּ/כֶ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 6w) בָּ/ע֧וֹף בַּ/בְּהֵמָ֛ה וּֽ/בְ/כָל חַיַּ֥ת הָ/א…
│       ├── PHRASE (binary 5w) בָּ/ע֧וֹף בַּ/בְּהֵמָ֛ה וּֽ/בְ/כָל חַיַּ֥ת הָ/א…
│       │   ├── [6-7] GLUE בָּ/ע֧וֹף בַּ/בְּהֵמָ֛ה (tevir, rank=3)
│       │   └── [8-10] GLUE וּֽ/בְ/כָל חַיַּ֥ת הָ/אָ֖רֶץ (tifcha, rank=2)
│       └── [11] אִתְּ/כֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) מִ/כֹּל֙ יֹצְאֵ֣י הַ/תֵּבָ֔ה לְ/כֹ֖ל חַיַּ֥ת הָ…
    ├── PHRASE (binary 3w) מִ/כֹּל֙ יֹצְאֵ֣י הַ/תֵּבָ֔ה
    │   ├── [12] מִ/כֹּל֙ (pashta, rank=3)
    │   └── [13-14] GLUE יֹצְאֵ֣י הַ/תֵּבָ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) לְ/כֹ֖ל חַיַּ֥ת הָ/אָֽרֶץ
        ├── [15] לְ/כֹ֖ל (tifcha, rank=2)
        └── [16-17] GLUE חַיַּ֥ת הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.9.11 · parser unique · 17 words

והקמתי את־בריתי אתכם ולא־יכרת כל־בשׂר עוד ממי המבול ולא־יהיה עוד מבול לשׁחת הארץ · va-haqimoti et-beriti-y et-khem ve-lo-yikaret kal-basar od mi-me ha-mabul ve-lo-yihye od mabul le-shachet ha-aretz · I WILL establish: no more cutting-off, never again a deluge. [EN-AID]

PHRASE (binary 17w) וַ/הֲקִמֹתִ֤י אֶת בְּרִיתִ/י֙ אִתְּ/כֶ֔ם וְ/לֹֽ…
├── PHRASE (binary 11w) וַ/הֲקִמֹתִ֤י אֶת בְּרִיתִ/י֙ אִתְּ/כֶ֔ם וְ/לֹֽ…
│   ├── PHRASE (binary 4w) וַ/הֲקִמֹתִ֤י אֶת בְּרִיתִ/י֙ אִתְּ/כֶ֔ם
│   │   ├── [0-2] GLUE וַ/הֲקִמֹתִ֤י אֶת בְּרִיתִ/י֙ (pashta, rank=3)
│   │   └── [3] אִתְּ/כֶ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 7w) וְ/לֹֽא יִכָּרֵ֧ת כָּל בָּשָׂ֛ר ע֖וֹד מִ/מֵּ֣י …
│       ├── PHRASE (binary 5w) וְ/לֹֽא יִכָּרֵ֧ת כָּל בָּשָׂ֛ר ע֖וֹד
│       │   ├── [4-7] GLUE וְ/לֹֽא יִכָּרֵ֧ת כָּל בָּשָׂ֛ר (tevir, rank=3)
│       │   └── [8] ע֖וֹד (tifcha, rank=2)
│       └── [9-10] GLUE מִ/מֵּ֣י הַ/מַּבּ֑וּל (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/לֹֽא יִהְיֶ֥ה ע֛וֹד מַבּ֖וּל לְ/שַׁחֵ֥ת הָ/א…
    ├── PHRASE (binary 4w) וְ/לֹֽא יִהְיֶ֥ה ע֛וֹד מַבּ֖וּל
    │   ├── [11-13] GLUE וְ/לֹֽא יִהְיֶ֥ה ע֛וֹד (tevir, rank=3)
    │   └── [14] מַבּ֖וּל (tifcha, rank=2)
    └── [15-16] GLUE לְ/שַׁחֵ֥ת הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.9.12 · parser unique · 18 words

ויאמר אלהים זאת אות־הברית אשׁר־אני נתן ביני וביניכם ובין כל־נפשׁ חיה אשׁר אתכם לדרת עולם · va-yomer Elohim zot ot-ha-berit asher-ani noten beni-y u-vene-khem u-ven kal-nefesh chaya asher et-khem le-dorot olam · Frame two: THIS is the sign I AM GIVING, for everlasting generations. [EN-AID]

PHRASE (binary 18w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים זֹ֤את אֽוֹת הַ/בְּרִית֙ א…
├── PHRASE (binary 16w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים זֹ֤את אֽוֹת הַ/בְּרִית֙ א…
│   ├── PHRASE (binary 10w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים זֹ֤את אֽוֹת הַ/בְּרִית֙ א…
│   │   ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֱלֹהִ֗ים (revia, rank=3)
│   │   └── PHRASE (binary 8w) זֹ֤את אֽוֹת הַ/בְּרִית֙ אֲשֶׁר אֲנִ֣י נֹתֵ֗ן בּ…
│   │       ├── [2-4] GLUE זֹ֤את אֽוֹת הַ/בְּרִית֙ (pashta, rank=3)
│   │       └── PHRASE (binary 5w) אֲשֶׁר אֲנִ֣י נֹתֵ֗ן בֵּינִ/י֙ וּ/בֵ֣ינֵי/כֶ֔ם
│   │           ├── [5-7] GLUE אֲשֶׁר אֲנִ֣י נֹתֵ֗ן (revia, rank=3)
│   │           └── PHRASE (binary 2w) בֵּינִ/י֙ וּ/בֵ֣ינֵי/כֶ֔ם
│   │               ├── [8] בֵּינִ/י֙ (pashta, rank=3)
│   │               └── [9] וּ/בֵ֣ינֵי/כֶ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 6w) וּ/בֵ֛ין כָּל נֶ֥פֶשׁ חַיָּ֖ה אֲשֶׁ֣ר אִתְּ/כֶ֑ם
│       ├── PHRASE (binary 4w) וּ/בֵ֛ין כָּל נֶ֥פֶשׁ חַיָּ֖ה
│       │   ├── [10] וּ/בֵ֛ין (tevir, rank=3)
│       │   └── [11-13] GLUE כָּל נֶ֥פֶשׁ חַיָּ֖ה (tifcha, rank=2)
│       └── [14-15] GLUE אֲשֶׁ֣ר אִתְּ/כֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) לְ/דֹרֹ֖ת עוֹלָֽם
    ├── [16] לְ/דֹרֹ֖ת (tifcha, rank=2)
    └── [17] עוֹלָֽם (silluq (verse-end emperor), rank=1)

Gen.9.13 · parser unique · 10 words

את־קשׁתי נתתי בענן והיתה לאות ברית ביני ובין הארץ · et-qashti-y natati be-anan ve-hayta le-ot berit beni-y u-ven ha-aretz · My BOW I have set in the cloud — a covenant-sign with the earth. [EN-AID]

PHRASE (binary 10w) אֶת קַשְׁתִּ֕/י נָתַ֖תִּי בֶּֽ/עָנָ֑ן וְ/הָֽיְת…
├── PHRASE (binary 4w) אֶת קַשְׁתִּ֕/י נָתַ֖תִּי בֶּֽ/עָנָ֑ן
│   ├── [0-1] GLUE אֶת קַשְׁתִּ֕/י (zaqef gadol, rank=2)
│   └── PHRASE (binary 2w) נָתַ֖תִּי בֶּֽ/עָנָ֑ן
│       ├── [2] נָתַ֖תִּי (tifcha, rank=2)
│       └── [3] בֶּֽ/עָנָ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/הָֽיְתָה֙ לְ/א֣וֹת בְּרִ֔ית בֵּינִ֖/י וּ/בֵ֥…
    ├── PHRASE (binary 3w) וְ/הָֽיְתָה֙ לְ/א֣וֹת בְּרִ֔ית
    │   ├── [4] וְ/הָֽיְתָה֙ (pashta, rank=3)
    │   └── [5-6] GLUE לְ/א֣וֹת בְּרִ֔ית (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) בֵּינִ֖/י וּ/בֵ֥ין הָ/אָֽרֶץ
        ├── [7] בֵּינִ֖/י (tifcha, rank=2)
        └── [8-9] GLUE וּ/בֵ֥ין הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.9.14 · parser unique · 8 words

והיה בענני ענן על־הארץ ונראתה הקשׁת בענן · ve-haya be-anni-y anan al-ha-aretz ve-nirata ha-qeshet be-anan · When I cloud up a cloud and the bow is seen — [EN-AID]

PHRASE (binary 8w) וְ/הָיָ֕ה בְּ/עַֽנְנִ֥/י עָנָ֖ן עַל הָ/אָ֑רֶץ ו…
├── PHRASE (binary 5w) וְ/הָיָ֕ה בְּ/עַֽנְנִ֥/י עָנָ֖ן עַל הָ/אָ֑רֶץ
│   ├── [0] וְ/הָיָ֕ה (zaqef gadol, rank=2)
│   └── PHRASE (binary 4w) בְּ/עַֽנְנִ֥/י עָנָ֖ן עַל הָ/אָ֑רֶץ
│       ├── [1-2] GLUE בְּ/עַֽנְנִ֥/י עָנָ֖ן (tifcha, rank=2)
│       └── [3-4] GLUE עַל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/נִרְאֲתָ֥ה הַ/קֶּ֖שֶׁת בֶּ/עָנָֽן
    ├── [5-6] GLUE וְ/נִרְאֲתָ֥ה הַ/קֶּ֖שֶׁת (tifcha, rank=2)
    └── [7] בֶּ/עָנָֽן (silluq (verse-end emperor), rank=1)

Gen.9.15 · parser unique · 20 words

וזכרתי את־בריתי אשׁר ביני וביניכם ובין כל־נפשׁ חיה בכל־בשׂר ולא־יהיה עוד המים למבול לשׁחת כל־בשׂר · ve-zakharti et-beriti-y asher beni-y u-vene-khem u-ven kal-nefesh chaya be-khal-basar ve-lo-yihye od ha-mayim le-mabul le-shachet kal-basar · — then I REMEMBER My covenant: never again the waters a deluge. [EN-AID]

PHRASE (binary 20w) וְ/זָכַרְתִּ֣י אֶת בְּרִיתִ֗/י אֲשֶׁ֤ר בֵּינִ/י…
├── PHRASE (binary 12w) וְ/זָכַרְתִּ֣י אֶת בְּרִיתִ֗/י אֲשֶׁ֤ר בֵּינִ/י…
│   ├── PHRASE (binary 6w) וְ/זָכַרְתִּ֣י אֶת בְּרִיתִ֗/י אֲשֶׁ֤ר בֵּינִ/י…
│   │   ├── [0-2] GLUE וְ/זָכַרְתִּ֣י אֶת בְּרִיתִ֗/י (revia, rank=3)
│   │   └── PHRASE (binary 3w) אֲשֶׁ֤ר בֵּינִ/י֙ וּ/בֵ֣ינֵי/כֶ֔ם
│   │       ├── [3-4] GLUE אֲשֶׁ֤ר בֵּינִ/י֙ (pashta, rank=3)
│   │       └── [5] וּ/בֵ֣ינֵי/כֶ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 6w) וּ/בֵ֛ין כָּל נֶ֥פֶשׁ חַיָּ֖ה בְּ/כָל בָּשָׂ֑ר
│       ├── PHRASE (binary 4w) וּ/בֵ֛ין כָּל נֶ֥פֶשׁ חַיָּ֖ה
│       │   ├── [6] וּ/בֵ֛ין (tevir, rank=3)
│       │   └── [7-9] GLUE כָּל נֶ֥פֶשׁ חַיָּ֖ה (tifcha, rank=2)
│       └── [10-11] GLUE בְּ/כָל בָּשָׂ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וְ/לֹֽא יִֽהְיֶ֨ה ע֤וֹד הַ/מַּ֨יִם֙ לְ/מַבּ֔וּל…
    ├── PHRASE (binary 5w) וְ/לֹֽא יִֽהְיֶ֨ה ע֤וֹד הַ/מַּ֨יִם֙ לְ/מַבּ֔וּל
    │   ├── [12-15] GLUE וְ/לֹֽא יִֽהְיֶ֨ה ע֤וֹד הַ/מַּ֨יִם֙ (pashta, rank=3)
    │   └── [16] לְ/מַבּ֔וּל (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) לְ/שַׁחֵ֖ת כָּל בָּשָֽׂר
        ├── [17] לְ/שַׁחֵ֖ת (tifcha, rank=2)
        └── [18-19] GLUE כָּל בָּשָֽׂר (silluq (verse-end emperor), rank=1)

Gen.9.16 · parser unique · 18 words

והיתה הקשׁת בענן וראיתיה לזכר ברית עולם בין אלהים ובין כל־נפשׁ חיה בכל־בשׂר אשׁר על־הארץ · ve-hayta ha-qeshet be-anan u-reiti-ha li-zekor berit olam ben Elohim u-ven kal-nefesh chaya be-khal-basar asher al-ha-aretz · The bow in the cloud: I will SEE it, to remember the everlasting covenant. [EN-AID]

PHRASE (binary 18w) וְ/הָיְתָ֥ה הַ/קֶּ֖שֶׁת בֶּֽ/עָנָ֑ן וּ/רְאִיתִ֗…
├── PHRASE (binary 3w) וְ/הָיְתָ֥ה הַ/קֶּ֖שֶׁת בֶּֽ/עָנָ֑ן
│   ├── [0-1] GLUE וְ/הָיְתָ֥ה הַ/קֶּ֖שֶׁת (tifcha, rank=2)
│   └── [2] בֶּֽ/עָנָ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 15w) וּ/רְאִיתִ֗י/הָ לִ/זְכֹּר֙ בְּרִ֣ית עוֹלָ֔ם בֵּ…
    ├── PHRASE (binary 4w) וּ/רְאִיתִ֗י/הָ לִ/זְכֹּר֙ בְּרִ֣ית עוֹלָ֔ם
    │   ├── [3] וּ/רְאִיתִ֗י/הָ (revia, rank=3)
    │   └── PHRASE (binary 3w) לִ/זְכֹּר֙ בְּרִ֣ית עוֹלָ֔ם
    │       ├── [4] לִ/זְכֹּר֙ (pashta, rank=3)
    │       └── [5-6] GLUE בְּרִ֣ית עוֹלָ֔ם (zaqef qatan, rank=2)
    └── PHRASE (binary 11w) בֵּ֣ין אֱלֹהִ֔ים וּ/בֵין֙ כָּל נֶ֣פֶשׁ חַיָּ֔ה …
        ├── [7-8] GLUE בֵּ֣ין אֱלֹהִ֔ים (zaqef qatan, rank=2)
        └── PHRASE (binary 9w) וּ/בֵין֙ כָּל נֶ֣פֶשׁ חַיָּ֔ה בְּ/כָל בָּשָׂ֖ר …
            ├── PHRASE (binary 4w) וּ/בֵין֙ כָּל נֶ֣פֶשׁ חַיָּ֔ה
            │   ├── [9] וּ/בֵין֙ (pashta, rank=3)
            │   └── [10-12] GLUE כָּל נֶ֣פֶשׁ חַיָּ֔ה (zaqef qatan, rank=2)
            └── PHRASE (binary 5w) בְּ/כָל בָּשָׂ֖ר אֲשֶׁ֥ר עַל הָ/אָֽרֶץ
                ├── [13-14] GLUE בְּ/כָל בָּשָׂ֖ר (tifcha, rank=2)
                └── [15-17] GLUE אֲשֶׁ֥ר עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.9.17 · parser unique · 16 words

ויאמר אלהים אל־נח זאת אות־הברית אשׁר הקמתי ביני ובין כל־בשׂר אשׁר על־הארץ · va-yomer Elohim el-nocha zot ot-ha-berit asher haqimoti beni-y u-ven kal-basar asher al-ha-aretz · Frame three, the seal: the sign of the covenant I HAVE ESTABLISHED. [EN-AID]

PHRASE (binary 16w) וַ/יֹּ֥אמֶר אֱלֹהִ֖ים אֶל נֹ֑חַ זֹ֤את אֽוֹת הַ/…
├── PHRASE (binary 4w) וַ/יֹּ֥אמֶר אֱלֹהִ֖ים אֶל נֹ֑חַ
│   ├── [0-1] GLUE וַ/יֹּ֥אמֶר אֱלֹהִ֖ים (tifcha, rank=2)
│   └── [2-3] GLUE אֶל נֹ֑חַ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) זֹ֤את אֽוֹת הַ/בְּרִית֙ אֲשֶׁ֣ר הֲקִמֹ֔תִי בֵּי…
    ├── PHRASE (binary 5w) זֹ֤את אֽוֹת הַ/בְּרִית֙ אֲשֶׁ֣ר הֲקִמֹ֔תִי
    │   ├── [4-6] GLUE זֹ֤את אֽוֹת הַ/בְּרִית֙ (pashta, rank=3)
    │   └── [7-8] GLUE אֲשֶׁ֣ר הֲקִמֹ֔תִי (zaqef qatan, rank=2)
    └── PHRASE (binary 7w) בֵּינִ֕/י וּ/בֵ֥ין כָּל בָּשָׂ֖ר אֲשֶׁ֥ר עַל הָ…
        ├── [9] בֵּינִ֕/י (zaqef gadol, rank=2)
        └── PHRASE (binary 6w) וּ/בֵ֥ין כָּל בָּשָׂ֖ר אֲשֶׁ֥ר עַל הָ/אָֽרֶץ
            ├── [10-12] GLUE וּ/בֵ֥ין כָּל בָּשָׂ֖ר (tifcha, rank=2)
            └── [13-15] GLUE אֲשֶׁ֥ר עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Word coverage — 142/142 words with named roles

ref	#	Hebrew	translit	English	role	kind	rule
Gen.9.8	0	ויאמר	va-yomer	and-He-said	FRAME_ONE_of_three	logic_bearing	none
Gen.9.8	1	אלהים	Elohim	God	ELOHIM_only_speaker	logic_bearing	none
Gen.9.8	2	אל	el	to	to	logic_bearing	none
Gen.9.8	3	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.9.8	4	ואל	ve-el	and-to	and-to	logic_bearing	none
Gen.9.8	5	בניו	banay-v	his-sons	his-sons	logic_bearing	none
Gen.9.8	6	אתו	et-o	with-him	with-him	logic_bearing	none
Gen.9.8	7	לאמר	le-mor	saying	saying	logic_bearing	none
Gen.9.9	0	ואני	va-ani	and-I	and-I	logic_bearing	none
Gen.9.9	1	הנני	hinni-y	behold-I	HINNI_token_4_flood_announcer_returns	logic_bearing	none
Gen.9.9	2	מקים	meqim	establishing	MEKIM_participle_ladder_rung_one	logic_bearing	TIR-031
Gen.9.9	3	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.9	4	בריתי	beriti-y	My-covenant	BRIT_token_2_first_eight_in_span	logic_bearing	none
Gen.9.9	5	אתכם	et-khem	with-you	with-you	logic_bearing	none
Gen.9.9	6	ואת	ve-et	and-with	and-with	logic_bearing	none
Gen.9.9	7	זרעכם	zara-khem	your-seed	ZERA_thread_covenant_party	logic_bearing	none
Gen.9.9	8	אחריכם	achare-khem	after-you	after-you	logic_bearing	none
Gen.9.10	0	ואת	ve-et	and-with	and-with	logic_bearing	none
Gen.9.10	1	כל	kal	all	all	logic_bearing	none
Gen.9.10	2	נפש	nefesh	soul-of	kol_nefesh_chayah_party	logic_bearing	none
Gen.9.10	3	החיה	ha-chaya	the-living	the-living	logic_bearing	none
Gen.9.10	4	אשר	asher	which	which	logic_bearing	none
Gen.9.10	5	אתכם	et-khem	with-you	with-you	logic_bearing	none
Gen.9.10	6	בעוף	ba-of	in-flying-creature	in-flying-creature	logic_bearing	none
Gen.9.10	7	בבהמה	ba-behema	in-livestock	in-livestock	logic_bearing	none
Gen.9.10	8	ובכל	u-ve-khal	and-in-all	and-in-all	logic_bearing	none
Gen.9.10	9	חית	chayat	living	living	logic_bearing	none
Gen.9.10	10	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.10	11	אתכם	et-khem	with-you	with-you	logic_bearing	none
Gen.9.10	12	מכל	mi-kol	from-all	from-all	logic_bearing	none
Gen.9.10	13	יצאי	yotze	goers-out-of	exit_roster_becomes_treaty_roster	logic_bearing	none
Gen.9.10	14	התבה	ha-teva	the-ark	tevah_read_flagged	logic_bearing	none
Gen.9.10	15	לכל	le-khol	to-all	to-all	logic_bearing	none
Gen.9.10	16	חית	chayat	living	living	logic_bearing	none
Gen.9.10	17	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.11	0	והקמתי	va-haqimoti	and-I-will-establish	VA_HAKIMOTI_6_18_form_ladder_rung_two	logic_bearing	TIR-029
Gen.9.11	1	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.11	2	בריתי	beriti-y	My-covenant	brit_token_3	logic_bearing	none
Gen.9.11	3	אתכם	et-khem	with-you	with-you	logic_bearing	none
Gen.9.11	4	ולא	ve-lo	and-not	and-not	logic_bearing	none
Gen.9.11	5	יכרת	yikaret	be-cut-off	KARAT_TOKEN_1_NEGATED_crown	logic_bearing	none
Gen.9.11	6	כל	kal	all	all	logic_bearing	none
Gen.9.11	7	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.11	8	עוד	od	still/again	still_again	logic_bearing	none
Gen.9.11	9	ממי	mi-me	from-the-waters-of	from-the-waters-of	logic_bearing	none
Gen.9.11	10	המבול	ha-mabul	the-deluge	mabul_token_6	logic_bearing	none
Gen.9.11	11	ולא	ve-lo	and-not	and-not	logic_bearing	none
Gen.9.11	12	יהיה	yihye	be	be	logic_bearing	none
Gen.9.11	13	עוד	od	still/again	still_again	logic_bearing	none
Gen.9.11	14	מבול	mabul	deluge	mabul_token_7_last_speech_tokens	logic_bearing	none
Gen.9.11	15	לשחת	le-shachet	to-destroy	SHACHAT_token_6_decree_verb_in_negation	logic_bearing	none
Gen.9.11	16	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.12	0	ויאמר	va-yomer	and-He-said	FRAME_TWO_the_sign	logic_bearing	none
Gen.9.12	1	אלהים	Elohim	God	God	logic_bearing	none
Gen.9.12	2	זאת	zot	this	this	logic_bearing	none
Gen.9.12	3	אות	ot	sign-of	OT_token_3_calendar_mark_bow	logic_bearing	none
Gen.9.12	4	הברית	ha-berit	the-covenant	the-covenant	logic_bearing	none
Gen.9.12	5	אשר	asher	which	which	logic_bearing	none
Gen.9.12	6	אני	ani	I	I	logic_bearing	none
Gen.9.12	7	נתן	noten	giving	NOTEN_participle_give_ladder_one	logic_bearing	none
Gen.9.12	8	ביני	beni-y	between-Me	between-Me	logic_bearing	none
Gen.9.12	9	וביניכם	u-vene-khem	and-between-you	and-between-you	logic_bearing	none
Gen.9.12	10	ובין	u-ven	and-between	and-between	logic_bearing	none
Gen.9.12	11	כל	kal	all	all	logic_bearing	none
Gen.9.12	12	נפש	nefesh	living-soul	living-soul	logic_bearing	none
Gen.9.12	13	חיה	chaya	living	living	logic_bearing	none
Gen.9.12	14	אשר	asher	which	which	logic_bearing	none
Gen.9.12	15	אתכם	et-khem	with-you	with-you	logic_bearing	none
Gen.9.12	16	לדרת	le-dorot	for-generations-of	DOR_token_3	logic_bearing	none
Gen.9.12	17	עולם	olam	everlasting	olam_token_4	logic_bearing	none
Gen.9.13	0	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.13	1	קשתי	qashti-y	My-bow	QESHET_TOKEN_1_war_word_retired	logic_bearing	none
Gen.9.13	2	נתתי	natati	I-have-set	NATATI_perfect_give_ladder_two	logic_bearing	none
Gen.9.13	3	בענן	be-anan	in-the-cloud	ANAN_token_1_pillar_next	logic_bearing	none
Gen.9.13	4	והיתה	ve-hayta	and-be	and-be	logic_bearing	none
Gen.9.13	5	לאות	le-ot	for-a-sign	ot_token_4_1_14_syntax	logic_bearing	none
Gen.9.13	6	ברית	berit	covenant	covenant	logic_bearing	none
Gen.9.13	7	ביני	beni-y	between-Me	between-Me	logic_bearing	none
Gen.9.13	8	ובין	u-ven	and-between	and-between	logic_bearing	none
Gen.9.13	9	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.14	0	והיה	ve-haya	and-be	and-be	logic_bearing	TIR-029
Gen.9.14	1	בענני	be-anni-y	when-I-cloud-up	ANAN_VERB_handler_trigger	logic_bearing	none
Gen.9.14	2	ענן	anan	cloud	anan_token_2	logic_bearing	none
Gen.9.14	3	על	al	over	over	logic_bearing	none
Gen.9.14	4	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.14	5	ונראתה	ve-nirata	and-is-seen	the_bow_seen_trigger_two	logic_bearing	none
Gen.9.14	6	הקשת	ha-qeshet	the-bow	qeshet_token_2	logic_bearing	none
Gen.9.14	7	בענן	be-anan	in-the-cloud	anan_token_3	logic_bearing	none
Gen.9.15	0	וזכרתי	ve-zakharti	and-I-will-remember	ZAKHAR_token_2_gen_19_prediction_lands	logic_bearing	none
Gen.9.15	1	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.15	2	בריתי	beriti-y	My-covenant	brit_token_6	logic_bearing	none
Gen.9.15	3	אשר	asher	which	which	logic_bearing	none
Gen.9.15	4	ביני	beni-y	between-Me	between-Me	logic_bearing	none
Gen.9.15	5	וביניכם	u-vene-khem	and-between-you	and-between-you	logic_bearing	none
Gen.9.15	6	ובין	u-ven	and-between	and-between	logic_bearing	none
Gen.9.15	7	כל	kal	all	all	logic_bearing	none
Gen.9.15	8	נפש	nefesh	living-soul	living-soul	logic_bearing	none
Gen.9.15	9	חיה	chaya	living	living	logic_bearing	none
Gen.9.15	10	בכל	be-khal	in-all	in-all	logic_bearing	none
Gen.9.15	11	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.15	12	ולא	ve-lo	and-not	and-not	logic_bearing	none
Gen.9.15	13	יהיה	yihye	be	be	logic_bearing	none
Gen.9.15	14	עוד	od	still/again	still_again	logic_bearing	none
Gen.9.15	15	המים	ha-mayim	the-waters	the-waters	logic_bearing	none
Gen.9.15	16	למבול	le-mabul	into-a-deluge	mabul_token_8	logic_bearing	none
Gen.9.15	17	לשחת	le-shachet	to-destroy	shachat_token_7	logic_bearing	none
Gen.9.15	18	כל	kal	all	all	logic_bearing	none
Gen.9.15	19	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.16	0	והיתה	ve-hayta	and-be	and-be	logic_bearing	none
Gen.9.16	1	הקשת	ha-qeshet	the-bow	qeshet_token_3	logic_bearing	none
Gen.9.16	2	בענן	be-anan	in-the-cloud	anan_token_4	logic_bearing	none
Gen.9.16	3	וראיתיה	u-reiti-ha	and-I-will-see-it	inspection_verb_Godward	logic_bearing	none
Gen.9.16	4	לזכר	li-zekor	to-remember	ZAKHAR_token_3_brit_olam	logic_bearing	none
Gen.9.16	5	ברית	berit	covenant	covenant	logic_bearing	none
Gen.9.16	6	עולם	olam	everlasting	olam_token_5	logic_bearing	none
Gen.9.16	7	בין	ben	between	between	logic_bearing	none
Gen.9.16	8	אלהים	Elohim	God	ELOHIM_third_person_in_own_speech	logic_bearing	none
Gen.9.16	9	ובין	u-ven	and-between	and-between	logic_bearing	none
Gen.9.16	10	כל	kal	all	all	logic_bearing	none
Gen.9.16	11	נפש	nefesh	living-soul	living-soul	logic_bearing	none
Gen.9.16	12	חיה	chaya	living	living	logic_bearing	none
Gen.9.16	13	בכל	be-khal	in-all	in-all	logic_bearing	none
Gen.9.16	14	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.16	15	אשר	asher	which	which	logic_bearing	none
Gen.9.16	16	על	al	over	over	logic_bearing	none
Gen.9.16	17	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.17	0	ויאמר	va-yomer	and-He-said	FRAME_THREE_the_seal	logic_bearing	none
Gen.9.17	1	אלהים	Elohim	God	God	logic_bearing	none
Gen.9.17	2	אל	el	to	to	logic_bearing	none
Gen.9.17	3	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.9.17	4	זאת	zot	this	this	logic_bearing	none
Gen.9.17	5	אות	ot	sign-of	ot_token_5	logic_bearing	none
Gen.9.17	6	הברית	ha-berit	the-covenant	the-covenant	logic_bearing	none
Gen.9.17	7	אשר	asher	which	which	logic_bearing	none
Gen.9.17	8	הקמתי	haqimoti	I-have-established	HAKIMOTI_perfect_ladder_rung_three	logic_bearing	none
Gen.9.17	9	ביני	beni-y	between-Me	between-Me	logic_bearing	none
Gen.9.17	10	ובין	u-ven	and-between	and-between	logic_bearing	none
Gen.9.17	11	כל	kal	all	all	logic_bearing	none
Gen.9.17	12	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.17	13	אשר	asher	which	which	logic_bearing	none
Gen.9.17	14	על	al	over	over	logic_bearing	none
Gen.9.17	15	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none

Machine verification — run_unit.py (computed live, not stored)

unit: gen_22_covenant_bow — The covenant and the bow: My bow I have set in the cloud (9:8-17) [frozen]

final state: WORLD=[] (+3 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install']

=== S1 — Frame one opens, the registers sleep on: after STEP_Gn_9_8
    וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו (va-yomer Elohim el-Noach ve-el-banav)
    PASS  flags noach/banav/tevah as read-before-install  (flagged=['banav', 'noach', 'tevah'])
    PASS  SPECS empty.  (queue=0)

=== S2 — The ladder's participle rung holds: after STEP_Gn_9_9
    הִנְנִי מֵקִים אֶת־בְּרִיתִי (hinni mekim et-briti)
    PASS  Facts hinni_mekim_et_briti HOLD.  (1 facts)

=== S3 — The public never-agains stand: after STEP_Gn_9_11
    וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד (ve-lo-yikkaret kol-basar od)
    PASS  Facts va_hakimoti_et_briti_itkhem HOLD  (3 facts)
    PASS  ve_lo_yikkaret INVARIANT active  (invariants=['ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul', 've_lo_yihyeh_od_mabul_le_shachet_ha_aretz'])
    PASS  ve_lo_yihyeh_od_mabul INVARIANT active.  (invariants=['ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul', 've_lo_yihyeh_od_mabul_le_shachet_ha_aretz'])

=== S4 — The bow set, the sign-office held: after STEP_Gn_9_13
    אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן (et-qashti natati be-anan)
    PASS  Facts et_qashti_natati_be_anan/ve_haytah_le_ot_brit HOLD.  (6 facts)

=== S5 — The weather-wired handler installed: after STEP_Gn_9_14
    וְנִרְאֲתָה הַקֶּשֶׁת בֶּעָנָן (ve-nireatah ha-qeshet be-anan)
    PASS  Facts be_anni_anan HOLD.  (7 facts)

=== S6 — The remembering pledged — gen_19's prediction lands: after STEP_Gn_9_15
    וְזָכַרְתִּי אֶת־בְּרִיתִי (ve-zakharti et-briti)
    PASS  Facts ve_zakharti_et_briti/ve_lo_yihyeh_od_ha_mayim HOLD.  (9 facts)

=== S7 — The seal — the ladder tops out in the perfect: after STEP_Gn_9_17
    זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי (zot ot-ha-brit asher hakimoti)
    PASS  Facts zot_ot_ha_brit_asher_hakimoti HOLD  (11 facts)
    PASS  SPECS empty.  (queue=0)

=== S8_negative — Negative: the machine's ? stays guarded
    PASS  imperfect-in-command parsed as LET? (question mark kept)  (mood=LET?)
    PASS  auto-upgrade REFUSED  (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
    PASS  upgrade WITH citation allowed  (cite=per-unit judgment (owner), TIR-028 resolution)

=== S9_negative — Negative: flags never block
    PASS  commit proceeded (not blocked)  (LEDGER=[99])
    PASS  pattern deviation FLAGGED  (flags=['commit_without_test'])

ALL SCENARIOS GREEN

Python rendering — the unit as a program

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_22_covenant_bow.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_22_covenant_bow — 9:8-17
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_22_covenant_bow.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 covenant and the bow: My bow I have set in the cloud (9:8-17)"""
from machine import Machine

m = Machine("gen_22_covenant_bow")

# -------------------------- Gen.9.8 · THE_TRIPLE_FRAME_OPENS ---------------
# וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו אִתּוֹ לֵאמֹר
# "And God spoke unto Noah, and to his sons with him, saying:"
m.step("Gen.9.8")
# ‹וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ וְאֶל־בָּנָיו אִתּוֹ› (“and-He-said God to
# Noah and-to his-sons with-him”) — event: speak — agent God; theme to-
# Noach-and-to-banav
m.event("speak", agent="elohim", themes=["el_noach_ve_el_banav"])
# reads without prior install (flag, not fix): Noach, banav, ark
m.presupposed("noach", "banav", "tevah")
# witness-grounded state (its own tier): demotion_or_elevation on
# address_widened
m.witness_state("address_widened", "demotion_or_elevation",
                cites=["Bereshit Rabbah 35:1"])

# -------------------------- Gen.9.9 · I_AM_ESTABLISHING --------------------
# וַאֲנִי הִנְנִי מֵקִים אֶת־בְּרִיתִי אִתְּכֶם וְאֶת־זַרְעֲכֶם אַחֲרֵיכֶם
# "'As for Me, behold, I establish My covenant with you, and with your seed
# after you;"
m.step("Gen.9.9")
# ‹הִנְנִי מֵקִים אֶת־בְּרִיתִי אִתְּכֶם וְאֶת־זַרְעֲכֶם› (“behold-I
# establishing obj-marker My-covenant with-you and-with your-seed”) — fact
# holds: hinni-mekim-obj-marker·et-My-covenant-itkhem
m.fact("hinni_mekim_et_briti_itkhem")

# -------------------------- Gen.9.10 · EVERY_LIVING_SOUL_A_PARTY -----------
# וְאֵת כָּל־נֶפֶשׁ הַחַיָּה אֲשֶׁר אִתְּכֶם בָּעוֹף בַּבְּהֵמָה
# וּבְכָל־חַיַּת הָאָרֶץ אִתְּכֶם מִכֹּל יֹצְאֵי הַתֵּבָה לְכֹל חַיַּת
# הָאָרֶץ
# "and with every living creature that is with you, the fowl, the cattle,
# and every beast of the earth with you; of all that go out of the ark, even
# every beast of the earth."
m.step("Gen.9.10")
# ‹וְאֵת כָּל־נֶפֶשׁ הַחַיָּה אֲשֶׁר אִתְּכֶם … מִכֹּל יֹצְאֵי הַתֵּבָה›
# (“and-with all soul-of the-living which with-you … from-all goers-out-of
# the-ark”) — fact holds: and-obj-marker·et-all-soul-of-the-beast-which-
# itkhem
m.fact("ve_et_kol_nefesh_ha_chayah_asher_itkhem")

# -------------------------- Gen.9.11 · THE_CUT_VERB_BORN_REFUSING ----------
# וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתְּכֶם וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד מִמֵּי
# הַמַּבּוּל וְלֹא־יִהְיֶה עוֹד מַבּוּל לְשַׁחֵת הָאָרֶץ
# "And I will establish My covenant with you; neither shall all flesh be cut
# off any more by the waters of the flood; neither shall there any more be a
# flood to destroy the earth.'"
m.step("Gen.9.11")
# ‹וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתְּכֶם› (“and-I-will-establish obj-marker My-
# covenant with-you”) — fact holds: and-I-will-establish-obj-marker·et-My-
# covenant-itkhem
m.fact("va_hakimoti_et_briti_itkhem")
# ‹וְלֹא־יִכָּרֵת כָּל־בָּשָׂר עוֹד מִמֵּי הַמַּבּוּל› (“and-not be-cut-off
# all flesh still/again from-the-waters-of the-deluge”) — standing
# constraint: and-not-yikkaret-all-flesh-still/again-from-waters-of-the-
# deluge
m.invariant("ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul")
# ‹וְלֹא־יִהְיֶה עוֹד מַבּוּל לְשַׁחֵת הָאָרֶץ› (“and-not be still/again
# deluge to-destroy the-earth”) — standing constraint: and-not-yihyeh-
# still/again-deluge-to-destroy-the-earth
m.invariant("ve_lo_yihyeh_od_mabul_le_shachet_ha_aretz")

# -------------------------- Gen.9.12 · THE_FRAME_REOPENS_ON_THE_SIGN -------
# וַיֹּאמֶר אֱלֹהִים זֹאת אוֹת־הַבְּרִית אֲשֶׁר־אֲנִי נֹתֵן בֵּינִי
# וּבֵינֵיכֶם וּבֵין כָּל־נֶפֶשׁ חַיָּה אֲשֶׁר אִתְּכֶם לְדֹרֹת עוֹלָם
# "And God said: 'This is the token of the covenant which I make between Me
# and you and every living creature that is with you, for perpetual
# generations:"
m.step("Gen.9.12")
# ‹וַיֹּאמֶר אֱלֹהִים זֹאת אוֹת־הַבְּרִית› (“and-He-said God this sign-of
# the-covenant”) — event: speak — agent God; theme this-sign-of-the-brit
m.event("speak", agent="elohim", themes=["zot_ot_ha_brit"])
# ‹אֲשֶׁר־אֲנִי נֹתֵן בֵּינִי וּבֵינֵיכֶם … לְדֹרֹת עוֹלָם› (“which I giving
# between-Me and-between-you … for-generations-of everlasting”) — fact
# holds: I-giving-beini-and-veineikhem-to-generations-of-everlasting
m.fact("ani_noten_beini_u_veineikhem_le_dorot_olam")
# witness-tier presupposed read: exemptions_written_in_the_missing_letters
# on ledorot_clause — read, not installed
m.witness_read("ledorot_clause", "exemptions_written_in_the_missing_letters",
                cites=["Bereshit Rabbah 35:2"])

# -------------------------- Gen.9.13 · MY_BOW_IN_THE_CLOUD -----------------
# אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן וְהָיְתָה לְאוֹת בְּרִית בֵּינִי וּבֵין
# הָאָרֶץ
# "I have set My bow in the cloud, and it shall be for a token of a covenant
# between Me and the earth."
m.step("Gen.9.13")
# ‹אֶת־קַשְׁתִּי נָתַתִּי בֶּעָנָן וְהָיְתָה לְאוֹת בְּרִית› (“obj-marker
# My-bow I-have-set in-the-cloud and-be for-a-sign covenant”) — fact holds:
# obj-marker·et-qashti-I-have-set-in-cloud; and-haytah-to-sign-of-brit-
# beini-and-vein-the-earth
m.fact("et_qashti_natati_be_anan",
       "ve_haytah_le_ot_brit_beini_u_vein_ha_aretz")
# witness-tier presupposed read: placed_not_made on bow_sign — read, not
# installed
m.witness_read("bow_sign", "placed_not_made",
                cites=["Pirkei Avot 5:6", "Mekhilta DeRabbi Shimon Ben Yochai 31:6"])

# -------------------------- Gen.9.14 · THE_WEATHER_WIRED_HANDLER -----------
# וְהָיָה בְּעַנְנִי עָנָן עַל־הָאָרֶץ וְנִרְאֲתָה הַקֶּשֶׁת בֶּעָנָן
# "And it shall come to pass, when I bring clouds over the earth, and the
# bow is seen in the cloud,"
m.step("Gen.9.14")
# ‹וְהָיָה בְּעַנְנִי עָנָן … וְנִרְאֲתָה הַקֶּשֶׁת … וְזָכַרְתִּי› (“and-be
# when-I-cloud-up cloud … and-is-seen the-bow … and-mark”) — standing
# handler — if in-anni-cloud-and-nireatah-the-bow then and-I-will-remember-
# obj-marker·et-My-covenant
m.handler("be_anni_anan_ve_nireatah_ha_qeshet",
          "ve_zakharti_et_briti")

# -------------------------- Gen.9.15 · THE_REMEMBERING_PLEDGED -------------
# וְזָכַרְתִּי אֶת־בְּרִיתִי אֲשֶׁר בֵּינִי וּבֵינֵיכֶם וּבֵין כָּל־נֶפֶשׁ
# חַיָּה בְּכָל־בָּשָׂר וְלֹא־יִהְיֶה עוֹד הַמַּיִם לְמַבּוּל לְשַׁחֵת
# כָּל־בָּשָׂר
# "that I will remember My covenant, which is between Me and you and every
# living creature of all flesh; and the waters shall no more become a flood
# to destroy all flesh."
m.step("Gen.9.15")
# ‹וְזָכַרְתִּי אֶת־בְּרִיתִי … וְלֹא־יִהְיֶה עוֹד הַמַּיִם לְמַבּוּל›
# (“and-I-will-remember obj-marker My-covenant … and-not be still/again the-
# waters into-a-deluge”) — fact holds: and-I-will-remember-obj-marker·et-My-
# covenant-beini-and-veineikhem; and-not-yihyeh-still/again-the-waters-to-
# deluge
m.fact("ve_zakharti_et_briti_beini_u_veineikhem",
       "ve_lo_yihyeh_od_ha_mayim_le_mabul")
# witness-tier presupposed read: standing_law_with_disputed_scope on
# never_again_oath — read, not installed
m.witness_read("never_again_oath", "standing_law_with_disputed_scope",
                cites=["Tosefta Ta'anit 2:11", "Sifrei Devarim 343:9"])

# -------------------------- Gen.9.16 · TO_REMEMBER_THE_EVERLASTING ---------
# וְהָיְתָה הַקֶּשֶׁת בֶּעָנָן וּרְאִיתִיהָ לִזְכֹּר בְּרִית עוֹלָם בֵּין
# אֱלֹהִים וּבֵין כָּל־נֶפֶשׁ חַיָּה בְּכָל־בָּשָׂר אֲשֶׁר עַל־הָאָרֶץ
# "And the bow shall be in the cloud; and I will look upon it, that I may
# remember the everlasting covenant between God and every living creature of
# all flesh that is upon the earth.'"
m.step("Gen.9.16")
# ‹וּרְאִיתִיהָ לִזְכֹּר בְּרִית עוֹלָם בֵּין אֱלֹהִים וּבֵין כָּל־נֶפֶשׁ
# חַיָּה› (“and-I-will-see-it to-remember covenant everlasting between God
# and-between all living-soul living”) — fact holds: and-reitiha-to-me-
# zekor-brit-everlasting
m.fact("u_reitiha_li_zekor_brit_olam")

# -------------------------- Gen.9.17 · THE_SEAL_I_HAVE_ESTABLISHED ---------
# וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי בֵּינִי
# וּבֵין כָּל־בָּשָׂר אֲשֶׁר עַל־הָאָרֶץ
# "And God said unto Noah: 'This is the token of the covenant which I have
# established between Me and all flesh that is upon the earth.'"
m.step("Gen.9.17")
# ‹וַיֹּאמֶר אֱלֹהִים אֶל־נֹחַ› (“and-He-said God to Noah”) — event: speak —
# agent God; theme to-Noach
m.event("speak", agent="elohim", themes=["el_noach"])
# ‹זֹאת אוֹת־הַבְּרִית אֲשֶׁר הֲקִמֹתִי› (“this sign-of the-covenant which
# I-have-established”) — fact holds: this-sign-of-the-brit-which-I-will-
# establish
m.fact("zot_ot_ha_brit_asher_hakimoti")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'banav', 'noach', 'tevah'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 0
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 3}
    assert sorted(m.WORLD["facts"]) == sorted(['hinni_mekim_et_briti_itkhem', 've_et_kol_nefesh_ha_chayah_asher_itkhem', 'va_hakimoti_et_briti_itkhem', 'ani_noten_beini_u_veineikhem_le_dorot_olam', 'et_qashti_natati_be_anan', 've_haytah_le_ot_brit_beini_u_vein_ha_aretz', 'handler: IF(be_anni_anan_ve_nireatah_ha_qeshet) THEN(ve_zakharti_et_briti)', 've_zakharti_et_briti_beini_u_veineikhem', 've_lo_yihyeh_od_ha_mayim_le_mabul', 'u_reitiha_li_zekor_brit_olam', 'zot_ot_ha_brit_asher_hakimoti'])
    assert m.WORLD["invariants"] == ['ve_lo_yikkaret_kol_basar_od_mi_mei_ha_mabul', 've_lo_yihyeh_od_mabul_le_shachet_ha_aretz']
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 4
    assert sorted(m.WORLD["witnessed"]) == ['address_widened']
    assert m.WORLD["witnessed"]['address_widened']["cites"] == ['Bereshit Rabbah 35:1']
    assert all('demotion_or_elevation' not in f for f in m.WORLD["facts"])
    assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('ledorot_clause', 'exemptions_written_in_the_missing_letters'), ('bow_sign', 'placed_not_made'), ('never_again_oath', 'standing_law_with_disputed_scope')]
    assert m.WITNESS_READS[0]["cites"] == ['Bereshit Rabbah 35:2']
    assert all('exemptions_written_in_the_missing_letters' not in f for f in m.WORLD["facts"])
    assert 'ledorot_clause' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[1]["cites"] == ['Pirkei Avot 5:6', 'Mekhilta DeRabbi Shimon Ben Yochai 31:6']
    assert all('placed_not_made' not in f for f in m.WORLD["facts"])
    assert 'bow_sign' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[2]["cites"] == ["Tosefta Ta'anit 2:11", 'Sifrei Devarim 343:9']
    assert all('standing_law_with_disputed_scope' not in f for f in m.WORLD["facts"])
    assert 'never_again_oath' not in m.WORLD["witnessed"]
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

FROZEN 2026-08-03 (persistent derivation agent; freeze-after-review by the main loop — NO agent freeze; fourth unit under the PIPELINE + DEBUT-MAP process): twenty-third-unit candidate — THE COVENANT AND THE BOW; thirteenth extension-free derivation candidate in a row. One covenant in three speech-acts (the machine's only three events), every call precedent-matched with encodings quoted: the ASPECT-LADDER as facts in three grammars (participle TIR-031 per gen_17's anokhi-mamtir; weqatal TIR-029 per gen_16's OWN 6:18 encoding of the same verb — re-sounded plural here; closing perfect) — the establishment never takes a narrative deed-verb; BRIT tokens 2-8 of its first eight all in-span; KARAT ('cut') born NEGATED — the covenant-cutting verb's Torah debut refuses a cutting-off [crown]; the public never-again pair as INVARIANT x2 (gen_20's interior pledges externalized, delta named) with the decree's destroy-verb quoted inside; the war-bow (all later tokens weaponry) hung in the cloud (whose next tokens are the pillar of cloud) — held as FACTS on the Cain-mark precedent, ASSIGN and INSTALL declined; the weather-wired memory-duty as HANDLER (gen_12's class; the letter's own when-then chain crossing the 9:14/15 break); ZAKHAR tokens 2-3 landing frozen gen_19's prediction; the third-person Elohim clause held as the letter's strangest turn; the repetition-table (brit x7, bein x12) as the letter's own structure. Onkelos seats the Memra in God's place five times, keeps the self-pledged remembering active against its 8:1 precedent, keeps MY-bow, loses the cut-play — dual-track. Machine state: t0 empty, zero installs (+3 presupposed), zero writes, zero queue traffic, zero tests, three events, two invariants, one handler, nine facts, three read-flags — the counter-decree completed, at rest.

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.