Eden I: toledot header, garden, first job, FIRST RULE (2:4-17) MODEL · REV 5 · GATES GREEN
אֵלֶּה תוֹלְדוֹת — הַגָּן וְהַמִּצְוָה הָרִאשׁוֹנָה · 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).
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)
אלה תולדות השמים והארץ בהבראם · 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
ביום עשות יהוה אלהים ארץ ושמים · 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 |
| WITNESS_READ | WITNESS-READ(yhwh_elohim_debut, complete_name_over_completed_world) = WITNESS-READ(yhwh-God-debut, complete-name-over-completed-world) THE NAME SHIFT GETS ITS RULE [claim G08-18, machine-checked]. The spec-delta this step already flags — the week's sole agent name אֱלֹהִים (Elohim, 'God') delivered here as the compound יְהוָה אֱלֹהִים (YHWH Elohim, 'the LORD God') — is answered by the chain with a rule: שֵׁם מָלֵא עַל עוֹלָם מָלֵא (shem malei al olam malei, 'a complete Name over a completed world'). The full name waits for the finished world. Bereshit Rabbah 12:15 gives the compound's semantics: mercy and strict justice mixed like hot water with cold, so the world can endure. Machine-checked at derivation: the BARE compound stands in exactly twenty verses of the Torah — nineteen in Genesis 2-3 and Exodus 9:30 alone outside Eden. [folded shape: kept record] | — | Bereshit Rabbah 13:3, Bereshit Rabbah 12:15 | witnessed |
| WITNESS_READ | WITNESS-READ(toledot_header, mortality_class_marker) = WITNESS-READ(generations-header, mortality-class-marker) THE HEADER TYPES ITS OWN SUBJECT [claim G08-20]. תּוֹלְדוֹת (toledot, 'generations') is read as a class marker, not a label: whatever has generations 'dies, decomposes, is created but does not create.' The device the machine records as the corpus's table of contents therefore also declares its subject MORTAL — and this first of the thirteen seats applies it, uniquely, to the heavens and the earth rather than to a person. [folded shape: kept record] | — | Bereshit Rabbah 12:7 | witnessed |
| WITNESS_STATE | WITNESS(chiasm_flip_earth_heaven, equal_creation_recorded_dispute) = WITNESS(chiasm-flip-earth-heaven, equal-creation-recorded-dispute) THE CHIASM IS DELIBERATE, AND SAYS THE TWO ARE EQUAL [claim G08-21]. The machine flags the flip — the header's הַשָּׁמַיִם וְהָאָרֶץ ('the heavens and the earth') against the date-line's אֶרֶץ וְשָׁמָיִם ('earth and heavens'). R. Shimon at a tannaitic seat: everywhere the heavens precede the earth, but in this one place the order reverses, teaching that THE TWO ARE EQUAL. Bereshit Rabbah 12:12 argues the same from the palace and the ship — created as one act. The recorded delta is intentional, not a defect. [folded shape: recorded dispute] | — | Tosefta Keritot 4:7, Bereshit Rabbah 12:12 | witnessed |
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)
וכל שיח השדה טרם יהיה בארץ וכל עשב השדה טרם יצמח · 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
כי לא המטיר יהוה אלהים על הארץ ואדם אין לעבד את האדמה · 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 |
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)
ואד יעלה מן הארץ · 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
והשקה את כל פני האדמה · 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 |
| WITNESS_READ | WITNESS-READ(ed_mist, superseded_irrigation_regime) = WITNESS-READ(mist-mist, superseded-irrigation-regime) THE CHAIN RECORDS A SPEC CHANGE ON THIS PRECONDITION [claim G08-22]. אֵד (ed, 'mist') is read as the world's ORIGINAL irrigation regime, later reconsidered and moved above as rain, for four stated reasons. And the flood generation WEAPONIZES this very verse — 'we need Him not even for rain; a mist rises from the earth' — answered measure for measure with the water that came from above (Genesis 7:12). The unit's own precondition operator is the boast's text. [folded shape: cross-corpus link] | — | Bereshit Rabbah 13:9, Mekhilta DeRabbi Yishmael, Tractate Shirah 2:4 | witnessed |
| WITNESS_READ | WITNESS-READ(ed_mist, sukkah_roof_and_niddah_law_source) = WITNESS-READ(mist-mist, sukkah-roof-and-niddah-law-source) TWO LAWS RIDE THE MIST [claim G08-23]. Resh Lakish derives the SUKKAH-ROOF specification from this verse: thatch must be insusceptible to impurity and grown from the ground, just as the mist arises from the earth — the roof imitating the cloud cover. And from the same verse Adam is read as the BLOOD of the world, grounding the niddah commandment. A precondition state in the machine; a measurable building specification and a commandment in the chain. [folded shape: priced law] | — | Sukkah 11b:14, Jerusalem Talmud Sukkah 1:5:4, Jerusalem Talmud Shabbat 2:6:10 | witnessed |
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)
וייצר יהוה אלהים את האדם עפר מן האדמה ויפח באפיו נשמת חיים · 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
ויהי האדם לנפש חיה · 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 |
| WITNESS_READ | WITNESS-READ(nishmat_chayim, flood_breath_verbal_analogy) = WITNESS-READ(breath-of-life, flood-breath-verbal-analogy) NEW AT DERIVATION, AND THE INK PROVES IT [claim G08-17, machine-checked]. Bereshit Rabbah 14:10 joins this verse to the flood's dying by the verbal analogy it names chayim-chayim ('life'-'life'), ruling the soul-terms interchangeable. The machine confirms the join is not loose association: the construct נִשְׁמַת (nishmat, 'breath of') stands in the Torah in EXACTLY TWO places — our 2:7 and Genesis 7:22 — and both carry the same three elements, נִשְׁמַת ('breath of'), חַיִּים ('life'), and בְּאַפָּיו ('into his nostrils'). What is breathed in here is what is taken away there, in one vocabulary. Argues middah E7 (equal decree — verbal analogy). [folded shape: cross-corpus link] | — | Bereshit Rabbah 14:10 | witnessed |
| WITNESS_STATE | WITNESS(vayyitzer_double_yod, four_recorded_readings) = WITNESS(vayyitzer-double-yod, four-recorded-readings) THE SPELLING DELTA CARRIES FOUR READINGS [claim G08-24]. The machine records וַיִּיצֶר (va-yitzer, 'and He formed') written FULL here and defective at 2:19. The chain reads the extra letter four ways, all held dual-track and none merged: two inclinations, good and evil, formed into the human; two formations, of man and of woman, carrying the seven-month viability measure; formation from the lower realm and the upper, four animal traits composed with four angelic; and one letter for Adam, one for Eve. [folded shape: recorded dispute] | — | Berakhot 61a:3, Bereshit Rabbah 14:2, Bereshit Rabbah 14:3, Eruvin 18a:20 | witnessed |
| WITNESS_READ | WITNESS-READ(nefesh_chayah, self_preservation_command) = WITNESS-READ(living-being-beast, self-preservation-command) THE CATEGORY WORD IS READ AS AN ORDER [claim G08-19, machine-checked]. R. Yosei forbids self-affliction by fasting, reading נֶפֶשׁ חַיָּה (nefesh chayah, 'a living soul') at our verse as a COMMAND: the soul I placed within you — keep it alive. Machine-checked at derivation: the phrase stands in the Torah exactly eight times, ALL in Genesis, and our 2:7 is the only seat where it is prefixed — לְנֶפֶשׁ חַיָּה ('INTO a living soul') — the human entering the category the swarms of 1:20 already held. Bereshit Rabbah 14:9 types the five names of the soul on the same verse, נֶפֶשׁ (nefesh) identified as the BLOOD. [folded shape: priced law] | — | Taanit 22b:11, Bereshit Rabbah 14:9 | witnessed |
| WITNESS_READ | WITNESS-READ(vayyitzer_man_and_beast, shaped_fetus_purity_law) = WITNESS-READ(vayyitzer-man-and-beast, shaped-fetus-purity-law) A PURITY LAW PRICED ON THE VERB'S TWO SEATS [claim G08-25]. Because the forming verb is written of the human here AND of the beasts at 2:19, a birth-impurity law follows by verbal analogy: a miscarriage bearing animal form still counts for the purity periods. The machine's own two-token census of the verb is the law's ground. Argues middah I2 (equal decree at law strength). [folded shape: priced law] | — | Niddah 22b:13, Chullin 71a:12 | witnessed |
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)
ויטע יהוה אלהים גן בעדן מקדם · 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
וישם שם את האדם אשר יצר · 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 |
| WITNESS_STATE | WITNESS(gan_planting, recorded_dispute_time_and_containment) = WITNESS(garden-planting, recorded-dispute-time-and-containment) TWO DISPUTES SIT ON THE PLANTING [claim G08-26]. WHEN: מִקֶּדֶם (mikedem) read not as 'in the east' but as BEFOREHAND — the garden planted on day three, before the human of day six — against the reading mi-kodem, the garden created BEFORE THE WORLD, one of the seven pre-creation things. The machine's created-time and narrated-time columns split exactly here. WHAT CONTAINS WHAT: the modeled parent edge, garden inside Eden, is itself disputed — R. Yehuda holds the garden the larger, R. Yosei holds Eden the larger. The edge stands as modeled and now carries its dispute. [folded shape: recorded dispute] | — | Bereshit Rabbah 15:3, Pesachim 54a:10, Bereshit Rabbah 15:2 | witnessed |
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)
ויצמח יהוה אלהים מן האדמה כל עץ נחמד למראה וטוב למאכל · 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
ועץ החיים בתוך הגן ועץ הדעת טוב ורע · 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 |
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)
ונהר יצא מעדן להשקות את הגן · 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
ומשם יפרד והיה לארבעה ראשים · 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 |
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)
שם האחד פישון · 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
הוא הסבב את כל ארץ החוילה אשר שם הזהב · 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 |
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)
וזהב הארץ ההוא טוב · 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
שם הבדלח ואבן השהם · 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 |
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)
ושם הנהר השני גיחון · 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
הוא הסובב את כל ארץ כוש · 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 |
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)
ושם הנהר השלישי חדקל הוא ההלך קדמת אשור · 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
והנהר הרביעי הוא פרת · 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 |
| WITNESS_READ | WITNESS-READ(known_geography_flags, proleptic_name_rule) = WITNESS-READ(known-geography-flags, proleptic-name-rule) THE MACHINE'S FLAG GETS THE CHAIN'S OWN RULE [claim G08-27]. This step's geography is flagged as naming places before they existed. At its legal seat the question is put and answered outright — 'and is a verse written for the future? YES' — Rav Yosef identifying our אַשּׁוּר (Ashur) as Seleucia, named before it was founded; and Bereshit Rabbah 16:2 says the same of Havilah, 'it did not yet exist; He tells the outcome from the outset.' The presupposition flags are upgraded from unexplained forward references to a named, chain-ruled device. [folded shape: kept record] | — | Ketubot 10b:10, Bereshit Rabbah 16:2 | witnessed |
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)
ויקח יהוה אלהים את האדם · 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
וינחהו בגן עדן לעבדה ולשמרה · 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 |
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)
ויצו יהוה אלהים על האדם לאמר · 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
מכל עץ הגן אכל תאכל · 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 |
| WITNESS_READ | WITNESS-READ(declare_payload, six_noachide_commandments) = WITNESS-READ(declare-payload, six-noachide-commandments) THE CROWN: SIX LAWS READ OFF THIS OPERATOR'S OWN WORDS [claim G08-28]. R. Yochanan derives the commandments binding all humanity word by word from this verse — צַו (tzav, 'command') yielding the ban on idolatry; יְהוָה (YHWH) blasphemy; אֱלֹהִים (Elohim) the duty of courts; הָאָדָם (ha-adam, 'the man') bloodshed; לֵאמֹר (lemor, 'saying') the forbidden relations; and מִכֹּל עֵץ הַגָּן ('of every tree of the garden') robbery. Pesikta DeRav Kahana 12:1 extends it into an accretion ladder: six to Adam, the limb-from-the-living added for Noah, onward to Sinai. THE COUNT IS DISPUTED AND THE DISSENT IS RECORDED — R. Yehuda holds Adam was commanded on idolatry ONLY, R. Yehuda ben Beteira adds blessing the Name, others add courts. The unit's declare payload is unchanged; the laws ride it. [folded shape: priced law] | — | Sanhedrin 56b:4, Bereshit Rabbah 16:6, Pesikta DeRav Kahana 12:1, Sanhedrin 56b:23 | witnessed |
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)
ומעץ הדעת טוב ורע לא תאכל ממנו · 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
כי ביום אכלך ממנו מות תמות · 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 |
| WITNESS_READ | WITNESS-READ(death_handler, divine_day_scope_and_exact_payload) = WITNESS-READ(death-handler, divine-day-scope-and-exact-payload) THE HANDLER THAT LOOKS LIKE IT NEVER FIRED [claim G08-29]. The human eats and does not die that day. The chain resolves it on the operator's own wording, three ways. SCOPE OF THE DAY: 'you do not know whether one of My days or one of yours — I will grant him one of Mine, a thousand years' (Psalms 90:4); the handler DID fire, Adam dying at 930, inside the divine day. EXACT PAYLOAD: the prohibition was on EATING only, and the touching clause is the woman's addition at 3:3 — on this exact gap the principle כָּל הַמּוֹסִיף גּוֹרֵעַ (kol ha-mosif gorea, 'whoever adds, subtracts') is minted, the fence built taller than the law being what the serpent pushed against. MOTIVE ON RECORD: the serpent is quoted reasoning FROM this clause — 'I know He said on the day you eat you shall die; I will trick them and they will be punished.' [folded shape: kept record] | — | Bereshit Rabbah 19:8, Bereshit Rabbah 19:3, Sanhedrin 29a:34, Jerusalem Talmud Kiddushin 4:1:9 | witnessed |
State machine
| 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.
אֵלֶּה תוֹלְדוֹת הַשָּׁמַיִם · 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.
תוֹלְדוֹת · 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. DISCHARGED 2026-08-24 (rev 2): every named source read at its primary seat in the RE-era sitting (ledger logic/oral_triage/gen_08_toledot_garden_first_rule_2026-08-24.md); findings in the ORAL_* blocks below.
עַיִן לֹא רָאָתָה · (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. DISCHARGED 2026-08-24 (rev 2): every named source read at its primary seat in the RE-era sitting (ledger logic/oral_triage/gen_08_toledot_garden_first_rule_2026-08-24.md); findings in the ORAL_* blocks below.
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.
רוּחַ מְמַלְלָא · 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.
verified Bavli Sanhedrin 56b:4 (the derivation), 56b:23 (the count dissent), 56a:15, 57b:12 (sugya seats); Bereshit Rabbah 16:6 (the midrashic twin + the Rabbis' alternative + akhol-tokhal slaughter gate + mot-tamut multi-target); Pesikta DeRav Kahana 12:1 (the derivation + the Adam-to-Sinai accretion ladder; read in Hebrew)
וַיְצַו — אֵלּוּ שֵׁשׁ מִצְוֹת · vaytzav — elu shesh mitzvot · THE LAW CROWN, read at its primaries: the commandments binding all humanity derived word-by-word from OUR 2:16 DECLARE — vaytzav ("He commanded") = idolatry; YHWH = blasphemy; Elohim = courts; ha-adam = bloodshed; lemor ("saying") = forbidden relations; mi-kol etz ha-gan ("of every tree of the garden") = theft. Recorded DISSENT on the count (Sanhedrin 56b:23): R. Yehuda — idolatry only; R. Yehuda ben Beteira — also blasphemy; some — also courts. The doubled permission akhol tokhal ("you may surely eat") read as the slaughter gate (limb-from-living allusion). Pesikta DeRav Kahana 12:1 sets our op as rung one of the chain's law-count ladder: Adam six, Noah +limb, Abraham +circumcision, Isaac +eighth-day, Jacob +the sinew, Judah +levirate, Sinai 613 (248 limbs / 365 days). The v1 tripwire fired exactly as predicted: legal formulas on a narrative span, at the first command verse.
Dual-track; the unit's DECLARE payload unchanged — the laws ride it as the chain's readings.
וַיְצַו — אֵלּוּ שֵׁשׁ מִצְוֹת · vaytzav — elu shesh mitzvot · THE LAW CROWN, read at its primaries: the commandments binding all humanity derived word-by-word from OUR 2:16 DECLARE — vaytzav ("He commanded") = idolatry; YHWH = blasphemy; Elohim = courts; ha-adam = bloodshed; lemor ("saying") = forbidden relations; mi-kol etz ha-gan ("of every tree of the garden") = theft. Recorded DISSENT on the count (Sanhedrin 56b:23): R. Yehuda — idolatry only; R. Yehuda ben Beteira — also blasphemy; some — also courts. The doubled permission akhol tokhal ("you may surely eat") read as the slaughter gate (limb-from-living allusion). Pesikta DeRav Kahana 12:1 sets our op as rung one of the chain's law-count ladder: Adam six, Noah +limb, Abraham +circumcision, Isaac +eighth-day, Jacob +the sinew, Judah +levirate, Sinai 613 (248 limbs / 365 days). The v1 tripwire fired exactly as predicted: legal formulas on a narrative span, at the first command verse.
Dual-track; the unit's DECLARE payload unchanged — the laws ride it as the chain's readings.
verified Bereshit Rabbah 19:8 (one of MY days = 1,000 years; 930 + 70); Bereshit Rabbah 16:6 end (death for Adam / Eve / descendants); Bereshit Rabbah 19:3 + Bavli Sanhedrin 29a:34 (eat-only exact scope; whoever-adds-subtracts minted here); Jerusalem Talmud Kiddushin 4:1:9 (the serpent's motive quotes the clause); Pesikta DeRav Kahana 14:5 (Adam owns causation; read in Hebrew)
כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת · ki be-yom akhalkha mimennu mot tamut · The 2:17 HANDLER's semantics read at the primaries: (1) DAY-SCOPE — "you do not know whether one of My days or one of yours; I grant him one of MINE" (Psalm 90:4's thousand years): the handler FIRED — Adam dies at 930, seventy left to the descendants. (2) MULTI-TARGET — mot tamut (the doubled death): death for Adam, for Eve, for the descendants. (3) EXACT SCOPE witnessed — the prohibition was EAT-ONLY; the touch-clause is 3:3's ADDITION, and Sanhedrin 29a mints the standing principle on it: whoever adds, subtracts. (4) KNOWLEDGE PROPAGATION — the serpent's recorded motive REASONS FROM our clause ("I know He said on the day you eat you shall die — I will trick them and inherit the earth"). (5) JUSTICE OWNED — Adam's own testimony: "I caused my own death" (the physician parable).
The HANDLER op unchanged; its firing semantics now carried as the chain's recorded readings.
כִּי בְּיוֹם אֲכָלְךָ מִמֶּנּוּ מוֹת תָּמוּת · ki be-yom akhalkha mimennu mot tamut · The 2:17 HANDLER's semantics read at the primaries: (1) DAY-SCOPE — "you do not know whether one of My days or one of yours; I grant him one of MINE" (Psalm 90:4's thousand years): the handler FIRED — Adam dies at 930, seventy left to the descendants. (2) MULTI-TARGET — mot tamut (the doubled death): death for Adam, for Eve, for the descendants. (3) EXACT SCOPE witnessed — the prohibition was EAT-ONLY; the touch-clause is 3:3's ADDITION, and Sanhedrin 29a mints the standing principle on it: whoever adds, subtracts. (4) KNOWLEDGE PROPAGATION — the serpent's recorded motive REASONS FROM our clause ("I know He said on the day you eat you shall die — I will trick them and inherit the earth"). (5) JUSTICE OWNED — Adam's own testimony: "I caused my own death" (the physician parable).
The HANDLER op unchanged; its firing semantics now carried as the chain's recorded readings.
verified Bereshit Rabbah 15:3 (garden day three, mikedem = beforehand) vs Bavli Pesachim 54a:10 (garden before the world, mikedem = mi-kodem); Bereshit Rabbah 15:2 (which contains which — R. Yehuda vs R. Yosei); Bavli Taanit 10a:8 (world = 1/60 of the garden); Bavli Berakhot 34b:26 + Sanhedrin 99a:16 (garden ≠ Eden from our 2:10)
גַּן בְּעֵדֶן מִקֶּדֶם · gan be-eden mikedem · TWO recorded disputes dual-tracked on the garden install: (1) CREATED-TIME — planted on day three, before man (BR 15:3), or before the world entirely (Pesachim 54a, one of the seven pre-creation things): the created-time column carries a machloket between seats, the same two-column pattern as the lights. (2) CONTAINMENT — the registry's own parent edge is disputed: R. Yehuda, the garden larger (Eden inside it); R. Yosei, Eden larger (the garden inside — our 2:8 ink + the runoff argument + Isaiah 51:3 decisive). The measure chain attaches: from a beit-kor's runoff a tarkav is watered — the world is ONE-SIXTIETH of the garden (Taanit 10a). And the chain PROVES garden ≠ Eden from our own 2:10 preposition geometry ("a river went out FROM Eden TO water the garden") — independent witness to the two-entity registry.
PARENT edge gan⊂eden stands as modeled, now carrying its recorded dispute; dual-track, never merged.
גַּן בְּעֵדֶן מִקֶּדֶם · gan be-eden mikedem · TWO recorded disputes dual-tracked on the garden install: (1) CREATED-TIME — planted on day three, before man (BR 15:3), or before the world entirely (Pesachim 54a, one of the seven pre-creation things): the created-time column carries a machloket between seats, the same two-column pattern as the lights. (2) CONTAINMENT — the registry's own parent edge is disputed: R. Yehuda, the garden larger (Eden inside it); R. Yosei, Eden larger (the garden inside — our 2:8 ink + the runoff argument + Isaiah 51:3 decisive). The measure chain attaches: from a beit-kor's runoff a tarkav is watered — the world is ONE-SIXTIETH of the garden (Taanit 10a). And the chain PROVES garden ≠ Eden from our own 2:10 preposition geometry ("a river went out FROM Eden TO water the garden") — independent witness to the two-entity registry.
PARENT edge gan⊂eden stands as modeled, now carrying its recorded dispute; dual-track, never merged.
verified Bavli Berakhot 61a:3 + Bereshit Rabbah 14:4 (two inclinations); Bereshit Rabbah 14:2 + Jerusalem Talmud Yevamot 4:2:5 (man/woman, seven/nine viability law); Bereshit Rabbah 14:3 (upper/lower realms, conditional mortality); Bereshit Rabbah 14:5 (this world / world to come); Eruvin 18a:20 (one yod Adam, one Eve); Bereshit Rabbah 14:9 (five soul-names, nefesh = blood); Sanhedrin 38a:18 (dust from the whole world) vs Bereshit Rabbah 14:8 + Jerusalem Talmud Nazir 7:2:6 (the altar-spot spoonful; decay measure); Niddah 22b:13 + Chullin 71a:12 (shaped-fetus law); Taanit 22b:11 (self-preservation); Jerusalem Talmud Shabbat 2:6:11 (challah)
וַיִּיצֶר — שְׁנֵי יְצָרִים · vayyitzer — shnei yetzarim · The 2:7 forming op's full chain dossier: the DOUBLE-YOD spec delta carries FOUR recorded readings (two inclinations; man and woman; seven- and nine-month formations — with the viability law riding; upper and lower realms — closing "if he sins he dies"); the soul receives its FIVE-NAME register (nefesh, ruach, neshamah, yechidah, chayah — nefesh = BLOOD, the join gen_21's blood law stands on); the DUST-SOURCE slot is disputed (gathered from the whole world vs a spoonful from the altar's place — forming-site = atonement-site, the sanctuary join); and FOUR laws ride the op: fetus-viability, shaped-fetus purity (yetzirah written for man and beast alike), self-preservation ("the soul I placed in you — sustain it"), challah (Adam the pure challah of the world), plus the corpse-decay measure (the spoonful returns).
All four double-yod readings dual-tracked; Onkelos's u-vra surrender of the spelling already recorded in ORAL_onkelos_tier_a.
וַיִּיצֶר — שְׁנֵי יְצָרִים · vayyitzer — shnei yetzarim · The 2:7 forming op's full chain dossier: the DOUBLE-YOD spec delta carries FOUR recorded readings (two inclinations; man and woman; seven- and nine-month formations — with the viability law riding; upper and lower realms — closing "if he sins he dies"); the soul receives its FIVE-NAME register (nefesh, ruach, neshamah, yechidah, chayah — nefesh = BLOOD, the join gen_21's blood law stands on); the DUST-SOURCE slot is disputed (gathered from the whole world vs a spoonful from the altar's place — forming-site = atonement-site, the sanctuary join); and FOUR laws ride the op: fetus-viability, shaped-fetus purity (yetzirah written for man and beast alike), self-preservation ("the soul I placed in you — sustain it"), challah (Adam the pure challah of the world), plus the corpse-decay measure (the spoonful returns).
All four double-yod readings dual-tracked; Onkelos's u-vra surrender of the spelling already recorded in ORAL_onkelos_tier_a.
verified Bereshit Rabbah 13:9 (the regime change, four reasons) + 13:10 / Bavli Taanit 9b:10 (rain-source dispute, our verse the proof-text); Bavli Sukkah 11b:14 + Jerusalem Talmud Sukkah 1:5:4 (sukkah-roof law from the mist); Jerusalem Talmud Shabbat 2:6:10 (Adam the blood of the world — niddah's grounding); Bereshit Rabbah 13:14 / Jerusalem Talmud Taanit 2:1:12 (ed = eid, the calamity reading); Mekhilta DeRabbi Yishmael Shirah 2:4 + Sifrei Devarim 43:8 (the flood generation's boast); Jerusalem Talmud Taanit 3:3:5 (five cloud names)
וְאֵד יַעֲלֶה מִן הָאָרֶץ · ve-ed yaaleh min ha-aretz · The 2:6 mist precondition's dossier: the chain records a REGIME CHANGE on our token — the mist was the original irrigation and He reconsidered, moving water above for four stated reasons (ending: so all eyes turn heavenward — the rain gate joins 13:7's petitioner reading of our 2:5). TWO laws ride the token: the sukkah-roof spec (insusceptible to impurity + grown from the ground, LIKE THE MIST) and niddah's homiletic grounding (Adam the blood of the world). The token carries a recorded dual reading (ed "mist" / eid "calamity"). And the flood generation WEAPONIZES our verse ("we need no rain — a mist rises!") answered measure-for-measure through the same water system (Gen 7:12) — a cross-unit join to the flood block.
PRECONDITION_STATE op unchanged; the regime-change and law riders carried as readings.
וְאֵד יַעֲלֶה מִן הָאָרֶץ · ve-ed yaaleh min ha-aretz · The 2:6 mist precondition's dossier: the chain records a REGIME CHANGE on our token — the mist was the original irrigation and He reconsidered, moving water above for four stated reasons (ending: so all eyes turn heavenward — the rain gate joins 13:7's petitioner reading of our 2:5). TWO laws ride the token: the sukkah-roof spec (insusceptible to impurity + grown from the ground, LIKE THE MIST) and niddah's homiletic grounding (Adam the blood of the world). The token carries a recorded dual reading (ed "mist" / eid "calamity"). And the flood generation WEAPONIZES our verse ("we need no rain — a mist rises!") answered measure-for-measure through the same water system (Gen 7:12) — a cross-unit join to the flood block.
PRECONDITION_STATE op unchanged; the regime-change and law riders carried as readings.
verified Bavli Ketubot 10b:10 (the legal seat: 'is a verse written for the future? Yes' — Ashur of our 2:14 = Seleucia); Bereshit Rabbah 16:2-3 (Havilah/Kush/Ashur did not yet exist — 'He tells the outcome from the outset,' Isaiah 46:10); Jerusalem Talmud Yoma 4:4:5 + Bavli Yoma 44b:17 (the seven golds, our 2:12 the good-gold seat); Pesikta DeRav Kahana 6:1 (the Yuval extension; read in Hebrew)
מַגִּיד מֵרֵאשִׁית אַחֲרִית · maggid me-reshit acharit · THE ANSWER TO OUR ANACHRONISM CLASS, read at its seats: the map layer's forward references (Havilah, Kush, Ashur named before their eponyms exist) are SANCTIONED narrator foreknowledge — "He tells the outcome from the outset" — and the Babylonian Talmud makes it a LEGAL precedent at Ketubot 10b (our 2:14 grounds the rule that Torah language may name what is destined to exist). NOTE_PRESUPPOSED semantics upgraded from flagged-anachronism to chain-ruled proleptic reference. Riders: the SEVEN-GOLDS register opens from our 2:12 ("good gold" the first kind — Temple-vessel vocabulary); the chain extends the river registry with the name Yuval as Behemoth's watering source.
The machine's known-geography flags stand — now paired with the chain's own rule for them.
מַגִּיד מֵרֵאשִׁית אַחֲרִית · maggid me-reshit acharit · THE ANSWER TO OUR ANACHRONISM CLASS, read at its seats: the map layer's forward references (Havilah, Kush, Ashur named before their eponyms exist) are SANCTIONED narrator foreknowledge — "He tells the outcome from the outset" — and the Babylonian Talmud makes it a LEGAL precedent at Ketubot 10b (our 2:14 grounds the rule that Torah language may name what is destined to exist). NOTE_PRESUPPOSED semantics upgraded from flagged-anachronism to chain-ruled proleptic reference. Riders: the SEVEN-GOLDS register opens from our 2:12 ("good gold" the first kind — Temple-vessel vocabulary); the chain extends the river registry with the name Yuval as Behemoth's watering source.
The machine's known-geography flags stand — now paired with the chain's own rule for them.
verified Bereshit Rabbah 16:5 (le-ovdah u-leshomrah = Shabbat, or = the offerings); Sifrei Devarim 41:17 (= Torah-study and the commandments); Bereshit Rabbah 15:5 (placement joined to the ark's 'there to this day,' 2 Chr 5:9 — permanent, conditional); Vayikra Rabbah 1:9 (the sharecropper); Pesikta DeRav Kahana 12:7 (a time to enter, a time to leave; read in Hebrew)
לְעָבְדָהּ וּלְשָׁמְרָהּ · le-ovdah u-leshomrah · The 2:15 ASSIGN op's job slot carries a THREE-WAY recorded semantics set: work-and-keep = the Shabbat pair (six days' work / keep the day), or the offerings (avodah/tishmeru joins), or Torah-study and observance ("what work did the garden need?"). The PLACEMENT itself is read as intended-permanent by verbal analogy to THE ARK in the Temple ("and it is there to this day," 2 Chr 5:9) — conditional on remaining as formed: the same placement-permanence class the world era tracks from tent to temple. Ecclesiastes' time-pairs give the op its exit twin (a time to enter — our vayanichehu; a time to leave — 3:24), paired with Noah's ark entry/exit: the chain's container enter/exit class.
ASSIGN payload unchanged; three readings dual-tracked, none merged.
לְעָבְדָהּ וּלְשָׁמְרָהּ · le-ovdah u-leshomrah · The 2:15 ASSIGN op's job slot carries a THREE-WAY recorded semantics set: work-and-keep = the Shabbat pair (six days' work / keep the day), or the offerings (avodah/tishmeru joins), or Torah-study and observance ("what work did the garden need?"). The PLACEMENT itself is read as intended-permanent by verbal analogy to THE ARK in the Temple ("and it is there to this day," 2 Chr 5:9) — conditional on remaining as formed: the same placement-permanence class the world era tracks from tent to temple. Ecclesiastes' time-pairs give the op its exit twin (a time to enter — our vayanichehu; a time to leave — 3:24), paired with Noah's ark entry/exit: the chain's container enter/exit class.
ASSIGN payload unchanged; three readings dual-tracked, none merged.
verified Bereshit Rabbah 13:3 (complete Name over a completed world); Bereshit Rabbah 12:15 (mercy + justice mixed); Bereshit Rabbah 12:7 (toladot as class marker); Bereshit Rabbah 12:10 + Jerusalem Talmud Chagigah 2:1:15 (be-heh: this world with heh, the world to come with yod); Bereshit Rabbah 12:12 + Bavli Yoma 54b:5 (one act / each-from-its-own beside the chiasm flip)
שֵׁם מָלֵא עַל עוֹלָם מָלֵא · shem malei al olam malei · The 2:4 header's dossier: the COMPOUND NAME's debut (YHWH Elohim, our divine_name_debut token) carries the chain's stated RULE — "a complete Name over a completed world" — with the mercy+justice mixture as its semantics (the cups analogy). TOLADOT is typed as a CLASS MARKER on the 13-header series our SECTION op opens: whatever has toladot "dies, decomposes, is created but does not create" (stated exception: the One above). The be-hibara'am token carries the be-heh letter reading (this world with heh, effortless word-creation — Psalm 33:6, the census's own psalm; independent Jerusalem Talmud witness). Beside our chiasm-flip delta the chain answers: heavens and earth created AS ONE ACT — so either order truthful.
SECTION / TIME_ANCHOR / NOTE_SPEC_DELTA ops unchanged; readings ride them.
שֵׁם מָלֵא עַל עוֹלָם מָלֵא · shem malei al olam malei · The 2:4 header's dossier: the COMPOUND NAME's debut (YHWH Elohim, our divine_name_debut token) carries the chain's stated RULE — "a complete Name over a completed world" — with the mercy+justice mixture as its semantics (the cups analogy). TOLADOT is typed as a CLASS MARKER on the 13-header series our SECTION op opens: whatever has toladot "dies, decomposes, is created but does not create" (stated exception: the One above). The be-hibara'am token carries the be-heh letter reading (this world with heh, effortless word-creation — Psalm 33:6, the census's own psalm; independent Jerusalem Talmud witness). Beside our chiasm-flip delta the chain answers: heavens and earth created AS ONE ACT — so either order truthful.
SECTION / TIME_ANCHOR / NOTE_SPEC_DELTA ops unchanged; readings ride them.
verified Bereshit Rabbah 19:9; Eikhah Rabbah Petichta 4; Pesikta DeRav Kahana 15:1 (read in Hebrew) — three seats of one mapping
אַיֶּכָּה — אֵיכָה · ayeka — eikha · Witness tier: the chain's own TEMPLATE/INSTANCE mapping runs through our ops — placed (our 2:15), commanded (our 2:16), violated, banished, expelled, lamented — instanced once for Adam and once for Israel, verse by verse, with the lament pivot written into the ink (ayeka "where are you" spelled as eikha "how," the first word of Lamentations). Eden's ops are the template; the exile is the instance. Recorded at three independent seats.
Witness annotation only — no machine fact; the world era's template class finds its chain seat here.
אַיֶּכָּה — אֵיכָה · ayeka — eikha · Witness tier: the chain's own TEMPLATE/INSTANCE mapping runs through our ops — placed (our 2:15), commanded (our 2:16), violated, banished, expelled, lamented — instanced once for Adam and once for Israel, verse by verse, with the lament pivot written into the ink (ayeka "where are you" spelled as eikha "how," the first word of Lamentations). Eden's ops are the template; the exile is the instance. Recorded at three independent seats.
Witness annotation only — no machine fact; the world era's template class finds its chain seat here.
Binary trees (ta'amim v3, glue bricks)
Gen.2.4 · parser unique · 11 words
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
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
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
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
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
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
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
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
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
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
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
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
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
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
#!/usr/bin/env python3
# TorahSim — (c) 2026 Brian LeBlanc · MIT license (see LICENSE at repo root)
# =============================================================================
# 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)")
# witness-tier presupposed read: complete_name_over_completed_world on
# yhwh_elohim_debut — read, not installed
m.witness_read("yhwh_elohim_debut", "complete_name_over_completed_world",
cites=["Bereshit Rabbah 13:3", "Bereshit Rabbah 12:15"])
# witness-tier presupposed read: mortality_class_marker on toledot_header —
# read, not installed
m.witness_read("toledot_header", "mortality_class_marker",
cites=["Bereshit Rabbah 12:7"])
# witness-grounded state (its own tier): equal_creation_recorded_dispute on
# chiasm_flip_earth_heaven
m.witness_state("chiasm_flip_earth_heaven", "equal_creation_recorded_dispute",
cites=["Tosefta Keritot 4:7", "Bereshit Rabbah 12:12"])
# -------------------------- 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)")
# witness-tier presupposed read: superseded_irrigation_regime on ed_mist —
# read, not installed
m.witness_read("ed_mist", "superseded_irrigation_regime",
cites=["Bereshit Rabbah 13:9", "Mekhilta DeRabbi Yishmael, Tractate Shirah 2:4"])
# witness-tier presupposed read: sukkah_roof_and_niddah_law_source on
# ed_mist — read, not installed
m.witness_read("ed_mist", "sukkah_roof_and_niddah_law_source",
cites=["Sukkah 11b:14", "Jerusalem Talmud Sukkah 1:5:4", "Jerusalem Talmud Shabbat 2:6:10"])
# -------------------------- 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)")
# witness-tier presupposed read: flood_breath_verbal_analogy on
# nishmat_chayim — read, not installed
m.witness_read("nishmat_chayim", "flood_breath_verbal_analogy",
cites=["Bereshit Rabbah 14:10"])
# witness-grounded state (its own tier): four_recorded_readings on
# vayyitzer_double_yod
m.witness_state("vayyitzer_double_yod", "four_recorded_readings",
cites=["Berakhot 61a:3", "Bereshit Rabbah 14:2", "Bereshit Rabbah 14:3", "Eruvin 18a:20"])
# witness-tier presupposed read: self_preservation_command on nefesh_chayah
# — read, not installed
m.witness_read("nefesh_chayah", "self_preservation_command",
cites=["Taanit 22b:11", "Bereshit Rabbah 14:9"])
# witness-tier presupposed read: shaped_fetus_purity_law on
# vayyitzer_man_and_beast — read, not installed
m.witness_read("vayyitzer_man_and_beast", "shaped_fetus_purity_law",
cites=["Niddah 22b:13", "Chullin 71a:12"])
# -------------------------- 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")
# witness-grounded state (its own tier):
# recorded_dispute_time_and_containment on gan_planting
m.witness_state("gan_planting", "recorded_dispute_time_and_containment",
cites=["Bereshit Rabbah 15:3", "Pesachim 54a:10", "Bereshit Rabbah 15:2"])
# -------------------------- 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)")
# witness-tier presupposed read: proleptic_name_rule on
# known_geography_flags — read, not installed
m.witness_read("known_geography_flags", "proleptic_name_rule",
cites=["Ketubot 10b:10", "Bereshit Rabbah 16:2"])
# -------------------------- 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)")
# witness-tier presupposed read: six_noachide_commandments on
# declare_payload — read, not installed
m.witness_read("declare_payload", "six_noachide_commandments",
cites=["Sanhedrin 56b:4", "Bereshit Rabbah 16:6", "Pesikta DeRav Kahana 12:1", "Sanhedrin 56b:23"])
# -------------------------- 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)")
# witness-tier presupposed read: divine_day_scope_and_exact_payload on
# death_handler — read, not installed
m.witness_read("death_handler", "divine_day_scope_and_exact_payload",
cites=["Bereshit Rabbah 19:8", "Bereshit Rabbah 19:3", "Sanhedrin 29a:34", "Jerusalem Talmud Kiddushin 4:1:9"])
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'adam', 'etz_ha_chayim', 'etz_ha_daat_tov_va_ra', 'gan', 'nahar', 'nahar_1', 'nahar_2', 'nahar_3', 'nahar_4'}
assert m.presupposed_set() == {'adamah', 'aretz', 'eden', 'shamayim'}
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
assert sorted(m.WORLD["witnessed"]) == ['chiasm_flip_earth_heaven', 'gan_planting', 'vayyitzer_double_yod']
assert m.WORLD["witnessed"]['chiasm_flip_earth_heaven']["cites"] == ['Tosefta Keritot 4:7', 'Bereshit Rabbah 12:12']
assert all('equal_creation_recorded_dispute' not in f for f in m.WORLD["facts"])
assert m.WORLD["witnessed"]['gan_planting']["cites"] == ['Bereshit Rabbah 15:3', 'Pesachim 54a:10', 'Bereshit Rabbah 15:2']
assert all('recorded_dispute_time_and_containment' not in f for f in m.WORLD["facts"])
assert m.WORLD["witnessed"]['vayyitzer_double_yod']["cites"] == ['Berakhot 61a:3', 'Bereshit Rabbah 14:2', 'Bereshit Rabbah 14:3', 'Eruvin 18a:20']
assert all('four_recorded_readings' not in f for f in m.WORLD["facts"])
assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('yhwh_elohim_debut', 'complete_name_over_completed_world'), ('toledot_header', 'mortality_class_marker'), ('ed_mist', 'superseded_irrigation_regime'), ('ed_mist', 'sukkah_roof_and_niddah_law_source'), ('nishmat_chayim', 'flood_breath_verbal_analogy'), ('nefesh_chayah', 'self_preservation_command'), ('vayyitzer_man_and_beast', 'shaped_fetus_purity_law'), ('known_geography_flags', 'proleptic_name_rule'), ('declare_payload', 'six_noachide_commandments'), ('death_handler', 'divine_day_scope_and_exact_payload')]
assert m.WITNESS_READS[0]["cites"] == ['Bereshit Rabbah 13:3', 'Bereshit Rabbah 12:15']
assert all('complete_name_over_completed_world' not in f for f in m.WORLD["facts"])
assert 'yhwh_elohim_debut' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[1]["cites"] == ['Bereshit Rabbah 12:7']
assert all('mortality_class_marker' not in f for f in m.WORLD["facts"])
assert 'toledot_header' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[2]["cites"] == ['Bereshit Rabbah 13:9', 'Mekhilta DeRabbi Yishmael, Tractate Shirah 2:4']
assert all('superseded_irrigation_regime' not in f for f in m.WORLD["facts"])
assert 'ed_mist' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[3]["cites"] == ['Sukkah 11b:14', 'Jerusalem Talmud Sukkah 1:5:4', 'Jerusalem Talmud Shabbat 2:6:10']
assert all('sukkah_roof_and_niddah_law_source' not in f for f in m.WORLD["facts"])
assert 'ed_mist' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[4]["cites"] == ['Bereshit Rabbah 14:10']
assert all('flood_breath_verbal_analogy' not in f for f in m.WORLD["facts"])
assert 'nishmat_chayim' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[5]["cites"] == ['Taanit 22b:11', 'Bereshit Rabbah 14:9']
assert all('self_preservation_command' not in f for f in m.WORLD["facts"])
assert 'nefesh_chayah' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[6]["cites"] == ['Niddah 22b:13', 'Chullin 71a:12']
assert all('shaped_fetus_purity_law' not in f for f in m.WORLD["facts"])
assert 'vayyitzer_man_and_beast' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[7]["cites"] == ['Ketubot 10b:10', 'Bereshit Rabbah 16:2']
assert all('proleptic_name_rule' not in f for f in m.WORLD["facts"])
assert 'known_geography_flags' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[8]["cites"] == ['Sanhedrin 56b:4', 'Bereshit Rabbah 16:6', 'Pesikta DeRav Kahana 12:1', 'Sanhedrin 56b:23']
assert all('six_noachide_commandments' not in f for f in m.WORLD["facts"])
assert 'declare_payload' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[9]["cites"] == ['Bereshit Rabbah 19:8', 'Bereshit Rabbah 19:3', 'Sanhedrin 29a:34', 'Jerusalem Talmud Kiddushin 4:1:9']
assert all('divine_day_scope_and_exact_payload' not in f for f in m.WORLD["facts"])
assert 'death_handler' not in m.WORLD["witnessed"]
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.