The exit and the altar: go out, the families, the pleasing smell, never again (8:15-22) FROZEN

unit gen_20_exit_altar · Genesis 8:15-22 · derive logic_derived_v1 · phase C-20

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

צֵא מִן־הַתֵּבָה — וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ · tze min-ha-tevah — va-yarach YHWH et-reiach ha-nichoach · 'go out of the ark' — 'and YHWH smelled the pleasing odor'

Derived 2026-08-01 by the persistent derivation agent (freeze-after-review by the main loop — no agent freeze); second unit under the PIPELINE + DEBUT-MAP process (survey staged complete before the seed). REVIEW PASSED and FROZEN 2026-08-01 by the main loop: 17 independent census probes against the raw snapshot ALL confirmed (the speak-verb's 415-token debut, the binding-of-Isaac offering career, the heart-word's flood-frame, the double ktiv/qere rows, the hapax seasons, the again-verb and still-particle arcs); the TEST decision verified against frozen gen_12's own encoding; the INVARIANT class verified in the frozen week units (no extension); glossing airtight; nothing invented. The span wakes three registers that slept for three units: SPECS traffic (two demands, both popped — settled cycles #3 and #4), the first INSTALL since gen_16 (WORLD += mizbeach — city, ark, altar: the third built thing), and the first TEST since gen_17 (the smell-regard, on frozen gen_12's offering-regard precedent). Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (8 sequential fetches, Data/FETCHLOG.md — the buffer ERASES the smell into received-with-favor using the same favor-idiom it gave gen_12's gaze, moves the heart-speech into the Word (Memra), re-grounds the pardon in man's SINS, re-roots the strike-pledge in its own WIPE-verb, and drops the day-7 echo; the yetzer anthropology and both roster-orders survive); trees from the DB's stored tree_json. SIXTEENTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/ WATCHLIST_gen20_prospective_2026-08-01.md): cache holds ZERO sources for Gen 8:15-22 — fourteenth tripwire in a row. INTERPRETER: ZERO extensions — eleventh 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 (tze(noach, min_ha_tevah), lo_osif_le_qalel_od_et_ha_adamah).

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_20_exit_altar_claims.json — 11 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_20_2026-08-08.md). INSTRUMENT DISCOVERY: SNAPSHOT encodes ktiv/qere (written-form vs read-form) as TWO SEPARATE TOKENS. CROWNS (chain-attested, DB-verified): (1) G20-01/02 the written and the read, both instrumented: the animals' exit-command — הוצא ("bring out") as WRITTEN, היצא (the same command as READ): SNAPSHOT stores the bare written skeleton and the pointed read-form side by side, and Bereshit Rabbah's teaching rides the difference ("COMPEL them out — for all the ark-months mating was forbidden"; Rashi carries it): the program's first fully-instrumented written/read pair. (2) G20-06 עלת ("burnt-offerings," 8:20) doubly defective at the first altar, per the Hilleli and the Ramah's Torah-wide offering-rule. (3) G20-08 וירח ("and He smelled") — yod with qamatz (long a-vowel) per "all the books"; the Hilleli margin's rival all-patach (the short a-vowel) recorded. (4) G20-09 the two smellings: וירח — exactly two Torah tokens: the pleasing scent (8:21) and Isaac at the garments (27:27) — "read not his GARMENTS (בגדיו) but his REBELS (בוגדיו): even the rebels of Israel will one day give fragrance" (Kitzur Baal HaTurim). (5) G20-10 מנעריו ("from his youth") defective — R. Yudan: "from the hour he STIRS to leave his mother's womb" (Bereshit Rabbah 34); the Kitzur's trio runs to David the man of war (I Sam 17:33) and Moab on its lees (Jer 48:11) — inheritance edges. (6) G20-11 the two harvests: וקציר — the covenant of seasons (8:22) and Joseph's "neither plowing nor harvest" (45:6), the word's only two tokens. (7) G20-03 the flesh-word's bet dagesh (doubling dot, 8:17). DISCREPANCIES (three; the altar verse alone carries a DOUBLE crossover): G20-04 הטהורה ("the pure one") at 8:20 PLENE mid-verse, outside the Ramah's two-verse-initial rule (banked from gen_17, filed at its anchor); G20-05 העוף הטהור ("every pure bird," same verse) — Ramah rules PLENE, Hilleli records the dispute, SNAPSHOT writes DEFECTIVE: one verse crossing the Ramah's rules in BOTH directions; G20-07 the Ramah's one-exception offering-rule (the plene עולת, "burnt-offering of," only at Deut 27:6) — SNAPSHOT holds a second first-slot plene at Num 28:24: census locked, surplus recorded. INHERITANCE EDGES (attested; Torah side verified, inheritor wording pending): Gen 8:15 → Isaiah 11:6 (the species-list and the wolf-with-lamb roster); Gen 8:21 → I Samuel 26:19 (the smelled offering); G20-10's youth-trio rides as a verified claim. READINGS (named-only, unclaimed): ויבן ("and he built") read as "he UNDERSTOOD" — why multiply the pure? to offer from them (Bereshit Rabbah 34 / Shemot Rabbah 50 via Minchat Shai — the read-tradition's wordplay on the build-verb); the Garden's scent entered with the offering (Kitzur 8:21).

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

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	The exit and the altar (8:15-22): from the speak-verb's debut to the seasons pledge — 9:1 opens the blessing and the new food-law (the next unit's seam). Inside: the exit command and its bring-out twin (with the written/read fork riding the second), the echo-receipt, the families' exit, the first altar, the smell, the interior never-agains, the once-word seasons. The unit ends with the queue settled twice, a new object in the world, a new instrument on the test roster, and three standing constraints no event can ever pop.	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: 8:15 [the speak-frame \| to Noach, saying — a 5-word verse, no etnachta]; 8:16 [GO OUT of the ark \| you, wife, sons, sons' wives]; 8:17 [the whole manifest with the written/read bring-out pair ON the etnachta arm \| the swarm-be-fruitful- multiply charge]; 8:18 [Noach out \| the household, sons first]; 8:19 [every class that creeps \| BY THEIR FAMILIES they went out]; 8:20 [Noach built an altar to YHWH (the etnachta arm carries the whole founding) \| the take and the offering-up]; 8:21 [a 32-word giant: the smell-clause dressed in poetic-cousin accents (zinor, segol — rare in prose), the heart-speech, the first never-again and the yetzer-ground \| the second never-again alone on the final arm]; 8:22 [all the days of the earth \| the eight-beat merism closing on THEY SHALL NOT CEASE].	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01); survey complete via the debut map (39 flagged lemmas), careers pulled before the seed. 8:15 VA-YEDABER ELOHIM ('and God SPOKE') — DABAR, the speak-verb, TOKEN 1 OF 415 in the Torah: the verb of the Torah's whole revelation-formula is born on an exit-order — and it is the first divine speech since 7:4, after two silent spans (token 2 = 12:4, spoken to Abram: the verb's first two tokens both restart a world). 8:16 TZE ('go OUT', qal imperative, TIR-027) — the fourth imperative to Noach, answering 7:1's BO ('come'); the roster you-WIFE-sons-sons'-wives vs 6:18's covenant-roster you-SONS-wife-sons'-wives: near-verbatim, the wife's position shifted [named delta; the chain's readings named-only]; 8:18's narrated exit runs 6:18's order. 8:17 the bring-out imperative carries the span's ktiv/qere (written/read) fork ON ITS OWN FORM: written HOTZE, read HAYTZE (both hiphil imperative 'bring out') — the 5th written/read token in our spans (3:12, 3:20, 4:22, 7:2, here), prose-tracked, never machine-resolved [letter fact]; the charge VE-SHARTZU U-FARU VE-RAVU ('and they shall swarm, be fruitful, multiply' — weqatal, TIR-029) re-issues 1:22/1:28's blessing verbs as command-continuation (parah token 3, sharatz token 4) [quote-class letter fact]. 8:18 VA-YETZE NOACH — the command's own verb as deed (echo-receipt class: settled cycle #3); YATZA ('go out') tokens 7-11 all in-span (tokens 1-2 = creation's let-the-earth-BRING-FORTH, 1:12/1:24; token 4 = Cain going out from before YHWH). 8:19 LE-MISHPECHOTEIHEM YATZU ('BY THEIR FAMILIES they went out') — MISHPACHAH ('family') TOKEN 1 of 185, debuting on ANIMAL clans (career: the nations table x5, then 12:3's all-families-blessed); the commanded bring-out (hiphil) receipted by their own going-out (qal, perfect): self-exit, as gen_17's cargo self-loaded — settled cycle #4. 8:20 VA-YIVEN NOACH MIZBEACH — BANAH ('build') token 3: God builds the rib (2:22), Cain a city (4:17), Noach THE FIRST ALTAR; MIZBEACH ('altar') tokens 1-2 of 198 both in-verse (career: Abram's altars, the binding's, the Tabernacle's); OLAH ('burnt-offering') TOKEN 1 of 148 — tokens 2-7 are ALL the binding of Isaac; TAHOR ('pure/clean') tokens 5-6 — FROZEN gen_17's prediction ('token 5 = 8:20: the sevens are sacrifice-stock') LANDS EXACTLY, beast and bird; LAKACH ('take') token 16, back-to-back with the dove-take (token 15, 8:9); ALAH ('go up') token 2 — token 1 is 2:6's rising mist: the offering-smoke is the corpus's second ascent and the first sent up by a man. Name-texture: ELOHIM speaks the exit (8:15, the span's only Elohim token); the altar, the smell, and the heart-speech are YHWH (8:20, 8:21 x2) [letter fact; Onkelos levels all to the LORD-name — dual-track]. 8:21 VA-YARACH YHWH ET-REIACH HA-NICHOACH ('and YHWH SMELLED the PLEASING odor') — three debuts stacked: the smell-verb (token 1 of 5; career: Isaac smelling Jacob's garments 27:27, the incense Exod 30:38, the idols that cannot smell Deut 4:28), REIACH ('odor') token 1 of 43, NICHOACH ('pleasing/restful') token 1 of 39 — THE sacrificial formula's word, and a NUACH-family rest-word: the root that landed the ark (8:4) rises as savor [sibling-stem note: YANACH ('place/set down', the 3240 stem) has ITS token 1 at 2:15 — God PLACING the man in the garden: the rest-family opens the garden, lands the ark, and now pleases at the altar]. VA-YOMER YHWH EL-LIBO ('and YHWH said TO HIS HEART') — divine INTERIOR speech, the counter-resolve to gen_15's wipe-resolve, in poetic-cousin accents [tree fact]. The bookends, each DB-verified: YETZER ('inclination/form') TOKEN 2 of 3 — frozen gen_15's logged prediction lands: 6:5 grounds the decree, 8:21 grounds the pardon, SAME evidence, opposite verdicts (token 3 = Deut 31:21); LEV ('heart') tokens 3-4 both here vs tokens 1-2 at 6:5/6:6 — the heart-word's first four tokens frame the flood; BAAVUR ('for the sake of') token 2 — token 1 is 3:17's cursed-for-YOUR-sake: the never-again-curse un-says Eden's ground-curse in its own preposition; NAKAH ('strike') token 2 — token 1 is 4:15's Cain-protection clause; QALAL ('be light / curse') token 3 — gen_19's abate-arc lands (the waters lightened 8:8/8:11; the ground never again lightened-against); YASAF ('add/again') tokens 5-6 — the double LO OSIF right after the dove's tokens 3-4; OD ('again/still') tokens 3-8 ALL in Gen 8: one particle carries the chapter's argument. 8:22 the seasons merism in ONCE-WORDS: QOR ('cold'), QAYITZ ('summer'), CHOREF ('winter') — three Torah hapaxes; CHOM ('heat') 2 tokens (the other: 18:1, the heat of Abraham's day); QATZIR ('harvest') token 1 of 14 (career: the festival calendar); ZERA as seedtime; day and night from 1:5. LO YISHBOTU ('they shall NOT CEASE') — SHABAT ('cease') token 3: tokens 1-2 are GOD'S OWN day-7 ceasing (2:2, 2:3) — creation's rest-verb negated to keep the world's clock running [letter fact]. NO date in span.	tested
D	Predicates & outcomes	The unit is a hinge: the same voice that decreed in gen_15 re-reads the same evidence and rules the other way — and the letter builds the reversal in matched pairs (bo/tze, 6:18/8:16, 6:5/8:21, 3:17/8:21, 4:15/8:21, 2:2-3/8:22). The man's part is wordless: he exits on command, builds unbidden, takes, offers — and the corpus's first altar draws the corpus's first divine smelling, which draws the pledge. Command flows down as Elohim; savor rises to YHWH. The machine's shape: two cycles settled, one object installed, one PASS on a new instrument, three invariants standing at close — the first unit since the week to leave MORE standing structure than it found.	tested
E	Logic format choice	Operator lines; NO ledger row. 8:15 EVENT speak (Agent elohim) + NOTE_PRESUPPOSED (noach, tevah — two flags only: the waters are off the page). 8:16 DECLARE(elohim, LET(tze(noach, min_ha_tevah))) — TIR-027, the queue's first push since gen_17. 8:17 DECLARE(elohim, LET(hotze(kol_ha_ chayah, itakh))) — TIR-027 — with the weqatal charge as command-bundle FACT (TIR-029); the written/read fork stays prose [decision: prior tokens all prose-tracked, never machine-resolved]. 8:18 EVENT go_out + RESULT popping the tze-demand — settled cycle #3 (the echo-receipt class). 8:19 FACT (the letter's own families-clause) + RESULT popping the hotze-demand — settled cycle #4 [decision recorded: the receipt verb is qal where the command was hiphil — the letter narrates self-exit answering a bring-out order, the gen_17 self-loading pattern; the RESULT op records the machine settlement, the stem-shift named in prose]. 8:20 EVENT build + REGISTRY_INSTALL (WORLD += {mizbeach} — the gen_16 tevah / gen_13 ir precedent: completed build, persistent object; first install in four units) + EVENT take + EVENT offer_up. 8:21 EVENT smell + TEST PASS(nichoach, ha_olah) [decision on the gen_12 precedent: the offering-regard class ran as TEST PASS(shaah, hevel_u_minchato) — sense-verb + evaluative noun on an offering; the smell is the same class; the instrument roster grows: tov, shaah, tzaddik, nichoach] + EVENT say (el_libo — the interior frame) + INVARIANT x2 [decision: the never-agains are PERPETUAL NEGATIONS with no possible execution receipt — not demands: gen_15's resolve awaited its 7:23; nothing can ever pop never-again — the INVARIANT class is exactly standing constraints; DECLARE would put unfalsifiable entries in a queue built to empty]. 8:22 INVARIANT x1 — the merism as one constraint carrying the letter's own duration clause (od kol yemei ha-aretz, 'all the days of the earth'). TIME: t0 stays EMPTY — no date in span; cyclical durations are invariant content, not anchors [decision recorded]. Interpreter extensions: NONE.	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: tze(noach, min_ha_tevah), hotze(kol_ha_chayah, itakh), mizbeach, reiach_ha_nichoach, lo_osif_le_qalel_od_et_ha_adamah, lo_osif_od_le_hakot_et_kol_chai, zera_ve_qatzir_ve_qor_va_chom_ve_qayitz_va_choref_ve_yom_ va_laylah_lo_yishbotu.	established
G	Oral (named only) + Tier-A translation check	Named but NOT read (cache: zero for Gen 8:15-22 — fourteenth tripwire; gen_20 Tier-A queue): Bavli Zevachim 115b-116a (Noach's offering; what a Noachide may offer); Bereshit Rabbah 34 (the exit by families; 34:9-10 the odor and the heart-verse; the yetzer teachings); Rashi at 8:16-17 (the exit orders; the written/read fork read as bring-out vs let-out), 8:20 (the clean sevens recalled), 8:21 (mi-neurav spelled short — the inclination from the womb); Bavli Sanhedrin 59b (meat permission waits for 9:3). Tier-A Onkelos (8 fetches, FETCHLOG 2026-08-01): the SMELL ERASED — 'and the LORD RECEIVED his offering WITH FAVOR' (kabbil be-raava, bolded variant): no nose, no odor — and the favor-idiom is the SAME one the buffer gave gen_12's gaze: the letter's two offering-instruments leveled into one acceptance formula (flagged; the TEST stands on the letter); EL-LIBO ('to His heart') -> BE-MEIMREIH ('in His WORD' — the Memra class; flagged); BA-AVUR HA-ADAM ('for man's sake') -> BEDIL CHOVEI ENASHA ('because of man's SINS' — inserted guilt where the letter grounds pardon in what man IS; the 3:17 echo lost; flagged); the yetzer-clause KEPT in cognate; LE-HAKOT ('to strike') -> LE-MIMCHEI — the buffer re-uses its own WIPE-verb from 7:23: pledge and execution tied by one Aramaic root the Hebrew keeps apart (flagged); LE-QALEL -> LE-MEILAT — the one-root abate/curse arc does not survive (flagged); LO YISHBOTU -> LA YIVTELUN (the idle-verb — the negated day-7 echo lost; flagged); ELOHIM -> YY at 8:15 (the command/cult name-split leveled — third leveling in a row) with EL ('to') -> IM ('WITH' Noach, bolded); the written/read fork translated as ONE form (appeik — the read form; the fork vanishes); VE-SHARTZU ('swarm') -> VE-YITYALLEDUN ('breed' — the creation-quote diluted); LE-MISHPECHOTEIHEM -> LI-ZARAYAT-HON (family via the SEED-root); LA-YHWH -> KODAM YY ('BEFORE the LORD' — the altar distanced, bolded). KEPT: both roster-orders (the 6:18-vs-8:16 delta is translation-stable), the clean-pair, the altar-cognate, the once-word seasons (choref -> sitva excepted), the digit-free span.	tested
H	Scenarios	S1 the speak-frame: flags noach/tevah; queue still empty. S2 the exit-demand pushed and OPEN. S3 the bring-out joins (two open) + the charge-fact. S4 the echo-receipt: demand one popped, the bring-out still open — settled cycle #3 mid-flight. S5 the families out: SPECS EMPTY — cycle #4. S6 the altar: WORLD = {mizbeach} — first install since the ark. S7 the smell-test PASS + the first never-again INVARIANT active. S8 the seasons INVARIANT active, queue empty at close. S9_negative: LET? contract guard; S10_negative: flag-never-block.	tested
I	English leakage review	Operators derive from morph codes (the two qal/hiphil imperatives TIR-027; the weqatal charge TIR-029; the echo-receipt and the qal-for-hiphil families-receipt; the perfect/wayyiqtol-class discipline) and the complete debut-map survey plus precedent checks run BEFORE drafting (dabar / yatza / mishpachah / banah / mizbeach / olah / tahor / lakach / alah / ruach-verb / reiach / nichoach / yetzer / lev / baavur / nakah / neurim / yasaf / qalal / shabat / od / qor / chom / qayitz / choref / qatzir careers; the 6:18-vs-8:16 roster compare; the gen_12 TEST precedent; the gen_16/gen_13 install precedent; the yanach sibling stem). NOT supplied: any reading of the interior speech, why the wife moves in the command-roster, the written/read fork's resolution (prose-tracked), the Noachide-offering question, or the two-inclinations doctrine — every one [OPEN] or named-only; the Onkelos erasures and re-rootings stay dual-track.	established
J	Pre-flight + freeze-after-review (agent derivation)	Pre-flight 2026-08-01 against the UNMODIFIED repo interpreter — zero injected prototypes; GREEN (8/8 steps, 10/10 scenarios, 19/19 clause checks). The agent delivered status DRAFT; the MAIN LOOP reviewed the full prose, re-verified 17 censuses independently, checked both machine precedents (gen_12's offering-regard TEST; the week units' INVARIANT), and froze on a passing review — freeze-after-review #3. Changes henceforth require an amend order, not silent edits.	established

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

STEP_Gn_8_15 · Gen.8.15 · THE_SPEAK_VERB_DEBUTS

וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ לֵאמֹר · va-yedaber Elohim el-Noach lemor · [EN-AID/JPS] And God spoke unto Noah, saying:

LEFT
וידבר אלהים · va-yedaber Elohim · and God SPOKE (top split — a five-word verse, no etnachta)

RIGHT
אל נח לאמר · el-Noach lemor · to Noach, saying

operator	expression	Hebrew anchor	cites	confidence
EVENT	speak(e1) ∧ Agent(e1, elohim) ∧ Theme(e1, el_noach) = speak(e1) ∧ Agent(e1, God) ∧ Theme(e1, to-Noach) VA-YEDABER — 'and God SPOKE': DABAR, the speak-verb, TOKEN 1 OF 415 IN THE TORAH — the verb of the whole 'and YHWH spoke to Moses' formula is BORN here, on the exit-order, and it is the first divine speech since 7:4: two whole spans of silence end in the verb that will carry the revelation (token 2 = 12:4, spoken to Abram — the verb's first two tokens both restart a world). Speech returns as ELOHIM; the altar will answer to YHWH [letter fact; Onkelos levels to the LORD-name and turns 'to Noach' into 'WITH Noach' — dual-track, flagged].	וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ לֵאמֹר · va-yedaber Elohim el-Noach lemor = He-spoke God to-Noach lemor	—	tested
NOTE_PRESUPPOSED	noach, tevah are READ without prior install (the survivor and the vessel, resumed; the waters are off the page) = Noach, ark are READ without prior install (the survivor and the vessel, resumed; the waters are off the page) flag, not fix	—	—	tested

The Torah's speaking-verb is born telling one man the flood is over.

STEP_Gn_8_16 · Gen.8.16 · THE_EXIT_COMMAND

צֵא מִן־הַתֵּבָה אַתָּה וְאִשְׁתְּךָ וּבָנֶיךָ וּנְשֵׁי־בָנֶיךָ אִתָּךְ · tze min-ha-tevah atah ve-ishtekha u-vanekha u-neshei-vanekha itakh · [EN-AID/JPS] 'Go forth from the ark, thou, and thy wife, and thy sons, and thy sons' wives with thee.

LEFT
צא מן התבה · tze min-ha-tevah · GO OUT of the ark (etnachta arm)

RIGHT
אתה ואשתך ובניך ונשי בניך אתך · atah ve-ishtekha u-vanekha u-neshei-vanekha itakh · you, and your wife, and your sons, and your sons' wives with you

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(elohim, LET(tze(noach, min_ha_tevah))) = DECLARE(God, LET(go-out(Noach, from-the-ark))) The fourth imperative to Noach (TIR-027): TZE — 'GO OUT', answering 7:1's BO ('come'): the door that closed on a command opens on one; the demand-queue takes its FIRST PUSH SINCE GEN_17 (three units of empty traffic end). The roster: you and your WIFE and your sons and your sons' wives — 6:18's covenant-roster (you and your SONS and your wife and your sons' wives) near-verbatim with the WIFE'S POSITION SHIFTED forward [named delta, DB compare; the chain's resumption reading is named-only; 8:18's narrated exit will run 6:18's order].	צֵא מִן־הַתֵּבָה · tze min-ha-tevah = go-out from-the-ark	TIR-027	tested

