The blessing and the blood-law: be fruitful again, but the blood is Mine (9:1-7) MODEL · REV 4 · GATES GREEN

unit gen_21_blessing_blood_law · Genesis 9:1-7 · derive logic_derived_v2_full_rule · phase C-21

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

פְּרוּ וּרְבוּ — אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ · peru u-revu — akh-basar be-nafsho damo lo tokhelu · 'be fruitful and multiply' — 'only flesh with its life, its blood, you shall not eat'

Derived 2026-08-03 by the persistent derivation agent (freeze-after-review by the main loop — no agent freeze); third unit under the PIPELINE + DEBUT-MAP process. REVIEW PASSED and FROZEN 2026-08-03 by the main loop: all five precedent quotes (gen_05/06 BLESS+MANDATE, gen_06 grant-pair, gen_08 LET-NOT, gen_12 HANDLER, gen_09 PATTERN-declined) re-read VERBATIM from the frozen units themselves; ten censuses independently re-run against the raw snapshot (bless-tokens, fear-career, dread-hapax, triple-require, image 5-of-6, shed-pair inside the chiasm, restriction-particle 1-3, brother 1-7, swarm hand-off, dominion-absence); the Elohim-only speaker scan confirmed; glossing airtight; nothing invented. The corpus's FIRST LAW-GIVING to humans since Eden, and every machine call is a frozen-precedent match, each encoding pulled verbatim before drafting: the BLESS+MANDATE class (gen_05/gen_06) with the mandate re-issued SHORTER; the food-grant class (gen_06's ASSIGN-office + DECLARE LET?) matched in full with the LET? left letter-faithfully OPEN; the prohibition class (gen_08's LET-NOT, TIR-034) fired for the second time ever; the HANDLER class (gen_12's 4:15) carrying the corpus's first talion chiasm; the perpetual-pledge class (gen_20's INVARIANT) for the triple I-will-require; PATTERN (gen_09) weighed and declined for the image-ground. Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (7 sequential fetches, Data/FETCHLOG.md — the buffer writes WITNESSES AND JUDGES into the chiasm, expands the brother-clause into an explicit crime, keeps the image while swapping the name inside it, keeps the 9:4 prohibition exact, and absorbs the dread-hapax); trees from the DB's stored tree_json. SEVENTEENTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/ WATCHLIST_gen21_prospective_2026-08-03.md): cache holds ZERO sources for Gen 9:1-7 — fifteenth tripwire in a row. INTERPRETER: ZERO extensions — twelfth 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 (akhal(basar_be_nafsho_damo), ba_adam_damo_yishafekh).

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_21_blessing_blood_law_claims.json — 6 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_21_2026-08-08.md). CROWNS (chain-attested, DB-verified): (1) G21-03 Ben Asher's stroke: ובכל ("and in every [fish of the sea]," 9:2) — the vav carries the lengthening mark (maarikh, the small vertical stroke) "per Ben Asher, and so in the precise books" (Minchat Shai): SNAPSHOT's codepoints hold vav, vowel-dot, AND the stroke — a Ben Asher reading confirmed at the sub-vowel level, the program's second (after gen_11's chataf patach — the hurried a-vowel). (2) G21-05 the vav the copyists add: שרצו ("SWARM," the renewed blessing, 9:7) — the Great Masorah lists it among the word-pairs that take NO vav at the head, "and the copies err in them": SNAPSHOT holds it bare, one chapter after the true ושרצו ("and they shall swarm") of the exit-command (8:17) — both forms locked, the copyist trap documented by the tradition itself. (3) G21-06 the self-curse trio: ואך ("and yet") — the blood-reckoning (9:5), Balaam's speech-limit (Num 22:20), Joshua's unclean-land clause (22:19): as one may not kill oneself, one may not curse oneself — even speech is reckoned (Kitzur Baal HaTurim); Torah-side exactly the two tokens of this pointing (Pharaoh's differently-pointed ואך, Exod 9:15, stands apart). (4) G21-01/02/04 pointing confirmations: yod dagesh (doubling dot) in the beast-word and the sea-word (9:2); the first blood-word's dalet SOFT (9:4). DISCREPANCIES: none in span. INHERITANCE EDGES (attested; Torah side verified, inheritor wording pending): Gen 9:4-6 → Isaiah 24:5 ("they broke the EVERLASTING COVENANT" — the prophets reading the Noahide charge back at the world); G21-06's Joshua leg rides as a verified claim. READINGS (named-only, unclaimed): כי בצלם אלהים ("for in the image of God," 9:6) — the Name ruled HOLY (Minchat Shai: קדש, "holy"), third entry in the uninstrumented holy/profane series (5:1 holy, 6:2 profane, 9:6 holy); the Noahide loci named by the span map (Sanhedrin 56-59) — the unit's law-side dossier, named-only.

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

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	The blessing and the blood-law (9:1-7): one divine speech, ring-framed — 9:8 opens the covenant-speech (the bow; the next unit's seam). Inside: the blessing re-issued two verbs short, the fear-transfer, the meat-grant with its citation of the old menu, the blood-prohibition, the triple reckoning-pledge with its mi-yad ladder, the talion chiasm on the image-ground, and the frame re-doubled with the swarm-verb handed to humans. The unit ends in deliberate debt: two open queue entries — the corpus's first standing LAW-ledger since Eden.	established
B	Hebrew source + trees	All 7 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Tree facts: 9:1 [the bless-frame: Noach AND his sons \| the mandate: be fruitful, multiply, fill]; 9:2 [fear-and-dread over beast and bird \| creepers and fish — into your hand given]; 9:3 [every live mover, for you, for food \| 'as the green herb' — the old grant quoted, 'I have given you all' on the verse-end]; 9:4 [a SIX-word verse, NO etnachta: ONLY flesh — \| with its life, its blood, YOU SHALL NOT EAT: the prohibition is the shortest verse in the span]; 9:5 [your blood I WILL REQUIRE — from every beast's hand I WILL REQUIRE IT (the second edrosh alone on the etnachta) \| from the hand of the human, from the hand of a man's BROTHER, I WILL REQUIRE the human's life]; 9:6 [the chiasm whole in the etnachta arm — shedder, blood, human / human, blood, shed \| the ground: for in the IMAGE of God He made the human]; 9:7 [and YOU: be fruitful and multiply \| SWARM in the earth and multiply in it].	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03); survey complete via the debut map (24 flagged lemmas), careers and precedent encodings pulled before drafting. 9:1 VA-YEVAREKH ELOHIM — BARAKH ('bless') token 5: tokens 1-5 are ALL divine blessings (creatures, humankind, the seventh day, humankind-at-naming, Noach-and-sons; token 6 = 9:26, the first HUMAN blessing-speech); the target is PLURAL for the first time among humans (Noach AND his sons); the mandate repeats 1:28's first three verbs WORD FOR WORD (PERU U-REVU U-MILU ET-HA-ARETZ) and STOPS — 1:28's VE-KHIVSHUHA ('subdue it') and U-REDU ('rule over') are DROPPED: absence-census run, kavash and radah have ZERO tokens in 9:1-7 [near-verbatim + named delta; the chain's readings named-only]; and MALE ('fill') tokens 3-4 sit BETWEEN the two fill-commands — 6:11/6:13, the earth FILLED with violence: the re-issued order crosses its own dark middle tokens. 9:2 MORAH ('fear') — FIRST TOKEN of 5; all four later tokens are Deuteronomy's Exodus-terrors (4:34, 11:25, 26:8, 34:12): the fear laid on beasts is the word later laid on nations; CHAT ('dread') — a TORAH HAPAX beside it; BE-YEDKHEM NITANU ('into your hand they are GIVEN' — niphal perfect, held as fact); DAG ('fish') debuts (twin: Num 11:22). 9:3 the eating-law's FIRST AMENDMENT, citing the old grant inside the new: LAKHEM YIHYEH LE-OKHLAH ('for you it shall be for food' — 1:29's own imperfect grant-syntax) + KE-YEREQ ESEV ('as the GREEN HERB' — YEREQ token 2; token 1 = 1:30, the beasts' plant-grant) + NATATI ('I have GIVEN', performative perfect); OKHLAH ('food') token 4 — tokens 1-3 are the two creation grants and the ark provisions: the word's whole early career is menu-law [quote-class letter facts]. 9:4 THE FIRST PROHIBITION SINCE EDEN: AKH BASAR BE-NAFSHO DAMO LO TOKHELU — LO + imperfect on an eating-verb, EXACTLY 2:17's shape (frozen gen_08: DECLARE LET-NOT(akhal(me_etz_ha_daat...)), TIR-034 — the machine's only prior prohibition; both are eating-laws); AKH ('only') tokens 2-3 in-span after its 7:23 debut — the particle's first three tokens: the survivor, the blood-limit, the reckoning; NEFESH tokens 7-9 — the life-word's first post-creation cluster is the blood-equals-life clause. 9:5 DARASH ('require/seek') — tokens 1-3 of 22 ALL IN THIS VERSE: a triple debut in first-person imperfects ('I will require'); career: Rebekah's inquiry (25:22), 'his blood is required' (42:22), Lev 10:16's double darosh-darash; the MI-YAD ladder ('from the hand of') x3 — beast, human, ISH ACHIV ('a man's BROTHER'): the brother-word's tokens 1-7 are ALL Cain-and-Abel, and 4:11 took Abel's blood MI-YADEKHA ('from YOUR hand'); YAD tokens 5-8 all in-span — given INTO the hand (9:2), required FROM it (9:5): the span's economy of the hand; DAM ('blood') tokens 3-6 in-span after Abel's tokens 1-2 (4:10, 4:11). 9:6 the corpus's FIRST TALION-FORM: SHOFEKH DAM HA-ADAM / BA-ADAM DAMO YISHAFEKH — a six-word chiasm; SHAFAKH ('shed') tokens 1-2 of 22 BOTH inside it — participle (the standing case) and niphal (the consequence): deed and undergoing in one line (career: tokens 5+ are the altar's blood-pourings, Exod 29:12 / Lev 4 — the shed-verb's future is cultic); the ground: KI BE-TZELEM ELOHIM ASAH ET-HA-ADAM — TZELEM ('image') token 5 of 6 (1:26, 1:27 x2, 5:3, here; token 6 = Num 33:52, the idol-images): the creation-word as the law's reason [letter fact; the ba-adam instrumental readings are the chain's — named-only]. 9:7 the frame re-doubled: PERU tokens 4-5 bracket the span; RAVAH tokens 9-11 (twice in this verse); SHIRTZU ('SWARM!') — day 5's water-verb handed to HUMANS as imperative (SHARATZ token 5; token 6 = Exod 1:7, Israel swarming in Egypt); NO bless-verb in 9:7 [verified]. Speaker: ELOHIM only (x2 tokens; ZERO YHWH in span — verified): the whole charter runs under the creation-name. NO date; NO ark-token.	tested
D	Predicates & outcomes	The unit is a charter in ring-form: blessing verbs outside, law inside, and the law's single motion runs from the table to the gallows — what you may eat, what you may not, what will be demanded, by whom, and why. Dominion is not renewed; dread replaces rule, and the hand that receives the animals in verse 2 owes their blood-reckoning by verse 5. The deepest structure is the borrowed ground: the same image-clause that opened the human story now guards it, and the same brother-vocabulary that told the first murder now prices the next one. The machine ends in intentional debt — a guarded grant and an unpoppable prohibition standing open — the corpus's first law-ledger since Eden.	tested
E	Logic format choice	Operator lines; NO ledger row. Every call precedent-matched (encodings quoted from the frozen units): 9:1 BLESS(elohim, noach_u_vanav) MANDATE {CMD!(peru), CMD!(revu), CMD!(milu(et_ha_aretz))} — gen_05/gen_06's exact class (gen_06 1:28 ran FIVE items: ...CMD!(kivshuha), CMD!(redu(ba_dagah_u_va_of_u_ve_khol_chaya_romeset)) — the mandate here is two items SHORTER: the named delta; mandate items are standing WORLD facts, never SPECS, per the BLESS contract) + NOTE_PRESUPPOSED (noach, banav). 9:2 facts. 9:3 the gen_06 food-grant class MATCHED IN FULL: ASSIGN (REGISTRY: kol_remes_asher_hu_chai->okhlah_la_khem — the second food-office binding; the registry's first write in five units; the assigned-before-presence flag expected and kept as data) + DECLARE(elohim, LET?(yihyeh(kol_remes_chai, le_okhlah))) — the imperfect grant-formula takes TIR-028's mandatory ? exactly as gen_06's did; gen_06's LET? was popped by 1:30's va-yehi-khen receipt — THIS span has no receipt verse, so the LET? stays pushed and OPEN, mood guarded [letter-faithful decision, recorded] — plus the natati-conferral and ke-yereq citation as FACT. 9:4 gen_08's prohibition class MATCHED EXACTLY: DECLARE(elohim, LET-NOT(akhal(basar_be_nafsho_damo))) — TIR-034's second firing ever; LET-NOT has NO resolution path (the S10 contract): it stands OPEN forever, as 2:17's does. 9:5 the triple I-will-require: weighed CMD-US? (gen_15's poppable resolve — DECLINED: that class awaited one deed and got it at 7:23) vs INVARIANT (gen_20's perpetual pledges — MATCHED: standing per-case commitments with no single execution event; the positive voice of the never-again class) — INVARIANT(et_dimkhem_le_nafshoteikhem_edrosh) during t1, with the mi-yad ladder as FACT. 9:6 gen_12's HANDLER class MATCHED: HANDLER IF(shofekh(dam_ha_adam)) THEN(ba_adam_damo_yishafekh) — the participle IS the case-form; standing law-grammar exactly as 4:15's HANDLER IF(horeg(kayin)) THEN(shivatayim_yukam); the image-ground as FACT — PATTERN (gen_09's class) weighed and DECLINED: that class is the NARRATOR'S al-ken ('therefore') etiology with no addressee; 9:6's ki ('because') is in-speech reasoning grounding a handler [recorded]. 9:7 bare-imperative re-doubling as FACT (mandate-class content with no bless-frame — no bless-verb in the verse; recorded). NO TEST, NO install, t0 EMPTY. Queue at close: TWO OPEN (LET? + LET-NOT) — deliberate law-debt, the gen_08 precedent. Interpreter extensions: NONE.	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: noach_u_vanav, kol_remes_asher_hu_chai, yihyeh(kol_remes_chai, le_okhlah), akhal(basar_be_nafsho_damo), et_dimkhem_le_nafshoteikhem_edrosh, shofekh(dam_ha_adam), ba_adam_damo_yishafekh, ki_be_tzelem_elohim_asah_et_ha_adam.	established
G	Oral (named only) + Tier-A translation check	Named but NOT read (cache: zero for Gen 9:1-7 — fifteenth tripwire; gen_21 Tier-A queue): Bavli Sanhedrin 56a-60a (THE Noachide-laws locus — the seven laws built around these verses; 57a the blood-derivations; 59b limb-from-the-living, whose textual home is 9:4, and the meat-permission); Bereshit Rabbah 34 (end — the renewed blessing, the fear, the image); Mishnah Avot 3:14 (the image-doctrine's class); Rashi at 9:4, 9:5 (the three mi-yad readings), 9:6 (ba-adam as the courts), 9:7. Tier-A Onkelos (7 fetches, FETCHLOG 2026-08-03): THE COURTROOM WRITTEN INTO THE CHIASM — ba-adam ('by/in the human') -> 'BY WITNESSES, ON THE WORD OF THE JUDGES' (be-sahadin al meimar dayyanayya, bolded): the instrumental-beth-as-courts doctrine inserted into the translation itself — the tripwire's predicted class fires inside Onkelos; the letter's six-word mirror broken by the insertion (flagged; the machine's HANDLER stands on the letter); the image-clause KEPT (no dodge on tzelem) but the name inside it swapped — be-tzelem ELOHIM -> 'in the image of YY' (flagged); 9:5's brother-clause EXPANDED into an explicit crime ('from the hand of a man WHO SHEDS HIS BROTHER'S BLOOD' — the shed-verb imported back from 9:6; flagged); the fear-pair leveled (the dread-hapax rendered with the stock terror-word eimta; flagged); 'are given' -> 'shall be HANDED OVER' (the masar delivery-verb, future); the 9:4 prohibition kept word-for-word EXACT — no limb-from-the-living import (a restraint worth naming beside the 9:5-6 expansions); AKH -> BERAM again; ELOHIM -> YY at the blessing (fourth leveling in a row); SHIRTZU ('swarm!') -> 'be born/breed' (the birth-root, exactly as at 8:17 — the day-5 verb's human hand-off does not survive); the grant kept in both verb-forms and the ke-yereq citation survives.	tested
H	Scenarios	S1 the bless-mandate facts (peru/revu/milu) + the two read-flags; queue still empty. S2 the fear-facts. S3 the registry's first write in five units + the LET? grant pushed and OPEN + the assigned-before-presence flag. S4 the LET-NOT pushed and OPEN — the first prohibition since Eden on the queue. S5 the reckoning INVARIANT active + the ladder-fact. S6 the handler-fact and the image-fact HOLD. S7 the frame-fact + BOTH moods guarded at close (LET? remains LET?, LET-NOT remains LET-NOT): the unit ends in law-debt by design. S8_negative: the LET-NOT never-resolves contract (S10 class); S9_negative: flag-never-block.	tested
I	English leakage review	Operators derive from morph codes (the qal imperatives in the mandate; the niphal perfect nitanu; the imperfect grant-formula taking TIR-028's ?; lo+imperfect TIR-034; the first-person imperfect pledges; the participle case-form feeding the HANDLER) and the complete debut-map survey plus FIVE precedent pulls run BEFORE drafting (barakh / male / parah / ravah / sharatz / radah / kavash [absence] / morah / chat / dag / yad / okhlah / yereq / akh / nefesh / dam / darash / shafakh / tzelem / ach careers; the 1:28, 1:29-30, 2:17, 4:11-15, 6:5 compares; the speaker and date zero-scans). NOT supplied: why dominion is not renewed, the three mi-yad readings, ba-adam's instrument, the seven-laws construction, or the image-clause's theology — every one [OPEN] or named-only; the Onkelos courtroom and expansions 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 (7/7 steps, 9/9 scenarios, 19/19 clause checks). The agent delivered status DRAFT; the MAIN LOOP verified every precedent quote against the frozen units, re-ran ten censuses independently, and froze on a passing review — freeze-after-review #4. Changes henceforth require an amend order, not silent edits.	established

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

STEP_Gn_9_1 · Gen.9.1 · THE_BLESSING_REISSUED_SHORTER

וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו וַיֹּאמֶר לָהֶם פְּרוּ וּרְבוּ וּמִלְאוּ אֶת־הָאָרֶץ · va-yevarekh Elohim et-Noach ve-et-banav va-yomer lahem peru u-revu u-milu et-ha-aretz · [EN-AID/JPS] And God blessed Noah and his sons, and said unto them: 'Be fruitful and multiply, and replenish the earth.

LEFT
ויברך אלהים את נח ואת בניו · va-yevarekh Elohim et-Noach ve-et-banav · God blessed Noach AND his sons (etnachta arm)

RIGHT
ויאמר להם פרו ורבו ומלאו את הארץ · va-yomer lahem peru u-revu u-milu et-ha-aretz · and said to them: be fruitful, multiply, fill the earth

operator	expression	Hebrew anchor	cites	confidence
BLESS	BLESS(elohim, noach_u_vanav) MANDATE {CMD!(peru), CMD!(revu), CMD!(milu(et_ha_aretz))} = BLESS(God, Noach-and-vanav) MANDATE {CMD!(be-fruitful), CMD!(multiply), CMD!(fill(obj-marker·et-the-earth))} THE BLESSING RE-ISSUED — TWO VERBS SHORT: BARAKH ('bless') token 5 (tokens 1-5 all divine: creatures, humankind, the seventh day, humankind-at-naming, here; token 6 = 9:26, the first HUMAN blessing-speech), aimed at the first PLURAL human target — Noach AND his sons. The mandate repeats 1:28's first three verbs WORD FOR WORD (be fruitful, multiply, FILL the earth) and STOPS: the frozen gen_06 encoding ran FIVE items — ... CMD!(kivshuha) 'subdue it', CMD!(redu(...)) 'rule over' — and both are DROPPED here (absence-census: the subdue-verb and rule-verb have zero tokens in the span) [near-verbatim + named delta; the chain's readings named-only]. The fill-verb's own tokens 3-4 sit between the two fill-commands: the earth FILLED with violence (6:11, 6:13) — the order re-crosses its dark middle. Mandate items are standing WORLD facts, never SPECS (the BLESS contract, gen_05/gen_07).	וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו … פְּרוּ וּרְבוּ וּמִלְאוּ אֶת־הָאָרֶץ · va-yevarekh Elohim et-Noach ve-et-banav … peru u-revu u-milu et-ha-aretz = He-blessed God obj-marker·et-Noach and-obj-marker·et-banav be-fruitful multiply fill obj-marker·et-the-earth	—	tested
NOTE_PRESUPPOSED	noach, banav are READ without prior install (the survivor and his sons — the first plural human blessing-target) = Noach, banav are READ without prior install (the survivor and his sons — the first plural human blessing-target) flag, not fix	—	—	tested
WITNESS_READ	WITNESS-READ(flood_span, retained_though_legally_inoperative) = WITNESS-READ(flood-span, retained-though-legally-inoperative) THE TRADITION STATES WHY THIS SPAN IS KEPT AT ALL [claim G21-16]. R. Yonah observes that the flood chapter 'will have no future use' - the oath forecloses any repetition, so the passage can never govern a future case - and yet it is retained in the studied canon, the reason given being simply 'to inform you'. A portion of the corpus explicitly recorded as legally inoperative and deliberately preserved: a claim about the canon's own retention policy rather than about the world. [folded shape: kept record]	—	Jerusalem Talmud Sheviit 1:1:4	witnessed

The washed world restarts on the week's own words — minus the two that gave it mastery.

STEP_Gn_9_2 · Gen.9.2 · FEAR_AND_DREAD_IN_DOMINIONS_PLACE

וּמוֹרַאֲכֶם וְחִתְּכֶם יִהְיֶה עַל כָּל־חַיַּת הָאָרֶץ וְעַל כָּל־עוֹף הַשָּׁמָיִם בְּכֹל אֲשֶׁר תִּרְמֹשׂ הָאֲדָמָה וּבְכָל־דְּגֵי הַיָּם בְּיֶדְכֶם נִתָּנוּ · u-moraakhem ve-chitkhem yihyeh al kol-chayat ha-aretz ve-al kol-of ha-shamayim be-khol asher tirmos ha-adamah u-ve-khol-degei ha-yam be-yedkhem nittanu · [EN-AID/JPS] And the fear of you and the dread of you shall be upon every beast of the earth, and upon every fowl of the air, and upon all wherewith the ground teemeth, and upon all the fishes of the sea: into your hand are they delivered.

LEFT
ומוראכם וחתכם יהיה על כל חית הארץ ועל כל עוף השמים · u-moraakhem ve-chitkhem yihyeh al kol-chayat ha-aretz ve-al kol-of ha-shamayim · your fear and your dread on beast and bird (etnachta arm)

RIGHT
בכל אשר תרמש האדמה ובכל דגי הים בידכם נתנו · be-khol asher tirmos ha-adamah u-ve-khol-degei ha-yam be-yedkhem nittanu · on all that creeps, and all the fish — into your hand they are given

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(moraakhem_ve_chitkhem_al_kol_chayat_ha_aretz, t1) ∧ HOLDS(be_yedkhem_nittanu, t1) = HOLDS(moraakhem-and-chitkhem-over-all-living-the-earth, t1) ∧ HOLDS(in-yedkhem-nittanu, t1) Where 1:28 said RULE, 9:2 says FEAR: MORAH ('fear') — FIRST TOKEN of 5, and its four later tokens are ALL Deuteronomy's Exodus-terrors (the 'great terror' of the outstretched arm): the fear laid on beasts is the word later laid on nations. CHAT ('dread') — a TORAH HAPAX riding beside it [Onkelos levels it to the stock terror-word; dual-track, flagged]. BE-YEDKHEM NITANU — 'into your HAND they are GIVEN' (niphal perfect, held as fact): the hand receives here and will owe in three verses [letter fact]. DAG ('fish') debuts — the dominion-list's fish return, but under dread, not rule [named delta vs 1:28, held].	וּמוֹרַאֲכֶם וְחִתְּכֶם … בְּיֶדְכֶם נִתָּנוּ · u-moraakhem ve-chitkhem … be-yedkhem nittanu = and-moraakhem and-chitkhem in-yedkhem nittanu	—	tested
WITNESS_READ	WITNESS-READ(fear_grant, co_residence_law_and_lapsing_right) = WITNESS-READ(fear-grant, co-residence-law-and-lapsing-right) A PERMISSION WITH AN EXPIRY CONDITION [claim G21-07]. Because the grant covers beast, bird and fish together, dominion is read as implying CO-RESIDENCE - the birds and fish said to have left the Land with Israel and returned with them. And the grant's own second-person suffix is read through the word for LIVING: 'YOUR fear' holds while you live and LAPSES AT DEATH - which is why a day-old infant needs no guarding from beasts while even a mighty dead man does. [folded shape: priced law]	—	Eikhah Rabbah, Petichta 34, Shabbat 151b:9	witnessed

Dominion is not renewed; it is replaced — the creatures' new relation to humankind is terror with a bill attached.

STEP_Gn_9_3 · Gen.9.3 · THE_MEAT_GRANT_CITES_THE_OLD

כָּל־רֶמֶשׂ אֲשֶׁר הוּא־חַי לָכֶם יִהְיֶה לְאָכְלָה כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל · kol-remes asher hu-chai lakhem yihyeh le-okhlah ke-yereq esev natati lakhem et-kol · [EN-AID/JPS] Every moving thing that liveth shall be for food for you; as the green herb have I given you all.

LEFT
כל רמש אשר הוא חי לכם יהיה לאכלה · kol-remes asher hu-chai lakhem yihyeh le-okhlah · every live mover — for you, for food (etnachta arm)

RIGHT
כירק עשב נתתי לכם את כל · ke-yereq esev natati lakhem et-kol · as the green herb, I have given you ALL

operator	expression	Hebrew anchor	cites	confidence
ASSIGN	REGISTRY: kol_remes_asher_hu_chai->okhlah_la_khem = REGISTRY: all-moving-thing-which-it-living->food-to-you THE FOOD-OFFICE'S SECOND BINDING — the registry's first write in five units: frozen gen_06 bound the seed-bearing inventory to the food office (REGISTRY: kol_zorea_zera->okhlah_la_adam); this amendment binds every LIVE MOVER to the same office. The eating-law's first amendment [the assigned-before-presence flag is expected data — no live-mover entity was ever installed; flags never block].	כָּל־רֶמֶשׂ אֲשֶׁר הוּא־חַי … לְאָכְלָה · kol-remes asher hu-chai … le-okhlah = all-moving-thing which it-living food	—	tested
DECLARE	DECLARE(elohim, LET?(yihyeh(kol_remes_chai, le_okhlah))) = DECLARE(God, LET?(yihyeh(all-moving-thing-living, for-food))) The grant-formula in 1:29's OWN SYNTAX — LAKHEM YIHYEH LE-OKHLAH ('for you it SHALL BE for food'): the imperfect in a command frame takes TIR-028's mandatory ? — exactly as frozen gen_06 encoded 1:29 (DECLARE(Elohim, LET?(yihyeh(kol_zorea_zera, le_okhlah)))). gen_06's LET? was popped by 1:30's va-yehi-khen receipt; THIS span has NO receipt verse — the demand stays pushed and OPEN, mood guarded: letter-faithful debt [decision recorded].	לָכֶם יִהְיֶה לְאָכְלָה · lakhem yihyeh le-okhlah = lakhem yihyeh food	TIR-028	tested
PRECONDITION_STATE	HOLDS(ke_yereq_esev_natati_la_khem_et_kol, t1) = HOLDS(like-as-the-green-of-herb-I-have-given-to-you-obj-marker·et-all, t1) The old grant CITED inside the new: KE-YEREQ ESEV ('as the GREEN HERB') — YEREQ token 2, and token 1 is 1:30, the beasts' plant-grant: the amendment measures itself against the menu it amends [quote-class letter fact]. NATATI ('I have GIVEN' — performative perfect, held as fact); OKHLAH ('food') token 4 — tokens 1-3 are the two creation grants and the ark provisions: the word's whole early career is menu-law.	כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל · ke-yereq esev natati lakhem et-kol = as-the-green-of herb I-have-given lakhem obj-marker·et-all	—	tested
WITNESS_READ	WITNESS-READ(meat_grant, theft_prohibition_inside_the_simile) = WITNESS-READ(meat-grant, theft-prohibition-inside-the-simile) A PROHIBITION HIDDEN IN A PERMISSION'S OWN SIMILE [claim G21-08]. R. Levi reads 'as the GREEN HERB I have given you everything' to mean: like the self-sprouting ownerless growth, and NOT like a tended garden - so THEFT IS FORBIDDEN in the same breath that meat is permitted. Others read the verse as permitting meat only; the dispute is recorded. And the Sifra states the architecture outright - ONE DECLARATION REPLACES ANOTHER: this universal grant stands until Deuteronomy narrows it for Israel, the corpus running two legal eras with a documented supersession. [folded shape: priced law]	—	Sanhedrin 57a:4, Sifra, Shemini, Section 2 3, Vayikra Rabbah 13:2	witnessed

The menu widens by one whole kingdom, and the letter files the change under the old law's own words.

STEP_Gn_9_4 · Gen.9.4 · THE_FIRST_PROHIBITION_SINCE_EDEN

אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ · akh-basar be-nafsho damo lo tokhelu · [EN-AID/JPS] Only flesh with the life thereof, which is the blood thereof, shall ye not eat.

LEFT
אך בשר · akh-basar · ONLY flesh — (top split; a six-word verse, no etnachta)

RIGHT
בנפשו דמו לא תאכלו · be-nafsho damo lo tokhelu · with its life — its blood — you shall NOT EAT

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(elohim, LET-NOT(akhal(basar_be_nafsho_damo))) = DECLARE(God, LET-NOT(eat(flesh-in-nafsho-damo))) THE FIRST PROHIBITION SINCE EDEN — TIR-034's SECOND FIRING EVER: LO + imperfect on an eating-verb, exactly 2:17's shape (frozen gen_08: DECLARE LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra)) — the machine's only prior prohibition; both prohibitions are eating-laws: the garden limited a tree, the charter limits the blood). LET-NOT has NO resolution path (the S10 contract): the demand stands OPEN forever, as 2:17's does. AKH ('only') tokens 2-3 in-span after the 7:23 remnant-debut — the restriction-particle's first three tokens: the survivor, the blood-limit, the reckoning [letter fact]. NEFESH tokens 7-9 — the life-word's first post-creation cluster carries the blood-equals-life identification [the chain's clause-division law (limb-from-the-living) is named-only; Onkelos keeps the verse word-for-word exact — no import].	אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ · akh-basar be-nafsho damo lo tokhelu = only-flesh in-nafsho damo not you-shall-eat	TIR-034	tested
WITNESS_READ	WITNESS-READ(limb_restriction, grant_creates_the_law) = WITNESS-READ(limb-restriction, grant-creates-the-law) THE PERMISSION ONE VERSE EARLIER IS WHY THIS PROHIBITION EXISTS [claim G21-09]. The chain states the delta directly: the first human, who had NO meat grant, was never warned about a limb from a living animal; the sons of Noah, who receive the grant at 9:3, are warned here at 9:4. A restriction derived as the consequence of a permission installed one operator before it. The clause is split two ways at the baraita - the limb, and the blood of a living animal - and the Sifra builds a ladder over the grant, each later verse adding a rung: the limb, the sinew, the fat, the blood, slaughter. [folded shape: priced law]	—	Bereshit Rabbah 34:13, Sanhedrin 57a:5, Sanhedrin 59a:6, Sifra, Shemini, Section 2 4	witnessed

Six words, no mid-verse rest: the shortest verse in the span is the one with the fence in it.

STEP_Gn_9_5 · Gen.9.5 · THE_RECKONING_LADDER

וְאַךְ אֶת־דִּמְכֶם לְנַפְשֹׁתֵיכֶם אֶדְרֹשׁ מִיַּד כָּל־חַיָּה אֶדְרְשֶׁנּוּ וּמִיַּד הָאָדָם מִיַּד אִישׁ אָחִיו אֶדְרֹשׁ אֶת־נֶפֶשׁ הָאָדָם · ve-akh et-dimkhem le-nafshoteikhem edrosh mi-yad kol-chayah edreshennu u-mi-yad ha-adam mi-yad ish achiv edrosh et-nefesh ha-adam · [EN-AID/JPS] And surely your blood of your lives will I require; at the hand of every beast will I require it; and at the hand of man, even at the hand of every man's brother, will I require the life of man.

LEFT
ואך את דמכם לנפשתיכם אדרש מיד כל חיה אדרשנו · ve-akh et-dimkhem le-nafshoteikhem edrosh mi-yad kol-chayah edreshennu · your blood I will REQUIRE — from every beast's hand I will REQUIRE IT (etnachta arm)

RIGHT
ומיד האדם מיד איש אחיו אדרש את נפש האדם · u-mi-yad ha-adam mi-yad ish achiv edrosh et-nefesh ha-adam · from the human's hand — from the hand of a man's BROTHER — I will REQUIRE the human's life

operator	expression	Hebrew anchor	cites	confidence
INVARIANT	INVARIANT(et_dimkhem_le_nafshoteikhem_edrosh) during t1 = INVARIANT(obj-marker·et-dimkhem-to-nafshoteikhem-I-will-require) during t1 THE TRIPLE I-WILL-REQUIRE as a STANDING PLEDGE: DARASH ('require/seek') — tokens 1-3 of its 22 ALL inside this one verse, first-person imperfects (career: Rebekah's inquiry 25:22, 'his blood is required' 42:22, the double darosh-darash of Lev 10:16). Encoding weighed on precedent [decision recorded]: NOT gen_15's CMD-US? class (that resolve awaited ONE deed and got it at 7:23); this is gen_20's INVARIANT class in the POSITIVE voice — a perpetual per-case commitment with no single execution event: never-again's twin, I-will-always [Onkelos renders the triple with its claim-verb, kept triple; dual-track].	וְאַךְ אֶת־דִּמְכֶם לְנַפְשֹׁתֵיכֶם אֶדְרֹשׁ … אֶדְרְשֶׁנּוּ … אֶדְרֹשׁ · ve-akh et-dimkhem le-nafshoteikhem edrosh … edreshennu … edrosh = only obj-marker·et-dimkhem to-nafshoteikhem I-will-require edreshennu I-will-require	—	tested
PRECONDITION_STATE	HOLDS(mi_yad_kol_chayah_u_mi_yad_ha_adam_ish_achiv, t1) = HOLDS(from-hand-of-all-beast-and-from-hand-of-the-human-a-man-his-brother, t1) The MI-YAD ladder ('from the hand of' x3): every beast, the human, ISH ACHIV — 'a man's BROTHER': the brother-word's tokens 1-7 are ALL Cain-and-Abel, and 4:11 took Abel's blood MI-YADEKHA ('from YOUR hand') — the reckoning is written in the fratricide's vocabulary. YAD ('hand') tokens 5-8 all in-span: given INTO your hand (9:2), required FROM the hand (here) — the span's economy of the hand [letter facts; the chain's three mi-yad readings are named-only; Onkelos expands the brother-clause into an explicit crime — dual-track, flagged].	מִיַּד כָּל־חַיָּה … וּמִיַּד הָאָדָם מִיַּד אִישׁ אָחִיו · mi-yad kol-chayah … u-mi-yad ha-adam mi-yad ish achiv = hand-of all-beast hand-of human hand-of a-man his-brother	—	tested
WITNESS_READ	WITNESS-READ(self_blood_clause, two_courts_split) = WITNESS-READ(self-blood-clause, two-courts-split) PROHIBITED IN ONE FORUM, ACTIONABLE IN THE OTHER [claim G21-10]. R. Elazar reads 'from the hand of YOUR SOULS I will require your blood' as establishing liability for taking one's own life. The tradition then divides the forum: self-injury is EXEMPT in a human court yet LIABLE IN HEAVEN'S COURT, while another who injures him is liable in both - R. Akiva's oil-flask case the exhibit. Tearing one's hair or garments in anger falls under the same head. [folded shape: priced law]	—	Bava Kamma 91b:8, Jerusalem Talmud Bava Kamma 8:6:1, Tosefta Bava Kamma (Lieberman) 9:31	witnessed

The hand that was handed the animals is served notice: the ledger of blood has a collector, and the first name in its vocabulary is the brother.

STEP_Gn_9_6 · Gen.9.6 · THE_TALION_ON_THE_IMAGE_GROUND

שֹׁפֵךְ דַּם הָאָדָם בָּאָדָם דָּמוֹ יִשָּׁפֵךְ כִּי בְּצֶלֶם אֱלֹהִים עָשָׂה אֶת־הָאָדָם · shofekh dam ha-adam ba-adam damo yishafekh ki be-tzelem Elohim asah et-ha-adam · [EN-AID/JPS] Whoso sheddeth man's blood, by man shall his blood be shed; for in the image of God made He man.

LEFT
שפך דם האדם באדם דמו ישפך · shofekh dam ha-adam ba-adam damo yishafekh · the shedder of the human's blood — by the human his blood shall be shed (the chiasm whole in the etnachta arm)

RIGHT
כי בצלם אלהים עשה את האדם · ki be-tzelem Elohim asah et-ha-adam · for in the IMAGE of God He made the human

operator	expression	Hebrew anchor	cites	confidence
HANDLER	HANDLER IF(shofekh(dam_ha_adam)) THEN(ba_adam_damo_yishafekh) = HANDLER IF(shedder-of(blood-of-the-human)) THEN(in-the-human-damo-shall-be-shed) THE CORPUS'S FIRST TALION-FORM, installed as standing law-grammar — gen_12's HANDLER class matched exactly (4:15: HANDLER IF(horeg(kayin)) THEN(shivatayim_yukam)): the participle IS the case-form ('the SHEDDER of...' — whoever, whenever), the niphal the consequence. A six-word chiasm — shedder/blood/human // human/blood/shed — with SHAFAKH ('shed') tokens 1-2 of 22 BOTH inside it: deed and undergoing in one line (career: tokens 5+ are the altar's blood-pourings, Exod 29:12 / Lev 4 — the shed-verb's future is cultic). DAM tokens 5-6 close the span's blood-run begun at Abel's cry [letter facts; the ba-adam instrument is the chain's question — named-only; Onkelos writes WITNESSES AND JUDGES into the two words — the courtroom inserted into the mirror; dual-track, flagged].	שֹׁפֵךְ דַּם הָאָדָם בָּאָדָם דָּמוֹ יִשָּׁפֵךְ · shofekh dam ha-adam ba-adam damo yishafekh = shedder-of blood-of human human damo shall-be-shed	—	tested
PRECONDITION_STATE	HOLDS(ki_be_tzelem_elohim_asah_et_ha_adam, t1) = HOLDS(that-in-image-of-God-make-obj-marker·et-the-human, t1) The ground: 'for in the IMAGE of God He made the human' — TZELEM ('image') token 5 of 6 (1:26, 1:27 x2, 5:3, here; token 6 = Num 33:52's idol-images): day six's word returns as the law's reason. Encoded as FACT — gen_09's PATTERN class was weighed and DECLINED: that op is the NARRATOR'S al-ken ('therefore') etiology with no addressee; this ki ('because') is in-speech reasoning grounding the handler [decision recorded; Onkelos KEEPS the image and swaps the name inside it — dual-track, flagged].	כִּי בְּצֶלֶם אֱלֹהִים עָשָׂה אֶת־הָאָדָם · ki be-tzelem Elohim asah et-ha-adam = that image-of God make obj-marker·et-the-human	—	tested
WITNESS_READ	WITNESS-READ(bloodshed_verse, complete_criminal_procedure) = WITNESS-READ(bloodshed-verse, complete-criminal-procedure) THE CROWN: A WHOLE CRIMINAL PROCEDURE READ WORD BY WORD OUT OF ONE VERSE [claim G21-11]. R. Chanina derives from this verse's own phrasing - conviction on ONE witness, before ONE judge, with NO forewarning required, liability for one who kills through an AGENT, and from בָּאָדָם (ba-adam, 'IN the man') liability for a FETUS, 'the man within a man'. The strangler is added, since the blood stays inside him. The MODE of execution comes from the verb: 'by man shall his blood BE SHED' means death by shedding, excluding strangling and stoning. The verse's own legal role is disputed - one school holds it the SOURCE of the prohibition, others that it supplies only the death mode - and it stands as the punishment paradigm for the whole seven-law list: 'the Merciful One revealed it at bloodshed, and the same holds for all'. [folded shape: priced law]	—	Bereshit Rabbah 34:14, Mekhilta DeRabbi Yishmael, Tractate Nezikin 4:9, Sanhedrin 57a:3, Sanhedrin 57a:13	witnessed
WITNESS_READ	WITNESS-READ(bloodshed_verse, quoted_inside_the_forewarning_liturgy) = WITNESS-READ(bloodshed-verse, quoted-inside-the-forewarning-liturgy) THE VERSE IS SPOKEN ALOUD IN COURT AS THE STATUTE [claim G21-12]. The warning administered to a suspect before a capital act QUOTES this verse - 'know that he is a son of the covenant, and the Torah said: he who spills a man's blood...' - and liability attaches only if the suspect answers that he knows and acts on that condition, with one seat requiring all the witnesses to warn as one. The verse is further paired with the Decalogue's prohibition as its other half: 'You shall not kill' is the exhortation, ours is the PUNISHMENT. Two verses, one statute. [folded shape: cross-corpus link]	—	Jerusalem Talmud Sanhedrin 5:1:8, Tosefta Sanhedrin 11:1, Mekhilta DeRabbi Yishmael, Tractate Bachodesh 8:10	witnessed
WITNESS_STATE	WITNESS(bloodshed_verse, refuses_conviction_yet_licenses_killing) = WITNESS(bloodshed-verse, refuses-conviction-yet-licenses-killing) THE SAME VERSE REFUSES A CONVICTION AND LICENSES A KILLING [claim G21-13]. REFUSED: the pursuer is seen, the warning given citing this verse, the witnesses' eyes averted for a moment, the knife found dripping - and still no execution, because 'a clean and righteous one you shall not kill'. Circumstantial proof, however overwhelming, does not convict. LICENSED: the pursuer law rides the same clause - 'save the blood of the pursued WITH the blood of the pursuer' - and whether forewarning is required there is disputed on both sides of this one verse. [folded shape: recorded dispute]	—	Mekhilta DeRabbi Yishmael, Tractate Kaspa 3:9, Sanhedrin 72b:15, Sanhedrin 72b:17	witnessed
WITNESS_READ	WITNESS-READ(image_clause, affirmative_body_care_duty) = WITNESS-READ(image-clause, affirmative-body-care-duty) THE CLAUSE THAT GROUNDS A CAPITAL PROHIBITION ALSO GROUNDS A DUTY [claim G21-14]. Hillel holds bathing itself a commandment, arguing from the statue-scrubber: if one appointed over the images of kings scrubs and washes them and is honoured for it, how much more one made in the image of God. The image clause generates an affirmative obligation toward one's own body alongside the prohibition against destroying another's. [folded shape: priced law]	—	Vayikra Rabbah 34:3	witnessed

The law's whole weight hangs on a mirror six words wide, and the mirror hangs on day six.

STEP_Gn_9_7 · Gen.9.7 · THE_FRAME_REDOUBLED

וְאַתֶּם פְּרוּ וּרְבוּ שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ · ve-atem peru u-revu shirtzu va-aretz u-revu-vah · [EN-AID/JPS] And you, be ye fruitful, and multiply; swarm in the earth, and multiply therein.'

LEFT
ואתם פרו ורבו · ve-atem peru u-revu · and YOU — be fruitful and multiply (etnachta arm)

RIGHT
שרצו בארץ ורבו בה · shirtzu va-aretz u-revu-vah · SWARM in the earth, and multiply in it

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_atem_peru_u_revu_shirtzu_va_aretz, t1) = HOLDS(and-you-be-fruitful-and-multiply-swarm-and-earth, t1) The frame closes RE-DOUBLED: PERU tokens 4-5 bracket the span (9:1/9:7); RAVAH tokens 9-11, twice in this verse — and SHIRTZU ('SWARM!'): day 5's water-verb handed to HUMANS as an imperative (SHARATZ token 5; token 6 = Exod 1:7 — 'and the children of Israel SWARMED': the command's fulfillment vocabulary). NO bless-verb in this verse [verified]: mandate-class content with no bless-frame, held as standing FACT (the letter re-doubles the charge bare; decision recorded) [Onkelos re-verbs the swarm as 'be born' — the hand-off does not survive; dual-track].	וְאַתֶּם פְּרוּ וּרְבוּ שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ · ve-atem peru u-revu shirtzu va-aretz u-revu-vah = you be-fruitful multiply swarm earth and-multiply-vah	—	tested
WITNESS_STATE	WITNESS(swarm_and_multiply, blessing_or_prohibition) = WITNESS(swarm-and-multiply, blessing-light-prohibition) IS A BLESSING ALSO A PROHIBITION? [claim G21-15]. From 'swarm and multiply' it is argued that nothing may be done to prevent reproduction, so castration is forbidden; others hold the verse merely a blessing carrying no prohibition. The dispute is recorded on both sides. Reish Lakish reads the neighbouring covenant as granted to the CLIMATES themselves, with the favour a person's native place holds for him. [folded shape: recorded dispute]	—	Sanhedrin 57a:6, Bereshit Rabbah 34:15	witnessed

