Eden III: the serpent, the misquoted rule, the eating, the interrogation (3:1-13) FROZEN
וְהַנָּחָשׁ הָיָה עָרוּם — הַהַפָּרָה · ve-ha-nachash hayah arum — ha-hafarah · 'and the serpent was cunning' — the violation
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The violation trace (3:1-13): opens on the serpent's state clause (haya arum — background perfect, the 1:2/2:5 onset pattern: the span introduces its actor by description before any event) and closes on the woman's confession (3:13) — 3:14 opens the sentencing series (va-yomer ... el-ha-nachash 'because you did this': verdict speech, the next unit). Inside: the question with the inverted quote, the woman's amended quote, the flat contradiction, the counter-theory, the creature-run test, the trigger chain, the eye-opening receipt, the first manufacture, the hiding, and the three-question interrogation with two confessions. The bridge INTO the unit is the 2:25/3:1 pun (arumim/arum — one token each, DB-verified at gen_09). | established |
| B | Hebrew source + trees | All 13 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: 3:1 brackets the serpent's CREDENTIALS first — [was cunning ... which YHWH Elohim had MADE | the question with the misquote]: a creature before a speaker, the compound name in the credential clause and absent from the quote. 3:3 carries the SAME rare near-poetic accent pair (zinor + segol) that marked the first human speech at 2:23 — now marking the woman's QUOTATION; its rest isolates pen temutun (the softened penalty) as the closing arm. 3:6's etnachta sits ON va-tokhal ('and she ATE') — the trigger verb itself carries the verse's pivot; the right arm is the transfer (gave ... and he ate). 3:8 [the hearing ... at the breeze of the day | the hiding ... in the MIDST of the garden's trees — the address the woman gave the forbidden tree at 3:3]. 3:12 [and the human said | the whole blame speech] — the rest isolates the speaker from his deflection. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 3:1 haya perfect (background onset), then NINE speech verbs structure the span. THE QUOTES, diffed against gen_08's frozen text: serpent (3:1) — lo tokhlu MI-KOL (scope inverted), 2mp (pluralized), bare Elohim (name reduced; the compound vanishes for exactly 3:1b-5 and returns at 3:8 x2 — DB-verified); woman (3:2-3) — mi-kol dropped and doubling gone (nokhel), tree relocated to be-tokh ha-gan (2:9's address for the tree of LIFE), fence ADDED (ve-lo tigu bo — naga's FIRST corpus token inside the invented clause), penalty softened (pen 'lest' for ki be-yom; doubling dropped); serpent (3:4) — lo-MOT TEMUTUN: the dropped doubling RESTORED to be NEGATED (doubling #3; the first contradiction of a divine word). 3:5 the counter-theory in LAW GRAMMAR: ve-nifqechu (weqatal, TIR-029) + vi-heyitem (weqatal) — the serpent forecasts in the legal spine form; receipted at 3:7 by verb-echo (va-tipakachna, niphal wayyiqtol — the Miriam pattern, paid to the SERPENT'S spec). 3:6 the TEST: va-tere ... ki tov — the week's see-mode formula, FIRST CREATURE AGENT, criterion tov le-maakhal (2:9's grant); then taavah (first token; only other Torah home Num 11:4) and le-haskil ('to make wise'); then the trigger chain: va-tiqach / va-tokhal / va-titen ... imah ('with her' [OPEN]) / va-yokhal — the 2ms addressee eats. 3:7 agentless eye-opening (VNw3fp), knowing delivers NAKED (erumim, lemma 5903 — a different entry than 2:25's 6174), first human manufacture (va-yaasu ... chagorot — Torah hapax). 3:8-13 the protocol: first hiding (hithpael), first divine question (ayeka -> 4:9 Abel), first fear (va-ira — token #2 is 'fear not, Abram'), the rule quoted BACK in a third form (tzivitikha le-vilti akhol — the command root receipting itself), the blame chain (natata/natnah — the give verb passed along; ktiv-qere hu/hi at 3:12), and both confessions ending va-okhel ('and I ate'). hishiani ('deceived me') — Torah hapax. | tested |
| D | Predicates & outcomes | The span is a chain of custody for one rule: issued (gen_08), inverted (serpent), amended (woman: minus the totality, minus both doublings, plus a fence, minus the day-certainty), contradicted (serpent), tested (the woman runs the week's own instrument and it returns PASS on the criterion the garden grant itself established — 2:9 called EVERY tree tov le-maakhal: the test tests the wrong question), executed (took-ate-gave-ate), receipted (eyes opened — to the serpent's spec, not God's: what the knowing delivers is nakedness), manufactured against (girdles — the unit's ONLY install), hidden from (in the MIDST — the relocated tree's address), interrogated (where / who told / what is this), and confessed (va-okhel, twice). No demand is issued; no test is run by God; no commit closes anything. The state that ends the unit is testimony. | tested |
| E | Logic format choice | Operator lines; ZERO interpreter extensions (first since the pilot era): PRECONDITION_STATE for the onset credential and the testimony facts; NOTE_PRESUPPOSED for the five read-in entities; NOTE_SPEC_DELTA x7 for the quote mutations — the spec side of each delta cites gen_08's frozen text verbatim, making the diff machine-legible (the corpus's first QUOTE-DIFF, held as flags); EVENT for the nine speech acts and the trigger chain; TEST PASS for the creature-run instrument (the machine records what the letter records: the woman's test PASSES — on the criterion 2:9 granted all trees; the flag system holds no error because the letter holds none: the test was true and beside the point); REGISTRY_INSTALL for the girdles (the unit's only WORLD write). The serpent's forecast is NOT a RESULT (no demand was pushed — a claim is not a DECLARE); the 3:7 echo is documented in the operator ens, dual-track. Cross-unit handler-firing (gen_08's IF-clause) is documented, never simulated: Stage E's boundary respected. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: ha_etz_le_maakhal, taavah_la_enayim, admission_va_okhel, testimony_feared_naked_hid. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero sources for the span; gen_10 Tier-A queue): Avot DeRabbi Natan 1 (the fence that broke — its letter anchor is the 3:3 added touch-clause); Bereshit Rabbah 19 (the serpent dossier; the tree-identity dispute — the fig reading anchors at 3:7's leaves); Bavli Sanhedrin 29a ('whoever ADDS, subtracts' — the chain's own quote-diff verdict: the detector tripwire for this span); Bavli Shabbat 55b; Pirkei DeRabbi Eliezer 13; Bavli Sotah 9b. Tier-A Onkelos read at derive time (13 fetches, FETCHLOG 2026-08-01): arum -> CHAKIM ('wise') — the SAME word the translation gave the knowledge-tree's eaters at 2:9/2:17: the serpent already IS what the tree promises; the serpent's name-drop LEVELED (the Aramaic serpent says the divine name — the Hebrew census is invisible in translation); ke-Elohim -> ke-RAVREVIN ('like the great ones') and yodea Elohim -> galei kodam ('revealed before') — the promise demoted, the knowing buffered; the MEMRA debuts (3:8, 3:10: 'the voice of the WORD of the LORD' walks; 'the voice of YOUR WORD' heard) with le-ruach ha-yom -> limnach yoma ('at the REST of the day' — the nuach root); the fence's touch -> tekarvun ('come NEAR' — the sacrificial bring-near root); the woman's criteria rewritten (taavah -> 'a HEALING for the eyes'; le-haskil -> 'to LOOK AT' — the wisdom claim stripped from her reasoning, left only in the serpent's mouth); mi higid -> man CHAVI (the chava/telling root — the name the woman receives at 3:20, next unit's watch item). | tested |
| H | Scenarios | S1 the onset: presupposed flags + the serpent's two quote mutations flagged; SPECS empty (no demand anywhere). S2 the woman's amendments: delta count grows; SPECS still empty. S3 the creature-run TEST: PASS(tov, ha_etz_le_maakhal) on the books. S4 after the manufacture: WORLD = {chagorot} — the violation unit installs exactly one object. S5 the testimony fact holds. S6 both admissions hold; SPECS empty; LEDGER stays EMPTY. S7_negative: flag-never-block re-asserted (this unit's seven spec-deltas and five presupposed flags block nothing — flags are data). | tested |
| I | English leakage review | Operators derive from morph codes (perfect onset; nine speech wayyiqtols; weqatal forecast TIR-029; niphal agentless eye-opening TIR-032-family; hithpael hiding; Vqw trigger chain) and DB censuses run BEFORE drafting (the compound-name window 3:1b-5; naga's first token inside the fence; the pakach/taavah/ayeh/yare trails; the two hapaxes; the chagorot install). Every quote-mutation claim is a string diff against gen_08's frozen YAML text. The [OPEN] items (imah 'with her'; the tree's identity; the fence's voice — whose words are 3:2-3's additions?) stay open with chain dossiers named. | established |
| J | Pre-flight + freeze gate | Pre-flight 2026-08-01: the draft ran against the UNMODIFIED repo interpreter (loaded directly; frozen gate untouched) — zero injected prototypes, all scenarios green on the first run. FROZEN 2026-08-01 on owner order: status flipped, re-verified green through the real interpreter, all frozen units regression-run green (the gen_09 extensions landed in the same freeze order). 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_3_1 · Gen.3.1 · SERPENT_ONSET_INVERTED_QUOTE
וְהַנָּחָשׁ הָיָה עָרוּם מִכֹּל חַיַּת הַשָּׂדֶה אֲשֶׁר עָשָׂה יְהוָה אֱלֹהִים וַיֹּאמֶר אֶל־הָאִשָּׁה אַף כִּי־אָמַר אֱלֹהִים לֹא תֹאכְלוּ מִכֹּל עֵץ הַגָּן · ve-ha-nachash hayah arum mi-kol chayat ha-sadeh asher asah YHWH Elohim va-yomer el-ha-ishah af ki-amar Elohim lo tokhlu mi-kol etz ha-gan · [EN-AID/JPS] Now the serpent was more subtle than any beast of the field which the LORD God had made. And he said unto the woman: 'Yea, hath God said: Ye shall not eat of any tree of the garden?'
והנחש היה ערום מכל חית השדה אשר עשה יהוה אלהים · ve-ha-nachash hayah arum mi-kol chayat ha-sadeh asher asah YHWH Elohim · the credentials: cunning — and MADE by YHWH Elohim (etnachta arm)
ויאמר אל האשה אף כי אמר אלהים לא תאכלו מכל עץ הגן · va-yomer el-ha-ishah af ki-amar Elohim lo tokhlu mi-kol etz ha-gan · the question carrying the inverted quote
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(arum(nachash), t0) ∧ HOLDS(asah_YHWH_Elohim(nachash), t0) = HOLDS(cunning(serpent), t0) ∧ HOLDS(make-the-LORD-God(serpent), t0) The onset is a STATE clause (haya, perfect — the 1:2/2:5 background device): the serpent enters described, not acting. Two credentials: CUNNING (arum — one Torah token; 2:25's naked, arumim, is its letter-twin one verse back: the pun is the seam between the units) and MADE (asher asah YHWH Elohim — the accent tree closes its first arm on the maker's compound name: a creature is bracketed before a speaker gets to talk). Onkelos: CHAKIM ('wise') — the SAME word the translation gave the knowledge-tree's eaters at 2:9/2:17: in Aramaic the serpent already IS what the tree promises to make you (Tier-A, dual-track; the pun levels away). | וְהַנָּחָשׁ הָיָה עָרוּם … אֲשֶׁר עָשָׂה יְהוָה אֱלֹהִים · ve-ha-nachash hayah arum … asher asah YHWH Elohim = serpent was cunning which make the-LORD God | TIR-031 | tested |
| NOTE_PRESUPPOSED | nachash, ishah, gan are READ without prior install (standalone machine; the woman of gen_09, the garden of gen_08) = serpent, woman, garden are READ without prior install (standalone machine; the woman fowl gen-09, the garden fowl gen-08) flag, not fix — the scene's cast enters presupposed | — | — | tested |
| EVENT | say(e1) ∧ Agent(e1, nachash) ∧ Theme(e1, ishah) = say(e1) ∧ Agent(e1, serpent) ∧ Theme(e1, woman) THE CORPUS'S FIRST NON-HUMAN SPEECH — and it opens the corpus's first CONVERSATION (nine speech acts in this span). The form is a QUESTION carrying a QUOTE: af ki ('really? even though...' — Onkelos be-kushta, 'in truth?'). What is quoted is gen_08's frozen rule — see the two deltas below. | וַיֹּאמֶר אֶל־הָאִשָּׁה אַף כִּי־אָמַר אֱלֹהִים · va-yomer el-ha-ishah af ki-amar Elohim = he-said to-the-woman really that-he-said God | — | tested |
| NOTE_SPEC_DELTA | spec 'akhol tokhel mi-kol etz ha-gan + one exclusion (gen_08 2:16-17: permission over ALL, prohibition on ONE)' delivered 'lo tokhlu mi-kol etz ha-gan (the serpent: negation over ALL — the scope INVERTED, and the addressee pluralized 2ms->2mp)' = spec 'eating eat who-all tree-of the-garden + one exclusion (gen-08 2:16-17: permission over ALL, prohibition on ONE)' delivered 'not you-shall-eat(pl) who-all tree-of the-garden (the serpent: negation over ALL — the scope INVERTED, and the addressee pluralized 2ms->2mp)' quote-diff 1-2 of 7: the rule's shape flipped from nearly-everything-permitted to everything-forbidden; the single addressee became a pair | — | — | tested |
| NOTE_SPEC_DELTA | spec 'YHWH_Elohim (the rule's issuer, gen_08 2:16 — the Eden-exclusive compound)' delivered 'Elohim (the serpent's bare generic; the compound vanishes for exactly 3:1b-5 and returns at 3:8 — DB-verified window)' = spec 'the-LORD-God (the rule's issuer, gen-08 2:16 — the Eden-exclusive compound)' delivered 'God (the serpent's bare generic; the compound vanishes for exactly 3:1b-5 and returns at 3:8 — DB-verified window)' quote-diff 3 of 7: the divine name reduced in the serpent's mouth — and the woman will answer in kind. Onkelos LEVELS this (its serpent says the divine name): the Hebrew's name census is invisible in translation — the letter's finding stands on the letter (dual-track). | — | — | tested |
STEP_Gn_3_2 · Gen.3.2 · WOMAN_PERMISSION_REDUCED
וַתֹּאמֶר הָאִשָּׁה אֶל־הַנָּחָשׁ מִפְּרִי עֵץ־הַגָּן נֹאכֵל · va-tomer ha-ishah el-ha-nachash mi-peri etz-ha-gan nokhel · [EN-AID/JPS] And the woman said unto the serpent: 'Of the fruit of the trees of the garden we may eat.'
ותאמר האשה אל הנחש · va-tomer ha-ishah el-ha-nachash · the woman answers the serpent (etnachta arm)
מפרי עץ הגן נאכל · mi-peri etz-ha-gan nokhel · the permission restated — reduced
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e2) ∧ Agent(e2, ishah) ∧ Theme(e2, nachash) = say(e2) ∧ Agent(e2, woman) ∧ Theme(e2, serpent) The woman corrects the inversion — the permission is real — but her restatement is measurably smaller than the grant (delta below). She was not the rule's addressee (2:16-17 is 2ms, issued before she was built): everything she has is received text [OPEN: from whom? — the chain's dossier on the added fence asks exactly this]. | וַתֹּאמֶר הָאִשָּׁה אֶל־הַנָּחָשׁ · va-tomer ha-ishah el-ha-nachash = she-said woman to-the-serpent | — | tested |
| NOTE_SPEC_DELTA | spec 'mi-KOL etz ha-gan AKHOL TOKHEL (gen_08 2:16: from ALL, with the emphatic doubling — the corpus first doubling)' delivered 'mi-peri etz-ha-gan nokhel (the woman: no mi-kol, no doubling — from the fruit of the garden trees we may eat)' = spec 'who-KOL tree-of the-garden AKHOL TOKHEL (gen-08 2:16: from ALL, with the emphatic doubling — the corpus first doubling)' delivered 'who-fruit-of tree-of-the-garden we-may-eat (the woman: no who-all, no doubling — from the fruit fowl the garden trees we may eat)' quote-diff 4 of 7: the grant de-totalized and de-emphasized — the widest permission the corpus had issued, restated without its ALL and without its doubled verb | — | — | tested |
STEP_Gn_3_3 · Gen.3.3 · WOMAN_FENCE_AND_SOFTENED_PENALTY
וּמִפְּרִי הָעֵץ אֲשֶׁר בְּתוֹךְ־הַגָּן אָמַר אֱלֹהִים לֹא תֹאכְלוּ מִמֶּנּוּ וְלֹא תִגְּעוּ בּוֹ פֶּן־תְּמֻתוּן · u-mi-peri ha-etz asher be-tokh-ha-gan amar Elohim lo tokhlu mimenu ve-lo tigu bo pen-temutun · [EN-AID/JPS] 'But of the fruit of the tree which is in the midst of the garden, God hath said: Ye shall not eat of it, neither shall ye touch it, lest ye die.'
ומפרי העץ אשר בתוך הגן אמר אלהים לא תאכלו ממנו ולא תגעו בו · u-mi-peri ha-etz asher be-tokh-ha-gan amar Elohim lo tokhlu mimenu ve-lo tigu bo · the doubled prohibition: eat-not AND touch-not (etnachta arm)
פן תמתון · pen-temutun · the softened penalty: LEST you die
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NOTE_PRESUPPOSED | ha_etz are READ without prior install (the tree — gen_08's etz_ha_daat_tov_va_ra, here never named, only addressed) = the-tree-of are READ without prior install (the tree — gen-08's tree-of-knowledge-of-good-and-evil, here never named, only addressed) flag, not fix — and the address given is not the rule's (delta below) | — | — | tested |
| NOTE_SPEC_DELTA | spec 'me-etz ha-daat tov va-ra (gen_08 2:17: the tree named by its knowledge; located nowhere)' delivered 'ha-etz asher be-tokh ha-gan (the woman: the tree IN THE MIDST — the address 2:9 states for the tree of LIFE)' = spec 'from-tree-of the-knowledge good and-evil (gen-08 2:17: the tree named by its knowledge; located nowhere)' delivered 'the-tree-of which in-midst-of the-garden (the woman: the tree IN THE MIDST — the address 2:9 states for the tree fowl LIFE)' quote-diff 5 of 7: the tree renamed by location, and the location is the OTHER tree's — the name carrying the rule's whole reason (knowledge) drops out; at 3:8 the couple will hide in this same MIDST | — | — | tested |
| NOTE_SPEC_DELTA | spec 'lo tokhal mimenu (gen_08 2:17: eating prohibited — nothing else)' delivered 'lo tokhlu mimenu VE-LO TIGU BO (eating AND TOUCHING prohibited — a fence added to the rule)' = spec 'not she-ate from-it (gen-08 2:17: eating prohibited — nothing else)' delivered 'not you-shall-eat(pl) from-it VE-LO TIGU BO (eating AND TOUCHING prohibited — a fence added to the rule)' quote-diff 6 of 7 — THE FENCE: a second prohibition the frozen rule does not contain. And the letter's economy is exact: naga ('touch') is having its FIRST CORPUS TOKEN inside this invented clause — the verb debuts in an amendment; its next tokens are YHWH 'touching' Pharaoh (12:17, the mark's debut verse) and 'I did not let you TOUCH her' (20:6), and its career is the purity law's contact-transmission mechanism (54 tokens, Lev 11-15). The fence's invented verb becomes the law's actual device. The chain's dossier on this clause (ADRN 1: the fence that broke; Sanhedrin 29a: 'whoever ADDS, subtracts') is named-only, queued — the span's tripwire. Onkelos renders the touch as tekarvun ('come NEAR' — the sacrificial bring-near root; Tier-A, dual-track). Voice [OPEN]: whose words are the additions — hers, or a version she was given? The letter is silent; the machine records the diff and no more. | וְלֹא תִגְּעוּ בּוֹ · ve-lo tigu bo = not you-shall-touch in-it | — | tested |
| NOTE_SPEC_DELTA | spec 'ki be-yom akholkha mimenu mot tamut (gen_08 2:17: certainty ON THE DAY, with the death-doubling)' delivered 'pen-temutun (the woman: LEST you die — risk for certainty, no doubling, no day-clock)' = spec 'that in-day-of your-eating from-it dying you-shall-die (gen-08 2:17: certainty ON THE DAY, with the death-doubling)' delivered 'lest-you-shall-die (the woman: LEST you die — risk for certainty, no doubling, no day-clock)' quote-diff 7 of 7: the penalty softened on all three axes — modality (lest), emphasis (single verb), timing (the day-clock gone). Onkelos: dilma ('perhaps') | — | — | tested |
STEP_Gn_3_4 · Gen.3.4 · SERPENT_CONTRADICTION
וַיֹּאמֶר הַנָּחָשׁ אֶל־הָאִשָּׁה לֹא־מוֹת תְּמֻתוּן · va-yomer ha-nachash el-ha-ishah lo-mot temutun · [EN-AID/JPS] And the serpent said unto the woman: 'Ye shall not surely die.'
ויאמר הנחש אל האשה · va-yomer ha-nachash el-ha-ishah · the serpent answers (etnachta arm)
לא מות תמתון · lo-mot temutun · the contradiction: NOT dying-shall-you-die
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e3) ∧ Agent(e3, nachash) ∧ Theme(e3, ishah) = say(e3) ∧ Agent(e3, serpent) ∧ Theme(e3, woman) the second serpent speech: two words of quoted rule, one negation in front | וַיֹּאמֶר הַנָּחָשׁ אֶל־הָאִשָּׁה · va-yomer ha-nachash el-ha-ishah = he-said serpent to-the-woman | — | tested |
| NOTE_SPEC_DELTA | spec 'mot tamut (gen_08 2:17: the penalty, doubled — the emphatic device the woman had dropped)' delivered 'LO-mot temutun (the serpent: the doubling RESTORED in order to be NEGATED — the corpus first direct contradiction of a divine word)' = spec 'dying you-shall-die (gen-08 2:17: the penalty, doubled — the emphatic device the woman had dropped)' delivered 'LO-dying you-shall-die (the serpent: the doubling RESTORED in order to in NEGATED — the corpus first direct contradiction fowl a divine word)' Doubling #3 of the corpus (after the permission and the penalty, both gen_08) — and its first NEGATED instance: the serpent quotes the penalty MORE accurately than the woman did (the doubling back, the plural kept) and denies it outright. TIR-034's rule-note recorded this verse in advance: the negated-doubled-imperfect is exactly the form whose command/forecast ambiguity the command frame resolves — the serpent reads the rule's mot tamut as a (false) FORECAST and negates the forecast. The exploit is grammatical. | לֹא־מוֹת תְּמֻתוּן · lo-mot temutun = not-dying you-shall-die | TIR-034 | tested |
STEP_Gn_3_5 · Gen.3.5 · SERPENT_COUNTER_THEORY
כִּי יֹדֵעַ אֱלֹהִים כִּי בְּיוֹם אֲכָלְכֶם מִמֶּנּוּ וְנִפְקְחוּ עֵינֵיכֶם וִהְיִיתֶם כֵּאלֹהִים יֹדְעֵי טוֹב וָרָע · ki yodea Elohim ki be-yom akholkhem mimenu ve-nifqechu eineikhem vi-heyitem ke-Elohim yodei tov va-ra · [EN-AID/JPS] 'For God doth know that in the day ye eat thereof, then your eyes shall be opened, and ye shall be as God, knowing good and evil.'
כי ידע אלהים כי ביום אכלכם ממנו ונפקחו עיניכם · ki yodea Elohim ki be-yom akholkhem mimenu ve-nifqechu eineikhem · the theory: God knows — in the day you eat, eyes open (etnachta arm)
והייתם כאלהים ידעי טוב ורע · vi-heyitem ke-Elohim yodei tov va-ra · the promise: you will be like God, knowers of good and evil
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | claim(e4) ∧ Agent(e4, nachash) ∧ Theme(e4, nifqechu_eineikhem) ∧ Theme(e4, ke_Elohim) = claim(e4) ∧ Agent(e4, serpent) ∧ Theme(e4, were-opened-your-eyes) ∧ Theme(e4, like-God) The counter-theory, and its grammar is the tell: the serpent KEEPS the rule's own timing formula (be-yom akholkhem — 'in the DAY of your eating': the handler's trigger clause, quoted intact) and forecasts in WEQATAL (ve-nifqechu ... vi-heyitem — TIR-029's law-spine form): the serpent speaks law-grammar. The content: eyes will OPEN (pakach — 3 Torah tokens: here, the fulfillment at 3:7, and Hagar's well at 21:19), and you will be KE-ELOHIM, 'like God/gods', YODEI TOV VA-RA — the tree's own name-tail (2:9/2:17) turned into a predicate for humans. A claim is not a DECLARE: no demand enters SPECS; the machine holds an event and waits two verses for the echo. Onkelos: 'it is REVEALED BEFORE the LORD' (the knowing buffered) and ke-RAVREVIN, 'like the GREAT ONES' (the promise demoted) — Tier-A, both flagged in the edition, dual-track. | כִּי יֹדֵעַ אֱלֹהִים … וְנִפְקְחוּ … וִהְיִיתֶם כֵּאלֹהִים · ki yodea Elohim … ve-nifqechu … vi-heyitem ke-Elohim = that knows God were-opened you-shall-be God | TIR-029 | tested |
STEP_Gn_3_6 · Gen.3.6 · CREATURE_TEST_AND_TRIGGER
וַתֵּרֶא הָאִשָּׁה כִּי טוֹב הָעֵץ לְמַאֲכָל וְכִי תַאֲוָה־הוּא לָעֵינַיִם וְנֶחְמָד הָעֵץ לְהַשְׂכִּיל וַתִּקַּח מִפִּרְיוֹ וַתֹּאכַל וַתִּתֵּן גַּם־לְאִישָׁהּ עִמָּהּ וַיֹּאכַל · va-tere ha-ishah ki tov ha-etz le-maakhal ve-khi taavah-hu la-einayim ve-nechmad ha-etz le-haskil va-tiqach mi-piryo va-tokhal va-titen gam-le-ishah imah va-yokhal · [EN-AID/JPS] And when the woman saw that the tree was good for food, and that it was a delight to the eyes, and that the tree was to be desired to make one wise, she took of the fruit thereof, and did eat; and she gave also unto her husband with her, and he did eat.
ותרא האשה כי טוב העץ למאכל וכי תאוה הוא לעינים ונחמד העץ להשכיל ותקח מפריו ותאכל · va-tere ha-ishah ki tov … va-tiqach mi-piryo va-tokhal · the three-criteria test + took + ATE — the rest sits on the trigger verb (etnachta arm)
ותתן גם לאישה עמה ויאכל · va-titen gam-le-ishah imah va-yokhal · the transfer: gave to her man with her — and he ate
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| TEST | TESTS += PASS(tov, ha_etz_le_maakhal) = TESTS += PASS(good, the-tree-of-to-food) THE WEEK'S INSTRUMENT IN CREATURE HANDS: va-tere ... ki tov — the exact see-mode verdict formula of days 1-6 (va-yar ... ki-tov), first non-divine agent, and it PASSES — on a criterion the garden grant itself established: 2:9 called EVERY tree of the garden tov le-maakhal ('good for food'), this one included. The machine records what the letter records: a true verdict on the wrong question — the test measures food-goodness; the rule was never about food-goodness. Her two further criteria leave the week's vocabulary: taavah la-einayim ('a DESIRE to the eyes' — taavah's first token; its only other Torah home is Num 11:4, Kivrot-ha-Taavah, the craving-graves) and nechmad le-haskil ('desirable to make WISE' — 2:9's nechmad, now aimed at wisdom: the letter here anticipates the translation's wisdom-naming of the tree). Onkelos rewrites both: 'a HEALING for the eyes'; 'to LOOK AT' — the wisdom claim stripped from her reasoning, left only in the serpent's promise (Tier-A, dual-track). | וַתֵּרֶא הָאִשָּׁה כִּי טוֹב הָעֵץ לְמַאֲכָל · va-tere ha-ishah ki tov ha-etz le-maakhal = she-saw woman that good tree-of food | TIR-014 | tested |
| EVENT | take(e5) ∧ Agent(e5, ishah) ∧ Theme(e5, pri) = take(e5) ∧ Agent(e5, woman) ∧ Theme(e5, fruit) laqach again — the taken one takes: the verb of her own origin (2:21-23, taken from the man; lukocha in his poem) initiates the trigger chain. | וַתִּקַּח מִפִּרְיוֹ · va-tiqach mi-piryo = she-took who-piryo | — | tested |
| EVENT | eat(e6) ∧ Agent(e6, ishah) ∧ Theme(e6, pri) = eat(e6) ∧ Agent(e6, woman) ∧ Theme(e6, fruit) THE TRIGGER — and the accent tree sets the verse's major rest ON THIS WORD: [tested + took + ATE | gave + he ate]. Note the machine's honest boundary: gen_08's standing HANDLER (IF be_yom_akhal(adam, ...) THEN mot_tamut) names ADAM, the rule's 2ms addressee — the woman's eating is the chain's first event, his is the trigger's letter-match. Cross-unit firing is Stage E; the events are recorded here, the handler stands armed there. | וַתֹּאכַל · va-tokhal = she-ate | — | tested |
| EVENT | give(e7) ∧ Agent(e7, ishah) ∧ Theme(e7, adam) = give(e7) ∧ Agent(e7, woman) ∧ Theme(e7, human) natan — the giving verb whose chain the interrogation will walk backward (3:12: 'the woman YOU GAVE ... SHE GAVE me'). IMAH ('with her') — [OPEN]: was he present through the dialogue? The letter spends one word on it; the chain's dossier is named-only, queued. | וַתִּתֵּן גַּם־לְאִישָׁהּ עִמָּהּ · va-titen gam-le-ishah imah = she-gave also-to-woman with-her | — | tested |
| EVENT | eat(e8) ∧ Agent(e8, adam) ∧ Theme(e8, pri) = eat(e8) ∧ Agent(e8, human) ∧ Theme(e8, fruit) One word, no test, no criteria, no speech: the rule's addressee eats. The verse gives the woman twenty words of deliberation and the man one verb. | וַיֹּאכַל · va-yokhal = he-ate | — | tested |
| NOTE_PRESUPPOSED | adam are READ without prior install (the rule's 2ms addressee — le-ishah, 'her man') = human are READ without prior install (the rule's 2ms addressee — to-woman, 'her man') flag, not fix | — | — | tested |
STEP_Gn_3_7 · Gen.3.7 · EYES_OPEN_FIRST_MANUFACTURE
וַתִּפָּקַחְנָה עֵינֵי שְׁנֵיהֶם וַיֵּדְעוּ כִּי עֵירֻמִּם הֵם וַיִּתְפְּרוּ עֲלֵה תְאֵנָה וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת · va-tipakachnah einei shneihem va-yedu ki eirummim hem va-yitperu aleh te'enah va-ya'asu lahem chagorot · [EN-AID/JPS] And the eyes of them both were opened, and they knew that they were naked; and they sewed fig-leaves together, and made themselves girdles.
ותפקחנה עיני שניהם וידעו כי עירמם הם · va-tipakachnah einei shneihem va-yedu ki eirummim hem · eyes opened — and they knew: naked (etnachta arm)
ויתפרו עלה תאנה ויעשו להם חגרת · va-yitperu aleh te'enah va-ya'asu lahem chagorot · the response: sewed fig leaves, made girdles
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | open_eyes(e9) ∧ Theme(e9, einei_shneihem) = open-eyes(e9) ∧ Theme(e9, eyes-of-both-of-them) AGENTLESS (niphal wayyiqtol, TIR-032's class — no doer named): the serpent's weqatal forecast (ve-nifqechu, 3:5) is receipted by verb-echo — nifqechu -> va-tipakachnah — the Miriam receipt pattern, paid to the SERPENT'S spec. The machine holds no RESULT (no demand was ever pushed: a claim is not a DECLARE); the echo is the letter's, recorded here dual-track. pakach's three Torah tokens: the forecast, this fulfillment, and Hagar's opened eyes (21:19). | וַתִּפָּקַחְנָה עֵינֵי שְׁנֵיהֶם · va-tipakachnah einei shneihem = and-tipakachnah eyes-of both-of-them | TIR-032 | tested |
| EVENT | know(e10) ∧ Agent(e10, shneihem) ∧ Theme(e10, eirummim) = know(e10) ∧ Agent(e10, both-of-them) ∧ Theme(e10, naked) WHAT THE KNOWING DELIVERS: 'they KNEW ... that they were NAKED.' The tree of KNOWING good-and-evil pays out knowledge — of nakedness. And the letter shifts the word under them: eirummim (lemma 5903) is a different dictionary entry than 2:25's arumim (6174) — the state's word changes with the knowing of it; 2:25's 'not ashamed' stands one verse behind as the measure of the change. | וַיֵּדְעוּ כִּי עֵירֻמִּם הֵם · va-yedu ki eirummim hem = they-knew that naked they | — | tested |
| EVENT | make(e11) ∧ Agent(e11, shneihem) ∧ Theme(e11, chagorot) = make(e11) ∧ Agent(e11, both-of-them) ∧ Theme(e11, girdles) THE FIRST HUMAN MANUFACTURE: sewed (tafar) fig leaves and MADE (asah — the creation verb in human hands, plural) girdles. chagorah is a TORAH HAPAX — the first human product never recurs. The material is named: teenah ('fig') — its next Torah tokens are the spies' cluster (Num 13:23) and the land's species (Deut 8:8): the covering leaf returns as the land's fruit. The tree IDENTITY question (was the fig the tree?) is the chain's (BR 19 dossier, named-only). | וַיִּתְפְּרוּ עֲלֵה תְאֵנָה וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת · va-yitperu aleh te'enah va-ya'asu lahem chagorot = and-yitperu leaf te'enah and-ya'asu to-them girdles | — | tested |
| REGISTRY_INSTALL | WORLD += {chagorot} = WORLD += {girdles} the unit's ONLY WORLD install: the violation trace adds exactly one object to the world — made by humans, worn against knowledge | חֲגֹרֹת · chagorot = girdles | — | tested |
STEP_Gn_3_8 · Gen.3.8 · VOICE_AND_HIDING
וַיִּשְׁמְעוּ אֶת־קוֹל יְהוָה אֱלֹהִים מִתְהַלֵּךְ בַּגָּן לְרוּחַ הַיּוֹם וַיִּתְחַבֵּא הָאָדָם וְאִשְׁתּוֹ מִפְּנֵי יְהוָה אֱלֹהִים בְּתוֹךְ עֵץ הַגָּן · va-yishme'u et-qol YHWH Elohim mithalekh ba-gan le-ruach ha-yom va-yitchabe ha-adam ve-ishto mi-penei YHWH Elohim be-tokh etz ha-gan · [EN-AID/JPS] And they heard the voice of the LORD God walking in the garden toward the cool of the day; and the man and his wife hid themselves from the presence of the LORD God amongst the trees of the garden.
וישמעו את קול יהוה אלהים מתהלך בגן לרוח היום · va-yishme'u et-qol YHWH Elohim mithalekh ba-gan le-ruach ha-yom · the hearing: the voice walking, at the breeze of the day (etnachta arm)
ויתחבא האדם ואשתו מפני יהוה אלהים בתוך עץ הגן · va-yitchabe ha-adam ve-ishto mi-penei YHWH Elohim be-tokh etz ha-gan · the hiding — in the MIDST of the garden's trees
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | hear(e12) ∧ Agent(e12, shneihem) ∧ Theme(e12, qol_YHWH_Elohim) = hear(e12) ∧ Agent(e12, both-of-them) ∧ Theme(e12, voice-of-the-LORD-God) THE COMPOUND NAME RETURNS — twice in this verse: the bare Elohim window (3:1b-5, the serpent's dialogue) closes the moment the narrator resumes. What is heard: the QOL ('voice/sound') of YHWH Elohim, WALKING (mithalekh — hithpael participle, iterative motion) at le-ruach ha-yom ('the breeze of the day' — ruach again, now as day-wind). Onkelos: the voice of the MEMRA ('the WORD') of the LORD walks — the translation's buffer-concept debuting in our derived spans — at limnach yoma ('the REST of the day': the nuach root; Tier-A, dual-track). The qol thread runs forward: 3:10 'your voice I heard'; 3:17 (next unit) 'because you listened to the VOICE of your wife.' | וַיִּשְׁמְעוּ אֶת־קוֹל יְהוָה אֱלֹהִים מִתְהַלֵּךְ בַּגָּן · va-yishme'u et-qol YHWH Elohim mithalekh ba-gan = and-yishme'u obj-marker·et-voice-of the-LORD God walking-about garden | TIR-031, TIR-014 | tested |
| EVENT | hide(e13) ∧ Agent(e13, shneihem) ∧ Theme(e13, be_tokh_etz_ha_gan) = hide(e13) ∧ Agent(e13, both-of-them) ∧ Theme(e13, in-midst-of-tree-of-the-garden) THE FIRST HIDING (chava, hithpael) — from the FACE (mi-penei) of YHWH Elohim, IN THE MIDST (be-tokh) of the garden's trees: the exact address the woman gave the forbidden tree at 3:3 (and 2:9 gave the tree of life). The location vocabulary loops — they hide where the rule lived. | וַיִּתְחַבֵּא הָאָדָם וְאִשְׁתּוֹ … בְּתוֹךְ עֵץ הַגָּן · va-yitchabe ha-adam ve-ishto … be-tokh etz ha-gan = he-hid human his-wife midst-of tree-of garden | — | tested |
STEP_Gn_3_9 · Gen.3.9 · FIRST_QUESTION
וַיִּקְרָא יְהוָה אֱלֹהִים אֶל־הָאָדָם וַיֹּאמֶר לוֹ אַיֶּכָּה · va-yiqra YHWH Elohim el-ha-adam va-yomer lo ayeka · [EN-AID/JPS] And the LORD God called unto the man, and said unto him: 'Where art thou?'
ויקרא יהוה אלהים אל האדם · va-yiqra YHWH Elohim el-ha-adam · the call (etnachta arm)
ויאמר לו איכה · va-yomer lo ayeka · the question: WHERE ARE YOU?
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | call(e14) ∧ Agent(e14, YHWH_Elohim) ∧ Theme(e14, adam) = call(e14) ∧ Agent(e14, the-LORD-God) ∧ Theme(e14, human) qara — the naming verb of day one, the summons verb here: the same root that wrote registry rows now opens a docket. | וַיִּקְרָא יְהוָה אֱלֹהִים אֶל־הָאָדָם · va-yiqra YHWH Elohim el-ha-adam = he-called the-LORD God to-the-human | — | tested |
| EVENT | ask(e15) ∧ Agent(e15, YHWH_Elohim) ∧ Theme(e15, ayeka) = ask(e15) ∧ Agent(e15, the-LORD-God) ∧ Theme(e15, where-are-you) THE FIRST DIVINE QUESTION TO A HUMAN: one word — 'Where are YOU?' The interrogative that cannot be informational (the asker installed the garden) and so reads as summons to answer — the chain's readings are queued. The formula seeds: its next token is 4:9, 'Where is Abel your brother?' — the corpus's second docket opens with the same word. | אַיֶּכָּה · ayeka = where-are-you | — | tested |
STEP_Gn_3_10 · Gen.3.10 · TESTIMONY_FEAR
וַיֹּאמֶר אֶת־קֹלְךָ שָׁמַעְתִּי בַּגָּן וָאִירָא כִּי־עֵירֹם אָנֹכִי וָאֵחָבֵא · va-yomer et-qolkha shamati ba-gan va-ira ki-erom anokhi va-echave · [EN-AID/JPS] And he said: 'I heard Thy voice in the garden, and I was afraid, because I was naked; and I hid myself.'
ויאמר את קלך שמעתי בגן · va-yomer et-qolkha shamati ba-gan · the testimony opens: Your voice I heard (etnachta arm)
ואירא כי עירם אנכי ואחבא · va-ira ki-erom anokhi va-echave · feared — naked — hid
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e16) ∧ Agent(e16, adam) ∧ Theme(e16, YHWH_Elohim) = say(e16) ∧ Agent(e16, human) ∧ Theme(e16, the-LORD-God) The answer to WHERE is a WHY-chain: heard, feared, naked, hid — four verbs, no location, and the eating unmentioned. Onkelos: 'the voice of YOUR MEMRA I heard' (the buffer again, Tier-A). | וַיֹּאמֶר אֶת־קֹלְךָ שָׁמַעְתִּי בַּגָּן · va-yomer et-qolkha shamati ba-gan = he-said obj-marker·et-qolkha I-heard garden | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(testimony_feared_naked_hid(adam), t2) = HOLDS(testimony-feared-naked-hid(human), t2) THE FIRST FEAR of the corpus: va-ira ('and I FEARED' — yare's first token; its second is 15:1, 'Fear NOT, Abram': the emotion debuts in a confession and is next addressed by consolation). The causal chain in his own mouth: fear BECAUSE naked (ki erom — singular of 3:7's new word), hid because afraid. The testimony stands as fact — what he said, held; what he omitted, visible against the events the machine already holds (e6, e8: the eatings). | וָאִירָא כִּי־עֵירֹם אָנֹכִי וָאֵחָבֵא · va-ira ki-erom anokhi va-echave = I-feared that-naked I I-hid | — | tested |
STEP_Gn_3_11 · Gen.3.11 · RULE_QUOTED_BACK
וַיֹּאמֶר מִי הִגִּיד לְךָ כִּי עֵירֹם אָתָּה הֲמִן־הָעֵץ אֲשֶׁר צִוִּיתִיךָ לְבִלְתִּי אֲכָל־מִמֶּנּוּ אָכָלְתָּ · va-yomer mi higid lekha ki erom atah ha-min-ha-etz asher tzivitikha le-vilti akhol-mimenu akhalta · [EN-AID/JPS] And He said: 'Who told thee that thou wast naked? Hast thou eaten of the tree, whereof I commanded thee that thou shouldest not eat?'
ויאמר מי הגיד לך כי עירם אתה · va-yomer mi higid lekha ki erom atah · question two: WHO TOLD you? (etnachta arm)
המן העץ אשר צויתיך לבלתי אכל ממנו אכלת · ha-min-ha-etz asher tzivitikha le-vilti akhol-mimenu akhalta · question three, carrying the rule: from the tree I COMMANDED you not to eat — have you EATEN?
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | ask(e17) ∧ Agent(e17, YHWH_Elohim) ∧ Theme(e17, mi_higid) ∧ Theme(e17, akhalta) = ask(e17) ∧ Agent(e17, the-LORD-God) ∧ Theme(e17, who-told) ∧ Theme(e17, you-have-eaten) Two questions in one speech. The first hunts the INFORMATION SOURCE (mi higid — 'who TOLD you': nakedness is knowledge, knowledge has a supplier; Onkelos's verb is the chava/telling root — the sound of the name the woman receives at 3:20, next unit's watch item). The second QUOTES THE RULE BACK — its third form in the span: asher TZIVITIKHA ('which I COMMANDED you' — the tzavah root, 2:16's first token, now receipting itself in interrogation) le-vilti akhol ('NOT-to-eat' — the prohibition restated as an infinitive clause; the corpus now holds the rule as lo tokhal, lo tokhlu, and le-vilti akhol). The question's grammar presupposes the deed: AKHALTA — 'have you EATEN' — perfect, addressed 2ms: the handler's named party, asked with the trigger verb. | מִי הִגִּיד לְךָ … הֲמִן־הָעֵץ אֲשֶׁר צִוִּיתִיךָ לְבִלְתִּי אֲכָל־מִמֶּנּוּ אָכָלְתָּ · mi higid lekha … ha-min-ha-etz asher tzivitikha le-vilti akhol-mimenu akhalta = who told to-you the-is-it-from-the-tree-of which tzivitikha not-to eating-from-it you-have-eaten | TIR-030 | tested |
STEP_Gn_3_12 · Gen.3.12 · BLAME_CHAIN_ADMISSION_1
וַיֹּאמֶר הָאָדָם הָאִשָּׁה אֲשֶׁר נָתַתָּה עִמָּדִי הִוא נָתְנָה־לִּי מִן־הָעֵץ וָאֹכֵל · va-yomer ha-adam ha-ishah asher natatah imadi hiv natnah-li min-ha-etz va-okhel · [EN-AID/JPS] And the man said: 'The woman whom Thou gavest to be with me, she gave me of the tree, and I did eat.'
ויאמר האדם · va-yomer ha-adam · and the human said — the rest isolates the speaker (etnachta arm)
האשה אשר נתתה עמדי הוא נתנה לי מן העץ ואכל · ha-ishah asher natatah imadi hiv natnah-li min-ha-etz va-okhel · the whole deflection — ending in the admission
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e18) ∧ Agent(e18, adam) ∧ Theme(e18, ishah) = say(e18) ∧ Agent(e18, human) ∧ Theme(e18, woman) THE BLAME CHAIN, built on one verb: natata ('YOU gave' — the woman traced to her Giver) ... natnah ('SHE gave' — the fruit traced to its giver): the deflection walks the giving verb two steps up the chain before the last word concedes. imadi ('with me') echoes 3:6's imah ('with her'). The pronoun is the Torah's written-he/read-she again (hiv — ktiv hu, qere hi; the 2:12 device, DB-verified in this verse). | הָאִשָּׁה אֲשֶׁר נָתַתָּה עִמָּדִי הִוא נָתְנָה־לִּי · ha-ishah asher natatah imadi hiv natnah-li = woman which natatah with-me she-ktiv-hu-qere-hi natnah-to-me | — | tested |
| PRECONDITION_STATE | HOLDS(admission_va_okhel(adam), t2) = HOLDS(admission-and-I-ate(human), t2) The speech's last word is the admission: va-okhel ('and I ate') — the trigger verb, first person, held as standing testimony fact. | וָאֹכֵל · va-okhel = I-ate | — | tested |
STEP_Gn_3_13 · Gen.3.13 · ADMISSION_2_HAPAX_DECEIT
וַיֹּאמֶר יְהוָה אֱלֹהִים לָאִשָּׁה מַה־זֹּאת עָשִׂית וַתֹּאמֶר הָאִשָּׁה הַנָּחָשׁ הִשִּׁיאַנִי וָאֹכֵל · va-yomer YHWH Elohim la-ishah mah-zot asit va-tomer ha-ishah ha-nachash hishiani va-okhel · [EN-AID/JPS] And the LORD God said unto the woman: 'What is this thou hast done?' And the woman said: 'The serpent beguiled me, and I did eat.'
ויאמר יהוה אלהים לאשה מה זאת עשית · va-yomer YHWH Elohim la-ishah mah-zot asit · question four: WHAT is this you have DONE? (etnachta arm)
ותאמר האשה הנחש השיאני ואכל · va-tomer ha-ishah ha-nachash hishiani va-okhel · the second admission: the serpent deceived me — and I ate
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | ask(e19) ∧ Agent(e19, YHWH_Elohim) ∧ Theme(e19, ishah) = ask(e19) ∧ Agent(e19, the-LORD-God) ∧ Theme(e19, woman) 'WHAT is this you have DONE?' — the making verb (asah), interrogative: the verb that built the week now asks after an act. The interrogation never reaches the serpent — no question is put to it (the sentencing, next unit, opens on it without one: the chain notices; named-only). | מַה־זֹּאת עָשִׂית · mah-zot asit = mah-this you-have-done | — | tested |
| EVENT | say(e20) ∧ Agent(e20, ishah) ∧ Theme(e20, nachash) = say(e20) ∧ Agent(e20, woman) ∧ Theme(e20, serpent) hishiani — 'DECEIVED me': a TORAH HAPAX (nasha, hiphil — the deception verb exists once in the corpus, here, in testimony). Onkelos: atyani ('led me astray'). | הַנָּחָשׁ הִשִּׁיאַנִי · ha-nachash hishiani = serpent hishiani | — | tested |
| PRECONDITION_STATE | HOLDS(admission_va_okhel(ishah), t2) = HOLDS(admission-and-I-ate(woman), t2) The second confession ends on the identical word: va-okhel ('and I ate') — both testimonies close with the trigger verb in the first person. The machine's final state is two admissions, one hapax of deceit, and a docket that stops one party short. | וָאֹכֵל · va-okhel = I-ate | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 3:1 — all registers empty (standalone unit) |
| S_serpent_quote | After 3:1 — serpent credentialed (state facts); cast flagged presupposed; quote-diffs 1-3 flagged; SPECS empty |
| S_woman_quote | After 3:2-3 — the amended quote: diffs 4-7 flagged (fence added, penalty softened); SPECS still empty |
| S_contradiction | After 3:4-5 — the negated doubling flagged; the counter-theory held as claim event (no demand) |
| S_trigger | After 3:6 — creature-run TEST PASS on the books; the trigger events recorded (took, ate, gave, ate) |
| S_opened | After 3:7 — eyes opened (agentless), nakedness known, girdles installed (the unit's only WORLD write) |
| S_hidden | After 3:8 — the compound name back; the pair hidden in the midst |
| S_interrogation | After 3:9-11 — the docket open: where / who told / have-you-eaten (the rule quoted back, third form) |
| S_testimony | After 3:12-13 — two admissions held (both ending va-okhel); the deceit hapax on record; LEDGER empty; SPECS empty end to end |
| from | to | via |
|---|---|---|
| S_boot | S_serpent_quote | STEP_Gn_3_1 |
| S_serpent_quote | S_woman_quote | STEP_Gn_3_2 |
| S_woman_quote | S_woman_quote | STEP_Gn_3_3 |
| S_woman_quote | S_contradiction | STEP_Gn_3_4 |
| S_contradiction | S_contradiction | STEP_Gn_3_5 |
| S_contradiction | S_trigger | STEP_Gn_3_6 |
| S_trigger | S_opened | STEP_Gn_3_7 |
| S_opened | S_hidden | STEP_Gn_3_8 |
| S_hidden | S_interrogation | STEP_Gn_3_9 |
| S_interrogation | S_interrogation | STEP_Gn_3_10 |
| S_interrogation | S_interrogation | STEP_Gn_3_11 |
| S_interrogation | S_testimony | STEP_Gn_3_12 |
| S_testimony | S_testimony | STEP_Gn_3_13 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The serpent's quote — three mutations flagged: after STEP_Gn_3_1 | All registers empty (standalone unit). | flags nachash/ishah/gan as read-before-install; machine flags spec-delta; SPECS empty. = flags serpent/woman/garden as read-before-install; machine flags spec-delta; SPECS empty. | אַף כִּי־אָמַר אֱלֹהִים · af ki-amar Elohim = really that-he-said God |
| S2 | The woman's amendments — the fence and the softening: after STEP_Gn_3_3 | S1 state. | flags ha_etz as read-before-install; machine flags spec-delta; SPECS empty. = flags the-tree-of as read-before-install; machine flags spec-delta; SPECS empty. | וְלֹא תִגְּעוּ בּוֹ פֶּן־תְּמֻתוּן · ve-lo tigu bo pen-temutun = not you-shall-touch in-it lest-you-shall-die |
| S3 | The creature-run test and the trigger: after STEP_Gn_3_6 | S2 state + the contradiction and counter-theory (3:4-5). | TESTS += PASS(tov, ha_etz_le_maakhal); flags adam as read-before-install; SPECS empty. = TESTS += PASS(good, the-tree-of-to-food); flags human as read-before-install; SPECS empty. | וַתֵּרֶא … כִּי טוֹב … וַתֹּאכַל … וַיֹּאכַל · va-tere … ki tov … va-tokhal … va-yokhal = she-saw that good she-ate he-ate |
| S4 | One install — the girdles: after STEP_Gn_3_7 | S3 state. | WORLD = {chagorot}. = WORLD = {girdles}. | וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת · va-ya'asu lahem chagorot = and-ya'asu to-them girdles |
| S5 | The testimony holds: after STEP_Gn_3_10 | S4 state + the hiding and the first question (3:8-9). | Facts testimony_feared_naked_hid HOLD. = Facts testimony-feared-naked-hid HOLD. | וָאִירָא כִּי־עֵירֹם אָנֹכִי · va-ira ki-erom anokhi = I-feared that-naked I |
| S6 | Two admissions; no demand ever issued: after STEP_Gn_3_13 | S5 state. | Facts admission_va_okhel HOLD; SPECS empty; LEDGER stays EMPTY (open transaction). = Facts admission-and-I-ate HOLD; SPECS empty; LEDGER stays EMPTY (open transaction). | וָאֹכֵל … וָאֹכֵל · va-okhel … va-okhel = I-ate I-ate |
| S7_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 — re-asserted for the unit whose flags ARE its findings: seven quote-diffs and five presupposed reads, all data, none blocking. = Cycle close with TESTS empty must in FLAGGED, never blocked — re-asserted for the unit whose flags ARE its findings: seven quote-diffs and five presupposed reads, all data, none blocking. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_first_law_quotation | אַף כִּי־אָמַר אֱלֹהִים · af ki-amar Elohim · the corpus's first quotation of its own law — three quotes (serpent, woman, serpent), seven machine-diffable mutations against the frozen gen_08 text, held as spec-delta flags: the QUOTE-DIFF device is born; God's own quote-back (3:11, third form) is paraphrase, not mutation |
| EXPORT_fence_naga | וְלֹא תִגְּעוּ בּוֹ · ve-lo tigu bo · the added fence — and naga ('touch') has its FIRST corpus token inside the invented clause; the verb's career is the purity law's contact-transmission mechanism (54 tokens): the amendment's word becomes the law's device; ADRN 1 and Sanhedrin 29a ('whoever adds, subtracts') queued as the tripwire dossiers |
| EXPORT_creature_test | וַתֵּרֶא … כִּי טוֹב · va-tere … ki tov · the week's see-mode verdict formula in creature hands, first time — and it PASSES, on the criterion 2:9 granted every tree: a true verdict on the wrong question; the machine holds a creature PASS beside the week's seven |
| EXPORT_trigger_events | וַתֹּאכַל … וַיֹּאכַל · va-tokhal … va-yokhal · the trigger chain (took, ate, gave, ate) — the events gen_08's HANDLER awaits (IF be_yom_akhal(adam..) THEN mot_tamut); the accent tree rests ON 'and she ate'; cross-unit firing is Stage E's work — the sentencing unit (3:14-24) is where judgment meets the armed clause |
| EXPORT_serpent_spec_receipt | וְנִפְקְחוּ … וַתִּפָּקַחְנָה · ve-nifqechu … va-tipakachnah · the Miriam verb-echo receipt pattern paid to the SERPENT'S forecast — weqatal claim (law grammar, TIR-029) answered by niphal wayyiqtol; what the promised knowing delivers is nakedness, and the state's own word changes with the knowing (arumim 6174 -> eirummim 5903) |
| EXPORT_first_interrogation | אַיֶּכָּה · ayeka · the first divine question to a human — the docket protocol (where / who told / have-you-eaten / what-have-you-done), the rule quoted back with its authority named (tzivitikha), two confessions ending on the identical trigger verb (va-okhel), one hapax of deceit (hishiani), and no question ever put to the serpent |
| EXPORT_memra_debut | קוֹל יְהוָה אֱלֹהִים מִתְהַלֵּךְ · qol YHWH Elohim mithalekh · Tier-A: Onkelos's MEMRA ('the WORD of the LORD') debuts in our derived spans at the walking voice (3:8, 3:10) — with 'the breeze of the day' rendered by the REST root (limnach yoma), and 'like God' demoted to 'like the great ones' (ke-ravrevin): the translation's theology visible exactly where the Hebrew is boldest |
| EXPORT_one_install | חֲגֹרֹת · chagorot · the violation unit installs ONE object: the fig-leaf girdles (Torah hapax) — the first human manufacture, the creation verb (asah) in plural human hands, worn against the knowledge the tree delivered |
Oral notes (named, tiered, dual-track — never merged)
כָּל הַמּוֹסִיף גּוֹרֵעַ · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to 3:1-13 (watch-list C) — fourth tripwire span in a row; the Sanhedrin 29a row is the detector's quote-diff tripwire (the chain's own verdict on the fence is a legal maxim — the legal formulas should fire on it when cached).
Queue entry — no claim made beyond the naming.
מֵימְרָא · meimra · The span's translation witness: CHAKIM ('wise') for the serpent's cunning — the knowledge-tree's eater-word; the serpent's name-drop LEVELED (the Aramaic serpent says the divine name); ke-RAVREVIN ('like the great ones') for 'like God' and galei kodam ('revealed before') for 'God knows' — both buffered; the MEMRA at the walking voice (3:8) and the heard voice (3:10); limnach yoma ('the REST of the day') for the breeze; tekarvun ('come NEAR') for the fence's touch; 'a HEALING for the eyes' and 'to LOOK AT' for the woman's criteria — her wisdom claim stripped; man chavi ('who TOLD') — the chava root, 3:20's name ahead; atyani ('led me astray') for the hapax.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.3.1 · parser unique · 22 words
PHRASE (binary 22w) וְ/הַ/נָּחָשׁ֙ הָיָ֣ה עָר֔וּם מִ/כֹּל֙ חַיַּ֣ת …
├── PHRASE (binary 10w) וְ/הַ/נָּחָשׁ֙ הָיָ֣ה עָר֔וּם מִ/כֹּל֙ חַיַּ֣ת …
│ ├── PHRASE (binary 3w) וְ/הַ/נָּחָשׁ֙ הָיָ֣ה עָר֔וּם
│ │ ├── [0] וְ/הַ/נָּחָשׁ֙ (pashta, rank=3)
│ │ └── [1-2] GLUE הָיָ֣ה עָר֔וּם (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) מִ/כֹּל֙ חַיַּ֣ת הַ/שָּׂדֶ֔ה אֲשֶׁ֥ר עָשָׂ֖ה יְ…
│ ├── PHRASE (binary 3w) מִ/כֹּל֙ חַיַּ֣ת הַ/שָּׂדֶ֔ה
│ │ ├── [3] מִ/כֹּל֙ (pashta, rank=3)
│ │ └── [4-5] GLUE חַיַּ֣ת הַ/שָּׂדֶ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אֲשֶׁ֥ר עָשָׂ֖ה יְהוָ֣ה אֱלֹהִ֑ים
│ ├── [6-7] GLUE אֲשֶׁ֥ר עָשָׂ֖ה (tifcha, rank=2)
│ └── [8-9] GLUE יְהוָ֣ה אֱלֹהִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) וַ/יֹּ֨אמֶר֙ אֶל הָ֣/אִשָּׁ֔ה אַ֚ף כִּֽי אָמַ֣ר…
├── PHRASE (binary 3w) וַ/יֹּ֨אמֶר֙ אֶל הָ֣/אִשָּׁ֔ה
│ ├── [10] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
│ └── [11-12] GLUE אֶל הָ֣/אִשָּׁ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 9w) אַ֚ף כִּֽי אָמַ֣ר אֱלֹהִ֔ים לֹ֣א תֹֽאכְל֔וּ מִ/…
├── PHRASE (binary 4w) אַ֚ף כִּֽי אָמַ֣ר אֱלֹהִ֔ים
│ ├── [13] אַ֚ף (yetiv, rank=3)
│ └── [14-16] GLUE כִּֽי אָמַ֣ר אֱלֹהִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 5w) לֹ֣א תֹֽאכְל֔וּ מִ/כֹּ֖ל עֵ֥ץ הַ/גָּֽן
├── [17-18] GLUE לֹ֣א תֹֽאכְל֔וּ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) מִ/כֹּ֖ל עֵ֥ץ הַ/גָּֽן
├── [19] מִ/כֹּ֖ל (tifcha, rank=2)
└── [20-21] GLUE עֵ֥ץ הַ/גָּֽן (silluq (verse-end emperor), rank=1)
Gen.3.2 · parser unique · 8 words
PHRASE (binary 8w) וַ/תֹּ֥אמֶר הָֽ/אִשָּׁ֖ה אֶל הַ/נָּחָ֑שׁ מִ/פְּ…
├── PHRASE (binary 4w) וַ/תֹּ֥אמֶר הָֽ/אִשָּׁ֖ה אֶל הַ/נָּחָ֑שׁ
│ ├── [0-1] GLUE וַ/תֹּ֥אמֶר הָֽ/אִשָּׁ֖ה (tifcha, rank=2)
│ └── [2-3] GLUE אֶל הַ/נָּחָ֑שׁ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) מִ/פְּרִ֥י עֵֽץ הַ/גָּ֖ן נֹאכֵֽל
├── [4-6] GLUE מִ/פְּרִ֥י עֵֽץ הַ/גָּ֖ן (tifcha, rank=2)
└── [7] נֹאכֵֽל (silluq (verse-end emperor), rank=1)
Gen.3.3 · parser unique · 15 words
PHRASE (binary 15w) וּ/מִ/פְּרִ֣י הָ/עֵץ֮ אֲשֶׁ֣ר בְּ/תוֹךְ הַ/גָּן… ├── PHRASE (binary 13w) וּ/מִ/פְּרִ֣י הָ/עֵץ֮ אֲשֶׁ֣ר בְּ/תוֹךְ הַ/גָּן… │ ├── PHRASE (binary 5w) וּ/מִ/פְּרִ֣י הָ/עֵץ֮ אֲשֶׁ֣ר בְּ/תוֹךְ הַ/גָּן֒ │ │ ├── [0-1] GLUE וּ/מִ/פְּרִ֣י הָ/עֵץ֮ (zinor (poetic cousin; rare in prose), rank=3) │ │ └── [2-4] GLUE אֲשֶׁ֣ר בְּ/תוֹךְ הַ/גָּן֒ (segol, rank=2) │ └── PHRASE (binary 8w) אָמַ֣ר אֱלֹהִ֗ים לֹ֤א תֹֽאכְלוּ֙ מִמֶּ֔/נּוּ וְ… │ ├── PHRASE (binary 5w) אָמַ֣ר אֱלֹהִ֗ים לֹ֤א תֹֽאכְלוּ֙ מִמֶּ֔/נּוּ │ │ ├── [5-6] GLUE אָמַ֣ר אֱלֹהִ֗ים (revia, rank=3) │ │ └── PHRASE (binary 3w) לֹ֤א תֹֽאכְלוּ֙ מִמֶּ֔/נּוּ │ │ ├── [7-8] GLUE לֹ֤א תֹֽאכְלוּ֙ (pashta, rank=3) │ │ └── [9] מִמֶּ֔/נּוּ (zaqef qatan, rank=2) │ └── PHRASE (binary 3w) וְ/לֹ֥א תִגְּע֖וּ בּ֑/וֹ │ ├── [10-11] GLUE וְ/לֹ֥א תִגְּע֖וּ (tifcha, rank=2) │ └── [12] בּ֑/וֹ (etnachta (major mid-verse rest), rank=1) └── [13-14] GLUE פֶּן תְּמֻתֽוּ/ן (silluq (verse-end emperor), rank=1)
Gen.3.4 · parser unique · 7 words
PHRASE (binary 7w) וַ/יֹּ֥אמֶר הַ/נָּחָ֖שׁ אֶל הָֽ/אִשָּׁ֑ה לֹֽא מ…
├── PHRASE (binary 4w) וַ/יֹּ֥אמֶר הַ/נָּחָ֖שׁ אֶל הָֽ/אִשָּׁ֑ה
│ ├── [0-1] GLUE וַ/יֹּ֥אמֶר הַ/נָּחָ֖שׁ (tifcha, rank=2)
│ └── [2-3] GLUE אֶל הָֽ/אִשָּׁ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) לֹֽא מ֖וֹת תְּמֻתֽוּ/ן
├── [4-5] GLUE לֹֽא מ֖וֹת (tifcha, rank=2)
└── [6] תְּמֻתֽוּ/ן (silluq (verse-end emperor), rank=1)
Gen.3.5 · parser unique · 14 words
PHRASE (binary 14w) כִּ֚י יֹדֵ֣עַ אֱלֹהִ֔ים כִּ֗י בְּ/יוֹם֙ אֲכָלְ/…
├── PHRASE (binary 9w) כִּ֚י יֹדֵ֣עַ אֱלֹהִ֔ים כִּ֗י בְּ/יוֹם֙ אֲכָלְ/…
│ ├── PHRASE (binary 3w) כִּ֚י יֹדֵ֣עַ אֱלֹהִ֔ים
│ │ ├── [0] כִּ֚י (yetiv, rank=3)
│ │ └── [1-2] GLUE יֹדֵ֣עַ אֱלֹהִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) כִּ֗י בְּ/יוֹם֙ אֲכָלְ/כֶ֣ם מִמֶּ֔/נּוּ וְ/נִפְ…
│ ├── PHRASE (binary 4w) כִּ֗י בְּ/יוֹם֙ אֲכָלְ/כֶ֣ם מִמֶּ֔/נּוּ
│ │ ├── [3] כִּ֗י (revia, rank=3)
│ │ └── PHRASE (binary 3w) בְּ/יוֹם֙ אֲכָלְ/כֶ֣ם מִמֶּ֔/נּוּ
│ │ ├── [4] בְּ/יוֹם֙ (pashta, rank=3)
│ │ └── [5-6] GLUE אֲכָלְ/כֶ֣ם מִמֶּ֔/נּוּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וְ/נִפְקְח֖וּ עֵֽינֵי/כֶ֑ם
│ ├── [7] וְ/נִפְקְח֖וּ (tifcha, rank=2)
│ └── [8] עֵֽינֵי/כֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וִ/הְיִיתֶם֙ כֵּֽ/אלֹהִ֔ים יֹדְעֵ֖י ט֥וֹב וָ/רָ…
├── PHRASE (binary 2w) וִ/הְיִיתֶם֙ כֵּֽ/אלֹהִ֔ים
│ ├── [9] וִ/הְיִיתֶם֙ (pashta, rank=3)
│ └── [10] כֵּֽ/אלֹהִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 3w) יֹדְעֵ֖י ט֥וֹב וָ/רָֽע
├── [11] יֹדְעֵ֖י (tifcha, rank=2)
└── [12-13] GLUE ט֥וֹב וָ/רָֽע (silluq (verse-end emperor), rank=1)
Gen.3.6 · parser unique · 21 words
PHRASE (binary 21w) וַ/תֵּ֣רֶא הָֽ/אִשָּׁ֡ה כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/…
├── PHRASE (binary 16w) וַ/תֵּ֣רֶא הָֽ/אִשָּׁ֡ה כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/…
│ ├── PHRASE (binary 13w) וַ/תֵּ֣רֶא הָֽ/אִשָּׁ֡ה כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/…
│ │ ├── PHRASE (binary 10w) וַ/תֵּ֣רֶא הָֽ/אִשָּׁ֡ה כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/…
│ │ │ ├── [0-1] GLUE וַ/תֵּ֣רֶא הָֽ/אִשָּׁ֡ה (pazer, rank=4)
│ │ │ └── PHRASE (binary 8w) כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/מַאֲכָ֜ל וְ/כִ֧י תַֽאֲוָ…
│ │ │ ├── [2-5] GLUE כִּ֣י טוֹב֩ הָ/עֵ֨ץ לְ/מַאֲכָ֜ל (geresh, rank=4)
│ │ │ └── [6-9] GLUE וְ/כִ֧י תַֽאֲוָה ה֣וּא לָ/עֵינַ֗יִם (revia, rank=3)
│ │ └── PHRASE (binary 3w) וְ/נֶחְמָ֤ד הָ/עֵץ֙ לְ/הַשְׂכִּ֔יל
│ │ ├── [10-11] GLUE וְ/נֶחְמָ֤ד הָ/עֵץ֙ (pashta, rank=3)
│ │ └── [12] לְ/הַשְׂכִּ֔יל (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/תִּקַּ֥ח מִ/פִּרְי֖/וֹ וַ/תֹּאכַ֑ל
│ ├── [13-14] GLUE וַ/תִּקַּ֥ח מִ/פִּרְי֖/וֹ (tifcha, rank=2)
│ └── [15] וַ/תֹּאכַ֑ל (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/תִּתֵּ֧ן גַּם לְ/אִישָׁ֛/הּ עִמָּ֖/הּ וַ/יֹּ…
├── PHRASE (binary 4w) וַ/תִּתֵּ֧ן גַּם לְ/אִישָׁ֛/הּ עִמָּ֖/הּ
│ ├── [16-18] GLUE וַ/תִּתֵּ֧ן גַּם לְ/אִישָׁ֛/הּ (tevir, rank=3)
│ └── [19] עִמָּ֖/הּ (tifcha, rank=2)
└── [20] וַ/יֹּאכַֽל (silluq (verse-end emperor), rank=1)
Gen.3.7 · parser unique · 13 words
PHRASE (binary 13w) וַ/תִּפָּקַ֨חְנָה֙ עֵינֵ֣י שְׁנֵי/הֶ֔ם וַ/יֵּ֣ד…
├── PHRASE (binary 7w) וַ/תִּפָּקַ֨חְנָה֙ עֵינֵ֣י שְׁנֵי/הֶ֔ם וַ/יֵּ֣ד…
│ ├── PHRASE (binary 3w) וַ/תִּפָּקַ֨חְנָה֙ עֵינֵ֣י שְׁנֵי/הֶ֔ם
│ │ ├── [0] וַ/תִּפָּקַ֨חְנָה֙ (pashta, rank=3)
│ │ └── [1-2] GLUE עֵינֵ֣י שְׁנֵי/הֶ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וַ/יֵּ֣דְע֔וּ כִּ֥י עֵֽירֻמִּ֖ם הֵ֑ם
│ ├── [3] וַ/יֵּ֣דְע֔וּ (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 3w) וַֽ/יִּתְפְּרוּ֙ עֲלֵ֣ה תְאֵנָ֔ה
│ ├── [7] וַֽ/יִּתְפְּרוּ֙ (pashta, rank=3)
│ └── [8-9] GLUE עֲלֵ֣ה תְאֵנָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/יַּעֲשׂ֥וּ לָ/הֶ֖ם חֲגֹרֹֽת
├── [10-11] GLUE וַ/יַּעֲשׂ֥וּ לָ/הֶ֖ם (tifcha, rank=2)
└── [12] חֲגֹרֹֽת (silluq (verse-end emperor), rank=1)
Gen.3.8 · parser unique · 18 words
PHRASE (binary 18w) וַֽ/יִּשְׁמְע֞וּ אֶת ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים מִ…
├── PHRASE (binary 9w) וַֽ/יִּשְׁמְע֞וּ אֶת ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים מִ…
│ ├── PHRASE (binary 7w) וַֽ/יִּשְׁמְע֞וּ אֶת ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים מִ…
│ │ ├── PHRASE (binary 5w) וַֽ/יִּשְׁמְע֞וּ אֶת ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים
│ │ │ ├── [0] וַֽ/יִּשְׁמְע֞וּ (gershayim, rank=4)
│ │ │ └── [1-4] GLUE אֶת ק֨וֹל יְהוָ֧ה אֱלֹהִ֛ים (tevir, rank=3)
│ │ └── [5-6] GLUE מִתְהַלֵּ֥ךְ בַּ/גָּ֖ן (tifcha, rank=2)
│ └── [7-8] GLUE לְ/ר֣וּחַ הַ/יּ֑וֹם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַ/יִּתְחַבֵּ֨א הָֽ/אָדָ֜ם וְ/אִשְׁתּ֗/וֹ מִ/פּ…
├── PHRASE (binary 6w) וַ/יִּתְחַבֵּ֨א הָֽ/אָדָ֜ם וְ/אִשְׁתּ֗/וֹ מִ/פּ…
│ ├── PHRASE (binary 3w) וַ/יִּתְחַבֵּ֨א הָֽ/אָדָ֜ם וְ/אִשְׁתּ֗/וֹ
│ │ ├── [9-10] GLUE וַ/יִּתְחַבֵּ֨א הָֽ/אָדָ֜ם (geresh, rank=4)
│ │ └── [11] וְ/אִשְׁתּ֗/וֹ (revia, rank=3)
│ └── PHRASE (binary 3w) מִ/פְּנֵי֙ יְהוָ֣ה אֱלֹהִ֔ים
│ ├── [12] מִ/פְּנֵי֙ (pashta, rank=3)
│ └── [13-14] GLUE יְהוָ֣ה אֱלֹהִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 3w) בְּ/ת֖וֹךְ עֵ֥ץ הַ/גָּֽן
├── [15] בְּ/ת֖וֹךְ (tifcha, rank=2)
└── [16-17] GLUE עֵ֥ץ הַ/גָּֽן (silluq (verse-end emperor), rank=1)
Gen.3.9 · parser unique · 8 words
PHRASE (binary 8w) וַ/יִּקְרָ֛א יְהוָ֥ה אֱלֹהִ֖ים אֶל הָֽ/אָדָ֑ם ו…
├── 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 3w) וַ/יֹּ֥אמֶר ל֖/וֹ אַיֶּֽ/כָּה
├── [5-6] GLUE וַ/יֹּ֥אמֶר ל֖/וֹ (tifcha, rank=2)
└── [7] אַיֶּֽ/כָּה (silluq (verse-end emperor), rank=1)
Gen.3.10 · parser unique · 10 words
PHRASE (binary 10w) וַ/יֹּ֕אמֶר אֶת קֹלְ/ךָ֥ שָׁמַ֖עְתִּי בַּ/גָּ֑ן…
├── PHRASE (binary 5w) וַ/יֹּ֕אמֶר אֶת קֹלְ/ךָ֥ שָׁמַ֖עְתִּי בַּ/גָּ֑ן
│ ├── [0] וַ/יֹּ֕אמֶר (zaqef gadol, rank=2)
│ └── PHRASE (binary 4w) אֶת קֹלְ/ךָ֥ שָׁמַ֖עְתִּי בַּ/גָּ֑ן
│ ├── [1-3] GLUE אֶת קֹלְ/ךָ֥ שָׁמַ֖עְתִּי (tifcha, rank=2)
│ └── [4] בַּ/גָּ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וָ/אִירָ֛א כִּֽי עֵירֹ֥ם אָנֹ֖כִי וָ/אֵחָבֵֽא
├── PHRASE (binary 4w) וָ/אִירָ֛א כִּֽי עֵירֹ֥ם אָנֹ֖כִי
│ ├── [5] וָ/אִירָ֛א (tevir, rank=3)
│ └── [6-8] GLUE כִּֽי עֵירֹ֥ם אָנֹ֖כִי (tifcha, rank=2)
└── [9] וָ/אֵחָבֵֽא (silluq (verse-end emperor), rank=1)
Gen.3.11 · parser unique · 15 words
PHRASE (binary 15w) וַ/יֹּ֕אמֶר מִ֚י הִגִּ֣יד לְ/ךָ֔ כִּ֥י עֵירֹ֖ם …
├── PHRASE (binary 7w) וַ/יֹּ֕אמֶר מִ֚י הִגִּ֣יד לְ/ךָ֔ כִּ֥י עֵירֹ֖ם …
│ ├── [0] וַ/יֹּ֕אמֶר (zaqef gadol, rank=2)
│ └── PHRASE (binary 6w) מִ֚י הִגִּ֣יד לְ/ךָ֔ כִּ֥י עֵירֹ֖ם אָ֑תָּה
│ ├── PHRASE (binary 3w) מִ֚י הִגִּ֣יד לְ/ךָ֔
│ │ ├── [1] מִ֚י (yetiv, 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 8w) הֲ/מִן הָ/עֵ֗ץ אֲשֶׁ֧ר צִוִּיתִ֛י/ךָ לְ/בִלְתִּ…
├── PHRASE (binary 7w) הֲ/מִן הָ/עֵ֗ץ אֲשֶׁ֧ר צִוִּיתִ֛י/ךָ לְ/בִלְתִּ…
│ ├── [7-8] GLUE הֲ/מִן הָ/עֵ֗ץ (revia, rank=3)
│ └── PHRASE (binary 5w) אֲשֶׁ֧ר צִוִּיתִ֛י/ךָ לְ/בִלְתִּ֥י אֲכָל מִמֶּ֖…
│ ├── [9-10] GLUE אֲשֶׁ֧ר צִוִּיתִ֛י/ךָ (tevir, rank=3)
│ └── [11-13] GLUE לְ/בִלְתִּ֥י אֲכָל מִמֶּ֖/נּוּ (tifcha, rank=2)
└── [14] אָכָֽלְתָּ (silluq (verse-end emperor), rank=1)
Gen.3.12 · parser unique · 12 words
PHRASE (binary 12w) וַ/יֹּ֖אמֶר הָֽ/אָדָ֑ם הָֽ/אִשָּׁה֙ אֲשֶׁ֣ר נָת…
├── PHRASE (binary 2w) וַ/יֹּ֖אמֶר הָֽ/אָדָ֑ם
│ ├── [0] וַ/יֹּ֖אמֶר (tifcha, rank=2)
│ └── [1] הָֽ/אָדָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) הָֽ/אִשָּׁה֙ אֲשֶׁ֣ר נָתַ֣תָּה עִמָּדִ֔/י הִ֛וא…
├── PHRASE (binary 4w) הָֽ/אִשָּׁה֙ אֲשֶׁ֣ר נָתַ֣תָּה עִמָּדִ֔/י
│ ├── [2] הָֽ/אִשָּׁה֙ (pashta, rank=3)
│ └── [3-5] GLUE אֲשֶׁ֣ר נָתַ֣תָּה עִמָּדִ֔/י (zaqef qatan, rank=2)
└── PHRASE (binary 6w) הִ֛וא נָֽתְנָה לִּ֥/י מִן הָ/עֵ֖ץ וָ/אֹכֵֽל
├── PHRASE (binary 5w) הִ֛וא נָֽתְנָה לִּ֥/י מִן הָ/עֵ֖ץ
│ ├── [6] הִ֛וא (tevir, rank=3)
│ └── [7-10] GLUE נָֽתְנָה לִּ֥/י מִן הָ/עֵ֖ץ (tifcha, rank=2)
└── [11] וָ/אֹכֵֽל (silluq (verse-end emperor), rank=1)
Gen.3.13 · parser unique · 12 words
PHRASE (binary 12w) וַ/יֹּ֨אמֶר יְהוָ֧ה אֱלֹהִ֛ים לָ/אִשָּׁ֖ה מַה ז…
├── PHRASE (binary 7w) וַ/יֹּ֨אמֶר יְהוָ֧ה אֱלֹהִ֛ים לָ/אִשָּׁ֖ה מַה ז…
│ ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר יְהוָ֧ה אֱלֹהִ֛ים לָ/אִשָּׁ֖ה
│ │ ├── [0-2] GLUE וַ/יֹּ֨אמֶר יְהוָ֧ה אֱלֹהִ֛ים (tevir, rank=3)
│ │ └── [3] לָ/אִשָּׁ֖ה (tifcha, rank=2)
│ └── [4-6] GLUE מַה זֹּ֣את עָשִׂ֑ית (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/תֹּ֨אמֶר֙ הָֽ/אִשָּׁ֔ה הַ/נָּחָ֥שׁ הִשִּׁיאַ…
├── PHRASE (binary 2w) וַ/תֹּ֨אמֶר֙ הָֽ/אִשָּׁ֔ה
│ ├── [7] וַ/תֹּ֨אמֶר֙ (pashta, rank=3)
│ └── [8] הָֽ/אִשָּׁ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) הַ/נָּחָ֥שׁ הִשִּׁיאַ֖/נִי וָ/אֹכֵֽל
├── [9-10] GLUE הַ/נָּחָ֥שׁ הִשִּׁיאַ֖/נִי (tifcha, rank=2)
└── [11] וָ/אֹכֵֽל (silluq (verse-end emperor), rank=1)
Word coverage — 175/175 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.3.1 | 0 | והנחש | ve-ha-nachash | and-the-serpent | serpent_FIRST_TOKEN_state_onset | logic_bearing | none |
| Gen.3.1 | 1 | היה | haya | was | background_perfect | logic_bearing | none |
| Gen.3.1 | 2 | ערום | arum | cunning | cunning_pun_pair_2_25 | logic_bearing | none |
| Gen.3.1 | 3 | מכל | mi-kol | from-all | comparative_all | logic_bearing | none |
| Gen.3.1 | 4 | חית | chayat | beast-of | class_comparata | logic_bearing | none |
| Gen.3.1 | 5 | השדה | ha-sade | the-field | field_register | logic_bearing | none |
| Gen.3.1 | 6 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.1 | 7 | עשה | asa | he-made | maker_credential | logic_bearing | none |
| Gen.3.1 | 8 | יהוה | YHWH | YHWH | maker_compound | logic_bearing | none |
| Gen.3.1 | 9 | אלהים | Elohim | God | maker_compound | logic_bearing | none |
| Gen.3.1 | 10 | ויאמר | va-yomer | and-he-said | first_nonhuman_speech | logic_bearing | TIR-014 |
| Gen.3.1 | 11 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.1 | 12 | האשה | ha-isha | the-woman | addressee_woman | logic_bearing | none |
| Gen.3.1 | 13 | אף | af | really | question_particle_really | logic_bearing | none |
| Gen.3.1 | 14 | כי | ki | that | quote_opener | glue | TIR-008 |
| Gen.3.1 | 15 | אמר | amar | he-said | quote_verb | logic_bearing | none |
| Gen.3.1 | 16 | אלהים | Elohim | God | divine_name_REDUCED_in_quote | logic_bearing | none |
| Gen.3.1 | 17 | לא | lo | not | quote_negation | logic_bearing | none |
| Gen.3.1 | 18 | תאכלו | tokhlu | you-shall-eat(pl) | quote_pluralized_2mp | logic_bearing | none |
| Gen.3.1 | 19 | מכל | mi-kol | from-all | quote_scope_INVERTED | logic_bearing | none |
| Gen.3.1 | 20 | עץ | etz | tree-of | tree_of | logic_bearing | none |
| Gen.3.1 | 21 | הגן | ha-gan | the-garden | garden_domain | logic_bearing | none |
| Gen.3.2 | 0 | ותאמר | va-tomer | and-she-said | woman_reply | logic_bearing | none |
| Gen.3.2 | 1 | האשה | ha-isha | the-woman | speaker | logic_bearing | none |
| Gen.3.2 | 2 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.2 | 3 | הנחש | ha-nachash | the-serpent | addressee_serpent | logic_bearing | none |
| Gen.3.2 | 4 | מפרי | mi-peri | from-fruit-of | permission_source_no_kol | logic_bearing | none |
| Gen.3.2 | 5 | עץ | etz | tree | tree_of | logic_bearing | none |
| Gen.3.2 | 6 | הגן | ha-gan | the-garden | garden | logic_bearing | none |
| Gen.3.2 | 7 | נאכל | nokhel | we-may-eat | permission_no_doubling_1cp | logic_bearing | none |
| Gen.3.3 | 0 | ומפרי | u-mi-peri | and-from-fruit | exclusion_fruit | logic_bearing | none |
| Gen.3.3 | 1 | העץ | ha-etz | the-tree | tree_presupposed | logic_bearing | none |
| Gen.3.3 | 2 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.3 | 3 | בתוך | be-tokh | in-midst-of | RELOCATED_midst_life_tree_address | logic_bearing | none |
| Gen.3.3 | 4 | הגן | ha-gan | the-garden | garden | logic_bearing | none |
| Gen.3.3 | 5 | אמר | amar | he-said | quote_verb | logic_bearing | none |
| Gen.3.3 | 6 | אלהים | Elohim | God | divine_name_reduced | logic_bearing | none |
| Gen.3.3 | 7 | לא | lo | not | quote_negation | logic_bearing | none |
| Gen.3.3 | 8 | תאכלו | tokhlu | you-shall-eat(pl) | quote_pluralized_2mp | logic_bearing | none |
| Gen.3.3 | 9 | ממנו | mime-nu | from-it | source_pinned | logic_bearing | none |
| Gen.3.3 | 10 | ולא | ve-lo | and-not | fence_conjunction_negation | logic_bearing | none |
| Gen.3.3 | 11 | תגעו | tigu | you-shall-touch | FENCE_touch_naga_FIRST_TOKEN | logic_bearing | none |
| Gen.3.3 | 12 | בו | b-o | in-it | fence_object | logic_bearing | none |
| Gen.3.3 | 13 | פן | pen | lest | penalty_SOFTENED_lest | logic_bearing | none |
| Gen.3.3 | 14 | תמתון | temutu-n | you-die(pl) | penalty_no_doubling_2mp | logic_bearing | none |
| Gen.3.4 | 0 | ויאמר | va-yomer | and-he-said | serpent_reply | logic_bearing | none |
| Gen.3.4 | 1 | הנחש | ha-nachash | the-serpent | speaker_serpent | logic_bearing | none |
| Gen.3.4 | 2 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.4 | 3 | האשה | ha-isha | the-woman | addressee_woman | logic_bearing | none |
| Gen.3.4 | 4 | לא | lo | not | CONTRADICTION_negator | logic_bearing | none |
| Gen.3.4 | 5 | מות | mot | dying | doubling_RESTORED_inf_abs | logic_bearing | none |
| Gen.3.4 | 6 | תמתון | temutu-n | you-shall-die(pl) | doubling_negated_2mp | logic_bearing | none |
| Gen.3.5 | 0 | כי | ki | that | theory_conjunction | glue | TIR-008 |
| Gen.3.5 | 1 | ידע | yodea | knows | knows_participle | logic_bearing | none |
| Gen.3.5 | 2 | אלהים | Elohim | God | divine_name_reduced | logic_bearing | none |
| Gen.3.5 | 3 | כי | ki | that | content_conjunction | glue | TIR-008 |
| Gen.3.5 | 4 | ביום | be-yom | in-day-of | rule_timing_formula_KEPT | logic_bearing | none |
| Gen.3.5 | 5 | אכלכם | akhal-khem | your-eating | trigger_infinitive_2mp | logic_bearing | none |
| Gen.3.5 | 6 | ממנו | mime-nu | from-it | source_pinned | logic_bearing | none |
| Gen.3.5 | 7 | ונפקחו | ve-nifqchu | and-shall-be-opened | forecast_WEQATAL_law_grammar | logic_bearing | TIR-029 |
| Gen.3.5 | 8 | עיניכם | ene-khem | your-eyes | eyes_object | logic_bearing | none |
| Gen.3.5 | 9 | והייתם | vi-heyitem | and-you-shall-be | forecast_weqatal_2 | logic_bearing | TIR-029 |
| Gen.3.5 | 10 | כאלהים | ke-Elohim | like-God | promise_like_God | logic_bearing | none |
| Gen.3.5 | 11 | ידעי | yode | knowers-of | knowers_participle | logic_bearing | none |
| Gen.3.5 | 12 | טוב | tov | good | tree_name_tail_as_predicate | logic_bearing | none |
| Gen.3.5 | 13 | ורע | va-ra | and-evil | tree_name_tail_as_predicate | logic_bearing | none |
| Gen.3.6 | 0 | ותרא | va-tere | and-she-saw | creature_TEST_see_verb | logic_bearing | TIR-014 |
| Gen.3.6 | 1 | האשה | ha-isha | the-woman | test_agent_woman | logic_bearing | none |
| Gen.3.6 | 2 | כי | ki | that | verdict_conjunction | glue | TIR-008 |
| Gen.3.6 | 3 | טוב | tov | good | verdict_word_PASS | logic_bearing | none |
| Gen.3.6 | 4 | העץ | ha-etz | the-tree | tested_object | logic_bearing | none |
| Gen.3.6 | 5 | למאכל | le-maakhal | for-food | criterion_2_9_grant | logic_bearing | none |
| Gen.3.6 | 6 | וכי | ve-ki | and-that | criterion_conjunction | glue | TIR-008 |
| Gen.3.6 | 7 | תאוה | taava | desire | desire_FIRST_TOKEN | logic_bearing | none |
| Gen.3.6 | 8 | הוא | hu | it | copula | logic_bearing | none |
| Gen.3.6 | 9 | לעינים | la-enayim | to-the-eyes | eyes_criterion | logic_bearing | none |
| Gen.3.6 | 10 | ונחמד | ve-nechmad | and-desirable | desirable_2_9_word | logic_bearing | none |
| Gen.3.6 | 11 | העץ | ha-etz | the-tree | tree | logic_bearing | none |
| Gen.3.6 | 12 | להשכיל | le-haskil | to-make-wise | wisdom_criterion | logic_bearing | none |
| Gen.3.6 | 13 | ותקח | va-tiqach | and-she-took | trigger_took_laqach | logic_bearing | none |
| Gen.3.6 | 14 | מפריו | mi-piry-o | from-its-fruit | fruit_source | logic_bearing | none |
| Gen.3.6 | 15 | ותאכל | va-tokhal | and-she-ate | TRIGGER_she_ate_carries_rest | logic_bearing | none |
| Gen.3.6 | 16 | ותתן | va-titen | and-she-gave | transfer_gave_natan | logic_bearing | none |
| Gen.3.6 | 17 | גם | gam | also | also | logic_bearing | none |
| Gen.3.6 | 18 | לאישה | le-isha-h | to-her-man | recipient_her_man | logic_bearing | none |
| Gen.3.6 | 19 | עמה | ima-h | with-her | with_her_OPEN | logic_bearing | none |
| Gen.3.6 | 20 | ויאכל | va-yokhal | and-he-ate | TRIGGER_he_ate_2ms_addressee | logic_bearing | none |
| Gen.3.7 | 0 | ותפקחנה | va-tipaqachna | and-were-opened | receipt_eyes_opened_agentless | logic_bearing | TIR-032 |
| Gen.3.7 | 1 | עיני | ene | eyes-of | eyes | logic_bearing | none |
| Gen.3.7 | 2 | שניהם | shene-hem | the-two-of-them | the_pair | logic_bearing | none |
| Gen.3.7 | 3 | וידעו | va-yedu | and-they-knew | knowing_delivered | logic_bearing | none |
| Gen.3.7 | 4 | כי | ki | that | content_conjunction | glue | TIR-008 |
| Gen.3.7 | 5 | עירמם | erumim | naked | naked_NEW_LEMMA_5903 | logic_bearing | none |
| Gen.3.7 | 6 | הם | hem | they | they | logic_bearing | none |
| Gen.3.7 | 7 | ויתפרו | va-yitpru | and-they-sewed | first_craft_sew | logic_bearing | none |
| Gen.3.7 | 8 | עלה | ale | leaf-of | leaf | logic_bearing | none |
| Gen.3.7 | 9 | תאנה | teena | fig | fig_land_fruit_trail | logic_bearing | none |
| Gen.3.7 | 10 | ויעשו | va-yaasu | and-they-made | asah_human_hands | logic_bearing | none |
| Gen.3.7 | 11 | להם | la-hem | for-them | beneficiaries | logic_bearing | none |
| Gen.3.7 | 12 | חגרת | chagorot | girdles | girdles_HAPAX_install | logic_bearing | none |
| Gen.3.8 | 0 | וישמעו | va-yishmu | and-they-heard | hearing | logic_bearing | none |
| Gen.3.8 | 1 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.3.8 | 2 | קול | qol | voice-of | voice_qol_thread | logic_bearing | none |
| Gen.3.8 | 3 | יהוה | YHWH | YHWH | compound_RETURNS | logic_bearing | none |
| Gen.3.8 | 4 | אלהים | Elohim | God | compound_RETURNS | logic_bearing | none |
| Gen.3.8 | 5 | מתהלך | mithalekh | walking-about | walking_participle | logic_bearing | TIR-031 |
| Gen.3.8 | 6 | בגן | ba-gan | in-the-garden | garden_locus | logic_bearing | none |
| Gen.3.8 | 7 | לרוח | le-rucha | at-breeze-of | breeze_ruach_day_wind | logic_bearing | none |
| Gen.3.8 | 8 | היום | ha-yom | the-day | day | logic_bearing | none |
| Gen.3.8 | 9 | ויתחבא | va-yitchabe | and-he-hid | first_hiding_hithpael | logic_bearing | none |
| Gen.3.8 | 10 | האדם | ha-adam | the-human | hider | logic_bearing | none |
| Gen.3.8 | 11 | ואשתו | ve-isht-o | and-his-wife | hider | logic_bearing | none |
| Gen.3.8 | 12 | מפני | mi-pene | from-face-of | from_the_face | logic_bearing | none |
| Gen.3.8 | 13 | יהוה | YHWH | YHWH | compound | logic_bearing | none |
| Gen.3.8 | 14 | אלהים | Elohim | God | compound | logic_bearing | none |
| Gen.3.8 | 15 | בתוך | be-tokh | in-midst-of | MIDST_echo_hiding_address | logic_bearing | none |
| Gen.3.8 | 16 | עץ | etz | tree-of | trees | logic_bearing | none |
| Gen.3.8 | 17 | הגן | ha-gan | the-garden | garden | logic_bearing | none |
| Gen.3.9 | 0 | ויקרא | va-yiqra | and-he-called | summons_call_qara | logic_bearing | none |
| Gen.3.9 | 1 | יהוה | YHWH | YHWH | compound | logic_bearing | none |
| Gen.3.9 | 2 | אלהים | Elohim | God | compound | logic_bearing | none |
| Gen.3.9 | 3 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.9 | 4 | האדם | ha-adam | the-human | summoned | logic_bearing | none |
| Gen.3.9 | 5 | ויאמר | va-yomer | and-he-said | speech_verb | logic_bearing | none |
| Gen.3.9 | 6 | לו | l-o | to-him | dative | logic_bearing | none |
| Gen.3.9 | 7 | איכה | aye-ka | where-are-you | FIRST_QUESTION_where_are_you | logic_bearing | none |
| Gen.3.10 | 0 | ויאמר | va-yomer | and-he-said | testimony_opener | logic_bearing | none |
| Gen.3.10 | 1 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.3.10 | 2 | קלך | qol-kha | your-voice | voice_thread_your_voice | logic_bearing | none |
| Gen.3.10 | 3 | שמעתי | shamati | I-heard | heard | logic_bearing | none |
| Gen.3.10 | 4 | בגן | ba-gan | in-the-garden | garden_locus | logic_bearing | none |
| Gen.3.10 | 5 | ואירא | va-ira | and-I-feared | FEAR_FIRST_TOKEN | logic_bearing | none |
| Gen.3.10 | 6 | כי | ki | that | cause_conjunction | glue | TIR-008 |
| Gen.3.10 | 7 | עירם | erom | naked | naked_singular | logic_bearing | none |
| Gen.3.10 | 8 | אנכי | anokhi | I | I | logic_bearing | none |
| Gen.3.10 | 9 | ואחבא | va-echave | and-I-hid | hid_niphal | logic_bearing | none |
| Gen.3.11 | 0 | ויאמר | va-yomer | and-he-said | question_two_three | logic_bearing | none |
| Gen.3.11 | 1 | מי | mi | who | who_interrogative | logic_bearing | none |
| Gen.3.11 | 2 | הגיד | higid | told | told_source_hunt | logic_bearing | none |
| Gen.3.11 | 3 | לך | le-kha | to-you | dative | logic_bearing | none |
| Gen.3.11 | 4 | כי | ki | that | content_conjunction | glue | TIR-008 |
| Gen.3.11 | 5 | עירם | erom | naked | naked | logic_bearing | none |
| Gen.3.11 | 6 | אתה | ata | you | you | logic_bearing | none |
| Gen.3.11 | 7 | המן | ha-min | is-it-from | interrogative_from_the_tree | logic_bearing | none |
| Gen.3.11 | 8 | העץ | ha-etz | the-tree | tree | logic_bearing | none |
| Gen.3.11 | 9 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.11 | 10 | צויתיך | tziviti-kha | I-commanded-you | RULE_QUOTED_BACK_tzavah_root | logic_bearing | none |
| Gen.3.11 | 11 | לבלתי | le-vilti | not-to | not_to_infinitive_form_3 | logic_bearing | TIR-030 |
| Gen.3.11 | 12 | אכל | akhal | eat | eat_infinitive | logic_bearing | none |
| Gen.3.11 | 13 | ממנו | mime-nu | from-it | source_pinned | logic_bearing | none |
| Gen.3.11 | 14 | אכלת | akhalta | you-have-eaten | deed_presupposed_perfect | logic_bearing | none |
| Gen.3.12 | 0 | ויאמר | va-yomer | and-he-said | answer_opener | logic_bearing | none |
| Gen.3.12 | 1 | האדם | ha-adam | the-human | speaker_isolated_at_rest | logic_bearing | none |
| Gen.3.12 | 2 | האשה | ha-isha | the-woman | blame_target_woman | logic_bearing | none |
| Gen.3.12 | 3 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.12 | 4 | נתתה | natata | you-gave | blame_YOU_gave | logic_bearing | none |
| Gen.3.12 | 5 | עמדי | imadi-y | with-me | with_me_echo | logic_bearing | none |
| Gen.3.12 | 6 | הוא | hiv | she-ktiv-hu-qere-hi | KTIV_QERE_hu_hi | logic_bearing | none |
| Gen.3.12 | 7 | נתנה | natna | she-gave | blame_SHE_gave | logic_bearing | none |
| Gen.3.12 | 8 | לי | li-y | to-me | dative | logic_bearing | none |
| Gen.3.12 | 9 | מן | min | from | preposition_from | logic_bearing | none |
| Gen.3.12 | 10 | העץ | ha-etz | the-tree | tree | logic_bearing | none |
| Gen.3.12 | 11 | ואכל | va-okhel | and-I-ate | ADMISSION_va_okhel_1 | logic_bearing | none |
| Gen.3.13 | 0 | ויאמר | va-yomer | and-say | question_four | logic_bearing | none |
| Gen.3.13 | 1 | יהוה | YHWH | YHWH | compound | logic_bearing | none |
| Gen.3.13 | 2 | אלהים | Elohim | God | compound | logic_bearing | none |
| Gen.3.13 | 3 | לאשה | la-isha | to-the-woman | addressee_woman | logic_bearing | none |
| Gen.3.13 | 4 | מה | ma | what | what | logic_bearing | none |
| Gen.3.13 | 5 | זאת | zot | this | this | logic_bearing | none |
| Gen.3.13 | 6 | עשית | asit | you-have-done | done_asah_interrogative | logic_bearing | none |
| Gen.3.13 | 7 | ותאמר | va-tomer | and-she-said | woman_answers | logic_bearing | none |
| Gen.3.13 | 8 | האשה | ha-isha | the-woman | speaker | logic_bearing | none |
| Gen.3.13 | 9 | הנחש | ha-nachash | the-serpent | blame_serpent | logic_bearing | none |
| Gen.3.13 | 10 | השיאני | hishia-ni | deceived-me | deceived_HAPAX | logic_bearing | none |
| Gen.3.13 | 11 | ואכל | va-okhel | and-I-ate | ADMISSION_va_okhel_2 | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_10_serpent_violation_trace — Eden III: the serpent, the misquoted rule, the eating, the interrogation (3:1-13) [frozen]
final state: WORLD=['chagorot'] (+5 presupposed) | REGISTRY={} | TESTS=1 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'spec_delta', 'spec_delta', 'spec_delta', 'read_before_install', 'spec_delta', 'spec_delta', 'spec_delta', 'spec_delta', 'read_before_install']
=== S1 — The serpent's quote — three mutations flagged: after STEP_Gn_3_1
אַף כִּי־אָמַר אֱלֹהִים (af ki-amar Elohim)
PASS flags nachash/ishah/gan as read-before-install (flagged=['gan', 'ishah', 'nachash'])
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS SPECS empty. (queue=0)
=== S2 — The woman's amendments — the fence and the softening: after STEP_Gn_3_3
וְלֹא תִגְּעוּ בּוֹ פֶּן־תְּמֻתוּן (ve-lo tigu bo pen-temutun)
PASS flags ha_etz as read-before-install (flagged=['gan', 'ha_etz', 'ishah', 'nachash'])
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS SPECS empty. (queue=0)
=== S3 — The creature-run test and the trigger: after STEP_Gn_3_6
וַתֵּרֶא … כִּי טוֹב … וַתֹּאכַל … וַיֹּאכַל (va-tere … ki tov … va-tokhal … va-yokhal)
PASS TESTS += PASS(tov, ha_etz_le_maakhal) (tests=[('tov', 'ha_etz_le_maakhal')])
PASS flags adam as read-before-install (flagged=['adam', 'gan', 'ha_etz', 'ishah', 'nachash'])
PASS SPECS empty. (queue=0)
=== S4 — One install — the girdles: after STEP_Gn_3_7
וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת (va-ya'asu lahem chagorot)
PASS WORLD = {chagorot}. (created=['chagorot'])
=== S5 — The testimony holds: after STEP_Gn_3_10
וָאִירָא כִּי־עֵירֹם אָנֹכִי (va-ira ki-erom anokhi)
PASS Facts testimony_feared_naked_hid HOLD. (3 facts)
=== S6 — Two admissions; no demand ever issued: after STEP_Gn_3_13
וָאֹכֵל … וָאֹכֵל (va-okhel … va-okhel)
PASS Facts admission_va_okhel HOLD (5 facts)
PASS SPECS empty (queue=0)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S7_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
# =============================================================================
# gen_10_serpent_violation_trace — 3:1-13
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_10_serpent_violation_trace.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 III: the serpent, the misquoted rule, the eating, the interrogation (3:1-13)"""
from machine import Machine
m = Machine("gen_10_serpent_violation_trace")
# -------------------------- Gen.3.1 · SERPENT_ONSET_INVERTED_QUOTE ---------
# וְהַנָּחָשׁ הָיָה עָרוּם מִכֹּל חַיַּת הַשָּׂדֶה אֲשֶׁר עָשָׂה יְהוָה
# אֱלֹהִים וַיֹּאמֶר אֶל־הָאִשָּׁה אַף כִּי־אָמַר אֱלֹהִים לֹא תֹאכְלוּ
# מִכֹּל עֵץ הַגָּן
# "Now the serpent was more subtle than any beast of the field which the
# LORD God had made. And he said unto the woman: 'Yea, hath God said: Ye
# shall not eat of any tree of the garden?'"
m.step("Gen.3.1")
# ‹וְהַנָּחָשׁ הָיָה עָרוּם … אֲשֶׁר עָשָׂה יְהוָה אֱלֹהִים› (“and-the-
# serpent was cunning … which he-made YHWH God”) — fact holds:
# cunning(serpent); make-the-LORD-God(serpent)
m.fact("arum(nachash)",
"asah_YHWH_Elohim(nachash)")
# reads without prior install (flag, not fix): serpent, woman, garden
m.presupposed("nachash", "ishah", "gan")
# ‹וַיֹּאמֶר אֶל־הָאִשָּׁה אַף כִּי־אָמַר אֱלֹהִים› (“and-he-said to the-
# woman really that he-said God”) — event: say — agent serpent; theme woman
m.event("say", agent="nachash", themes=["ishah"])
# spec-delta — spec said eating eat who-all tree-of the-garden + one
# exclusion (gen-08 2:16-17: permission over ALL, prohibition on ONE),
# delivery says not you-shall-eat(pl) who-all tree-of the-garden (the
# serpent: negation over ALL — the scope INVERTED, and the addressee
# pluralized 2ms->2mp)
m.spec_delta("akhol tokhel mi-kol etz ha-gan + one exclusion (gen_08 2:16-17: permission over ALL, prohibition on ONE)",
"lo tokhlu mi-kol etz ha-gan (the serpent: negation over ALL — the scope INVERTED, and the addressee pluralized 2ms->2mp)")
# spec-delta — spec said the-LORD-God (the rule's issuer, gen-08 2:16 — the
# Eden-exclusive compound), delivery says God (the serpent
m.spec_delta("YHWH_Elohim (the rule's issuer, gen_08 2:16 — the Eden-exclusive compound)",
"Elohim (the serpent")
# -------------------------- Gen.3.2 · WOMAN_PERMISSION_REDUCED -------------
# וַתֹּאמֶר הָאִשָּׁה אֶל־הַנָּחָשׁ מִפְּרִי עֵץ־הַגָּן נֹאכֵל
# "And the woman said unto the serpent: 'Of the fruit of the trees of the
# garden we may eat.'"
m.step("Gen.3.2")
# ‹וַתֹּאמֶר הָאִשָּׁה אֶל־הַנָּחָשׁ› (“and-she-said the-woman to the-
# serpent”) — event: say — agent woman; theme serpent
m.event("say", agent="ishah", themes=["nachash"])
# spec-delta — spec said who-KOL tree-of the-garden AKHOL TOKHEL (gen-08
# 2:16: from ALL, with the emphatic doubling — the corpus first doubling),
# delivery says who-fruit-of tree-of-the-garden we-may-eat (the woman: no
# who-all, no doubling — from the fruit fowl the garden trees we may eat)
m.spec_delta("mi-KOL etz ha-gan AKHOL TOKHEL (gen_08 2:16: from ALL, with the emphatic doubling — the corpus first doubling)",
"mi-peri etz-ha-gan nokhel (the woman: no mi-kol, no doubling — from the fruit of the garden trees we may eat)")
# -------------------------- Gen.3.3 · WOMAN_FENCE_AND_SOFTENED_PENALTY -----
# וּמִפְּרִי הָעֵץ אֲשֶׁר בְּתוֹךְ־הַגָּן אָמַר אֱלֹהִים לֹא תֹאכְלוּ
# מִמֶּנּוּ וְלֹא תִגְּעוּ בּוֹ פֶּן־תְּמֻתוּן
# "'But of the fruit of the tree which is in the midst of the garden, God
# hath said: Ye shall not eat of it, neither shall ye touch it, lest ye
# die.'"
m.step("Gen.3.3")
# reads without prior install (flag, not fix): the-tree-of
m.presupposed("ha_etz")
# spec-delta — spec said from-tree-of the-knowledge good and-evil (gen-08
# 2:17: the tree named by its knowledge; located nowhere), delivery says
# the-tree-of which in-midst-of the-garden (the woman: the tree IN THE MIDST
# — the address 2:9 states for the tree fowl LIFE)
m.spec_delta("me-etz ha-daat tov va-ra (gen_08 2:17: the tree named by its knowledge; located nowhere)",
"ha-etz asher be-tokh ha-gan (the woman: the tree IN THE MIDST — the address 2:9 states for the tree of LIFE)")
# ‹וְלֹא תִגְּעוּ בּוֹ› (“and-not you-shall-touch in-it”) — spec-delta —
# spec said not she-ate from-it (gen-08 2:17: eating prohibited — nothing
# else), delivery says not you-shall-eat(pl) from-it VE-LO TIGU BO (eating
# AND TOUCHING prohibited — a fence added to the rule)
m.spec_delta("lo tokhal mimenu (gen_08 2:17: eating prohibited — nothing else)",
"lo tokhlu mimenu VE-LO TIGU BO (eating AND TOUCHING prohibited — a fence added to the rule)")
# spec-delta — spec said that in-day-of your-eating from-it dying you-shall-
# die (gen-08 2:17: certainty ON THE DAY, with the death-doubling), delivery
# says lest-you-shall-die (the woman: LEST you die — risk for certainty, no
# doubling, no day-clock)
m.spec_delta("ki be-yom akholkha mimenu mot tamut (gen_08 2:17: certainty ON THE DAY, with the death-doubling)",
"pen-temutun (the woman: LEST you die — risk for certainty, no doubling, no day-clock)")
# -------------------------- Gen.3.4 · SERPENT_CONTRADICTION ----------------
# וַיֹּאמֶר הַנָּחָשׁ אֶל־הָאִשָּׁה לֹא־מוֹת תְּמֻתוּן
# "And the serpent said unto the woman: 'Ye shall not surely die.'"
m.step("Gen.3.4")
# ‹וַיֹּאמֶר הַנָּחָשׁ אֶל־הָאִשָּׁה› (“and-he-said the-serpent to the-
# woman”) — event: say — agent serpent; theme woman
m.event("say", agent="nachash", themes=["ishah"])
# ‹לֹא־מוֹת תְּמֻתוּן› (“not dying you-shall-die(pl)”) — spec-delta — spec
# said dying you-shall-die (gen-08 2:17: the penalty, doubled — the emphatic
# device the woman had dropped), delivery says LO-dying you-shall-die (the
# serpent: the doubling RESTORED in order to in NEGATED — the corpus first
# direct contradiction fowl a divine word)
m.spec_delta("mot tamut (gen_08 2:17: the penalty, doubled — the emphatic device the woman had dropped)",
"LO-mot temutun (the serpent: the doubling RESTORED in order to be NEGATED — the corpus first direct contradiction of a divine word)")
# -------------------------- Gen.3.5 · SERPENT_COUNTER_THEORY ---------------
# כִּי יֹדֵעַ אֱלֹהִים כִּי בְּיוֹם אֲכָלְכֶם מִמֶּנּוּ וְנִפְקְחוּ
# עֵינֵיכֶם וִהְיִיתֶם כֵּאלֹהִים יֹדְעֵי טוֹב וָרָע
# "'For God doth know that in the day ye eat thereof, then your eyes shall
# be opened, and ye shall be as God, knowing good and evil.'"
m.step("Gen.3.5")
# ‹כִּי יֹדֵעַ אֱלֹהִים … וְנִפְקְחוּ … וִהְיִיתֶם כֵּאלֹהִים› (“that knows
# God … and-shall-be-opened … and-you-shall-be like-God”) — event: claim —
# agent serpent; theme were-opened-your-eyes, like-God
m.event("claim", agent="nachash", themes=["nifqechu_eineikhem", "ke_Elohim"])
# -------------------------- Gen.3.6 · CREATURE_TEST_AND_TRIGGER ------------
# וַתֵּרֶא הָאִשָּׁה כִּי טוֹב הָעֵץ לְמַאֲכָל וְכִי תַאֲוָה־הוּא לָעֵינַיִם
# וְנֶחְמָד הָעֵץ לְהַשְׂכִּיל וַתִּקַּח מִפִּרְיוֹ וַתֹּאכַל וַתִּתֵּן
# גַּם־לְאִישָׁהּ עִמָּהּ וַיֹּאכַל
# "And when the woman saw that the tree was good for food, and that it was a
# delight to the eyes, and that the tree was to be desired to make one wise,
# she took of the fruit thereof, and did eat; and she gave also unto her
# husband with her, and he did eat."
m.step("Gen.3.6")
# ‹וַתֵּרֶא הָאִשָּׁה כִּי טוֹב הָעֵץ לְמַאֲכָל› (“and-she-saw the-woman
# that good the-tree for-food”) — test PASS — oracle-word good, on the-tree-
# of-to-food
m.test("PASS", "tov", "ha_etz_le_maakhal")
# ‹וַתִּקַּח מִפִּרְיוֹ› (“and-she-took from-its-fruit”) — event: take —
# agent woman; theme fruit
m.event("take", agent="ishah", themes=["pri"])
# ‹וַתֹּאכַל› (“and-she-ate”) — event: eat — agent woman; theme fruit
m.event("eat", agent="ishah", themes=["pri"])
# ‹וַתִּתֵּן גַּם־לְאִישָׁהּ עִמָּהּ› (“and-she-gave also to-her-man with-
# her”) — event: give — agent woman; theme human
m.event("give", agent="ishah", themes=["adam"])
# ‹וַיֹּאכַל› (“and-he-ate”) — event: eat — agent human; theme fruit
m.event("eat", agent="adam", themes=["pri"])
# reads without prior install (flag, not fix): human
m.presupposed("adam")
# -------------------------- Gen.3.7 · EYES_OPEN_FIRST_MANUFACTURE ----------
# וַתִּפָּקַחְנָה עֵינֵי שְׁנֵיהֶם וַיֵּדְעוּ כִּי עֵירֻמִּם הֵם
# וַיִּתְפְּרוּ עֲלֵה תְאֵנָה וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת
# "And the eyes of them both were opened, and they knew that they were
# naked; and they sewed fig-leaves together, and made themselves girdles."
m.step("Gen.3.7")
# ‹וַתִּפָּקַחְנָה עֵינֵי שְׁנֵיהֶם› (“and-were-opened eyes-of the-two-of-
# them”) — event: open-eyes — theme eyes-of-both-of-them
m.event("open_eyes", themes=["einei_shneihem"])
# ‹וַיֵּדְעוּ כִּי עֵירֻמִּם הֵם› (“and-they-knew that naked they”) — event:
# know — agent both-of-them; theme naked
m.event("know", agent="shneihem", themes=["eirummim"])
# ‹וַיִּתְפְּרוּ עֲלֵה תְאֵנָה וַיַּעֲשׂוּ לָהֶם חֲגֹרֹת› (“and-they-sewed
# leaf-of fig and-they-made for-them girdles”) — event: make — agent both-
# of-them; theme girdles
m.event("make", agent="shneihem", themes=["chagorot"])
# ‹חֲגֹרֹת› (“girdles”) — the world gains: girdles
m.install("chagorot")
# -------------------------- Gen.3.8 · VOICE_AND_HIDING ---------------------
# וַיִּשְׁמְעוּ אֶת־קוֹל יְהוָה אֱלֹהִים מִתְהַלֵּךְ בַּגָּן לְרוּחַ הַיּוֹם
# וַיִּתְחַבֵּא הָאָדָם וְאִשְׁתּוֹ מִפְּנֵי יְהוָה אֱלֹהִים בְּתוֹךְ עֵץ
# הַגָּן
# "And they heard the voice of the LORD God walking in the garden toward the
# cool of the day; and the man and his wife hid themselves from the presence
# of the LORD God amongst the trees of the garden."
m.step("Gen.3.8")
# ‹וַיִּשְׁמְעוּ אֶת־קוֹל יְהוָה אֱלֹהִים מִתְהַלֵּךְ בַּגָּן› (“and-they-
# heard obj-marker voice-of YHWH God walking-about in-the-garden”) — event:
# hear — agent both-of-them; theme voice-of-the-LORD-God
m.event("hear", agent="shneihem", themes=["qol_YHWH_Elohim"])
# ‹וַיִּתְחַבֵּא הָאָדָם וְאִשְׁתּוֹ … בְּתוֹךְ עֵץ הַגָּן› (“and-he-hid
# the-human and-his-wife … in-midst-of tree-of the-garden”) — event: hide —
# agent both-of-them; theme in-midst-of-tree-of-the-garden
m.event("hide", agent="shneihem", themes=["be_tokh_etz_ha_gan"])
# -------------------------- Gen.3.9 · FIRST_QUESTION -----------------------
# וַיִּקְרָא יְהוָה אֱלֹהִים אֶל־הָאָדָם וַיֹּאמֶר לוֹ אַיֶּכָּה
# "And the LORD God called unto the man, and said unto him: 'Where art
# thou?'"
m.step("Gen.3.9")
# ‹וַיִּקְרָא יְהוָה אֱלֹהִים אֶל־הָאָדָם› (“and-he-called YHWH God to the-
# human”) — event: call — agent the-LORD-God; theme human
m.event("call", agent="YHWH_Elohim", themes=["adam"])
# ‹אַיֶּכָּה› (“where-are-you”) — event: ask — agent the-LORD-God; theme
# where-are-you
m.event("ask", agent="YHWH_Elohim", themes=["ayeka"])
# -------------------------- Gen.3.10 · TESTIMONY_FEAR ----------------------
# וַיֹּאמֶר אֶת־קֹלְךָ שָׁמַעְתִּי בַּגָּן וָאִירָא כִּי־עֵירֹם אָנֹכִי
# וָאֵחָבֵא
# "And he said: 'I heard Thy voice in the garden, and I was afraid, because
# I was naked; and I hid myself.'"
m.step("Gen.3.10")
# ‹וַיֹּאמֶר אֶת־קֹלְךָ שָׁמַעְתִּי בַּגָּן› (“and-he-said obj-marker your-
# voice I-heard in-the-garden”) — event: say — agent human; theme the-LORD-
# God
m.event("say", agent="adam", themes=["YHWH_Elohim"])
# ‹וָאִירָא כִּי־עֵירֹם אָנֹכִי וָאֵחָבֵא› (“and-I-feared that naked I and-
# I-hid”) — fact holds: testimony-feared-naked-hid(human)
m.fact("testimony_feared_naked_hid(adam)")
# -------------------------- Gen.3.11 · RULE_QUOTED_BACK --------------------
# וַיֹּאמֶר מִי הִגִּיד לְךָ כִּי עֵירֹם אָתָּה הֲמִן־הָעֵץ אֲשֶׁר
# צִוִּיתִיךָ לְבִלְתִּי אֲכָל־מִמֶּנּוּ אָכָלְתָּ
# "And He said: 'Who told thee that thou wast naked? Hast thou eaten of the
# tree, whereof I commanded thee that thou shouldest not eat?'"
m.step("Gen.3.11")
# ‹מִי הִגִּיד לְךָ … הֲמִן־הָעֵץ אֲשֶׁר צִוִּיתִיךָ לְבִלְתִּי
# אֲכָל־מִמֶּנּוּ אָכָלְתָּ› (“who told to-you … is-it-from the-tree which
# I-commanded-you not-to eat from-it you-have-eaten”) — event: ask — agent
# the-LORD-God; theme who-told, you-have-eaten
m.event("ask", agent="YHWH_Elohim", themes=["mi_higid", "akhalta"])
# -------------------------- Gen.3.12 · BLAME_CHAIN_ADMISSION_1 -------------
# וַיֹּאמֶר הָאָדָם הָאִשָּׁה אֲשֶׁר נָתַתָּה עִמָּדִי הִוא נָתְנָה־לִּי
# מִן־הָעֵץ וָאֹכֵל
# "And the man said: 'The woman whom Thou gavest to be with me, she gave me
# of the tree, and I did eat.'"
m.step("Gen.3.12")
# ‹הָאִשָּׁה אֲשֶׁר נָתַתָּה עִמָּדִי הִוא נָתְנָה־לִּי› (“the-woman which
# you-gave with-me she-ktiv-hu-qere-hi she-gave to-me”) — event: say — agent
# human; theme woman
m.event("say", agent="adam", themes=["ishah"])
# ‹וָאֹכֵל› (“and-I-ate”) — fact holds: admission-and-I-ate(human)
m.fact("admission_va_okhel(adam)")
# -------------------------- Gen.3.13 · ADMISSION_2_HAPAX_DECEIT ------------
# וַיֹּאמֶר יְהוָה אֱלֹהִים לָאִשָּׁה מַה־זֹּאת עָשִׂית וַתֹּאמֶר הָאִשָּׁה
# הַנָּחָשׁ הִשִּׁיאַנִי וָאֹכֵל
# "And the LORD God said unto the woman: 'What is this thou hast done?' And
# the woman said: 'The serpent beguiled me, and I did eat.'"
m.step("Gen.3.13")
# ‹מַה־זֹּאת עָשִׂית› (“what this you-have-done”) — event: ask — agent the-
# LORD-God; theme woman
m.event("ask", agent="YHWH_Elohim", themes=["ishah"])
# ‹הַנָּחָשׁ הִשִּׁיאַנִי› (“the-serpent deceived-me”) — event: say — agent
# woman; theme serpent
m.event("say", agent="ishah", themes=["nachash"])
# ‹וָאֹכֵל› (“and-I-ate”) — fact holds: admission-and-I-ate(woman)
m.fact("admission_va_okhel(ishah)")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'chagorot'}
assert m.presupposed_set() == {'adam', 'nachash', 'gan', 'ishah', 'ha_etz'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == [('PASS', 'tov', 'ha_etz_le_maakhal')]
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 0
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 5, 'spec_delta': 7}
assert sorted(m.WORLD["facts"]) == sorted(['arum(nachash)', 'asah_YHWH_Elohim(nachash)', 'testimony_feared_naked_hid(adam)', 'admission_va_okhel(adam)', 'admission_va_okhel(ishah)'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 20
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")