The exit is commanded in the entry's grammar with one station moved: the wife stands next to the man in the order to leave.

STEP_Gn_8_17 · Gen.8.17 · THE_BRING_OUT_AND_THE_CHARGE

כָּל־הַחַיָּה אֲשֶׁר־אִתְּךָ מִכָּל־בָּשָׂר בָּעוֹף וּבַבְּהֵמָה וּבְכָל־הָרֶמֶשׂ הָרֹמֵשׂ עַל־הָאָרֶץ הוצא הַיְצֵא אִתָּךְ וְשָׁרְצוּ בָאָרֶץ וּפָרוּ וְרָבוּ עַל־הָאָרֶץ · kol-ha-chayah asher-itekha mi-kol-basar ba-of u-va-behemah u-ve-khol-ha-remes ha-romes al-ha-aretz hotze [ktiv] haytze [qere] itakh ve-shartzu va-aretz u-faru ve-ravu al-ha-aretz · [EN-AID/JPS] Bring forth with thee every living thing that is with thee, of all flesh, both fowl, and cattle, and every creeping thing that creepeth upon the earth; that they may swarm in the earth, and be fruitful, and multiply upon the earth.'

LEFT
כל החיה אשר אתך מכל בשר בעוף ובבהמה ובכל הרמש הרמש על הארץ הוצא היצא אתך · kol-ha-chayah asher-itekha mi-kol-basar ba-of u-va-behemah u-ve-khol-ha-remes ha-romes al-ha-aretz hotze/haytze itakh · the whole manifest — BRING OUT (written and read forms side by side) with you (etnachta arm)

