Eden I: toledot header, garden, first job, FIRST RULE (2:4-17) FROZEN

unit gen_08_toledot_garden_first_rule · Genesis 2:4-17 · derive logic_derived_v1 · phase C-8

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

אֵלֶּה תוֹלְדוֹת — הַגָּן וְהַמִּצְוָה הָרִאשׁוֹנָה · ele toledot — ha-gan ve-ha-mitzvah ha-rishonah · 'these are the generations' — the garden and the first command

Derived 2026-08-01 at owner's order ("go, derive gen_08") — BOOK ORDER RESUMES after the lev_13 law pilot ("lev was a test"). Segmentation 2:4-17 approved in-session (owner accepted the recommendation: the rule lands inside the garden the unit builds — setting, occupant, job, boundary is one install; gen_09 = 2:18-25 next). Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (14 sequential per-verse fetches, logged in Data/FETCHLOG.md); prior triage rows queried for span anchors (Siddur Rashi 447:2 — the chain's own reading cuts AT 2:4; Tanchuma Buber Bereshit 18:1 — the defective toledot spellings). FOURTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen08_prospective_2026-08-01.md): the cache holds ZERO sources anchored to 2:4-17 — the Eden chain-primaries (Bereshit Rabbah 14-16, Berakhot 61a, Sanhedrin 56b's seven-laws derivation from 2:16, the Avot DeRabbi Natan 1 fence dossier) enter only at triage: tripwire condition, same as lev_13. Interpreter vocabulary needed at freeze: SECTION operator (toledot header device, 13-member Genesis series, DB-verified); LET?/LET-NOT pushed-and-OPEN checker patterns; the LET-NOT never-resolves contract (S10_negative); TIR-034 rulebook row (provisional) — all prototyped in the pre-flight harness first (repo interpreter untouched at draft). FROZEN 2026-08-01 on owner order ("freeze gen_08 and commit and push"): the four extensions folded into run_unit.py, TIR-034 added to the rulebook (provisional), and the unit re-verified green through the real interpreter; all eight prior frozen units regression-run green with the extended interpreter.

Logic-derived v1: v3 ta'amim trees (glue bricks, pure binary) -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. Machine tokens apostrophe-free and underscore-joined (etz_ha_daat_tov_va_ra, be_yom_asot) where checker regexes require word characters.

ORAL AUDIT — crowns (chain-attested + DB-verified): AMENDED 2026-08-08 on owner order ("update the existing derivation to reflect the new findings... I want one source of truth") — the oral-first era's first retro audit (PROCESS.md) folded in. Machine layer UNTOUCHED (steps/scenarios byte-identical to the 2026-08-01 freeze); this block is the unit's CROWN layer under the new definition: chain-attested + DB-verified. Manifest = logic/oral_audit/manifests/gen_08_toledot_garden_first_rule_claims.json; verifier = python3 logic/solo_tools/verify_claims.py <manifest>; result 14 VERIFIED / 0 FAILED / 2 UNCHECKABLE. Sources read (fetches logged in Data/FETCHLOG.md): Rashi on Gen 2 · Bereshit Rabbah 12-16 · Berakhot 61a · Sanhedrin 56b · Avot DeRabbi Natan 1 · Pesachim 54a · 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). CROWNS (all DB-verified; ids in the manifest): [G08-01] Gen 2:4 is the ONLY fully-spelled toledot ("generations") of the Torah's 29 tokens — Scripture's only other is Ruth 4:18 (Bereshit Rabbah 12:6; Minchat Shai). [G08-02] be-hibbaram ("when-they-were-created") = the letters of be-Avraham ("for Abraham"), an anagram (BR 12:9). [G08-04/05] va-yitzer ("and He formed") occurs exactly TWICE as this pointed form — 2:7 the human, spelled FULL with double yod; 2:19 the beasts, defective (Masorah via Kitzur Baal HaTurim + Minchat Shai; Berakhot 61a and BR 14 read the doubling — sharper than this unit's original in-span 2:8 perfect contrast, which stands). [G08-06] the mist-noun ed is Torah-unique to 2:6 (Masorah pairs it Scripture-wide with Job 18:12). [G08-07] the flipped earth-then-heavens order is Torah-unique to 2:4 (pair: Ps 148:13). [G08-08] yipared ("shall be parted") Torah-unique to 2:10 (pair: Prov 19:4). [G08-09] ha-bedolach ("the bdellium") occurs exactly twice in Scripture — 2:12 and Num 11:7 THE MANNA: this unit's mined "join trail" is the Masorah's own pair-count. [G08-10] the final letters of va-yipach be-apav nishmat chayim ("He breathed into his nostrils the breath of life", 2:7) spell chotam ("seal") (Kitzur Baal HaTurim). [G08-11] the initials of ha-adam le-nefesh chaya ("the man became a living soul", 2:7) are the letters of challah, the dough-offering (Kitzur Baal HaTurim; cf. BR 14's Adam-as-challah). [G08-12] the bare go-out participle yotze is written defectively across the whole Torah except THREE full tokens, all in Exodus (8:16, 8:25, 11:4; Minchat Shai on 2:10's defective yotze). [G08-13] the zaqef gadol accent (a major pause marker) isolates ve-etz ("and the tree" of knowledge) at 2:9 (Minchat Shai). [G08-14/15] both suffix-he letters of le-avdah u-le-shamrah ("to work it and to keep it", 2:15) carry mappiq (the dot marking the final he as a pronounced consonant) — the Masorah marks this unit's filed feminine-suffix anomaly as REAL consonantal 3fs suffixes (Minchat Shai; the [OPEN] flag stands, now chain-anchored). INSTRUMENT GAPS (UNCHECKABLE, filed): the small he of be-hibbaram (BR 12:10 — SNAPSHOT has no letter size); Ben Naftali/Ashkenazi pointing variants at 2:6. MINED-ONLY CLAIMS (this unit's original finds, no chain attestation in sources read, NO conflicts — they stand as reviewed 2026-08-01): first infinitive-absolute doubling (akhol tokhel, "eating you may eat"), first prohibition (lo tokhal, "you shall not eat"), the 31-member death-doubling family, va-yetzav ("and He commanded") first of 252, the YHWH-Elohim ("the LORD God" compound) 20+1 exclusivity count, the 2:12 ktiv-qere (written-form vs read-form variant). READINGS (named-only, unclaimed, triage law): Sanhedrin 56b's seven-laws derivation from 2:16 attests this unit's first-command-as-seed-of-law machine reading; BR 16 work/keep = Shabbat (the Sabbath) or sacrifices attests the Levite-formula trajectory; Pesachim 54a vs BR 15:3 = the mi-qedem ("east"/"of old") fork this unit recorded from Onkelos; ADRN 1 fence; BR 12's six losses in the missing letter vav; full list in logic/oral_audit/AUDIT_gen_08_2026-08-08.md (audit record; this yaml is the source of truth).

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

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	Eden opening (2:4-17): from the toledot ("generations") header — the first of the book's 13-member section-header series (DB-verified; the chain's own liturgical cut lands here: Siddur Rashi 447:2) — through the first rule (2:16-17). The boundary at 2:17 is the speech's own close: 2:18 opens a NEW divine speech ("it is not good ...") turning to the companion problem — the next unit's subject. Inside the span: the header + not-yet block (the 1:1-1:2 boot pattern re-run), the human formed, the garden planted, the trees, the four-river registry (the corpus's first geography), the placement + job, and the command. What the span LACKS, measured against the seven-unit baseline: no jussive fiat, no va-yehi khen receipt, no tov test, no naming BY GOD (the registry rows are narrator-voice), no blessing, and NO COMMIT — the ledger never opens. The week's machinery idles; a different machine — command, demand, standing handler — starts up.	established
B	Hebrew source + trees	All 14 verses via taamim_tree_parse.py rule set v3: status unique, pure_binary true. tree_ascii generated 2026-08-01. Tree facts: 2:4 splits at the etnachta ON be-hibaram ("in-their-being-created") — [header: these-are-the-generations \| date-line: in-the-day YHWH Elohim made], with the chiasm heavens-and-earth (definite) -> earth-and-heavens (anarthrous, flipped) bracketing the rest. 2:5 [the two not-yet clauses \| the two causes: no rain, no human]. 2:9 isolates the TWO NAMED TREES as the right arm after the rest. 2:16 [command frame: and-He-commanded ... saying \| THE PERMISSION — akhol tokhel as the verse-end pair]. 2:17 [THE PROHIBITION: lo tokhal closing the left arm \| THE PENALTY: ki be-yom ... mot tamut as the right] — the [condition \| action] law bracket of Lev 13's seven law verses, present in the corpus's first rule.	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 2:4-6 carry NO wayyiqtol — nominal header + terem ("not-yet") imperfects (yihyeh, yitzmach), a narrative-negated perfect (lo himtir), ayin ("there-is-not"), and a HABITUAL weqatal pair (ve-hishqah 2:6, ve-hayah 2:10 — the law-genre spine form TIR-029 in its past-habitual/geographic use: genre control, the form is not law-exclusive; law is marked by the unbroken CHAIN). The narrative spine starts at 2:7: va-YIItzer with DOUBLE YOD (Vqw3ms; he_plain DB-verified) against 2:8's single-yod perfect yatzar — a letter minimal pair inside the span; the verb's only non-Eden Torah token is Exod 32:4, Aaron forming the CALF (A-grade join). va-yipach ("breathed"), va-yehi ... le-nefesh chaya — the human BECOMES the day-5/6 animal term ("living being"; Onkelos differentiates: ruach memalela, "a SPEAKING spirit" — dual-track). va-yita ("planted"), va-yatzmach (HIPHIL "caused-to-sprout" vs 2:5's qal "would sprout" — causative minimal pair on one root in one span), va-yiqach + va-yanichehu ("took ... and SETTLED him" — the nuach/rest root placing the human; Onkelos ve-ashrei, the dwelling verb), va-YETZAV — piel wayyiqtol of tzavah: the corpus's FIRST command token (DB: first of 252). 2:10-14: zero main-line events — participles (yotze, ha-sovev, ha-holekh, TIR-031 standing state) and nominal rows: the registry block. 2:16-17 quoted speech: akhol tokhel (HVqa + HVqi2ms) — the corpus's FIRST infinitive-absolute doubling (DB-verified), a PERMISSION; lo tokhal — the corpus's FIRST PROHIBITION (first lo + 2ms imperfect; second token: 3:17, the sentence quoting it back); mot tamut — doubling #2, first of the 31-member death- doubling family that becomes the law codes' capital formula (mot yumat, Exod 21:12 ff.). Ktiv-qere at 2:12: ha-hiv (3fs written as hu). 2:15 job infinitives carry 3FS suffixes (le-avdah u-le-shamrah) against masculine gan — [OPEN]; Onkelos retains them (Aramaic ginta is feminine — the anomaly dissolves in translation: resolution witness, not resolution).	tested
D	Predicates & outcomes	2:4 header + date-line (TIME anchor: be-yom asot, "in the day of [His] making") + the DIVINE NAME SHIFT: YHWH debuts here (first token in the corpus), and the bare compound YHWH-Elohim is the Eden narrative's EXCLUSIVE signature — Torah-wide it occurs only in Gen 2:4-3:23 (20 tokens) + Exod 9:30 (DB-verified; [OPEN]: the chain's justice/mercy attribute dossier is queued, named- only). 2:5-6 the not-yet block: four lacks (shrub, herb, rain, human) and an interim irrigation (ed, "mist" — Torah hapax; Onkelos anana, "cloud"); the lack-list NAMES THE JOB (la-avod et-ha-adamah, "to work the ground") before the worker exists. 2:7 the forming: dust from the ground + divine breath -> the human becomes a nefesh chaya — the SAME term the week used for animals. 2:8-9 the garden: planted in Eden mi-qedem ("east" or "of old" — Onkelos resolves TEMPORALLY, mi-leqadmin "from of old", while rendering 2:14's qidmat SPATIALLY: deliberate two-way disambiguation, recorded dual-track); trees pleasant and good (tov migrates from verdict to attribute); TWO NAMED TREES set apart by the accent tree. 2:10-14 the first geography registry: one river, four heads, four names, three route participles, one ordinal series (first-second-third-fourth — the week's ordinal device, no day-labels), three resources (gold "good", bedolach, shoham stone — the join trails point at the manna and the priestly vestments). 2:15 the first JOB: taken, SETTLED (rest-root), assigned le-avdah u-le-shamrah ("to work it and to keep it") — the pair returns as the LEVITE duty formula (Num 3:7-8, 8:26, 18:7: keep the keeping, work the work of the sanctuary). 2:16-17 THE FIRST RULE, four quadrants over two rests: [frame \| permission] [prohibition \| penalty] — permission to ALL trees (the 1:29 food grant NARROWS: spec-delta), prohibition on ONE, penalty as a standing conditional on the day-clock (be-yom, "in the day").	tested
E	Logic format choice	Operator lines; NO ledger row (no commit exists — the machine's LEDGER stays empty, asserted in S9). New operator SECTION for the toledot header (13-member Genesis series: a corpus-level device deserves an operator; it records an event only — a header labels, it does not install). TIME_ANCHOR from the header's own date-line (t0 := be_yom_asot). The not-yet block and the registry rows are PRECONDITION_STATE facts (the 1:2 device; participial/nominal standing state, TIR-031), NOT events — the machine shows the narrative pausing while the registry loads (S5 asserts ZERO events in the resource row). Installs via REGISTRY_INSTALL: adam, gan, the two trees, the river + four heads. River names via NAME (narrator-voice registry writes, no va-yiqra formula — contrast day 1); the job via ASSIGN (gen_04 office device): adam->oved_ve_shomer. THE RULE: DECLARE LET?(akhal(adam, mi_kol_etz_ha_gan)) — TIR-028's mandatory ? on the imperfect permission; DECLARE LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra)) — the FIRST LET-NOT in eight units (TIR-034, provisional: the lo + imperfect prohibition INSIDE an explicit command frame — va-yetzav ... le-mor disambiguates directive from forecast; the serpent's 3:4 exploit trades on exactly the form ambiguity the frame resolves). The PENALTY is not a demand — nothing is asked of the narrative present — but a standing conditional: HANDLER IF(be_yom_akhal(adam, me_etz_ha_daat_tov_va_ra)) THEN(mot_tamut(adam)) — the lev_13 operator, hand-authored here per Pre-Code; Gen 3 is the case arriving at this handler. Both rule-demands stand OPEN at unit end — the corpus's first unit that ends owing: what answers them is not a receipt but the violation trace (gen_10-11), and the sentence there is the handler's execution — with a commutation the chain will have much to say about (triage material, not machine state).	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en. Machine tokens apostrophe-free and underscore-joined: be_yom_asot, nefesh_chaya, etz_ha_chayim, etz_ha_daat_tov_va_ra, oved_ve_shomer, mi_kol_etz_ ha_gan, me_etz_ha_daat_tov_va_ra, mot_tamut. The 2:15 suffix display normalized (le-avdah u-le-shamrah); the DB's raw translit keeps the suffix letter.	established
G	Oral (named only) + Tier-A translation check	Verified from prior triage rows (day-1 ledger, re-checked 2026-08-01): Siddur Rashi 447:2 (Simchat Torah reading runs TO 'ele toledot ha-shamayim' — the chain's own cut at this unit's opening); Tanchuma Buber Bereshit 18:1 (the defective toledot spellings — the ktiv dossier for the header word). Named but NOT read (cache holds ZERO sources for 2:4-17 — watch-list section C; all queued for the gen_08 triage): Bereshit Rabbah 14-16 (formation, garden, rivers, rule), Bavli Berakhot 61a (double-yod: two inclinations), Bereshit Rabbah 14:5 (double-yod: two formations), Bavli Sanhedrin 56b (the SEVEN NOACHIDE LAWS derived from 2:16's wording — a whole legal system read out of the first command verse: the detector's law-device tripwire for this span), Avot DeRabbi Natan 1 (the fence added to this rule and its failure), Bereshit Rabbah 12:10 (the small-heh of be-hibaram — letter-SIZE feature; NOT in our XML, checked: no size markup — named-only), Bavli Pesachim 54a (things created before the world — bears on mi-qedem and the not-yet block), Mishnah Avot 5:6. Tier-A Onkelos read at derive time (14 fetches, FETCHLOG 2026-08-01): ruach MEMALELA ("a SPEAKING spirit") for nefesh chaya — the translation makes speech the human differentiator (dual-track beside the letter's same-term-as-animals); u-vra ("created") for va-yitzer — the double-yod leveled to the day-1 verb; the knowledge tree rendered "the tree of which the EATERS of its fruit grow WISE, discerning good from evil" (2:9 = 2:17) — the object named by its effect on users, the segiru device of Lev 13; mi-leqadmin ("from of old") for mi-qedem at 2:8 vs le-madincha ("to the east") for qidmat at 2:14; anana ("cloud") for the mist hapax; Diglat (the Tigris) for Chidekel; burla (beryl) for shoham; ve-ashrei ("settled/caused-to-dwell") for va-yanichehu; the 2:15 feminine suffixes RETAINED (ginta is feminine in Aramaic); u-fakkid for va-yetzav; BOTH doublings RETAINED (meikhal teikhul; meimat temut).	tested
H	Scenarios	S1 header: time anchor set, name-shift delta flagged, presupposed reads flagged, SPECS empty. S2 the not-yet block as facts with ZERO events. S3 adam installed at 2:7. S4 garden + both trees; eden flagged read-before-install. S5 the registry pause: ZERO events in the resource row; geography facts hold. S6 full WORLD set after the fourth river. S7 the job: a REGISTRY office write with SPECS still empty — the office binds without speech. S8 the permission: LET? pushed and OPEN, mood remains LET?. S9 the prohibition + penalty: LET-NOT pushed and OPEN, handler fact holds, LEDGER stays EMPTY — the unit ends owing. S10_negative: the LET-NOT contract — a prohibition has NO resolution path at all (resolve_spec refuses: no ?-mood entry exists); S11_negative: flag-never-block re-asserted.	tested
I	English leakage review	Operators derive from morph codes (Vqw/Vpw wayyiqtol spine; Vqi imperfects in the not-yet block and in the quoted command; HVqa infinitive absolutes for both doublings; Vqr/Vqrmsa participles TIR-031; VNc niphal infinitive TIR-032-family at be-hibaram; Vqc purpose infinitives TIR-030; To object markers TIR-014) and from DB censuses run BEFORE drafting (first YHWH token; bare-compound distribution; first tzavah token; first lo+Vqi2ms; first inf-abs doubling; the 31-member death-doubling family; the toledot series; the work+keep pair verses). The LET-NOT reading rests on TIR-034's command-frame condition (va-yetzav + le-mor present in the letter), not on doctrine; the [OPEN] flags (name shift, mi-qedem, feminine suffixes, two-accounts) stay open.	established
J	Pre-flight + freeze gate	Pre-flight 2026-08-01: scratchpad harness with FOUR injected prototypes (repo run_unit.py untouched): (1) SECTION handler — event-only, no register writes; (2) checker patterns "LET?(..) pushed and OPEN" / "LET-NOT(..) pushed and OPEN" / "LET-NOT(..) mood remains LET-NOT"; (3) contract_let_not_never_resolves — S10_negative's dispatch branch; (4) TIR-034 cite accepted (format already valid). All scenarios green in the harness. FROZEN 2026-08-01 on owner order ("freeze gen_08 and commit and push"): the four extensions folded into run_unit.py, TIR-034 (provisional) added to logic/TREE_INTERPRETATION_RULES.md, unit re-verified green through the real interpreter, and the eight 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_4 · Gen.2.4 · SECTION_HEADER

אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם וְהָאָרֶץ בְּהִבָּרְאָם בְּיוֹם עֲשׂוֹת יְהוָה אֱלֹהִים אֶרֶץ וְשָׁמָיִם · ele toledot ha-shamayim ve-ha-aretz be-hibaram be-yom asot YHWH Elohim eretz ve-shamayim · [EN-AID/JPS] These are the generations of the heaven and of the earth when they were created, in the day that the LORD God made earth and heaven.

LEFT
אלה תולדות השמים והארץ בהבראם · ele toledot ha-shamayim ve-ha-aretz be-hibaram · the header: these-are-the-generations, closing on the passive (etnachta arm)

RIGHT
ביום עשות יהוה אלהים ארץ ושמים · be-yom asot YHWH Elohim eretz ve-shamayim · the date-line with the new divine name — and the chiasm flip

operator	expression	Hebrew anchor	cites	confidence
SECTION	SECTION(toledot, shamayim, aretz) = SECTION(generations, heavens, earth) 'THESE are the GENERATIONS of the heavens and the earth' — the first token of the book's own section-header device: toledot opens 13 sections in Genesis (DB-verified: 2:4, 5:1, 6:9, 10:1, 10:32, 11:10, 11:27, 25:12, 25:13, 25:19, 36:1, 36:9, 37:2) — every later one heads a PERSON's line; the first heads heaven and earth. A header labels; it installs nothing — the operator records an event only, no register writes. The chain's own liturgical segmentation cuts exactly here (Siddur Rashi 447:2, prior triage row, re-verified); the defective-spelling dossier on this very word is named (Tanchuma Buber Bereshit 18:1). be-hibaram ('in-their-being-created') — niphal infinitive, the agentless family (TIR-032): the week recapped as a passive event inside a time phrase. The famous small-heh of this word is a letter-SIZE feature our XML does not carry (checked: named-only, BR 12:10 queued).	אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם וְהָאָרֶץ · ele toledot ha-shamayim ve-ha-aretz = these generations heavens earth	TIR-032	tested
TIME_ANCHOR	t0 := be_yom_asot = t0 := in-the-day-of-[His]-making The header's own date-line anchors the unit's clock: 'in the DAY of YHWH Elohim's making earth and heavens' — one 'day' now covering the whole week's work [OPEN, letter-fact: the word that counted seven now sums them]. The pair returns FLIPPED and BARE (eretz va-shamayim, no articles) against the header's definite ha-shamayim ve-ha-aretz — a chiasm bracketing the etnachta.	בְּיוֹם עֲשׂוֹת יְהוָה אֱלֹהִים אֶרֶץ וְשָׁמָיִם · be-yom asot YHWH Elohim eretz ve-shamayim = day making the-LORD God earth heavens	—	tested
NOTE_PRESUPPOSED	shamayim, aretz are READ without prior install (standalone machine; installed in gen_01/gen_02/gen_03 — cross-unit chaining is Stage E) = heavens, earth are READ without prior install (standalone machine; installed in gen-01/gen-02/gen-03 — cross-unit chaining is Stage E) flag, not fix — the header reads the week's two registries as given	—	—	tested
NOTE_SPEC_DELTA	spec 'Elohim (the week's sole agent name, gen_01-07)' delivered 'YHWH_Elohim (compound: personal name + generic)' = spec 'God (the week's sole agent name, gen-01-07)' delivered 'the-LORD-God (compound: personal name + generic)' THE NAME SHIFT, measured: YHWH's first token in the corpus is this verse, and the BARE compound YHWH-Elohim is Torah-wide EXCLUSIVE to the Eden narrative — Gen 2:4-3:23 (20 tokens) plus Exod 9:30 alone (DB-verified; that one verse also carries terem, the not-yet particle: both Eden signatures co-occur there — discovered join, watch-list A.10). Solo YHWH first appears at Gen 4:1, after the expulsion; in the serpent dialogue (3:1-5) the name drops to bare Elohim. [OPEN]: the chain's justice/mercy attribute dossier (named-only, queued). The machine records the shift as a spec-delta flag: the week's agent name changed without notice.	יְהוָה אֱלֹהִים · YHWH Elohim = the-LORD God	—	tested

A header, a date-line, a new name for the builder, and a chiasm — no event, no speech, no install. The corpus's structural device debuts by re-labeling everything the week built as 'generations', then hands the clock to a single day.

STEP_Gn_2_5 · Gen.2.5 · PRECONDITIONS_LACKS

וְכֹל שִׂיחַ הַשָּׂדֶה טֶרֶם יִהְיֶה בָאָרֶץ וְכָל־עֵשֶׂב הַשָּׂדֶה טֶרֶם יִצְמָח כִּי לֹא הִמְטִיר יְהוָה אֱלֹהִים עַל־הָאָרֶץ וְאָדָם אַיִן לַעֲבֹד אֶת־הָאֲדָמָה · ve-khol siach ha-sadeh terem yihyeh va-aretz ve-khal-esev ha-sadeh terem yitzmach ki lo himtir YHWH Elohim al-ha-aretz ve-adam ayin la-avod et-ha-adamah · [EN-AID/JPS] No shrub of the field was yet in the earth, and no herb of the field had yet sprung up; for the LORD God had not caused it to rain upon the earth, and there was not a man to till the ground.

LEFT
וכל שיח השדה טרם יהיה בארץ וכל עשב השדה טרם יצמח · ve-khol siach ha-sadeh terem yihyeh va-aretz ve-khal-esev ha-sadeh terem yitzmach · the two NOT-YET clauses (etnachta arm)

RIGHT
כי לא המטיר יהוה אלהים על הארץ ואדם אין לעבד את האדמה · ki lo himtir YHWH Elohim al-ha-aretz ve-adam ayin la-avod et-ha-adamah · the two CAUSES: no rain, no worker — and the job named in the lack

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(terem(kol_siach_ha_sadeh), t0) ∧ HOLDS(terem(kol_esev_ha_sadeh), t0) ∧ HOLDS(lo_himtir(YHWH_Elohim, al_ha_aretz), t0) ∧ HOLDS(adam_ayin(la_avod_et_ha_adamah), t0) = HOLDS(not-yet(all-shrub-the-field), t0) ∧ HOLDS(not-yet(all-herb-the-field), t0) ∧ HOLDS(had-not-caused-rain(the-LORD-God, over-the-earth), t0) ∧ HOLDS(no-human-existed(to-work-obj-marker·et-the-ground), t0) The 1:2 device re-run: background STATE, no events — terem ('not-yet', ×2 of its 8 Torah tokens) with IMPERFECTS (yihyeh, yitzmach: unrealized), a narrative-negated perfect (lo himtir — 'had not caused rain': the rain verb's first token), and ayin ('there-is-not'). Four lacks in one verse — and the fourth names the JOB before the worker exists: la-avod et-ha-adamah, 'to WORK the GROUND' (purpose infinitive, TIR-030) — the exact verb the 2:15 assignment will use. The system's want-list is the human's job description.	טֶרֶם … טֶרֶם … לֹא הִמְטִיר … וְאָדָם אַיִן · terem … terem … lo himtir … ve-adam ayin = not-yet not-yet not caused-rain human there-is-not	TIR-030, TIR-014	tested
NOTE_PRESUPPOSED	adamah are READ without prior install (the ground — never installed by any unit; the material source of 2:7 and the job's object) = ground are READ without prior install (the ground — never installed by any unit; the material source fowl 2:7 and the job's object) flag, not fix — ha-adamah enters as a given	—	—	tested

Nothing happens — and the machine records that nothing happens: state facts only, zero events (S2 asserts it). sadeh ('field') and matar ('rain') enter the vocabulary inside negations: the span introduces its world by listing what it lacks.

STEP_Gn_2_6 · Gen.2.6 · PRECONDITION_IRRIGATION

וְאֵד יַעֲלֶה מִן־הָאָרֶץ וְהִשְׁקָה אֶת־כָּל־פְּנֵי־הָאֲדָמָה · ve-ed yaaleh min-ha-aretz ve-hishqah et-kal-pnei-ha-adamah · [EN-AID/JPS] But there went up a mist from the earth, and watered the whole face of the ground.

LEFT
ואד יעלה מן הארץ · ve-ed yaaleh min-ha-aretz · the mist rises (etnachta arm)

RIGHT
והשקה את כל פני האדמה · ve-hishqah et-kal-pnei-ha-adamah · and waters the whole face of the ground

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ed_yaaleh_ve_hishqah(kol_pnei_ha_adamah), t0) = HOLDS(mist-went-up-and-watered(all-face-of-the-ground), t0) The interim irrigation, still background: imperfect (yaaleh, 'would rise') + WEQATAL (ve-hishqah, 'and would water') — the law genre's spine form (TIR-029) in its past-HABITUAL use: genre control for the corpus (the form marks law only as an unbroken chain; here it iterates a state). ed ('mist') is a TORAH HAPAX — this verse only (DB-verified); Onkelos renders anana ('cloud') — the unknown word resolved to a known one (Tier-A, dual-track). The watering verb (hishqah) returns at 2:10 as the river's PURPOSE — the mist is the placeholder the river system replaces.	וְאֵד יַעֲלֶה … וְהִשְׁקָה · ve-ed yaaleh … ve-hishqah = mist went-up watered	TIR-029, TIR-014	tested

Still no wayyiqtol: the spine has not started. One habitual loop — mist up, water down — holds the ground ready between the lack-list and the forming.

STEP_Gn_2_7 · Gen.2.7 · FORM_BREATHE_BECOME

וַיִּיצֶר יְהוָה אֱלֹהִים אֶת־הָאָדָם עָפָר מִן־הָאֲדָמָה וַיִּפַּח בְּאַפָּיו נִשְׁמַת חַיִּים וַיְהִי הָאָדָם לְנֶפֶשׁ חַיָּה · va-yitzer YHWH Elohim et-ha-adam afar min-ha-adamah va-yipach be-apav nishmat chayim va-yehi ha-adam le-nefesh chayah · [EN-AID/JPS] Then the LORD God formed man of the dust of the ground, and breathed into his nostrils the breath of life; and man became a living soul.

LEFT
וייצר יהוה אלהים את האדם עפר מן האדמה ויפח באפיו נשמת חיים · va-yitzer YHWH Elohim et-ha-adam afar min-ha-adamah va-yipach be-apav nishmat chayim · the two divine acts: form + breathe (etnachta arm)

RIGHT
ויהי האדם לנפש חיה · va-yehi ha-adam le-nefesh chayah · the resulting state: the human becomes a living being

operator	expression	Hebrew anchor	cites	confidence
EVENT	form(e1) ∧ Agent(e1, YHWH_Elohim) ∧ Theme(e1, adam) = form(e1) ∧ Agent(e1, the-LORD-God) ∧ Theme(e1, human) THE SPINE STARTS: the span's first wayyiqtol — va-YIItzer, written with DOUBLE YOD (he_plain DB-verified) against 2:8's single-yod perfect yatzar: a letter minimal pair inside the span (the chain's two-formations/two-inclinations dossiers — BR 14:5, Berakhot 61a — are named-only, queued; Onkelos LEVELS the verb to u-vra, 'created': the untranslatable spelling surrendered in translation). The verb is the POTTER's (yotzer); its only non-Eden Torah token is Exod 32:4 — Aaron FORMS the calf (A-grade join, watch-list B): the forming verb's next user is the idol-maker. Material: afar min-ha-adamah, 'dust FROM the ground' — the day-6 seed (1:25 'of the ground') paying off; the worker the lack-list wanted is made FROM the thing he will work.	וַיִּיצֶר יְהוָה אֱלֹהִים אֶת־הָאָדָם עָפָר מִן־הָאֲדָמָה · va-yitzer YHWH Elohim et-ha-adam afar min-ha-adamah = he-formed the-LORD God obj-marker·et-the-human dust from-the-ground	TIR-014	tested
EVENT	breathe(e2) ∧ Agent(e2, YHWH_Elohim) ∧ Theme(e2, nishmat_chayim) = breathe(e2) ∧ Agent(e2, the-LORD-God) ∧ Theme(e2, breath-of-life) 'And He BREATHED into his nostrils the BREATH OF LIFE' — nishmat: 3 Torah tokens (A-grade join): here; Gen 7:22 (the flood un-does exactly this breath); Deut 20:16 (the war law's 'nothing that breathes'). The intimate transfer has no parallel in the week: day 6's humanity was spoken into the plural council; 2:7's is breathed into, one-on-one.	וַיִּפַּח בְּאַפָּיו נִשְׁמַת חַיִּים · va-yipach be-apav nishmat chayim = he-breathed his-nostrils breath-of life	—	tested
EVENT	become(e3) ∧ Theme(e3, adam) ∧ Theme(e3, nefesh_chaya) = become(e3) ∧ Theme(e3, human) ∧ Theme(e3, living-being) 'And the human BECAME a nefesh chaya' — a LIVING BEING: the SAME term the week applied to swarmers (1:20), sea creatures (1:21), and land animals (1:24). The letter makes the human become what the animals already are — dust plus breath equals the animals' category word. Onkelos will not leave it there: ruach MEMALELA, 'a SPEAKING spirit' — the translation makes SPEECH the differentiator (Tier-A, dual-track beside the letter; the machine records the letter). va-yehi here is 'became', not the receipt formula va-yehi khen — no demand was pending; the machine holds it as an event.	וַיְהִי הָאָדָם לְנֶפֶשׁ חַיָּה · va-yehi ha-adam le-nefesh chayah = he-became human living-being beast	—	tested
REGISTRY_INSTALL	WORLD += {adam} = WORLD += {human} The standalone unit installs its own adam here (narration). [OPEN, two-accounts]: gen_06's adam arrived by bara ('create') into the plural council's demand; 2:7's arrives by yatzar ('form') from dust — the relation of the two accounts is the chain's dossier, never merged by the machine (dual-track: flags and OPEN, not harmonization).	הָאָדָם · ha-adam = human	—	tested
NOTE_SPEC_DELTA	spec 'bara/asah (create/make — the week's build verbs)' delivered 'yatzar (form — the potter verb, double-yod ktiv)' = spec 'create/make (create/make — the week's build verbs)' delivered 'he-formed (form — the potter verb, double-yod written-form)' the build verb changed with the name: spec-delta flagged, [OPEN] beside the two-accounts dossier	—	—	tested

Three events in one verse — form, breathe, become — after three verses of none. The double-yod, the dust-source, the animal category word: three letter-facts the chain has dossiers on, all recorded open.

STEP_Gn_2_8 · Gen.2.8 · PLANT_PLACE

וַיִּטַּע יְהוָה אֱלֹהִים גַּן־בְּעֵדֶן מִקֶּדֶם וַיָּשֶׂם שָׁם אֶת־הָאָדָם אֲשֶׁר יָצָר · va-yita YHWH Elohim gan-be-eden mi-qedem va-yasem sham et-ha-adam asher yatzar · [EN-AID/JPS] And the LORD God planted a garden eastward, in Eden; and there He put the man whom He had formed.

LEFT
ויטע יהוה אלהים גן בעדן מקדם · va-yita YHWH Elohim gan-be-eden mi-qedem · the planting, closing on mi-qedem (etnachta arm)

RIGHT
וישם שם את האדם אשר יצר · va-yasem sham et-ha-adam asher yatzar · the placement of the formed human

operator	expression	Hebrew anchor	cites	confidence
EVENT	plant(e4) ∧ Agent(e4, YHWH_Elohim) ∧ Theme(e4, gan) = plant(e4) ∧ Agent(e4, the-LORD-God) ∧ Theme(e4, garden) 'And He PLANTED a garden in Eden mi-qedem' — the planting verb (nata) debuts; mi-qedem is DOUBLE-READABLE: 'in the EAST' or 'from OF OLD' — recorded [OPEN]. Onkelos resolves TEMPORALLY: mi-leqadmin, 'from of old' (the garden pre-exists) — while rendering 2:14's qidmat SPATIALLY ('to the east of Atur'): the same root disambiguated both ways in one span, deliberate (Tier-A, dual-track; Pesachim 54a's created-before-the-world list is the named chain dossier).	וַיִּטַּע יְהוָה אֱלֹהִים גַּן־בְּעֵדֶן מִקֶּדֶם · va-yita YHWH Elohim gan-be-eden mi-qedem = he-planted the-LORD God garden-in-Eden east-or-of-old	—	tested
EVENT	place(e5) ∧ Agent(e5, YHWH_Elohim) ∧ Theme(e5, adam) = place(e5) ∧ Agent(e5, the-LORD-God) ∧ Theme(e5, human) 'And He PUT there the human whom He had FORMED' — yatzar with SINGLE yod (perfect, relative clause) two verses after the double-yod wayyiqtol: the minimal pair's second member, DB-verified. First placement; 2:15 re-takes and re-settles with the job attached — the doublet is the letter's own [OPEN], the resumption reading is chain material.	וַיָּשֶׂם שָׁם אֶת־הָאָדָם אֲשֶׁר יָצָר · va-yasem sham et-ha-adam asher yatzar = he-set there obj-marker·et-the-human whom he-formed	TIR-014	tested
REGISTRY_INSTALL	WORLD += {gan} = WORLD += {garden} the garden installed (narration); its place, Eden, is READ as given — flagged below	גַּן · gan = garden	—	tested
NOTE_PRESUPPOSED	eden are READ without prior install (the place-name enters as known geography; the garden is planted IN it) = Eden are READ without prior install (the place-name enters as known geography; the garden is planted IN it) flag, not fix — Eden itself is never created in the corpus	—	—	tested

The text plants a garden in a place it never made — the machine's read-before-install flag lands on Eden itself. Onkelos's 'from of old' makes the flag older than the week.

STEP_Gn_2_9 · Gen.2.9 · SPROUT_TWO_TREES

וַיַּצְמַח יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־עֵץ נֶחְמָד לְמַרְאֶה וְטוֹב לְמַאֲכָל וְעֵץ הַחַיִּים בְּתוֹךְ הַגָּן וְעֵץ הַדַּעַת טוֹב וָרָע · va-yatzmach YHWH Elohim min-ha-adamah kol-etz nechmad le-mareh ve-tov le-maakhal ve-etz ha-chayim be-tokh ha-gan ve-etz ha-daat tov va-ra · [EN-AID/JPS] And out of the ground made the LORD God to grow every tree that is pleasant to the sight, and good for food; the tree of life also in the midst of the garden, and the tree of the knowledge of good and evil.

LEFT
ויצמח יהוה אלהים מן האדמה כל עץ נחמד למראה וטוב למאכל · va-yatzmach YHWH Elohim min-ha-adamah kol-etz nechmad le-mareh ve-tov le-maakhal · the general grant: every tree, pleasant and good (etnachta arm)

RIGHT
ועץ החיים בתוך הגן ועץ הדעת טוב ורע · ve-etz ha-chayim be-tokh ha-gan ve-etz ha-daat tov va-ra · the TWO NAMED TREES, set apart by the rest

operator	expression	Hebrew anchor	cites	confidence
EVENT	sprout(e6) ∧ Agent(e6, YHWH_Elohim) ∧ Theme(e6, kol_etz) = sprout(e6) ∧ Agent(e6, the-LORD-God) ∧ Theme(e6, all-tree) 'And He CAUSED TO SPROUT' — HIPHIL (causative) against 2:5's QAL 'would sprout': the same root, two stems, one span — at 2:5 nothing sprouted for lack of rain and worker; now the agent sprouts it Himself, from the same adamah the human was formed from. The trees' qualities: nechmad le-mareh ('lovely to SEE' — the desire verb chamad, which the tenth commandment will prohibit: lo tachmod) and TOV le-maakhal ('good for food') — the week's verdict word re-entering as an ATTRIBUTE (spec-delta below); 3:6 will run exactly these two predicates through the woman's eyes at the tree of knowledge.	וַיַּצְמַח יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־עֵץ · va-yatzmach YHWH Elohim min-ha-adamah kol-etz = he-caused-sprout the-LORD God from-the-ground all-tree	—	tested
REGISTRY_INSTALL	WORLD += {etz_ha_chayim, etz_ha_daat_tov_va_ra} = WORLD += {tree-of-life, tree-of-knowledge-of-good-and-evil} THE TWO NAMED TREES, isolated by the accent tree as the right arm: the tree of THE LIFE, located ('in the MIDST of the garden'), and the tree of THE KNOWLEDGE of good-and-evil — located nowhere (its address is the [OPEN] the woman's 3:3 'in the midst of the garden' collides with; chain material). Both arrive DEFINITE — presented as known. da'at ('knowledge') is a 7-token A-grade join: from this tree's name to BEZALEL (Exod 31:3, 35:31 — filled with da'at to build the sanctuary) and the manslayer's bli-da'at ('without knowledge', Deut 4:42, 19:4 — the law's intent standard). The name's tail tov va-ra re-uses the week's verdict vocabulary INSIDE an object name. Onkelos renders the tree by its EFFECT ON EATERS ('of which the eaters of its fruit grow WISE, discerning good from evil') — the segiru device of Lev 13: the thing named by its procedure (Tier-A, dual-track).	וְעֵץ הַחַיִּים בְּתוֹךְ הַגָּן וְעֵץ הַדַּעַת טוֹב וָרָע · ve-etz ha-chayim be-tokh ha-gan ve-etz ha-daat tov va-ra = tree life midst garden tree knowledge good evil	—	tested
NOTE_SPEC_DELTA	spec 'tov as TEST verdict (the week's instrument, days 1-6)' delivered 'tov as attribute (tov le-maakhal; zahav tov 2:12; daat tov va-ra)' = spec 'good as TEST verdict (the week's instrument, days 1-6)' delivered 'good as attribute (good to-food; gold good 2:12; knowledge good and-evil)' the verdict word migrates into descriptions and names — no TEST fires anywhere in the span	—	—	tested

The general grant and the two exceptions-to-be, divided by the verse's own rest: everything the rule at 2:16-17 will need — the ALL it permits and the ONE it forbids — is installed here, in registry order, before a word is spoken.

STEP_Gn_2_10 · Gen.2.10 · RIVER_SYSTEM

וְנָהָר יֹצֵא מֵעֵדֶן לְהַשְׁקוֹת אֶת־הַגָּן וּמִשָּׁם יִפָּרֵד וְהָיָה לְאַרְבָּעָה רָאשִׁים · ve-nahar yotze me-eden le-hashqot et-ha-gan u-mi-sham yipared ve-hayah le-arbaah rashim · [EN-AID/JPS] And a river went out of Eden to water the garden; and from thence it was parted, and became four heads.

LEFT
ונהר יצא מעדן להשקות את הגן · ve-nahar yotze me-eden le-hashqot et-ha-gan · the river and its purpose: to water the garden (etnachta arm)

RIGHT
ומשם יפרד והיה לארבעה ראשים · u-mi-sham yipared ve-hayah le-arbaah rashim · the division into four heads

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(nahar_yotze_me_eden(le_hashqot_et_ha_gan), t0) ∧ HOLDS(yipared_le_arbaah_rashim(nahar), t0) = HOLDS(river-goes-out-from-Eden(to-water-obj-marker·et-the-garden), t0) ∧ HOLDS(divides-to-four-heads(river), t0) The narrative STOPS: participle (yotze, 'goes out' — standing state, TIR-031), imperfect (yipared, 'divides' — niphal, agentless family TIR-032), weqatal (ve-hayah, 'and becomes' — TIR-029's form in its GEOGRAPHIC-present use, the second genre-control token of the span). Present-tense geography inside past-tense narrative: the river system is running AS THE TEXT SPEAKS. Purpose: le-hashqot ('to WATER', TIR-030) — the mist's verb (2:6) institutionalized; the placeholder loop replaced by infrastructure.	וְנָהָר יֹצֵא … יִפָּרֵד וְהָיָה · ve-nahar yotze … yipared ve-hayah = river goes-out divides was	TIR-031, TIR-032, TIR-029, TIR-030, TIR-014	tested
REGISTRY_INSTALL	WORLD += {nahar, nahar_1, nahar_2, nahar_3, nahar_4} = WORLD += {river, river-1, river-2, river-3, river-4} One river and its four HEADS (rashim) installed from the description — the corpus's first GEOGRAPHY registry opens: four rows follow, keyed by an ordinal series (first-second- third-fourth: the week's ordinal device, re-used with no day-labels and no evenings).	וְהָיָה לְאַרְבָּעָה רָאשִׁים · ve-hayah le-arbaah rashim = was four heads	—	tested

No agent, no event: the registry block begins. The machine holds four unnamed heads; the next four verses fill in the name column.

STEP_Gn_2_11 · Gen.2.11 · REGISTRY_ROW_1

שֵׁם הָאֶחָד פִּישׁוֹן הוּא הַסֹּבֵב אֵת כָּל־אֶרֶץ הַחֲוִילָה אֲשֶׁר־שָׁם הַזָּהָב · shem ha-echad pishon hu ha-sovev et kol-eretz ha-chavilah asher-sham ha-zahav · [EN-AID/JPS] The name of the first is Pishon; that is it which compasseth the whole land of Havilah, where there is gold.

LEFT
שם האחד פישון · shem ha-echad pishon · the name cell: 'the name of the one — Pishon' (etnachta arm)

RIGHT
הוא הסבב את כל ארץ החוילה אשר שם הזהב · hu ha-sovev et kol-eretz ha-chavilah asher-sham ha-zahav · the route + resource cells

operator	expression	Hebrew anchor	cites	confidence
NAME	name(nahar_1) := Pishon = name(river-1) := Pishon Registry write, NARRATOR voice: 'the NAME of the one — Pishon.' No va-yiqra ('and He called') formula — contrast day 1, where God names; here the text lists. The etnachta falls right after the name: [key \| value-description] — a table row's shape.	שֵׁם הָאֶחָד פִּישׁוֹן · shem ha-echad pishon = name-of first Pison	—	tested
PRECONDITION_STATE	HOLDS(sovev_kol_eretz_ha_chavilah(nahar_1), t0) ∧ HOLDS(sham_ha_zahav(chavilah), t0) = HOLDS(circling-all-earth-the-Havilah(river-1), t0) ∧ HOLDS(there-the-gold(Havilah), t0) Route as PARTICIPLE (ha-sovev, 'the one circling' — standing state, TIR-031) + the first RESOURCE annotation: 'where the gold is.' Geography with an economy column.	הוּא הַסֹּבֵב … אֲשֶׁר־שָׁם הַזָּהָב · hu ha-sovev … asher-sham ha-zahav = he/it circling whom-there gold	TIR-031, TIR-014	tested

Row one of four: name, route, resource — the corpus's first gazetteer entry.

STEP_Gn_2_12 · Gen.2.12 · REGISTRY_ROW_1_RESOURCES

וּזְהַב הָאָרֶץ הַהִוא טוֹב שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם · u-zahav ha-aretz ha-hiv tov sham ha-bedolach ve-even ha-shoham · [EN-AID/JPS] And the gold of that land is good; there is bdellium and the onyx stone.

LEFT
וזהב הארץ ההוא טוב · u-zahav ha-aretz ha-hiv tov · the quality cell: that land's gold is GOOD (etnachta arm)

RIGHT
שם הבדלח ואבן השהם · sham ha-bedolach ve-even ha-shoham · two more resources: bdellium and shoham stone

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(zahav_tov(ha_aretz_ha_hiv), t0) ∧ HOLDS(sham_ha_bedolach_ve_even_ha_shoham(chavilah), t0) = HOLDS(gold-good(the-earth-the-that-one-ktiv-hu-qere-hi), t0) ∧ HOLDS(there-the-bdellium-and-stone-of-the-shoham(Havilah), t0) Mineral assay, verbless: 'the gold of that land is TOV' — the week's verdict word grading ORE (third spec-delta token). The pronoun is the Torah's pervasive KTIV-QERE: ha-hiv — written hu (he), read hi (she), morph 3fs against the letter (DB-verified in this verse). The two other resources are A-grade joins (watch-list B): bedolach's ONLY other Torah token describes the MANNA (Num 11:7 — Eden's resource re-used for wilderness bread); shoham's other 7 tokens are ALL Tabernacle/priestly-vestment verses (Exod 25:7 ... 39:13 — Eden's stone ends on the high priest's shoulders, engraved with Israel's names).	וּזְהַב הָאָרֶץ הַהִוא טוֹב שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם · u-zahav ha-aretz ha-hiv tov sham ha-bedolach ve-even ha-shoham = gold earth that-one-ktiv-hu-qere-hi good there bdellium stone-of shoham	TIR-031	tested

A resources row with zero events — S5 asserts the machine's registry pause. The row's three items each point forward: good gold, manna-stone, priest-stone.

STEP_Gn_2_13 · Gen.2.13 · REGISTRY_ROW_2

וְשֵׁם־הַנָּהָר הַשֵּׁנִי גִּיחוֹן הוּא הַסּוֹבֵב אֵת כָּל־אֶרֶץ כּוּשׁ · ve-shem-ha-nahar ha-sheni gichon hu ha-sovev et kol-eretz kush · [EN-AID/JPS] And the name of the second river is Gihon; the same is it that compasseth the whole land of Cush.

LEFT
ושם הנהר השני גיחון · ve-shem-ha-nahar ha-sheni gichon · the name cell: the second river — Gihon (etnachta arm)

RIGHT
הוא הסובב את כל ארץ כוש · hu ha-sovev et kol-eretz kush · the route cell: circling all the land of Cush

operator	expression	Hebrew anchor	cites	confidence
NAME	name(nahar_2) := Gichon = name(river-2) := Gichon row two: same shape, same etnachta-after-the-name — the table format repeats	וְשֵׁם־הַנָּהָר הַשֵּׁנִי גִּיחוֹן · ve-shem-ha-nahar ha-sheni gichon = and-name-of-the-river second Gihon	—	tested
PRECONDITION_STATE	HOLDS(sovev_kol_eretz_kush(nahar_2), t0) = HOLDS(circling-all-earth-Chush(river-2), t0) route participle again (TIR-031); no resource column this row	הוּא הַסּוֹבֵב אֵת כָּל־אֶרֶץ כּוּשׁ · hu ha-sovev et kol-eretz kush = he/it circling obj-marker·et all-earth Chush	TIR-031, TIR-014	tested

Row two: shorter — the format established, the columns optional.

STEP_Gn_2_14 · Gen.2.14 · REGISTRY_ROWS_3_4

וְשֵׁם הַנָּהָר הַשְּׁלִישִׁי חִדֶּקֶל הוּא הַהֹלֵךְ קִדְמַת אַשּׁוּר וְהַנָּהָר הָרְבִיעִי הוּא פְרָת · ve-shem ha-nahar ha-shelishi chidekel hu ha-holekh qidmat ashur ve-ha-nahar ha-revii hu ferat · [EN-AID/JPS] And the name of the third river is Hiddekel; that is it which goeth toward the east of Asshur. And the fourth river is the Euphrates.

LEFT
ושם הנהר השלישי חדקל הוא ההלך קדמת אשור · ve-shem ha-nahar ha-shelishi chidekel hu ha-holekh qidmat ashur · row three complete: name + route (etnachta arm)

RIGHT
והנהר הרביעי הוא פרת · ve-ha-nahar ha-revii hu ferat · row four: name only — Perat

operator	expression	Hebrew anchor	cites	confidence
NAME	name(nahar_3) := Chidekel ∧ name(nahar_4) := Perat = name(river-3) := Chidekel ∧ name(river-4) := Perat Rows three and four. The third carries a route (ha-holekh, 'the one going', TIR-031) toward qidmat ashur — the qedem root SPATIAL here ('east of Asshur'; Onkelos le-madincha d-Atur — while 2:8's mi-qedem went TEMPORAL: the two-way disambiguation, Tier-A). Onkelos identifies Chidekel as DIGLAT — the Tigris. The FOURTH row is name-only: hu Ferat — the registry's description column empties as the name grows familiar; Perat is the river the covenant will use as the land's border (Gen 15:18; Deut 1:7, 11:24 — A-grade join: river four becomes the promise's edge).	חִדֶּקֶל … וְהַנָּהָר הָרְבִיעִי הוּא פְרָת · chidekel … ve-ha-nahar ha-revii hu ferat = Tigris river fourth he/it Perat	TIR-031	tested
PRECONDITION_STATE	HOLDS(holekh_qidmat_ashur(nahar_3), t0) = HOLDS(going-east-of-Asshur(river-3), t0) the third route, standing state	הוּא הַהֹלֵךְ קִדְמַת אַשּׁוּר · hu ha-holekh qidmat ashur = he/it going east-of Asshur	TIR-031	tested

The registry closes with its tersest row — four heads, four names, descending description: 12 words, 8 words-with-resources, 10, then 4. The narrative resumes in the next verse.

STEP_Gn_2_15 · Gen.2.15 · TAKE_SETTLE_ASSIGN_JOB

וַיִּקַּח יְהוָה אֱלֹהִים אֶת־הָאָדָם וַיַּנִּחֵהוּ בְגַן־עֵדֶן לְעָבְדָהּ וּלְשָׁמְרָהּ · va-yiqach YHWH Elohim et-ha-adam va-yanichehu ve-gan-eden le-avdah u-le-shamrah · [EN-AID/JPS] And the LORD God took the man, and put him into the garden of Eden to dress it and to keep it.

LEFT
ויקח יהוה אלהים את האדם · va-yiqach YHWH Elohim et-ha-adam · the taking (etnachta arm)

RIGHT
ויניחהו בגן עדן לעבדה ולשמרה · va-yanichehu ve-gan-eden le-avdah u-le-shamrah · the settling + the two job infinitives

operator	expression	Hebrew anchor	cites	confidence
EVENT	take(e7) ∧ Agent(e7, YHWH_Elohim) ∧ Theme(e7, adam) = take(e7) ∧ Agent(e7, the-LORD-God) ∧ Theme(e7, human) The narrative resumes: 'and He TOOK the human' — laqach, the transfer verb; the human is moved deliberately, not found in place (the chain hears courtship/persuasion here — BR 16, named-only).	וַיִּקַּח יְהוָה אֱלֹהִים אֶת־הָאָדָם · va-yiqach YHWH Elohim et-ha-adam = he-took the-LORD God obj-marker·et-the-human	TIR-014	tested
EVENT	settle(e8) ∧ Agent(e8, YHWH_Elohim) ∧ Theme(e8, adam) = settle(e8) ∧ Agent(e8, the-LORD-God) ∧ Theme(e8, human) 'And He SETTLED him in the garden of Eden' — va-yanichehu, the NUACH/REST root (hiphil): the placement verb is the resting verb — day 7's semantic field carried into the human's stationing (2:8 used plain va-yasem, 'put'; the retelling upgrades the verb — the doublet's letter-fact). Onkelos: ve-ashrei ('caused-to-DWELL' — the shra root the Aramaic uses where Presence dwells; Tier-A, dual-track).	וַיַּנִּחֵהוּ בְגַן־עֵדֶן · va-yanichehu ve-gan-eden = and-yanichehu and-garden-Eden	—	tested
ASSIGN	REGISTRY: adam->oved_ve_shomer = REGISTRY: human->worker-and-keeper THE FIRST JOB: 'to WORK it and to KEEP it' — two purpose infinitives (TIR-030) bound to the settling; the machine writes the office with the gen_04 ASSIGN device: adam -> oved_ve_shomer (worker-and-keeper). The 2:5 lack ('no human to work the ground') is answered VERBATIM — avad returns with its worker. Both infinitives carry 3FS suffixes (le-avdaH u-le-shamraH) against MASCULINE gan — [OPEN]: what is 'her'? (the adamah? the garden by sense?) Onkelos retains both suffixes — and in Aramaic ginta IS feminine: the anomaly dissolves in translation without resolving the Hebrew (resolution witness, dual-track). The verb PAIR is an A-grade pair-level join (watch-list B): avad + shamar co-occur next at Num 3:7-8, 8:26, 18:7 — the LEVITE duty formula ('keep the keeping, work the work' of the sanctuary): the garden job is the sanctuary job's prototype. No demand is pushed — the office binds without speech (S7 asserts SPECS still empty).	לְעָבְדָהּ וּלְשָׁמְרָהּ · le-avdah u-le-shamrah = to-avdah and-to-shamrah	TIR-030	tested

Taken, settled with the rest-verb, and given two infinitives for a job description. Everything is now in place for speech: an addressee, a territory, a duty — and one tree too many.

STEP_Gn_2_16 · Gen.2.16 · COMMAND_PERMISSION

וַיְצַו יְהוָה אֱלֹהִים עַל־הָאָדָם לֵאמֹר מִכֹּל עֵץ־הַגָּן אָכֹל תֹּאכֵל · va-yetzav YHWH Elohim al-ha-adam le-mor mi-kol etz-ha-gan akhol tokhel · [EN-AID/JPS] And the LORD God commanded the man, saying: 'Of every tree of the garden thou mayest freely eat.'

LEFT
ויצו יהוה אלהים על האדם לאמר · va-yetzav YHWH Elohim al-ha-adam le-mor · the command FRAME: and-He-commanded ... saying (etnachta arm)

RIGHT
מכל עץ הגן אכל תאכל · mi-kol etz-ha-gan akhol tokhel · the PERMISSION: from every garden tree, eating you may eat

operator	expression	Hebrew anchor	cites	confidence
EVENT	command(e9) ∧ Agent(e9, YHWH_Elohim) ∧ Theme(e9, adam) = command(e9) ∧ Agent(e9, the-LORD-God) ∧ Theme(e9, human) THE FIRST COMMAND TOKEN OF THE CORPUS: va-YETZAV (piel wayyiqtol; DB-verified first of 252 tzavah tokens Torah-wide) — the root of the ka'asher tzivah ('as He commanded') receipt system the corpus runs on. The preposition is AL ('UPON the human'), not el ('to') — command as something LAID ON the addressee. The command is an EVENT in narrative tense — the rule is INSTALLED by an act at a moment, to one addressee: contrast Lev 13's agentless weqatal statute. le-mor ('saying') carries the etnachta: the verse's own rest divides [frame \| body] — installation apparatus left, payload right.	וַיְצַו יְהוָה אֱלֹהִים עַל־הָאָדָם לֵאמֹר · va-yetzav YHWH Elohim al-ha-adam le-mor = he-commanded the-LORD God over-the-human saying	TIR-014	tested
DECLARE	DECLARE(YHWH_Elohim, LET?(akhal(adam, mi_kol_etz_ha_gan))) = DECLARE(the-LORD-God, LET?(eat(human, from-every-tree-of-the-garden))) THE PERMISSION: 'from EVERY tree of the garden, EATING YOU MAY EAT' — akhol tokhel: infinitive absolute + imperfect 2ms, and the DB says this is the CORPUS'S FIRST infinitive-absolute doubling, full stop — the emphatic device is born in a permission. The imperfect inside command speech takes TIR-028's mandatory ?: form alone cannot split permission/command/future (the chain's own split: reshut — permission — vs the Sanhedrin 56b reading that derives standing law from this clause; named-only, queued). The demand enters SPECS and stays OPEN — nothing in the span (nor in Eden) receipts it. Scope: mi-KOL, 'from ALL' — the widest grant the corpus has issued to a named individual; measured against 1:29 it NARROWS (spec-delta below). Onkelos retains the doubling: meikhal teikhul (Tier-A).	מִכֹּל עֵץ־הַגָּן אָכֹל תֹּאכֵל · mi-kol etz-ha-gan akhol tokhel = all tree-the-garden eating you-may-eat	TIR-028	tested
NOTE_SPEC_DELTA	spec 'kol esev + kol etz le-okhlah (1:29 universal food grant)' delivered 'mi-kol etz ha-gan + one exclusion pending (the grant narrows to a bounded domain)' = spec 'all herb + all tree to-food (1:29 universal food grant)' delivered 'from-all tree the-garden + one exclusion pending (the grant narrows to a bounded domain)' the food specification changes shape: universal grant -> scoped permission with a carve-out one verse away	—	—	tested

Frame left, permission right, and the corpus's first doubled verb at the cadence. One verse of pure grant — the boundary arrives only in the next breath: the rule's two halves get a verse each.

STEP_Gn_2_17 · Gen.2.17 · PROHIBITION_PENALTY

וּמֵעֵץ הַדַּעַת טוֹב וָרָע לֹא תֹאכַל מִמֶּנּוּ כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת · u-me-etz ha-daat tov va-ra lo tokhal mimenu ki be-yom akholkha mimenu mot tamut · [EN-AID/JPS] 'But of the tree of the knowledge of good and evil, thou shalt not eat of it; for in the day that thou eatest thereof thou shalt surely die.'

LEFT
ומעץ הדעת טוב ורע לא תאכל ממנו · u-me-etz ha-daat tov va-ra lo tokhal mimenu · THE PROHIBITION: from the knowledge tree you shall not eat (etnachta arm)

RIGHT
כי ביום אכלך ממנו מות תמות · ki be-yom akholkha mimenu mot tamut · THE PENALTY: in the day of your eating — dying you shall die

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(YHWH_Elohim, LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra))) = DECLARE(the-LORD-God, LET-NOT(eat(human, from-the-tree-of-knowledge-of-good-and-evil))) THE CORPUS'S FIRST PROHIBITION — and the interpreter's first LET-NOT: the mood has existed since day 1 and never fired through seven units; it fires here, where the text's first lo + imperfect-2ms stands (DB-verified: this is the first such token in the corpus; the second is 3:17 — the sentence quoting this clause back). TIR-034 (provisional, minted at this derivation): lo + imperfect INSIDE AN EXPLICIT COMMAND FRAME (va-yetzav ... le-mor, the performative verb one verse up) reads as PROHIBITION, not forecast — the frame is the disambiguator TIR-028 says the bare form lacks; where no frame exists the form stays flagged. The rule-note records the corpus's own proof of the ambiguity: the serpent's 3:4 lo mot temutun re-reads exactly this construction as a (false) forecast. The demand enters SPECS as LET-NOT and stays OPEN — and S10_negative asserts the contract: a prohibition has NO resolution path (resolve_spec refuses; no citation can flip a LET-NOT). Scope: ONE tree, named by the knowledge it carries; mimenu ('from it') pins the source. Onkelos re-runs its effect-naming of the tree and keeps the negation plain: la teikhul minneh (Tier-A).	וּמֵעֵץ הַדַּעַת טוֹב וָרָע לֹא תֹאכַל מִמֶּנּוּ · u-me-etz ha-daat tov va-ra lo tokhal mimenu = tree knowledge good evil not you-shall-eat from-it	TIR-034	tested
HANDLER	HANDLER IF(be_yom_akhal(adam, me_etz_ha_daat_tov_va_ra)) THEN(mot_tamut(adam)) = HANDLER IF(in-day-eat(human, from-the-tree-of-knowledge-of-good-and-evil)) THEN(dying-you-shall-die(human)) THE PENALTY, installed as a STANDING CONDITIONAL — the lev_13 HANDLER, hand-authored here per Pre-Code: the ki-clause ('for in the DAY of your eating from it') is a trigger description, and mot tamut ('DYING YOU SHALL DIE' — infinitive absolute + imperfect, the span's SECOND doubling) is the consequence. Nothing is demanded of the narrative present — no receipt is owed — so the machine holds it as a WORLD fact awaiting its case: Gen 3 is the case arriving. The trees bracket this verse [prohibition \| penalty] at the etnachta — the SAME [condition \| action] bracket all seven of Lev 13:1-8's law verses carry: the law genre's shape, present in embryo in the corpus's first rule, installed by narrative speech rather than statute. The formula's afterlife is measured: mot tamut is the first of the 31-member death-doubling family; from Exod 21:12 the law codes fix it as mot YUMAT ('he shall surely be PUT to death') — the second-person warning institutionalized into the capital formula (DB census, watch-list A.4). The timing clause (be-yom, 'in the DAY') runs the penalty on the week's own clock — and its non-firing-as-written on the day of Gen 3:6 is the chain's oldest dossier on this verse (day-for-a- thousand-years readings; commutation readings — triage material, named-only). Onkelos keeps the doubling: meimat temut (Tier-A).	כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת · ki be-yom akholkha mimenu mot tamut = that day your-eating from-it dying you-shall-die	TIR-029	tested

The unit ends OWING: two demands open (a permission never receipted, a prohibition standing), one handler armed, no test, no commit — the corpus's first unit whose SPECS queue survives it. The week closed every day; the rule closes nothing: it waits. What arrives next in the canon is a companion problem (2:18, a new speech — the next unit), and then the case.

State machine

Eden I (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).

state	meaning
S_boot	Before 2:4 — all registers empty (standalone unit)
S_header	After 2:4 — section opened, clock anchored (t0 = be_yom_asot), name-shift delta flagged; nothing installed
S_lacks	After 2:5-6 — four lack-facts + one irrigation-fact hold; zero events fired
S_adam_formed	After 2:7 — adam installed (form + breathe + become); two-accounts [OPEN] beside gen_06
S_garden	After 2:8-9 — gan + both trees installed; eden flagged read-before-install; tov now an attribute
S_geography	After 2:10-14 — river + four heads installed, four names written (narrator voice), routes/resources as standing facts; the narrative paused
S_stationed	After 2:15 — adam settled (rest-root) in the garden; office written: adam->oved_ve_shomer; SPECS still empty
S_permitted	After 2:16 — first command event; LET?(akhal(adam, mi_kol_etz_ha_gan)) OPEN
S_rule_complete	After 2:17 — LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra)) OPEN; penalty handler standing; LEDGER empty; the unit ends owing

from	to	via
S_boot	S_header	STEP_Gn_2_4
S_header	S_lacks	STEP_Gn_2_5
S_lacks	S_lacks	STEP_Gn_2_6
S_lacks	S_adam_formed	STEP_Gn_2_7
S_adam_formed	S_garden	STEP_Gn_2_8
S_garden	S_garden	STEP_Gn_2_9
S_garden	S_geography	STEP_Gn_2_10
S_geography	S_geography	STEP_Gn_2_11
S_geography	S_geography	STEP_Gn_2_12
S_geography	S_geography	STEP_Gn_2_13
S_geography	S_geography	STEP_Gn_2_14
S_geography	S_stationed	STEP_Gn_2_15
S_stationed	S_permitted	STEP_Gn_2_16
S_permitted	S_rule_complete	STEP_Gn_2_17

AFTER_S_rule_complete — WORLD: 9 installs — adam, gan, etz_ha_chayim, etz_ha_daat_tov_va_ra, nahar, nahar_1..nahar_4; standing facts: 4 lacks + 1 irrigation + 6 geography rows + 1 HANDLER (the penalty conditional). REGISTRY: 5 writes — four river names (narrator voice, no va-yiqra) + one office (adam->oved_ve_shomer). SPECS: TWO OPEN — LET?(akhal(adam, mi_kol_etz_ha_gan)) and LET-NOT(akhal(adam, me_etz_ha_daat_tov_ va_ra)): the corpus's first unit ending with a non-empty queue — nothing receipts a rule; what answers it is Gen 3. TESTS: empty — tov appears three times in the span and never as a verdict. LEDGER: EMPTY — no evening-morning, no commit; the week's open transaction (gen_07) is now joined by an open RULE. TIME: t0 = be_yom_asot; the penalty clock (be-yom, 'in the day') armed inside the handler. FLAGS: read_before_install ×4 (shamayim, aretz, adamah, eden), spec_delta ×4 (divine name; build verb; tov's migration; the food grant's narrowing) — none blocking.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	Header, clock, name shift: after STEP_Gn_2_4	All registers empty (standalone unit).	TIME t0 = be_yom_asot; SPECS empty; flags shamayim/aretz as read-before-install; machine flags spec-delta. = TIME t0 = in-the-day-of-[His]-making; SPECS empty; flags heavens/earth as read-before-install; machine flags spec-delta.	אֵלֶּה תוֹלְדוֹת · ele toledot = these generations
S2	The not-yet block — state, no events: after STEP_Gn_2_6	S1 state.	Facts terem/lo_himtir/adam_ayin/ed_yaaleh HOLD; SPECS empty; ZERO events fired. = Facts not-yet/had-not-caused-rain/no-human-existed/mist-went-up HOLD; SPECS empty; ZERO events fired.	טֶרֶם … וְאָדָם אַיִן · terem … ve-adam ayin = not-yet human there-is-not
S3	The forming: after STEP_Gn_2_7	S2 state.	WORLD += adam; flags adamah as read-before-install. = WORLD += human; flags ground as read-before-install.	וַיִּיצֶר · va-yitzer = he-formed
S4	Garden and the two trees: after STEP_Gn_2_9	S3 state.	WORLD = {adam, gan, etz_ha_chayim, etz_ha_daat_tov_va_ra}; flags eden as read-before-install. = WORLD = {human, garden, tree-of-life, tree-of-knowledge-of-good-and-evil}; flags Eden as read-before-install.	וְעֵץ הַחַיִּים … וְעֵץ הַדַּעַת · ve-etz ha-chayim … ve-etz ha-daat = tree life tree knowledge
S5	The registry pause — resources row, zero events: after STEP_Gn_2_12	S4 state + river system installed (2:10) + row one (2:11).	ZERO events fired; Facts zahav/bedolach/shoham HOLD. = ZERO events fired; Facts gold/bdellium/shoham HOLD.	שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם · sham ha-bedolach ve-even ha-shoham = there bdellium stone-of shoham
S6	The full gazetteer: after STEP_Gn_2_14	S5 state.	WORLD = {adam, gan, etz_ha_chayim, etz_ha_daat_tov_va_ra, nahar, nahar_1, nahar_2, nahar_3, nahar_4}. = WORLD = {human, garden, tree-of-life, tree-of-knowledge-of-good-and-evil, river, river-1, river-2, river-3, river-4}.	וְהַנָּהָר הָרְבִיעִי הוּא פְרָת · ve-ha-nahar ha-revii hu ferat = river fourth he/it Perat
S7	The job binds without speech: after STEP_Gn_2_15	S6 state.	SPECS empty.	לְעָבְדָהּ וּלְשָׁמְרָהּ · le-avdah u-le-shamrah = to-avdah and-to-shamrah
S8	The permission — first doubling, mandatory ?: after STEP_Gn_2_16	S7 state.	LET?(akhal(adam, mi_kol_etz_ha_gan)) pushed and OPEN; LET?(akhal(adam, mi_kol_etz_ha_gan)) mood remains LET?. = LET?(eat(human, from-every-tree-of-the-garden)) pushed and OPEN; LET?(eat(human, from-every-tree-of-the-garden)) mood remains LET?.	אָכֹל תֹּאכֵל · akhol tokhel = eating you-may-eat
S9	The prohibition and the armed penalty — the unit ends owing: after STEP_Gn_2_17	S8 state.	LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra)) pushed and OPEN; Facts handler-mot_tamut HOLD; LEDGER stays EMPTY (open transaction). = LET-NOT(eat(human, from-the-tree-of-knowledge-of-good-and-evil)) pushed and OPEN; Facts handler-dying-you-shall-die HOLD; LEDGER stays EMPTY (open transaction).	לֹא תֹאכַל … מוֹת תָּמוּת · lo tokhal … mot tamut = not you-shall-eat dying you-shall-die
S10_negative	Negative: LET-NOT has no resolution path	A synthetic LET-NOT demand (the machine's own contract self-test).	LET-NOT is not a ?-mood: resolve_spec must REFUSE outright — no citation flips a prohibition into a permission; the mood a prohibition is born with is the mood it keeps. = LET-NOT is not a ?-mood: resolve-spec must REFUSE outright — no citation flips a prohibition into a permission; the mood a prohibition is born with is the mood it keeps.
S11_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 — the standing rule re-asserted; this unit attempts no commit at all, and S9 asserts the ledger's emptiness positively. = Cycle close with TESTS empty must in FLAGGED, never blocked — the standing rule re-asserted; this unit attempts no commit at all, and S9 asserts the ledger's emptiness positively.

Exports (reusable patterns)

id	content
EXPORT_first_rule	וַיְצַו … אָכֹל תֹּאכֵל … לֹא תֹאכַל … מוֹת תָּמוּת · va-yetzav … akhol tokhel … lo tokhal … mot tamut · the corpus's first rule, four quadrants over two rests: [frame \| permission] [prohibition \| penalty] — first tzavah token (of 252), first infinitive-absolute doubling, first prohibition (first lo + imperfect-2ms), first penalty conditional; the receipt system (ka'asher tzivah, 'as He commanded') descends from this verb
EXPORT_let_not_debut	לֹא תֹאכַל · lo tokhal · LET-NOT fires for the first time in eight units — TIR-034 (provisional): negated imperfect inside an explicit command frame = prohibition; the mood has NO resolution path (a prohibition cannot be cited into a permission) — contract asserted in S10_negative
EXPORT_penalty_handler	כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת · ki be-yom akholkha mimenu mot tamut · the penalty as standing conditional (lev_13's HANDLER in embryo, installed by narrative speech): IF(eat, that day) THEN(die-die) — Gen 3 is the arriving case; the doubling institutionalizes as the law codes' capital formula (mot yumat, 31-member family from Exod 21:12)
EXPORT_divine_name_shift	יְהוָה אֱלֹהִים · YHWH Elohim · YHWH's first token (2:4); the bare compound is Eden-EXCLUSIVE Torah-wide (Gen 2:4-3:23 ×20 + Exod 9:30) — solo YHWH starts at 4:1, after the expulsion; the serpent dialogue drops to bare Elohim; [OPEN] with the justice/mercy chain dossier queued
EXPORT_toledot_series	אֵלֶּה תוֹלְדוֹת · ele toledot · the book's section-header device debuts (first of 13, DB-verified) — applied here to heaven and earth, thereafter to persons: the corpus's own table of contents begins
EXPORT_first_job	לְעָבְדָהּ וּלְשָׁמְרָהּ · le-avdah u-le-shamrah · the first office: work-and-keep — the pair returns as the Levite sanctuary formula (Num 3:7-8, 8:26, 18:7); the 2:5 lack answered verbatim; feminine suffixes [OPEN] (Onkelos dissolves the anomaly grammatically — ginta is feminine)
EXPORT_geography_registry	וְהָיָה לְאַרְבָּעָה רָאשִׁים · ve-hayah le-arbaah rashim · the corpus's first geography registry: 4 rows, ordinal keys, route participles, resource annotations — bedolach's only other token is the manna (Num 11:7); shoham's other 7 are all priestly vestments; Perat becomes the covenant border (Gen 15:18)
EXPORT_two_trees	וְעֵץ הַחַיִּים … וְעֵץ הַדַּעַת טוֹב וָרָע · ve-etz ha-chayim … ve-etz ha-daat tov va-ra · the two named trees, set apart by the accent tree; da'at's trail runs to Bezalel's sanctuary endowment (Exod 31:3) and the law's intent standard (bli da'at, Deut 4:42); the knowledge tree's address is the [OPEN] that 3:3 collides with
EXPORT_becoming_speech	לְנֶפֶשׁ חַיָּה · le-nefesh chayah · the human becomes the animals' category word — and the Aramaic renders 'a SPEAKING spirit' (ruach memalela): the letter's continuity and the translation's difference, held dual-track

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

verified Siddur Rashi 447:2 — Simchat Torah reading runs to 'ele toledot ha-shamayim'; day-1 triage row 316, re-verified local 2026-08-01
אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם · ele toledot ha-shamayim · The chain's own liturgical segmentation ENDS a reading at this unit's opening phrase — the practice cuts the text exactly where the toledot header cuts it: the unit boundary the machine draws at 2:4 is a boundary the chain's calendar already observes.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.

verified Midrash Tanchuma Buber, Bereshit 18:1 — the defective toledot spellings; day-1 triage row 351, re-verified local 2026-08-01
תוֹלְדוֹת · toledot · The chain tracks the header word's SPELLING VARIATIONS across its 13-member series (full vs defective vav) — a letter-level dossier on the very device this unit installs; the machine's series census (DB, 13 tokens) is the quantitative face of the same observation.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.

observation Bereshit Rabbah 14-16 (formation, double-yod at 14:5, garden, rivers, the rule); Bavli Berakhot 61a (double-yod: two inclinations); Bavli Sanhedrin 56b (the seven Noachide laws derived from 2:16's wording); Avot DeRabbi Natan 1 (the fence added to this rule); Bereshit Rabbah 12:10 (the small-heh of be-hibaram — letter-size, not in our XML); Bavli Pesachim 54a (created-before-the-world — bears on mi-qedem); Mishnah Avot 5:6 — gen_08 Tier-A queue
עַיִן לֹא רָאָתָה · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to 2:4-17 (watch-list C) — the Eden chain-primaries enter at triage, and their arrival is the detector's law-device tripwire for a narrative span (Sanhedrin 56b reads the first command verse as a legal system's source: the legal formulas should fire there).
Queue entry — no claim made beyond the naming.

verified Onkelos Genesis 2:4-17 — read Tier-A at derive time (14 sequential fetches, Data/FETCHLOG.md 2026-08-01)
רוּחַ מְמַלְלָא · ruach memalela · The span's translation witness: the SPEAKING SPIRIT for nefesh chayah (speech as the human differentiator); u-vra for the double-yod (the spelling surrendered); the knowledge tree named by its EFFECT ON EATERS (the segiru device); mi-qedem temporal at 2:8, spatial at 2:14; anana for the mist hapax; Diglat = Tigris; burla for shoham; ve-ashrei (dwelling) for the rest-root settling; the 2:15 feminine suffixes retained (ginta feminine); u-fakkid for the command; BOTH doublings retained (meikhal teikhul, meimat temut).
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.2.4 · parser unique · 11 words

אלה תולדות השׁמים והארץ בהבראם ביום עשׂות יהוה אלהים ארץ ושׁמים · ele toldot ha-shamayim ve-ha-aretz be-hibara-m be-yom asot YHWH Elohim eretz ve-shamayim · These are the generations of heaven and earth — in the day YHWH Elohim made earth and heavens. [EN-AID]

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

Gen.2.5 · parser unique · 23 words

וכל שׂיח השׂדה טרם יהיה בארץ וכל־עשׂב השׂדה טרם יצמח כי לא המטיר יהוה אלהים על־הארץ ואדם אין לעבד את־האדמה · ve-khol sicha ha-sade terem yihye va-aretz ve-khal-esev ha-sade terem yitzmach ki lo himtir YHWH Elohim al-ha-aretz ve-adam ayin la-avod et-ha-adama · No field shrub yet, no field herb yet — no rain, and no human to work the ground. [EN-AID]

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

Gen.2.6 · parser unique · 9 words

ואד יעלה מן־הארץ והשׁקה את־כל־פני־האדמה · ve-ed yaale min-ha-aretz ve-hishqa et-kal-pene-ha-adama · A mist would rise from the earth and water the whole face of the ground. [EN-AID]

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

Gen.2.7 · parser unique · 16 words

וייצר יהוה אלהים את־האדם עפר מן־האדמה ויפח באפיו נשׁמת חיים ויהי האדם לנפשׁ חיה · va-yitzer YHWH Elohim et-ha-adam afar min-ha-adama va-yipach be-apay-v nishmat chayim va-yehi ha-adam le-nefesh chaya · Formed the human, dust from the ground; breathed life's breath — and the human became a living being. [EN-AID]

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

Gen.2.8 · parser unique · 12 words

ויטע יהוה אלהים גן־בעדן מקדם וישׂם שׁם את־האדם אשׁר יצר · va-yita YHWH Elohim gan-ve-eden mi-qedem va-yasem sham et-ha-adam asher yatzar · Planted a garden in Eden of-old/eastward — and set there the human He had formed. [EN-AID]

PHRASE (binary 12w) וַ/יִּטַּ֞ע יְהוָ֧ה אֱלֹהִ֛ים גַּן בְ/עֵ֖דֶן מִ…
├── PHRASE (binary 6w) וַ/יִּטַּ֞ע יְהוָ֧ה אֱלֹהִ֛ים גַּן בְ/עֵ֖דֶן מִ…
│   ├── PHRASE (binary 5w) וַ/יִּטַּ֞ע יְהוָ֧ה אֱלֹהִ֛ים גַּן בְ/עֵ֖דֶן
│   │   ├── PHRASE (binary 3w) וַ/יִּטַּ֞ע יְהוָ֧ה אֱלֹהִ֛ים
│   │   │   ├── [0] וַ/יִּטַּ֞ע (gershayim, rank=4)
│   │   │   └── [1-2] GLUE יְהוָ֧ה אֱלֹהִ֛ים (tevir, rank=3)
│   │   └── [3-4] GLUE גַּן בְ/עֵ֖דֶן (tifcha, rank=2)
│   └── [5] מִ/קֶּ֑דֶם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יָּ֣שֶׂם שָׁ֔ם אֶת הָֽ/אָדָ֖ם אֲשֶׁ֥ר יָצָֽר
    ├── [6-7] GLUE וַ/יָּ֣שֶׂם שָׁ֔ם (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) אֶת הָֽ/אָדָ֖ם אֲשֶׁ֥ר יָצָֽר
        ├── [8-9] GLUE אֶת הָֽ/אָדָ֖ם (tifcha, rank=2)
        └── [10-11] GLUE אֲשֶׁ֥ר יָצָֽר (silluq (verse-end emperor), rank=1)

Gen.2.9 · parser unique · 19 words

ויצמח יהוה אלהים מן־האדמה כל־עץ נחמד למראה וטוב למאכל ועץ החיים בתוך הגן ועץ הדעת טוב ורע · va-yatzmach YHWH Elohim min-ha-adama kal-etz nechmad le-mare ve-tov le-maakhal ve-etz ha-chayim be-tokh ha-gan ve-etz ha-daat tov va-ra · Sprouted every pleasant, good tree — and the tree of life, and the tree of knowledge of good-and-evil. [EN-AID]

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

Gen.2.10 · parser unique · 11 words

ונהר יצא מעדן להשׁקות את־הגן ומשׁם יפרד והיה לארבעה ראשׁים · ve-nahar yotze me-eden le-hashqot et-ha-gan u-mi-sham yipared ve-haya le-arbaa rashim · A river goes out of Eden to water the garden — and from there divides into four heads. [EN-AID]

PHRASE (binary 11w) וְ/נָהָרּ֙ יֹצֵ֣א מֵ/עֵ֔דֶן לְ/הַשְׁק֖וֹת אֶת ה…
├── 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 5w) וּ/מִ/שָּׁם֙ יִפָּרֵ֔ד וְ/הָיָ֖ה לְ/אַרְבָּעָ֥ה…
    ├── PHRASE (binary 2w) וּ/מִ/שָּׁם֙ יִפָּרֵ֔ד
    │   ├── [6] וּ/מִ/שָּׁם֙ (pashta, rank=3)
    │   └── [7] יִפָּרֵ֔ד (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/הָיָ֖ה לְ/אַרְבָּעָ֥ה רָאשִֽׁים
        ├── [8] וְ/הָיָ֖ה (tifcha, rank=2)
        └── [9-10] GLUE לְ/אַרְבָּעָ֥ה רָאשִֽׁים (silluq (verse-end emperor), rank=1)

Gen.2.11 · parser unique · 12 words

שׁם האחד פישׁון הוא הסבב את כל־ארץ החוילה אשׁר־שׁם הזהב · shem ha-echad pishon hu ha-sovev et kal-eretz ha-chavila asher-sham ha-zahav · The name of the first: Pishon — circling all Havilah, where the gold is. [EN-AID]

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

Gen.2.12 · parser unique · 8 words

וזהב הארץ ההוא טוב שׁם הבדלח ואבן השׁהם · u-zahav ha-aretz ha-hiv tov sham ha-bedolach ve-even ha-shoham · And that land's gold is good — there: bdellium and shoham stone. [EN-AID]

PHRASE (binary 8w) וּֽ/זֲהַ֛ב הָ/אָ֥רֶץ הַ/הִ֖וא ט֑וֹב שָׁ֥ם הַ/בּ…
├── PHRASE (binary 4w) וּֽ/זֲהַ֛ב הָ/אָ֥רֶץ הַ/הִ֖וא ט֑וֹב
│   ├── PHRASE (binary 3w) וּֽ/זֲהַ֛ב הָ/אָ֥רֶץ הַ/הִ֖וא
│   │   ├── [0] וּֽ/זֲהַ֛ב (tevir, rank=3)
│   │   └── [1-2] GLUE הָ/אָ֥רֶץ הַ/הִ֖וא (tifcha, rank=2)
│   └── [3] ט֑וֹב (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) שָׁ֥ם הַ/בְּדֹ֖לַח וְ/אֶ֥בֶן הַ/שֹּֽׁהַם
    ├── [4-5] GLUE שָׁ֥ם הַ/בְּדֹ֖לַח (tifcha, rank=2)
    └── [6-7] GLUE וְ/אֶ֥בֶן הַ/שֹּֽׁהַם (silluq (verse-end emperor), rank=1)

Gen.2.13 · parser unique · 10 words

ושׁם־הנהר השׁני גיחון הוא הסובב את כל־ארץ כושׁ · ve-shem-ha-nahar ha-sheni gichon hu ha-sovev et kal-eretz kush · The name of the second river: Gihon — circling all the land of Cush. [EN-AID]

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

Gen.2.14 · parser unique · 12 words

ושׁם הנהר השׁלישׁי חדקל הוא ההלך קדמת אשׁור והנהר הרביעי הוא פרת · ve-shem ha-nahar ha-shelishi chideqel hu ha-holekh qidmat ashur ve-ha-nahar ha-revii hu ferat · The third: Hiddekel, going east of Asshur — and the fourth river: it is Perat. [EN-AID]

PHRASE (binary 12w) וְ/שֵׁ֨ם הַ/נָּהָ֤ר הַ/שְּׁלִישִׁי֙ חִדֶּ֔קֶל ה…
├── PHRASE (binary 8w) וְ/שֵׁ֨ם הַ/נָּהָ֤ר הַ/שְּׁלִישִׁי֙ חִדֶּ֔קֶל ה…
│   ├── PHRASE (binary 4w) וְ/שֵׁ֨ם הַ/נָּהָ֤ר הַ/שְּׁלִישִׁי֙ חִדֶּ֔קֶל
│   │   ├── [0-2] GLUE וְ/שֵׁ֨ם הַ/נָּהָ֤ר הַ/שְּׁלִישִׁי֙ (pashta, rank=3)
│   │   └── [3] חִדֶּ֔קֶל (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 4w) וְ/הַ/נָּהָ֥ר הָֽ/רְבִיעִ֖י ה֥וּא פְרָֽת
    ├── [8-9] GLUE וְ/הַ/נָּהָ֥ר הָֽ/רְבִיעִ֖י (tifcha, rank=2)
    └── [10-11] GLUE ה֥וּא פְרָֽת (silluq (verse-end emperor), rank=1)

Gen.2.15 · parser unique · 10 words

ויקח יהוה אלהים את־האדם וינחהו בגן־עדן לעבדה ולשׁמרה · va-yiqach YHWH Elohim et-ha-adam va-yanichehu ve-gan-eden le-avdah u-le-shamrah · Took the human and settled him in the garden of Eden — to work it and to keep it. [EN-AID]

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

Gen.2.16 · parser unique · 11 words

ויצו יהוה אלהים על־האדם לאמר מכל עץ־הגן אכל תאכל · va-yetzav YHWH Elohim al-ha-adam le-mor mi-kol etz-ha-gan akhol tokhel · Commanded the human, saying — of every garden tree, eating you may eat. [EN-AID]

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

Gen.2.17 · parser unique · 13 words

ומעץ הדעת טוב ורע לא תאכל ממנו כי ביום אכלך ממנו מות תמות · u-me-etz ha-daat tov va-ra lo tokhal mime-nu ki be-yom akhal-kha mime-nu mot tamut · Of the knowledge tree you shall not eat — for in the day you eat of it, dying you shall die. [EN-AID]

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

Word coverage — 177/177 words with named roles

ref	#	Hebrew	translit	English	role	kind	rule
Gen.2.4	0	אלה	ele	these	header_deictic	logic_bearing	none
Gen.2.4	1	תולדות	toldot	generations	section_header_series_first_of_13	logic_bearing	none
Gen.2.4	2	השמים	ha-shamayim	the-heavens	presupposed_registry	logic_bearing	none
Gen.2.4	3	והארץ	ve-ha-aretz	and-the-earth	presupposed_registry	logic_bearing	none
Gen.2.4	4	בהבראם	be-hibara-m	in-their-being-created	passive_creation_recap_niphal_inf	logic_bearing	TIR-032
Gen.2.4	5	ביום	be-yom	in-day	time_anchor_day_summed	logic_bearing	none
Gen.2.4	6	עשות	asot	making	make_recap_infinitive	logic_bearing	none
Gen.2.4	7	יהוה	YHWH	YHWH	divine_name_debut	logic_bearing	none
Gen.2.4	8	אלהים	Elohim	God	compound_name_member	logic_bearing	none
Gen.2.4	9	ארץ	eretz	earth	chiasm_flip_anarthrous	logic_bearing	none
Gen.2.4	10	ושמים	ve-shamayim	and-heavens	chiasm_flip_anarthrous	logic_bearing	none
Gen.2.5	0	וכל	ve-khol	and-all	totality_quantifier	logic_bearing	none
Gen.2.5	1	שיח	sicha	shrub	flora_term_new	logic_bearing	none
Gen.2.5	2	השדה	ha-sade	the-field	field_register_new	logic_bearing	none
Gen.2.5	3	טרם	terem	not-yet	not_yet_particle_1	logic_bearing	none
Gen.2.5	4	יהיה	yihye	would-be	unrealized_imperfect	logic_bearing	none
Gen.2.5	5	בארץ	va-aretz	in-earth	locus	logic_bearing	none
Gen.2.5	6	וכל	ve-khal	and-all	totality_quantifier	logic_bearing	none
Gen.2.5	7	עשב	esev	herb	herb_day3_term	logic_bearing	none
Gen.2.5	8	השדה	ha-sade	the-field	field_register_new	logic_bearing	none
Gen.2.5	9	טרם	terem	not-yet	not_yet_particle_2	logic_bearing	none
Gen.2.5	10	יצמח	yitzmach	would-sprout	unrealized_imperfect	logic_bearing	none
Gen.2.5	11	כי	ki	that	cause_conjunction	glue	TIR-008
Gen.2.5	12	לא	lo	not	narrative_negation	logic_bearing	none
Gen.2.5	13	המטיר	himtir	caused-rain	rain_verb_first_token	logic_bearing	none
Gen.2.5	14	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.5	15	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.5	16	על	al	over	preposition_over	logic_bearing	none
Gen.2.5	17	הארץ	ha-aretz	the-earth	locus	logic_bearing	none
Gen.2.5	18	ואדם	ve-adam	and-human	lacking_worker	logic_bearing	none
Gen.2.5	19	אין	ayin	there-is-not	there_is_not	logic_bearing	none
Gen.2.5	20	לעבד	la-avod	to-work	job_preannounced_purpose_inf	logic_bearing	TIR-030
Gen.2.5	21	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.5	22	האדמה	ha-adama	the-ground	ground_presupposed_job_object	logic_bearing	none
Gen.2.6	0	ואד	ve-ed	and-mist	mist_torah_hapax	logic_bearing	none
Gen.2.6	1	יעלה	yaale	would-rise	habitual_imperfect	logic_bearing	none
Gen.2.6	2	מן	min	from	preposition_from	logic_bearing	none
Gen.2.6	3	הארץ	ha-aretz	the-earth	locus	logic_bearing	none
Gen.2.6	4	והשקה	ve-hishqa	and-would-water	weqatal_habitual_genre_control	logic_bearing	TIR-029
Gen.2.6	5	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.6	6	כל	kal	all	totality_quantifier	logic_bearing	none
Gen.2.6	7	פני	pene	face	face_of	logic_bearing	none
Gen.2.6	8	האדמה	ha-adama	the-ground	ground_watered	logic_bearing	none
Gen.2.7	0	וייצר	va-yitzer	and-he-formed	formation_verb_DOUBLE_YOD_spine_start	logic_bearing	none
Gen.2.7	1	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.7	2	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.7	3	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.7	4	האדם	ha-adam	the-human	human_installed	logic_bearing	none
Gen.2.7	5	עפר	afar	dust	material_dust	logic_bearing	none
Gen.2.7	6	מן	min	from	preposition_from	logic_bearing	none
Gen.2.7	7	האדמה	ha-adama	the-ground	material_source_ground	logic_bearing	none
Gen.2.7	8	ויפח	va-yipach	and-he-breathed	breathe_verb_intimate	logic_bearing	none
Gen.2.7	9	באפיו	be-apay-v	in-his-nostrils	nostrils_target	logic_bearing	none
Gen.2.7	10	נשמת	nishmat	breath-of	breath_A_join	logic_bearing	none
Gen.2.7	11	חיים	chayim	life	life	logic_bearing	none
Gen.2.7	12	ויהי	va-yehi	and-he-became	become_event_not_receipt	logic_bearing	none
Gen.2.7	13	האדם	ha-adam	the-human	human	logic_bearing	none
Gen.2.7	14	לנפש	le-nefesh	to-living-being	animal_category_word	logic_bearing	none
Gen.2.7	15	חיה	chaya	living	animal_category_word	logic_bearing	none
Gen.2.8	0	ויטע	va-yita	and-he-planted	plant_verb_first	logic_bearing	none
Gen.2.8	1	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.8	2	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.8	3	גן	gan	garden	garden_installed	logic_bearing	none
Gen.2.8	4	בעדן	ve-eden	in-Eden	place_presupposed	logic_bearing	none
Gen.2.8	5	מקדם	mi-qedem	from-east-or-of-old	east_or_of_old_OPEN	logic_bearing	none
Gen.2.8	6	וישם	va-yasem	and-he-set	place_verb_first_stationing	logic_bearing	none
Gen.2.8	7	שם	sham	there	there	logic_bearing	none
Gen.2.8	8	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.8	9	האדם	ha-adam	the-human	human_placed	logic_bearing	none
Gen.2.8	10	אשר	asher	whom	relative_scope_opener	logic_bearing	none
Gen.2.8	11	יצר	yatzar	he-formed	formation_verb_SINGLE_YOD_pair	logic_bearing	none
Gen.2.9	0	ויצמח	va-yatzmach	and-he-caused-sprout	cause_sprout_hiphil_vs_2_5_qal	logic_bearing	none
Gen.2.9	1	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.9	2	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.9	3	מן	min	from	preposition_from	logic_bearing	none
Gen.2.9	4	האדמה	ha-adama	the-ground	source_ground	logic_bearing	none
Gen.2.9	5	כל	kal	all	totality_quantifier	logic_bearing	none
Gen.2.9	6	עץ	etz	tree	tree_general_grant	logic_bearing	none
Gen.2.9	7	נחמד	nechmad	desirable	desirable_niphal_participle_chamad_root	logic_bearing	none
Gen.2.9	8	למראה	le-mare	to-sight	sight_quality	logic_bearing	none
Gen.2.9	9	וטוב	ve-tov	and-good	tov_as_attribute_delta	logic_bearing	none
Gen.2.9	10	למאכל	le-maakhal	for-food	food_quality	logic_bearing	none
Gen.2.9	11	ועץ	ve-etz	and-tree-of	tree_of_life_install	logic_bearing	none
Gen.2.9	12	החיים	ha-chayim	the-life	tree_of_life_install	logic_bearing	none
Gen.2.9	13	בתוך	be-tokh	in-midst	location_midst	logic_bearing	none
Gen.2.9	14	הגן	ha-gan	the-garden	garden_locus	logic_bearing	none
Gen.2.9	15	ועץ	ve-etz	and-tree-of	knowledge_tree_install	logic_bearing	none
Gen.2.9	16	הדעת	ha-daat	the-knowledge	knowledge_tree_install	logic_bearing	none
Gen.2.9	17	טוב	tov	good	tree_name_verdict_vocab	logic_bearing	none
Gen.2.9	18	ורע	va-ra	and-evil	tree_name_verdict_vocab	logic_bearing	none
Gen.2.10	0	ונהר	ve-nahar	and-river	river_registry_opener	logic_bearing	none
Gen.2.10	1	יצא	yotze	goes-out	route_participle_standing	logic_bearing	TIR-031
Gen.2.10	2	מעדן	me-eden	from-Eden	source_eden	logic_bearing	none
Gen.2.10	3	להשקות	le-hashqot	to-water	purpose_infinitive_waters	logic_bearing	TIR-030
Gen.2.10	4	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.10	5	הגן	ha-gan	the-garden	garden_watered	logic_bearing	none
Gen.2.10	6	ומשם	u-mi-sham	and-from-there	branch_point	logic_bearing	none
Gen.2.10	7	יפרד	yipared	divides	divides_niphal_agentless	logic_bearing	TIR-032
Gen.2.10	8	והיה	ve-haya	and-becomes	weqatal_geographic_genre_control	logic_bearing	TIR-029
Gen.2.10	9	לארבעה	le-arbaa	to-four	four_heads_install	logic_bearing	none
Gen.2.10	10	ראשים	rashim	heads	four_heads_install	logic_bearing	none
Gen.2.11	0	שם	shem	name-of	registry_key_name	logic_bearing	none
Gen.2.11	1	האחד	ha-echad	the-first	ordinal_row_1	logic_bearing	none
Gen.2.11	2	פישון	pishon	Pison	name_value_Pishon	logic_bearing	none
Gen.2.11	3	הוא	hu	he/it	copula_registry	logic_bearing	none
Gen.2.11	4	הסבב	ha-sovev	the-circling	route_participle_circling	logic_bearing	TIR-031
Gen.2.11	5	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.11	6	כל	kal	all	totality_quantifier	logic_bearing	none
Gen.2.11	7	ארץ	eretz	earth	land_of	logic_bearing	none
Gen.2.11	8	החוילה	ha-chavila	the-Havilah	place_Havilah	logic_bearing	none
Gen.2.11	9	אשר	asher	which	relative_scope_opener	logic_bearing	none
Gen.2.11	10	שם	sham	there	resource_locus	logic_bearing	none
Gen.2.11	11	הזהב	ha-zahav	the-gold	resource_gold	logic_bearing	none
Gen.2.12	0	וזהב	u-zahav	and-gold-of	resource_gold_quality	logic_bearing	none
Gen.2.12	1	הארץ	ha-aretz	the-earth	land	logic_bearing	none
Gen.2.12	2	ההוא	ha-hiv	that-one-ktiv-hu-qere-hi	KTIV_QERE_hu_hi_flag	logic_bearing	none
Gen.2.12	3	טוב	tov	good	tov_grades_ore_delta	logic_bearing	none
Gen.2.12	4	שם	sham	there	resource_locus	logic_bearing	none
Gen.2.12	5	הבדלח	ha-bedolach	the-bdellium	resource_bedolach_manna_join	logic_bearing	none
Gen.2.12	6	ואבן	ve-even	and-stone-of	resource_stone	logic_bearing	none
Gen.2.12	7	השהם	ha-shoham	the-shoham	resource_shoham_vestments_join	logic_bearing	none
Gen.2.13	0	ושם	ve-shem	and-name	registry_key_name	logic_bearing	none
Gen.2.13	1	הנהר	ha-nahar	the-stream	river	logic_bearing	none
Gen.2.13	2	השני	ha-sheni	the-second	ordinal_row_2	logic_bearing	none
Gen.2.13	3	גיחון	gichon	Gihon	name_value_Gichon	logic_bearing	none
Gen.2.13	4	הוא	hu	he/it	copula_registry	logic_bearing	none
Gen.2.13	5	הסובב	ha-sovev	the-circling	route_participle_circling	logic_bearing	TIR-031
Gen.2.13	6	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.13	7	כל	kal	all	totality_quantifier	logic_bearing	none
Gen.2.13	8	ארץ	eretz	earth	land_of	logic_bearing	none
Gen.2.13	9	כוש	kush	Chush	place_Kush	logic_bearing	none
Gen.2.14	0	ושם	ve-shem	and-name	registry_key_name	logic_bearing	none
Gen.2.14	1	הנהר	ha-nahar	the-stream	river	logic_bearing	none
Gen.2.14	2	השלישי	ha-shelishi	the-third	ordinal_row_3	logic_bearing	none
Gen.2.14	3	חדקל	chideqel	Hiddekel	name_value_Chidekel_Tigris	logic_bearing	none
Gen.2.14	4	הוא	hu	he/it	copula_registry	logic_bearing	none
Gen.2.14	5	ההלך	ha-holekh	the-going	route_participle_going	logic_bearing	TIR-031
Gen.2.14	6	קדמת	qidmat	east-of	qedem_spatial_here	logic_bearing	none
Gen.2.14	7	אשור	ashur	Asshur	place_Ashur	logic_bearing	none
Gen.2.14	8	והנהר	ve-ha-nahar	and-the-stream	river	logic_bearing	none
Gen.2.14	9	הרביעי	ha-revii	the-fourth	ordinal_row_4	logic_bearing	none
Gen.2.14	10	הוא	hu	he/it	copula_registry	logic_bearing	none
Gen.2.14	11	פרת	ferat	Perat	name_value_Perat_covenant_border_join	logic_bearing	none
Gen.2.15	0	ויקח	va-yiqach	and-he-took	take_transfer_verb	logic_bearing	none
Gen.2.15	1	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.15	2	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.15	3	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.2.15	4	האדם	ha-adam	the-human	human_taken	logic_bearing	none
Gen.2.15	5	וינחהו	va-yaniche-hu	and-settled-him	settle_verb_REST_root	logic_bearing	none
Gen.2.15	6	בגן	ve-gan	in-garden-of	garden_locus	logic_bearing	none
Gen.2.15	7	עדן	eden	Eden	place_Eden	logic_bearing	none
Gen.2.15	8	לעבדה	le-avda-h	to-work-her	job_infinitive_1_fem_suffix_OPEN	logic_bearing	TIR-030
Gen.2.15	9	ולשמרה	u-le-shamra-h	and-to-keep-her	job_infinitive_2_fem_suffix_OPEN	logic_bearing	TIR-030
Gen.2.16	0	ויצו	va-yetzav	and-he-commanded	command_verb_FIRST_TOKEN_of_252	logic_bearing	none
Gen.2.16	1	יהוה	YHWH	YHWH	agent_compound	logic_bearing	none
Gen.2.16	2	אלהים	Elohim	God	agent_compound	logic_bearing	none
Gen.2.16	3	על	al	upon	preposition_upon_obligation	logic_bearing	none
Gen.2.16	4	האדם	ha-adam	the-human	addressee	logic_bearing	none
Gen.2.16	5	לאמר	le-mor	saying	quote_opener_carries_rest	logic_bearing	none
Gen.2.16	6	מכל	mi-kol	from-all	permission_scope_all	logic_bearing	none
Gen.2.16	7	עץ	etz	tree-of	tree_of	logic_bearing	none
Gen.2.16	8	הגן	ha-gan	the-garden	garden_domain	logic_bearing	none
Gen.2.16	9	אכל	akhol	eating	infinitive_absolute_FIRST_DOUBLING	logic_bearing	none
Gen.2.16	10	תאכל	tokhel	you-may-eat	permission_imperfect_2ms	logic_bearing	TIR-028
Gen.2.17	0	ומעץ	u-me-etz	and-from-tree-of	exclusion_source_tree	logic_bearing	none
Gen.2.17	1	הדעת	ha-daat	the-knowledge	knowledge_tree_named	logic_bearing	none
Gen.2.17	2	טוב	tov	good	tree_name	logic_bearing	none
Gen.2.17	3	ורע	va-ra	and-evil	tree_name	logic_bearing	none
Gen.2.17	4	לא	lo	not	prohibition_negator_FIRST	logic_bearing	TIR-034
Gen.2.17	5	תאכל	tokhal	you-shall-eat	prohibited_imperfect_2ms	logic_bearing	TIR-034
Gen.2.17	6	ממנו	mime-nu	from-it	source_pinned	logic_bearing	none
Gen.2.17	7	כי	ki	for	penalty_conjunction	glue	TIR-008
Gen.2.17	8	ביום	be-yom	in-day-of	temporal_trigger_day_clock	logic_bearing	none
Gen.2.17	9	אכלך	akhal-kha	your-eating	trigger_infinitive_2ms_temporal_not_purpose	logic_bearing	none
Gen.2.17	10	ממנו	mime-nu	from-it	source_pinned	logic_bearing	none
Gen.2.17	11	מות	mot	dying	infinitive_absolute_penalty_doubling	logic_bearing	none
Gen.2.17	12	תמות	tamut	you-shall-die	penalty_imperfect_2ms	logic_bearing	none

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

unit: gen_08_toledot_garden_first_rule — Eden I: toledot header, garden, first job, FIRST RULE (2:4-17) [frozen]

final state: WORLD=['adam', 'etz_ha_chayim', 'etz_ha_daat_tov_va_ra', 'gan', 'nahar', 'nahar_1', 'nahar_2', 'nahar_3', 'nahar_4'] (+4 presupposed) | REGISTRY={'nahar_1': 'Pishon', 'nahar_2': 'Gichon', 'nahar_3': 'Chidekel', 'nahar_4': 'Perat', 'adam': 'oved_ve_shomer'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'spec_delta', 'read_before_install', 'spec_delta', 'read_before_install', 'spec_delta', 'spec_delta']

=== S1 — Header, clock, name shift: after STEP_Gn_2_4
    אֵלֶּה תוֹלְדוֹת (ele toledot)
    PASS  TIME t0 = be_yom_asot  (t0=be_yom_asot)
    PASS  SPECS empty  (queue=0)
    PASS  flags shamayim/aretz as read-before-install  (flagged=['aretz', 'shamayim'])
    PASS  machine flags spec-delta.  (flags=['read_before_install', 'spec_delta'])

=== S2 — The not-yet block — state, no events: after STEP_Gn_2_6
    טֶרֶם … וְאָדָם אַיִן (terem … ve-adam ayin)
    PASS  Facts terem/lo_himtir/adam_ayin/ed_yaaleh HOLD  (5 facts)
    PASS  SPECS empty  (queue=0)
    PASS  ZERO events fired.  (events_in_step=0)

=== S3 — The forming: after STEP_Gn_2_7
    וַיִּיצֶר (va-yitzer)
    PASS  WORLD += adam  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.2.7'})
    PASS  flags adamah as read-before-install.  (flagged=['adamah', 'aretz', 'shamayim'])

=== S4 — Garden and the two trees: after STEP_Gn_2_9
    וְעֵץ הַחַיִּים … וְעֵץ הַדַּעַת (ve-etz ha-chayim … ve-etz ha-daat)
    PASS  WORLD = {adam, gan, etz_ha_chayim, etz_ha_daat_tov_va_ra}  (created=['adam', 'etz_ha_chayim', 'etz_ha_daat_tov_va_ra', 'gan'])
    PASS  flags eden as read-before-install.  (flagged=['adamah', 'aretz', 'eden', 'shamayim'])

=== S5 — The registry pause — resources row, zero events: after STEP_Gn_2_12
    שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם (sham ha-bedolach ve-even ha-shoham)
    PASS  ZERO events fired  (events_in_step=0)
    PASS  Facts zahav/bedolach/shoham HOLD.  (11 facts)

=== S6 — The full gazetteer: after STEP_Gn_2_14
    וְהַנָּהָר הָרְבִיעִי הוּא פְרָת (ve-ha-nahar ha-revii hu ferat)
    PASS  WORLD = {adam, gan, etz_ha_chayim, etz_ha_daat_tov_va_ra, nahar, nahar_1, nahar_2, nahar_3, nahar_4}.  (created=['adam', 'etz_ha_chayim', 'etz_ha_daat_tov_va_ra', 'gan', 'nahar', 'nahar_1', 'nahar_2', 'nahar_3', 'nahar_4'])

=== S7 — The job binds without speech: after STEP_Gn_2_15
    לְעָבְדָהּ וּלְשָׁמְרָהּ (le-avdah u-le-shamrah)
    PASS  SPECS empty.  (queue=0)

=== S8 — The permission — first doubling, mandatory ?: after STEP_Gn_2_16
    אָכֹל תֹּאכֵל (akhol tokhel)
    PASS  LET?(akhal(adam, mi_kol_etz_ha_gan)) pushed and OPEN  (queue=['akhal(adam, mi_kol_etz_ha_gan)'])
    PASS  LET?(akhal(adam, mi_kol_etz_ha_gan)) mood remains LET?.  (mood=LET?)

=== S9 — The prohibition and the armed penalty — the unit ends owing: after STEP_Gn_2_17
    לֹא תֹאכַל … מוֹת תָּמוּת (lo tokhal … mot tamut)
    PASS  LET-NOT(akhal(adam, me_etz_ha_daat_tov_va_ra)) pushed and OPEN  (queue=['akhal(adam, mi_kol_etz_ha_gan)', 'akhal(adam, me_etz_ha_daat_tov_va_ra)'])
    PASS  Facts handler-mot_tamut HOLD  (14 facts)
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S10_negative — Negative: LET-NOT has no resolution path
    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)

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

#!/usr/bin/env python3
# =============================================================================
# gen_08_toledot_garden_first_rule — 2:4-17
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_08_toledot_garden_first_rule.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 I: toledot header, garden, first job, FIRST RULE (2:4-17)"""
from machine import Machine

m = Machine("gen_08_toledot_garden_first_rule")

# -------------------------- Gen.2.4 · SECTION_HEADER -----------------------
# אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם וְהָאָרֶץ בְּהִבָּרְאָם בְּיוֹם עֲשׂוֹת
# יְהוָה אֱלֹהִים אֶרֶץ וְשָׁמָיִם
# "These are the generations of the heaven and of the earth when they were
# created, in the day that the LORD God made earth and heaven."
m.step("Gen.2.4")
# ‹אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם וְהָאָרֶץ› (“these generations the-heavens
# and-the-earth”) — section generations: heavens, earth
m.section("toledot", "shamayim", "aretz")
# ‹בְּיוֹם עֲשׂוֹת יְהוָה אֱלֹהִים אֶרֶץ וְשָׁמָיִם› (“in-day making YHWH
# God earth and-heavens”) — clock anchored: t0 := in-the-day-of-[His]-making
m.time_anchor("be_yom_asot")
# reads without prior install (flag, not fix): heavens, earth
m.presupposed("shamayim", "aretz")
# ‹יְהוָה אֱלֹהִים› (“YHWH God”) — spec-delta — spec said God (the week's
# sole agent name, gen-01-07), delivery says the-LORD-God (compound:
# personal name + generic)
m.spec_delta("Elohim (the week's sole agent name, gen_01-07)",
             "YHWH_Elohim (compound: personal name + generic)")

# -------------------------- Gen.2.5 · PRECONDITIONS_LACKS ------------------
# וְכֹל שִׂיחַ הַשָּׂדֶה טֶרֶם יִהְיֶה בָאָרֶץ וְכָל־עֵשֶׂב הַשָּׂדֶה טֶרֶם
# יִצְמָח כִּי לֹא הִמְטִיר יְהוָה אֱלֹהִים עַל־הָאָרֶץ וְאָדָם אַיִן
# לַעֲבֹד אֶת־הָאֲדָמָה
# "No shrub of the field was yet in the earth, and no herb of the field had
# yet sprung up; for the LORD God had not caused it to rain upon the earth,
# and there was not a man to till the ground."
m.step("Gen.2.5")
# ‹טֶרֶם … טֶרֶם … לֹא הִמְטִיר … וְאָדָם אַיִן› (“not-yet … not-yet … not
# caused-rain … and-human there-is-not”) — fact holds: not-yet(all-shrub-
# the-field); not-yet(all-herb-the-field); had-not-caused-rain(the-LORD-God,
# over-the-earth); no-human-existed(to-work-obj-marker·et-the-ground)
m.fact("terem(kol_siach_ha_sadeh)",
       "terem(kol_esev_ha_sadeh)",
       "lo_himtir(YHWH_Elohim, al_ha_aretz)",
       "adam_ayin(la_avod_et_ha_adamah)")
# reads without prior install (flag, not fix): ground
m.presupposed("adamah")

# -------------------------- Gen.2.6 · PRECONDITION_IRRIGATION --------------
# וְאֵד יַעֲלֶה מִן־הָאָרֶץ וְהִשְׁקָה אֶת־כָּל־פְּנֵי־הָאֲדָמָה
# "But there went up a mist from the earth, and watered the whole face of
# the ground."
m.step("Gen.2.6")
# ‹וְאֵד יַעֲלֶה … וְהִשְׁקָה› (“and-mist would-rise … and-would-water”) —
# fact holds: mist-went-up-and-watered(all-face-of-the-ground)
m.fact("ed_yaaleh_ve_hishqah(kol_pnei_ha_adamah)")

# -------------------------- Gen.2.7 · FORM_BREATHE_BECOME ------------------
# וַיִּיצֶר יְהוָה אֱלֹהִים אֶת־הָאָדָם עָפָר מִן־הָאֲדָמָה וַיִּפַּח
# בְּאַפָּיו נִשְׁמַת חַיִּים וַיְהִי הָאָדָם לְנֶפֶשׁ חַיָּה
# "Then the LORD God formed man of the dust of the ground, and breathed into
# his nostrils the breath of life; and man became a living soul."
m.step("Gen.2.7")
# ‹וַיִּיצֶר יְהוָה אֱלֹהִים אֶת־הָאָדָם עָפָר מִן־הָאֲדָמָה› (“and-he-
# formed YHWH God obj-marker the-human dust from the-ground”) — event: form
# — agent the-LORD-God; theme human
m.event("form", agent="YHWH_Elohim", themes=["adam"])
# ‹וַיִּפַּח בְּאַפָּיו נִשְׁמַת חַיִּים› (“and-he-breathed in-his-nostrils
# breath-of life”) — event: breathe — agent the-LORD-God; theme breath-of-
# life
m.event("breathe", agent="YHWH_Elohim", themes=["nishmat_chayim"])
# ‹וַיְהִי הָאָדָם לְנֶפֶשׁ חַיָּה› (“and-he-became the-human to-living-
# being living”) — event: become — theme human, living-being
m.event("become", themes=["adam", "nefesh_chaya"])
# ‹הָאָדָם› (“the-human”) — the world gains: human
m.install("adam")
# spec-delta — spec said create/make (create/make — the week's build verbs),
# delivery says he-formed (form — the potter verb, double-yod written-form)
m.spec_delta("bara/asah (create/make — the week's build verbs)",
             "yatzar (form — the potter verb, double-yod ktiv)")

# -------------------------- Gen.2.8 · PLANT_PLACE --------------------------
# וַיִּטַּע יְהוָה אֱלֹהִים גַּן־בְּעֵדֶן מִקֶּדֶם וַיָּשֶׂם שָׁם
# אֶת־הָאָדָם אֲשֶׁר יָצָר
# "And the LORD God planted a garden eastward, in Eden; and there He put the
# man whom He had formed."
m.step("Gen.2.8")
# ‹וַיִּטַּע יְהוָה אֱלֹהִים גַּן־בְּעֵדֶן מִקֶּדֶם› (“and-he-planted YHWH
# God garden in-Eden from-east-or-of-old”) — event: plant — agent the-LORD-
# God; theme garden
m.event("plant", agent="YHWH_Elohim", themes=["gan"])
# ‹וַיָּשֶׂם שָׁם אֶת־הָאָדָם אֲשֶׁר יָצָר› (“and-he-set there obj-marker
# the-human whom he-formed”) — event: place — agent the-LORD-God; theme
# human
m.event("place", agent="YHWH_Elohim", themes=["adam"])
# ‹גַּן› (“garden”) — the world gains: garden
m.install("gan")
# reads without prior install (flag, not fix): Eden
m.presupposed("eden")

# -------------------------- Gen.2.9 · SPROUT_TWO_TREES ---------------------
# וַיַּצְמַח יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־עֵץ נֶחְמָד לְמַרְאֶה וְטוֹב
# לְמַאֲכָל וְעֵץ הַחַיִּים בְּתוֹךְ הַגָּן וְעֵץ הַדַּעַת טוֹב וָרָע
# "And out of the ground made the LORD God to grow every tree that is
# pleasant to the sight, and good for food; the tree of life also in the
# midst of the garden, and the tree of the knowledge of good and evil."
m.step("Gen.2.9")
# ‹וַיַּצְמַח יְהוָה אֱלֹהִים מִן־הָאֲדָמָה כָּל־עֵץ› (“and-he-caused-sprout
# YHWH God from the-ground all tree”) — event: sprout — agent the-LORD-God;
# theme all-tree
m.event("sprout", agent="YHWH_Elohim", themes=["kol_etz"])
# ‹וְעֵץ הַחַיִּים בְּתוֹךְ הַגָּן וְעֵץ הַדַּעַת טוֹב וָרָע› (“and-tree-of
# the-life in-midst the-garden and-tree-of the-knowledge good and-evil”) —
# the world gains: tree-of-life, tree-of-knowledge-of-good-and-evil
m.install("etz_ha_chayim", "etz_ha_daat_tov_va_ra")
# spec-delta — spec said good as TEST verdict (the week's instrument, days
# 1-6), delivery says good as attribute (good to-food; gold good 2:12;
# knowledge good and-evil)
m.spec_delta("tov as TEST verdict (the week's instrument, days 1-6)",
             "tov as attribute (tov le-maakhal; zahav tov 2:12; daat tov va-ra)")

# -------------------------- Gen.2.10 · RIVER_SYSTEM ------------------------
# וְנָהָר יֹצֵא מֵעֵדֶן לְהַשְׁקוֹת אֶת־הַגָּן וּמִשָּׁם יִפָּרֵד וְהָיָה
# לְאַרְבָּעָה רָאשִׁים
# "And a river went out of Eden to water the garden; and from thence it was
# parted, and became four heads."
m.step("Gen.2.10")
# ‹וְנָהָר יֹצֵא … יִפָּרֵד וְהָיָה› (“and-river goes-out … divides and-
# becomes”) — fact holds: river-goes-out-from-Eden(to-water-obj-marker·et-
# the-garden); divides-to-four-heads(river)
m.fact("nahar_yotze_me_eden(le_hashqot_et_ha_gan)",
       "yipared_le_arbaah_rashim(nahar)")
# ‹וְהָיָה לְאַרְבָּעָה רָאשִׁים› (“and-becomes to-four heads”) — the world
# gains: river, river-1, river-2, river-3, river-4
m.install("nahar", "nahar_1", "nahar_2", "nahar_3", "nahar_4")

# -------------------------- Gen.2.11 · REGISTRY_ROW_1 ----------------------
# שֵׁם הָאֶחָד פִּישׁוֹן הוּא הַסֹּבֵב אֵת כָּל־אֶרֶץ הַחֲוִילָה אֲשֶׁר־שָׁם
# הַזָּהָב
# "The name of the first is Pishon; that is it which compasseth the whole
# land of Havilah, where there is gold."
m.step("Gen.2.11")
# ‹שֵׁם הָאֶחָד פִּישׁוֹן› (“name-of the-first Pison”) — named: river-1 :=
# Pishon
m.name("nahar_1", "Pishon")
# ‹הוּא הַסֹּבֵב … אֲשֶׁר־שָׁם הַזָּהָב› (“he/it the-circling … which name-
# of the-gold”) — fact holds: circling-all-earth-the-Havilah(river-1);
# there-the-gold(Havilah)
m.fact("sovev_kol_eretz_ha_chavilah(nahar_1)",
       "sham_ha_zahav(chavilah)")

# -------------------------- Gen.2.12 · REGISTRY_ROW_1_RESOURCES ------------
# וּזְהַב הָאָרֶץ הַהִוא טוֹב שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם
# "And the gold of that land is good; there is bdellium and the onyx stone."
m.step("Gen.2.12")
# ‹וּזְהַב הָאָרֶץ הַהִוא טוֹב שָׁם הַבְּדֹלַח וְאֶבֶן הַשֹּׁהַם› (“and-
# gold-of the-earth that-one-ktiv-hu-qere-hi good there the-bdellium and-
# stone-of the-shoham”) — fact holds: gold-good(the-earth-the-that-one-ktiv-
# hu-qere-hi); there-the-bdellium-and-stone-of-the-shoham(Havilah)
m.fact("zahav_tov(ha_aretz_ha_hiv)",
       "sham_ha_bedolach_ve_even_ha_shoham(chavilah)")

# -------------------------- Gen.2.13 · REGISTRY_ROW_2 ----------------------
# וְשֵׁם־הַנָּהָר הַשֵּׁנִי גִּיחוֹן הוּא הַסּוֹבֵב אֵת כָּל־אֶרֶץ כּוּשׁ
# "And the name of the second river is Gihon; the same is it that compasseth
# the whole land of Cush."
m.step("Gen.2.13")
# ‹וְשֵׁם־הַנָּהָר הַשֵּׁנִי גִּיחוֹן› (“and-name the-river the-second
# Gihon”) — named: river-2 := Gichon
m.name("nahar_2", "Gichon")
# ‹הוּא הַסּוֹבֵב אֵת כָּל־אֶרֶץ כּוּשׁ› (“he/it the-circling obj-marker all
# earth Chush”) — fact holds: circling-all-earth-Chush(river-2)
m.fact("sovev_kol_eretz_kush(nahar_2)")

# -------------------------- Gen.2.14 · REGISTRY_ROWS_3_4 -------------------
# וְשֵׁם הַנָּהָר הַשְּׁלִישִׁי חִדֶּקֶל הוּא הַהֹלֵךְ קִדְמַת אַשּׁוּר
# וְהַנָּהָר הָרְבִיעִי הוּא פְרָת
# "And the name of the third river is Hiddekel; that is it which goeth
# toward the east of Asshur. And the fourth river is the Euphrates."
m.step("Gen.2.14")
# ‹חִדֶּקֶל … וְהַנָּהָר הָרְבִיעִי הוּא פְרָת› (“Hiddekel … and-the-river
# the-fourth he/it Perat”) — named: river-3 := Chidekel; river-4 := Perat
m.name("nahar_3", "Chidekel")
m.name("nahar_4", "Perat")
# ‹הוּא הַהֹלֵךְ קִדְמַת אַשּׁוּר› (“he/it the-going east-of Asshur”) — fact
# holds: going-east-of-Asshur(river-3)
m.fact("holekh_qidmat_ashur(nahar_3)")

# -------------------------- Gen.2.15 · TAKE_SETTLE_ASSIGN_JOB --------------
# וַיִּקַּח יְהוָה אֱלֹהִים אֶת־הָאָדָם וַיַּנִּחֵהוּ בְגַן־עֵדֶן לְעָבְדָהּ
# וּלְשָׁמְרָהּ
# "And the LORD God took the man, and put him into the garden of Eden to
# dress it and to keep it."
m.step("Gen.2.15")
# ‹וַיִּקַּח יְהוָה אֱלֹהִים אֶת־הָאָדָם› (“and-he-took YHWH God obj-marker
# the-human”) — event: take — agent the-LORD-God; theme human
m.event("take", agent="YHWH_Elohim", themes=["adam"])
# ‹וַיַּנִּחֵהוּ בְגַן־עֵדֶן› (“and-settled-him in-garden-of Eden”) — event:
# settle — agent the-LORD-God; theme human
m.event("settle", agent="YHWH_Elohim", themes=["adam"])
# ‹לְעָבְדָהּ וּלְשָׁמְרָהּ› (“to-work-her and-to-keep-her”) — role
# assigned: human -> worker-and-keeper
m.assign("adam", "oved_ve_shomer")

# -------------------------- Gen.2.16 · COMMAND_PERMISSION ------------------
# וַיְצַו יְהוָה אֱלֹהִים עַל־הָאָדָם לֵאמֹר מִכֹּל עֵץ־הַגָּן אָכֹל תֹּאכֵל
# "And the LORD God commanded the man, saying: 'Of every tree of the garden
# thou mayest freely eat.'"
m.step("Gen.2.16")
# ‹וַיְצַו יְהוָה אֱלֹהִים עַל־הָאָדָם לֵאמֹר› (“and-he-commanded YHWH God
# upon the-human saying”) — event: command — agent the-LORD-God; theme human
m.event("command", agent="YHWH_Elohim", themes=["adam"])
# ‹מִכֹּל עֵץ־הַגָּן אָכֹל תֹּאכֵל› (“from-all tree-of the-garden eating
# you-may-eat”) — the-LORD-God speaks a demand — LET?: eat(human, from-
# every-tree-of-the-garden)
m.declare("YHWH_Elohim", "LET?",
          "akhal(adam, mi_kol_etz_ha_gan)")
# spec-delta — spec said all herb + all tree to-food (1:29 universal food
# grant), delivery says from-all tree the-garden + one exclusion pending
# (the grant narrows to a bounded domain)
m.spec_delta("kol esev + kol etz le-okhlah (1:29 universal food grant)",
             "mi-kol etz ha-gan + one exclusion pending (the grant narrows to a bounded domain)")

# -------------------------- Gen.2.17 · PROHIBITION_PENALTY -----------------
# וּמֵעֵץ הַדַּעַת טוֹב וָרָע לֹא תֹאכַל מִמֶּנּוּ כִּי בְּיוֹם אֲכָלְךָ
# מִמֶּנּוּ מוֹת תָּמוּת
# "'But of the tree of the knowledge of good and evil, thou shalt not eat of
# it; for in the day that thou eatest thereof thou shalt surely die.'"
m.step("Gen.2.17")
# ‹וּמֵעֵץ הַדַּעַת טוֹב וָרָע לֹא תֹאכַל מִמֶּנּוּ› (“and-from-tree-of the-
# knowledge good and-evil not you-shall-eat from-it”) — the-LORD-God speaks
# a demand — LET-NOT: eat(human, from-the-tree-of-knowledge-of-good-and-
# evil)
m.declare("YHWH_Elohim", "LET-NOT",
          "akhal(adam, me_etz_ha_daat_tov_va_ra)")
# ‹כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת› (“for in-day-of your-eating
# from-it dying you-shall-die”) — standing handler — if in-day-eat(human,
# from-the-tree-of-knowledge-of-good-and-evil) then dying-you-shall-
# die(human)
m.handler("be_yom_akhal(adam, me_etz_ha_daat_tov_va_ra)",
          "mot_tamut(adam)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'nahar_3', 'nahar_2', 'adam', 'nahar_4', 'nahar', 'gan', 'nahar_1', 'etz_ha_chayim', 'etz_ha_daat_tov_va_ra'}
    assert m.presupposed_set() == {'adamah', 'aretz', 'shamayim', 'eden'}
    assert m.REGISTRY["names"] == {'nahar_1': 'Pishon', 'nahar_2': 'Gichon', 'nahar_3': 'Chidekel', 'nahar_4': 'Perat', 'adam': 'oved_ve_shomer'}
    assert m.REGISTRY["writes"] == 5
    assert m.tests_list() == []
    assert m.open_demands() == ['akhal(adam, mi_kol_etz_ha_gan)', 'akhal(adam, me_etz_ha_daat_tov_va_ra)']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 4, 'spec_delta': 4}
    assert sorted(m.WORLD["facts"]) == sorted(['terem(kol_siach_ha_sadeh)', 'terem(kol_esev_ha_sadeh)', 'lo_himtir(YHWH_Elohim, al_ha_aretz)', 'adam_ayin(la_avod_et_ha_adamah)', 'ed_yaaleh_ve_hishqah(kol_pnei_ha_adamah)', 'nahar_yotze_me_eden(le_hashqot_et_ha_gan)', 'yipared_le_arbaah_rashim(nahar)', 'sovev_kol_eretz_ha_chavilah(nahar_1)', 'sham_ha_zahav(chavilah)', 'zahav_tov(ha_aretz_ha_hiv)', 'sham_ha_bedolach_ve_even_ha_shoham(chavilah)', 'sovev_kol_eretz_kush(nahar_2)', 'holekh_qidmat_ashur(nahar_3)', 'handler: IF(be_yom_akhal(adam, me_etz_ha_daat_tov_va_ra)) THEN(mot_tamut(adam))'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 18
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

FROZEN 2026-08-01 (owner order "freeze gen_08 and commit and push"; derived same day, "go, derive gen_08" — book order resumed after the lev_13 pilot): ninth frozen unit, the first POST-BOOT narrative unit. Central findings, all DB-verified before drafting: YHWH's first token and the Eden-exclusive bare compound (2:4-3:23 + Exod 9:30 only); the corpus's first command token (va-yetzav, first of 252); the corpus's FIRST infinitive-absolute doubling — born in the PERMISSION (akhol tokhel), its second token the penalty (mot tamut, head of the 31-member family the law codes fix as the capital formula), its third the serpent's negated quote; the corpus's FIRST PROHIBITION (first lo + imperfect-2ms; second token = 3:17 quoting it back) — LET-NOT's first firing in eight units, under provisional TIR-034 (command-frame disambiguation); the penalty installed as a standing HANDLER (the lev_13 operator on a narrative speech act), with the 2:17 rest bracketing [prohibition | penalty] exactly as Lev 13's law verses bracket [condition | action]; the toledot section-header series opened (first of 13); the corpus's first geography registry (4 ordinal rows, route participles, resource joins pointing at the manna and the priestly vestments); the first JOB (work-and-keep — the Levite duty formula's prototype, pair-level A-join), whose feminine suffixes stay [OPEN]; and the unit's ending state: TWO demands OPEN, one handler armed, no test, no commit — the first unit that ends owing. Pre-flight green in the scratchpad harness (SECTION, two checker patterns, the LET-NOT contract 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.