Eden IV: the sentences, the skin garments, the exile (3:14-24) FROZEN
אָרוּר … בְּזֵעַת אַפֶּיךָ … וַיְגָרֶשׁ · arur … be-zeat apekha … va-yegaresh · 'cursed' … 'by the sweat of your face' … 'and He drove out'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The sentencing and exile (3:14-24): opens on the first verdict speech (va-yomer ... el-ha-nachash, 'because you did this') and closes the Eden narrative at the chapter's end — 4:1 opens the Cain cycle outside the garden. Three sentences in REVERSE interrogation order: the serpent (never questioned — the chain notices; named-only) sentenced first, then the woman, then the man; then the four closing acts: the naming (Chavah), the clothing (skin garments), the deliberation (like-one-of-us; lest the second tree), and the expulsion with the guards installed. The span's frame is the office: 2:15 gave the human la-avdah u-le-shamrah; 3:23-24 splits it — the human exits with the WORK half, the keruvim receive the GUARD half, and the way to the tree of life closes. | established |
| B | Hebrew source + trees | All 11 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: the rare near-poetic accent pair (zinor + segol) that marked the first human speech (2:23) and the woman's quotation (3:3) stands over BOTH sentence-openers here (3:14 'because you did this'; 3:17 'because you listened to the voice of your wife') — the parser's own labels mark the verdicts' elevated register. 3:14 [the curse with its comparative | the doom terms: belly, dust, all your days]; 3:15 [enmity SET between seed and seed | the head/heel reciprocal]; 3:16 [the multiplied toil | the longing-and-rule clause]; 3:17 [the indictment carrying the rule's FOURTH quote — verbatim at last | the ground cursed, the toil term]; 3:19 [sweat-bread UNTIL the return, for from it you were taken | dust you are, to dust you return]; 3:22 [like one of US, knowing good and evil | and now — LEST he take also from the tree of LIFE]; 3:24 [He drove out the human | stationed east of the garden the keruvim and the whirling sword's flame — TO GUARD the way of the tree of life]. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): the three sentences run on imperfect doom-terms (telekh, tokhal, teldi, yimshol, tatzmiach, tashuv) with ONE weqatal chain in the risk-scenario (3:22 ve-lakach ve-akhal va-chai — law grammar for the feared future) and ONE in the diet clause (3:18 ve-akhalta). ARUR — qal passive participle, the corpus's first curse token: 3:1's credential (arum mi-kol chayat ha-sadeh) returns one letter changed (arur mi-kol ... chayat ha-sadeh). The enmity: ashit (1cs — the decree voice) + bein x4 (day 1's partition vocabulary turned hostile) + shuf x2 — the corpus's ONLY two tokens of the verb, a reciprocal existing nowhere else. harbah arbeh — doubling #4 (first hiphil member). The 3:17 indictment quotes the rule a FOURTH time — the only VERBATIM quote in the corpus (asher tzivitikha lemor lo tokhal mimenu — 2ms, clean scope, clean negation: the issuer alone quotes exactly). The man's doom closes 2:7's loop: lukachta ('you were TAKEN' — the woman's 2:23 lukocha, now 2ms), afar atah ve-el afar tashuv, with AD ('UNTIL') as the operative bound — mortality as boundary. 3:20 the second human naming — ACTIVE this time (va-yiqra shem, vs 2:23's passive yiqare), with the reason clause (em kol-chai) and the hu/hi ktiv-qere again. 3:21 or ('skin') first token — lev_13's import chain source-verified; va-yalbishem (lavash first token, hiphil — God clothes). 3:22 ke-achad MIMENU — the council plural returns, conceding the tree's name-tail (la-daat tov va-ra) to the human; pen (the woman's 'lest', 3:3) now in the divine mouth; le-olam ('forever') debuts inside the denied possibility. 3:22-23 the shalach doubling: pen YISHLACH yado ('lest he SEND his hand') answered by va-YESHALLECHEHU ('He SENT him out') — same root, adjacent verses. 3:24: garash first token (-> 4:14, Cain's 'You have DRIVEN me out'); SHAKHAN — the Mishkan/Presence root's FIRST corpus token, stationing GUARDS; the KERUVIM's 19 tokens are this verse + the ARK and Tabernacle exclusively (Exod 25-37; Num 7:89 — the Voice from between them); mithapekhet (hithpael participle, TIR-031) — the self-turning sword; LI-SHMOR — the 2:15 office's second infinitive, reassigned. | tested |
| D | Predicates & outcomes | The verdicts, in the machine's terms: the serpent takes the corpus's first CURSE as a status write plus standing doom terms (belly-locomotion, dust-diet) and a transgenerational PATTERN (enmity between seeds; the head/heel reciprocal) whose only Torah re-use is the manslayer law's intent test (eivah, Num 35:21-22). The woman takes multiplied toil and birth-pain terms plus the longing-and-rule clause — repeated VERBATIM as a pair to CAIN at 4:7 (teshukah + mashal: sin at the door inherits her sentence's grammar). The man takes: the GROUND cursed (not the man — his source material carries it, ba-avurekha), the shared toil word, thorn-diet (2:5's esev ha-sadeh returns as menu), sweat-bread, and the BOUNDARY — until the return to dust. The handler said in-the-day death; the sentence delivers mortality-with-horizon: the machine flags the delta against the frozen text and stops there (the chain's dossiers are queued, not merged). Then: the naming (life's mother, at the mouth of the death sentence — the chain hears the paradox; named-only), the clothing (God replaces the fig girdles with skin tunics — Sotah 14a's imitatio dossier queued), the deliberation (the serpent's claim conceded in the divine voice [OPEN]; access-control on the SECOND tree becomes the exile's stated reason), and the expulsion (the office splits; the dwelling root debuts housing guards; the way to life is kept — li-shmor — by keruvim whose every later token flanks the ark). | tested |
| E | Logic format choice | Operator lines; NO ledger row; NO demands (second consecutive zero-DECLARE unit — sentencing decrees, not requests: nothing enters SPECS, nothing is owed back). The two curses are ASSIGN status writes (nachash -> arur_mi_kol_ha_behemah; adamah -> arurah_baavurekha) — the day-4/day-7 registry device now writing the negative pole (kadosh 2:3 / arur 3:14: one axis, two ends, one operator). The enmity is a PATTERN (gen_09's operator: standing generalization, no trigger, no addressee-obligation — the program runs between seeds through history). Sentence terms are standing HOLDS facts. The handler-vs-sentence delta is ONE NOTE_SPEC_DELTA citing gen_08's frozen 2:17 verbatim on the spec side. The naming is NAME (active; the unit's only non-status registry write). The garments and the guards are WORLD installs; the guard duty is the third ASSIGN (keruvim -> shomer_derekh_etz_ha_chayim — the 2:15 verb, new holder). Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: arur_mi_kol_ha_behemah, ad_shuvkha_el_ha_adamah, kotnot_or, lahat_ha_cherev, shomer_derekh_etz_ha_chayim. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero sources; gen_11 Tier-A queue): Bereshit Rabbah 20 (the sentences; 20:12 garments of LIGHT — the or/or letter-play, the span's al-tikrei-class detector tripwire); Bavli Eruvin 100b (the ten curses); Bavli Sotah 14a (God clothes the naked — imitatio Dei); Bavli Sanhedrin 38b (the plural, second anchor); Bavli Pesachim 54a (the from-of-old keruvim); Bereshit Rabbah 21 (the exile); PRE 20 (the day-clock reprieve — the handler-delta's dossier). Tier-A Onkelos (11 fetches, FETCHLOG 2026-08-01): the enmity as MEMORY-program ('he will REMEMBER what you did from of old, and you will KEEP it for him TO THE END' — an end-horizon the Hebrew lacks; seed -> sons); itzavon split (tzaar for hers, AMAL for his — the shared word is letter-only); 'you ACCEPTED the WORD (meimar) of your wife'; lukachta -> 'you were CREATED' twice (the taking verb leveled); 'mother of all the SONS OF MEN' (scope narrowed); kotnot or -> 'garments of HONOR upon the skin of their flesh'; ke-achad mimenu -> 'UNIQUE in the world by himself' (the plural refused — the na'aseh buffer's second witness); va-yashken -> ve-ashrei (the dwelling verb; 2:15's settler now settles guards); mi-qedem -> mi-lekadmin ('from of old') — TEMPORAL, the keruvim pre-created. | tested |
| H | Scenarios | S1 the first curse as registry write (single-write check). S2 the enmity pattern standing. S3 both curses on the registry (two-write check) after the man's sentence. S4 the handler-delta flagged + the dust-boundary facts. S5 the garments: WORLD = {kotnot_or} (the naming precedes — registry grows, world still empty until 3:21). S6 the deliberation facts (like-one-of-us; the pen-clause). S7 the close: full WORLD set (garments, keruvim, sword-flame), guard duty assigned, LEDGER stays EMPTY, SPECS empty end to end. S8_negative: flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (qal passive participles for the curses; imperfect doom-terms; the weqatal risk chain TIR-029; hithpael participle TIR-031; Vqc infinitives TIR-030) and DB censuses run BEFORE drafting (arur/eivah/itzavon exact trails; shuf x2 unique; teshukah+mashal at 4:7; the keruvim's Tabernacle exclusivity; shakhan's debut; or-skin's trail; the garash -> 4:14 echo; olam's debut). The commutation question is held ONLY as a spec-delta against the frozen handler text — no reading of it is asserted; [OPEN] items (the plural concession; the never-questioned serpent; the naming's placement) stay open with 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. AT FREEZE (owner order only): flip status to frozen, re-verify, regression-run the eleven frozen units. 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_14 · Gen.3.14 · SENTENCE_SERPENT_FIRST_CURSE
וַיֹּאמֶר יְהוָה אֱלֹהִים אֶל־הַנָּחָשׁ כִּי עָשִׂיתָ זֹּאת אָרוּר אַתָּה מִכָּל־הַבְּהֵמָה וּמִכֹּל חַיַּת הַשָּׂדֶה עַל־גְּחֹנְךָ תֵלֵךְ וְעָפָר תֹּאכַל כָּל־יְמֵי חַיֶּיךָ · va-yomer YHWH Elohim el-ha-nachash ki asita zot arur atah mi-kol-ha-behemah u-mi-kol chayat ha-sadeh al-gechonkha telekh ve-afar tokhal kol-yemei chayekha · [EN-AID/JPS] And the LORD God said unto the serpent: 'Because thou hast done this, cursed art thou from among all cattle, and from among all beasts of the field; upon thy belly shalt thou go, and dust shalt thou eat all the days of thy life.'
ויאמר יהוה אלהים אל הנחש כי עשית זאת ארור אתה מכל הבהמה ומכל חית השדה · va-yomer … ki asita zot arur atah mi-kol-ha-behemah u-mi-kol chayat ha-sadeh · the indictment + the curse with its comparative (etnachta arm)
על גחנך תלך ועפר תאכל כל ימי חייך · al-gechonkha telekh ve-afar tokhal kol-yemei chayekha · the doom terms: belly, dust, all your days
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | sentence(e1) ∧ Agent(e1, YHWH_Elohim) ∧ Theme(e1, nachash) = sentence(e1) ∧ Agent(e1, the-LORD-God) ∧ Theme(e1, serpent) The verdicts open — in REVERSE interrogation order, and on the one party never questioned: the serpent gets no 'where are you', only 'BECAUSE you did this' (the chain notices; named-only). The rare near-poetic accents (zinor + segol) stand over the opener — the parser's own register-shift marker, third time in the corpus, always at charged speech. | וַיֹּאמֶר … אֶל־הַנָּחָשׁ כִּי עָשִׂיתָ זֹּאת · va-yomer … el-ha-nachash ki asita zot = he-said to-the-serpent because you-did this | — | tested |
| NOTE_PRESUPPOSED | nachash are READ without prior install (gen_10's speaker, sentenced here) = serpent are READ without prior install (gen-10's speaker, sentenced here) flag, not fix | — | — | tested |
| ASSIGN | REGISTRY: nachash->arur_mi_kol_ha_behemah = REGISTRY: serpent->CURSED-from-all-the-livestock THE CORPUS'S FIRST CURSE — written with the ASSIGN device that wrote its first HOLINESS (2:3 yom_ha_shevii->kadosh): one status axis, two poles, one operator. The letter's pun brackets the serpent's whole arc: arum mi-kol chayat ha-sadeh ('CUNNING more than every beast', 3:1) -> arur ... mi-kol chayat ha-sadeh ('CURSED more than every beast') — one letter apart, same comparative frame: the credential returns as the sentence. The curse chain ahead is explicit (DB-exact): 3:17 the ground; 4:11 CAIN ('cursed are YOU from the ground' — a human at last); 5:29 Noah named as its consolation; 9:25 Canaan. | אָרוּר אַתָּה מִכָּל־הַבְּהֵמָה · arur atah mi-kol-ha-behemah = CURSED you from-all-the-livestock | — | tested |
| PRECONDITION_STATE | HOLDS(al_gechonkha_telekh(nachash), t3) ∧ HOLDS(afar_tokhal_kol_yemei_chayekha(nachash), t3) = HOLDS(upon-your-belly-you-shall-go(serpent), t3) ∧ HOLDS(dust-you-shall-eat-all-days-of-your-life(serpent), t3) The standing doom terms: belly-locomotion (gachon — hapax-class) and DUST as diet — afar, the man's material (2:7), assigned to the serpent's mouth for all its days. Doom terms are imperfect-tense standing conditions: the machine holds them as facts, owing nothing (a decree is not a demand). | עַל־גְּחֹנְךָ תֵלֵךְ וְעָפָר תֹּאכַל · al-gechonkha telekh ve-afar tokhal = upon-your-belly you-shall-go dust you-shall-eat | — | tested |
STEP_Gn_3_15 · Gen.3.15 · ENMITY_PROGRAM
וְאֵיבָה אָשִׁית בֵּינְךָ וּבֵין הָאִשָּׁה וּבֵין זַרְעֲךָ וּבֵין זַרְעָהּ הוּא יְשׁוּפְךָ רֹאשׁ וְאַתָּה תְּשׁוּפֶנּוּ עָקֵב · ve-eivah ashit beinkha u-vein ha-ishah u-vein zarakha u-vein zarah hu yeshufkha rosh ve-atah teshufenu akev · [EN-AID/JPS] 'And I will put enmity between thee and the woman, and between thy seed and her seed; they shall bruise thy head, and thou shalt bruise their heel.'
ואיבה אשית בינך ובין האשה ובין זרעך ובין זרעה · ve-eivah ashit beinkha u-vein ha-ishah u-vein zarakha u-vein zarah · enmity SET between-and-between, seed and seed (etnachta arm)
הוא ישופך ראש ואתה תשופנו עקב · hu yeshufkha rosh ve-atah teshufenu akev · the reciprocal: he strikes your head, you strike his heel
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PATTERN | PATTERN(eivah(bein_zera_ha_ishah, bein_zera_ha_nachash) ∧ hu_yeshufkha_rosh ∧ atah_teshufenu_akev) = PATTERN(enmity(between-seed-the-woman, between-seed-the-serpent) ∧ he-shall-bruise-you-head ∧ you-shall-bruise-him-heel) THE ENMITY PROGRAM — a standing transgenerational pattern (gen_09's operator: no trigger, no receipt — it runs between SEEDS through history). The decree voice is 1cs (ashit, 'I will SET') and the placement grammar is day 1's: bein ... u-vein x4 — the partition vocabulary (havdil bein) turned hostile: the corpus's first divider separated light from darkness; this one sets war between lineages. eivah ('enmity') has THREE Torah tokens: here and Num 35:21-22 — the MANSLAYER law's intent criterion (with-enmity = murder): the sentence's word becomes the law's mens-rea test. shuf (the strike verb) exists TWICE in the corpus, both in this verse — a reciprocal found nowhere else (head-strike vs heel-strike; the asymmetry is the letter's). Onkelos famously re-voices the reciprocal as MEMORY: 'he will be REMEMBERING what you did to him from of old, and you will be KEEPING it for him TO THE END (le-sofa)' — an end-horizon the Hebrew does not state; seed rendered 'sons' (Tier-A, flagged in the edition, dual-track). | וְאֵיבָה אָשִׁית … הוּא יְשׁוּפְךָ רֹאשׁ וְאַתָּה תְּשׁוּפֶנּוּ עָקֵב · ve-eivah ashit … hu yeshufkha rosh ve-atah teshufenu akev = enmity I-will-set he shall-bruise-you head you shall-bruise-him heel | TIR-029 | tested |
STEP_Gn_3_16 · Gen.3.16 · SENTENCE_WOMAN
אֶל־הָאִשָּׁה אָמַר הַרְבָּה אַרְבֶּה עִצְּבוֹנֵךְ וְהֵרֹנֵךְ בְּעֶצֶב תֵּלְדִי בָנִים וְאֶל־אִישֵׁךְ תְּשׁוּקָתֵךְ וְהוּא יִמְשָׁל־בָּךְ · el-ha-ishah amar harbah arbeh itzvonekh ve-heronekh be-etzev teldi vanim ve-el-ishekh teshukatekh ve-hu yimshol-bakh · [EN-AID/JPS] Unto the woman He said: 'I will greatly multiply thy pain and thy travail; in pain thou shalt bring forth children; and thy desire shall be to thy husband, and he shall rule over thee.'
אל האשה אמר הרבה ארבה עצבונך והרנך בעצב תלדי בנים · el-ha-ishah amar harbah arbeh itzvonekh ve-heronekh be-etzev teldi vanim · the multiplied toil and the birth-pain term (etnachta arm)
ואל אישך תשוקתך והוא ימשל בך · ve-el-ishekh teshukatekh ve-hu yimshol-bakh · the longing-and-rule clause
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NOTE_PRESUPPOSED | ishah are READ without prior install (gen_09's built one, sentenced here) = woman are READ without prior install (gen-09's built one, sentenced here) flag, not fix | — | — | tested |
| PRECONDITION_STATE | HOLDS(harbah_arbeh_itzvonekh_ve_heronekh(ishah), t3) ∧ HOLDS(be_etzev_teldi_vanim(ishah), t3) ∧ HOLDS(el_ishekh_teshukatekh_ve_hu_yimshol_bakh(ishah), t3) = HOLDS(greatly-I-will-multiply-your-toil-and-your-pregnancy(woman), t3) ∧ HOLDS(in-pain-you-shall-bear-sons(woman), t3) ∧ HOLDS(to-your-husband-your-desire-and-he-shall-rule-in-you(woman), t3) The woman's sentence, three standing terms. harbah arbeh ('multiplying I will MULTIPLY') — infinitive-absolute doubling #4 of the corpus (the first hiphil member; gen_08 holds the census) — the emphatic device that carried the permission and the penalty now carries a sentence. itzavon ('toil') — x3 in the corpus: HERE, the man's sentence one verse on (the SAME word shared across both — Onkelos splits it: tzaar for hers, amal for his — the share is letter-only), and 5:29 (Noah named as its consolation). The closing pair is the span's sharpest forward edge: teshukah ('longing') + mashal ('rule') — repeated VERBATIM as a pair to CAIN at 4:7 ('to you is its LONGING, and you shall RULE over it' — sin at the door inherits this sentence's exact grammar; teshukah's only two Torah tokens). [OPEN, chain queue: Eruvin 100b's ten-curses dossier.] | הַרְבָּה אַרְבֶּה עִצְּבוֹנֵךְ … בְּעֶצֶב תֵּלְדִי בָנִים … וְהוּא יִמְשָׁל־בָּךְ · harbah arbeh itzvonekh … be-etzev teldi vanim … ve-hu yimshol-bakh = greatly I-will-multiply your-toil pain you-shall-bear sons he shall-rule-in-you | — | tested |
STEP_Gn_3_17 · Gen.3.17 · SENTENCE_MAN_GROUND_CURSED
וּלְאָדָם אָמַר כִּי־שָׁמַעְתָּ לְקוֹל אִשְׁתֶּךָ וַתֹּאכַל מִן־הָעֵץ אֲשֶׁר צִוִּיתִיךָ לֵאמֹר לֹא תֹאכַל מִמֶּנּוּ אֲרוּרָה הָאֲדָמָה בַּעֲבוּרֶךָ בְּעִצָּבוֹן תֹּאכֲלֶנָּה כֹּל יְמֵי חַיֶּיךָ · u-le-adam amar ki-shamata le-qol ishtekha va-tokhal min-ha-etz asher tzivitikha lemor lo tokhal mimenu arurah ha-adamah ba-avurekha be-itzavon tokhalenah kol yemei chayekha · [EN-AID/JPS] And unto Adam He said: 'Because thou hast hearkened unto the voice of thy wife, and hast eaten of the tree, of which I commanded thee, saying: Thou shalt not eat of it; cursed is the ground for thy sake; in toil shalt thou eat of it all the days of thy life.'
ולאדם אמר כי שמעת לקול אשתך ותאכל מן העץ אשר צויתיך לאמר לא תאכל ממנו · u-le-adam amar ki-shamata le-qol ishtekha va-tokhal min-ha-etz asher tzivitikha lemor lo tokhal mimenu · the indictment — carrying the rule's FOURTH quote, verbatim (etnachta arm)
ארורה האדמה בעבורך בעצבון תאכלנה כל ימי חייך · arurah ha-adamah ba-avurekha be-itzavon tokhalenah kol yemei chayekha · the ground cursed because of you; toil-eating all your days
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | sentence(e2) ∧ Agent(e2, YHWH_Elohim) ∧ Theme(e2, adam) = sentence(e2) ∧ Agent(e2, the-LORD-God) ∧ Theme(e2, Adam) The indictment names two counts: LISTENING (shamata le-qol ishtekha — the qol thread: the voice heard in the garden at 3:8/3:10 was His; the voice obeyed was hers; Onkelos: 'you ACCEPTED the WORD of your wife') and EATING — and then QUOTES THE RULE A FOURTH TIME: asher tzivitikha lemor LO TOKHAL MIMENU. Against the frozen gen_08 text this quote is VERBATIM — right addressee (2ms), right scope, right negation: after gen_10's seven creature-mutations, the issuer alone quotes clean, in the verdict. The near-poetic accent pair (zinor + segol) stands over the listening clause — the register marker's fourth appearance, again at the charged line. | וּלְאָדָם אָמַר כִּי־שָׁמַעְתָּ לְקוֹל אִשְׁתֶּךָ … אֲשֶׁר צִוִּיתִיךָ לֵאמֹר לֹא תֹאכַל מִמֶּנּוּ · u-le-adam amar ki-shamata le-qol ishtekha … asher tzivitikha lemor lo tokhal mimenu = Adam he-said because-you-listened voice-of ishtekha which tzivitikha lemor not you-shall-eat from-it | — | tested |
| NOTE_PRESUPPOSED | adam, adamah are READ without prior install (the man and his source material — the curse's carrier) = Adam, ground are READ without prior install (the man and his source material — the curse's carrier) flag, not fix | — | — | tested |
| ASSIGN | REGISTRY: adamah->arurah_baavurekha = REGISTRY: ground->cursed-for-your-sake The second curse — and it MISSES the man: arurah ha-ADAMAH, 'cursed is the GROUND', ba-avurekha ('because of you'). The sentence writes the status to his source material (2:7's dust-bed, 2:5's job-object): the man himself is never called arur in the corpus; his ground is. One cycle later the curse and the human meet (4:11, Cain — 'cursed are YOU from the ground'); one lineage later a child is NAMED as this write's consolation (5:29 — Noah, 'from the ground which YHWH cursed'). | אֲרוּרָה הָאֲדָמָה בַּעֲבוּרֶךָ · arurah ha-adamah ba-avurekha = cursed ground in-the-avurekha | — | tested |
| PRECONDITION_STATE | HOLDS(be_itzavon_tokhalenah_kol_yemei_chayekha(adam), t3) = HOLDS(in-toil-you-shall-eat-all-days-of-your-life(Adam), t3) The toil term — the woman's exact word (itzavon), one verse apart: the two sentences share their burden vocabulary in the letter (the translation splits it; dual-track). | בְּעִצָּבוֹן תֹּאכֲלֶנָּה כֹּל יְמֵי חַיֶּיךָ · be-itzavon tokhalenah kol yemei chayekha = toil you-shall-eat all days-of your-life | — | tested |
STEP_Gn_3_18 · Gen.3.18 · THORN_DIET
וְקוֹץ וְדַרְדַּר תַּצְמִיחַ לָךְ וְאָכַלְתָּ אֶת־עֵשֶׂב הַשָּׂדֶה · ve-kotz ve-dardar tatzmiach lakh ve-akhalta et-esev ha-sadeh · [EN-AID/JPS] 'Thorns also and thistles shall it bring forth to thee; and thou shalt eat the herb of the field.'
וקוץ ודרדר תצמיח לך · ve-kotz ve-dardar tatzmiach lakh · thorns and thistles it sprouts for you (etnachta arm)
ואכלת את עשב השדה · ve-akhalta et-esev ha-sadeh · and you shall eat the herb of the field
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(kotz_ve_dardar_tatzmiach_lakh(adamah), t3) ∧ HOLDS(ve_akhalta_et_esev_ha_sadeh(adam), t3) = HOLDS(thorn-and-thistle-tatzmiach-to-you(ground), t3) ∧ HOLDS(and-you-shall-eat-obj-marker·et-herb-of-the-field(Adam), t3) The cursed ground's yield: kotz and dardar (thorns, thistles — both first tokens) SPROUT (tatzmiach — the 2:5/2:9 sprout root, now producing weaponry), and the man's menu becomes ESEV HA-SADEH — 2:5's exact phrase: the 'herb of the field' that waited on rain and a worker in the lack-list is now the exile's diet (the weqatal ve-akhalta carries the term, TIR-029). The garden's menu (every tree, 2:16) contracts to the field's. | וְקוֹץ וְדַרְדַּר תַּצְמִיחַ … וְאָכַלְתָּ אֶת־עֵשֶׂב הַשָּׂדֶה · ve-kotz ve-dardar tatzmiach … ve-akhalta et-esev ha-sadeh = thorn thistle tatzmiach you-shall-eat obj-marker·et-herb-of field | TIR-029, TIR-014 | tested |
STEP_Gn_3_19 · Gen.3.19 · MORTALITY_BOUNDARY
בְּזֵעַת אַפֶּיךָ תֹּאכַל לֶחֶם עַד שׁוּבְךָ אֶל־הָאֲדָמָה כִּי מִמֶּנָּה לֻקָּחְתָּ כִּי־עָפָר אַתָּה וְאֶל־עָפָר תָּשׁוּב · be-zeat apekha tokhal lechem ad shuvkha el-ha-adamah ki mimenah lukachta ki-afar atah ve-el-afar tashuv · [EN-AID/JPS] 'In the sweat of thy face shalt thou eat bread, till thou return unto the ground; for out of it wast thou taken; for dust thou art, and unto dust shalt thou return.'
בזעת אפיך תאכל לחם עד שובך אל האדמה כי ממנה לקחת · be-zeat apekha tokhal lechem ad shuvkha el-ha-adamah ki mimenah lukachta · sweat-bread UNTIL the return — for from it you were taken (etnachta arm)
כי עפר אתה ואל עפר תשוב · ki-afar atah ve-el-afar tashuv · dust you are — to dust you return
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(be_zeat_apekha_tokhal_lechem(adam), t3) ∧ HOLDS(ad_shuvkha_el_ha_adamah(adam), t3) ∧ HOLDS(afar_atah_ve_el_afar_tashuv(adam), t3) = HOLDS(in-sweat-of-your-nostrils-you-shall-eat-bread(Adam), t3) ∧ HOLDS(until-your-return-to-the-ground(Adam), t3) ∧ HOLDS(dust-you-and-to-dust-you-shall-return(Adam), t3) The closing terms, all of them loops: SWEAT of your APEKHA — the nostrils that received the breath (2:7, be-apav) now drip labor; LECHEM (bread — first token: the food-word of the entire corpus ahead, born in a sentence); AD ('UNTIL') — the operative bound; lukachta ('you were TAKEN' — the woman's passive, 2:23 lukocha, now 2ms: taken-from-ground as she was taken-from-man; Onkelos levels BOTH takings to 'created', dual-track); and the dust-loop closed: afar atah ve-el afar tashuv — 2:7's material clause, run in reverse. | בְּזֵעַת אַפֶּיךָ … עַד שׁוּבְךָ … וְאֶל־עָפָר תָּשׁוּב · be-zeat apekha … ad shuvkha … ve-el-afar tashuv = sweat-of your-nostrils until your-return and-to-dust you-shall-return | — | tested |
| NOTE_SPEC_DELTA | spec 'ki be-yom akholkha mimenu mot tamut (gen_08 2:17 — the armed HANDLER: dying-you-shall-die, IN THE DAY)' delivered 'ad shuvkha el-ha-adamah … ve-el-afar tashuv (the sentence: toil-terms + mortality as BOUNDARY — the return to dust as horizon; same-day death not executed)' = spec 'because in-day your-eating from-it dying you-shall-die (gen-08 2:17 — the armed HANDLER: dying-you-shall-die, IN THE DAY)' delivered 'until your-return to-the-ground … and-to-dust you-shall-return (the sentence: toil-terms + mortality as BOUNDARY — the return to dust as horizon; same-day death not executed)' THE SPAN'S LARGEST FACT, held as one flag: the handler gen_08 armed said IF(eat, in-the-day) THEN(dying you shall die); the delivered sentence says UNTIL — mortality with a horizon, plus toil to fill it. The machine records the delta against the frozen text and asserts NOTHING about its meaning: the chain's dossiers (the thousand-year day; the reprieve traditions — PRE 20; the commutation readings) are named in the queue, unread, unmerged. The corpus's oldest open question enters the FLAGS register. | מוֹת תָּמוּת … עַד שׁוּבְךָ · mot tamut … ad shuvkha = dying you-shall-die until your-return | — | tested |
STEP_Gn_3_20 · Gen.3.20 · NAME_CHAVAH
וַיִּקְרָא הָאָדָם שֵׁם אִשְׁתּוֹ חַוָּה כִּי הִוא הָיְתָה אֵם כָּל־חָי · va-yiqra ha-adam shem ishto Chavah ki hiv haytah em kol-chai · [EN-AID/JPS] And the man called his wife's name Eve; because she was the mother of all living.
ויקרא האדם שם אשתו חוה · va-yiqra ha-adam shem ishto Chavah · the naming: Chavah (etnachta arm)
כי הוא היתה אם כל חי · ki hiv haytah em kol-chai · the reason: mother of all living
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NAME | name(ishah) := Chavah = name(woman) := Chavah The second human naming — ACTIVE this time (va-yiqra shem, the full day-1 formula, against 2:23's passive yiqare) and reasoned: 'for she was the MOTHER OF ALL LIVING' (em — 2:24's first-token word; chai — the week's category). The name is placed at the mouth of the death sentence — life's mother named right after dust-to-dust (the chain hears the placement; named-only). Chavah has two corpus tokens (3:20, 4:1). The chava/telling root already surfaced at Tier-A in 3:11's 'who TOLD you' (man CHAVI lakh); Onkelos here narrows the scope: 'mother of all the SONS OF MEN' — humans, not the animals (flagged, dual-track). The hu/hi written-he/read-she stands in the reason clause — DB-verified, the device's third appearance in our spans. | וַיִּקְרָא הָאָדָם שֵׁם אִשְׁתּוֹ חַוָּה כִּי הִוא הָיְתָה אֵם כָּל־חָי · va-yiqra ha-adam shem ishto Chavah ki hiv haytah em kol-chai = he-called Adam name-of his-wife Chavah because she-ktiv-hu-qere-hi haytah mother-of all-living | — | tested |
STEP_Gn_3_21 · Gen.3.21 · SKIN_GARMENTS
וַיַּעַשׂ יְהוָה אֱלֹהִים לְאָדָם וּלְאִשְׁתּוֹ כָּתְנוֹת עוֹר וַיַּלְבִּשֵׁם · va-yaas YHWH Elohim le-adam u-le-ishto kotnot or va-yalbishem · [EN-AID/JPS] And the LORD God made for Adam and for his wife garments of skins, and clothed them.
ויעש יהוה אלהים לאדם ולאשתו כתנות עור · va-yaas YHWH Elohim le-adam u-le-ishto kotnot or · He MADE them tunics of skin (etnachta arm)
וילבשם · va-yalbishem · and clothed them
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | make(e3) ∧ Agent(e3, YHWH_Elohim) ∧ Theme(e3, kotnot_or) = make(e3) ∧ Agent(e3, the-LORD-God) ∧ Theme(e3, garments-of-skin) God MAKES — the same asah the humans used for their girdles (3:7): the fig manufacture is answered by a divine one. OR ('skin') — FIRST corpus token: lev_13's import chain, source-verified at last (the or of Lev 13's diagnostics debuts on the exiles' backs); its trail: 27:16 (Jacob's goat-skin deception), Exod 26:14 (the Tabernacle's coverings — the sanctuary too gets skin garments), 33 tokens. Onkelos's famous rendering: levushin di-YKAR — 'garments of HONOR upon the skin of their flesh' (or read as their OWN skin; the glory-reading whose letter-play — skin/light, ayin/aleph — is BR 20:12's queued dossier, R. Meir's Torah: 'garments of LIGHT'). | וַיַּעַשׂ … כָּתְנוֹת עוֹר · va-yaas … kotnot or = he-made garments-of skin | TIR-014 | tested |
| EVENT | clothe(e4) ∧ Agent(e4, YHWH_Elohim) ∧ Theme(e4, adam) = clothe(e4) ∧ Agent(e4, the-LORD-God) ∧ Theme(e4, Adam) 'And He CLOTHED them' — lavash's first token, hiphil, one word: the sentencer dresses the sentenced (Sotah 14a's imitatio-Dei dossier — the Torah opens and closes with God's kindnesses, clothing the naked here, burying Moses at the end — named-only, queued). | וַיַּלְבִּשֵׁם · va-yalbishem = and-yalbishem | — | tested |
| REGISTRY_INSTALL | WORLD += {kotnot_or} = WORLD += {garments-of-skin} the garments installed — replacing gen_10's one install (the fig girdles): the second clothing supersedes the first | כָּתְנוֹת עוֹר · kotnot or = garments-of skin | — | tested |
STEP_Gn_3_22 · Gen.3.22 · COUNCIL_CONCERN_SECOND_TREE
וַיֹּאמֶר יְהוָה אֱלֹהִים הֵן הָאָדָם הָיָה כְּאַחַד מִמֶּנּוּ לָדַעַת טוֹב וָרָע וְעַתָּה פֶּן־יִשְׁלַח יָדוֹ וְלָקַח גַּם מֵעֵץ הַחַיִּים וְאָכַל וָחַי לְעֹלָם · va-yomer YHWH Elohim hen ha-adam hayah ke-achad mimenu la-daat tov va-ra ve-atah pen-yishlach yado ve-lakach gam me-etz ha-chayim ve-akhal va-chai le-olam · [EN-AID/JPS] And the LORD God said: 'Behold, the man is become as one of us, to know good and evil; and now, lest he put forth his hand, and take also of the tree of life, and eat, and live for ever.'
ויאמר יהוה אלהים הן האדם היה כאחד ממנו לדעת טוב ורע · va-yomer YHWH Elohim hen ha-adam hayah ke-achad mimenu la-daat tov va-ra · the assessment: like ONE OF US, knowing good and evil (etnachta arm)
ועתה פן ישלח ידו ולקח גם מעץ החיים ואכל וחי לעלם · ve-atah pen-yishlach yado ve-lakach gam me-etz ha-chayim ve-akhal va-chai le-olam · and now — LEST he take also from the tree of LIFE
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | deliberate(e5) ∧ Agent(e5, YHWH_Elohim) ∧ Theme(e5, adam) = deliberate(e5) ∧ Agent(e5, the-LORD-God) ∧ Theme(e5, Adam) The council voice returns: ke-achad MIMENU ('like one of US') — gen_06's plural (na'aseh) at Eden's exit, and it CONCEDES the tree's name-tail to the human: la-daat tov va-ra ('knowing good and evil') — the serpent's promise (3:5) partially confirmed in the divine mouth [OPEN; Sanhedrin 38b, second anchor]. Onkelos refuses the plural outright: yechidai be-alma — 'the human has become UNIQUE in the world by himself' (flagged; the na'aseh buffer tradition's second witness, dual-track). | הֵן הָאָדָם הָיָה כְּאַחַד מִמֶּנּוּ · hen ha-adam hayah ke-achad mimenu = behold Adam was one from-it | — | tested |
| PRECONDITION_STATE | HOLDS(ke_achad_mimenu_la_daat_tov_va_ra(adam), t3) ∧ HOLDS(pen_yishlach_yado_ve_lakach_me_etz_ha_chayim_va_chai_le_olam, t3) = HOLDS(like-one-from-it-to-know-good-and-evil(Adam), t3) ∧ HOLDS(lest-he-send-his-hand-and-take-from-tree-the-life-and-living-to-forever, t3) The exile's stated reason, held as fact: PEN ('lest' — the woman's word from her fence, 3:3, now in the divine mouth) + a weqatal risk-chain (ve-lakach ve-akhal va-chai — law grammar for the feared future, TIR-029): reach, take ALSO from the tree of LIFE (gen_08's other install, read here — flagged presupposed), eat, live LE-OLAM ('forever' — the word's FIRST corpus token, debuting inside a denied possibility). Access-control on the second tree, not punishment, is the reason the text states for what follows. | וְעַתָּה פֶּן־יִשְׁלַח יָדוֹ וְלָקַח גַּם מֵעֵץ הַחַיִּים וְאָכַל וָחַי לְעֹלָם · ve-atah pen-yishlach yado ve-lakach gam me-etz ha-chayim ve-akhal va-chai le-olam = you lest-he-send his-hand take also tree life eat living forever | TIR-029 | tested |
| NOTE_PRESUPPOSED | etz_ha_chayim, gan are READ without prior install (gen_08's tree of life and garden — the exile's object and place) = tree-of-life, garden-of are READ without prior install (gen-08's tree fowl life and garden — the exile's object and place) flag, not fix | — | — | tested |
STEP_Gn_3_23 · Gen.3.23 · EXPULSION_WORK_HALF
וַיְשַׁלְּחֵהוּ יְהוָה אֱלֹהִים מִגַּן־עֵדֶן לַעֲבֹד אֶת־הָאֲדָמָה אֲשֶׁר לֻקַּח מִשָּׁם · va-yeshallechehu YHWH Elohim mi-gan-eden la-avod et-ha-adamah asher lukach mi-sham · [EN-AID/JPS] Therefore the LORD God sent him forth from the garden of Eden, to till the ground from whence he was taken.
וישלחהו יהוה אלהים מגן עדן · va-yeshallechehu YHWH Elohim mi-gan-eden · the sending-out (etnachta arm)
לעבד את האדמה אשר לקח משם · la-avod et-ha-adamah asher lukach mi-sham · to WORK the ground from which he was taken
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | send_out(e6) ∧ Agent(e6, YHWH_Elohim) ∧ Theme(e6, adam) = send-out(e6) ∧ Agent(e6, the-LORD-God) ∧ Theme(e6, Adam) The shalach doubling closes: pen YISHLACH yado ('lest he SEND his hand', 3:22) is answered by va-YESHALLECHEHU ('and He SENT HIM out') — same root, adjacent verses: the feared reach preempted by the expulsion. The destination is a JOB: LA-AVOD et-ha-adamah — the WORK half of 2:15's office (le-avdah u-le-shamrah), re-aimed from the garden to the GROUND — the same adamah the lack-list wanted worked (2:5), the same he was taken from (lukach — the passive again; Onkelos: 'CREATED from there', the taking leveled twice, dual-track). The human exits as what 2:5 said was missing: a worker for the ground. | וַיְשַׁלְּחֵהוּ … מִגַּן־עֵדֶן לַעֲבֹד אֶת־הָאֲדָמָה אֲשֶׁר לֻקַּח מִשָּׁם · va-yeshallechehu … mi-gan-eden la-avod et-ha-adamah asher lukach mi-sham = and-yeshallechehu from-garden-of-Eden work obj-marker·et-the-ground which lukach there | TIR-030, TIR-014 | tested |
STEP_Gn_3_24 · Gen.3.24 · GUARDS_INSTALLED_WAY_KEPT
וַיְגָרֶשׁ אֶת־הָאָדָם וַיַּשְׁכֵּן מִקֶּדֶם לְגַן־עֵדֶן אֶת־הַכְּרֻבִים וְאֵת לַהַט הַחֶרֶב הַמִּתְהַפֶּכֶת לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים · va-yegaresh et-ha-adam va-yashken mi-qedem le-gan-eden et-ha-keruvim ve-et lahat ha-cherev ha-mithapekhet li-shmor et-derekh etz ha-chayim · [EN-AID/JPS] So He drove out the man; and He placed at the east of the garden of Eden the cherubim, and the flaming sword which turned every way, to keep the way to the tree of life.
ויגרש את האדם · va-yegaresh et-ha-adam · He DROVE OUT the human (etnachta arm)
וישכן מקדם לגן עדן את הכרבים ואת להט החרב המתהפכת לשמר את דרך עץ החיים · va-yashken mi-qedem le-gan-eden et-ha-keruvim ve-et lahat ha-cherev ha-mithapekhet li-shmor et-derekh etz ha-chayim · the stationing: cherubim + whirling sword-flame, to GUARD the way
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | drive_out(e7) ∧ Agent(e7, YHWH_Elohim) ∧ Theme(e7, adam) = drive-out(e7) ∧ Agent(e7, the-LORD-God) ∧ Theme(e7, Adam) garash — first corpus token; the isolated left arm of the verse (three words, then the rest). Its next token is 4:14, in CAIN'S mouth: 'behold, You have DRIVEN ME OUT this day' — the exile verb becomes first-person one cycle later. | וַיְגָרֶשׁ אֶת־הָאָדָם · va-yegaresh et-ha-adam = he-drove-out obj-marker·et-the-Adam | TIR-014 | tested |
| EVENT | station(e8) ∧ Agent(e8, YHWH_Elohim) ∧ Theme(e8, keruvim) = station(e8) ∧ Agent(e8, the-LORD-God) ∧ Theme(e8, cherubim) VA-YASHKEN — the SHAKHAN root's first corpus token: the verb of the Mishkan ('Dwelling-place') and the Presence traditions debuts STATIONING GUARDS at Eden's east. The location doubles 2:8's ambiguity: mi-qedem — 'at the EAST' or 'from OF OLD'; Onkelos goes TEMPORAL again (mi-lekadmin — the keruvim stationed 'from of old': the pre-creation dossier, Pesachim 54a, named-only) and renders the stationing with ve-ashrei — the dwelling verb it used for the human's own settling at 2:15: the guard now dwells where the gardener did. | וַיַּשְׁכֵּן מִקֶּדֶם לְגַן־עֵדֶן · va-yashken mi-qedem le-gan-eden = he-stationed east-or-of-old to-garden-of-Eden | TIR-014 | tested |
| REGISTRY_INSTALL | WORLD += {keruvim, lahat_ha_cherev} = WORLD += {cherubim, flame-of-the-sword} The guards installed: the KERUVIM — 19 corpus tokens, and every one after this verse is ARK AND TABERNACLE (Exod 25:18-22 over the kapporet; the woven curtains; Num 7:89 — the Voice speaking from between them): Eden's gatekeepers return flanking the law's own meeting place — with gen_08's shoham, gen_09's tzela, and 3:21's or, the Eden->sanctuary bridge now has four planks. Beside them: lahat ha-cherev ha-mithapekhet — the flame of the SELF-TURNING sword (hithpael participle, standing state, TIR-031; cherev's first token — the war-word enters the corpus in no one's hand). | אֶת־הַכְּרֻבִים וְאֵת לַהַט הַחֶרֶב הַמִּתְהַפֶּכֶת · et-ha-keruvim ve-et lahat ha-cherev ha-mithapekhet = obj-marker·et-the-cherubim obj-marker·et flame-of sword self-turning | TIR-031, TIR-014 | tested |
| ASSIGN | REGISTRY: keruvim->shomer_derekh_etz_ha_chayim = REGISTRY: cherubim->keeper-way-of-tree-the-life THE OFFICE SPLITS — the final registry write of Eden: LI-SHMOR ('to GUARD') is the second infinitive of 2:15's job (le-avdah u-LE-SHAMRAH), and it changes species: the human left with the WORK half (3:23, la-avod); the keruvim take the GUARD half — object no longer the garden but 'the WAY of the tree of life' (derekh — the way-word's career ahead: 18:19 'the way of YHWH'). Eden's last recorded act is a duty reassignment. | לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים · li-shmor et-derekh etz ha-chayim = to-me-shmor obj-marker·et-way-of tree life | TIR-030 | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 3:14 — all registers empty (standalone unit) |
| S_serpent_sentenced | After 3:14-15 — first curse written (nachash->arur); doom terms hold; the enmity PATTERN standing |
| S_woman_sentenced | After 3:16 — the three terms hold (multiplied toil; birth-pain; longing-and-rule — 4:7's pair) |
| S_man_sentenced | After 3:17-19 — the rule's fourth (verbatim) quote in the indictment; second curse (adamah->arurah); toil, thorns, sweat-bread; the HANDLER-DELTA FLAGGED (mortality as boundary, not same-day death) |
| S_named_clothed | After 3:20-21 — Chavah written (active naming, reasoned); skin garments made, installed, worn (or's first token) |
| S_deliberated | After 3:22 — like-one-of-us conceded [OPEN]; the pen-clause (the second tree, forever denied) held as the exile's stated reason |
| S_exiled_guarded | After 3:23-24 — sent out to the WORK half; driven out; keruvim + sword-flame installed; the GUARD half reassigned (keruvim->shomer_derekh_etz_ha_chayim); Eden closes |
| from | to | via |
|---|---|---|
| S_boot | S_serpent_sentenced | STEP_Gn_3_14 |
| S_serpent_sentenced | S_serpent_sentenced | STEP_Gn_3_15 |
| S_serpent_sentenced | S_woman_sentenced | STEP_Gn_3_16 |
| S_woman_sentenced | S_man_sentenced | STEP_Gn_3_17 |
| S_man_sentenced | S_man_sentenced | STEP_Gn_3_18 |
| S_man_sentenced | S_man_sentenced | STEP_Gn_3_19 |
| S_man_sentenced | S_named_clothed | STEP_Gn_3_20 |
| S_named_clothed | S_named_clothed | STEP_Gn_3_21 |
| S_named_clothed | S_deliberated | STEP_Gn_3_22 |
| S_deliberated | S_exiled_guarded | STEP_Gn_3_23 |
| S_exiled_guarded | S_exiled_guarded | STEP_Gn_3_24 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The first curse on the registry: after STEP_Gn_3_14 | All registers empty (standalone unit). | REGISTRY: nachash->arur_mi_kol_ha_behemah (1 write); flags nachash as read-before-install; SPECS empty. = REGISTRY: serpent->CURSED-from-all-the-livestock (1 write); flags serpent as read-before-install; SPECS empty. | אָרוּר אַתָּה · arur atah = CURSED you |
| S2 | The enmity program standing: after STEP_Gn_3_15 | S1 state. | Facts pattern-akev HOLD. = Facts pattern-heel HOLD. | וְאֵיבָה אָשִׁית · ve-eivah ashit = enmity I-will-set |
| S3 | Both curses written; the woman's terms hold: after STEP_Gn_3_17 | S2 state + the woman's sentence (3:16). | REGISTRY: nachash->arur_mi_kol_ha_behemah, adamah->arurah_baavurekha (2 writes); Facts be_etzev_teldi_vanim/teshukatekh HOLD. = REGISTRY: serpent->CURSED-from-all-the-livestock, ground->cursed-for-your-sake (2 writes); Facts in-pain-you-shall-bear-sons/your-desire HOLD. | אֲרוּרָה הָאֲדָמָה בַּעֲבוּרֶךָ · arurah ha-adamah ba-avurekha = cursed ground in-the-avurekha |
| S4 | The handler-delta flagged; the dust-boundary holds: after STEP_Gn_3_19 | S3 state + the thorn-diet (3:18). | machine flags spec-delta; Facts afar_atah/ad_shuvkha HOLD; SPECS empty. = machine flags spec-delta; Facts dust-you/until-your-return HOLD; SPECS empty. | כִּי־עָפָר אַתָּה וְאֶל־עָפָר תָּשׁוּב · ki-afar atah ve-el-afar tashuv = because-dust you and-to-dust you-shall-return |
| S5 | Named, clothed — the garments install: after STEP_Gn_3_21 | S4 state + the naming (3:20). | WORLD = {kotnot_or}. = WORLD = {garments-of-skin}. | כָּתְנוֹת עוֹר וַיַּלְבִּשֵׁם · kotnot or va-yalbishem = garments-of skin and-yalbishem |
| S6 | The deliberation held as fact: after STEP_Gn_3_22 | S5 state. | Facts ke_achad_mimenu/pen_yishlach HOLD; flags etz_ha_chayim as read-before-install. = Facts like-one-from-it/lest-he-send HOLD; flags tree-of-life as read-before-install. | פֶּן־יִשְׁלַח יָדוֹ · pen-yishlach yado = lest-he-send his-hand |
| S7 | Eden closes: guards in, way kept, nothing owed: after STEP_Gn_3_24 | S6 state + the sending-out (3:23). | WORLD = {kotnot_or, keruvim, lahat_ha_cherev}; SPECS empty; LEDGER stays EMPTY (open transaction). = WORLD = {garments-of-skin, cherubim, flame-of-the-sword}; SPECS empty; LEDGER stays EMPTY (open transaction). | לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים · li-shmor et-derekh etz ha-chayim = to-me-shmor obj-marker·et-way-of tree life |
| S8_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 that carries the corpus's heaviest flag: the handler-delta is DATA, and the machine neither resolves nor blocks on it. = Cycle close with TESTS empty must in FLAGGED, never blocked — re-asserted for the unit that carries the corpus's heaviest flag: the handler-delta is DATA, and the machine neither resolves nor blocks on it. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_first_curses | אָרוּר … אֲרוּרָה · arur … arurah · the corpus's first curses — serpent and GROUND (the man never; his source material carries it), written by the ASSIGN device that wrote 2:3's first holiness: one status axis, two poles; the chain ahead is explicit (4:11 Cain; 5:29 Noah named as consolation; 9:25) |
| EXPORT_handler_delta | מוֹת תָּמוּת ← עַד שׁוּבְךָ · mot tamut -> ad shuvkha · the armed handler (gen_08: dying-you-shall-die IN THE DAY) answered by the sentence (mortality as BOUNDARY: until you return to dust) — the corpus's oldest open question held as ONE machine flag, no reading asserted; dossiers queued (PRE 20; the thousand-year-day traditions) |
| EXPORT_enmity_program | וְאֵיבָה אָשִׁית · ve-eivah ashit · the enmity PATTERN — day 1's partition grammar (bein…u-vein) set between seeds; shuf's only two tokens, one reciprocal; eivah's only other tokens are the manslayer law's intent test (Num 35:21-22); Onkelos re-voices it as memory-vs-grudge with an end-horizon (le-sofa) |
| EXPORT_sentence_pair_to_cain | תְּשׁוּקָה … מָשַׁל · teshukah … mashal · the woman's closing clause (longing + rule) repeats VERBATIM as a pair at 4:7 — sin at the door inherits her sentence's grammar; teshukah's only two Torah tokens |
| EXPORT_office_split | לַעֲבֹד … לִשְׁמֹר · la-avod … li-shmor · 2:15's job (to work it and to keep it) splits at the exile: the human exits with WORK (aimed at his source ground), the keruvim receive GUARD (aimed at the way of the tree of life) — Eden's last act is a duty reassignment |
| EXPORT_eden_sanctuary_fourth_plank | הַכְּרֻבִים … וַיַּשְׁכֵּן · ha-keruvim … va-yashken · the keruvim's 19 tokens: this gate, then ONLY ark and Tabernacle (Num 7:89 — the Voice from between them); and the Mishkan root (shakhan) debuts stationing them — with shoham (gen_08), tzela (gen_09), and or (3:21), the Eden->sanctuary lexical bridge has four planks |
| EXPORT_skin_garments | כָּתְנוֹת עוֹר · kotnot or · or ('skin') debuts — lev_13's import source-verified; God answers the fig manufacture with a divine one and CLOTHES them (lavash's first token); Onkelos: 'garments of HONOR' — the skin/light letter-play (BR 20:12) is the span's al-tikrei-class detector tripwire |
| EXPORT_verbatim_quote | אֲשֶׁר צִוִּיתִיךָ לֵאמֹר לֹא תֹאכַל מִמֶּנּוּ · asher tzivitikha lemor lo tokhal mimenu · the rule's FOURTH quote — the only VERBATIM one in the corpus, spoken by its issuer inside the verdict: after seven creature-mutations (gen_10), the quote-diff baseline closes clean |
Oral notes (named, tiered, dual-track — never merged)
כׇּתְנוֹת אוֹר · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to 3:14-24 (watch-list B) — fifth tripwire span; BR 20:12's skin/light substitution (ayin/aleph) is an al-tikrei-class device — the letter-substitution formulas should fire when it enters the cache; PRE 20 and the thousand-year-day traditions are the handler-delta's dossier.
Queue entry — no claim made beyond the naming.
לְבוּשִׁין דִּיקָר · levushin di-ykar · The span's translation witness: the enmity as MEMORY-program ('he will REMEMBER … you will KEEP it for him TO THE END' — an end-horizon added; seed -> sons); itzavon split (tzaar / amal — the shared word is letter-only); 'you ACCEPTED the WORD (meimar) of your wife'; lukachta -> 'CREATED' twice (the taking leveled); 'mother of all the SONS OF MEN' (scope narrowed); kotnot or -> 'garments of HONOR upon the skin of their flesh'; ke-achad mimenu -> yechidai ('UNIQUE in the world by himself' — the plural refused, the na'aseh buffer's second witness); va-yashken -> ve-ashrei (the dwelling verb — 2:15's settler now settles guards); mi-qedem -> mi-lekadmin ('from of old' — temporal: pre-created keruvim); lahat -> shenan ('the EDGE of the sword').
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.3.14 · parser unique · 23 words
PHRASE (binary 23w) וַ/יֹּאמֶר֩ יְהֹוָ֨ה אֱלֹהִ֥ים אֶֽל הַ/נָּחָשׁ֮…
├── PHRASE (binary 15w) וַ/יֹּאמֶר֩ יְהֹוָ֨ה אֱלֹהִ֥ים אֶֽל הַ/נָּחָשׁ֮…
│ ├── PHRASE (binary 8w) וַ/יֹּאמֶר֩ יְהֹוָ֨ה אֱלֹהִ֥ים אֶֽל הַ/נָּחָשׁ֮…
│ │ ├── [0-4] GLUE וַ/יֹּאמֶר֩ יְהֹוָ֨ה אֱלֹהִ֥ים אֶֽל הַ/נָּחָשׁ֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [5-7] GLUE כִּ֣י עָשִׂ֣יתָ זֹּאת֒ (segol, rank=2)
│ └── PHRASE (binary 7w) אָר֤וּר אַתָּה֙ מִ/כָּל הַ/בְּהֵמָ֔ה וּ/מִ/כֹּ֖…
│ ├── PHRASE (binary 4w) אָר֤וּר אַתָּה֙ מִ/כָּל הַ/בְּהֵמָ֔ה
│ │ ├── [8-9] GLUE אָר֤וּר אַתָּה֙ (pashta, rank=3)
│ │ └── [10-11] GLUE מִ/כָּל הַ/בְּהֵמָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וּ/מִ/כֹּ֖ל חַיַּ֣ת הַ/שָּׂדֶ֑ה
│ ├── [12] וּ/מִ/כֹּ֖ל (tifcha, rank=2)
│ └── [13-14] GLUE חַיַּ֣ת הַ/שָּׂדֶ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) עַל גְּחֹנְ/ךָ֣ תֵלֵ֔ךְ וְ/עָפָ֥ר תֹּאכַ֖ל כָּל…
├── [15-17] GLUE עַל גְּחֹנְ/ךָ֣ תֵלֵ֔ךְ (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וְ/עָפָ֥ר תֹּאכַ֖ל כָּל יְמֵ֥י חַיֶּֽי/ךָ
├── [18-19] GLUE וְ/עָפָ֥ר תֹּאכַ֖ל (tifcha, rank=2)
└── [20-22] GLUE כָּל יְמֵ֥י חַיֶּֽי/ךָ (silluq (verse-end emperor), rank=1)
Gen.3.15 · parser unique · 15 words
PHRASE (binary 15w) וְ/אֵיבָ֣ה אָשִׁ֗ית בֵּֽינְ/ךָ֙ וּ/בֵ֣ין הָֽ/אִ…
├── PHRASE (binary 9w) וְ/אֵיבָ֣ה אָשִׁ֗ית בֵּֽינְ/ךָ֙ וּ/בֵ֣ין הָֽ/אִ…
│ ├── PHRASE (binary 5w) וְ/אֵיבָ֣ה אָשִׁ֗ית בֵּֽינְ/ךָ֙ וּ/בֵ֣ין הָֽ/אִ…
│ │ ├── [0-1] GLUE וְ/אֵיבָ֣ה אָשִׁ֗ית (revia, rank=3)
│ │ └── PHRASE (binary 3w) בֵּֽינְ/ךָ֙ וּ/בֵ֣ין הָֽ/אִשָּׁ֔ה
│ │ ├── [2] בֵּֽינְ/ךָ֙ (pashta, rank=3)
│ │ └── [3-4] GLUE וּ/בֵ֣ין הָֽ/אִשָּׁ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וּ/בֵ֥ין זַרְעֲ/ךָ֖ וּ/בֵ֣ין זַרְעָ֑/הּ
│ ├── [5-6] GLUE וּ/בֵ֥ין זַרְעֲ/ךָ֖ (tifcha, rank=2)
│ └── [7-8] GLUE וּ/בֵ֣ין זַרְעָ֑/הּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) ה֚וּא יְשׁוּפְ/ךָ֣ רֹ֔אשׁ וְ/אַתָּ֖ה תְּשׁוּפֶ֥…
├── PHRASE (binary 3w) ה֚וּא יְשׁוּפְ/ךָ֣ רֹ֔אשׁ
│ ├── [9] ה֚וּא (yetiv, rank=3)
│ └── [10-11] GLUE יְשׁוּפְ/ךָ֣ רֹ֔אשׁ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/אַתָּ֖ה תְּשׁוּפֶ֥/נּוּ עָקֵֽב
├── [12] וְ/אַתָּ֖ה (tifcha, rank=2)
└── [13-14] GLUE תְּשׁוּפֶ֥/נּוּ עָקֵֽב (silluq (verse-end emperor), rank=1)
Gen.3.16 · parser unique · 16 words
PHRASE (binary 16w) אֶֽל הָ/אִשָּׁ֣ה אָמַ֗ר הַרְבָּ֤ה אַרְבֶּה֙ עִצ…
├── PHRASE (binary 10w) אֶֽל הָ/אִשָּׁ֣ה אָמַ֗ר הַרְבָּ֤ה אַרְבֶּה֙ עִצ…
│ ├── PHRASE (binary 7w) אֶֽל הָ/אִשָּׁ֣ה אָמַ֗ר הַרְבָּ֤ה אַרְבֶּה֙ עִצ…
│ │ ├── [0-2] GLUE אֶֽל הָ/אִשָּׁ֣ה אָמַ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 4w) הַרְבָּ֤ה אַרְבֶּה֙ עִצְּבוֹנֵ֣/ךְ וְ/הֵֽרֹנֵ֔/…
│ │ ├── [3-4] GLUE הַרְבָּ֤ה אַרְבֶּה֙ (pashta, rank=3)
│ │ └── [5-6] GLUE עִצְּבוֹנֵ֣/ךְ וְ/הֵֽרֹנֵ֔/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) בְּ/עֶ֖צֶב תֵּֽלְדִ֣י בָנִ֑ים
│ ├── [7] בְּ/עֶ֖צֶב (tifcha, rank=2)
│ └── [8-9] GLUE תֵּֽלְדִ֣י בָנִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/אֶל אִישֵׁ/ךְ֙ תְּשׁ֣וּקָתֵ֔/ךְ וְ/ה֖וּא יִמ…
├── PHRASE (binary 3w) וְ/אֶל אִישֵׁ/ךְ֙ תְּשׁ֣וּקָתֵ֔/ךְ
│ ├── [10-11] GLUE וְ/אֶל אִישֵׁ/ךְ֙ (pashta, rank=3)
│ └── [12] תְּשׁ֣וּקָתֵ֔/ךְ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/ה֖וּא יִמְשָׁל בָּֽ/ךְ
├── [13] וְ/ה֖וּא (tifcha, rank=2)
└── [14-15] GLUE יִמְשָׁל בָּֽ/ךְ (silluq (verse-end emperor), rank=1)
Gen.3.17 · parser unique · 23 words
PHRASE (binary 23w) וּ/לְ/אָדָ֣ם אָמַ֗ר כִּֽי שָׁמַעְתָּ֮ לְ/ק֣וֹל …
├── PHRASE (binary 15w) וּ/לְ/אָדָ֣ם אָמַ֗ר כִּֽי שָׁמַעְתָּ֮ לְ/ק֣וֹל …
│ ├── PHRASE (binary 6w) וּ/לְ/אָדָ֣ם אָמַ֗ר כִּֽי שָׁמַעְתָּ֮ לְ/ק֣וֹל …
│ │ ├── [0-1] GLUE וּ/לְ/אָדָ֣ם אָמַ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 4w) כִּֽי שָׁמַעְתָּ֮ לְ/ק֣וֹל אִשְׁתֶּ/ךָ֒
│ │ ├── [2-3] GLUE כִּֽי שָׁמַעְתָּ֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [4-5] GLUE לְ/ק֣וֹל אִשְׁתֶּ/ךָ֒ (segol, rank=2)
│ └── PHRASE (binary 9w) וַ/תֹּ֨אכַל֙ מִן הָ/עֵ֔ץ אֲשֶׁ֤ר צִוִּיתִ֨י/ךָ֙…
│ ├── PHRASE (binary 3w) וַ/תֹּ֨אכַל֙ מִן הָ/עֵ֔ץ
│ │ ├── [6] וַ/תֹּ֨אכַל֙ (pashta, rank=3)
│ │ └── [7-8] GLUE מִן הָ/עֵ֔ץ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) אֲשֶׁ֤ר צִוִּיתִ֨י/ךָ֙ לֵ/אמֹ֔ר לֹ֥א תֹאכַ֖ל מִ…
│ ├── PHRASE (binary 3w) אֲשֶׁ֤ר צִוִּיתִ֨י/ךָ֙ לֵ/אמֹ֔ר
│ │ ├── [9-10] GLUE אֲשֶׁ֤ר צִוִּיתִ֨י/ךָ֙ (pashta, rank=3)
│ │ └── [11] לֵ/אמֹ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) לֹ֥א תֹאכַ֖ל מִמֶּ֑/נּוּ
│ ├── [12-13] GLUE לֹ֥א תֹאכַ֖ל (tifcha, rank=2)
│ └── [14] מִמֶּ֑/נּוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) אֲרוּרָ֤ה הָֽ/אֲדָמָה֙ בַּֽ/עֲבוּרֶ֔/ךָ בְּ/עִצ…
├── PHRASE (binary 3w) אֲרוּרָ֤ה הָֽ/אֲדָמָה֙ בַּֽ/עֲבוּרֶ֔/ךָ
│ ├── [15-16] GLUE אֲרוּרָ֤ה הָֽ/אֲדָמָה֙ (pashta, rank=3)
│ └── [17] בַּֽ/עֲבוּרֶ֔/ךָ (zaqef qatan, rank=2)
└── PHRASE (binary 5w) בְּ/עִצָּבוֹן֙ תֹּֽאכֲלֶ֔/נָּה כֹּ֖ל יְמֵ֥י חַי…
├── PHRASE (binary 2w) בְּ/עִצָּבוֹן֙ תֹּֽאכֲלֶ֔/נָּה
│ ├── [18] בְּ/עִצָּבוֹן֙ (pashta, rank=3)
│ └── [19] תֹּֽאכֲלֶ֔/נָּה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) כֹּ֖ל יְמֵ֥י חַיֶּֽי/ךָ
├── [20] כֹּ֖ל (tifcha, rank=2)
└── [21-22] GLUE יְמֵ֥י חַיֶּֽי/ךָ (silluq (verse-end emperor), rank=1)
Gen.3.18 · 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] וְ/אָכַלְתָּ֖ (tifcha, rank=2)
└── [5-7] GLUE אֶת עֵ֥שֶׂב הַ/שָּׂדֶֽה (silluq (verse-end emperor), rank=1)
Gen.3.19 · parser unique · 17 words
PHRASE (binary 17w) בְּ/זֵעַ֤ת אַפֶּ֨י/ךָ֙ תֹּ֣אכַל לֶ֔חֶם עַ֤ד שֽׁ…
├── PHRASE (binary 11w) בְּ/זֵעַ֤ת אַפֶּ֨י/ךָ֙ תֹּ֣אכַל לֶ֔חֶם עַ֤ד שֽׁ…
│ ├── PHRASE (binary 4w) בְּ/זֵעַ֤ת אַפֶּ֨י/ךָ֙ תֹּ֣אכַל לֶ֔חֶם
│ │ ├── [0-1] GLUE בְּ/זֵעַ֤ת אַפֶּ֨י/ךָ֙ (pashta, rank=3)
│ │ └── [2-3] GLUE תֹּ֣אכַל לֶ֔חֶם (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) עַ֤ד שֽׁוּבְ/ךָ֙ אֶל הָ֣/אֲדָמָ֔ה כִּ֥י מִמֶּ֖/…
│ ├── PHRASE (binary 4w) עַ֤ד שֽׁוּבְ/ךָ֙ אֶל הָ֣/אֲדָמָ֔ה
│ │ ├── [4-5] GLUE עַ֤ד שֽׁוּבְ/ךָ֙ (pashta, rank=3)
│ │ └── [6-7] GLUE אֶל הָ֣/אֲדָמָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) כִּ֥י מִמֶּ֖/נָּה לֻקָּ֑חְתָּ
│ ├── [8-9] GLUE כִּ֥י מִמֶּ֖/נָּה (tifcha, rank=2)
│ └── [10] לֻקָּ֑חְתָּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) כִּֽי עָפָ֣ר אַ֔תָּה וְ/אֶל עָפָ֖ר תָּשֽׁוּב
├── [11-13] GLUE כִּֽי עָפָ֣ר אַ֔תָּה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/אֶל עָפָ֖ר תָּשֽׁוּב
├── [14-15] GLUE וְ/אֶל עָפָ֖ר (tifcha, rank=2)
└── [16] תָּשֽׁוּב (silluq (verse-end emperor), rank=1)
Gen.3.20 · parser unique · 11 words
PHRASE (binary 11w) וַ/יִּקְרָ֧א הָֽ/אָדָ֛ם שֵׁ֥ם אִשְׁתּ֖/וֹ חַוָּ…
├── PHRASE (binary 5w) וַ/יִּקְרָ֧א הָֽ/אָדָ֛ם שֵׁ֥ם אִשְׁתּ֖/וֹ חַוָּ…
│ ├── PHRASE (binary 4w) וַ/יִּקְרָ֧א הָֽ/אָדָ֛ם שֵׁ֥ם אִשְׁתּ֖/וֹ
│ │ ├── [0-1] GLUE וַ/יִּקְרָ֧א הָֽ/אָדָ֛ם (tevir, rank=3)
│ │ └── [2-3] GLUE שֵׁ֥ם אִשְׁתּ֖/וֹ (tifcha, rank=2)
│ └── [4] חַוָּ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) כִּ֛י הִ֥וא הָֽיְתָ֖ה אֵ֥ם כָּל חָֽי
├── PHRASE (binary 3w) כִּ֛י הִ֥וא הָֽיְתָ֖ה
│ ├── [5] כִּ֛י (tevir, rank=3)
│ └── [6-7] GLUE הִ֥וא הָֽיְתָ֖ה (tifcha, rank=2)
└── [8-10] GLUE אֵ֥ם כָּל חָֽי (silluq (verse-end emperor), rank=1)
Gen.3.21 · parser unique · 8 words
PHRASE (binary 8w) וַ/יַּעַשׂ֩ יְהוָ֨ה אֱלֹהִ֜ים לְ/אָדָ֧ם וּ/לְ/א… ├── PHRASE (binary 7w) וַ/יַּעַשׂ֩ יְהוָ֨ה אֱלֹהִ֜ים לְ/אָדָ֧ם וּ/לְ/א… │ ├── PHRASE (binary 5w) וַ/יַּעַשׂ֩ יְהוָ֨ה אֱלֹהִ֜ים לְ/אָדָ֧ם וּ/לְ/א… │ │ ├── [0-2] GLUE וַ/יַּעַשׂ֩ יְהוָ֨ה אֱלֹהִ֜ים (geresh, rank=4) │ │ └── [3-4] GLUE לְ/אָדָ֧ם וּ/לְ/אִשְׁתּ֛/וֹ (tevir, rank=3) │ └── [5-6] GLUE כָּתְנ֥וֹת ע֖וֹר (tifcha, rank=2) └── [7] וַ/יַּלְבִּשֵֽׁ/ם (silluq (verse-end emperor), rank=1)
Gen.3.22 · parser unique · 22 words
PHRASE (binary 22w) וַ/יֹּ֣אמֶר יְהוָ֣ה אֱלֹהִ֗ים הֵ֤ן הָֽ/אָדָם֙ ה…
├── PHRASE (binary 11w) וַ/יֹּ֣אמֶר יְהוָ֣ה אֱלֹהִ֗ים הֵ֤ן הָֽ/אָדָם֙ ה…
│ ├── PHRASE (binary 8w) וַ/יֹּ֣אמֶר יְהוָ֣ה אֱלֹהִ֗ים הֵ֤ן הָֽ/אָדָם֙ ה…
│ │ ├── [0-2] GLUE וַ/יֹּ֣אמֶר יְהוָ֣ה אֱלֹהִ֗ים (revia, rank=3)
│ │ └── PHRASE (binary 5w) הֵ֤ן הָֽ/אָדָם֙ הָיָה֙ כְּ/אַחַ֣ד מִמֶּ֔/נּוּ
│ │ ├── [3-4] GLUE הֵ֤ן הָֽ/אָדָם֙ (pashta, rank=3)
│ │ └── PHRASE (binary 3w) הָיָה֙ כְּ/אַחַ֣ד מִמֶּ֔/נּוּ
│ │ ├── [5] הָיָה֙ (pashta, rank=3)
│ │ └── [6-7] GLUE כְּ/אַחַ֣ד מִמֶּ֔/נּוּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) לָ/דַ֖עַת ט֣וֹב וָ/רָ֑ע
│ ├── [8] לָ/דַ֖עַת (tifcha, rank=2)
│ └── [9-10] GLUE ט֣וֹב וָ/רָ֑ע (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וְ/עַתָּ֣ה פֶּן יִשְׁלַ֣ח יָד֗/וֹ וְ/לָקַח֙ גַּ…
├── PHRASE (binary 8w) וְ/עַתָּ֣ה פֶּן יִשְׁלַ֣ח יָד֗/וֹ וְ/לָקַח֙ גַּ…
│ ├── [11-14] GLUE וְ/עַתָּ֣ה פֶּן יִשְׁלַ֣ח יָד֗/וֹ (revia, rank=3)
│ └── PHRASE (binary 4w) וְ/לָקַח֙ גַּ֚ם מֵ/עֵ֣ץ הַֽ/חַיִּ֔ים
│ ├── [15] וְ/לָקַח֙ (pashta, rank=3)
│ └── PHRASE (binary 3w) גַּ֚ם מֵ/עֵ֣ץ הַֽ/חַיִּ֔ים
│ ├── [16] גַּ֚ם (yetiv, rank=3)
│ └── [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.23 · parser unique · 11 words
PHRASE (binary 11w) וַֽ/יְשַׁלְּחֵ֛/הוּ יְהוָ֥ה אֱלֹהִ֖ים מִ/גַּן ע…
├── 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 6w) לַֽ/עֲבֹד֙ אֶת הָ֣/אֲדָמָ֔ה אֲשֶׁ֥ר לֻקַּ֖ח מִ/…
├── PHRASE (binary 3w) לַֽ/עֲבֹד֙ אֶת הָ֣/אֲדָמָ֔ה
│ ├── [5] לַֽ/עֲבֹד֙ (pashta, rank=3)
│ └── [6-7] GLUE אֶת הָ֣/אֲדָמָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֲשֶׁ֥ר לֻקַּ֖ח מִ/שָּֽׁם
├── [8-9] GLUE אֲשֶׁ֥ר לֻקַּ֖ח (tifcha, rank=2)
└── [10] מִ/שָּֽׁם (silluq (verse-end emperor), rank=1)
Gen.3.24 · parser unique · 18 words
PHRASE (binary 18w) וַ/יְגָ֖רֶשׁ אֶת הָֽ/אָדָ֑ם וַ/יַּשְׁכֵּן֩ מִ/ק…
├── PHRASE (binary 3w) וַ/יְגָ֖רֶשׁ אֶת הָֽ/אָדָ֑ם
│ ├── [0] וַ/יְגָ֖רֶשׁ (tifcha, rank=2)
│ └── [1-2] GLUE אֶת הָֽ/אָדָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 15w) וַ/יַּשְׁכֵּן֩ מִ/קֶּ֨דֶם לְ/גַן עֵ֜דֶן אֶת הַ/…
├── PHRASE (binary 10w) וַ/יַּשְׁכֵּן֩ מִ/קֶּ֨דֶם לְ/גַן עֵ֜דֶן אֶת הַ/…
│ ├── PHRASE (binary 6w) וַ/יַּשְׁכֵּן֩ מִ/קֶּ֨דֶם לְ/גַן עֵ֜דֶן אֶת הַ/…
│ │ ├── [3-6] GLUE וַ/יַּשְׁכֵּן֩ מִ/קֶּ֨דֶם לְ/גַן עֵ֜דֶן (geresh, rank=4)
│ │ └── [7-8] GLUE אֶת הַ/כְּרֻבִ֗ים (revia, rank=3)
│ └── PHRASE (binary 4w) וְ/אֵ֨ת לַ֤הַט הַ/חֶ֨רֶב֙ הַ/מִּתְהַפֶּ֔כֶת
│ ├── [9-11] GLUE וְ/אֵ֨ת לַ֤הַט הַ/חֶ֨רֶב֙ (pashta, rank=3)
│ └── [12] הַ/מִּתְהַפֶּ֔כֶת (zaqef qatan, rank=2)
└── PHRASE (binary 5w) לִ/שְׁמֹ֕ר אֶת דֶּ֖רֶךְ עֵ֥ץ הַֽ/חַיִּֽים
├── [13] לִ/שְׁמֹ֕ר (zaqef gadol, rank=2)
└── PHRASE (binary 4w) אֶת דֶּ֖רֶךְ עֵ֥ץ הַֽ/חַיִּֽים
├── [14-15] GLUE אֶת דֶּ֖רֶךְ (tifcha, rank=2)
└── [16-17] GLUE עֵ֥ץ הַֽ/חַיִּֽים (silluq (verse-end emperor), rank=1)
Word coverage — 172/172 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.3.14 | 0 | ויאמר | va-yomer | and-he-said | verdict_opener_zinor_segol | logic_bearing | none |
| Gen.3.14 | 1 | יהוה | YHWH | YHWH | judge_compound | logic_bearing | none |
| Gen.3.14 | 2 | אלהים | Elohim | God | judge_compound | logic_bearing | none |
| Gen.3.14 | 3 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.14 | 4 | הנחש | ha-nachash | the-serpent | sentenced_first_never_questioned | logic_bearing | none |
| Gen.3.14 | 5 | כי | ki | because | indictment_because | glue | TIR-008 |
| Gen.3.14 | 6 | עשית | asita | you-did | deed_recap | logic_bearing | none |
| Gen.3.14 | 7 | זאת | zot | this | deed_deictic | logic_bearing | none |
| Gen.3.14 | 8 | ארור | arur | CURSED | CURSE_FIRST_TOKEN_passive_participle | logic_bearing | none |
| Gen.3.14 | 9 | אתה | ata | you | cursed_party | logic_bearing | none |
| Gen.3.14 | 10 | מכל | mi-kal | from-all | comparative_echo_of_3_1 | logic_bearing | none |
| Gen.3.14 | 11 | הבהמה | ha-behema | the-livestock | comparata_livestock | logic_bearing | none |
| Gen.3.14 | 12 | ומכל | u-mi-kol | and-from-all | comparative | logic_bearing | none |
| Gen.3.14 | 13 | חית | chayat | beast-of | comparata_beast | logic_bearing | none |
| Gen.3.14 | 14 | השדה | ha-sade | the-field | field_register | logic_bearing | none |
| Gen.3.14 | 15 | על | al | upon | preposition | logic_bearing | none |
| Gen.3.14 | 16 | גחנך | gechon-kha | your-belly | belly_hapax_class | logic_bearing | none |
| Gen.3.14 | 17 | תלך | telekh | you-shall-go | doom_locomotion | logic_bearing | none |
| Gen.3.14 | 18 | ועפר | ve-afar | and-dust | dust_diet_2_7_material | logic_bearing | none |
| Gen.3.14 | 19 | תאכל | tokhal | you-shall-eat | doom_diet | logic_bearing | none |
| Gen.3.14 | 20 | כל | kal | all | totality | logic_bearing | none |
| Gen.3.14 | 21 | ימי | yeme | days-of | duration | logic_bearing | none |
| Gen.3.14 | 22 | חייך | chaye-kha | your-life | duration_lifespan | logic_bearing | none |
| Gen.3.15 | 0 | ואיבה | ve-eva | and-enmity | enmity_THREE_TOKENS_manslayer_law | logic_bearing | none |
| Gen.3.15 | 1 | אשית | ashit | I-will-set | decree_1cs_I_will_set | logic_bearing | none |
| Gen.3.15 | 2 | בינך | ben-kha | between-you | partition_bein_1 | logic_bearing | none |
| Gen.3.15 | 3 | ובין | u-ven | and-between | partition_bein_2 | logic_bearing | none |
| Gen.3.15 | 4 | האשה | ha-isha | the-woman | the-woman | logic_bearing | none |
| Gen.3.15 | 5 | ובין | u-ven | and-between | partition_bein_3 | logic_bearing | none |
| Gen.3.15 | 6 | זרעך | zara-kha | your-seed | seed_serpent | logic_bearing | none |
| Gen.3.15 | 7 | ובין | u-ven | and-between | partition_bein_4 | logic_bearing | none |
| Gen.3.15 | 8 | זרעה | zara-h | her-seed | seed_woman | logic_bearing | none |
| Gen.3.15 | 9 | הוא | hu | he | he_seed | logic_bearing | none |
| Gen.3.15 | 10 | ישופך | yeshuf-kha | strikes-you | strike_SHUF_token_1_of_2 | logic_bearing | none |
| Gen.3.15 | 11 | ראש | rosh | head | head_target | logic_bearing | none |
| Gen.3.15 | 12 | ואתה | ve-ata | and-you | and-you | logic_bearing | none |
| Gen.3.15 | 13 | תשופנו | teshufe-nu | strike-him | strike_SHUF_token_2_of_2 | logic_bearing | none |
| Gen.3.15 | 14 | עקב | aqev | heel | heel_target | logic_bearing | none |
| Gen.3.16 | 0 | אל | el | to | preposition_to | logic_bearing | none |
| Gen.3.16 | 1 | האשה | ha-isha | the-woman | sentenced_second | logic_bearing | none |
| Gen.3.16 | 2 | אמר | amar | he-said | verdict_verb | logic_bearing | none |
| Gen.3.16 | 3 | הרבה | harba | multiplying | DOUBLING_4_inf_abs_hiphil | logic_bearing | none |
| Gen.3.16 | 4 | ארבה | arbe | I-will-multiply | doubling_finite | logic_bearing | none |
| Gen.3.16 | 5 | עצבונך | itzvone-khe | your-toil | toil_SHARED_WORD | logic_bearing | none |
| Gen.3.16 | 6 | והרנך | ve-herone-khe | and-your-pregnancy | pregnancy_term | logic_bearing | none |
| Gen.3.16 | 7 | בעצב | be-etzev | in-pain | pain_term | logic_bearing | none |
| Gen.3.16 | 8 | תלדי | teldi | you-shall-bear | birth_doom | logic_bearing | none |
| Gen.3.16 | 9 | בנים | vanim | sons | sons | logic_bearing | none |
| Gen.3.16 | 10 | ואל | ve-el | and-to | direction | logic_bearing | none |
| Gen.3.16 | 11 | אישך | ishe-khe | your-man | her_man | logic_bearing | none |
| Gen.3.16 | 12 | תשוקתך | teshuqate-khe | your-longing | LONGING_pair_to_4_7 | logic_bearing | none |
| Gen.3.16 | 13 | והוא | ve-hu | and-he | and-he | logic_bearing | none |
| Gen.3.16 | 14 | ימשל | yimshal | shall-rule | RULE_pair_to_4_7 | logic_bearing | none |
| Gen.3.16 | 15 | בך | ba-khe | in-you | in-you | logic_bearing | none |
| Gen.3.17 | 0 | ולאדם | u-le-adam | and-to-Adam | sentenced_third_Adam_name_lemma | logic_bearing | none |
| Gen.3.17 | 1 | אמר | amar | he-said | verdict_verb | logic_bearing | none |
| Gen.3.17 | 2 | כי | ki | because | indictment_because | glue | TIR-008 |
| Gen.3.17 | 3 | שמעת | shamata | you-listened | count_1_listened_qol_thread | logic_bearing | none |
| Gen.3.17 | 4 | לקול | le-qol | to-voice-of | voice_of | logic_bearing | none |
| Gen.3.17 | 5 | אשתך | ishte-kha | your-wife | your-wife | logic_bearing | none |
| Gen.3.17 | 6 | ותאכל | va-tokhal | and-you-ate | count_2_ate | logic_bearing | none |
| Gen.3.17 | 7 | מן | min | from | preposition | logic_bearing | none |
| Gen.3.17 | 8 | העץ | ha-etz | the-tree | the-tree | logic_bearing | none |
| Gen.3.17 | 9 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.17 | 10 | צויתיך | tziviti-kha | I-commanded-you | RULE_QUOTE_4_tzavah_root | logic_bearing | none |
| Gen.3.17 | 11 | לאמר | le-mor | saying | quote_opener | logic_bearing | none |
| Gen.3.17 | 12 | לא | lo | not | VERBATIM_negation | logic_bearing | none |
| Gen.3.17 | 13 | תאכל | tokhal | you-shall-eat | VERBATIM_2ms | logic_bearing | none |
| Gen.3.17 | 14 | ממנו | mime-nu | from-it | VERBATIM_source | logic_bearing | none |
| Gen.3.17 | 15 | ארורה | arura | CURSED | CURSE_2_feminine | logic_bearing | none |
| Gen.3.17 | 16 | האדמה | ha-adama | the-ground | cursed_GROUND_not_man | logic_bearing | none |
| Gen.3.17 | 17 | בעבורך | ba-avure-kha | because-of-you | because_of_you | logic_bearing | none |
| Gen.3.17 | 18 | בעצבון | be-itzavon | in-toil | toil_SHARED_WORD | logic_bearing | none |
| Gen.3.17 | 19 | תאכלנה | tokhale-na | you-shall-eat-it | doom_diet_from_it | logic_bearing | none |
| Gen.3.17 | 20 | כל | kol | all | totality | logic_bearing | none |
| Gen.3.17 | 21 | ימי | yeme | days-of | duration | logic_bearing | none |
| Gen.3.17 | 22 | חייך | chaye-kha | your-life | duration_lifespan | logic_bearing | none |
| Gen.3.18 | 0 | וקוץ | ve-qotz | and-thorn | thorn_FIRST_TOKEN | logic_bearing | none |
| Gen.3.18 | 1 | ודרדר | ve-dardar | and-thistle | thistle_FIRST_TOKEN | logic_bearing | none |
| Gen.3.18 | 2 | תצמיח | tatzmicha | it-shall-sprout | sprout_root_weaponized | logic_bearing | none |
| Gen.3.18 | 3 | לך | la-khe | for-you | for-you | logic_bearing | none |
| Gen.3.18 | 4 | ואכלת | ve-akhalta | and-you-shall-eat | weqatal_diet | logic_bearing | TIR-029 |
| Gen.3.18 | 5 | את | et | obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.18 | 6 | עשב | esev | herb-of | herb_2_5_PHRASE_RETURNS | logic_bearing | none |
| Gen.3.18 | 7 | השדה | ha-sade | the-field | field_register | logic_bearing | none |
| Gen.3.19 | 0 | בזעת | be-zeat | in-sweat-of | sweat_FIRST_TOKEN | logic_bearing | none |
| Gen.3.19 | 1 | אפיך | ape-kha | your-face | face_2_7_nostrils | logic_bearing | none |
| Gen.3.19 | 2 | תאכל | tokhal | you-shall-eat | doom_diet | logic_bearing | none |
| Gen.3.19 | 3 | לחם | lechem | bread | bread_FIRST_TOKEN | logic_bearing | none |
| Gen.3.19 | 4 | עד | ad | until | BOUNDARY_until | logic_bearing | none |
| Gen.3.19 | 5 | שובך | shuv-kha | your-return | return_infinitive | logic_bearing | none |
| Gen.3.19 | 6 | אל | el | to | preposition | logic_bearing | none |
| Gen.3.19 | 7 | האדמה | ha-adama | the-ground | ground_destination | logic_bearing | none |
| Gen.3.19 | 8 | כי | ki | for | reason | glue | TIR-008 |
| Gen.3.19 | 9 | ממנה | mime-na | from-it | from-it | logic_bearing | none |
| Gen.3.19 | 10 | לקחת | luqachta | you-were-taken | TAKEN_passive_2_23_echo | logic_bearing | none |
| Gen.3.19 | 11 | כי | ki | for | reason | glue | TIR-008 |
| Gen.3.19 | 12 | עפר | afar | dust | dust_2_7_loop | logic_bearing | none |
| Gen.3.19 | 13 | אתה | ata | you | you | logic_bearing | none |
| Gen.3.19 | 14 | ואל | ve-el | and-to | and-to | logic_bearing | none |
| Gen.3.19 | 15 | עפר | afar | dust | dust_loop_closes | logic_bearing | none |
| Gen.3.19 | 16 | תשוב | tashuv | you-shall-return | return_imperfect | logic_bearing | none |
| Gen.3.20 | 0 | ויקרא | va-yiqra | and-he-called | second_human_naming_ACTIVE | logic_bearing | none |
| Gen.3.20 | 1 | האדם | ha-adam | the-human | namer | logic_bearing | none |
| Gen.3.20 | 2 | שם | shem | name-of | name_formula_shem | logic_bearing | none |
| Gen.3.20 | 3 | אשתו | isht-o | his-wife | named_party | logic_bearing | none |
| Gen.3.20 | 4 | חוה | chava | Chavah | name_value_CHAVAH | logic_bearing | none |
| Gen.3.20 | 5 | כי | ki | for | reason | glue | TIR-008 |
| Gen.3.20 | 6 | הוא | hiv | she-ktiv-hu-qere-hi | KTIV_QERE_hu_hi | logic_bearing | none |
| Gen.3.20 | 7 | היתה | hayta | was | was | logic_bearing | none |
| Gen.3.20 | 8 | אם | em | mother-of | mother_of | logic_bearing | none |
| Gen.3.20 | 9 | כל | kal | all | all | logic_bearing | none |
| Gen.3.20 | 10 | חי | chay | living | living_category | logic_bearing | none |
| Gen.3.21 | 0 | ויעש | va-yaas | and-he-made | asah_divine_answer_to_3_7 | logic_bearing | TIR-014 |
| Gen.3.21 | 1 | יהוה | YHWH | YHWH | maker_compound | logic_bearing | none |
| Gen.3.21 | 2 | אלהים | Elohim | God | maker_compound | logic_bearing | none |
| Gen.3.21 | 3 | לאדם | le-adam | for-the-human | beneficiary | logic_bearing | none |
| Gen.3.21 | 4 | ולאשתו | u-le-isht-o | and-for-his-wife | beneficiary | logic_bearing | none |
| Gen.3.21 | 5 | כתנות | katnot | tunics-of | tunics | logic_bearing | none |
| Gen.3.21 | 6 | עור | or | skin | SKIN_FIRST_TOKEN_lev13_import | logic_bearing | none |
| Gen.3.21 | 7 | וילבשם | va-yalbishe-m | and-he-clothed-them | clothe_FIRST_TOKEN_hiphil | logic_bearing | none |
| Gen.3.22 | 0 | ויאמר | va-yomer | and-he-said | deliberation_opener | logic_bearing | none |
| Gen.3.22 | 1 | יהוה | YHWH | YHWH | speaker_compound | logic_bearing | none |
| Gen.3.22 | 2 | אלהים | Elohim | God | speaker_compound | logic_bearing | none |
| Gen.3.22 | 3 | הן | hen | behold | behold | logic_bearing | none |
| Gen.3.22 | 4 | האדם | ha-adam | the-human | assessed_party | logic_bearing | none |
| Gen.3.22 | 5 | היה | haya | has-become | has-become | logic_bearing | none |
| Gen.3.22 | 6 | כאחד | ke-achad | like-one | COUNCIL_PLURAL_like_one | logic_bearing | none |
| Gen.3.22 | 7 | ממנו | mime-nu | of-us | COUNCIL_PLURAL_of_us_OPEN | logic_bearing | none |
| Gen.3.22 | 8 | לדעת | la-daat | to-know | tree_name_tail_conceded | logic_bearing | none |
| Gen.3.22 | 9 | טוב | tov | good | tree_name_tail | logic_bearing | none |
| Gen.3.22 | 10 | ורע | va-ra | and-evil | tree_name_tail | logic_bearing | none |
| Gen.3.22 | 11 | ועתה | ve-ata | and-now | pivot_now | logic_bearing | none |
| Gen.3.22 | 12 | פן | pen | lest | PEN_womans_lest_divine_mouth | logic_bearing | none |
| Gen.3.22 | 13 | ישלח | yishlach | he-send | risk_send_hand_shalach_1 | logic_bearing | none |
| Gen.3.22 | 14 | ידו | yad-o | his-hand | hand | logic_bearing | none |
| Gen.3.22 | 15 | ולקח | ve-laqach | and-take | risk_weqatal_take | logic_bearing | TIR-029 |
| Gen.3.22 | 16 | גם | gam | also | also | logic_bearing | none |
| Gen.3.22 | 17 | מעץ | me-etz | from-tree-of | second_tree_source | logic_bearing | none |
| Gen.3.22 | 18 | החיים | ha-chayim | the-life | tree_of_LIFE_presupposed | logic_bearing | none |
| Gen.3.22 | 19 | ואכל | ve-akhal | and-eat | risk_weqatal_eat | logic_bearing | TIR-029 |
| Gen.3.22 | 20 | וחי | va-chay | and-live | risk_weqatal_live | logic_bearing | TIR-029 |
| Gen.3.22 | 21 | לעלם | le-olam | forever | FOREVER_FIRST_TOKEN_denied | logic_bearing | none |
| Gen.3.23 | 0 | וישלחהו | va-yeshalche-hu | and-he-sent-him-out | expulsion_shalach_2_answers_risk | logic_bearing | none |
| Gen.3.23 | 1 | יהוה | YHWH | YHWH | agent_compound | logic_bearing | none |
| Gen.3.23 | 2 | אלהים | Elohim | God | agent_compound | logic_bearing | none |
| Gen.3.23 | 3 | מגן | mi-gan | from-garden-of | from_the_garden | logic_bearing | none |
| Gen.3.23 | 4 | עדן | eden | Eden | Eden | logic_bearing | none |
| Gen.3.23 | 5 | לעבד | la-avod | to-work | WORK_HALF_of_2_15_office | logic_bearing | TIR-030 |
| Gen.3.23 | 6 | את | et | obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.23 | 7 | האדמה | ha-adama | the-ground | ground_job_object | logic_bearing | none |
| Gen.3.23 | 8 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.3.23 | 9 | לקח | luqach | he-was-taken | TAKEN_passive_origin | logic_bearing | none |
| Gen.3.23 | 10 | משם | mi-sham | from-there | from-there | logic_bearing | none |
| Gen.3.24 | 0 | ויגרש | va-yegaresh | and-he-drove-out | drive_out_FIRST_TOKEN_to_4_14 | logic_bearing | none |
| Gen.3.24 | 1 | את | et | obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.24 | 2 | האדם | ha-adam | the-human | the-human | logic_bearing | none |
| Gen.3.24 | 3 | וישכן | va-yashken | and-he-stationed | SHAKHAN_FIRST_TOKEN_mishkan_root | logic_bearing | none |
| Gen.3.24 | 4 | מקדם | mi-qedem | from-east-or-of-old | qedem_OPEN_east_or_of_old | logic_bearing | none |
| Gen.3.24 | 5 | לגן | le-gan | to-garden-of | garden_locus | logic_bearing | none |
| Gen.3.24 | 6 | עדן | eden | Eden | Eden | logic_bearing | none |
| Gen.3.24 | 7 | את | et | obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.24 | 8 | הכרבים | ha-keruvim | the-cherubim | KERUVIM_FIRST_TOKEN_ark_trail | logic_bearing | none |
| Gen.3.24 | 9 | ואת | ve-et | and-obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.24 | 10 | להט | lahat | flame-of | flame | logic_bearing | none |
| Gen.3.24 | 11 | החרב | ha-cherev | the-sword | sword_FIRST_TOKEN | logic_bearing | none |
| Gen.3.24 | 12 | המתהפכת | ha-mithapekhet | the-self-turning | self_turning_participle | logic_bearing | TIR-031 |
| Gen.3.24 | 13 | לשמר | li-shemor | to-guard | GUARD_HALF_of_2_15_office | logic_bearing | TIR-030 |
| Gen.3.24 | 14 | את | et | obj-marker·et | obj_marker | logic_bearing | none |
| Gen.3.24 | 15 | דרך | derekh | way-of | way_of | logic_bearing | none |
| Gen.3.24 | 16 | עץ | etz | tree-of | tree_of | logic_bearing | none |
| Gen.3.24 | 17 | החיים | ha-chayim | the-life | the_life | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_11_sentences_exile — Eden IV: the sentences, the skin garments, the exile (3:14-24) [frozen]
final state: WORLD=['keruvim', 'kotnot_or', 'lahat_ha_cherev'] (+6 presupposed) | REGISTRY={'nachash': 'arur_mi_kol_ha_behemah', 'adamah': 'arurah_baavurekha', 'ishah': 'Chavah', 'keruvim': 'shomer_derekh_etz_ha_chayim'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'spec_delta', 'read_before_install', 'read_before_install']
=== S1 — The first curse on the registry: after STEP_Gn_3_14
אָרוּר אַתָּה (arur atah)
PASS REGISTRY: nachash->arur_mi_kol_ha_behemah (1 write) (names={'nachash': 'arur_mi_kol_ha_behemah'} writes=1)
PASS flags nachash as read-before-install (flagged=['nachash'])
PASS SPECS empty. (queue=0)
=== S2 — The enmity program standing: after STEP_Gn_3_15
וְאֵיבָה אָשִׁית (ve-eivah ashit)
PASS Facts pattern-akev HOLD. (3 facts)
=== S3 — Both curses written; the woman's terms hold: after STEP_Gn_3_17
אֲרוּרָה הָאֲדָמָה בַּעֲבוּרֶךָ (arurah ha-adamah ba-avurekha)
PASS REGISTRY: nachash->arur_mi_kol_ha_behemah, adamah->arurah_baavurekha (2 writes) (names={'nachash': 'arur_mi_kol_ha_behemah', 'adamah': 'arurah_baavurekha'} writes=2)
PASS Facts be_etzev_teldi_vanim/teshukatekh HOLD. (7 facts)
=== S4 — The handler-delta flagged; the dust-boundary holds: after STEP_Gn_3_19
כִּי־עָפָר אַתָּה וְאֶל־עָפָר תָּשׁוּב (ki-afar atah ve-el-afar tashuv)
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS Facts afar_atah/ad_shuvkha HOLD (12 facts)
PASS SPECS empty. (queue=0)
=== S5 — Named, clothed — the garments install: after STEP_Gn_3_21
כָּתְנוֹת עוֹר וַיַּלְבִּשֵׁם (kotnot or va-yalbishem)
PASS WORLD = {kotnot_or}. (created=['kotnot_or'])
=== S6 — The deliberation held as fact: after STEP_Gn_3_22
פֶּן־יִשְׁלַח יָדוֹ (pen-yishlach yado)
PASS Facts ke_achad_mimenu/pen_yishlach HOLD (14 facts)
PASS flags etz_ha_chayim as read-before-install. (flagged=['adam', 'adamah', 'etz_ha_chayim', 'gan', 'ishah', 'nachash'])
=== S7 — Eden closes: guards in, way kept, nothing owed: after STEP_Gn_3_24
לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים (li-shmor et-derekh etz ha-chayim)
PASS WORLD = {kotnot_or, keruvim, lahat_ha_cherev} (created=['keruvim', 'kotnot_or', 'lahat_ha_cherev'])
PASS SPECS empty (queue=0)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S8_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_11_sentences_exile — 3:14-24
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_11_sentences_exile.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 IV: the sentences, the skin garments, the exile (3:14-24)"""
from machine import Machine
m = Machine("gen_11_sentences_exile")
# -------------------------- Gen.3.14 · SENTENCE_SERPENT_FIRST_CURSE --------
# וַיֹּאמֶר יְהוָה אֱלֹהִים אֶל־הַנָּחָשׁ כִּי עָשִׂיתָ זֹּאת אָרוּר אַתָּה
# מִכָּל־הַבְּהֵמָה וּמִכֹּל חַיַּת הַשָּׂדֶה עַל־גְּחֹנְךָ תֵלֵךְ וְעָפָר
# תֹּאכַל כָּל־יְמֵי חַיֶּיךָ
# "And the LORD God said unto the serpent: 'Because thou hast done this,
# cursed art thou from among all cattle, and from among all beasts of the
# field; upon thy belly shalt thou go, and dust shalt thou eat all the days
# of thy life.'"
m.step("Gen.3.14")
# ‹וַיֹּאמֶר … אֶל־הַנָּחָשׁ כִּי עָשִׂיתָ זֹּאת› (“and-he-said … to the-
# serpent because you-did this”) — event: sentence — agent the-LORD-God;
# theme serpent
m.event("sentence", agent="YHWH_Elohim", themes=["nachash"])
# reads without prior install (flag, not fix): serpent
m.presupposed("nachash")
# ‹אָרוּר אַתָּה מִכָּל־הַבְּהֵמָה› (“CURSED you from-all the-livestock”) —
# role assigned: serpent -> CURSED-from-all-the-livestock
m.assign("nachash", "arur_mi_kol_ha_behemah")
# ‹עַל־גְּחֹנְךָ תֵלֵךְ וְעָפָר תֹּאכַל› (“upon your-belly you-shall-go and-
# dust you-shall-eat”) — fact holds: upon-your-belly-you-shall-go(serpent);
# dust-you-shall-eat-all-days-of-your-life(serpent)
m.fact("al_gechonkha_telekh(nachash)",
"afar_tokhal_kol_yemei_chayekha(nachash)")
# -------------------------- Gen.3.15 · ENMITY_PROGRAM ----------------------
# וְאֵיבָה אָשִׁית בֵּינְךָ וּבֵין הָאִשָּׁה וּבֵין זַרְעֲךָ וּבֵין זַרְעָהּ
# הוּא יְשׁוּפְךָ רֹאשׁ וְאַתָּה תְּשׁוּפֶנּוּ עָקֵב
# "'And I will put enmity between thee and the woman, and between thy seed
# and her seed; they shall bruise thy head, and thou shalt bruise their
# heel.'"
m.step("Gen.3.15")
# ‹וְאֵיבָה אָשִׁית … הוּא יְשׁוּפְךָ רֹאשׁ וְאַתָּה תְּשׁוּפֶנּוּ עָקֵב›
# (“and-enmity I-will-set … he strikes-you head and-you strike-him heel”) —
# pattern recorded: enmity(between-seed-the-woman, between-seed-the-serpent)
# ∧ he-shall-bruise-you-head ∧ you-shall-bruise-him-heel
m.pattern("eivah(bein_zera_ha_ishah, bein_zera_ha_nachash) ∧ hu_yeshufkha_rosh ∧ atah_teshufenu_akev")
# -------------------------- Gen.3.16 · SENTENCE_WOMAN ----------------------
# אֶל־הָאִשָּׁה אָמַר הַרְבָּה אַרְבֶּה עִצְּבוֹנֵךְ וְהֵרֹנֵךְ בְּעֶצֶב
# תֵּלְדִי בָנִים וְאֶל־אִישֵׁךְ תְּשׁוּקָתֵךְ וְהוּא יִמְשָׁל־בָּךְ
# "Unto the woman He said: 'I will greatly multiply thy pain and thy
# travail; in pain thou shalt bring forth children; and thy desire shall be
# to thy husband, and he shall rule over thee.'"
m.step("Gen.3.16")
# reads without prior install (flag, not fix): woman
m.presupposed("ishah")
# ‹הַרְבָּה אַרְבֶּה עִצְּבוֹנֵךְ … בְּעֶצֶב תֵּלְדִי בָנִים … וְהוּא
# יִמְשָׁל־בָּךְ› (“multiplying I-will-multiply your-toil … in-pain you-
# shall-bear sons … and-he shall-rule in-you”) — fact holds: greatly-I-will-
# multiply-your-toil-and-your-pregnancy(woman); in-pain-you-shall-bear-
# sons(woman); to-your-husband-your-desire-and-he-shall-rule-in-you(woman)
m.fact("harbah_arbeh_itzvonekh_ve_heronekh(ishah)",
"be_etzev_teldi_vanim(ishah)",
"el_ishekh_teshukatekh_ve_hu_yimshol_bakh(ishah)")
# -------------------------- Gen.3.17 · SENTENCE_MAN_GROUND_CURSED ----------
# וּלְאָדָם אָמַר כִּי־שָׁמַעְתָּ לְקוֹל אִשְׁתֶּךָ וַתֹּאכַל מִן־הָעֵץ
# אֲשֶׁר צִוִּיתִיךָ לֵאמֹר לֹא תֹאכַל מִמֶּנּוּ אֲרוּרָה הָאֲדָמָה
# בַּעֲבוּרֶךָ בְּעִצָּבוֹן תֹּאכֲלֶנָּה כֹּל יְמֵי חַיֶּיךָ
# "And unto Adam He said: 'Because thou hast hearkened unto the voice of thy
# wife, and hast eaten of the tree, of which I commanded thee, saying: Thou
# shalt not eat of it; cursed is the ground for thy sake; in toil shalt thou
# eat of it all the days of thy life.'"
m.step("Gen.3.17")
# ‹וּלְאָדָם אָמַר כִּי־שָׁמַעְתָּ לְקוֹל אִשְׁתֶּךָ … אֲשֶׁר צִוִּיתִיךָ
# לֵאמֹר לֹא תֹאכַל מִמֶּנּוּ› (“and-to-Adam he-said because you-listened
# to-voice-of your-wife … which I-commanded-you saying not you-shall-eat
# from-it”) — event: sentence — agent the-LORD-God; theme Adam
m.event("sentence", agent="YHWH_Elohim", themes=["adam"])
# reads without prior install (flag, not fix): Adam, ground
m.presupposed("adam", "adamah")
# ‹אֲרוּרָה הָאֲדָמָה בַּעֲבוּרֶךָ› (“CURSED the-ground because-of-you”) —
# role assigned: ground -> cursed-for-your-sake
m.assign("adamah", "arurah_baavurekha")
# ‹בְּעִצָּבוֹן תֹּאכֲלֶנָּה כֹּל יְמֵי חַיֶּיךָ› (“in-toil you-shall-eat-it
# all days-of your-life”) — fact holds: in-toil-you-shall-eat-all-days-of-
# your-life(Adam)
m.fact("be_itzavon_tokhalenah_kol_yemei_chayekha(adam)")
# -------------------------- Gen.3.18 · THORN_DIET --------------------------
# וְקוֹץ וְדַרְדַּר תַּצְמִיחַ לָךְ וְאָכַלְתָּ אֶת־עֵשֶׂב הַשָּׂדֶה
# "'Thorns also and thistles shall it bring forth to thee; and thou shalt
# eat the herb of the field.'"
m.step("Gen.3.18")
# ‹וְקוֹץ וְדַרְדַּר תַּצְמִיחַ … וְאָכַלְתָּ אֶת־עֵשֶׂב הַשָּׂדֶה› (“and-
# thorn and-thistle it-shall-sprout … and-you-shall-eat obj-marker herb-of
# the-field”) — fact holds: thorn-and-thistle-tatzmiach-to-you(ground); and-
# you-shall-eat-obj-marker·et-herb-of-the-field(Adam)
m.fact("kotz_ve_dardar_tatzmiach_lakh(adamah)",
"ve_akhalta_et_esev_ha_sadeh(adam)")
# -------------------------- Gen.3.19 · MORTALITY_BOUNDARY ------------------
# בְּזֵעַת אַפֶּיךָ תֹּאכַל לֶחֶם עַד שׁוּבְךָ אֶל־הָאֲדָמָה כִּי מִמֶּנָּה
# לֻקָּחְתָּ כִּי־עָפָר אַתָּה וְאֶל־עָפָר תָּשׁוּב
# "'In the sweat of thy face shalt thou eat bread, till thou return unto the
# ground; for out of it wast thou taken; for dust thou art, and unto dust
# shalt thou return.'"
m.step("Gen.3.19")
# ‹בְּזֵעַת אַפֶּיךָ … עַד שׁוּבְךָ … וְאֶל־עָפָר תָּשׁוּב› (“in-sweat-of
# your-face … until your-return … and-to dust you-shall-return”) — fact
# holds: in-sweat-of-your-nostrils-you-shall-eat-bread(Adam); until-your-
# return-to-the-ground(Adam); dust-you-and-to-dust-you-shall-return(Adam)
m.fact("be_zeat_apekha_tokhal_lechem(adam)",
"ad_shuvkha_el_ha_adamah(adam)",
"afar_atah_ve_el_afar_tashuv(adam)")
# ‹מוֹת תָּמוּת … עַד שׁוּבְךָ› (“die die … until your-return”) — spec-delta
# — spec said because in-day your-eating from-it dying you-shall-die (gen-08
# 2:17 — the armed HANDLER: dying-you-shall-die, IN THE DAY), delivery says
# until your-return to-the-ground … and-to-dust you-shall-return (the
# sentence: toil-terms + mortality as BOUNDARY — the return to dust as
# horizon; same-day death not executed)
m.spec_delta("ki be-yom akholkha mimenu mot tamut (gen_08 2:17 — the armed HANDLER: dying-you-shall-die, IN THE DAY)",
"ad shuvkha el-ha-adamah … ve-el-afar tashuv (the sentence: toil-terms + mortality as BOUNDARY — the return to dust as horizon; same-day death not executed)")
# -------------------------- Gen.3.20 · NAME_CHAVAH -------------------------
# וַיִּקְרָא הָאָדָם שֵׁם אִשְׁתּוֹ חַוָּה כִּי הִוא הָיְתָה אֵם כָּל־חָי
# "And the man called his wife's name Eve; because she was the mother of all
# living."
m.step("Gen.3.20")
# ‹וַיִּקְרָא הָאָדָם שֵׁם אִשְׁתּוֹ חַוָּה כִּי הִוא הָיְתָה אֵם כָּל־חָי›
# (“and-he-called the-human name-of his-wife Chavah for she-ktiv-hu-qere-hi
# was mother-of all living”) — named: woman := Chavah
m.name("ishah", "Chavah")
# -------------------------- Gen.3.21 · SKIN_GARMENTS -----------------------
# וַיַּעַשׂ יְהוָה אֱלֹהִים לְאָדָם וּלְאִשְׁתּוֹ כָּתְנוֹת עוֹר
# וַיַּלְבִּשֵׁם
# "And the LORD God made for Adam and for his wife garments of skins, and
# clothed them."
m.step("Gen.3.21")
# ‹וַיַּעַשׂ … כָּתְנוֹת עוֹר› (“and-he-made … tunics-of skin”) — event:
# make — agent the-LORD-God; theme garments-of-skin
m.event("make", agent="YHWH_Elohim", themes=["kotnot_or"])
# ‹וַיַּלְבִּשֵׁם› (“and-he-clothed-them”) — event: clothe — agent the-LORD-
# God; theme Adam
m.event("clothe", agent="YHWH_Elohim", themes=["adam"])
# ‹כָּתְנוֹת עוֹר› (“tunics-of skin”) — the world gains: garments-of-skin
m.install("kotnot_or")
# -------------------------- Gen.3.22 · COUNCIL_CONCERN_SECOND_TREE ---------
# וַיֹּאמֶר יְהוָה אֱלֹהִים הֵן הָאָדָם הָיָה כְּאַחַד מִמֶּנּוּ לָדַעַת
# טוֹב וָרָע וְעַתָּה פֶּן־יִשְׁלַח יָדוֹ וְלָקַח גַּם מֵעֵץ הַחַיִּים
# וְאָכַל וָחַי לְעֹלָם
# "And the LORD God said: 'Behold, the man is become as one of us, to know
# good and evil; and now, lest he put forth his hand, and take also of the
# tree of life, and eat, and live for ever.'"
m.step("Gen.3.22")
# ‹הֵן הָאָדָם הָיָה כְּאַחַד מִמֶּנּוּ› (“behold the-human has-become like-
# one of-us”) — event: deliberate — agent the-LORD-God; theme Adam
m.event("deliberate", agent="YHWH_Elohim", themes=["adam"])
# ‹וְעַתָּה פֶּן־יִשְׁלַח יָדוֹ וְלָקַח גַּם מֵעֵץ הַחַיִּים וְאָכַל וָחַי
# לְעֹלָם› (“and-now lest he-send his-hand and-take also from-tree-of the-
# life and-eat and-live forever”) — fact holds: like-one-from-it-to-know-
# good-and-evil(Adam); lest-he-send-his-hand-and-take-from-tree-the-life-
# and-living-to-forever
m.fact("ke_achad_mimenu_la_daat_tov_va_ra(adam)",
"pen_yishlach_yado_ve_lakach_me_etz_ha_chayim_va_chai_le_olam")
# reads without prior install (flag, not fix): tree-of-life, garden-of
m.presupposed("etz_ha_chayim", "gan")
# -------------------------- Gen.3.23 · EXPULSION_WORK_HALF -----------------
# וַיְשַׁלְּחֵהוּ יְהוָה אֱלֹהִים מִגַּן־עֵדֶן לַעֲבֹד אֶת־הָאֲדָמָה אֲשֶׁר
# לֻקַּח מִשָּׁם
# "Therefore the LORD God sent him forth from the garden of Eden, to till
# the ground from whence he was taken."
m.step("Gen.3.23")
# ‹וַיְשַׁלְּחֵהוּ … מִגַּן־עֵדֶן לַעֲבֹד אֶת־הָאֲדָמָה אֲשֶׁר לֻקַּח
# מִשָּׁם› (“and-he-sent-him-out … from-garden-of Eden to-work obj-marker
# the-ground which he-was-taken from-there”) — event: send-out — agent the-
# LORD-God; theme Adam
m.event("send_out", agent="YHWH_Elohim", themes=["adam"])
# -------------------------- Gen.3.24 · GUARDS_INSTALLED_WAY_KEPT -----------
# וַיְגָרֶשׁ אֶת־הָאָדָם וַיַּשְׁכֵּן מִקֶּדֶם לְגַן־עֵדֶן אֶת־הַכְּרֻבִים
# וְאֵת לַהַט הַחֶרֶב הַמִּתְהַפֶּכֶת לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים
# "So He drove out the man; and He placed at the east of the garden of Eden
# the cherubim, and the flaming sword which turned every way, to keep the
# way to the tree of life."
m.step("Gen.3.24")
# ‹וַיְגָרֶשׁ אֶת־הָאָדָם› (“and-he-drove-out obj-marker the-human”) —
# event: drive-out — agent the-LORD-God; theme Adam
m.event("drive_out", agent="YHWH_Elohim", themes=["adam"])
# ‹וַיַּשְׁכֵּן מִקֶּדֶם לְגַן־עֵדֶן› (“and-he-stationed from-east-or-of-old
# to-garden-of Eden”) — event: station — agent the-LORD-God; theme cherubim
m.event("station", agent="YHWH_Elohim", themes=["keruvim"])
# ‹אֶת־הַכְּרֻבִים וְאֵת לַהַט הַחֶרֶב הַמִּתְהַפֶּכֶת› (“obj-marker the-
# cherubim and-obj-marker flame-of the-sword the-self-turning”) — the world
# gains: cherubim, flame-of-the-sword
m.install("keruvim", "lahat_ha_cherev")
# ‹לִשְׁמֹר אֶת־דֶּרֶךְ עֵץ הַחַיִּים› (“to-guard obj-marker way-of tree-of
# the-life”) — role assigned: cherubim -> keeper-way-of-tree-the-life
m.assign("keruvim", "shomer_derekh_etz_ha_chayim")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'keruvim', 'lahat_ha_cherev', 'kotnot_or'}
assert m.presupposed_set() == {'adam', 'adamah', 'nachash', 'gan', 'ishah', 'etz_ha_chayim'}
assert m.REGISTRY["names"] == {'nachash': 'arur_mi_kol_ha_behemah', 'adamah': 'arurah_baavurekha', 'ishah': 'Chavah', 'keruvim': 'shomer_derekh_etz_ha_chayim'}
assert m.REGISTRY["writes"] == 4
assert m.tests_list() == []
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 0
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 6, 'spec_delta': 1}
assert sorted(m.WORLD["facts"]) == sorted(['al_gechonkha_telekh(nachash)', 'afar_tokhal_kol_yemei_chayekha(nachash)', 'pattern: eivah(bein_zera_ha_ishah, bein_zera_ha_nachash) ∧ hu_yeshufkha_rosh ∧ atah_teshufenu_akev', 'harbah_arbeh_itzvonekh_ve_heronekh(ishah)', 'be_etzev_teldi_vanim(ishah)', 'el_ishekh_teshukatekh_ve_hu_yimshol_bakh(ishah)', 'be_itzavon_tokhalenah_kol_yemei_chayekha(adam)', 'kotz_ve_dardar_tatzmiach_lakh(adamah)', 've_akhalta_et_esev_ha_sadeh(adam)', 'be_zeat_apekha_tokhal_lechem(adam)', 'ad_shuvkha_el_ha_adamah(adam)', 'afar_atah_ve_el_afar_tashuv(adam)', 'ke_achad_mimenu_la_daat_tov_va_ra(adam)', 'pen_yishlach_yado_ve_lakach_me_etz_ha_chayim_va_chai_le_olam'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 13
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")