RIGHT
ושרצו בארץ ופרו ורבו על הארץ · ve-shartzu va-aretz u-faru ve-ravu al-ha-aretz · and they shall swarm, be fruitful, and multiply on the earth

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(elohim, LET(hotze(kol_ha_chayah, itakh))) = DECLARE(God, LET(bring-out(all-the-beast, with-you))) The second demand (TIR-027): BRING OUT every living thing with you — and the command-verb itself carries the span's WRITTEN/READ fork: written HOTZE, read HAYTZE (both hiphil imperative, 'bring out') — the 5th ktiv/qere token in our spans (3:12, 3:20, 4:22, 7:2, here), riding the exit-verb [letter fact, prose-tracked — never machine-resolved; the chain's bring-out-vs-let-out reading is named-only; Onkelos translates ONE form and the fork vanishes — dual-track]. YATZA ('go out') tokens 7-11 are all this span's (tokens 1-2 = creation's let-the-earth-BRING-FORTH).	הוצא הַיְצֵא אִתָּךְ · hotze [ktiv] / haytze [qere] itakh = bring-out [ktiv] / bring-out-read [qere] with-you	TIR-027	tested
PRECONDITION_STATE	HOLDS(ve_shartzu_u_faru_ve_ravu_al_ha_aretz, t1) = HOLDS(and-they-shall-swarm-and-be-fruitful-and-multiply-over-the-earth, t1) The charge (weqatal, TIR-029, command-bundle fact): AND THEY SHALL SWARM, BE FRUITFUL, AND MULTIPLY — 1:22 and 1:28's blessing verbs re-issued as command-continuation (parah token 3, sharatz token 4): the exit-order quotes the creation blessing back into force [quote-class letter fact; Onkelos re-verbs the swarm as 'breed' — the quote diluted; dual-track].	וְשָׁרְצוּ בָאָרֶץ וּפָרוּ וְרָבוּ עַל־הָאָרֶץ · ve-shartzu va-aretz u-faru ve-ravu al-ha-aretz = they-shall-swarm earth be-fruitful multiply over-the-earth	TIR-029	tested

The manifest that filed in files out, under a verb the scribes wrote one way and read another.

STEP_Gn_8_18 · Gen.8.18 · THE_EXIT_RECEIPT

וַיֵּצֵא־נֹחַ וּבָנָיו וְאִשְׁתּוֹ וּנְשֵׁי־בָנָיו אִתּוֹ · va-yetze-Noach u-vanav ve-ishto u-neshei-vanav ito · [EN-AID/JPS] And Noah went forth, and his sons, and his wife, and his sons' wives with him;

LEFT
ויצא נח · va-yetze-Noach · and Noach WENT OUT (etnachta arm)

RIGHT
ובניו ואשתו ונשי בניו אתו · u-vanav ve-ishto u-neshei-vanav ito · and his sons, and his wife, and his sons' wives with him

operator	expression	Hebrew anchor	cites	confidence
EVENT	go_out(e2) ∧ Agent(e2, noach) = go-out(e2) ∧ Agent(e2, Noach) The command's own verb returns as the deed: TZE ('go out!') -> VA-YETZE ('and he went out') — the echo-receipt class (gen_09's make->built, gen_16's make->made, gen_17's come->came). The household files out in 6:18's order — sons before wife: the promise's sequence, not the command's [letter fact, held].	וַיֵּצֵא־נֹחַ · va-yetze-Noach = and-he-went-out-Noach	—	tested
RESULT	RESULT: HOLDS(tze(noach, min_ha_tevah), t1) = RESULT: HOLDS(go-out(Noach, from-the-ark), t1) The tze-demand POPPED — SETTLED CYCLE #3: the machine's third command cycle closes in the command's own verb, one verse after the push; the bring-out demand still waits (its receipt belongs to the animals).	וַיֵּצֵא־נֹחַ … אִתּוֹ · va-yetze-Noach … ito = and-he-went-out-Noach with-him	—	tested

A year and ten days after coming in on a word, the man goes out on one.

STEP_Gn_8_19 · Gen.8.19 · OUT_BY_FAMILIES

כָּל־הַחַיָּה כָּל־הָרֶמֶשׂ וְכָל־הָעוֹף כֹּל רוֹמֵשׂ עַל־הָאָרֶץ לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה · kol-ha-chayah kol-ha-remes ve-khol-ha-of kol romes al-ha-aretz le-mishpechoteihem yatzu min-ha-tevah · [EN-AID/JPS] every beast, every creeping thing, and every fowl, whatsoever moveth upon the earth, after their families, went forth out of the ark.

LEFT
כל החיה כל הרמש וכל העוף כל רומש על הארץ · kol-ha-chayah kol-ha-remes ve-khol-ha-of kol romes al-ha-aretz · every beast, creeper, bird — all that moves (etnachta arm)

RIGHT
למשפחתיהם יצאו מן התבה · le-mishpechoteihem yatzu min-ha-tevah · BY THEIR FAMILIES they went out of the ark

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(le_mishpechoteihem_yatzu_min_ha_tevah, t1) = HOLDS(to-mishpechoteihem-they-went-out-from-the-ark, t1) BY THEIR FAMILIES THEY WENT OUT: MISHPACHAH ('family') — TOKEN 1 of 185 in the Torah, debuting on ANIMAL clans: the word of the nations table (x5 in Gen 10) and of 12:3's all-the-families-blessed walks out of the ark first on paws and wings [letter fact; Onkelos renders it through the SEED-root — dual-track].	לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה · le-mishpechoteihem yatzu min-ha-tevah = to-mishpechoteihem they-went-out from-the-ark	—	tested
RESULT	RESULT: HOLDS(hotze(kol_ha_chayah, itakh), t1) = RESULT: HOLDS(bring-out(all-the-beast, with-you), t1) The hotze-demand POPPED — SETTLED CYCLE #4, and the queue is EMPTY again: the commanded BRING-OUT (hiphil) is receipted by their own GOING-OUT (qal, perfect) — the stem shifts from cause-to-go to went [decision recorded]: Noach is never shown herding; the cargo that loaded itself (gen_17) unloads itself, in clans.	יָצְאוּ מִן־הַתֵּבָה · yatzu min-ha-tevah = they-went-out from-the-ark	—	tested

The order said bring them; the letter says they went — the obedience is ecosystem-wide on the way out too.

STEP_Gn_8_20 · Gen.8.20 · THE_FIRST_ALTAR

וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה וַיִּקַּח מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה וּמִכֹּל הָעוֹף הַטָּהֹר וַיַּעַל עֹלֹת בַּמִּזְבֵּחַ · va-yiven Noach mizbeach la-YHWH va-yikkach mi-kol ha-behemah ha-tehorah u-mi-kol ha-of ha-tahor va-yaal olot ba-mizbeach · [EN-AID/JPS] And Noah builded an altar unto the LORD; and took of every clean beast, and of every clean fowl, and offered burnt-offerings on the altar.

LEFT
ויבן נח מזבח ליהוה · va-yiven Noach mizbeach la-YHWH · Noach built an altar to YHWH (the etnachta arm carries the whole founding)

RIGHT
ויקח מכל הבהמה הטהורה ומכל העוף הטהר ויעל עלת במזבח · va-yikkach mi-kol ha-behemah ha-tehorah u-mi-kol ha-of ha-tahor va-yaal olot ba-mizbeach · he took of every clean beast and bird, and offered burnt-offerings on it