The charter ends where it began, louder: the law was the middle; life is the envelope.

State machine

The blessing and the blood-law (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).

state	meaning
S_boot	Before 9:1 — all registers empty (standalone unit)
S_blessed	After 9:1 — BLESS(elohim, noach_u_vanav) with a THREE-item mandate (1:28's five minus subdue and rule — the named delta); noach/banav flagged as read
S_feared	After 9:2 — the fear-and-dread facts (the fear-word's debut, the dread-hapax); given-into-the-hand held
S_granted	After 9:3 — the food-office's second binding (REGISTRY write #1 in five units, assigned-before-presence flagged); the LET? grant pushed and OPEN (no receipt verse in-span); the old-grant citation held
S_fenced	After 9:4 — the FIRST LET-NOT since Eden pushed and OPEN (TIR-034's second firing ever); two demands now open
S_pledged	After 9:5 — the triple I-will-require standing as INVARIANT (gen_20's class, positive voice); the mi-yad ladder held in the fratricide's vocabulary
S_mirrored	After 9:6 — the talion HANDLER installed (gen_12's class; the participle as case-form); the image-ground held as fact
S_ringed_in_debt	After 9:7 — the frame re-doubled (swarm handed to humans, no bless-frame); BOTH demands still open, moods guarded: the unit ends as a standing law-ledger

from	to	via
S_boot	S_blessed	STEP_Gn_9_1
S_blessed	S_feared	STEP_Gn_9_2
S_feared	S_granted	STEP_Gn_9_3
S_granted	S_fenced	STEP_Gn_9_4
S_fenced	S_pledged	STEP_Gn_9_5
S_pledged	S_mirrored	STEP_Gn_9_6
S_mirrored	S_ringed_in_debt	STEP_Gn_9_7

AFTER_S_ringed_in_debt — TIME: t0 EMPTY — no date in the span (a charter, not a chronicle). WORLD: ZERO installs (+2 presupposed: noach, banav — the first plural human blessing-target). Standing facts (10): three mandate items (be fruitful / multiply / fill — 1:28's five MINUS subdue and rule: the re-issue is two verbs short, the named delta), the fear-and-dread pair (the fear-word's debut, the dread-hapax), the given-into-the-hand, the old-grant citation (as the green herb — 1:30 quoted inside the amendment), the mi-yad ladder (beast, human, a man's BROTHER — the fratricide's vocabulary), the talion HANDLER (IF sheds-blood THEN blood-shed — the corpus's first talion-form, gen_12's class), the image-ground (day six's word as the law's reason), and the re-doubled frame (swarm handed to humans). INVARIANTS (1): the triple I-will-require — gen_20's perpetual-pledge class in the positive voice. SPECS: TWO pushed, ZERO popped — the queue ends with BOTH entries OPEN and both moods guarded: LET?(the meat-grant — gen_06's class, letter-faithfully unreceipted in-span) and LET-NOT(the blood-prohibition — gen_08's class, TIR-034's second firing ever, no resolution path existing): the corpus's first standing LAW-LEDGER since Eden, by design. REGISTRY: ONE write — kol_remes_asher_hu_chai -> okhlah_la_khem (the food-office's second binding; first registry write in five units; the assigned-before-presence flag kept as data). TESTS: EMPTY (no inspection formula). LEDGER: EMPTY. FLAGS (3): read_before_install x2 (noach, banav) + assigned_before_any_presence x1 (kol_remes_asher_hu_chai). EVENTS: the bless, the two declares, the assign, the handler-install. The machine ends ring-framed and in debt: blessing outside, law inside, two demands nothing in this span may pop.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	The blessing re-issued two verbs short: after STEP_Gn_9_1	All registers empty (standalone unit).	Facts peru/revu/milu HOLD; flags noach/banav as read-before-install; SPECS empty. = Facts be-fruitful/multiply/fill HOLD; flags Noach/banav as read-before-install; SPECS empty.	וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו · va-yevarekh Elohim et-Noach ve-et-banav = He-blessed God obj-marker·et-Noach and-obj-marker·et-banav
S2	Fear and dread where dominion stood: after STEP_Gn_9_2	S1 state.	Facts moraakhem_ve_chitkhem/be_yedkhem_nittanu HOLD. = Facts moraakhem-and-chitkhem/in-yedkhem-nittanu HOLD.	וּמוֹרַאֲכֶם וְחִתְּכֶם · u-moraakhem ve-chitkhem = and-moraakhem and-chitkhem
S3	The meat-grant on the registry, the guarded question: after STEP_Gn_9_3	S2 state.	REGISTRY: kol_remes_asher_hu_chai->okhlah_la_khem (1 write); LET?(yihyeh(kol_remes_chai, le_okhlah)) pushed and OPEN; flags kol_remes_asher_hu_chai as assigned-before-presence. = REGISTRY: all-moving-thing-which-it-living->food-to-you (1 write); LET?(yihyeh(all-moving-thing-living, for-food)) pushed and OPEN; flags all-moving-thing-which-it-living as assigned-before-presence.	כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל · ke-yereq esev natati lakhem et-kol = as-the-green-of herb I-have-given lakhem obj-marker·et-all
S4	The first prohibition since Eden on the queue: after STEP_Gn_9_4	S3 state.	LET-NOT(akhal(basar_be_nafsho_damo)) pushed and OPEN. = LET-NOT(eat(flesh-in-nafsho-damo)) pushed and OPEN.	דָמוֹ לֹא תֹאכֵלוּ · damo lo tokhelu = damo not you-shall-eat
S5	The triple I-will-require stands: after STEP_Gn_9_5	S4 state.	edrosh INVARIANT active; Facts mi_yad_kol_chayah HOLD. = I-will-require INVARIANT active; Facts from-hand-of-all-beast HOLD.	אֶדְרֹשׁ אֶת־נֶפֶשׁ הָאָדָם · edrosh et-nefesh ha-adam = I-will-require obj-marker·et-life-of human
S6	The talion-handler on the image-ground: after STEP_Gn_9_6	S5 state.	Facts shofekh/ki_be_tzelem_elohim HOLD. = Facts shedder-of/that-in-image-of-God HOLD.	בָּאָדָם דָּמוֹ יִשָּׁפֵךְ · ba-adam damo yishafekh = human damo shall-be-shed
S7	The ring closes with the law-ledger open: after STEP_Gn_9_7	S6 state.	Facts ve_atem_peru_u_revu_shirtzu HOLD; LET?(yihyeh(kol_remes_chai, le_okhlah)) mood remains LET?; LET-NOT(akhal(basar_be_nafsho_damo)) mood remains LET-NOT. = Facts and-you-be-fruitful-and-multiply-swarm HOLD; LET?(yihyeh(all-moving-thing-living, for-food)) mood remains LET?; LET-NOT(eat(flesh-in-nafsho-damo)) mood remains LET-NOT.	שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ · shirtzu va-aretz u-revu-vah = swarm earth and-multiply-vah
S8_negative	Negative: a prohibition never resolves	A synthetic LET-NOT demand (the machine's own contract self-test).	LET-NOT has NO resolution path at all: resolution without citation must REFUSE, and resolution WITH citation must ALSO refuse — no path exists that flips a prohibition into a permission; the mood a prohibition is born with is the mood it keeps.
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_blessing_two_verbs_short	פְּרוּ וּרְבוּ וּמִלְאוּ אֶת־הָאָרֶץ · peru u-revu u-milu et-ha-aretz · the blessing re-issued to the first PLURAL human target (Noach AND his sons; the bless-verb's tokens 1-5 all divine, token 6 = 9:26's first human blessing): 1:28's first three verbs WORD FOR WORD, then silence where SUBDUE and RULE stood — the dominion pair has zero tokens in the span (absence-census); the fill-verb's own tokens 3-4 (the violence-filled earth, 6:11/6:13) sit between the two fill-commands [near-verbatim + named delta]
EXPORT_fear_for_dominion	וּמוֹרַאֲכֶם וְחִתְּכֶם … בְּיֶדְכֶם נִתָּנוּ · u-moraakhem ve-chitkhem … be-yedkhem nittanu · in dominion's place: MORAH ('fear') debuts — its four later tokens are ALL Deuteronomy's Exodus-terrors: the fear laid on beasts is the word later laid on nations; CHAT ('dread') a Torah hapax beside it; 'into your HAND they are given' — the hand that receives in 9:2 owes in 9:5 [the span's economy of the hand: yad tokens 5-8 all in-span]
EXPORT_meat_grant_cites_old	לָכֶם יִהְיֶה לְאָכְלָה כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל · lakhem yihyeh le-okhlah ke-yereq esev natati lakhem et-kol · the eating-law's first amendment, encoded on gen_06's food-grant precedent in full: the live-mover class bound to the food office (the registry's first write in five units) + the LET? grant in 1:29's own imperfect syntax (TIR-028's mandatory ?) — left OPEN, letter-faithfully: no receipt verse in-span where gen_06's grant had 1:30's va-yehi-khen; the old grant cited inside the new (KE-YEREQ ESEV, 'as the green herb' — 1:30's word); OKHLAH ('food') token 4 after the two creation grants and the ark provisions
EXPORT_first_prohibition_since_eden	אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ · akh-basar be-nafsho damo lo tokhelu · TIR-034's SECOND FIRING EVER, matched exactly to gen_08's 2:17 encoding (DECLARE LET-NOT(akhal(...))): both of the corpus's prohibitions are eating-laws — the garden fenced a tree, the charter fences the blood; LET-NOT has no resolution path (the S10 contract): the demand stands open forever; AKH ('only') tokens 1-3: the survivor (7:23), the blood-limit, the reckoning; the six-word verse has no mid-verse rest [the chain's limb-from-the-living law is named-only; Onkelos keeps the verse exact]
EXPORT_triple_require_as_invariant	אֶדְרֹשׁ … אֶדְרְשֶׁנּוּ … אֶדְרֹשׁ · edrosh … edreshennu … edrosh · DARASH ('require/seek') — tokens 1-3 of 22 ALL in one verse: a triple debut in first-person imperfects, installed as INVARIANT on gen_20's perpetual-pledge precedent (weighed against gen_15's poppable CMD-US? resolve and recorded: never-again's positive twin — I-will-always); the mi-yad ladder runs beast, human, a man's BROTHER — the brother-word's tokens 1-7 all Cain-and-Abel, 4:11's from-YOUR-hand echoing under it; blood tokens 3-6 in-span after Abel's 1-2
EXPORT_talion_chiasm_image_ground	שֹׁפֵךְ דַּם הָאָדָם בָּאָדָם דָּמוֹ יִשָּׁפֵךְ כִּי בְּצֶלֶם אֱלֹהִים עָשָׂה אֶת־הָאָדָם · shofekh dam ha-adam ba-adam damo yishafekh ki be-tzelem Elohim asah et-ha-adam · the corpus's first talion-form: a six-word chiasm with the shed-verb's Torah tokens 1-2 BOTH inside it (participle as standing case, niphal as consequence — deed and undergoing in one line; the verb's future is the altar's blood-pourings), installed as HANDLER on gen_12's 4:15 precedent; grounded in TZELEM ('image') token 5 of 6 — day six's word as the law's reason (PATTERN weighed and declined: gen_09's class is the narrator's therefore; this is in-speech because); Onkelos writes WITNESSES AND JUDGES into the mirror's two words and keeps the image while swapping the name — dual-track
EXPORT_swarm_handed_to_humans	וְאַתֶּם פְּרוּ וּרְבוּ שִׁרְצוּ בָאָרֶץ · ve-atem peru u-revu shirtzu va-aretz · the ring closes re-doubled and upgraded: SHIRTZU ('SWARM!') — day 5's water-verb handed to humans as an imperative (its next token: Israel SWARMING in Egypt, Exod 1:7); no bless-verb in the closing verse — the charge re-issued bare [letter fact]; the charter's envelope is life, its middle is law

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

observation Bavli Sanhedrin 56a-60a (the Noachide-laws locus: the seven laws around these verses; 57a the blood-derivations; 59b limb-from-the-living and the meat-permission); Bereshit Rabbah 34 (end); Mishnah Avot 3:14 (the image-doctrine's class); Rashi at 9:4 (limb from the living), 9:5 (the three mi-yad readings), 9:6 (ba-adam as the courts), 9:7 (the doubled command) — gen_21 Tier-A queue
שֹׁפֵךְ דַּם הָאָדָם · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 9:1-7 — fifteenth tripwire span. Detector classes predicted: the seven-laws construction is a law-cluster-retrojection class; limb-from-the-living out of 9:4 is a restriction-particle + clause-division class (doctrine from where the akh cuts); ba-adam-as-courts is an instrumental-beth class — and the Onkelos fetch showed that last class firing INSIDE the translation itself (below).
Queue entry — no claim made beyond the naming.

verified Onkelos Genesis 9:1-7 — read Tier-A at derive time (7 sequential fetches, Data/FETCHLOG.md 2026-08-03)
בְּסַהֲדִין עַל מֵימַר דַּיָּנַיָּא · be-sahadin al meimar dayyanayya · The span's translation witness: THE COURTROOM WRITTEN INTO THE CHIASM — ba-adam ('by/in the human') -> 'BY WITNESSES, ON THE WORD OF THE JUDGES' (a bolded insertion): the instrumental-beth-as-courts doctrine placed inside the translation — the watch-list's predicted chain-class fires in Onkelos itself; the letter's six-word mirror is broken by the insertion (flagged; the machine's HANDLER stands on the letter). The image-clause KEPT — no anti-anthropomorphic dodge on TZELEM ('image') — but the name inside it swapped (be-tzelem ELOHIM -> 'in the image of YY'; flagged). 9:5's elliptic brother-clause EXPANDED into an explicit crime ('from the hand of a man WHO SHEDS HIS BROTHER'S BLOOD' — the shed-verb imported back from 9:6; flagged); the triple require kept triple (the Aramaic claim-verb). The dread-hapax leveled to the stock terror-word (flagged); 'are given' -> 'shall be HANDED OVER' (future delivery); the 9:4 prohibition kept WORD-FOR-WORD EXACT — no limb-from-the-living import (restraint worth naming beside the 9:5-6 expansions); AKH -> BERAM again; ELOHIM -> YY at the blessing (fourth leveling in a row); SHIRTZU ('swarm!') -> 'be born/breed' (the birth-root, as at 8:17 — the day-5 hand-off does not survive); the grant kept in both verb-forms; the ke-yereq ('as the green herb') citation survives translation.
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 6 of 11; ledger logic/oral_triage/gen_21_blessing_blood_law_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 (the Sanhedrin 56b-59b Noachide sugya standing at daf grain under today's fresh 57a/59a segments). HEADLINES: the NOACHIDE MURDER PROCEDURE read out of 9:6's own words — one witness, one judge, no forewarning, agent liability, FETUSES from ba-adam ("the man within a man"), the strangler added, execution BY THE SWORD from the shedding verb; the SEVEN-LAWS EXECUTION PARADIGM ("revealed at bloodshed, so for all"); ROBBERY from our 9:3's green-herbs (ownerless, not the garden's) — recorded dispute; 9:4 split twice (limb; blood of the living — R. Chanina ben Gamliel); CASTRATION from our 9:7 vs blessing-only; the AKH-EXCLUSIONS carving suicide's limits (Saul's class out, the furnace three out) beside the TWO-COURT self-injury law (exempt below, liable in Heaven's court — our 9:5's own words); the PURSUER law riding 9:6 both ways (forewarning waived vs required); the FOREWARNING LITURGY itself quoting our verse; the averted-eyes evidence rule; FEAR-WHILE-ALIVE from 9:2's chittechem (the day-old baby and dead Og) beside the carried fear-without-dominion delta; the IMAGE TRIO (bloodshed diminishes the Image; so does refraining from procreation — Ben Azai's both) at four seats with two recorded name-variances; the grant-then-narrow architecture ("one declaration replaces another" — our 9:3 until Deuteronomy 14); HILLEL'S BATHHOUSE (the image clause as positive body-care law); the canon-purpose claim (the span kept "to inform you" though the oath forecloses reuse); the blessing-blocks-curse rule firing from our 9:1 into the Canaan question. 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.1 · parser unique · 13 words

ויברך אלהים את־נח ואת־בניו ויאמר להם פרו ורבו ומלאו את־הארץ · va-yevarekh Elohim et-nocha ve-et-banay-v va-yomer la-hem peru u-revu u-milu et-ha-aretz · God blessed Noach and his sons: be fruitful, multiply, fill — two verbs short of 1:28. [EN-AID]

PHRASE (binary 13w) וַ/יְבָ֣רֶךְ אֱלֹהִ֔ים אֶת נֹ֖חַ וְ/אֶת בָּנָ֑י…
├── PHRASE (binary 6w) וַ/יְבָ֣רֶךְ אֱלֹהִ֔ים אֶת נֹ֖חַ וְ/אֶת בָּנָ֑י…
│   ├── [0-1] GLUE וַ/יְבָ֣רֶךְ אֱלֹהִ֔ים (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) אֶת נֹ֖חַ וְ/אֶת בָּנָ֑י/ו
│       ├── [2-3] GLUE אֶת נֹ֖חַ (tifcha, rank=2)
│       └── [4-5] GLUE וְ/אֶת בָּנָ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וַ/יֹּ֧אמֶר לָ/הֶ֛ם פְּר֥וּ וּ/רְב֖וּ וּ/מִלְא֥…
    ├── PHRASE (binary 4w) וַ/יֹּ֧אמֶר לָ/הֶ֛ם פְּר֥וּ וּ/רְב֖וּ
    │   ├── [6-7] GLUE וַ/יֹּ֧אמֶר לָ/הֶ֛ם (tevir, rank=3)
    │   └── [8-9] GLUE פְּר֥וּ וּ/רְב֖וּ (tifcha, rank=2)
    └── [10-12] GLUE וּ/מִלְא֥וּ אֶת הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.9.2 · parser unique · 20 words

ומוראכם וחתכם יהיה על כל־חית הארץ ועל כל־עוף השׁמים בכל אשׁר תרמשׂ האדמה ובכל־דגי הים בידכם נתנו · u-moraa-khem ve-chit-khem yihye al kal-chayat ha-aretz ve-al kal-of ha-shamayim be-khol asher tirmos ha-adama u-ve-khal-dege ha-yam be-yed-khem nitanu · Your fear and dread on every beast — into your hand they are given. [EN-AID]

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

Gen.9.3 · parser unique · 14 words

כל־רמשׂ אשׁר הוא־חי לכם יהיה לאכלה כירק עשׂב נתתי לכם את־כל · kal-remes asher hu-chay la-khem yihye le-akhla ke-yereq esev natati la-khem et-kol · Every live mover is food for you — as the green herb, I give you all. [EN-AID]

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

Gen.9.4 · parser unique · 6 words

אך־בשׂר בנפשׁו דמו לא תאכלו · akh-basar be-nafsh-o dam-o lo tokhelu · Only flesh with its life — its blood — you shall not eat. [EN-AID]

PHRASE (binary 6w) אַךְ בָּשָׂ֕ר בְּ/נַפְשׁ֥/וֹ דָמ֖/וֹ לֹ֥א תֹאכֵ…
├── [0-1] GLUE אַךְ בָּשָׂ֕ר (zaqef gadol, rank=2)
└── PHRASE (binary 4w) בְּ/נַפְשׁ֥/וֹ דָמ֖/וֹ לֹ֥א תֹאכֵֽלוּ
    ├── [2-3] GLUE בְּ/נַפְשׁ֥/וֹ דָמ֖/וֹ (tifcha, rank=2)
    └── [4-5] GLUE לֹ֥א תֹאכֵֽלוּ (silluq (verse-end emperor), rank=1)

Gen.9.5 · parser unique · 18 words

ואך את־דמכם לנפשׁתיכם אדרשׁ מיד כל־חיה אדרשׁנו ומיד האדם מיד אישׁ אחיו אדרשׁ את־נפשׁ האדם · ve-akh et-dim-khem le-nafshote-khem edrosh mi-yad kal-chaya edrshe-nu u-mi-yad ha-adam mi-yad ish achi-v edrosh et-nefesh ha-adam · Your blood I will require — from beast, from man, from a man's brother. [EN-AID]

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

Gen.9.6 · parser unique · 12 words

שׁפך דם האדם באדם דמו ישׁפך כי בצלם אלהים עשׂה את־האדם · shofekh dam ha-adam ba-adam dam-o yishafekh ki be-tzelem Elohim asa et-ha-adam · Who sheds the human's blood, by the human his blood is shed — the image. [EN-AID]

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

Gen.9.7 · parser unique · 7 words

ואתם פרו ורבו שׁרצו בארץ ורבו־בה · ve-atem peru u-revu shirtzu va-aretz u-revu-va-ה · And you: be fruitful, multiply, SWARM in the earth. [EN-AID]

PHRASE (binary 7w) וְ/אַתֶּ֖ם פְּר֣וּ וּ/רְב֑וּ שִׁרְצ֥וּ בָ/אָ֖רֶ…
├── PHRASE (binary 3w) וְ/אַתֶּ֖ם פְּר֣וּ וּ/רְב֑וּ
│   ├── [0] וְ/אַתֶּ֖ם (tifcha, rank=2)
│   └── [1-2] GLUE פְּר֣וּ וּ/רְב֑וּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) שִׁרְצ֥וּ בָ/אָ֖רֶץ וּ/רְבוּ בָֽ/הּ
    ├── [3-4] GLUE שִׁרְצ֥וּ בָ/אָ֖רֶץ (tifcha, rank=2)
    └── [5-6] GLUE וּ/רְבוּ בָֽ/הּ (silluq (verse-end emperor), rank=1)

Word coverage — 90/90 words with named roles

ref	#	Hebrew	translit	English	role	kind	rule
Gen.9.1	0	ויברך	va-yevarekh	and-He-blessed	BARAKH_token_5_first_plural_human_target	logic_bearing	none
Gen.9.1	1	אלהים	Elohim	God	ELOHIM_only_speaker	logic_bearing	none
Gen.9.1	2	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.1	3	נח	nocha	Noah	name_nocha	logic_bearing	none
Gen.9.1	4	ואת	ve-et	obj-marker·et	obj_marker	glue	TIR-008
Gen.9.1	5	בניו	banay-v	his-sons	banav_first_plural_target	logic_bearing	none
Gen.9.1	6	ויאמר	va-yomer	and-He-said	and-He-said	logic_bearing	none
Gen.9.1	7	להם	la-hem	to-them	to-them	logic_bearing	none
Gen.9.1	8	פרו	peru	be-fruitful	MANDATE_peru_1_28_verb_one	logic_bearing	none
Gen.9.1	9	ורבו	u-revu	and-multiply	MANDATE_revu_1_28_verb_two	logic_bearing	none
Gen.9.1	10	ומלאו	u-milu	and-fill	MANDATE_milu_violence_filled_middle	logic_bearing	none
Gen.9.1	11	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.9.1	12	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.2	0	ומוראכם	u-moraa-khem	and-the-fear-of-you	MORAH_FIRST_TOKEN_exodus_terrors_next	logic_bearing	none
Gen.9.2	1	וחתכם	ve-chit-khem	and-the-dread-of-you	CHAT_TORAH_HAPAX	logic_bearing	none
Gen.9.2	2	יהיה	yihye	shall-be	shall-be	logic_bearing	none
Gen.9.2	3	על	al	over	over	logic_bearing	none
Gen.9.2	4	כל	kal	all	all	logic_bearing	none
Gen.9.2	5	חית	chayat	living	living	logic_bearing	none
Gen.9.2	6	הארץ	ha-aretz	the-earth	the-earth	logic_bearing	none
Gen.9.2	7	ועל	ve-al	and-over	and-over	logic_bearing	none
Gen.9.2	8	כל	kal	all	all	logic_bearing	none
Gen.9.2	9	עוף	of	bird-of	bird-of	logic_bearing	none
Gen.9.2	10	השמים	ha-shamayim	the-heavens	the-heavens	logic_bearing	none
Gen.9.2	11	בכל	be-khol	in-all	in-all	logic_bearing	none
Gen.9.2	12	אשר	asher	which	which	logic_bearing	none
Gen.9.2	13	תרמש	tirmos	creeps	tirmos	logic_bearing	none
Gen.9.2	14	האדמה	ha-adama	the-ground	the-ground	logic_bearing	none
Gen.9.2	15	ובכל	u-ve-khal	and-in-all	and-in-all	logic_bearing	none
Gen.9.2	16	דגי	dege	the-fish-of	DAG_FIRST_TOKEN	logic_bearing	none
Gen.9.2	17	הים	ha-yam	the-sea	the-sea	logic_bearing	none
Gen.9.2	18	בידכם	be-yed-khem	into-your-hand	the_hand_receives	logic_bearing	none
Gen.9.2	19	נתנו	nitanu	they-are-given	nitanu_niphal_perfect_fact	logic_bearing	none
Gen.9.3	0	כל	kal	all	all	logic_bearing	none
Gen.9.3	1	רמש	remes	moving-thing	kol_remes_to_food_office	logic_bearing	none
Gen.9.3	2	אשר	asher	which	which	logic_bearing	none
Gen.9.3	3	הוא	hu	it	it	logic_bearing	none
Gen.9.3	4	חי	chay	living	living	logic_bearing	none
Gen.9.3	5	לכם	la-khem	to-you	to-you	logic_bearing	none
Gen.9.3	6	יהיה	yihye	shall-be	shall-be	logic_bearing	TIR-028
Gen.9.3	7	לאכלה	le-akhla	for-food	OKHLAH_token_4_menu_law	logic_bearing	none
Gen.9.3	8	כירק	ke-yereq	as-the-green-of	YEREQ_token_2_1_30_cited	logic_bearing	none
Gen.9.3	9	עשב	esev	herb	herb	logic_bearing	none
Gen.9.3	10	נתתי	natati	I-have-given	natati_performative_perfect	logic_bearing	none
Gen.9.3	11	לכם	la-khem	to-you	to-you	logic_bearing	none
Gen.9.3	12	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.3	13	כל	kol	all	all	logic_bearing	none
Gen.9.4	0	אך	akh	only	AKH_token_2_blood_limit	logic_bearing	none
Gen.9.4	1	בשר	basar	flesh	flesh	logic_bearing	none
Gen.9.4	2	בנפשו	be-nafsh-o	with-its-life	nefesh_blood_equation	logic_bearing	none
Gen.9.4	3	דמו	dam-o	its-blood	dam_token_3_after_abel	logic_bearing	none
Gen.9.4	4	לא	lo	not	not	logic_bearing	none
Gen.9.4	5	תאכלו	tokhelu	you-shall-eat	LO_TOKHELU_TIR_034_second_firing	logic_bearing	TIR-034
Gen.9.5	0	ואך	ve-akh	and-only	AKH_token_3_reckoning	logic_bearing	none
Gen.9.5	1	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.5	2	דמכם	dim-khem	your-blood	dam_token_4	logic_bearing	none
Gen.9.5	3	לנפשתיכם	le-nafshote-khem	for-your-lives	nefesh_token_8	logic_bearing	none
Gen.9.5	4	אדרש	edrosh	I-will-require	DARASH_token_1_triple_debut	logic_bearing	none
Gen.9.5	5	מיד	mi-yad	from-the-hand-of	from-the-hand-of	logic_bearing	none
Gen.9.5	6	כל	kal	all	all	logic_bearing	none
Gen.9.5	7	חיה	chaya	living	living	logic_bearing	none
Gen.9.5	8	אדרשנו	edrshe-nu	I-will-require-it	darash_token_2	logic_bearing	none
Gen.9.5	9	ומיד	u-mi-yad	and-from-the-hand-of	and-from-the-hand-of	logic_bearing	none
Gen.9.5	10	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.9.5	11	מיד	mi-yad	from-the-hand-of	from-the-hand-of	logic_bearing	none
Gen.9.5	12	איש	ish	a-man	a-man	logic_bearing	none
Gen.9.5	13	אחיו	achi-v	his-brother	ISH_ACHIV_cain_vocabulary	logic_bearing	none
Gen.9.5	14	אדרש	edrosh	I-will-require	darash_token_3	logic_bearing	none
Gen.9.5	15	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.9.5	16	נפש	nefesh	the-life-of	nefesh_token_9	logic_bearing	none
Gen.9.5	17	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.9.6	0	שפך	shofekh	the-shedder-of	SHAFAKH_token_1_the_case_form	logic_bearing	none
Gen.9.6	1	דם	dam	the-blood-of	dam_token_5	logic_bearing	none
Gen.9.6	2	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.9.6	3	באדם	ba-adam	by-the-human	BA_ADAM_instrument_named_only	logic_bearing	none
Gen.9.6	4	דמו	dam-o	his-blood	dam_token_6	logic_bearing	none
Gen.9.6	5	ישפך	yishafekh	shall-be-shed	shafakh_token_2_niphal_consequence	logic_bearing	none
Gen.9.6	6	כי	ki	that	that	logic_bearing	none
Gen.9.6	7	בצלם	be-tzelem	in-the-image-of	TZELEM_token_5_of_6_law_ground	logic_bearing	none
Gen.9.6	8	אלהים	Elohim	God	God	logic_bearing	none
Gen.9.6	9	עשה	asa	He-made	asah_day_six_verb	logic_bearing	none
Gen.9.6	10	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.9.6	11	האדם	ha-adam	the-human	the-human	logic_bearing	none
Gen.9.7	0	ואתם	ve-atem	and-you	and-you	logic_bearing	none
Gen.9.7	1	פרו	peru	be-fruitful	parah_token_5_frame_closes	logic_bearing	none
Gen.9.7	2	ורבו	u-revu	and-multiply	ravah_token_10	logic_bearing	none
Gen.9.7	3	שרצו	shirtzu	swarm	SHIRTZU_day_5_verb_to_humans	logic_bearing	none
Gen.9.7	4	בארץ	va-aretz	in-the-earth	in-the-earth	logic_bearing	none
Gen.9.7	5	ורבו	u-revu	and-multiply	ravah_token_11	logic_bearing	none
Gen.9.7	6	בה	va-h	in-her/its	in-her_its	logic_bearing	none

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

unit: gen_21_blessing_blood_law — The blessing and the blood-law: be fruitful again, but the blood is Mine (9:1-7) [frozen]

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

=== S1 — The blessing re-issued two verbs short: after STEP_Gn_9_1
    וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו (va-yevarekh Elohim et-Noach ve-et-banav)
    PASS  Facts peru/revu/milu HOLD  (3 facts)
    PASS  flags noach/banav as read-before-install  (flagged=['banav', 'noach'])
    PASS  SPECS empty.  (queue=0)

=== S2 — Fear and dread where dominion stood: after STEP_Gn_9_2
    וּמוֹרַאֲכֶם וְחִתְּכֶם (u-moraakhem ve-chitkhem)
    PASS  Facts moraakhem_ve_chitkhem/be_yedkhem_nittanu HOLD.  (5 facts)

=== S3 — The meat-grant on the registry, the guarded question: after STEP_Gn_9_3
    כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל (ke-yereq esev natati lakhem et-kol)
    PASS  REGISTRY: kol_remes_asher_hu_chai->okhlah_la_khem (1 write)  (names={'kol_remes_asher_hu_chai': 'okhlah_la_khem'} writes=1)
    PASS  LET?(yihyeh(kol_remes_chai, le_okhlah)) pushed and OPEN  (queue=['yihyeh(kol_remes_chai, le_okhlah)'])
    PASS  flags kol_remes_asher_hu_chai as assigned-before-presence.  (flagged=['kol_remes_asher_hu_chai'])

=== S4 — The first prohibition since Eden on the queue: after STEP_Gn_9_4
    דָמוֹ לֹא תֹאכֵלוּ (damo lo tokhelu)
    PASS  LET-NOT(akhal(basar_be_nafsho_damo)) pushed and OPEN.  (queue=['yihyeh(kol_remes_chai, le_okhlah)', 'akhal(basar_be_nafsho_damo)'])

=== S5 — The triple I-will-require stands: after STEP_Gn_9_5
    אֶדְרֹשׁ אֶת־נֶפֶשׁ הָאָדָם (edrosh et-nefesh ha-adam)
    PASS  edrosh INVARIANT active  (invariants=['et_dimkhem_le_nafshoteikhem_edrosh'])
    PASS  Facts mi_yad_kol_chayah HOLD.  (7 facts)

=== S6 — The talion-handler on the image-ground: after STEP_Gn_9_6
    בָּאָדָם דָּמוֹ יִשָּׁפֵךְ (ba-adam damo yishafekh)
    PASS  Facts shofekh/ki_be_tzelem_elohim HOLD.  (9 facts)

=== S7 — The ring closes with the law-ledger open: after STEP_Gn_9_7
    שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ (shirtzu va-aretz u-revu-vah)
    PASS  Facts ve_atem_peru_u_revu_shirtzu HOLD  (10 facts)
    PASS  LET?(yihyeh(kol_remes_chai, le_okhlah)) mood remains LET?  (mood=LET?)
    PASS  LET-NOT(akhal(basar_be_nafsho_damo)) mood remains LET-NOT.  (mood=LET-NOT)

=== S8_negative — Negative: a prohibition never resolves
    PASS  prohibitive lo+imperfect parsed as LET-NOT  (mood=LET-NOT)
    PASS  resolution without citation REFUSED  (no ?-mood spec found for demand: akhal(adam, me_etz_ha_daat_...)
    PASS  resolution WITH citation ALSO refused (no ?-mood path)  (no ?-mood spec found for demand: akhal(adam, me_etz_ha_daat_...)
    PASS  mood unchanged after both attempts  (mood=LET-NOT)

=== 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_21_blessing_blood_law.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_21_blessing_blood_law — 9:1-7
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_21_blessing_blood_law.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 blessing and the blood-law: be fruitful again, but the blood is Mine (9:1-7)"""
from machine import Machine

m = Machine("gen_21_blessing_blood_law")

# -------------------------- Gen.9.1 · THE_BLESSING_REISSUED_SHORTER --------
# וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו וַיֹּאמֶר לָהֶם פְּרוּ וּרְבוּ
# וּמִלְאוּ אֶת־הָאָרֶץ
# "And God blessed Noah and his sons, and said unto them: 'Be fruitful and
# multiply, and replenish the earth."
m.step("Gen.9.1")
# ‹וַיְבָרֶךְ אֱלֹהִים אֶת־נֹחַ וְאֶת־בָּנָיו … פְּרוּ וּרְבוּ וּמִלְאוּ
# אֶת־הָאָרֶץ› (“and-He-blessed God obj-marker Noah obj-marker his-sons …
# be-fruitful and-multiply and-fill obj-marker the-earth”) — blessing: God
# blesses Noach-and-vanav — mandate: CMD!(peru), CMD!(revu), CMD!(milu(et-
# the-aretz))
m.bless("elohim", "noach_u_vanav", mandate=["CMD!(peru)", "CMD!(revu)", "CMD!(milu(et_ha_aretz))"])
# reads without prior install (flag, not fix): Noach, banav
m.presupposed("noach", "banav")
# witness-tier presupposed read: retained_though_legally_inoperative on
# flood_span — read, not installed
m.witness_read("flood_span", "retained_though_legally_inoperative",
                cites=["Jerusalem Talmud Sheviit 1:1:4"])

# -------------------------- Gen.9.2 · FEAR_AND_DREAD_IN_DOMINIONS_PLACE ----
# וּמוֹרַאֲכֶם וְחִתְּכֶם יִהְיֶה עַל כָּל־חַיַּת הָאָרֶץ וְעַל כָּל־עוֹף
# הַשָּׁמָיִם בְּכֹל אֲשֶׁר תִּרְמֹשׂ הָאֲדָמָה וּבְכָל־דְּגֵי הַיָּם
# בְּיֶדְכֶם נִתָּנוּ
# "And the fear of you and the dread of you shall be upon every beast of the
# earth, and upon every fowl of the air, and upon all wherewith the ground
# teemeth, and upon all the fishes of the sea: into your hand are they
# delivered."
m.step("Gen.9.2")
# ‹וּמוֹרַאֲכֶם וְחִתְּכֶם … בְּיֶדְכֶם נִתָּנוּ› (“and-the-fear-of-you and-
# the-dread-of-you … into-your-hand they-are-given”) — fact holds:
# moraakhem-and-chitkhem-over-all-living-the-earth; in-yedkhem-nittanu
m.fact("moraakhem_ve_chitkhem_al_kol_chayat_ha_aretz",
       "be_yedkhem_nittanu")
# witness-tier presupposed read: co_residence_law_and_lapsing_right on
# fear_grant — read, not installed
m.witness_read("fear_grant", "co_residence_law_and_lapsing_right",
                cites=["Eikhah Rabbah, Petichta 34", "Shabbat 151b:9"])

# -------------------------- Gen.9.3 · THE_MEAT_GRANT_CITES_THE_OLD ---------
# כָּל־רֶמֶשׂ אֲשֶׁר הוּא־חַי לָכֶם יִהְיֶה לְאָכְלָה כְּיֶרֶק עֵשֶׂב
# נָתַתִּי לָכֶם אֶת־כֹּל
# "Every moving thing that liveth shall be for food for you; as the green
# herb have I given you all."
m.step("Gen.9.3")
# ‹כָּל־רֶמֶשׂ אֲשֶׁר הוּא־חַי … לְאָכְלָה› (“all moving-thing which it
# living … for-food”) — role assigned: all-moving-thing-which-it-living ->
# food-to-you
m.assign("kol_remes_asher_hu_chai", "okhlah_la_khem")
# ‹לָכֶם יִהְיֶה לְאָכְלָה› (“to-you shall-be for-food”) — God speaks a
# demand — LET?: yihyeh(all-moving-thing-living, for-food)
m.declare("elohim", "LET?",
          "yihyeh(kol_remes_chai, le_okhlah)")
# ‹כְּיֶרֶק עֵשֶׂב נָתַתִּי לָכֶם אֶת־כֹּל› (“as-the-green-of herb I-have-
# given to-you obj-marker all”) — fact holds: like-as-the-green-of-herb-I-
# have-given-to-you-obj-marker·et-all
m.fact("ke_yereq_esev_natati_la_khem_et_kol")
# witness-tier presupposed read: theft_prohibition_inside_the_simile on
# meat_grant — read, not installed
m.witness_read("meat_grant", "theft_prohibition_inside_the_simile",
                cites=["Sanhedrin 57a:4", "Sifra, Shemini, Section 2 3", "Vayikra Rabbah 13:2"])

# -------------------------- Gen.9.4 · THE_FIRST_PROHIBITION_SINCE_EDEN -----
# אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ
# "Only flesh with the life thereof, which is the blood thereof, shall ye
# not eat."
m.step("Gen.9.4")
# ‹אַךְ־בָּשָׂר בְּנַפְשׁוֹ דָמוֹ לֹא תֹאכֵלוּ› (“only flesh with-its-life
# its-blood not you-shall-eat”) — God speaks a demand — LET-NOT: eat(flesh-
# in-nafsho-damo)
m.declare("elohim", "LET-NOT",
          "akhal(basar_be_nafsho_damo)")
# witness-tier presupposed read: grant_creates_the_law on limb_restriction —
# read, not installed
m.witness_read("limb_restriction", "grant_creates_the_law",
                cites=["Bereshit Rabbah 34:13", "Sanhedrin 57a:5", "Sanhedrin 59a:6", "Sifra, Shemini, Section 2 4"])

# -------------------------- Gen.9.5 · THE_RECKONING_LADDER -----------------
# וְאַךְ אֶת־דִּמְכֶם לְנַפְשֹׁתֵיכֶם אֶדְרֹשׁ מִיַּד כָּל־חַיָּה
# אֶדְרְשֶׁנּוּ וּמִיַּד הָאָדָם מִיַּד אִישׁ אָחִיו אֶדְרֹשׁ אֶת־נֶפֶשׁ
# הָאָדָם
# "And surely your blood of your lives will I require; at the hand of every
# beast will I require it; and at the hand of man, even at the hand of every
# man's brother, will I require the life of man."
m.step("Gen.9.5")
# ‹וְאַךְ אֶת־דִּמְכֶם לְנַפְשֹׁתֵיכֶם אֶדְרֹשׁ … אֶדְרְשֶׁנּוּ … אֶדְרֹשׁ›
# (“and-only obj-marker your-blood for-your-lives I-will-require … I-will-
# require-it … I-will-require”) — standing constraint: obj-marker·et-
# dimkhem-to-nafshoteikhem-I-will-require
m.invariant("et_dimkhem_le_nafshoteikhem_edrosh")
# ‹מִיַּד כָּל־חַיָּה … וּמִיַּד הָאָדָם מִיַּד אִישׁ אָחִיו› (“from-the-
# hand-of all living … and-from-the-hand-of the-human from-the-hand-of a-man
# his-brother”) — fact holds: from-hand-of-all-beast-and-from-hand-of-the-
# human-a-man-his-brother
m.fact("mi_yad_kol_chayah_u_mi_yad_ha_adam_ish_achiv")
# witness-tier presupposed read: two_courts_split on self_blood_clause —
# read, not installed
m.witness_read("self_blood_clause", "two_courts_split",
                cites=["Bava Kamma 91b:8", "Jerusalem Talmud Bava Kamma 8:6:1", "Tosefta Bava Kamma (Lieberman) 9:31"])

# -------------------------- Gen.9.6 · THE_TALION_ON_THE_IMAGE_GROUND -------
# שֹׁפֵךְ דַּם הָאָדָם בָּאָדָם דָּמוֹ יִשָּׁפֵךְ כִּי בְּצֶלֶם אֱלֹהִים
# עָשָׂה אֶת־הָאָדָם
# "Whoso sheddeth man's blood, by man shall his blood be shed; for in the
# image of God made He man."
m.step("Gen.9.6")
# ‹שֹׁפֵךְ דַּם הָאָדָם בָּאָדָם דָּמוֹ יִשָּׁפֵךְ› (“the-shedder-of the-
# blood-of the-human by-the-human his-blood shall-be-shed”) — standing
# handler — if shedder-of(blood-of-the-human) then in-the-human-damo-shall-
# be-shed
m.handler("shofekh(dam_ha_adam)",
          "ba_adam_damo_yishafekh")
# ‹כִּי בְּצֶלֶם אֱלֹהִים עָשָׂה אֶת־הָאָדָם› (“that in-the-image-of God He-
# made obj-marker the-human”) — fact holds: that-in-image-of-God-make-obj-
# marker·et-the-human
m.fact("ki_be_tzelem_elohim_asah_et_ha_adam")
# witness-tier presupposed read: complete_criminal_procedure on
# bloodshed_verse — read, not installed
m.witness_read("bloodshed_verse", "complete_criminal_procedure",
                cites=["Bereshit Rabbah 34:14", "Mekhilta DeRabbi Yishmael, Tractate Nezikin 4:9", "Sanhedrin 57a:3", "Sanhedrin 57a:13"])
# witness-tier presupposed read: quoted_inside_the_forewarning_liturgy on
# bloodshed_verse — read, not installed
m.witness_read("bloodshed_verse", "quoted_inside_the_forewarning_liturgy",
                cites=["Jerusalem Talmud Sanhedrin 5:1:8", "Tosefta Sanhedrin 11:1", "Mekhilta DeRabbi Yishmael, Tractate Bachodesh 8:10"])
# witness-grounded state (its own tier):
# refuses_conviction_yet_licenses_killing on bloodshed_verse
m.witness_state("bloodshed_verse", "refuses_conviction_yet_licenses_killing",
                cites=["Mekhilta DeRabbi Yishmael, Tractate Kaspa 3:9", "Sanhedrin 72b:15", "Sanhedrin 72b:17"])
# witness-tier presupposed read: affirmative_body_care_duty on image_clause
# — read, not installed
m.witness_read("image_clause", "affirmative_body_care_duty",
                cites=["Vayikra Rabbah 34:3"])

# -------------------------- Gen.9.7 · THE_FRAME_REDOUBLED ------------------
# וְאַתֶּם פְּרוּ וּרְבוּ שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ
# "And you, be ye fruitful, and multiply; swarm in the earth, and multiply
# therein.'"
m.step("Gen.9.7")
# ‹וְאַתֶּם פְּרוּ וּרְבוּ שִׁרְצוּ בָאָרֶץ וּרְבוּ־בָהּ› (“and-you be-
# fruitful and-multiply swarm in-the-earth and-multiply in-her/its”) — fact
# holds: and-you-be-fruitful-and-multiply-swarm-and-earth
m.fact("ve_atem_peru_u_revu_shirtzu_va_aretz")
# witness-grounded state (its own tier): blessing_or_prohibition on
# swarm_and_multiply
m.witness_state("swarm_and_multiply", "blessing_or_prohibition",
                cites=["Sanhedrin 57a:6", "Bereshit Rabbah 34:15"])

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'banav', 'noach'}
    assert m.REGISTRY["names"] == {'kol_remes_asher_hu_chai': 'okhlah_la_khem'}
    assert m.REGISTRY["writes"] == 1
    assert m.tests_list() == []
    assert m.open_demands() == ['yihyeh(kol_remes_chai, le_okhlah)', 'akhal(basar_be_nafsho_damo)']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 2, 'assigned_before_any_presence': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['mandate: CMD!(peru)', 'mandate: CMD!(revu)', 'mandate: CMD!(milu(et_ha_aretz))', 'moraakhem_ve_chitkhem_al_kol_chayat_ha_aretz', 'be_yedkhem_nittanu', 'ke_yereq_esev_natati_la_khem_et_kol', 'mi_yad_kol_chayah_u_mi_yad_ha_adam_ish_achiv', 'handler: IF(shofekh(dam_ha_adam)) THEN(ba_adam_damo_yishafekh)', 'ki_be_tzelem_elohim_asah_et_ha_adam', 've_atem_peru_u_revu_shirtzu_va_aretz'])
    assert m.WORLD["invariants"] == ['et_dimkhem_le_nafshoteikhem_edrosh']
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 5
    assert sorted(m.WORLD["witnessed"]) == ['bloodshed_verse', 'swarm_and_multiply']
    assert m.WORLD["witnessed"]['bloodshed_verse']["cites"] == ['Mekhilta DeRabbi Yishmael, Tractate Kaspa 3:9', 'Sanhedrin 72b:15', 'Sanhedrin 72b:17']
    assert all('refuses_conviction_yet_licenses_killing' not in f for f in m.WORLD["facts"])
    assert m.WORLD["witnessed"]['swarm_and_multiply']["cites"] == ['Sanhedrin 57a:6', 'Bereshit Rabbah 34:15']
    assert all('blessing_or_prohibition' not in f for f in m.WORLD["facts"])
    assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('flood_span', 'retained_though_legally_inoperative'), ('fear_grant', 'co_residence_law_and_lapsing_right'), ('meat_grant', 'theft_prohibition_inside_the_simile'), ('limb_restriction', 'grant_creates_the_law'), ('self_blood_clause', 'two_courts_split'), ('bloodshed_verse', 'complete_criminal_procedure'), ('bloodshed_verse', 'quoted_inside_the_forewarning_liturgy'), ('image_clause', 'affirmative_body_care_duty')]
    assert m.WITNESS_READS[0]["cites"] == ['Jerusalem Talmud Sheviit 1:1:4']
    assert all('retained_though_legally_inoperative' not in f for f in m.WORLD["facts"])
    assert 'flood_span' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[1]["cites"] == ['Eikhah Rabbah, Petichta 34', 'Shabbat 151b:9']
    assert all('co_residence_law_and_lapsing_right' not in f for f in m.WORLD["facts"])
    assert 'fear_grant' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[2]["cites"] == ['Sanhedrin 57a:4', 'Sifra, Shemini, Section 2 3', 'Vayikra Rabbah 13:2']
    assert all('theft_prohibition_inside_the_simile' not in f for f in m.WORLD["facts"])
    assert 'meat_grant' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[3]["cites"] == ['Bereshit Rabbah 34:13', 'Sanhedrin 57a:5', 'Sanhedrin 59a:6', 'Sifra, Shemini, Section 2 4']
    assert all('grant_creates_the_law' not in f for f in m.WORLD["facts"])
    assert 'limb_restriction' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[4]["cites"] == ['Bava Kamma 91b:8', 'Jerusalem Talmud Bava Kamma 8:6:1', 'Tosefta Bava Kamma (Lieberman) 9:31']
    assert all('two_courts_split' not in f for f in m.WORLD["facts"])
    assert 'self_blood_clause' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[5]["cites"] == ['Bereshit Rabbah 34:14', 'Mekhilta DeRabbi Yishmael, Tractate Nezikin 4:9', 'Sanhedrin 57a:3', 'Sanhedrin 57a:13']
    assert all('complete_criminal_procedure' not in f for f in m.WORLD["facts"])
    assert m.WITNESS_READS[6]["cites"] == ['Jerusalem Talmud Sanhedrin 5:1:8', 'Tosefta Sanhedrin 11:1', 'Mekhilta DeRabbi Yishmael, Tractate Bachodesh 8:10']
    assert all('quoted_inside_the_forewarning_liturgy' not in f for f in m.WORLD["facts"])
    assert m.WITNESS_READS[7]["cites"] == ['Vayikra Rabbah 34:3']
    assert all('affirmative_body_care_duty' not in f for f in m.WORLD["facts"])
    assert 'image_clause' 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 #4 — review PASSED; third unit under the PIPELINE + DEBUT-MAP process): twenty-second frozen unit — THE BLESSING AND THE BLOOD-LAW; twelfth extension-free derivation in a row. The corpus's first LAW-GIVING to humans since Eden, every machine call precedent-matched with encodings quoted from the frozen units: the blessing re-issued TWO VERBS SHORT (gen_06's five-item mandate minus subdue and rule — absence-censused) to the first plural human target; fear-and-dread (a debut and a Torah hapax) standing where dominion stood; the meat-grant on gen_06's food-office class — ASSIGN + LET? in 1:29's own syntax, left letter-faithfully OPEN (no receipt verse); the FIRST LET-NOT SINCE EDEN (gen_08's 2:17 class, TIR-034's second firing — both prohibitions eating-laws); the triple I-will-require as INVARIANT (gen_20's perpetual-pledge class, positive voice) over the mi-yad ladder written in the fratricide's vocabulary; the corpus's first TALION-FORM — a six-word chiasm with the shed-verb's tokens 1-2 both inside it — as HANDLER (gen_12's 4:15 class), grounded in the image-word (tzelem token 5 of 6; PATTERN weighed and declined); and the frame re-doubled with SWARM handed to humans. Onkelos writes witnesses-and-judges into the chiasm and keeps the image while swapping the name — dual-track. Machine state: t0 empty, zero installs (+2 presupposed), ONE registry write (the food-office's second binding), 1 invariant, 10 facts, 3 flags — and the queue ends with TWO OPEN guarded entries (the LET? grant, the LET-NOT prohibition): the corpus's first standing law-ledger since Eden, by design.

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.