Eden II: not-good, the helper, the woman, first human speech (2:18-25) FROZEN

unit gen_09_helper_woman_first_speech · Genesis 2:18-25 · derive logic_derived_v1 · phase C-9
⇄ verse view — this span in the scroll (trees + morphology)  ·  ☰ all derived units

לֹא־טוֹב — עֵזֶר כְּנֶגְדּוֹ וְהָאִשָּׁה · lo-tov — ezer kenegdo ve-ha-ishah · 'not good' — a helper corresponding to him, and the woman

Derived 2026-08-01 at owner's order ("go derive gen 9"), directly after the gen_08 freeze — book order continuing. Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (8 sequential per-verse fetches, Data/FETCHLOG.md); trees pulled from the DB's stored tree_json (canonical source — parser CLI re-run dropped per the owner's process review); prior triage anchor found: Yalkut Shimoni 22:9 (day-1 row 241) counts 2:18 IN the ten-utterances census dissent. FIFTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/ WATCHLIST_gen09_prospective_2026-08-01.md): cache holds ZERO sources anchored to 2:18-25 — third tripwire span in a row; Eden chain- primaries (BR 17; Yevamot 63a; Berakhot 61a side-vs-tail; Sanhedrin 58a on 2:24 — whose reading already surfaces in Onkelos's 'bed-chamber' rendering) enter at triage. Interpreter vocabulary needed at freeze: TEST verdict FAIL (2:18 lo-tov — Onkelos renders with day-6's own verdict word negated: la takkin); PATTERN operator (2:24 al-ken etiology — a standing generalization in law grammar, no trigger clause: not a HANDLER); TESTS-FAIL checker pattern — all prototyped in the pre-flight harness first (repo untouched at draft). FROZEN 2026-08-01 on owner order ("freeze gen_09 and gen_10 and commit and push"): the three extensions folded into run_unit.py, the unit re-verified green through the real interpreter, all prior frozen units regression-run green.
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 (ezer_kenegdo, heyot_ha_adam_levado, basar_echad).
ORAL AUDIT — crowns (chain-attested + DB-verified): AMENDED 2026-08-08 (standing owner order, gen_08 precedent: "one source of truth") — retro oral audit folded in; the FIRST fully local-first audit: ZERO web fetches, all sources read verbatim from the Data/sefaria_export/ mirror via export_texts/export_links. Machine layer UNTOUCHED (pure insertion). Manifest = logic/oral_audit/manifests/gen_09_helper_woman_first_speech_claims.json; verifier result 9 VERIFIED / 0 FAILED / 2 UNCHECKABLE. Sources: Kitzur Baal HaTurim (the short commentary of Masorah counts and gematria, letter-arithmetic; Masorah = the tradition's spelling-and-count notes) · Minchat Shai (the Masoretic spelling treatise) · Rashi with his Talmud loci · the local citation graph. CROWNS (DB-verified; ids in the manifest): [G09-01] va-yisgor ("and He closed") occurs exactly TWICE in the TORAH — the flesh closed over Adam's side (2:21) and the ark door closed behind Noah (7:16): the Torah's only two closings, both divine, identical consonants; the Kitzur's Masorah pair is exactly these two (later-Prophets human closings lie outside the Torah instrument). [G09-02] u-le-adam ("and for the man") — two Torah tokens: "no helper found" (2:20) and the sentencing "because you listened to the voice of your wife" (3:17) (Kitzur; third token Eccl 2:21). [G09-03] va-yapel ("and He caused to fall") — two Torah tokens: the deep sleep (2:21) and the manslaughter fall (Num 35:23) (Kitzur; third Ps 78:28). [G09-04/05] va-yevie-ha ("and He/he brought her") — exactly two Torah tokens: the woman brought to the man (2:22) and Rebekah brought into Sarah's tent (24:67) — Adam's bride and Isaac's bride carried by the same word, BOTH written defective, missing the yod (Kitzur; Minchat Shai: "two, lacking yod; its fellow — Isaac into the tent"). [G09-06] le-zot ("to THIS one shall be called woman") is Torah-unique to 2:23 (Masorah pair: Job 37:1). [G09-07/08] the span's closing spelling pair: arumim ("naked", 2:25) written FULL with the vav (Masorah pair Job 22:6 — the full spelling with dagesh, the dot marking a doubled letter, marks the naked-class against the cunning-class arum of 3:1, Minchat Shai) while yitboshashu ("they were not ashamed") is written DEFECTIVE, no second vav — the Masoretic letter-side of this unit's naked/cunning bridge and its claim that boosh (the shame-root) debuts negated. [G09-09] this unit's own note that the side-noun recurs x19 in the sanctuary is Rashi's cross-reference (Exod 26:20) completed by count: tzela ("side") has 21 Torah tokens — the two Eden tokens (2:21 the taking, 2:22 the building of the woman) and nineteen ark/tabernacle sides: outside Eden, EVERY Torah tzela is a sanctuary side — the woman and the sanctuary are the only things built from one (cf. Eruvin 18a's side-or-face dispute, filed). INSTRUMENT GAPS (UNCHECKABLE, filed): [G09-10] Minchat Shai reads a paseq (separator bar) between Elohim ("God") and tardemah ("deep sleep") "for the honor of the Name" — SNAPSHOT encodes zero paseq marks corpus-wide (discovered this audit; affects the whole claim class); [G09-11] the ha-tzela pointing dispute (qamatz vs patach — the two a-vowel signs — across manuscripts; variants not encoded). MINED-ONLY CLAIMS (no chain attestation in sources read, NO conflicts — stand as reviewed): banah ("build") first token at 2:22; matza ("find") first token debuting in a failed search; ish ("man") first token inside the woman-etymology; av ("father") and em ("mother") debuting at 2:24; the first negative verdict (lo-tov, "not good"); the first human speech; the bulk-naming registry non-write. READINGS (named-only, unclaimed, triage law): Sanhedrin 57b-58a derives the Noachide forbidden-relations phrase-by-phrase from 2:24 — attesting this unit's PATTERN ("therefore"-generalization) read as LAW GRAMMAR, the second command-verse legal derivation after gen_08's Sanhedrin 56b; Yevamot 63a (worthy = a help, unworthy = opposed; the failed search); Eruvin 18a (two-faces); Berakhot 61a (built like a storehouse; He braided her hair); Sanhedrin 39a (asleep so she not be despised); Niddah 45b (va-yiven, "and He built," read as binah, "understanding," given the woman in extra measure); Bereshit Rabbah 17-18 (28 links on the span); the ish/isha ("man"/"woman") sound-match as proof of the Holy Tongue at creation (Rashi; BR 18:4); va-yevie-ha letter-sum 24 = the twenty-four bridal adornments (Kitzur and the Zohar, the mystical commentary, via Minchat Shai). Full record: logic/oral_audit/AUDIT_gen_09_2026-08-08.md (this yaml is the source of truth).
confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

stepnamecommentconfidence
ABlock choiceEden II (2:18-25): opens on a fresh divine speech (va-yomer, 2:18 — the companion problem) and closes on the span's own closing state (2:25, the two naked and unashamed), whose last content word is the pun-bridge into 3:1 (arumim/arum — one Torah token EACH, DB-verified). Inside: the negative verdict, the animals formed and brought for naming, the delegated registry, the failed search, the sleep-surgery, the build, the presentation, the first human speech (the recognition poem + the passive naming), and the narrator's first al-ken ("therefore") generalization. The chain's census dissent (Yalkut Shimoni 22:9, prior triage row) counts 2:18 among the ten creation utterances — the chain's own bracket includes this opening in the week's speech series (dual-track).established
BHebrew source + treesAll 8 verses from the DB's stored tree_json (rule set v3, status unique, pure_binary true — the canonical store; ascii rendered 2026-08-01). Tree facts: 2:18 [verdict: not-good ... ALONE | repair plan: I-will-make]; 2:20 [the bulk naming succeeds over three classes | the search fails: no helper]; 2:21 [sleep falls — the etnachta sits ON va-yishan 'and he slept' | the surgery: took one side + closed flesh]; 2:22 [built the side into a woman | brought her to the human]; 2:23 — the FIRST HUMAN SPEECH opens with accent furniture the parser itself labels rare-in-prose (zinor + segol): the accent register shifts toward poetry exactly where the human first speaks; [recognition: bone-of-my-bones, flesh-of-my-flesh | naming: to-this shall-be-called ishah, for from ish was taken this]; 2:24 [leaves father and mother | cleaves to his wife, one flesh].tested
CSegment structureVerb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 2:18 va-yomer + LO-TOV (the verdict word negated — say-mode, against the week's see-mode va-yar ki-tov) + E'ESEH (Vqi1cs — the 1cs volitive: the CMD-US family's SINGULAR member, gen_06's na'aseh being the plural; coded imperfect => TIR-028's mandatory ?). 2:19 va-yitzer with SINGLE yod (the animals) — the human's 2:7 token is the DOUBLE-yod one: the two-formations contrast is human-vs-animal (he_plain DB-verified both); li-reot ('to SEE') — the week's test verb as purpose infinitive with the HUMAN as performer; the ratification is nominal and standing (hu shemo, 'THAT is its name'). 2:20 va-yiqra ha-adam — the corpus's first creature-agent main-line event; lo matza ('did not find' — matza's first token, debuting in a FAILED search). 2:21 four events: cast-sleep (tardemah — 2 Torah tokens, the other is Abram's covenant sleep, Gen 15:12), slept, took one tzela ('side/rib' — every other Torah token is TABERNACLE architecture, x19), and VA-YISGOR ('and He CLOSED flesh') — sagar's first corpus token: the root of the ark-shutting (7:16) and Lev 13's quarantine (Onkelos named the disease segiru by THIS root). 2:22 VA-YIVEN ('and He BUILT') — banah's first token, the third build verb (bara/yatzar/banah); the demand pops here: spec said MAKE (e'eseh), delivery says BUILD — spec-delta, machine-flagged. 2:23 va-yomer HA-ADAM — first human speech; the naming inside it is NIPHAL PASSIVE (yiqare, 'shall-BE-called', TIR-032) against his ACTIVE naming of the animals; ish's first token sits INSIDE the derivation clause (ki me-ish lukocha-zot). 2:24 AL-KEN ('therefore') + imperfect (yaazov) + TWO WEQATALS (ve-davak, ve-hayu — TIR-029): the narrator's generalization runs on the law codes' own verb chain; av ('father') and em ('mother') debut in the verse about LEAVING them. 2:25 closing state: arumim ('naked') + lo yitboshashu ('not ashamed' — boosh's first token, debuting negated).tested
DPredicates & outcomesThe arc: verdict (not-good: alone) -> plan (a helper 'corresponding to him' — kenegdo [OPEN]: the two-way reading is the chain's, Yevamot 63a, named-only) -> first attempt space (the animals formed, brought, and named — the delegation ratified standing, but 'for a human he found no helper corresponding') -> the operation (sleep; one side taken; flesh closed) -> the build (the side becomes a woman; she is BROUGHT to the human — the same bringing verb as the animals at 2:19: the parallel is the letter's) -> recognition ('THIS TIME': zot ha-paam — the phrase implies prior rounds [OPEN, BR 17:4 named-only]; bone-of-my- bones) -> the passive naming with its derivation (ishah from ish — the corpus's first etymology) -> the narrator's THEREFORE (leave, cleave, one flesh — standing pattern) -> the closing state (naked, unashamed — loaded for 3:1).tested
ELogic format choiceOperator lines; NO ledger row (no commit — the ledger stays empty; gen_08's open demands and armed handler are untouched by this span: the debt carries forward). NEW at 2:18: TEST with verdict FAIL — the week's instrument firing negative (Onkelos warrant: la TAKKIN, day-6's verdict word negated); the FAIL verdict is an interpreter extension (h_test knew only PASS). DECLARE CMD-US?(make(ezer_kenegdo, le_adam)) — the 1cs volitive joins gen_06's 1cp under the same mood family and the same mandatory ?. The demand POPS at 2:22 via RESULT — the execution-as-receipt class the runtime model documented at Miriam (command answered by narrative execution), with NOTE_SPEC_DELTA recording the verb swap (asah demanded, banah delivered). 2:20's bulk naming: EVENT only — the letter withholds every name value (the corpus's first bulk registry write executes UNLOGGED; the machine writes nothing rather than invent values). 2:23's naming DOES log: NAME ishah -> ishah (the kind-word is the name; the derivation clause is the en's content) — the unit's only REGISTRY write. 2:24: NEW operator PATTERN — a standing WORLD fact for the narrator's al-ken generalization: law grammar with NO trigger clause (not a HANDLER: nothing fires it; it holds). 2:25: closing state facts. Flags expected: read_before_install x3 (adam, adamah, behemah — the livestock class is NAMED in this span but never formed in it: the seam between the accounts, machine-visible), spec_delta x1.established
FBilingual logic objectsEvery operator line carries he + he_translit + en. Machine tokens apostrophe-free: ezer_kenegdo, heyot_ha_adam_levado, chayat_ha_sadeh, of_ha_shamayim, basar_echad, lo_yitboshashu.established
GOral (named only) + Tier-A translation checkPrior triage anchor (verified, day-1 ledger row 241): Yalkut Shimoni 22:9 — the ten-utterances census DISSENT includes 2:18: part of the chain counts this unit's opening verdict-speech among the creation utterances. Named but NOT read (cache: zero sources for the span; gen_09 Tier-A queue): Bereshit Rabbah 17 (the helper dossier; 17:4 — the naming contest and zot ha-paam's prior rounds); Bavli Yevamot 63a (ezer KENEGDO two-way: 'worthy — a help; unworthy — against him'); Bavli Berakhot 61a (tzela: side vs tail vs two-faces — the same page as the double-yod dossier); Bavli Sanhedrin 58a (2:24 as Noachide sexual law); Bavli Ketubot 8a (one formation or two — the wedding blessings' own dispute); Pirkei DeRabbi Eliezer 12 (the wedding in the garden). Tier-A Onkelos read at derive time (8 fetches, FETCHLOG 2026-08-01): lo-tov -> la TAKKIN ('not well-ordered' — day 6's verdict word negated: the translation runs the week's instrument here, warrant for TEST-FAIL); ezer kenegdo -> semakh le-kivleh ('a SUPPORT corresponding'); both formation verbs -> u-vra (the yod pair leveled, twice); tardemah -> plain shinta ('sleep'); va-yisgor -> u-MLEI ('and FILLED' — the translation AVOIDS the shut-root at the healing closure, the very root it adopted for the disease at Lev 13); ki me-ish -> arei mi-BAALA ('from her HUSBAND' — the ish/ishah pun untranslatable, replaced by the relationship word; 3:16's shadow); 2:24 -> 'a man leaves the BED-CHAMBER (beit mishkevei) of his father and mother' — the translation is already halakhic exegesis (the Sanhedrin 58a dossier surfacing in Tier-A); lo yitboshashu -> la mitkalmin ('not disgraced').tested
HScenariosS1 the negative verdict + the pushed plan (TESTS += FAIL — new checker; CMD-US? open; adam flagged presupposed). S2 the animals installed + the delegation ratified standing. S3 the bulk naming leaves the REGISTRY untouched (values unlogged) and the search fails; behemah flagged (named-in-span, never formed-in-span). S4 the surgery installs nothing (WORLD unchanged). S5 THE POP: SPECS empty after va-yiven — the in-span receipt arc — with the spec-delta flagged (make->build). S6 the only registry write (ishah). S7 the standing pattern fact. S8 the closing state + LEDGER stays EMPTY. S9_negative re-runs the CMD-US? contract (the 1cs member inherits the ? guard); S10_negative flag-never-block.tested
IEnglish leakage reviewOperators derive from morph codes (Vqw/Vhw wayyiqtol spine; Vqi1cs volitive; VNi3ms niphal passive naming TIR-032; Vqq weqatals TIR-029; Vqc purpose infinitives TIR-030; To markers TIR-014) and DB censuses run BEFORE drafting (first tokens: ish, ishah, av, em, banah, basar, sagar, matza, paam, boosh; the single-vs-double yod pair; tzela's Tabernacle exclusivity; tardemah's two covenant sleeps; ezer's divine-title trail; davak's covenant trail; the one-token pun pair). The FAIL verdict rests on the letter (lo + the week's own oracle word) with the Tier-A warrant recorded; kenegdo, zot ha-paam, and the two-accounts seam stay [OPEN] with chain dossiers named.established
JPre-flight + freeze gatePre-flight 2026-08-01: scratchpad harness with THREE injected prototypes (repo run_unit.py untouched): (1) h_test extended to verdicts PASS|FAIL; (2) checker pattern "TESTS += FAIL(x, y)"; (3) PATTERN operator — standing WORLD fact, notation 'PATTERN(p)'. All scenarios green in the harness. FROZEN 2026-08-01 on owner order: the three extensions folded into run_unit.py, unit re-verified green through the real interpreter, all prior frozen units regression-run green. Narrative (ASK FIRST) and triage remain owner-gated. Changes require a new derive pass, not silent edits.established

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

STEP_Gn_2_18 · Gen.2.18 · VERDICT_FAIL_AND_PLAN

וַיֹּאמֶר יְהוָה אֱלֹהִים לֹא־טוֹב הֱיוֹת הָאָדָם לְבַדּוֹ אֶעֱשֶׂה־לּוֹ עֵזֶר כְּנֶגְדּוֹ · va-yomer YHWH Elohim lo-tov heyot ha-adam levado e'eseh-lo ezer kenegdo · [EN-AID/JPS] And the LORD God said: 'It is not good that the man should be alone; I will make him a help meet for him.'

LEFT
ויאמר יהוה אלהים לא טוב היות האדם לבדו · va-yomer YHWH Elohim lo-tov heyot ha-adam levado · the verdict: NOT GOOD is the human's being ALONE (etnachta arm)
RIGHT
אעשה לו עזר כנגדו · e'eseh-lo ezer kenegdo · the repair plan: I will make him a helper corresponding
operatorexpressionHebrew anchorcitesconfidence
TESTTESTS += FAIL(tov, heyot_ha_adam_levado)
= TESTS += FAIL(good, the-human-being-alone)
THE INSTRUMENT FIRES NEGATIVE — the corpus's first FAIL: the week's verdict word (tov), negated, over the state 'the-human's-being-alone'. Mode shift recorded: the week tested by PERCEPTION (va-yar ki-tov, 'He SAW that it was good'); this verdict arrives in SPEECH (va-yomer). Tier-A warrant: Onkelos renders la TAKKIN ('not WELL-ORDERED') — the SAME Aramaic word it used for day 6's tov me'od ('very good' -> takin lachada): the translation itself runs the week's instrument here. The chain's census dissent (Yalkut Shimoni 22:9, prior triage row 241) counts this speech among the ten creation utterances — dual-track. INTERPRETER NOTE: the TEST operator knew only PASS through nine units; the FAIL verdict is this unit's extension. 		לֹא־טוֹב הֱיוֹת הָאָדָם לְבַדּוֹ · lo-tov heyot ha-adam levado
= not-good being human alone		—tested
DECLAREDECLARE(YHWH_Elohim, CMD-US?(make(ezer_kenegdo, le_adam)))
= DECLARE(the-LORD-God, CMD-US?(make(helper-corresponding-to-him, to-human)))
The repair plan as a SELF-DIRECTIVE demand: e'eseh ('I will MAKE') — 1cs volitive, the CMD-US mood family's SINGULAR member (gen_06's na'aseh, 'let US make', was the plural); coded imperfect, so TIR-028's ? is mandatory — form alone cannot split resolve/forecast. The demand: make(ezer_kenegdo) — a helper KENEGDO ('corresponding to him' / 'over against him') — [OPEN]: the two-way force of the preposition is the chain's own reading (Yevamot 63a, named-only). ezer ('helper') is a 3-token word: its only non-Eden Torah token is Deut 33:29 — GOD as Israel's helper (A-join). Onkelos: semakh le-kivleh, 'a SUPPORT corresponding'. The demand enters SPECS and waits four verses. 		אֶעֱשֶׂה־לּוֹ עֵזֶר כְּנֶגְדּוֹ · e'eseh-lo ezer kenegdo
= e'eseh-not helper corresponding-to-him		TIR-033, TIR-028tested
NOTE_PRESUPPOSEDadam are READ without prior install (standalone machine; the human of gen_06/gen_08)
= human are READ without prior install (standalone machine; the human fowl-of gen-06/gen-08)
flag, not fix — the verdict's subject enters presupposed		——tested
The first thing in the corpus called not-good is an ALONENESS — and the machine's first FAIL verdict opens a demand instead of a ledger row. Fix planned, spec stated, queue non-empty.

STEP_Gn_2_19 · Gen.2.19 · FORM_BRING_DELEGATE

וַיִּצֶר יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־חַיַּת הַשָּׂדֶה וְאֵת כָּל־עוֹף הַשָּׁמַיִם וַיָּבֵא אֶל־הָאָדָם לִרְאוֹת מַה־יִּקְרָא־לוֹ וְכֹל אֲשֶׁר יִקְרָא־לוֹ הָאָדָם נֶפֶשׁ חַיָּה הוּא שְׁמוֹ · va-yitzer YHWH Elohim min-ha-adamah kol-chayat ha-sadeh ve-et kol-of ha-shamayim va-yave el-ha-adam li-reot mah-yiqra-lo ve-khol asher yiqra-lo ha-adam nefesh chayah hu shemo · [EN-AID/JPS] And out of the ground the LORD God formed every beast of the field, and every fowl of the air; and brought them unto the man to see what he would call them; and whatsoever the man would call every living creature, that was to be the name thereof.

LEFT
ויצר יהוה אלהים מן האדמה כל חית השדה ואת כל עוף השמים ויבא אל האדם לראות מה יקרא לו · va-yitzer … va-yave el-ha-adam li-reot mah-yiqra-lo · forming + bringing, closing on 'to SEE what he would call' (etnachta arm)
RIGHT
וכל אשר יקרא לו האדם נפש חיה הוא שמו · ve-khol asher yiqra-lo ha-adam nefesh chayah hu shemo · the ratification: whatever he called it — THAT is its name
operatorexpressionHebrew anchorcitesconfidence
EVENTform(e1) ∧ Agent(e1, YHWH_Elohim) ∧ Theme(e1, chayat_ha_sadeh) ∧ Theme(e1, of_ha_shamayim)
= form(e1) ∧ Agent(e1, the-LORD-God) ∧ Theme(e1, beast-of-the-field) ∧ Theme(e1, fowl-of-the-sky)
The animals formed from the SAME ground as the human — but va-yitzer here is written with SINGLE yod (he_plain DB-verified) against the human's DOUBLE-yod token at 2:7: the two-formations letter contrast is HUMAN-vs-ANIMAL (chain dossier BR 14:5 / Berakhot 61a, named-only). Onkelos levels both to u-vra ('created') — the yod-count untranslatable, twice surrendered. The two-accounts seam (animals after the verdict here; before the human in the week) is flagged by order, merged never. 		וַיִּצֶר … מִן־הָאֲדָמָה · va-yitzer … min-ha-adamah
= he-formed from-the-ground		TIR-014tested
REGISTRY_INSTALLWORLD += {chayat_ha_sadeh, of_ha_shamayim}
= WORLD += {beast-of-the-field, fowl-of-the-sky}
the field-beast and sky-fowl classes installed by this span's own forming		כָּל־חַיַּת הַשָּׂדֶה וְאֵת כָּל־עוֹף הַשָּׁמַיִם · kol-chayat ha-sadeh ve-et kol-of ha-shamayim
= all-beast-of field obj-marker·et all-fowl-of heavens		—tested
EVENTbring(e2) ∧ Agent(e2, YHWH_Elohim) ∧ Theme(e2, chayat_ha_sadeh)
= bring(e2) ∧ Agent(e2, the-LORD-God) ∧ Theme(e2, beast-of-the-field)
Brought TO the human 'to SEE what he would call it' — the week's test verb (ra'ah) as a PURPOSE infinitive (TIR-030) with the HUMAN as the watched performer: the seeing instrument delegated. The NAME device is being handed over on camera. 		וַיָּבֵא אֶל־הָאָדָם לִרְאוֹת מַה־יִּקְרָא־לוֹ · va-yave el-ha-adam li-reot mah-yiqra-lo
= he-brought to-the-human see mah-he-will-call-not		TIR-030tested
PRECONDITION_STATEHOLDS(hu_shemo(kol_asher_yiqra_lo_ha_adam), t1)
= HOLDS(that-is-its-name(all-which-he-will-call-not-the-human), t1)
THE RATIFICATION, standing: 'whatever the human called it — a living being — THAT is its name': a nominal clause (hu shemo) making the delegation PERMANENT. The registry authority transfers, and the transfer is recorded as a standing fact. nefesh chayah — the same category word the human himself became at 2:7 — sits in apposition: the namer and the named share the class. 		וְכֹל אֲשֶׁר יִקְרָא־לוֹ הָאָדָם נֶפֶשׁ חַיָּה הוּא שְׁמוֹ · ve-khol asher yiqra-lo ha-adam nefesh chayah hu shemo
= all which he-will-call-not human living-being beast that shemo		—tested
NOTE_PRESUPPOSEDadamah are READ without prior install (the forming's source ground)
= ground are READ without prior install (the forming's source ground)
flag, not fix		——tested
God forms, God brings — and then stands back to SEE. The verse's grammar puts the week's own test verb in the delegation clause: the human is now the instrument's operator, and whatever he says sticks.

STEP_Gn_2_20 · Gen.2.20 · BULK_NAMING_FAILED_SEARCH

וַיִּקְרָא הָאָדָם שֵׁמוֹת לְכָל־הַבְּהֵמָה וּלְעוֹף הַשָּׁמַיִם וּלְכֹל חַיַּת הַשָּׂדֶה וּלְאָדָם לֹא־מָצָא עֵזֶר כְּנֶגְדּוֹ · va-yiqra ha-adam shemot le-khol-ha-behemah u-le-of ha-shamayim u-le-khol chayat ha-sadeh u-le-adam lo-matza ezer kenegdo · [EN-AID/JPS] And the man gave names to all cattle, and to the fowl of the air, and to every beast of the field; but for Adam there was not found a help meet for him.

LEFT
ויקרא האדם שמות לכל הבהמה ולעוף השמים ולכל חית השדה · va-yiqra ha-adam shemot le-khol-ha-behemah u-le-of ha-shamayim u-le-khol chayat ha-sadeh · the bulk naming over three classes (etnachta arm)
RIGHT
ולאדם לא מצא עזר כנגדו · u-le-adam lo-matza ezer kenegdo · the failed search: for a human, no corresponding helper
operatorexpressionHebrew anchorcitesconfidence
EVENTcall(e3) ∧ Agent(e3, adam) ∧ Theme(e3, shemot)
= call(e3) ∧ Agent(e3, human) ∧ Theme(e3, names)
THE CORPUS'S FIRST CREATURE-AGENT MAIN-LINE EVENT: the human performs the NAME device (va-yiqra — day 1's verb, God's until now) over three classes. And the letter WITHHOLDS every value: 'called NAMES' — not one name is quoted. The machine writes nothing into REGISTRY rather than invent values: the corpus's first bulk registry write executes UNLOGGED (S3 asserts the registry untouched). The classes re-enumerated are the week's (behemah, of, chayah) — and behemah ('livestock') is NAMED here without being FORMED in this span (2:19 formed field-beast and fowl only): flagged presupposed below — the seam between the accounts, machine-visible. 		וַיִּקְרָא הָאָדָם שֵׁמוֹת · va-yiqra ha-adam shemot
= he-will-call human names		—tested
PRECONDITION_STATEHOLDS(lo_matza(ezer_kenegdo, le_adam), t1)
= HOLDS(did-not-find(helper-corresponding-to-him, to-human), t1)
THE SEARCH FAILS — and matza ('find') is having its FIRST corpus token inside the failure: finding enters the vocabulary as not-finding (like boosh/shame at 2:25, debuting negated). The naming round doubled as a search round (the chain's reading of the round as mate-review is BR 17:4's dossier, named-only [OPEN] — with zot ha-paam at 2:23 as its letter anchor); the machine records the outcome the letter records: a standing lack. 		וּלְאָדָם לֹא־מָצָא עֵזֶר כְּנֶגְדּוֹ · u-le-adam lo-matza ezer kenegdo
= human did-not-find helper corresponding-to-him		—tested
NOTE_PRESUPPOSEDbehemah are READ without prior install (named in this span, never formed in it — formed at gen_06's 1:24-25)
= livestock are READ without prior install (named in this span, never formed in it — formed at gen-06's 1:24-25)
flag, not fix — the livestock class crosses the account seam		——tested
The delegation succeeds three times and the search fails once — in one verse, bracketed by the rest. The registry grows by zero rows (values withheld); the lack-list grows by one.

STEP_Gn_2_21 · Gen.2.21 · SLEEP_AND_SURGERY

וַיַּפֵּל יְהוָה אֱלֹהִים תַּרְדֵּמָה עַל־הָאָדָם וַיִּישָׁן וַיִּקַּח אַחַת מִצַּלְעֹתָיו וַיִּסְגֹּר בָּשָׂר תַּחְתֶּנָּה · va-yapel YHWH Elohim tardemah al-ha-adam va-yishan va-yiqach achat mi-tzalotav va-yisgor basar tachtenah · [EN-AID/JPS] And the LORD God caused a deep sleep to fall upon the man, and he slept; and He took one of his ribs, and closed up the place with flesh instead thereof.

LEFT
ויפל יהוה אלהים תרדמה על האדם ויישן · va-yapel YHWH Elohim tardemah al-ha-adam va-yishan · the anesthesia — the rest sits ON 'and he slept' (etnachta arm)
RIGHT
ויקח אחת מצלעתיו ויסגר בשר תחתנה · va-yiqach achat mi-tzalotav va-yisgor basar tachtenah · the surgery: one side taken, flesh closed beneath
operatorexpressionHebrew anchorcitesconfidence
EVENTcast_sleep(e4) ∧ Agent(e4, YHWH_Elohim) ∧ Theme(e4, tardemah)
= cast-sleep(e4) ∧ Agent(e4, the-LORD-God) ∧ Theme(e4, deep-sleep)
tardemah ('deep sleep') has exactly TWO Torah tokens: this one and Gen 15:12 — ABRAM'S covenant-between-the-pieces sleep (A-join, DB-verified): both are divinely-cast sleeps before a covenant-grade operation. The accent tree isolates va-yishan ('and he SLEPT') at the rest: anesthesia | surgery is the verse's own bracket. Onkelos levels to plain shinta ('sleep'). 		וַיַּפֵּל … תַּרְדֵּמָה עַל־הָאָדָם וַיִּישָׁן · va-yapel … tardemah al-ha-adam va-yishan
= he-cast deep-sleep over-the-human he-slept		—tested
EVENTtake(e5) ∧ Agent(e5, YHWH_Elohim) ∧ Theme(e5, tzela)
= take(e5) ∧ Agent(e5, the-LORD-God) ∧ Theme(e5, side)
'One of his TZELA' ('side/rib') — and the word's every other Torah token (x19) is TABERNACLE ARCHITECTURE: the ark's sides, the frames, the altar (Exod 25-38; A-join). The woman is built from the one body-word that is otherwise exclusively sanctuary structure — with gen_08's shoham and bedolach, the Eden->sanctuary lexical bridge is systematic. Side vs rib vs two-faces is the chain's dispute (Berakhot 61a, named-only [OPEN]). 		וַיִּקַּח אַחַת מִצַּלְעֹתָיו · va-yiqach achat mi-tzalotav
= he-took one from-tzalotav		—tested
EVENTclose(e6) ∧ Agent(e6, YHWH_Elohim) ∧ Theme(e6, basar)
= close(e6) ∧ Agent(e6, the-LORD-God) ∧ Theme(e6, flesh)
SAGAR'S FIRST CORPUS TOKEN — 'and He CLOSED flesh beneath it': the shut-root debuts as HEALING closure. Its trail: the ark's door (7:16, 'YHWH shut him in' — protection), Lot's door (19:6,10 — defense), the sea trap (Exod 14:3 — siege), and Lev 13's quarantine verb (hisgir) — the root Onkelos used to NAME the disease (segiru), now source-verified at its birthplace. And basar ('flesh') is ALSO having its first token here (138 Torah-wide; lev_13's import chain verified). Onkelos here AVOIDS the root: u-mlei ('and FILLED') — shut-as-healing resisted, shut-as-quarantine adopted (Tier-A, dual-track). 		וַיִּסְגֹּר בָּשָׂר תַּחְתֶּנָּה · va-yisgor basar tachtenah
= he-closed flesh tachtenah		—tested
Four wayyiqtols, no speech: cast, slept, took, closed. Two first-tokens (sagar, basar) inside the corpus's first surgery — both re-used by the purity law this machine has already derived.

STEP_Gn_2_22 · Gen.2.22 · BUILD_WOMAN_RECEIPT

וַיִּבֶן יְהוָה אֱלֹהִים אֶת־הַצֵּלָע אֲשֶׁר־לָקַח מִן־הָאָדָם לְאִשָּׁה וַיְבִאֶהָ אֶל־הָאָדָם · va-yiven YHWH Elohim et-ha-tzela asher-laqach min-ha-adam le-ishah va-yevieha el-ha-adam · [EN-AID/JPS] And the rib, which the LORD God had taken from the man, made He a woman, and brought her unto the man.

LEFT
ויבן יהוה אלהים את הצלע אשר לקח מן האדם לאשה · va-yiven … et-ha-tzela asher-laqach min-ha-adam le-ishah · the build: the taken side INTO a woman (etnachta arm)
RIGHT
ויבאה אל האדם · va-yevieha el-ha-adam · the presentation: brought her to the human
operatorexpressionHebrew anchorcitesconfidence
EVENTbuild(e7) ∧ Agent(e7, YHWH_Elohim) ∧ Theme(e7, ishah)
= build(e7) ∧ Agent(e7, the-LORD-God) ∧ Theme(e7, woman)
VA-YIVEN — banah's ('build') FIRST corpus token: the THIRD build verb (day 1 bara 'created'; 2:7 yatzar 'formed'; now banah 'built'), each with its own material story (nothing; dust; a living side). Next users of the verb: Cain's city (4:17), Noah's altar (8:20), Babel's tower (11:4) — and the sanctuary era. ishah's first token arrives as the build's PRODUCT (le-ishah, 'into a woman'). 		וַיִּבֶן … אֶת־הַצֵּלָע … לְאִשָּׁה · va-yiven … et-ha-tzela … le-ishah
= he-built obj-marker·et-the-side woman		TIR-014tested
REGISTRY_INSTALLWORLD += {ishah}
= WORLD += {woman}
the woman installed — the span's one new being		לְאִשָּׁה · le-ishah
= woman		—tested
RESULTRESULT: HOLDS(make(ezer_kenegdo, le_adam), t1) — the 2:18 demand POPS: execution-as-receipt (the runtime model's Miriam class: a command answered by narrative execution, no receipt formula)
= RESULT: HOLDS(make(helper-corresponding-to-him, to-human), t1) — the 2:18 demand POPS: execution-as-receipt (the runtime model's Miriam class: a command answered by narrative execution, no receipt formula)
THE POP: e'eseh ('I will make', 2:18) is answered by va-yiven ('and He built') + the presentation — the demand leaves the queue with no va-yehi khen anywhere: narrative execution IS the receipt (the class the runtime model documented at Miriam: tisager -> va-tisager). The mood stays CMD-US? in the log — popping satisfies, never upgrades (TIR-028). She is BROUGHT to the human with the same bringing verb as the animals at 2:19 — the parallel is the letter's own, and what breaks it is the response: the animals got names; she gets a poem. 		וַיִּבֶן … וַיְבִאֶהָ אֶל־הָאָדָם · va-yiven … va-yevieha el-ha-adam
= he-built and-yevieha to-the-human		TIR-028tested
NOTE_SPEC_DELTAspec 'e'eseh (I will MAKE — asah, the week's build verb)' delivered 'va-yiven (He BUILT — banah, first token)'
= spec 'e'I-will-make (I will MAKE — make, the week's build verb)' delivered 'and-he-built (He BUILT — build, first token)'
the plan said make, the delivery says build — the verb swap machine-flagged, beside the two prior build-verb deltas		——tested
Push at 2:18, pop at 2:22: the unit closes its own arc — the first in-span demand->receipt loop since the week, and the first ever whose receipt is pure execution.

STEP_Gn_2_23 · Gen.2.23 · FIRST_HUMAN_SPEECH_NAME

וַיֹּאמֶר הָאָדָם זֹאת הַפַּעַם עֶצֶם מֵעֲצָמַי וּבָשָׂר מִבְּשָׂרִי לְזֹאת יִקָּרֵא אִשָּׁה כִּי מֵאִישׁ לֻקֳחָה־זֹּאת · va-yomer ha-adam zot ha-paam etzem me-atzamai u-vasar mi-besari le-zot yiqare ishah ki me-ish lukocha-zot · [EN-AID/JPS] And the man said: 'This is now bone of my bones, and flesh of my flesh; she shall be called Woman, because she was taken out of Man.'

LEFT
ויאמר האדם זאת הפעם עצם מעצמי ובשר מבשרי · va-yomer ha-adam zot ha-paam etzem me-atzamai u-vasar mi-besari · the recognition: THIS TIME — bone of my bones, flesh of my flesh (etnachta arm)
RIGHT
לזאת יקרא אשה כי מאיש לקחה זאת · le-zot yiqare ishah ki me-ish lukocha-zot · the naming with its derivation: ishah, for from ish was taken this
operatorexpressionHebrew anchorcitesconfidence
EVENTsay(e8) ∧ Agent(e8, adam)
= say(e8) ∧ Agent(e8, human)
THE FIRST HUMAN SPEECH OF THE CORPUS — and the accent system marks the shift: the parser's own labels on the opening pair are zinor ('poetic cousin; RARE IN PROSE') + segol. The register leans toward poetry exactly where the human's voice enters. zot ha-paam ('THIS time / at last') — paam's first token; the phrase implies prior rounds [OPEN] (BR 17:4's dossier, named-only — its letter anchor is exactly here). 		וַיֹּאמֶר הָאָדָם · va-yomer ha-adam
= he-said human		—tested
NAMEname(ishah) := ishah
= name(woman) := woman
The unit's ONLY logged registry write — and the corpus's first ETYMOLOGY: 'to this one shall-BE-called ishah, for from ISH was taken this.' The naming verb is NIPHAL PASSIVE (yiqare, 'shall-be-called' — TIR-032's agentless class): the human named the animals ACTIVELY (2:20) but names the woman in the passive — the name presented as recognized, not imposed. ish's own first token sits INSIDE the derivation clause: the man-word enters the corpus as the etymon of the woman-word. The kind-word IS the logged name (ishah); the derivation is the letter's reason clause. Onkelos surrenders the sound-pun (itta does not derive from its rendering): arei mi-BAALA nesiva da — 'from her HUSBAND/master was taken this' — the relationship word substituted, 3:16's shadow (Tier-A, dual-track). lukocha ('was TAKEN') — passive of the 2:21/2:22 taking: the speech's grammar receipts the surgery. 		לְזֹאת יִקָּרֵא אִשָּׁה כִּי מֵאִישׁ לֻקֳחָה־זֹּאת · le-zot yiqare ishah ki me-ish lukocha-zot
= this shall-be-called woman for man lukocha-this		TIR-032tested
The delegated device comes home: the human's first words perform the registry write the animals never got a quote for — passive voice, derivation attached, near-poetic accents overhead.

STEP_Gn_2_24 · Gen.2.24 · ETIOLOGY_PATTERN

עַל־כֵּן יַעֲזָב־אִישׁ אֶת־אָבִיו וְאֶת־אִמּוֹ וְדָבַק בְּאִשְׁתּוֹ וְהָיוּ לְבָשָׂר אֶחָד · al-ken yaazov-ish et-aviv ve-et-imo ve-davak be-ishto ve-hayu le-vasar echad · [EN-AID/JPS] Therefore shall a man leave his father and his mother, and shall cleave unto his wife, and they shall be one flesh.

LEFT
על כן יעזב איש את אביו ואת אמו · al-ken yaazov-ish et-aviv ve-et-imo · THEREFORE a man leaves father and mother (etnachta arm)
RIGHT
ודבק באשתו והיו לבשר אחד · ve-davak be-ishto ve-hayu le-vasar echad · cleaves to his wife — one flesh
operatorexpressionHebrew anchorcitesconfidence
PATTERNPATTERN(azav(ish, av_ve_em) ∧ davak(ish, be_ishto) ∧ hayu(basar_echad))
= PATTERN(leave(man, father-and-mother) ∧ cleave(man, in-his-wife) ∧ they-become(one-flesh))
THE CORPUS'S FIRST NARRATOR ETIOLOGY — al-ken ('THEREFORE'): a one-time surgery generalized into a standing pattern, and the grammar is the LAW'S OWN: imperfect (yaazov, 'leaves') + two weqatal chains (ve-davak 'and-cleaves', ve-hayu 'and-they-become' — TIR-029, the legal spine form). But there is NO trigger clause and NO addressee: not a HANDLER (nothing fires it), not a demand (nothing is asked) — a standing PATTERN fact, the operator this unit adds. The vocabulary is all debuts and trails: av ('father') and em ('mother') have their FIRST tokens in the verse about LEAVING them; davak ('cleave') goes from this marriage verb to Deuteronomy's covenant formula ('cleave to YHWH' — 10:20, 11:22, 13:5, 30:20; A-join); basar echad ('ONE FLESH') re-uses 2:21's brand-new flesh word as the union term. Onkelos expands halakhically: 'a man leaves the BED-CHAMBER (beit mishkevei) of his father and his mother' — the translation already carries the Sanhedrin 58a reading (2:24 as Noachide law; named-only, the span's tripwire dossier). Voice [OPEN]: narrator's aside vs continued speech — the chain splits; the machine records the pattern either way. 		עַל־כֵּן יַעֲזָב־אִישׁ … וְדָבַק … וְהָיוּ לְבָשָׂר אֶחָד · al-ken yaazov-ish … ve-davak … ve-hayu le-vasar echad
= over-so yaazov-man cleave they-become flesh one		TIR-029tested
One verse of law grammar inside a narrative span: no event, no demand — a pattern installed over every ish to come. The machine's WORLD gains its first standing generalization.

STEP_Gn_2_25 · Gen.2.25 · CLOSING_STATE_BRIDGE

וַיִּהְיוּ שְׁנֵיהֶם עֲרוּמִּים הָאָדָם וְאִשְׁתּוֹ וְלֹא יִתְבֹּשָׁשׁוּ · va-yihyu shneihem arumim ha-adam ve-ishto ve-lo yitboshashu · [EN-AID/JPS] And they were both naked, the man and his wife, and were not ashamed.

LEFT
ויהיו שניהם ערומים האדם ואשתו · va-yihyu shneihem arumim ha-adam ve-ishto · the two of them naked — the man and his wife (etnachta arm)
RIGHT
ולא יתבששו · ve-lo yitboshashu · and they were not ashamed
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(arumim(ha_adam_ve_ishto), t2) ∧ HOLDS(lo_yitboshashu(shneihem), t2)
= HOLDS(naked(the-human-and-his-wife), t2) ∧ HOLDS(were-not-ashamed(both-of-them), t2)
The closing state, two facts: NAKED (arumim — ONE Torah token of this form) and NOT-ASHAMED (boosh's first corpus token, debuting NEGATED — shame enters the vocabulary as its own absence, exactly as finding entered at 2:20 as not-finding). The BRIDGE: 3:1 opens with the serpent as arum ('CUNNING') — also ONE Torah token, same letters, adjacent verse: the span's last description of the humans is the next span's first description of the serpent (DB-verified pair; the pun is the seam). The state stands loaded: what the pair lacks (shame) and what the serpent has (the same word) meet in gen_10. 		עֲרוּמִּים … וְלֹא יִתְבֹּשָׁשׁוּ · arumim … ve-lo yitboshashu
= naked not were-ashamed		—tested
No event closes the span — a state does: two beings, one adjective, no shame. Every register but WORLD's fact-list is quiet, and gen_08's two open demands and armed handler stand exactly where the next unit's serpent will find them.

State machine

Eden II (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).
statemeaning
S_bootBefore 2:18 — all registers empty (standalone unit)
S_fail_and_planAfter 2:18 — TESTS holds the corpus's first FAIL; CMD-US?(make(ezer_kenegdo, le_adam)) OPEN; adam flagged presupposed
S_delegationAfter 2:19 — field-beast and fowl installed; the naming delegation ratified standing (hu shemo)
S_named_not_foundAfter 2:20 — bulk naming executed with values UNLOGGED (REGISTRY untouched); the search fails (lo matza); behemah flagged (named, never formed in-span)
S_surgeryAfter 2:21 — sleep cast, side taken, flesh closed (sagar + basar first tokens); WORLD unchanged
S_receiptAfter 2:22 — ishah installed; the 2:18 demand POPPED (execution-as-receipt); spec-delta flagged (make->build); SPECS EMPTY
S_speech_nameAfter 2:23 — first human speech; the unit's one registry write (ishah), passive-voiced, derivation attached
S_patternAfter 2:24 — the al-ken pattern standing in WORLD (leave-cleave-one-flesh, law grammar, no trigger)
S_closing_bridgeAfter 2:25 — naked + not-ashamed hold; LEDGER empty; the pun-bridge loaded for 3:1
fromtovia
S_bootS_fail_and_planSTEP_Gn_2_18
S_fail_and_planS_delegationSTEP_Gn_2_19
S_delegationS_named_not_foundSTEP_Gn_2_20
S_named_not_foundS_surgerySTEP_Gn_2_21
S_surgeryS_receiptSTEP_Gn_2_22
S_receiptS_speech_nameSTEP_Gn_2_23
S_speech_nameS_patternSTEP_Gn_2_24
S_patternS_closing_bridgeSTEP_Gn_2_25
AFTER_S_closing_bridge — WORLD: 3 installs — chayat_ha_sadeh, of_ha_shamayim, ishah; standing facts: the delegation ratification (hu shemo), the failed search (lo matza), the al-ken PATTERN (leave-cleave-one-flesh), and the closing pair (naked, not-ashamed). REGISTRY: 1 write — ishah (passive-voiced, the corpus's first etymology); the bulk animal naming executed with values UNLOGGED — the letter withholds them, the machine invents nothing. SPECS: EMPTY — the 2:18 demand popped at 2:22 (execution-as-receipt): the unit closes its own arc, unlike gen_08. TESTS: 1 FAIL — the corpus's first negative verdict (and no PASS anywhere: the repair is narrated, never re-tested — the letter's own silence, held open). LEDGER: EMPTY — no commit; the week's transaction and gen_08's rule-debt stand. TIME: t1 (the arc), t2 (the closing state). FLAGS: read_before_install x3 (adam, adamah, behemah), spec_delta x1 (make->build) — none blocking.

Scenarios (the unit's own test suite)

idtitlegivenexpectanchor
S1The first FAIL and the pushed plan: after STEP_Gn_2_18All registers empty (standalone unit).TESTS += FAIL(tov, heyot_ha_adam_levado); CMD-US?(make(ezer_kenegdo, le_adam)) pushed and OPEN; flags adam as read-before-install.
= TESTS += FAIL(good, the-human-being-alone); CMD-US?(make(helper-corresponding-to-him, to-human)) pushed and OPEN; flags human as read-before-install.		לֹא־טוֹב · lo-tov
= not-good
S2The animals and the standing delegation: after STEP_Gn_2_19S1 state.WORLD = {chayat_ha_sadeh, of_ha_shamayim}; Facts hu_shemo HOLD.
= WORLD = {beast-of-the-field, fowl-of-the-sky}; Facts that-is-its-name HOLD.		הוּא שְׁמוֹ · hu shemo
= that shemo
S3Bulk naming unlogged; the search fails: after STEP_Gn_2_20S2 state.Facts lo_matza HOLD; flags behemah as read-before-install; CMD-US?(make(ezer_kenegdo, le_adam)) pushed and OPEN.
= Facts did-not-find HOLD; flags livestock as read-before-install; CMD-US?(make(helper-corresponding-to-him, to-human)) pushed and OPEN.		וּלְאָדָם לֹא־מָצָא · u-le-adam lo-matza
= human did-not-find
S4The surgery installs nothing: after STEP_Gn_2_21S3 state.WORLD = {chayat_ha_sadeh, of_ha_shamayim}.
= WORLD = {beast-of-the-field, fowl-of-the-sky}.		וַיִּסְגֹּר בָּשָׂר · va-yisgor basar
= he-closed flesh
S5The pop — execution as receipt: after STEP_Gn_2_22S4 state.WORLD = {chayat_ha_sadeh, of_ha_shamayim, ishah}; SPECS empty; machine flags spec-delta.
= WORLD = {beast-of-the-field, fowl-of-the-sky, woman}; SPECS empty; machine flags spec-delta.		וַיִּבֶן … וַיְבִאֶהָ · va-yiven … va-yevieha
= he-built and-yevieha
S6The one logged name: after STEP_Gn_2_23S5 state.REGISTRY: ishah->ishah (1 write).
= REGISTRY: woman->woman (1 write).		יִקָּרֵא אִשָּׁה · yiqare ishah
= shall-be-called woman
S7The standing pattern: after STEP_Gn_2_24S6 state.Facts pattern-basar_echad HOLD.
= Facts pattern-one-flesh HOLD.		עַל־כֵּן · al-ken
= over-so
S8Closing state, ledger silent, bridge loaded: after STEP_Gn_2_25S7 state.Facts arumim/lo_yitboshashu HOLD; SPECS empty; LEDGER stays EMPTY (open transaction).
= Facts naked/were-not-ashamed HOLD; SPECS empty; LEDGER stays EMPTY (open transaction).		עֲרוּמִּים … וְלֹא יִתְבֹּשָׁשׁוּ · arumim … ve-lo yitboshashu
= naked not were-ashamed
S9_negativeNegative: the 1cs volitive inherits the CMD-US? guardA synthetic CMD-US? demand (the machine's own contract self-test).CMD-US? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — the singular member (e'eseh) inherits the plural's contract unchanged.
= CMD-US? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — the singular member (e'I-will-make) inherits the plural's contract unchanged.
S10_negativeNegative: flags never blockA synthetic commit with TESTS empty (the machine's own contract self-test).Cycle close with TESTS empty must be FLAGGED, never blocked — the standing rule re-asserted; this unit attempts no commit, and its TESTS register holds a FAIL that blocks nothing either: verdicts are data.
= Cycle close with TESTS empty must in FLAGGED, never blocked — the standing rule re-asserted; this unit attempts no commit, and its TESTS register holds a FAIL that blocks nothing either: verdicts are data.

Exports (reusable patterns)

idcontent
EXPORT_first_failלֹא־טוֹב · lo-tov · the corpus's first FAIL verdict — the week's instrument negated, in speech mode; Onkelos runs day 6's own verdict word negated (la takkin); the chain's census dissent counts the utterance among the ten (Yalkut Shimoni 22:9)
EXPORT_in_span_arcאֶעֱשֶׂה … וַיִּבֶן · e'eseh … va-yiven · push 2:18, pop 2:22: the demand->receipt arc closes in-span with NO receipt formula — execution-as-receipt (the Miriam class), with the make->build spec-delta flagged; contrast gen_08, which ends owing
EXPORT_delegated_registryוְכֹל אֲשֶׁר יִקְרָא־לוֹ הָאָדָם … הוּא שְׁמוֹ · ve-khol asher yiqra-lo ha-adam … hu shemo · the NAME device changes hands, ratified standing — and the first creature-performed bulk write executes with every value withheld: the registry rows the letter never quotes stay unwritten in the machine
EXPORT_first_human_speechזֹאת הַפַּעַם עֶצֶם מֵעֲצָמַי · zot ha-paam etzem me-atzamai · the first human speech — accent-marked near-poetic (zinor/segol, the parser's own rare-in-prose labels), naming by NIPHAL passive (yiqare), carrying the corpus's first etymology (ishah from ish)
EXPORT_tzela_sanctuaryאַחַת מִצַּלְעֹתָיו · achat mi-tzalotav · the woman is built from tzela ('side') — every other Torah token of the word (x19) is Tabernacle architecture: with shoham and bedolach (gen_08), the Eden->sanctuary lexical bridge is systematic
EXPORT_sagar_debutוַיִּסְגֹּר בָּשָׂר · va-yisgor basar · sagar ('shut/close') and basar ('flesh') both debut in the surgery — the roots of the ark-shutting (7:16) and Lev 13's quarantine (hisgir/segiru): the purity law's verb is born as HEALING closure; Onkelos avoids it here (u-mlei, 'filled') and adopts it there — dual-track
EXPORT_alken_patternעַל־כֵּן יַעֲזָב־אִישׁ · al-ken yaazov-ish · the first narrator etiology, in law grammar (imperfect + weqatal chain, TIR-029) with no trigger and no addressee — a standing PATTERN, not a handler; av/em debut in the leaving clause; davak's trail runs to Deuteronomy's 'cleave to YHWH'; Onkelos's 'bed-chamber' rendering is the Sanhedrin 58a dossier surfacing in translation
EXPORT_naked_cunning_bridgeעֲרוּמִּים … עָרוּם · arumim … arum · the bridge pun: naked (2:25) and cunning (3:1) — one Torah token EACH, same letters, adjacent verses; shame debuts negated (lo yitboshashu), and the serpent arrives wearing the humans' last adjective

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

verified Yalkut Shimoni on Torah 22:9 — the ten-utterances census dissent block; day-1 triage row 241, re-verified local 2026-08-01
עֲשָׂרָה מַאֲמָרוֹת · asarah ma'amarot · The census dissent counts 2:18 ('it is not good...') among the ten creation utterances — part of the chain reads this unit's opening verdict-speech as a member of the week's own speech series: the bracket between the week and Eden II is porous in the chain's own count. Dual-track beside the machine's FAIL verdict.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.
observation Bereshit Rabbah 17 (the helper dossier; 17:4 the naming rounds and zot ha-paam); Bavli Yevamot 63a (ezer kenegdo two-way); Bavli Berakhot 61a (tzela: side/tail/two-faces); Bavli Sanhedrin 58a (2:24 as Noachide law — Onkelos's bed-chamber rendering is its surface); Bavli Ketubot 8a (one formation or two); Pirkei DeRabbi Eliezer 12 (the garden wedding) — gen_09 Tier-A queue
עֵזֶר כְּנֶגְדּוֹ · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to 2:18-25 (watch-list C) — third tripwire span in a row; the Sanhedrin 58a row is this span's law-from-narrative tripwire (the legal formulas should fire on it, as predicted for 56b at gen_08).
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 2:18-25 — read Tier-A at derive time (8 sequential fetches, Data/FETCHLOG.md 2026-08-01)
לָא תַקִּין · la takkin · The span's translation witness: la TAKKIN ('not well-ordered') for lo-tov — day 6's verdict word negated (the TEST-FAIL warrant); semakh ('support') for ezer; both formation verbs leveled to u-vra; shinta for the covenant-sleep word; u-MLEI ('filled') where the Hebrew CLOSES flesh — the shut-root refused here, embraced at Lev 13; mi-BAALA ('from her husband') where the pun dies in translation; the halakhic 'bed-chamber' expansion at 2:24; la mitkalmin ('not disgraced') closing.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.2.18 · parser unique · 12 words

ויאמר יהוה אלהים לא־טוב היות האדם לבדו אעשׂה־לו עזר כנגדו · va-yomer YHWH Elohim lo-tov heot ha-adam le-vad-o eese-l-o ezer ke-negd-o · Not good, the human alone — I will make him a corresponding helper. [EN-AID]
PHRASE (binary 12w) וַ/יֹּ֨אמֶר֙ יְהוָ֣ה אֱלֹהִ֔ים לֹא ט֛וֹב הֱי֥וֹ…
├── PHRASE (binary 8w) וַ/יֹּ֨אמֶר֙ יְהוָ֣ה אֱלֹהִ֔ים לֹא ט֛וֹב הֱי֥וֹ…
│   ├── PHRASE (binary 3w) וַ/יֹּ֨אמֶר֙ יְהוָ֣ה אֱלֹהִ֔ים
│   │   ├── [0] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
│   │   └── [1-2] GLUE יְהוָ֣ה אֱלֹהִ֔ים (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) לֹא ט֛וֹב הֱי֥וֹת הָֽ/אָדָ֖ם לְ/בַדּ֑/וֹ
│       ├── PHRASE (binary 4w) לֹא ט֛וֹב הֱי֥וֹת הָֽ/אָדָ֖ם
│       │   ├── [3-4] GLUE לֹא ט֛וֹב (tevir, rank=3)
│       │   └── [5-6] GLUE הֱי֥וֹת הָֽ/אָדָ֖ם (tifcha, rank=2)
│       └── [7] לְ/בַדּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) אֶֽעֱשֶׂהּ לּ֥/וֹ עֵ֖זֶר כְּ/נֶגְדּֽ/וֹ
    ├── [8-10] GLUE אֶֽעֱשֶׂהּ לּ֥/וֹ עֵ֖זֶר (tifcha, rank=2)
    └── [11] כְּ/נֶגְדּֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.2.19 · parser unique · 28 words

ויצר יהוה אלהים מן־האדמה כל־חית השׂדה ואת כל־עוף השׁמים ויבא אל־האדם לראות מה־יקרא־לו וכל אשׁר יקרא־לו האדם נפשׁ חיה הוא שׁמו · va-yitzer YHWH Elohim min-ha-adama kal-chayat ha-sade ve-et kal-of ha-shamayim va-yave el-ha-adam li-reot ma-yiqra-l-o ve-khol asher yiqra-l-o ha-adam nefesh chaya hu shem-o · Formed beasts and fowl from the ground, brought to the human to see what he calls them — that is its name. [EN-AID]
PHRASE (binary 28w) וַ/יִּצֶר֩ יְהוָ֨ה אֱלֹהִ֜ים מִן הָֽ/אֲדָמָ֗ה כ…
├── PHRASE (binary 19w) וַ/יִּצֶר֩ יְהוָ֨ה אֱלֹהִ֜ים מִן הָֽ/אֲדָמָ֗ה כ…
│   ├── PHRASE (binary 12w) וַ/יִּצֶר֩ יְהוָ֨ה אֱלֹהִ֜ים מִן הָֽ/אֲדָמָ֗ה כ…
│   │   ├── PHRASE (binary 5w) וַ/יִּצֶר֩ יְהוָ֨ה אֱלֹהִ֜ים מִן הָֽ/אֲדָמָ֗ה
│   │   │   ├── [0-2] GLUE וַ/יִּצֶר֩ יְהוָ֨ה אֱלֹהִ֜ים (geresh, rank=4)
│   │   │   └── [3-4] GLUE מִן הָֽ/אֲדָמָ֗ה (revia, rank=3)
│   │   └── PHRASE (binary 7w) כָּל חַיַּ֤ת הַ/שָּׂדֶה֙ וְ/אֵת֙ כָּל ע֣וֹף הַ/…
│   │       ├── [5-7] GLUE כָּל חַיַּ֤ת הַ/שָּׂדֶה֙ (pashta, rank=3)
│   │       └── PHRASE (binary 4w) וְ/אֵת֙ כָּל ע֣וֹף הַ/שָּׁמַ֔יִם
│   │           ├── [8] וְ/אֵת֙ (pashta, rank=3)
│   │           └── [9-11] GLUE כָּל ע֣וֹף הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│   └── PHRASE (binary 7w) וַ/יָּבֵא֙ אֶל הָ֣/אָדָ֔ם לִ/רְא֖וֹת מַה יִּקְר…
│       ├── PHRASE (binary 3w) וַ/יָּבֵא֙ אֶל הָ֣/אָדָ֔ם
│       │   ├── [12] וַ/יָּבֵא֙ (pashta, rank=3)
│       │   └── [13-14] GLUE אֶל הָ֣/אָדָ֔ם (zaqef qatan, rank=2)
│       └── PHRASE (binary 4w) לִ/רְא֖וֹת מַה יִּקְרָא ל֑/וֹ
│           ├── [15] לִ/רְא֖וֹת (tifcha, rank=2)
│           └── [16-18] GLUE מַה יִּקְרָא ל֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וְ/כֹל֩ אֲשֶׁ֨ר יִקְרָא ל֧/וֹ הָֽ/אָדָ֛ם נֶ֥פֶש…
    ├── PHRASE (binary 7w) וְ/כֹל֩ אֲשֶׁ֨ר יִקְרָא ל֧/וֹ הָֽ/אָדָ֛ם נֶ֥פֶש…
    │   ├── [19-23] GLUE וְ/כֹל֩ אֲשֶׁ֨ר יִקְרָא ל֧/וֹ הָֽ/אָדָ֛ם (tevir, rank=3)
    │   └── [24-25] GLUE נֶ֥פֶשׁ חַיָּ֖ה (tifcha, rank=2)
    └── [26-27] GLUE ה֥וּא שְׁמֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.2.20 · parser unique · 15 words

ויקרא האדם שׁמות לכל־הבהמה ולעוף השׁמים ולכל חית השׂדה ולאדם לא־מצא עזר כנגדו · va-yiqra ha-adam shemot le-khal-ha-behema u-le-of ha-shamayim u-le-khol chayat ha-sade u-le-adam lo-matza ezer ke-negd-o · The human named all livestock, fowl, and beasts — but for a human, no corresponding helper found. [EN-AID]
PHRASE (binary 15w) וַ/יִּקְרָ֨א הָֽ/אָדָ֜ם שֵׁמ֗וֹת לְ/כָל הַ/בְּה…
├── PHRASE (binary 10w) וַ/יִּקְרָ֨א הָֽ/אָדָ֜ם שֵׁמ֗וֹת לְ/כָל הַ/בְּה…
│   ├── PHRASE (binary 7w) וַ/יִּקְרָ֨א הָֽ/אָדָ֜ם שֵׁמ֗וֹת לְ/כָל הַ/בְּה…
│   │   ├── PHRASE (binary 3w) וַ/יִּקְרָ֨א הָֽ/אָדָ֜ם שֵׁמ֗וֹת
│   │   │   ├── [0-1] GLUE וַ/יִּקְרָ֨א הָֽ/אָדָ֜ם (geresh, rank=4)
│   │   │   └── [2] שֵׁמ֗וֹת (revia, rank=3)
│   │   └── PHRASE (binary 4w) לְ/כָל הַ/בְּהֵמָה֙ וּ/לְ/ע֣וֹף הַ/שָּׁמַ֔יִם
│   │       ├── [3-4] GLUE לְ/כָל הַ/בְּהֵמָה֙ (pashta, rank=3)
│   │       └── [5-6] GLUE וּ/לְ/ע֣וֹף הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וּ/לְ/כֹ֖ל חַיַּ֣ת הַ/שָּׂדֶ֑ה
│       ├── [7] וּ/לְ/כֹ֖ל (tifcha, rank=2)
│       └── [8-9] GLUE חַיַּ֣ת הַ/שָּׂדֶ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וּ/לְ/אָדָ֕ם לֹֽא מָצָ֥א עֵ֖זֶר כְּ/נֶגְדּֽ/וֹ
    ├── [10] וּ/לְ/אָדָ֕ם (zaqef gadol, rank=2)
    └── PHRASE (binary 4w) לֹֽא מָצָ֥א עֵ֖זֶר כְּ/נֶגְדּֽ/וֹ
        ├── [11-13] GLUE לֹֽא מָצָ֥א עֵ֖זֶר (tifcha, rank=2)
        └── [14] כְּ/נֶגְדּֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.2.21 · parser unique · 13 words

ויפל יהוה אלהים תרדמה על־האדם ויישׁן ויקח אחת מצלעתיו ויסגר בשׂר תחתנה · va-yapel YHWH Elohim tardema al-ha-adam va-yishan va-yiqach achat mi-tzalotay-v va-yisgor basar tachte-na · Deep sleep fell; he slept — one side taken, flesh closed beneath. [EN-AID]
PHRASE (binary 13w) וַ/יַּפֵּל֩ יְהוָ֨ה אֱלֹהִ֧ים תַּרְדֵּמָ֛ה עַל …
├── PHRASE (binary 7w) וַ/יַּפֵּל֩ יְהוָ֨ה אֱלֹהִ֧ים תַּרְדֵּמָ֛ה עַל …
│   ├── PHRASE (binary 6w) וַ/יַּפֵּל֩ יְהוָ֨ה אֱלֹהִ֧ים תַּרְדֵּמָ֛ה עַל …
│   │   ├── [0-3] GLUE וַ/יַּפֵּל֩ יְהוָ֨ה אֱלֹהִ֧ים תַּרְדֵּמָ֛ה (tevir, rank=3)
│   │   └── [4-5] GLUE עַל הָ/אָדָ֖ם (tifcha, rank=2)
│   └── [6] וַ/יִּישָׁ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יִּקַּ֗ח אַחַת֙ מִ/צַּלְעֹתָ֔י/ו וַ/יִּסְגֹּ…
    ├── PHRASE (binary 3w) וַ/יִּקַּ֗ח אַחַת֙ מִ/צַּלְעֹתָ֔י/ו
    │   ├── [7] וַ/יִּקַּ֗ח (revia, rank=3)
    │   └── PHRASE (binary 2w) אַחַת֙ מִ/צַּלְעֹתָ֔י/ו
    │       ├── [8] אַחַת֙ (pashta, rank=3)
    │       └── [9] מִ/צַּלְעֹתָ֔י/ו (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וַ/יִּסְגֹּ֥ר בָּשָׂ֖ר תַּחְתֶּֽ/נָּה
        ├── [10-11] GLUE וַ/יִּסְגֹּ֥ר בָּשָׂ֖ר (tifcha, rank=2)
        └── [12] תַּחְתֶּֽ/נָּה (silluq (verse-end emperor), rank=1)

Gen.2.22 · parser unique · 13 words

ויבן יהוה אלהים את־הצלע אשׁר־לקח מן־האדם לאשׁה ויבאה אל־האדם · va-yiven YHWH Elohim et-ha-tzela asher-laqach min-ha-adam le-isha va-yevie-ha el-ha-adam · Built the taken side into a woman — and brought her to the human. [EN-AID]
PHRASE (binary 13w) וַ/יִּבֶן֩ יְהוָ֨ה אֱלֹהִ֧ים אֶֽת הַ/צֵּלָ֛ע אֲ…
├── PHRASE (binary 10w) וַ/יִּבֶן֩ יְהוָ֨ה אֱלֹהִ֧ים אֶֽת הַ/צֵּלָ֛ע אֲ…
│   ├── PHRASE (binary 9w) וַ/יִּבֶן֩ יְהוָ֨ה אֱלֹהִ֧ים אֶֽת הַ/צֵּלָ֛ע אֲ…
│   │   ├── [0-4] GLUE וַ/יִּבֶן֩ יְהוָ֨ה אֱלֹהִ֧ים אֶֽת הַ/צֵּלָ֛ע (tevir, rank=3)
│   │   └── [5-8] GLUE אֲשֶׁר לָקַ֥ח מִן הָֽ/אָדָ֖ם (tifcha, rank=2)
│   └── [9] לְ/אִשָּׁ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יְבִאֶ֖/הָ אֶל הָֽ/אָדָֽם
    ├── [10] וַ/יְבִאֶ֖/הָ (tifcha, rank=2)
    └── [11-12] GLUE אֶל הָֽ/אָדָֽם (silluq (verse-end emperor), rank=1)

Gen.2.23 · parser unique · 15 words

ויאמר האדם זאת הפעם עצם מעצמי ובשׂר מבשׂרי לזאת יקרא אשׁה כי מאישׁ לקחה־זאת · va-yomer ha-adam zot ha-paam etzem me-atzama-y u-vasar mi-besari-y le-zot yiqare isha ki me-ish luqocha-zot · This time: bone of my bones — she shall be called woman, for from man was she taken. [EN-AID]
PHRASE (binary 15w) וַ/יֹּאמֶר֮ הָֽ/אָדָם֒ זֹ֣את הַ/פַּ֗עַם עֶ֚צֶם …
├── PHRASE (binary 8w) וַ/יֹּאמֶר֮ הָֽ/אָדָם֒ זֹ֣את הַ/פַּ֗עַם עֶ֚צֶם …
│   ├── PHRASE (binary 2w) וַ/יֹּאמֶר֮ הָֽ/אָדָם֒
│   │   ├── [0] וַ/יֹּאמֶר֮ (zinor (poetic cousin; rare in prose), rank=3)
│   │   └── [1] הָֽ/אָדָם֒ (segol, rank=2)
│   └── PHRASE (binary 6w) זֹ֣את הַ/פַּ֗עַם עֶ֚צֶם מֵֽ/עֲצָמַ֔/י וּ/בָשָׂ֖…
│       ├── PHRASE (binary 4w) זֹ֣את הַ/פַּ֗עַם עֶ֚צֶם מֵֽ/עֲצָמַ֔/י
│       │   ├── [2-3] GLUE זֹ֣את הַ/פַּ֗עַם (revia, rank=3)
│       │   └── PHRASE (binary 2w) עֶ֚צֶם מֵֽ/עֲצָמַ֔/י
│       │       ├── [4] עֶ֚צֶם (yetiv, rank=3)
│       │       └── [5] מֵֽ/עֲצָמַ֔/י (zaqef qatan, rank=2)
│       └── PHRASE (binary 2w) וּ/בָשָׂ֖ר מִ/בְּשָׂרִ֑/י
│           ├── [6] וּ/בָשָׂ֖ר (tifcha, rank=2)
│           └── [7] מִ/בְּשָׂרִ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) לְ/זֹאת֙ יִקָּרֵ֣א אִשָּׁ֔ה כִּ֥י מֵ/אִ֖ישׁ לֻֽ…
    ├── PHRASE (binary 3w) לְ/זֹאת֙ יִקָּרֵ֣א אִשָּׁ֔ה
    │   ├── [8] לְ/זֹאת֙ (pashta, rank=3)
    │   └── [9-10] GLUE יִקָּרֵ֣א אִשָּׁ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) כִּ֥י מֵ/אִ֖ישׁ לֻֽקֳחָה זֹּֽאת
        ├── [11-12] GLUE כִּ֥י מֵ/אִ֖ישׁ (tifcha, rank=2)
        └── [13-14] GLUE לֻֽקֳחָה זֹּֽאת (silluq (verse-end emperor), rank=1)

Gen.2.24 · parser unique · 13 words

על־כן יעזב־אישׁ את־אביו ואת־אמו ודבק באשׁתו והיו לבשׂר אחד · al-ken yaazav-ish et-avi-v ve-et-im-o ve-davaq be-isht-o ve-hayu le-vasar echad · Therefore a man leaves father and mother — cleaves to his wife: one flesh. [EN-AID]
PHRASE (binary 13w) עַל כֵּן֙ יַֽעֲזָב אִ֔ישׁ אֶת אָבִ֖י/ו וְ/אֶת א…
├── PHRASE (binary 8w) עַל כֵּן֙ יַֽעֲזָב אִ֔ישׁ אֶת אָבִ֖י/ו וְ/אֶת א…
│   ├── PHRASE (binary 4w) עַל כֵּן֙ יַֽעֲזָב אִ֔ישׁ
│   │   ├── [0-1] GLUE עַל כֵּן֙ (pashta, rank=3)
│   │   └── [2-3] GLUE יַֽעֲזָב אִ֔ישׁ (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) אֶת אָבִ֖י/ו וְ/אֶת אִמּ֑/וֹ
│       ├── [4-5] GLUE אֶת אָבִ֖י/ו (tifcha, rank=2)
│       └── [6-7] GLUE וְ/אֶת אִמּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/דָבַ֣ק בְּ/אִשְׁתּ֔/וֹ וְ/הָי֖וּ לְ/בָשָׂ֥ר …
    ├── [8-9] GLUE וְ/דָבַ֣ק בְּ/אִשְׁתּ֔/וֹ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/הָי֖וּ לְ/בָשָׂ֥ר אֶחָֽד
        ├── [10] וְ/הָי֖וּ (tifcha, rank=2)
        └── [11-12] GLUE לְ/בָשָׂ֥ר אֶחָֽד (silluq (verse-end emperor), rank=1)

Gen.2.25 · parser unique · 7 words

ויהיו שׁניהם ערומים האדם ואשׁתו ולא יתבשׁשׁו · va-yihyu shene-hem arumim ha-adam ve-isht-o ve-lo yitboshashu · The two of them naked, the man and his wife — and not ashamed. [EN-AID]
PHRASE (binary 7w) וַ/יִּֽהְי֤וּ שְׁנֵי/הֶם֙ עֲרוּמִּ֔ים הָֽ/אָדָ֖…
├── PHRASE (binary 5w) וַ/יִּֽהְי֤וּ שְׁנֵי/הֶם֙ עֲרוּמִּ֔ים הָֽ/אָדָ֖…
│   ├── PHRASE (binary 3w) וַ/יִּֽהְי֤וּ שְׁנֵי/הֶם֙ עֲרוּמִּ֔ים
│   │   ├── [0-1] GLUE וַ/יִּֽהְי֤וּ שְׁנֵי/הֶם֙ (pashta, rank=3)
│   │   └── [2] עֲרוּמִּ֔ים (zaqef qatan, rank=2)
│   └── PHRASE (binary 2w) הָֽ/אָדָ֖ם וְ/אִשְׁתּ֑/וֹ
│       ├── [3] הָֽ/אָדָ֖ם (tifcha, rank=2)
│       └── [4] וְ/אִשְׁתּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וְ/לֹ֖א יִתְבֹּשָֽׁשׁוּ
    ├── [5] וְ/לֹ֖א (tifcha, rank=2)
    └── [6] יִתְבֹּשָֽׁשׁוּ (silluq (verse-end emperor), rank=1)

Word coverage — 116/116 words with named roles

ref#HebrewtranslitEnglishrolekindrule
Gen.2.180ויאמרva-yomerand-he-saidspeech_verdict_openerlogic_bearingnone
Gen.2.181יהוהYHWHYHWHagent_compoundlogic_bearingnone
Gen.2.182אלהיםElohimGodagent_compoundlogic_bearingnone
Gen.2.183לאlonotverdict_negator_FIRST_FAILlogic_bearingnone
Gen.2.184טובtovgoodverdict_word_negatedlogic_bearingnone
Gen.2.185היותheotbeing-ofstate_infinitivelogic_bearingnone
Gen.2.186האדםha-adamthe-humanhuman_presupposedlogic_bearingnone
Gen.2.187לבדוle-vad-oalone-himaloneness_the_failed_statelogic_bearingnone
Gen.2.188אעשהeeseI-will-makevolitive_1cs_CMD_US_singularlogic_bearingTIR-033
Gen.2.189לוl-ofor-himbeneficiarylogic_bearingnone
Gen.2.1810עזרezerhelperhelper_A_join_divine_titlelogic_bearingnone
Gen.2.1811כנגדוke-negd-ocorresponding-himcorresponding_OPEN_two_waylogic_bearingnone
Gen.2.190ויצרva-yitzerand-he-formedformation_verb_SINGLE_YOD_animalslogic_bearingnone
Gen.2.191יהוהYHWHYHWHagent_compoundlogic_bearingnone
Gen.2.192אלהיםElohimGodagent_compoundlogic_bearingnone
Gen.2.193מןminfrompreposition_fromlogic_bearingnone
Gen.2.194האדמהha-adamathe-groundsource_ground_presupposedlogic_bearingnone
Gen.2.195כלkalalltotality_quantifierlogic_bearingnone
Gen.2.196חיתchayatbeast-ofclass_installedlogic_bearingnone
Gen.2.197השדהha-sadethe-fieldfield_registerlogic_bearingnone
Gen.2.198ואתve-etand-obj-marker·etobj_markerlogic_bearingTIR-014
Gen.2.199כלkalalltotality_quantifierlogic_bearingnone
Gen.2.1910עוףoffowl-ofclass_installedlogic_bearingnone
Gen.2.1911השמיםha-shamayimthe-heavenssky_registerlogic_bearingnone
Gen.2.1912ויבאva-yaveand-he-broughtbring_verb_parallel_to_2_22logic_bearingnone
Gen.2.1913אלeltopreposition_tologic_bearingnone
Gen.2.1914האדםha-adamthe-humanaddressee_observerlogic_bearingnone
Gen.2.1915לראותli-reotto-seedelegation_purpose_SEE_test_verblogic_bearingTIR-030
Gen.2.1916מהmawhatinterrogative_open_valuelogic_bearingnone
Gen.2.1917יקראyiqrahe-will-callcall_imperfect_delegatedlogic_bearingnone
Gen.2.1918לוl-oto-itdativelogic_bearingnone
Gen.2.1919וכלve-kholand-alltotality_quantifierlogic_bearingnone
Gen.2.1920אשרasherwhichrelative_scope_openerlogic_bearingnone
Gen.2.1921יקראyiqrahe-will-callcall_imperfect_delegatedlogic_bearingnone
Gen.2.1922לוl-oto-itdativelogic_bearingnone
Gen.2.1923האדםha-adamthe-humandelegated_namerlogic_bearingnone
Gen.2.1924נפשnefeshliving-beingcategory_word_sharedlogic_bearingnone
Gen.2.1925חיהchayalivingcategory_word_sharedlogic_bearingnone
Gen.2.1926הואhuthatratification_copulalogic_bearingnone
Gen.2.1927שמוshem-oits-nameratification_standing_namelogic_bearingnone
Gen.2.200ויקראva-yiqraand-he-calledfirst_creature_agent_eventlogic_bearingnone
Gen.2.201האדםha-adamthe-humancreature_agentlogic_bearingnone
Gen.2.202שמותshemotnamesbulk_values_UNLOGGEDlogic_bearingnone
Gen.2.203לכלle-khalto-alltotality_quantifierlogic_bearingnone
Gen.2.204הבהמהha-behemathe-livestockclass_named_never_formed_flaglogic_bearingnone
Gen.2.205ולעוףu-le-ofand-to-flying-creatureclass_namedlogic_bearingnone
Gen.2.206השמיםha-shamayimthe-heavenssky_registerlogic_bearingnone
Gen.2.207ולכלu-le-kholand-to-alltotality_quantifierlogic_bearingnone
Gen.2.208חיתchayatbeast-ofclass_namedlogic_bearingnone
Gen.2.209השדהha-sadethe-fieldfield_registerlogic_bearingnone
Gen.2.2010ולאדםu-le-adamand-for-humansearch_domain_humanlogic_bearingnone
Gen.2.2011לאlonotsearch_negatorlogic_bearingnone
Gen.2.2012מצאmatzahe-foundfind_FIRST_TOKEN_in_failurelogic_bearingnone
Gen.2.2013עזרezerhelperhelper_soughtlogic_bearingnone
Gen.2.2014כנגדוke-negd-ocorresponding-himcorresponding_OPEN_two_waylogic_bearingnone
Gen.2.210ויפלva-yapeland-he-castcast_sleep_hiphillogic_bearingnone
Gen.2.211יהוהYHWHYHWHagent_compoundlogic_bearingnone
Gen.2.212אלהיםElohimGodagent_compoundlogic_bearingnone
Gen.2.213תרדמהtardemadeep-sleepdeep_sleep_covenant_pair_15_12logic_bearingnone
Gen.2.214עלaloverpreposition_overlogic_bearingnone
Gen.2.215האדםha-adamthe-humanpatientlogic_bearingnone
Gen.2.216ויישןva-yishanand-he-sleptslept_isolated_at_restlogic_bearingnone
Gen.2.217ויקחva-yiqachand-he-tooktake_verblogic_bearingnone
Gen.2.218אחתachatoneone_oflogic_bearingnone
Gen.2.219מצלעתיוmi-tzalotay-vfrom-his-sidesside_TABERNACLE_wordlogic_bearingnone
Gen.2.2110ויסגרva-yisgorand-he-closedclose_verb_SAGAR_FIRST_TOKENlogic_bearingnone
Gen.2.2111בשרbasarfleshflesh_FIRST_TOKENlogic_bearingnone
Gen.2.2112תחתנהtachte-nabeneath-itbeneath_itlogic_bearingnone
Gen.2.220ויבןva-yivenand-he-builtbuild_verb_BANAH_FIRST_TOKENlogic_bearingnone
Gen.2.221יהוהYHWHYHWHagent_compoundlogic_bearingnone
Gen.2.222אלהיםElohimGodagent_compoundlogic_bearingnone
Gen.2.223אתetobj-marker·etobj_markerlogic_bearingTIR-014
Gen.2.224הצלעha-tzelathe-sideside_materiallogic_bearingnone
Gen.2.225אשרasherwhichrelative_scope_openerlogic_bearingnone
Gen.2.226לקחlaqachhe-tooktaken_recaplogic_bearingnone
Gen.2.227מןminfrompreposition_fromlogic_bearingnone
Gen.2.228האדםha-adamthe-humansource_humanlogic_bearingnone
Gen.2.229לאשהle-ishainto-womanproduct_woman_installlogic_bearingnone
Gen.2.2210ויבאהva-yevie-haand-he-brought-herpresentation_receipt_bringlogic_bearingnone
Gen.2.2211אלeltopreposition_tologic_bearingnone
Gen.2.2212האדםha-adamthe-humanrecipientlogic_bearingnone
Gen.2.230ויאמרva-yomerand-he-saidfirst_human_speech_zinor_segollogic_bearingnone
Gen.2.231האדםha-adamthe-humanhuman_speakerlogic_bearingnone
Gen.2.232זאתzotthisdeictic_recognitionlogic_bearingnone
Gen.2.233הפעםha-paamthe-timetime_word_FIRST_prior_rounds_OPENlogic_bearingnone
Gen.2.234עצםetzembonebone_recognitionlogic_bearingnone
Gen.2.235מעצמיme-atzama-yfrom-my-bonesbone_of_my_boneslogic_bearingnone
Gen.2.236ובשרu-vasarand-fleshflesh_recognitionlogic_bearingnone
Gen.2.237מבשריmi-besari-yfrom-my-fleshflesh_of_my_fleshlogic_bearingnone
Gen.2.238לזאתle-zotto-thisnaming_dativelogic_bearingnone
Gen.2.239יקראyiqareshall-be-calledpassive_naming_niphallogic_bearingTIR-032
Gen.2.2310אשהishawomanname_value_ishahlogic_bearingnone
Gen.2.2311כיkiforderivation_conjunctionglueTIR-008
Gen.2.2312מאישme-ishfrom-manetymon_ISH_FIRST_TOKENlogic_bearingnone
Gen.2.2313לקחהluqochawas-takentaken_passive_receipts_surgerylogic_bearingnone
Gen.2.2314זאתzotthisdeicticlogic_bearingnone
Gen.2.240עלaluponetiology_markerlogic_bearingnone
Gen.2.241כןkensoetiology_marker_THEREFORElogic_bearingnone
Gen.2.242יעזבyaazavhe-leavespattern_imperfect_gnomiclogic_bearingnone
Gen.2.243אישishmanevery_man_subjectlogic_bearingnone
Gen.2.244אתetobj-marker·etobj_markerlogic_bearingnone
Gen.2.245אביוavi-vhis-fatherfather_FIRST_TOKENlogic_bearingnone
Gen.2.246ואתve-etand-obj-marker·etobj_markerlogic_bearingnone
Gen.2.247אמוim-ohis-mothermother_FIRST_TOKENlogic_bearingnone
Gen.2.248ודבקve-davaqand-cleavesweqatal_cleave_covenant_traillogic_bearingTIR-029
Gen.2.249באשתוbe-isht-oto-his-wifewife_objectlogic_bearingnone
Gen.2.2410והיוve-hayuand-they-becomeweqatal_becomelogic_bearingTIR-029
Gen.2.2411לבשרle-vasarto-fleshunion_term_fleshlogic_bearingnone
Gen.2.2412אחדechadoneunion_term_onelogic_bearingnone
Gen.2.250ויהיוva-yihyuand-they-wereclosing_state_verblogic_bearingnone
Gen.2.251שניהםshene-hemthe-two-of-themthe_pairlogic_bearingnone
Gen.2.252ערומיםarumimnakednaked_pun_bridge_3_1logic_bearingnone
Gen.2.253האדםha-adamthe-humanhumanlogic_bearingnone
Gen.2.254ואשתוve-isht-oand-his-wifehis_wifelogic_bearingnone
Gen.2.255ולאve-loand-notshame_negatorlogic_bearingnone
Gen.2.256יתבששוyitboshashuwere-ashamedshame_FIRST_TOKEN_negatedlogic_bearingnone

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

unit: gen_09_helper_woman_first_speech — Eden II: not-good, the helper, the woman, first human speech (2:18-25) [frozen]

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

=== S1 — The first FAIL and the pushed plan: after STEP_Gn_2_18
    לֹא־טוֹב (lo-tov)
    PASS  TESTS += FAIL(tov, heyot_ha_adam_levado)  (tests=[('FAIL', 'tov', 'heyot_ha_adam_levado')])
    PASS  CMD-US?(make(ezer_kenegdo, le_adam)) pushed and OPEN  (queue=['make(ezer_kenegdo, le_adam)'])
    PASS  flags adam as read-before-install.  (flagged=['adam'])

=== S2 — The animals and the standing delegation: after STEP_Gn_2_19
    הוּא שְׁמוֹ (hu shemo)
    PASS  WORLD = {chayat_ha_sadeh, of_ha_shamayim}  (created=['chayat_ha_sadeh', 'of_ha_shamayim'])
    PASS  Facts hu_shemo HOLD.  (1 facts)

=== S3 — Bulk naming unlogged; the search fails: after STEP_Gn_2_20
    וּלְאָדָם לֹא־מָצָא (u-le-adam lo-matza)
    PASS  Facts lo_matza HOLD  (2 facts)
    PASS  flags behemah as read-before-install  (flagged=['adam', 'adamah', 'behemah'])
    PASS  CMD-US?(make(ezer_kenegdo, le_adam)) pushed and OPEN.  (queue=['make(ezer_kenegdo, le_adam)'])

=== S4 — The surgery installs nothing: after STEP_Gn_2_21
    וַיִּסְגֹּר בָּשָׂר (va-yisgor basar)
    PASS  WORLD = {chayat_ha_sadeh, of_ha_shamayim}.  (created=['chayat_ha_sadeh', 'of_ha_shamayim'])

=== S5 — The pop — execution as receipt: after STEP_Gn_2_22
    וַיִּבֶן … וַיְבִאֶהָ (va-yiven … va-yevieha)
    PASS  WORLD = {chayat_ha_sadeh, of_ha_shamayim, ishah}  (created=['chayat_ha_sadeh', 'ishah', 'of_ha_shamayim'])
    PASS  SPECS empty  (queue=0)
    PASS  machine flags spec-delta.  (flags=['read_before_install', 'spec_delta'])

=== S6 — The one logged name: after STEP_Gn_2_23
    יִקָּרֵא אִשָּׁה (yiqare ishah)
    PASS  REGISTRY: ishah->ishah (1 write).  (names={'ishah': 'ishah'} writes=1)

=== S7 — The standing pattern: after STEP_Gn_2_24
    עַל־כֵּן (al-ken)
    PASS  Facts pattern-basar_echad HOLD.  (3 facts)

=== S8 — Closing state, ledger silent, bridge loaded: after STEP_Gn_2_25
    עֲרוּמִּים … וְלֹא יִתְבֹּשָׁשׁוּ (arumim … ve-lo yitboshashu)
    PASS  Facts arumim/lo_yitboshashu HOLD  (5 facts)
    PASS  SPECS empty  (queue=0)
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S9_negative — Negative: the 1cs volitive inherits the CMD-US? guard
    PASS  volitive 1cp parsed as CMD-US? (question mark kept)  (mood=CMD-US?)
    PASS  auto-upgrade REFUSED  (TIR-028: CMD-US? never auto-upgrades to CMD-US — a per-unit ...)
    PASS  upgrade WITH citation allowed  (cite=per-unit judgment (owner), TIR-028 resolution)

=== 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_09_helper_woman_first_speech.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_09_helper_woman_first_speech — 2:18-25
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_09_helper_woman_first_speech.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.
# =============================================================================
"""Eden II: not-good, the helper, the woman, first human speech (2:18-25)"""
from machine import Machine

m = Machine("gen_09_helper_woman_first_speech")

# -------------------------- Gen.2.18 · VERDICT_FAIL_AND_PLAN ---------------
# וַיֹּאמֶר יְהוָה אֱלֹהִים לֹא־טוֹב הֱיוֹת הָאָדָם לְבַדּוֹ אֶעֱשֶׂה־לּוֹ
# עֵזֶר כְּנֶגְדּוֹ
# "And the LORD God said: 'It is not good that the man should be alone; I
# will make him a help meet for him.'"
m.step("Gen.2.18")
# ‹לֹא־טוֹב הֱיוֹת הָאָדָם לְבַדּוֹ› (“not good being-of the-human alone-
# him”) — test FAIL — oracle-word good, on the-human-being-alone
m.test("FAIL", "tov", "heyot_ha_adam_levado")
# ‹אֶעֱשֶׂה־לּוֹ עֵזֶר כְּנֶגְדּוֹ› (“I-will-make for-him helper
# corresponding-him”) — the-LORD-God speaks a demand — CMD-US?: make(helper-
# corresponding-to-him, to-human)
m.declare("YHWH_Elohim", "CMD-US?",
          "make(ezer_kenegdo, le_adam)")
# reads without prior install (flag, not fix): human
m.presupposed("adam")

# -------------------------- Gen.2.19 · FORM_BRING_DELEGATE -----------------
# וַיִּצֶר יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־חַיַּת הַשָּׂדֶה וְאֵת
# כָּל־עוֹף הַשָּׁמַיִם וַיָּבֵא אֶל־הָאָדָם לִרְאוֹת מַה־יִּקְרָא־לוֹ וְכֹל
# אֲשֶׁר יִקְרָא־לוֹ הָאָדָם נֶפֶשׁ חַיָּה הוּא שְׁמוֹ
# "And out of the ground the LORD God formed every beast of the field, and
# every fowl of the air; and brought them unto the man to see what he would
# call them; and whatsoever the man would call every living creature, that
# was to be the name thereof."
m.step("Gen.2.19")
# ‹וַיִּצֶר … מִן־הָאֲדָמָה› (“and-he-formed … from the-ground”) — event:
# form — agent the-LORD-God; theme beast-of-the-field, fowl-of-the-sky
m.event("form", agent="YHWH_Elohim", themes=["chayat_ha_sadeh", "of_ha_shamayim"])
# ‹כָּל־חַיַּת הַשָּׂדֶה וְאֵת כָּל־עוֹף הַשָּׁמַיִם› (“all beast-of the-
# field and-obj-marker all fowl-of the-heavens”) — the world gains: beast-
# of-the-field, fowl-of-the-sky
m.install("chayat_ha_sadeh", "of_ha_shamayim")
# ‹וַיָּבֵא אֶל־הָאָדָם לִרְאוֹת מַה־יִּקְרָא־לוֹ› (“and-he-brought to the-
# human to-see what he-will-call to-it”) — event: bring — agent the-LORD-
# God; theme beast-of-the-field
m.event("bring", agent="YHWH_Elohim", themes=["chayat_ha_sadeh"])
# ‹וְכֹל אֲשֶׁר יִקְרָא־לוֹ הָאָדָם נֶפֶשׁ חַיָּה הוּא שְׁמוֹ› (“and-all
# which he-will-call to-it the-human living-being living that its-name”) —
# fact holds: that-is-its-name(all-which-he-will-call-not-the-human)
m.fact("hu_shemo(kol_asher_yiqra_lo_ha_adam)")
# reads without prior install (flag, not fix): ground
m.presupposed("adamah")

# -------------------------- Gen.2.20 · BULK_NAMING_FAILED_SEARCH -----------
# וַיִּקְרָא הָאָדָם שֵׁמוֹת לְכָל־הַבְּהֵמָה וּלְעוֹף הַשָּׁמַיִם וּלְכֹל
# חַיַּת הַשָּׂדֶה וּלְאָדָם לֹא־מָצָא עֵזֶר כְּנֶגְדּוֹ
# "And the man gave names to all cattle, and to the fowl of the air, and to
# every beast of the field; but for Adam there was not found a help meet for
# him."
m.step("Gen.2.20")
# ‹וַיִּקְרָא הָאָדָם שֵׁמוֹת› (“and-he-called the-human names”) — event:
# call — agent human; theme names
m.event("call", agent="adam", themes=["shemot"])
# ‹וּלְאָדָם לֹא־מָצָא עֵזֶר כְּנֶגְדּוֹ› (“and-for-human not he-found
# helper corresponding-him”) — fact holds: did-not-find(helper-
# corresponding-to-him, to-human)
m.fact("lo_matza(ezer_kenegdo, le_adam)")
# reads without prior install (flag, not fix): livestock
m.presupposed("behemah")

# -------------------------- Gen.2.21 · SLEEP_AND_SURGERY -------------------
# וַיַּפֵּל יְהוָה אֱלֹהִים תַּרְדֵּמָה עַל־הָאָדָם וַיִּישָׁן וַיִּקַּח
# אַחַת מִצַּלְעֹתָיו וַיִּסְגֹּר בָּשָׂר תַּחְתֶּנָּה
# "And the LORD God caused a deep sleep to fall upon the man, and he slept;
# and He took one of his ribs, and closed up the place with flesh instead
# thereof."
m.step("Gen.2.21")
# ‹וַיַּפֵּל … תַּרְדֵּמָה עַל־הָאָדָם וַיִּישָׁן› (“and-he-cast … deep-
# sleep over the-human and-he-slept”) — event: cast-sleep — agent the-LORD-
# God; theme deep-sleep
m.event("cast_sleep", agent="YHWH_Elohim", themes=["tardemah"])
# ‹וַיִּקַּח אַחַת מִצַּלְעֹתָיו› (“and-he-took one from-his-sides”) —
# event: take — agent the-LORD-God; theme side
m.event("take", agent="YHWH_Elohim", themes=["tzela"])
# ‹וַיִּסְגֹּר בָּשָׂר תַּחְתֶּנָּה› (“and-he-closed flesh beneath-it”) —
# event: close — agent the-LORD-God; theme flesh
m.event("close", agent="YHWH_Elohim", themes=["basar"])

# -------------------------- Gen.2.22 · BUILD_WOMAN_RECEIPT -----------------
# וַיִּבֶן יְהוָה אֱלֹהִים אֶת־הַצֵּלָע אֲשֶׁר־לָקַח מִן־הָאָדָם לְאִשָּׁה
# וַיְבִאֶהָ אֶל־הָאָדָם
# "And the rib, which the LORD God had taken from the man, made He a woman,
# and brought her unto the man."
m.step("Gen.2.22")
# ‹וַיִּבֶן … אֶת־הַצֵּלָע … לְאִשָּׁה› (“and-he-built … obj-marker the-side
# … into-woman”) — event: build — agent the-LORD-God; theme woman
m.event("build", agent="YHWH_Elohim", themes=["ishah"])
# ‹לְאִשָּׁה› (“into-woman”) — the world gains: woman
m.install("ishah")
# ‹וַיִּבֶן … וַיְבִאֶהָ אֶל־הָאָדָם› (“and-he-built … and-he-brought-her to
# the-human”) — demand settled (popped from the queue): make(helper-
# corresponding-to-him, to-human)
m.result("make(ezer_kenegdo, le_adam)", tmark="t1")
# spec-delta — spec said e'I-will-make (I will MAKE — make, the week's build
# verb), delivery says and-he-built (He BUILT — build, first token)
m.spec_delta("e'eseh (I will MAKE — asah, the week's build verb)",
             "va-yiven (He BUILT — banah, first token)")

# -------------------------- Gen.2.23 · FIRST_HUMAN_SPEECH_NAME -------------
# וַיֹּאמֶר הָאָדָם זֹאת הַפַּעַם עֶצֶם מֵעֲצָמַי וּבָשָׂר מִבְּשָׂרִי
# לְזֹאת יִקָּרֵא אִשָּׁה כִּי מֵאִישׁ לֻקֳחָה־זֹּאת
# "And the man said: 'This is now bone of my bones, and flesh of my flesh;
# she shall be called Woman, because she was taken out of Man.'"
m.step("Gen.2.23")
# ‹וַיֹּאמֶר הָאָדָם› (“and-he-said the-human”) — event: say — agent human
m.event("say", agent="adam")
# ‹לְזֹאת יִקָּרֵא אִשָּׁה כִּי מֵאִישׁ לֻקֳחָה־זֹּאת› (“to-this shall-be-
# called woman for from-man was-taken this”) — named: woman := woman
m.name("ishah", "ishah")

# -------------------------- Gen.2.24 · ETIOLOGY_PATTERN --------------------
# עַל־כֵּן יַעֲזָב־אִישׁ אֶת־אָבִיו וְאֶת־אִמּוֹ וְדָבַק בְּאִשְׁתּוֹ
# וְהָיוּ לְבָשָׂר אֶחָד
# "Therefore shall a man leave his father and his mother, and shall cleave
# unto his wife, and they shall be one flesh."
m.step("Gen.2.24")
# ‹עַל־כֵּן יַעֲזָב־אִישׁ … וְדָבַק … וְהָיוּ לְבָשָׂר אֶחָד› (“upon so he-
# leaves man … and-cleaves … and-they-become to-flesh one”) — pattern
# recorded: leave(man, father-and-mother) ∧ cleave(man, in-his-wife) ∧ they-
# become(one-flesh)
m.pattern("azav(ish, av_ve_em) ∧ davak(ish, be_ishto) ∧ hayu(basar_echad)")

# -------------------------- Gen.2.25 · CLOSING_STATE_BRIDGE ----------------
# וַיִּהְיוּ שְׁנֵיהֶם עֲרוּמִּים הָאָדָם וְאִשְׁתּוֹ וְלֹא יִתְבֹּשָׁשׁוּ
# "And they were both naked, the man and his wife, and were not ashamed."
m.step("Gen.2.25")
# ‹עֲרוּמִּים … וְלֹא יִתְבֹּשָׁשׁוּ› (“naked … and-not were-ashamed”) —
# fact holds: naked(the-human-and-his-wife); were-not-ashamed(both-of-them)
m.fact("arumim(ha_adam_ve_ishto)",
       "lo_yitboshashu(shneihem)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'ishah', 'chayat_ha_sadeh', 'of_ha_shamayim'}
    assert m.presupposed_set() == {'adamah', 'behemah', 'adam'}
    assert m.REGISTRY["names"] == {'ishah': 'ishah'}
    assert m.REGISTRY["writes"] == 1
    assert m.tests_list() == [('FAIL', 'tov', 'heyot_ha_adam_levado')]
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 3, 'spec_delta': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['hu_shemo(kol_asher_yiqra_lo_ha_adam)', 'lo_matza(ezer_kenegdo, le_adam)', 'pattern: azav(ish, av_ve_em) ∧ davak(ish, be_ishto) ∧ hayu(basar_echad)', 'arumim(ha_adam_ve_ishto)', 'lo_yitboshashu(shneihem)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 12
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")
FROZEN 2026-08-01 (owner order "freeze gen_09 and gen_10 and commit and push"; derived same day, "go derive gen 9"): tenth frozen unit. Central findings, all DB-verified before drafting: the corpus's FIRST FAIL verdict (lo-tov — speech-mode, against the week's see-mode; Onkelos negates day 6's own verdict word: la takkin); the in-span demand->receipt arc (e'eseh pushed at 2:18, popped by va-yiven at 2:22 — execution-as-receipt, the Miriam class — with the make->build spec-delta flagged); the 1cs volitive joining gen_06's CMD-US family; the formation minimal pair completing ACROSS CREATURES (single-yod animals, double-yod human); the NAME device delegated, ratified standing (hu shemo), and executed as the corpus's first creature-agent event — with every value withheld by the letter (the registry stays unwritten rather than invented); sagar and basar debuting in the surgery (the quarantine root born as healing closure); tzela's Tabernacle-exclusive trail (the woman built from sanctuary vocabulary); the first human speech (near-poetic accents, passive naming, the corpus's first etymology: ishah from ish); the first narrator etiology in law grammar (al-ken + imperfect + weqatal — the PATTERN operator, standing fact with no trigger); shame debuting negated; and the one-token naked/cunning pun bridging to the serpent. gen_08's two open demands and armed handler are UNTOUCHED — the debt carries into Gen 3. Pre-flight green in the scratchpad harness (TEST-FAIL, PATTERN, one checker pattern injected; repo interpreter untouched). Freeze, narrative (ASK FIRST), and triage await owner order. Not binding religious law.

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.