operator	expression	Hebrew anchor	cites	confidence
EVENT	build(e3) ∧ Agent(e3, noach) ∧ Theme(e3, mizbeach) = build(e3) ∧ Agent(e3, Noach) ∧ Theme(e3, altar) VA-YIVEN — 'and Noach BUILT an altar to YHWH': BANAH ('build') token 3 — God builds the rib into woman (2:22), Cain builds a city (4:17), Noach builds THE FIRST ALTAR: the third built thing in the corpus, and the first built for God, unbidden — no command precedes it [letter fact]. MIZBEACH ('altar') — tokens 1-2 of 198, both in this verse (career: Abram's four, the binding's, the Tabernacle's two) [Onkelos: built BEFORE the LORD — the dedication distanced; dual-track].	וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה · va-yiven Noach mizbeach la-YHWH = he-built Noach altar YHWH	—	tested
REGISTRY_INSTALL	WORLD += {mizbeach} = WORLD += {altar} THE FIRST INSTALL SINCE GEN_16: a completed build with a persistent object (the tevah/ir precedent — city, ark, altar: the corpus's three built things, one per builder-class). The WORLD register wakes after four empty units.	מִזְבֵּחַ · mizbeach = altar	—	tested
EVENT	take(e4) ∧ Agent(e4, noach) ∧ Theme(e4, min_ha_behemah_ha_tehorah_u_min_ha_of_ha_tahor) = take(e4) ∧ Agent(e4, Noach) ∧ Theme(e4, from-the-livestock-the-clean-and-from-the-flying-creature-the-clean) The TAKE: of every CLEAN beast and every CLEAN bird — TAHOR tokens 5-6: FROZEN gen_17's prediction ('token 5 = 8:20, THE ALTAR: the clean sevens are sacrifice-stock') LANDS EXACTLY — the cargo arithmetic of 7:2 pays out here, two chapters later, as the frozen unit said it would [frozen-unit prediction landing; letter fact]. LAKACH ('take') token 16 — token 15 was the dove (8:9): the same hand, two takes, rescue then offering.	וַיִּקַּח מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה וּמִכֹּל הָעוֹף הַטָּהֹר · va-yikkach mi-kol ha-behemah ha-tehorah u-mi-kol ha-of ha-tahor = and-yikkach all livestock clean all flying-creature clean	—	tested
EVENT	offer_up(e5) ∧ Agent(e5, noach) ∧ Theme(e5, olot_ba_mizbeach) = offer-up(e5) ∧ Agent(e5, Noach) ∧ Theme(e5, burnt-offerings-in-the-altar) VA-YAAL OLOT — 'and he OFFERED UP burnt-offerings': OLAH ('burnt-offering', the goes-up offering) — TOKEN 1 of 148; its tokens 2-7 are ALL the binding of Isaac (Gen 22): the offering-class debuts on Noach's altar and reconvenes on Moriah. ALAH ('go up') token 2 — token 1 was 2:6's rising mist: the corpus's second ascent is the first a man sends up.	וַיַּעַל עֹלֹת בַּמִּזְבֵּחַ · va-yaal olot ba-mizbeach = he-offered-up burnt-offerings altar	—	tested

Nobody told him to. The first thing built in the washed world is an altar, and the sevens finally say why they were seven.

STEP_Gn_8_21 · Gen.8.21 · THE_SMELL_THE_HEART_THE_NEVER_AGAINS

וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ לֹא־אֹסִף לְקַלֵּל עוֹד אֶת־הָאֲדָמָה בַּעֲבוּר הָאָדָם כִּי יֵצֶר לֵב הָאָדָם רַע מִנְּעֻרָיו וְלֹא־אֹסִף עוֹד לְהַכּוֹת אֶת־כָּל־חַי כַּאֲשֶׁר עָשִׂיתִי · va-yarach YHWH et-reiach ha-nichoach va-yomer YHWH el-libo lo-osif le-qalel od et-ha-adamah baavur ha-adam ki yetzer lev ha-adam ra mi-neurav ve-lo-osif od le-hakot et-kol-chai ka-asher asiti · [EN-AID/JPS] And the LORD smelled the sweet savour; and the LORD said in His heart: 'I will not again curse the ground any more for man's sake; for the imagination of man's heart is evil from his youth; neither will I again smite any more every thing living, as I have done.

LEFT
וירח יהוה את ריח הניחח ויאמר יהוה אל לבו לא אסף לקלל עוד את האדמה בעבור האדם כי יצר לב האדם רע מנעריו · va-yarach YHWH et-reiach ha-nichoach va-yomer YHWH el-libo lo-osif le-qalel od et-ha-adamah baavur ha-adam ki yetzer lev ha-adam ra mi-neurav · the smell, the heart-speech, the first never-again and its yetzer-ground (etnachta arm)

RIGHT
ולא אסף עוד להכות את כל חי כאשר עשיתי · ve-lo-osif od le-hakot et-kol-chai ka-asher asiti · and I will never again strike all living as I have done

operator	expression	Hebrew anchor	cites	confidence
EVENT	smell(e6) ∧ Agent(e6, YHWH) ∧ Theme(e6, reiach_ha_nichoach) = smell(e6) ∧ Agent(e6, the-LORD) ∧ Theme(e6, odor-the-pleasing-savor) VA-YARACH — 'and YHWH SMELLED the PLEASING odor': three debuts in four words — the smell-verb (token 1 of 5; career: Isaac smelling Jacob's garments 27:27, the incense Exod 30:38, the idols that CANNOT smell Deut 4:28), REIACH ('odor') token 1 of 43, NICHOACH ('pleasing/restful') token 1 of 39 — the sacrificial formula's own word, and a NUACH-family rest-word: the root that landed the ark (8:4 va-tanach) rises as savor [sibling stem named: YANACH ('place/set down') token 1 = 2:15, God placing the man in the garden — the rest-family opens the garden, lands the ark, pleases at the altar]. The clause wears poetic-cousin accents (zinor, segol) [tree fact]. [Onkelos ERASES the smell — 'received his offering with favor', the same favor-idiom it gave the 4:4 gaze: the letter's two regard-instruments leveled; dual-track, flagged.]	וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ · va-yarach YHWH et-reiach ha-nichoach = He-smelled the-LORD obj-marker·et-odor pleasing-savor	—	tested
TEST	TESTS += PASS(nichoach, ha_olah) = TESTS += PASS(pleasing-savor, the-burnt-offering) THE OFFERING-REGARD CLASS, second firing: frozen gen_12 encoded the gaze at Abel's offering as TEST PASS(shaah, hevel_u_minchato) — sense-verb + evaluative noun on an offering; the smell is the same class, so the machine records PASS with the new oracle word [decision on precedent]. The instrument roster: tov (the week), shaah (the gaze), tzaddik (the person), now NICHOACH (the savor).	רֵיחַ הַנִּיחֹחַ · reiach ha-nichoach = odor pleasing-savor	—	tested
EVENT	say(e7) ∧ Agent(e7, YHWH) ∧ Theme(e7, el_libo) = say(e7) ∧ Agent(e7, the-LORD) ∧ Theme(e7, to-His-heart) 'And YHWH said TO HIS HEART' — divine INTERIOR speech: the counter-resolve to gen_15's wipe-resolve, spoken where no creature hears. LEV ('heart') tokens 3-4 are both in this verse; tokens 1-2 were 6:5 (man's evil heart) and 6:6 (God's grieved heart): the heart-word's first four tokens frame the flood — grief spoke the decree into the same organ that now speaks the pardon [letter fact; Onkelos moves the speech into the WORD (Memra) — dual-track, flagged].	וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ · va-yomer YHWH el-libo = He-said the-LORD to-His-heart	—	tested
INVARIANT	INVARIANT(lo_osif_le_qalel_od_et_ha_adamah) during t1 = INVARIANT(not-will-I-again-to-curse-again-obj-marker·et-the-ground) during t1 NEVER-AGAIN #1, installed as a STANDING CONSTRAINT [decision: a perpetual negation with no possible execution receipt is not a demand — nothing can ever pop never-again; the INVARIANT class carries it]. The bookends, each DB-verified: QALAL ('be light / curse') token 3 — gen_19's arc lands (the waters LIGHTENED at 8:8/8:11; the ground never again LIGHTENED-against); BAAVUR ('for the sake of') token 2 — token 1 is 3:17's 'cursed is the ground FOR YOUR SAKE': Eden's ground-curse un-said in its own preposition; and the ground: KI YETZER LEV HA-ADAM RA MI-NEURAV ('for the INCLINATION of man's heart is evil from his YOUTH') — YETZER token 2 of 3: FROZEN gen_15's logged prediction lands — 6:5 grounds the DECREE in this clause, 8:21 grounds the PARDON in it: same evidence, opposite verdicts [frozen-unit bookend; token 3 = Deut 31:21; the chain's two-inclinations doctrine named-only; NEURIM ('youth') debuts inside the clause; Onkelos re-grounds in man's SINS — the letter's for-his-sake becomes because-of-his-guilt; dual-track, flagged].	לֹא־אֹסִף לְקַלֵּל עוֹד אֶת־הָאֲדָמָה בַּעֲבוּר הָאָדָם כִּי יֵצֶר לֵב הָאָדָם רַע מִנְּעֻרָיו · lo-osif le-qalel od et-ha-adamah baavur ha-adam ki yetzer lev ha-adam ra mi-neurav = not-will-I-again curse again obj-marker·et-the-ground baavur human for inclination-of heart-of human evil from-neurav	—	tested
INVARIANT	INVARIANT(lo_osif_od_le_hakot_et_kol_chai) during t1 = INVARIANT(not-will-I-again-again-to-strike-obj-marker·et-all-living) during t1 NEVER-AGAIN #2, alone on the verse-end arm: 'never again to STRIKE all living AS I HAVE DONE' — NAKAH ('strike') token 2 (token 1 = 4:15, the clause protecting Cain from being struck: both early tokens are strike-limits); YASAF ('add/again') tokens 5-6 are this double LO OSIF, right after the dove's tokens 3-4 (8:10, 8:12): the again-verb migrates from the bird's errand to the everlasting pledge; KA-ASHER ASITI ('as I have DONE') — the maker's verb owning the deed [letter fact; Onkelos renders the strike with its own WIPE-verb from 7:23 — pledge and execution tied in Aramaic where the letter keeps them apart; dual-track, flagged].	וְלֹא־אֹסִף עוֹד לְהַכּוֹת אֶת־כָּל־חַי כַּאֲשֶׁר עָשִׂיתִי · ve-lo-osif od le-hakot et-kol-chai ka-asher asiti = and-not-will-I-again again strike obj-marker·et-all-living as I-have-done	—	tested

The verdict-evidence of 6:5 is read again over a pleasing smell, and this time it argues mercy: because the heart is bent, the ground is safe.

STEP_Gn_8_22 · Gen.8.22 · THE_SEASONS_PLEDGE

עֹד כָּל־יְמֵי הָאָרֶץ זֶרַע וְקָצִיר וְקֹר וָחֹם וְקַיִץ וָחֹרֶף וְיוֹם וָלַיְלָה לֹא יִשְׁבֹּתוּ · od kol-yemei ha-aretz zera ve-qatzir ve-qor va-chom ve-qayitz va-choref ve-yom va-laylah lo yishbotu · [EN-AID/JPS] While the earth remaineth, seedtime and harvest, and cold and heat, and summer and winter, and day and night shall not cease.'

LEFT
עד כל ימי הארץ · od kol-yemei ha-aretz · all the days of the earth (etnachta arm)

RIGHT
זרע וקציר וקר וחם וקיץ וחרף ויום ולילה לא ישבתו · zera ve-qatzir ve-qor va-chom ve-qayitz va-choref ve-yom va-laylah lo yishbotu · seedtime and harvest, cold and heat, summer and winter, day and night — SHALL NOT CEASE

operator	expression	Hebrew anchor	cites	confidence
INVARIANT	INVARIANT(zera_ve_qatzir_ve_qor_va_chom_ve_qayitz_va_choref_ve_yom_va_laylah_lo_yishbotu) during t1 = INVARIANT(seedtime-and-harvest-and-cold-and-heat-and-summer-and-winter-and-day-and-night-not-shall-cease) during t1 The eight-beat merism installed as ONE standing constraint with the letter's own duration clause (OD KOL-YEMEI HA-ARETZ, 'all the days of the earth' — OD token 8, closing the particle's six-token run across this chapter). The pledge is built of ONCE-WORDS: QOR ('cold'), QAYITZ ('summer'), CHOREF ('winter') — three Torah hapaxes; CHOM ('heat') has 2 tokens (the other: 18:1, the heat of Abraham's day); QATZIR ('harvest') token 1 of 14 (career: the festival calendar, Exod 23:16, 34:21-22); ZERA as seedtime continues 3:15's thread; day and night are 1:5's named pair. And the closing verb: LO YISHBOTU ('they shall NOT CEASE') — SHABAT ('cease') token 3, whose tokens 1-2 are GOD'S OWN day-7 ceasing (2:2, 2:3): creation's rest-verb negated to keep the world's clock running [letter fact; Onkelos uses the idle-verb — the day-7 echo does not survive; dual-track]. NO date in span: t0 stays EMPTY — cyclical durations are invariant content, not anchors [decision recorded].	זֶרַע וְקָצִיר וְקֹר וָחֹם וְקַיִץ וָחֹרֶף וְיוֹם וָלַיְלָה לֹא יִשְׁבֹּתוּ · zera ve-qatzir ve-qor va-chom ve-qayitz va-choref ve-yom va-laylah lo yishbotu = seedtime harvest cold heat summer winter day night not shall-cease	—	tested

The world's warranty is written in words the Torah will never need again: cold, summer, winter — said once, pledged forever.

State machine

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

state	meaning
S_boot	Before 8:15 — all registers empty (standalone unit)
S_spoken	After 8:15 — the speak-verb's Torah debut (Agent: elohim); speech returns after two silent spans; noach/tevah flagged as read
S_commanded	After 8:16 — LET(tze...) pushed and OPEN: the queue's first traffic since gen_17; the wife-forward roster
S_double_demand	After 8:17 — LET(hotze...) joins (two open); the written/read fork on the bring-out verb (prose-tracked); the creation-charge fact holds
S_cycle_three	After 8:18 — the echo-receipt pops the tze-demand (settled cycle #3); the bring-out still open; the household out in 6:18's order
S_queue_empty	After 8:19 — the families-receipt pops the hotze-demand (settled cycle #4); SPECS empty; the family-word debuts on animal clans
S_altar	After 8:20 — WORLD += mizbeach (first install since the ark); the take (tahor tokens 5-6 — gen_17's prediction lands); the burnt-offering debut
S_pledged	After 8:21 — the smell-TEST PASS (nichoach — the roster's fourth instrument); the interior say-event; TWO never-again INVARIANTS standing
S_sealed_forever	After 8:22 — the seasons INVARIANT (three hapax weather-words); day-7's verb negated; queue empty, t0 empty, three constraints standing

from	to	via
S_boot	S_spoken	STEP_Gn_8_15
S_spoken	S_commanded	STEP_Gn_8_16
S_commanded	S_double_demand	STEP_Gn_8_17
S_double_demand	S_cycle_three	STEP_Gn_8_18
S_cycle_three	S_queue_empty	STEP_Gn_8_19
S_queue_empty	S_altar	STEP_Gn_8_20
S_altar	S_pledged	STEP_Gn_8_21
S_pledged	S_sealed_forever	STEP_Gn_8_22

AFTER_S_sealed_forever — TIME: t0 EMPTY — no date in the span; the pledge is cyclical (all the days of the earth), and cyclical durations are invariant content, not anchors (decision recorded). WORLD: ONE install — mizbeach (the altar: the corpus's third built thing — city, ark, altar — and the first install since gen_16), +2 presupposed (noach, tevah — the waters are off the page: two flags only). Standing facts (3): the creation-charge re-issued (swarm, be fruitful, multiply — 1:22/1:28 as command-continuation), the families-exit clause, and the two RESULT-settlements' popped demands in the log. INVARIANTS (3): never again curse the ground for man's sake (the yetzer-ground inside it — 6:5's clause re-read as pardon), never again strike all living as I have done, and the eight-beat seasons merism in once-words — three standing constraints no event can pop: the first unit since the week to leave MORE standing structure than it found. EVENTS: speak (the 415-token verb's debut), go_out (the echo-receipt), build, take, offer_up, smell, say (interior) — plus the machine's two declare-events and two result-events. SPECS: TWO pushed, TWO popped — settled cycles #3 and #4; the queue EMPTY at close (first traffic since gen_17, cleanly settled: push at 8:16, echo-pop at 8:18; push at 8:17, families-pop at 8:19). TESTS: 1 PASS — (nichoach, ha_olah): the offering-regard class's second firing (gen_12's gaze precedent); the instrument roster now tov, shaah, tzaddik, nichoach. REGISTRY: ZERO writes (the altar is nameless — installed, not named). LEDGER: EMPTY. FLAGS (2): read_before_install x2 (noach, tevah). NO spec-delta. The machine ends with a settled queue, a new object, a passed offering, and three forever-constraints: the counter-resolve state.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	The speak-verb debuts, the queue still sleeps: after STEP_Gn_8_15	All registers empty (standalone unit).	flags noach/tevah as read-before-install; SPECS empty. = flags Noach/ark as read-before-install; SPECS empty.	וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ · va-yedaber Elohim el-Noach = He-spoke God to-Noach
S2	The exit-demand pushed — first traffic since the boarding: after STEP_Gn_8_16	S1 state.	LET(tze(noach, min_ha_tevah)) pushed and OPEN. = LET(go-out(Noach, from-the-ark)) pushed and OPEN.	צֵא מִן־הַתֵּבָה · tze min-ha-tevah = go-out from-the-ark
S3	The bring-out joins the queue: after STEP_Gn_8_17	S2 state.	LET(hotze(kol_ha_chayah, itakh)) pushed and OPEN; Facts ve_shartzu_u_faru_ve_ravu HOLD. = LET(bring-out(all-the-beast, with-you)) pushed and OPEN; Facts and-they-shall-swarm-and-be-fruitful-and-multiply HOLD.	הוצא הַיְצֵא אִתָּךְ · hotze [ktiv] / haytze [qere] itakh = bring-out [ktiv] / bring-out-read [qere] with-you
S4	The echo-receipt — settled cycle three, one demand waits: after STEP_Gn_8_18	S3 state (the tze-demand pops here; the bring-out remains).	LET(hotze(kol_ha_chayah, itakh)) pushed and OPEN. = LET(bring-out(all-the-beast, with-you)) pushed and OPEN.	וַיֵּצֵא־נֹחַ · va-yetze-Noach = and-he-went-out-Noach
S5	The families out — the queue empties: after STEP_Gn_8_19	S4 state.	SPECS empty; Facts le_mishpechoteihem_yatzu HOLD. = SPECS empty; Facts to-mishpechoteihem-they-went-out HOLD.	לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה · le-mishpechoteihem yatzu min-ha-tevah = to-mishpechoteihem they-went-out from-the-ark
S6	The first altar — first install since the ark: after STEP_Gn_8_20	S5 state.	WORLD = {mizbeach}. = WORLD = {altar}.	וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה · va-yiven Noach mizbeach la-YHWH = he-built Noach altar YHWH
S7	The smell-test and the first never-again: after STEP_Gn_8_21	S6 state.	TESTS += PASS(nichoach, ha_olah); lo_osif_le_qalel INVARIANT active. = TESTS += PASS(pleasing-savor, the-burnt-offering); not-will-I-again-to-curse INVARIANT active.	וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ · va-yarach YHWH et-reiach ha-nichoach = He-smelled the-LORD obj-marker·et-odor pleasing-savor
S8	All the days of the earth — the pledge stands: after STEP_Gn_8_22	S7 state.	zera_ve_qatzir INVARIANT active; SPECS empty. = seedtime-and-harvest INVARIANT active; SPECS empty.	לֹא יִשְׁבֹּתוּ · lo yishbotu = not shall-cease
S9_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.
S10_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_speak_verb_debut	וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ לֵאמֹר · va-yedaber Elohim el-Noach lemor · DABAR ('speak') — the Torah's speak-verb, 415 tokens, BORN on the exit-order: the revelation-formula's verb debuts ending the flood's silence (first divine speech since 7:4, two speechless spans between); token 2 = 12:4, spoken to Abram — the verb's first two tokens both restart a world; Onkelos levels Elohim to the LORD-name and 'to Noach' to 'WITH Noach' — dual-track
EXPORT_exit_answers_entry	צֵא מִן־הַתֵּבָה … וַיֵּצֵא־נֹחַ · tze min-ha-tevah … va-yetze-Noach · the queue's first traffic since gen_17, settled twice: TZE ('go out!') answers 7:1's BO ('come!') and pops in its own verb one verse later (settled cycle #3, the echo-receipt class); the bring-out demand (with the written/read fork hotze/haytze riding the command-verb itself — 5th ktiv/qere token in our spans, prose-tracked) pops when the animals exit BY FAMILIES (cycle #4) — hiphil command, qal deed: the cargo that self-loaded self-exits; the exit-roster is 6:18's covenant-roster near-verbatim with the WIFE'S POSITION SHIFTED forward (8:18's deed reverts to 6:18's order)
EXPORT_family_word_debut	לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה · le-mishpechoteihem yatzu min-ha-tevah · MISHPACHAH ('family') — token 1 of 185, debuting on ANIMAL clans filing out of the ark; career: the nations table (x5 in Gen 10), then 12:3 — 'in you shall all the FAMILIES of the earth be blessed': the blessing's addressee-word is born on paws and wings
EXPORT_first_altar_installed	וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה · va-yiven Noach mizbeach la-YHWH · the FIRST INSTALL since the ark: WORLD += mizbeach — BANAH ('build') token 3 (God the rib, Cain a city, Noach an altar: the corpus's three built things), built UNBIDDEN — no command precedes it; MIZBEACH tokens 1-2 of 198; OLAH ('burnt-offering') token 1, its tokens 2-7 all the binding of Isaac; TAHOR tokens 5-6 — FROZEN gen_17's prediction ('token 5 = 8:20') lands exactly: 7:2's cargo arithmetic pays out as sacrifice-stock; the take-verb's tokens 15-16 are the dove-rescue and the offering — the same hand; ALAH ('go up') token 2 after 2:6's mist: the second ascent, the first sent up by a man
EXPORT_smell_test_new_instrument	וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ · va-yarach YHWH et-reiach ha-nichoach · the offering-regard class fires for the second time (gen_12's PASS(shaah, ...) gaze precedent): TEST PASS(nichoach, ha_olah) — the instrument roster grows to four (tov, shaah, tzaddik, nichoach); three debuts in four words (smell-verb, odor, pleasing-savor) and NICHOACH is a NUACH-family rest-word — the root that placed the man in the garden (yanach, 2:15), landed the ark (8:4), now rises as savor; Onkelos ERASES the smell into received-with-favor, the same idiom it gave the gaze: the letter's two regard-instruments leveled — dual-track; Elohim commands, YHWH receives: the names split command from cult (leveled in Aramaic)
EXPORT_never_agains_as_invariants	וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ לֹא־אֹסִף … וְלֹא־אֹסִף · va-yomer YHWH el-libo lo-osif … ve-lo-osif · the counter-resolve: interior speech (el-libo, 'to His heart' — heart-tokens 3-4 vs 6:5/6:6's tokens 1-2: the word's first four tokens frame the flood) installs TWO perpetual negations as INVARIANTS, not demands — nothing can ever pop never-again; the bookends all land: YETZER token 2 (frozen gen_15's prediction — 6:5 grounds decree, 8:21 grounds pardon, same evidence opposite verdicts), BAAVUR token 2 un-saying 3:17's cursed-for-your-sake, NAKAH token 2 after 4:15's strike-limit, QALAL token 3 closing the abate-to-curse arc, the double LO-OSIF right after the dove's again-tokens; Onkelos: heart -> Word (Memra), sake -> SINS, strike -> its own WIPE-verb — dual-track, all flagged
EXPORT_seasons_in_once_words	זֶרַע וְקָצִיר וְקֹר וָחֹם וְקַיִץ וָחֹרֶף וְיוֹם וָלַיְלָה לֹא יִשְׁבֹּתוּ · zera ve-qatzir ve-qor va-chom ve-qayitz va-choref ve-yom va-laylah lo yishbotu · the world's warranty as one INVARIANT with the letter's own duration clause (all the days of the earth): three Torah-hapax weather-words (cold, summer, winter) + two-token heat (twin: the heat of Abraham's day, 18:1) + harvest's debut (career: the festival calendar) + 1:5's day-and-night — closed by SHABAT ('cease') token 3: GOD'S OWN day-7 ceasing (tokens 1-2) negated to keep the world's clock running; no date anywhere: t0 stays empty — the pledge is a cycle, not a calendar

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

observation Bavli Zevachim 115b-116a (Noach's offering; the Noachide-offering question); Bereshit Rabbah 34 (the exit by families; 34:9-10 the odor and the heart-verse; the yetzer teachings); Rashi at 8:16-17 (the exit orders; the written/read fork), 8:20 (the clean sevens recalled), 8:21 (mi-neurav spelled short); Bavli Sanhedrin 59b (meat permission waits for 9:3) — gen_20 Tier-A queue
וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 8:15-22 — fourteenth tripwire span. Detector classes predicted: the hotze/haytze written/read fork carries a two-readings class (bring-out vs let-out — doctrine from the fork itself); the yetzer-verse is the anthropology-locus class (the same clause grounding decree at 6:5 and pardon at 8:21 — the two-inclinations doctrine builds here); the Noachide-offering question is a law-retrojection class.
Queue entry — no claim made beyond the naming.

verified Onkelos Genesis 8:15-22 — read Tier-A at derive time (8 sequential fetches, Data/FETCHLOG.md 2026-08-01)
וְקַבִּיל יְיָ בְּרַעֲוָא יָת קוּרְבָּנֵיהּ · ve-kabbil YY be-raava yat kurbaneih · The span's translation witness: the SMELL ERASED — 'and the LORD RECEIVED his offering WITH FAVOR' (a bolded variant): no nose, no odor, no smelling — and the favor-word (raava) is the SAME idiom the buffer gave gen_12's gaze at Abel's offering: the letter's two regard-instruments (gaze, smell) leveled into one acceptance formula (flagged; the machine's TEST stands on the letter). EL-LIBO ('to His heart') -> BE-MEIMREIH ('in His WORD' — the Memra class; the interior organ removed; flagged). BAAVUR HA-ADAM ('for man's sake') -> BEDIL CHOVEI ENASHA ('because of man's SINS' — guilt inserted where the letter grounds pardon in what man IS; the 3:17 echo lost; flagged). KEPT: the yetzer-clause in cognate (yitzra... bish mi-zeeireih — the anthropology survives). LE-HAKOT ('to strike') -> LE-MIMCHEI — the buffer re-uses its own WIPE-verb from 7:23: pledge and execution tied by one Aramaic root the Hebrew splits (flagged). LE-QALEL -> LE-MEILAT: the one-root abate/curse arc (8:8/8:11/8:21) does not survive (flagged). LO YISHBOTU -> LA YIVTELUN (the idle-verb — the negated day-7 echo lost; flagged). ELOHIM -> YY at 8:15 (the command/cult split leveled, third leveling in a row) with EL ('to') -> IM ('WITH' Noach — bolded). The written/read fork translated as ONE form (appeik — the read form: the fork vanishes; noted). VE-SHARTZU ('swarm') -> VE-YITYALLEDUN ('breed' — the creation-quote diluted; flagged). LE-MISHPECHOTEIHEM -> LI-ZARAYAT-HON (family via the SEED-root). LA-YHWH -> KODAM YY ('BEFORE the LORD' — the altar distanced; bolded). Both roster-orders kept — the 6:18-vs-8:16 wife-shift is translation-stable; the once-word seasons kept in cognates (winter -> sitva excepted); no date, none added.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.8.15 · parser unique · 5 words

וידבר אלהים אל־נח לאמר · va-yedaber Elohim el-nocha le-mor · And God SPOKE to Noach — the speak-verb's first Torah token. [EN-AID]

PHRASE (binary 5w) וַ/יְדַבֵּ֥ר אֱלֹהִ֖ים אֶל נֹ֥חַ לֵ/אמֹֽר
├── [0-1] GLUE וַ/יְדַבֵּ֥ר אֱלֹהִ֖ים (tifcha, rank=2)
└── [2-4] GLUE אֶל נֹ֥חַ לֵ/אמֹֽר (silluq (verse-end emperor), rank=1)

Gen.8.16 · parser unique · 9 words

צא מן־התבה אתה ואשׁתך ובניך ונשׁי־בניך אתך · tze min-ha-teva ata ve-isht-kha u-vane-kha u-neshe-vane-kha et-khe · Go OUT of the ark — you, your wife, your sons, their wives. [EN-AID]

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

Gen.8.17 · parser unique · 22 words

כל־החיה אשׁר־אתך מכל־בשׂר בעוף ובבהמה ובכל־הרמשׂ הרמשׂ על־הארץ הוצא היצא אתך ושׁרצו בארץ ופרו ורבו על־הארץ · kal-ha-chaya asher-et-kha mi-kal-basar ba-of u-va-behema u-ve-khal-ha-remes ha-romes al-ha-aretz hvtz haytze et-khe ve-shartzu va-aretz u-faru ve-ravu al-ha-aretz · Bring out every living thing — swarm, be fruitful, multiply. [EN-AID]

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

Gen.8.18 · parser unique · 7 words

ויצא־נח ובניו ואשׁתו ונשׁי־בניו אתו · va-yetze-nocha u-vanay-v ve-isht-o u-neshe-vanay-v et-o · And Noach went out — the command's own verb, the household with him. [EN-AID]

PHRASE (binary 7w) וַ/יֵּ֖צֵא נֹ֑חַ וּ/בָנָ֛י/ו וְ/אִשְׁתּ֥/וֹ וּ/…
├── PHRASE (binary 2w) וַ/יֵּ֖צֵא נֹ֑חַ
│   ├── [0] וַ/יֵּ֖צֵא (tifcha, rank=2)
│   └── [1] נֹ֑חַ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וּ/בָנָ֛י/ו וְ/אִשְׁתּ֥/וֹ וּ/נְשֵֽׁי בָנָ֖י/ו …
    ├── PHRASE (binary 4w) וּ/בָנָ֛י/ו וְ/אִשְׁתּ֥/וֹ וּ/נְשֵֽׁי בָנָ֖י/ו
    │   ├── [2] וּ/בָנָ֛י/ו (tevir, rank=3)
    │   └── [3-5] GLUE וְ/אִשְׁתּ֥/וֹ וּ/נְשֵֽׁי בָנָ֖י/ו (tifcha, rank=2)
    └── [6] אִתּֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.8.19 · parser unique · 14 words

כל־החיה כל־הרמשׂ וכל־העוף כל רומשׂ על־הארץ למשׁפחתיהם יצאו מן־התבה · kal-ha-chaya kal-ha-remes ve-khal-ha-of kol romes al-ha-aretz le-mishpchote-hem yatzu min-ha-teva · Every beast, creeper, bird — by their FAMILIES they went out. [EN-AID]

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

Gen.8.20 · parser unique · 14 words

ויבן נח מזבח ליהוה ויקח מכל הבהמה הטהורה ומכל העוף הטהר ויעל עלת במזבח · va-yiven nocha mizbecha la-YHWH va-yiqach mi-kol ha-behema ha-tehora u-mi-kol ha-of ha-tahor va-yaal olot ba-mizbecha · Noach built the first altar, took of the clean, offered up. [EN-AID]

PHRASE (binary 14w) וַ/יִּ֥בֶן נֹ֛חַ מִזְבֵּ֖חַ לַֽ/יהוָ֑ה וַ/יִּקּ…
├── PHRASE (binary 4w) וַ/יִּ֥בֶן נֹ֛חַ מִזְבֵּ֖חַ לַֽ/יהוָ֑ה
│   ├── PHRASE (binary 3w) וַ/יִּ֥בֶן נֹ֛חַ מִזְבֵּ֖חַ
│   │   ├── [0-1] GLUE וַ/יִּ֥בֶן נֹ֛חַ (tevir, rank=3)
│   │   └── [2] מִזְבֵּ֖חַ (tifcha, rank=2)
│   └── [3] לַֽ/יהוָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) וַ/יִּקַּ֞ח מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה…
    ├── PHRASE (binary 7w) וַ/יִּקַּ֞ח מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה…
    │   ├── PHRASE (binary 4w) וַ/יִּקַּ֞ח מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה
    │   │   ├── [4] וַ/יִּקַּ֞ח (gershayim, rank=4)
    │   │   └── [5-7] GLUE מִ/כֹּ֣ל הַ/בְּהֵמָ֣ה הַ/טְּהוֹרָ֗ה (revia, rank=3)
    │   └── PHRASE (binary 3w) וּ/מִ/כֹּל֙ הָ/ע֣וֹף הַ/טָּהֹ֔ר
    │       ├── [8] וּ/מִ/כֹּל֙ (pashta, rank=3)
    │       └── [9-10] GLUE הָ/ע֣וֹף הַ/טָּהֹ֔ר (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וַ/יַּ֥עַל עֹלֹ֖ת בַּ/מִּזְבֵּֽחַ
        ├── [11-12] GLUE וַ/יַּ֥עַל עֹלֹ֖ת (tifcha, rank=2)
        └── [13] בַּ/מִּזְבֵּֽחַ (silluq (verse-end emperor), rank=1)

Gen.8.21 · parser unique · 32 words

וירח יהוה את־ריח הניחח ויאמר יהוה אל־לבו לא־אסף לקלל עוד את־האדמה בעבור האדם כי יצר לב האדם רע מנעריו ולא־אסף עוד להכות את־כל־חי כאשׁר עשׂיתי · va-yarach YHWH et-recha ha-nichocha va-yomer YHWH el-lib-o lo-osif le-qalel od et-ha-adama ba-avur ha-adam ki yetzer lev ha-adam ra mi-neuray-v ve-lo-osif od le-hakot et-kal-chay ka-asher asiti · YHWH smelled the pleasing odor — and said to His heart, never again. [EN-AID]

PHRASE (binary 32w) וַ/יָּ֣רַח יְהוָה֮ אֶת רֵ֣יחַ הַ/נִּיחֹחַ֒ וַ/י…
├── PHRASE (binary 23w) וַ/יָּ֣רַח יְהוָה֮ אֶת רֵ֣יחַ הַ/נִּיחֹחַ֒ וַ/י…
│   ├── PHRASE (binary 5w) וַ/יָּ֣רַח יְהוָה֮ אֶת רֵ֣יחַ הַ/נִּיחֹחַ֒
│   │   ├── [0-1] GLUE וַ/יָּ֣רַח יְהוָה֮ (zinor (poetic cousin; rare in prose), rank=3)
│   │   └── [2-4] GLUE אֶת רֵ֣יחַ הַ/נִּיחֹחַ֒ (segol, rank=2)
│   └── PHRASE (binary 18w) וַ/יֹּ֨אמֶר יְהוָ֜ה אֶל לִבּ֗/וֹ לֹֽא אֹ֠סִף לְ…
│       ├── PHRASE (binary 12w) וַ/יֹּ֨אמֶר יְהוָ֜ה אֶל לִבּ֗/וֹ לֹֽא אֹ֠סִף לְ…
│       │   ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר יְהוָ֜ה אֶל לִבּ֗/וֹ
│       │   │   ├── [5-6] GLUE וַ/יֹּ֨אמֶר יְהוָ֜ה (geresh, rank=4)
│       │   │   └── [7-8] GLUE אֶל לִבּ֗/וֹ (revia, rank=3)
│       │   └── PHRASE (binary 8w) לֹֽא אֹ֠סִף לְ/קַלֵּ֨ל ע֤וֹד אֶת הָֽ/אֲדָמָה֙ ב…
│       │       ├── PHRASE (binary 6w) לֹֽא אֹ֠סִף לְ/קַלֵּ֨ל ע֤וֹד אֶת הָֽ/אֲדָמָה֙
│       │       │   ├── [9-10] GLUE לֹֽא אֹ֠סִף (telisha gedola, rank=4)
│       │       │   └── [11-14] GLUE לְ/קַלֵּ֨ל ע֤וֹד אֶת הָֽ/אֲדָמָה֙ (pashta, rank=3)
│       │       └── [15-16] GLUE בַּ/עֲב֣וּר הָֽ/אָדָ֔ם (zaqef qatan, rank=2)
│       └── PHRASE (binary 6w) כִּ֠י יֵ֣צֶר לֵ֧ב הָ/אָדָ֛ם רַ֖ע מִ/נְּעֻרָ֑י/ו
│           ├── PHRASE (binary 5w) כִּ֠י יֵ֣צֶר לֵ֧ב הָ/אָדָ֛ם רַ֖ע
│           │   ├── PHRASE (binary 4w) כִּ֠י יֵ֣צֶר לֵ֧ב הָ/אָדָ֛ם
│           │   │   ├── [17] כִּ֠י (telisha gedola, rank=4)
│           │   │   └── [18-20] GLUE יֵ֣צֶר לֵ֧ב הָ/אָדָ֛ם (tevir, rank=3)
│           │   └── [21] רַ֖ע (tifcha, rank=2)
│           └── [22] מִ/נְּעֻרָ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וְ/לֹֽא אֹסִ֥ף ע֛וֹד לְ/הַכּ֥וֹת אֶת כָּל חַ֖י …
    ├── PHRASE (binary 7w) וְ/לֹֽא אֹסִ֥ף ע֛וֹד לְ/הַכּ֥וֹת אֶת כָּל חַ֖י
    │   ├── [23-25] GLUE וְ/לֹֽא אֹסִ֥ף ע֛וֹד (tevir, rank=3)
    │   └── [26-29] GLUE לְ/הַכּ֥וֹת אֶת כָּל חַ֖י (tifcha, rank=2)
    └── [30-31] GLUE כַּֽ/אֲשֶׁ֥ר עָשִֽׂיתִי (silluq (verse-end emperor), rank=1)

Gen.8.22 · parser unique · 14 words

עד כל־ימי הארץ זרע וקציר וקר וחם וקיץ וחרף ויום ולילה לא ישׁבתו · od kal-yeme ha-aretz zera ve-qatzir ve-qor va-chom ve-qayitz va-choref ve-yom va-layla lo yishbotu · Seedtime, harvest, cold, heat, summer, winter, day, night — never ceasing. [EN-AID]

PHRASE (binary 14w) עֹ֖ד כָּל יְמֵ֣י הָ/אָ֑רֶץ זֶ֡רַע וְ֠/קָצִיר וְ…
├── PHRASE (binary 4w) עֹ֖ד כָּל יְמֵ֣י הָ/אָ֑רֶץ
│   ├── [0] עֹ֖ד (tifcha, rank=2)
│   └── [1-3] GLUE כָּל יְמֵ֣י הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) זֶ֡רַע וְ֠/קָצִיר וְ/קֹ֨ר וָ/חֹ֜ם וְ/קַ֧יִץ וָ/…
    ├── PHRASE (binary 8w) זֶ֡רַע וְ֠/קָצִיר וְ/קֹ֨ר וָ/חֹ֜ם וְ/קַ֧יִץ וָ/…
    │   ├── PHRASE (binary 6w) זֶ֡רַע וְ֠/קָצִיר וְ/קֹ֨ר וָ/חֹ֜ם וְ/קַ֧יִץ וָ/…
    │   │   ├── [4] זֶ֡רַע (pazer, rank=4)
    │   │   └── PHRASE (binary 5w) וְ֠/קָצִיר וְ/קֹ֨ר וָ/חֹ֜ם וְ/קַ֧יִץ וָ/חֹ֛רֶף
    │   │       ├── [5] וְ֠/קָצִיר (telisha gedola, rank=4)
    │   │       └── PHRASE (binary 4w) וְ/קֹ֨ר וָ/חֹ֜ם וְ/קַ֧יִץ וָ/חֹ֛רֶף
    │   │           ├── [6-7] GLUE וְ/קֹ֨ר וָ/חֹ֜ם (geresh, rank=4)
    │   │           └── [8-9] GLUE וְ/קַ֧יִץ וָ/חֹ֛רֶף (tevir, rank=3)
    │   └── [10-11] GLUE וְ/י֥וֹם וָ/לַ֖יְלָה (tifcha, rank=2)
    └── [12-13] GLUE לֹ֥א יִשְׁבֹּֽתוּ (silluq (verse-end emperor), rank=1)

Word coverage — 117/117 words with named roles

ref	#	Hebrew	translit	English	role	kind	rule
Gen.8.15	0	וידבר	va-yedaber	and-He-spoke	DABAR_TORAH_TOKEN_1_OF_415	logic_bearing	none
Gen.8.15	1	אלהים	Elohim	God	ELOHIM_commands_YHWH_receives	logic_bearing	none
Gen.8.15	2	אל	el	to	to	logic_bearing	none
Gen.8.15	3	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.8.15	4	לאמר	le-mor	saying	saying	logic_bearing	none
Gen.8.16	0	צא	tze	go-out	TZE_imperative_answers_bo	logic_bearing	TIR-027
Gen.8.16	1	מן	min	from	from	logic_bearing	none
Gen.8.16	2	התבה	ha-teva	the-box	the-box	logic_bearing	none
Gen.8.16	3	אתה	ata	you	you	logic_bearing	none
Gen.8.16	4	ואשתך	ve-isht-kha	and-your-wife	and-your-wife	logic_bearing	none
Gen.8.16	5	ובניך	u-vane-kha	and-your-sons	and-your-sons	logic_bearing	none
Gen.8.16	6	ונשי	u-neshe	and-the-wives-of	and-the-wives-of	logic_bearing	none
Gen.8.16	7	בניך	vane-kha	your-sons	your-sons	logic_bearing	none
Gen.8.16	8	אתך	et-khe	with-you	with-you	logic_bearing	none
Gen.8.17	0	כל	kal	all	all	logic_bearing	none
Gen.8.17	1	החיה	ha-chaya	the-beast	the-beast	logic_bearing	none
Gen.8.17	2	אשר	asher	which	which	logic_bearing	none
Gen.8.17	3	אתך	et-kha	with-you	with-you	logic_bearing	none
Gen.8.17	4	מכל	mi-kal	from-all	from-all	logic_bearing	none
Gen.8.17	5	בשר	basar	flesh	flesh	logic_bearing	none
Gen.8.17	6	בעוף	ba-of	in-flying-creature	in-flying-creature	logic_bearing	none
Gen.8.17	7	ובבהמה	u-va-behema	and-in-livestock	and-in-livestock	logic_bearing	none
Gen.8.17	8	ובכל	u-ve-khal	and-in-all	and-in-all	logic_bearing	none
Gen.8.17	9	הרמש	ha-remes	the-creeper	the-creeper	logic_bearing	none
Gen.8.17	10	הרמש	ha-romes	the-creep	the-creep	logic_bearing	none
Gen.8.17	11	על	al	over	over	logic_bearing	none
Gen.8.17	12	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.8.17	13	הוצא	hvtz	bring-out-written	HOTZE_KTIV_written_form	logic_bearing	none
Gen.8.17	14	היצא	haytze	bring-out-read	HAYTZE_QERE_read_form	logic_bearing	TIR-027
Gen.8.17	15	אתך	et-khe	with-you	with-you	logic_bearing	none
Gen.8.17	16	ושרצו	ve-shartzu	and-they-shall-swarm	creation_charge_reissued	logic_bearing	TIR-029
Gen.8.17	17	בארץ	va-aretz	in-earth	in-earth	logic_bearing	none
Gen.8.17	18	ופרו	u-faru	and-be-fruitful	parah_token_3_1_22_quote	logic_bearing	none
Gen.8.17	19	ורבו	ve-ravu	and-multiply	ravah_quote_pair	logic_bearing	none
Gen.8.17	20	על	al	over	over	logic_bearing	none
Gen.8.17	21	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.8.18	0	ויצא	va-yetze	and-he-went-out	ECHO_RECEIPT_cycle_3	logic_bearing	none
Gen.8.18	1	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.8.18	2	ובניו	u-vanay-v	and-his-sons	and-his-sons	logic_bearing	none
Gen.8.18	3	ואשתו	ve-isht-o	and-his-wife	and-his-wife	logic_bearing	none
Gen.8.18	4	ונשי	u-neshe	and-the-wives-of	and-the-wives-of	logic_bearing	none
Gen.8.18	5	בניו	vanay-v	his-sons	his-sons	logic_bearing	none
Gen.8.18	6	אתו	et-o	with-him	with-him	logic_bearing	none
Gen.8.19	0	כל	kal	all	all	logic_bearing	none
Gen.8.19	1	החיה	ha-chaya	the-beast	the-beast	logic_bearing	none
Gen.8.19	2	כל	kal	all	all	logic_bearing	none
Gen.8.19	3	הרמש	ha-remes	the-creeper	the-creeper	logic_bearing	none
Gen.8.19	4	וכל	ve-khal	and-all	and-all	logic_bearing	none
Gen.8.19	5	העוף	ha-of	the-flying-creature	the-flying-creature	logic_bearing	none
Gen.8.19	6	כל	kol	all	all	logic_bearing	none
Gen.8.19	7	רומש	romes	creep	creep	logic_bearing	none
Gen.8.19	8	על	al	over	over	logic_bearing	none
Gen.8.19	9	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.8.19	10	למשפחתיהם	le-mishpchote-hem	by-their-families	MISHPACHAH_FIRST_TOKEN_nations_next	logic_bearing	none
Gen.8.19	11	יצאו	yatzu	they-went-out	families_receipt_cycle_4	logic_bearing	none
Gen.8.19	12	מן	min	from	from	logic_bearing	none
Gen.8.19	13	התבה	ha-teva	the-box	the-box	logic_bearing	none
Gen.8.20	0	ויבן	va-yiven	and-he-built	BANAH_token_3_rib_city_altar	logic_bearing	none
Gen.8.20	1	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.8.20	2	מזבח	mizbecha	altar	MIZBEACH_FIRST_TOKEN_installed	logic_bearing	none
Gen.8.20	3	ליהוה	la-YHWH	to-YHWH	the_cult_name	logic_bearing	none
Gen.8.20	4	ויקח	va-yiqach	and-he-took	lakach_token_16_after_the_dove	logic_bearing	none
Gen.8.20	5	מכל	mi-kol	from-all	from-all	logic_bearing	none
Gen.8.20	6	הבהמה	ha-behema	the-livestock	the-livestock	logic_bearing	none
Gen.8.20	7	הטהורה	ha-tehora	the-clean	TAHOR_token_5_gen_17_prediction_lands	logic_bearing	none
Gen.8.20	8	ומכל	u-mi-kol	and-from-all	and-from-all	logic_bearing	none
Gen.8.20	9	העוף	ha-of	the-flying-creature	the-flying-creature	logic_bearing	none
Gen.8.20	10	הטהר	ha-tahor	the-clean	tahor_token_6_bird	logic_bearing	none
Gen.8.20	11	ויעל	va-yaal	and-he-offered-up	ALAH_token_2_after_the_mist	logic_bearing	none
Gen.8.20	12	עלת	olot	burnt-offerings	OLAH_FIRST_TOKEN_moriah_next	logic_bearing	none
Gen.8.20	13	במזבח	ba-mizbecha	on-the-altar	mizbeach_token_2	logic_bearing	none
Gen.8.21	0	וירח	va-yarach	and-He-smelled	SMELL_VERB_FIRST_TOKEN	logic_bearing	none
Gen.8.21	1	יהוה	YHWH	YHWH	name_YHWH	logic_bearing	none
Gen.8.21	2	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.8.21	3	ריח	recha	odor-of	REIACH_FIRST_TOKEN	logic_bearing	none
Gen.8.21	4	הניחח	ha-nichocha	the-pleasing	NICHOACH_FIRST_TOKEN_rest_family	logic_bearing	none
Gen.8.21	5	ויאמר	va-yomer	and-He-said	interior_speech_frame	logic_bearing	none
Gen.8.21	6	יהוה	YHWH	YHWH	name_YHWH	logic_bearing	none
Gen.8.21	7	אל	el	to	to	logic_bearing	none
Gen.8.21	8	לבו	lib-o	His-heart	LEV_token_3_flood_frame	logic_bearing	none
Gen.8.21	9	לא	lo	not	not	logic_bearing	none
Gen.8.21	10	אסף	osif	will-I-again	LO_OSIF_never_again_1	logic_bearing	none
Gen.8.21	11	לקלל	le-qalel	to-curse	QALAL_token_3_abate_arc_lands	logic_bearing	none
Gen.8.21	12	עוד	od	again	again	logic_bearing	none
Gen.8.21	13	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.8.21	14	האדמה	ha-adama	the-ground	the-ground	logic_bearing	none
Gen.8.21	15	בעבור	ba-avur	for-the-sake-of	BAAVUR_token_2_unsays_3_17	logic_bearing	none
Gen.8.21	16	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.8.21	17	כי	ki	for	for	logic_bearing	none
Gen.8.21	18	יצר	yetzer	inclination-of	YETZER_token_2_gen_15_bookend	logic_bearing	none
Gen.8.21	19	לב	lev	heart-of	lev_token_4	logic_bearing	none
Gen.8.21	20	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.8.21	21	רע	ra	evil	evil	logic_bearing	none
Gen.8.21	22	מנעריו	mi-neuray-v	from-his-youth	NEURIM_FIRST_TOKEN	logic_bearing	none
Gen.8.21	23	ולא	ve-lo	and-not	and-not	logic_bearing	none
Gen.8.21	24	אסף	osif	will-I-again	LO_OSIF_never_again_2	logic_bearing	none
Gen.8.21	25	עוד	od	again	again	logic_bearing	none
Gen.8.21	26	להכות	le-hakot	to-strike	NAKAH_token_2_after_cain_clause	logic_bearing	none
Gen.8.21	27	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.8.21	28	כל	kal	all	all	logic_bearing	none
Gen.8.21	29	חי	chay	living	living	logic_bearing	none
Gen.8.21	30	כאשר	ka-asher	as	as	logic_bearing	none
Gen.8.21	31	עשיתי	asiti	I-have-done	maker_verb_owns_the_deed	logic_bearing	none
Gen.8.22	0	עד	od	while-yet	OD_token_8_duration_clause	logic_bearing	none
Gen.8.22	1	כל	kal	all	all	logic_bearing	none
Gen.8.22	2	ימי	yeme	the-days-of	yemei_ha_aretz	logic_bearing	none
Gen.8.22	3	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.8.22	4	זרע	zera	seedtime	zera_thread	logic_bearing	none
Gen.8.22	5	וקציר	ve-qatzir	and-harvest	QATZIR_FIRST_TOKEN_festivals_next	logic_bearing	none
Gen.8.22	6	וקר	ve-qor	and-cold	QOR_TORAH_HAPAX	logic_bearing	none
Gen.8.22	7	וחם	va-chom	and-heat	CHOM_two_token_abraham_twin	logic_bearing	none
Gen.8.22	8	וקיץ	ve-qayitz	and-summer	QAYITZ_TORAH_HAPAX	logic_bearing	none
Gen.8.22	9	וחרף	va-choref	and-winter	CHOREF_TORAH_HAPAX	logic_bearing	none
Gen.8.22	10	ויום	ve-yom	and-day	and-day	logic_bearing	none
Gen.8.22	11	ולילה	va-layla	and-night	and-night	logic_bearing	none
Gen.8.22	12	לא	lo	not	not	logic_bearing	none
Gen.8.22	13	ישבתו	yishbotu	shall-cease	SHABAT_token_3_day_7_negated	logic_bearing	none

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

unit: gen_20_exit_altar — The exit and the altar: go out, the families, the pleasing smell, never again (8:15-22) [frozen]

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

=== S1 — The speak-verb debuts, the queue still sleeps: after STEP_Gn_8_15
    וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ (va-yedaber Elohim el-Noach)
    PASS  flags noach/tevah as read-before-install  (flagged=['noach', 'tevah'])
    PASS  SPECS empty.  (queue=0)

=== S2 — The exit-demand pushed — first traffic since the boarding: after STEP_Gn_8_16
    צֵא מִן־הַתֵּבָה (tze min-ha-tevah)
    PASS  LET(tze(noach, min_ha_tevah)) pushed and OPEN.  (queue=['tze(noach, min_ha_tevah)'])

=== S3 — The bring-out joins the queue: after STEP_Gn_8_17
    הוצא הַיְצֵא אִתָּךְ (hotze [ktiv] / haytze [qere] itakh)
    PASS  LET(hotze(kol_ha_chayah, itakh)) pushed and OPEN  (queue=['tze(noach, min_ha_tevah)', 'hotze(kol_ha_chayah, itakh)'])
    PASS  Facts ve_shartzu_u_faru_ve_ravu HOLD.  (1 facts)

=== S4 — The echo-receipt — settled cycle three, one demand waits: after STEP_Gn_8_18
    וַיֵּצֵא־נֹחַ (va-yetze-Noach)
    PASS  LET(hotze(kol_ha_chayah, itakh)) pushed and OPEN.  (queue=['hotze(kol_ha_chayah, itakh)'])

=== S5 — The families out — the queue empties: after STEP_Gn_8_19
    לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה (le-mishpechoteihem yatzu min-ha-tevah)
    PASS  SPECS empty  (queue=0)
    PASS  Facts le_mishpechoteihem_yatzu HOLD.  (2 facts)

=== S6 — The first altar — first install since the ark: after STEP_Gn_8_20
    וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה (va-yiven Noach mizbeach la-YHWH)
    PASS  WORLD = {mizbeach}.  (created=['mizbeach'])

=== S7 — The smell-test and the first never-again: after STEP_Gn_8_21
    וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ (va-yarach YHWH et-reiach ha-nichoach)
    PASS  TESTS += PASS(nichoach, ha_olah)  (tests=[('nichoach', 'ha_olah')])
    PASS  lo_osif_le_qalel INVARIANT active.  (invariants=['lo_osif_le_qalel_od_et_ha_adamah', 'lo_osif_od_le_hakot_et_kol_chai'])

=== S8 — All the days of the earth — the pledge stands: after STEP_Gn_8_22
    לֹא יִשְׁבֹּתוּ (lo yishbotu)
    PASS  zera_ve_qatzir INVARIANT active  (invariants=['lo_osif_le_qalel_od_et_ha_adamah', 'lo_osif_od_le_hakot_et_kol_chai', 'zera_ve_qatzir_ve_qor_va_chom_ve_qayitz_va_choref_ve_yom_va_laylah_lo_yishbotu'])
    PASS  SPECS empty.  (queue=0)

=== S9_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)

=== S10_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 frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_20_exit_altar.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_20_exit_altar — 8:15-22
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_20_exit_altar.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 exit and the altar: go out, the families, the pleasing smell, never again (8:15-22)"""
from machine import Machine

m = Machine("gen_20_exit_altar")

# -------------------------- Gen.8.15 · THE_SPEAK_VERB_DEBUTS ---------------
# וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ לֵאמֹר
# "And God spoke unto Noah, saying:"
m.step("Gen.8.15")
# ‹וַיְדַבֵּר אֱלֹהִים אֶל־נֹחַ לֵאמֹר› (“and-He-spoke God to Noah saying”)
# — event: speak — agent God; theme to-Noach
m.event("speak", agent="elohim", themes=["el_noach"])
# reads without prior install (flag, not fix): Noach, ark
m.presupposed("noach", "tevah")

# -------------------------- Gen.8.16 · THE_EXIT_COMMAND --------------------
# צֵא מִן־הַתֵּבָה אַתָּה וְאִשְׁתְּךָ וּבָנֶיךָ וּנְשֵׁי־בָנֶיךָ אִתָּךְ
# "'Go forth from the ark, thou, and thy wife, and thy sons, and thy sons'
# wives with thee."
m.step("Gen.8.16")
# ‹צֵא מִן־הַתֵּבָה› (“go-out from the-ark”) — God speaks a demand — LET:
# go-out(Noach, from-the-ark)
m.declare("elohim", "LET",
          "tze(noach, min_ha_tevah)")

# -------------------------- Gen.8.17 · THE_BRING_OUT_AND_THE_CHARGE --------
# כָּל־הַחַיָּה אֲשֶׁר־אִתְּךָ מִכָּל־בָּשָׂר בָּעוֹף וּבַבְּהֵמָה
# וּבְכָל־הָרֶמֶשׂ הָרֹמֵשׂ עַל־הָאָרֶץ הוצא הַיְצֵא אִתָּךְ וְשָׁרְצוּ
# בָאָרֶץ וּפָרוּ וְרָבוּ עַל־הָאָרֶץ
# "Bring forth with thee every living thing that is with thee, of all flesh,
# both fowl, and cattle, and every creeping thing that creepeth upon the
# earth; that they may swarm in the earth, and be fruitful, and multiply
# upon the earth.'"
m.step("Gen.8.17")
# ‹הוצא הַיְצֵא אִתָּךְ› (“bring-out-written bring-out-read with-you”) — God
# speaks a demand — LET: bring-out(all-the-beast, with-you)
m.declare("elohim", "LET",
          "hotze(kol_ha_chayah, itakh)")
# ‹וְשָׁרְצוּ בָאָרֶץ וּפָרוּ וְרָבוּ עַל־הָאָרֶץ› (“and-they-shall-swarm
# in-earth and-be-fruitful and-multiply over the-earth”) — fact holds: and-
# they-shall-swarm-and-be-fruitful-and-multiply-over-the-earth
m.fact("ve_shartzu_u_faru_ve_ravu_al_ha_aretz")

# -------------------------- Gen.8.18 · THE_EXIT_RECEIPT --------------------
# וַיֵּצֵא־נֹחַ וּבָנָיו וְאִשְׁתּוֹ וּנְשֵׁי־בָנָיו אִתּוֹ
# "And Noah went forth, and his sons, and his wife, and his sons' wives with
# him;"
m.step("Gen.8.18")
# ‹וַיֵּצֵא־נֹחַ› (“and-he-went-out Noah”) — event: go-out — agent Noach
m.event("go_out", agent="noach")
# ‹וַיֵּצֵא־נֹחַ … אִתּוֹ› (“and-he-went-out Noah … with-him”) — demand
# settled (popped from the queue): go-out(Noach, from-the-ark)
m.result("tze(noach, min_ha_tevah)", tmark="t1")

# -------------------------- Gen.8.19 · OUT_BY_FAMILIES ---------------------
# כָּל־הַחַיָּה כָּל־הָרֶמֶשׂ וְכָל־הָעוֹף כֹּל רוֹמֵשׂ עַל־הָאָרֶץ
# לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה
# "every beast, every creeping thing, and every fowl, whatsoever moveth upon
# the earth, after their families, went forth out of the ark."
m.step("Gen.8.19")
# ‹לְמִשְׁפְּחֹתֵיהֶם יָצְאוּ מִן־הַתֵּבָה› (“by-their-families they-went-
# out from the-ark”) — fact holds: to-mishpechoteihem-they-went-out-from-
# the-ark
m.fact("le_mishpechoteihem_yatzu_min_ha_tevah")
# ‹יָצְאוּ מִן־הַתֵּבָה› (“they-went-out from the-ark”) — demand settled
# (popped from the queue): bring-out(all-the-beast, with-you)
m.result("hotze(kol_ha_chayah, itakh)", tmark="t1")

# -------------------------- Gen.8.20 · THE_FIRST_ALTAR ---------------------
# וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה וַיִּקַּח מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה
# וּמִכֹּל הָעוֹף הַטָּהֹר וַיַּעַל עֹלֹת בַּמִּזְבֵּחַ
# "And Noah builded an altar unto the LORD; and took of every clean beast,
# and of every clean fowl, and offered burnt-offerings on the altar."
m.step("Gen.8.20")
# ‹וַיִּבֶן נֹחַ מִזְבֵּחַ לַיהוָה› (“and-he-built Noah altar to-YHWH”) —
# event: build — agent Noach; theme altar
m.event("build", agent="noach", themes=["mizbeach"])
# ‹מִזְבֵּחַ› (“altar”) — the world gains: altar
m.install("mizbeach")
# ‹וַיִּקַּח מִכֹּל הַבְּהֵמָה הַטְּהוֹרָה וּמִכֹּל הָעוֹף הַטָּהֹר› (“and-
# he-took from-all the-livestock the-clean and-from-all the-flying-creature
# the-clean”) — event: take — agent Noach; theme from-the-livestock-the-
# clean-and-from-the-flying-creature-the-clean
m.event("take", agent="noach", themes=["min_ha_behemah_ha_tehorah_u_min_ha_of_ha_tahor"])
# ‹וַיַּעַל עֹלֹת בַּמִּזְבֵּחַ› (“and-he-offered-up burnt-offerings on-the-
# altar”) — event: offer-up — agent Noach; theme burnt-offerings-in-the-
# altar
m.event("offer_up", agent="noach", themes=["olot_ba_mizbeach"])

# -------------------------- Gen.8.21 · THE_SMELL_THE_HEART_THE_NEVER_AGAINS -
# וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ לֹא־אֹסִף
# לְקַלֵּל עוֹד אֶת־הָאֲדָמָה בַּעֲבוּר הָאָדָם כִּי יֵצֶר לֵב הָאָדָם רַע
# מִנְּעֻרָיו וְלֹא־אֹסִף עוֹד לְהַכּוֹת אֶת־כָּל־חַי כַּאֲשֶׁר עָשִׂיתִי
# "And the LORD smelled the sweet savour; and the LORD said in His heart: 'I
# will not again curse the ground any more for man's sake; for the
# imagination of man's heart is evil from his youth; neither will I again
# smite any more every thing living, as I have done."
m.step("Gen.8.21")
# ‹וַיָּרַח יְהוָה אֶת־רֵיחַ הַנִּיחֹחַ› (“and-He-smelled YHWH obj-marker
# odor-of the-pleasing”) — event: smell — agent the-LORD; theme odor-the-
# pleasing-savor
m.event("smell", agent="YHWH", themes=["reiach_ha_nichoach"])
# ‹רֵיחַ הַנִּיחֹחַ› (“odor-of the-pleasing”) — test PASS — oracle-word
# pleasing-savor, on the-burnt-offering
m.test("PASS", "nichoach", "ha_olah")
# ‹וַיֹּאמֶר יְהוָה אֶל־לִבּוֹ› (“and-He-said YHWH to His-heart”) — event:
# say — agent the-LORD; theme to-His-heart
m.event("say", agent="YHWH", themes=["el_libo"])
# ‹לֹא־אֹסִף לְקַלֵּל עוֹד אֶת־הָאֲדָמָה בַּעֲבוּר הָאָדָם כִּי יֵצֶר לֵב
# הָאָדָם רַע מִנְּעֻרָיו› (“not will-I-again to-curse again obj-marker the-
# ground for-the-sake-of the-human for inclination-of heart-of the-human
# evil from-his-youth”) — standing constraint: not-will-I-again-to-curse-
# again-obj-marker·et-the-ground
m.invariant("lo_osif_le_qalel_od_et_ha_adamah")
# ‹וְלֹא־אֹסִף עוֹד לְהַכּוֹת אֶת־כָּל־חַי כַּאֲשֶׁר עָשִׂיתִי› (“and-not
# will-I-again again to-strike obj-marker all living as I-have-done”) —
# standing constraint: not-will-I-again-again-to-strike-obj-marker·et-all-
# living
m.invariant("lo_osif_od_le_hakot_et_kol_chai")

# -------------------------- Gen.8.22 · THE_SEASONS_PLEDGE ------------------
# עֹד כָּל־יְמֵי הָאָרֶץ זֶרַע וְקָצִיר וְקֹר וָחֹם וְקַיִץ וָחֹרֶף וְיוֹם
# וָלַיְלָה לֹא יִשְׁבֹּתוּ
# "While the earth remaineth, seedtime and harvest, and cold and heat, and
# summer and winter, and day and night shall not cease.'"
m.step("Gen.8.22")
# ‹זֶרַע וְקָצִיר וְקֹר וָחֹם וְקַיִץ וָחֹרֶף וְיוֹם וָלַיְלָה לֹא
# יִשְׁבֹּתוּ› (“seedtime and-harvest and-cold and-heat and-summer and-
# winter and-day and-night not shall-cease”) — standing constraint:
# seedtime-and-harvest-and-cold-and-heat-and-summer-and-winter-and-day-and-
# night-not-shall-cease
m.invariant("zera_ve_qatzir_ve_qor_va_chom_ve_qayitz_va_choref_ve_yom_va_laylah_lo_yishbotu")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'mizbeach'}
    assert m.presupposed_set() == {'noach', 'tevah'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == [('PASS', 'nichoach', 'ha_olah')]
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 2}
    assert sorted(m.WORLD["facts"]) == sorted(['ve_shartzu_u_faru_ve_ravu_al_ha_aretz', 'le_mishpechoteihem_yatzu_min_ha_tevah'])
    assert m.WORLD["invariants"] == ['lo_osif_le_qalel_od_et_ha_adamah', 'lo_osif_od_le_hakot_et_kol_chai', 'zera_ve_qatzir_ve_qor_va_chom_ve_qayitz_va_choref_ve_yom_va_laylah_lo_yishbotu']
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 11
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

FROZEN 2026-08-01 (persistent derivation agent; freeze-after-review #3 — review PASSED; second unit under the PIPELINE + DEBUT-MAP process): twenty-first frozen unit — THE EXIT AND THE ALTAR; eleventh extension-free derivation in a row. The sleeping registers wake, all DB-verified before drafting: DABAR ('speak') — the Torah's speak-verb, 415 tokens — BORN on the exit-order (first divine speech since 7:4, after two silent spans); SPECS traffic returns (two imperatives — TZE 'go out' answering 7:1's BO 'come', and the bring-out carrying the written/read fork hotze/haytze on its own form — both popped: the echo-receipt at 8:18 and the families-receipt at 8:19: settled cycles #3 and #4); MISHPACHAH ('family') debuts on animal clans; the FIRST INSTALL since the ark — WORLD += mizbeach (city, ark, altar: the corpus's three built things), built unbidden, with OLAH ('burnt-offering') debuting toward Moriah and TAHOR tokens 5-6 landing FROZEN gen_17's prediction exactly; the first TEST since gen_17 — PASS(nichoach, ha_olah) on frozen gen_12's offering-regard precedent (the instrument roster: tov, shaah, tzaddik, nichoach — and nichoach is a NUACH-family rest-word: garden, ark, savor); the interior never-agains installed as INVARIANTS (perpetual negations, not demands) with every bookend landing — YETZER token 2 (gen_15's logged prediction: same evidence, opposite verdicts), BAAVUR un-saying 3:17, NAKAH after 4:15's limit, QALAL closing the abate arc, the double LO-OSIF after the dove's agains; and the seasons pledged in once-words (three Torah-hapax weather-words) closing on day-7's cease-verb negated. Machine state: t0 empty (no date — a cycle, not a calendar), ONE install (+2 presupposed), two cycles settled, queue empty, 1 PASS, THREE invariants standing, zero writes, two read-flags — the counter-resolve state: the first unit since the week to leave more standing structure than it found.

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