Cain and Abel: first offerings, sin at the door, first murder, the mark (4:1-16) FROZEN

unit gen_12_cain_abel · Genesis 4:1-16 · derive logic_derived_v1 · phase C-12
⇄ verse view — this span in the scroll (trees + morphology)  ·  ☰ all derived units

קַיִן וָהֶבֶל — לַפֶּתַח חַטָּאת רֹבֵץ · Kayin va-Hevel — la-petach chattat rovetz · Cain and Abel — 'at the door sin crouches'

Derived 2026-08-01 at owner's order ("next block") — the first post-Eden narrative; gen_11 remains at the owner's freeze gate (standalone derivations do not depend on it). Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (16 sequential fetches, Data/FETCHLOG.md — the span holds the translation's LARGEST expansion in our derived spans: 4:7 rebuilt as a theology of repentance, with forgiveness vocabulary bracketing the story); trees from the DB's stored tree_json. EIGHTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen12_prospective_2026-08-01.md): cache holds ZERO sources for Gen 4 — sixth tripwire in a row (Mishnah Sanhedrin 4:5's worlds-doctrine from the PLURAL of one word is the span's diyyuk-class detector test — and it already surfaces inside Onkelos 4:10). INTERPRETER: ZERO extensions — third extension-free derivation in a row.
Logic-derived v1: v3 ta'amim trees (from DB tree_json) -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. Machine tokens apostrophe-free and underscore-joined (la_petach_chattat_rovetz, shivatayim_yukam).
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_12_cain_abel_claims.json — 11 VERIFIED, 0 FAILED, 1 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_12_2026-08-08.md). CROWNS (chain-attested, DB-verified): (1) G12-01 הלוא ("is it not?") written full with vav and aleph — the Ramah counts TWELVE plene in the Torah, "a Masorah (received-tradition note) for the whole Torah," and the FIRST opens the sin-at-the-door counsel (4:7): SNAPSHOT holds exactly 12, first here, all refs locked. (2) G12-02/03 both תיטיב ("do well") tokens of the counsel full with two yods, "one before the tet and one after" (Ramah). (3) G12-04 תשוקתו ("its longing") — first tav carries dagesh (doubling dot): the woman's sentence-word re-aimed at sin, pointed at the letter (Minchat Shai). (4) G12-05 דמי אחיך ("your brother's BLOODS") is PLURAL — "his blood and the blood of his descendants" (Rashi via Bereshit Rabbah 22:9, Sanhedrin 37b): the chain CLOSES this unit's own [OPEN] plural-bloods flag. (5) G12-06/07 the finder pair: כל מצאי ("whoever finds ME," Cain's fear, 4:14) kaf SOFT vs כל מצאו ("whoever finds HIM," the protection, 4:15) kaf with dagesh — a soft/hard minimal pair one verse apart (Minchat Shai). (6) G12-09 ויבא ("and he brought," 4:3) — qadma (forward-leaning accent) on the bet per the precise books; SNAPSHOT agrees. (7) G12-10 מבכרות ("of the firstlings," 4:4) — first vav absent, second present, the Ramah's exact spelling rule. (8) G12-12 קדמת ("east of") has exactly TWO Torah tokens, both in Eden's orbit — the rivers (2:14) and Cain's exile (4:16); the chain (Bereshit Rabbah 21:9 via Rashi) draws the father-son exile arrow and extends it to the manslayer refuge law (Deut 4:41) — the unit's east-of-Eden geography attested and stretched into law. DISCREPANCY (the program's first): G12-08 מנשוא ("than I can bear," 4:13) — the authorities split (old books, the scribe Rabbi Meir, a Yerushalmi copy: DEFECTIVE; the Hilleli codex, Sepharad books, the Ramah, Or Torah: PLENE); SNAPSHOT writes it DEFECTIVE (מנשא) — against Minchat Shai's final ruling; both camps recorded, the letter locked. READINGS (named-only, unclaimed): the threefold את ("with") of the birth report = twin sisters (Bereshit Rabbah 22:3 via Rashi); the two desires — the wicked's for sin, God's for Israel (Kitzur Baal HaTurim 4:7); שאת ("uplift," 4:7) is one of Scripture's UNDECIDED words (no decisive parse — Minchat Shai citing the Great Masorah; this unit's binary tree had to bind it, and chose the if-well arm); fire from heaven consumed the favored offering (Rashi 4:4); sin crouches at the door of the GRAVE (Rashi 4:7); the elliptical threat (Rashi 4:15); sevenfold = the seventh generation, Lamech (Rashi 4:15/4:24); the mark = a letter of the Name on his forehead (Pirkei DeRabbi Eliezer 21); Cain's exit as feigned humility (Bereshit Rabbah 22:13); the burial-place tradition on מוצאי ("my exile," Kitzur 4:14). INSTRUMENT GAP: G12-11 the 4:8 pisqa (mid-verse paragraph break) question — precise manuscripts have NONE at Cain's empty speech ("the printer erred," Minchat Shai); SNAPSHOT carries no petucha/setuma (open/closed paragraph) instrumentation at all — gap class joins letter-size, paseq (separator bar), and pointing variants.
confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

stepnamecommentconfidence
ABlock choiceThe Cain cycle proper (4:1-16): from the first birth to the settlement in Nod — 4:17 opens the genealogy (Cain's line, the city, Lamech), the next block. Inside: two births (one name explained by the mother — the corpus's first birth- etymology; one left as vapor, unexplained), two professions, two offerings, one favor and one silence, the anger diagnostic, the two-branch counsel with the corpus's first IF, the empty quote, the field, the murder, the interrogation, the lie, the ground's mouth, the third curse, the plea, the sevenfold decree, the mark, and the exit east. The unit ends where Eden's geography points: kidmat-Eden.established
BHebrew source + treesAll 16 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: 4:1 [the knowing and the birth | the mother's speech: acquired-with- YHWH]; 4:4-5 mirror at the rests — [Abel's offering | the GAZE] / [to Cain and his offering NO gaze | the anger and the fallen face]; 4:7 [the two-branch counsel: if-well UPLIFT, if-not-well at-the-door sin crouches | the 3:16 pair: its longing to you — and YOU shall rule]; 4:8 [the empty quote + the field | rose and killed]; 4:9 [where is Abel your brother | not-known + the keeper question]; 4:11 [cursed are YOU from the ground | the mouth that took the bloods]; 4:15 [the sevenfold decree | the mark set, not-to-strike]; 4:16 [out from before YHWH | settled in Wandering, east of Eden].tested
CSegment structureVerb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 4:1 yada perfect — the KNOWLEDGE verb's carnal debut (the tree's verb domesticated); qaniti — the corpus's first birth-etymology, in the MOTHER's mouth, carrying solo-YHWH's first token (et here = 'with', lemma 854): the first human to say the name is Chavah. 4:2 Hevel unexplained ('vapor' — the name is a noun the text never glosses [OPEN]); the professions chiastic (shepherd / ground-worker — 3:23's job inherited). 4:3-5 the offering scene: minchah x3 (first tokens — Lev 2's term), bekhorot + chelev (the firstborn and fat institutions in embryo), sha'ah x2 (gaze/regard — 3 corpus tokens total) — favor and its absence, NO stated reason [OPEN]; charah (anger) debuts and is immediately interrogated (4:5, 4:6 — its first two tokens). 4:7 THE COUNSEL: ha-lo im ... ve-im lo — the corpus's FIRST conditional particle, twice; se'et (the nasa root as UPLIFT; lev_13's lead mark-name — the A-join's source); la-petach CHATTAT rovetz — sin's first token, crouching (participle) at a door; then the 3:16 pair VERBATIM (teshukato / timshol-bo) — the woman's sentence grammar re-aimed at sin, closing on a coded imperfect (TIR-028). 4:8 the EMPTY QUOTE (va-yomer with no content — the corpus's first silent speech report [OPEN]); ba-sadeh; va-yahargehu — harag's first token: the corpus's first actual death, man-made. 4:9-10 the docket: ei (ayeka's formula, token 2); lo yadati (the first LIE — the know-verb again); ha-SHOMER achi anokhi (the office word interrogative); meh asita (3:13 verbatim); qol demei — the qol thread; demei PLURAL [OPEN]; tza'ak debut (the outcry verb). 4:11-12 the third curse: arur atah MIN-ha-adamah (the first human cursed; the ground given a MOUTH — patztah et-piha, la-qachat the bloods); the ground strike (lo-tosef tet-kochah — Cain's medium refuses him beyond 3:17); na va-nad (two participles — the wanderer state). 4:13-14 the plea: avon debut + mi-neso (the nasa root returns — the se'et offered at 4:7 becomes the burden unbearable); gerashta (garash token 2, first person — 3:24 answered); esater (hide — the face thread); the finder-fear [OPEN: who exists?]. 4:15 the protection: LAKHEN + kol-horeg Kayin SHIVATAYIM yukam (the week's number as vengeance arithmetic; nakam debut, hophal) — an IF/THEN in divine speech; va-yasem OT (day 4's sign-word turned personal — tokens 2-3 are the RAINBOW, 9:12,17); le-vilti hakot (the 3:11 not-to form; nakah debut). 4:16 va-yetze mi-lifnei YHWH; be-eretz NOD — 'Wandering': his sentence fossilized as a place-name — kidmat-EDEN.tested
DPredicates & outcomesThe cycle re-runs Eden one ring out: a test (favor on the offering — the instrument now sha'ah, not tov; the rejection unexplained), a warning WITH a rulebook (the first IF-pair: well -> uplift; not-well -> sin at the door — and the door's occupant gets the woman's sentence-pair, with rule-over-it offered to the human as a coded-imperfect demand), the violation (the counsel-demand answered by a murder — the first LET? left OPEN by transgression rather than silence), the docket (where / not-known / am-I-the-keeper / what have you done), the evidence (the bloods cry FROM the ground — the witness is the crime scene), the sentence (the curse's third token, first human; the ground-worker unlanded), the plea and the mitigation (the sevenfold handler; the mark — protection stamped on the punished), and the exit east. The offering institutions (minchah, firstlings, fat) and the sin word debut here and run straight into the law's altar.tested
ELogic format choiceOperator lines; NO ledger row. The counsel (4:7) is the unit's hinge and gets the full law kit, hand-authored per Pre-Code: TWO HANDLERs (IF(teitiv) THEN(se'et); IF(lo_teitiv) THEN(la_petach_chattat_rovetz)) — the lev_13 device's second narrative use after gen_08's penalty — plus ONE DECLARE LET?(timshol(kayin, ba_chattat)) for the counsel's close (coded imperfect, TIR-028's mandatory ?): pushed at 4:7 and NEVER popped — the next event is the murder: the corpus's first counsel-demand left OPEN by violation (S-scenario asserts it OPEN at unit end, beside gen_08's two — the queue's debt grows). The favor test: TEST PASS(shaah, hevel_u_minchato) — the instrument changed (sha'ah for tov); the non-regard is a FACT (the machine does not invent a FAIL the letter does not state: lo sha'ah is narrated absence, not a verdict token [decided at draft; the letter's asymmetry preserved]). The murder, lie, and docket are EVENTs and testimony FACTS (gen_10's protocol). Curse #3 via ASSIGN (kayin -> arur_min_ha_adamah). The 4:15 decree: a third HANDLER (IF(horeg(kayin)) THEN(shivatayim_yukam)); the mark a standing FACT (ot_le_kayin — not a registry overwrite of the curse). The empty quote: an EVENT say with the content's ABSENCE documented — nothing invented. Interpreter extensions: NONE.established
FBilingual logic objectsEvery operator line carries he + he_translit + en. Machine tokens apostrophe-free: la_petach_chattat_rovetz, shivatayim_yukam, arur_min_ha_adamah, ot_le_kayin, eretz_nod_kidmat_eden.established
GOral (named only) + Tier-A translation checkNamed but NOT read (cache: zero for Gen 4; gen_12 Tier-A queue): Bereshit Rabbah 22 (the cycle; 22:16 the empty-quote dispute); Mishnah Sanhedrin 4:5 (the BLOODS plural -> the worlds-doctrine — the span's diyyuk-class tripwire); Bavli Sanhedrin 37b; PRE 21; Tanchuma Bereshit 9; Bavli Shabbat 105b (the anger dossier). Tier-A Onkelos (16 fetches, FETCHLOG 2026-08-01): 4:7 REBUILT as a theology of repentance — the largest expansion in our spans ('if you make your deeds good it will be FORGIVEN you; if not, your sin is KEPT for the day of judgment, destined to be exacted IF you do not repent; if you repent, it will be forgiven' — se'et resolved as FORGIVENESS via the nasa root; the crouching beast replaced by eschatological bookkeeping; teshuvah inserted twice; the teshukah/mashal clause absorbed); 4:13 'too great to be FORGIVEN' (the same shevak verb — the Aramaic brackets the story in forgiveness where the Hebrew brackets it in nasa); 4:10 'the blood of the DESCENDANTS destined to issue from your brother' (the Mishnah's doctrine inside the translation); 4:14 'from before You it is NOT POSSIBLE to hide' (the speaker corrected); 4:15 'to SEVEN GENERATIONS' (the multiplier as genealogy clock); 4:16 Nod dissolved into 'exiled and wandering' (the letter's irony made explicit); minchah -> korban vocabulary; sha'ah -> FAVOR (ra'ava) before the LORD; ha-shomer -> ha-NATER (3:15's keep-verb).tested
HScenariosS1 the birth and the name-speech (solo-YHWH's debut noted; SPECS empty). S2 the offerings: TEST PASS(shaah, ...) on the books; the non-regard held as fact. S3 the counsel: two handlers standing + LET?(timshol) pushed and OPEN. S4 after the murder: the demand STILL OPEN (violated, not popped) — the machine's sharpest scenario; the kill event on the trace. S5 the docket: the lie and keeper-question facts; meh-asita. S6 the third curse on the registry + the ground's-mouth fact. S7 the protection: the third handler + the mark fact; S8 the close: WORLD stays EMPTY of installs (this unit builds NOTHING — first zero-install unit since the week's pattern days), exile facts hold, LET? STILL OPEN at unit end, LEDGER EMPTY. S9_negative: LET? contract (the counsel-demand's ? is guarded); S10_negative: flag-never-block.tested
IEnglish leakage reviewOperators derive from morph codes (perfects, wayyiqtols, participles rovetz/na/nad TIR-031, the coded imperfect timshol TIR-028, infinitives TIR-030, To/et TIR-014) and DB censuses run BEFORE drafting (im's first tokens; chattat/minchah/chelev/harag/avon/ot/charah/sha'ah trails; the 3:16 pair verified at gen_11; solo-YHWH verified at gen_08's name census). The rejection's reason is NOT supplied (the letter is silent; the machine holds no FAIL); the empty quote's content is NOT supplied; the bloods-plural doctrine stays with the chain (Onkelos carries it — dual-track, flagged).established
JPre-flight + freeze gatePre-flight 2026-08-01: the draft ran against the UNMODIFIED repo interpreter — zero injected prototypes, all scenarios green on the first run. AT FREEZE (owner order only): flip status to frozen, re-verify, regression-run the 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_4_1 · Gen.4.1 · FIRST_BIRTH_NAME_SPEECH

וְהָאָדָם יָדַע אֶת־חַוָּה אִשְׁתּוֹ וַתַּהַר וַתֵּלֶד אֶת־קַיִן וַתֹּאמֶר קָנִיתִי אִישׁ אֶת־יְהוָה · ve-ha-adam yada et-Chavah ishto va-tahar va-teled et-Kayin va-tomer kaniti ish et-YHWH · [EN-AID/JPS] And the man knew Eve his wife; and she conceived and bore Cain, and said: 'I have gotten a man with the help of the LORD.'

LEFT
והאדם ידע את חוה אשתו ותהר ותלד את קין · ve-ha-adam yada et-Chavah ishto va-tahar va-teled et-Kayin · the knowing, the conceiving, the first birth (etnachta arm)
RIGHT
ותאמר קניתי איש את יהוה · va-tomer kaniti ish et-YHWH · the mother's speech: acquired — a man — with YHWH
operatorexpressionHebrew anchorcitesconfidence
EVENTknow(e1) ∧ Agent(e1, adam) ∧ Theme(e1, chavah)
= know(e1) ∧ Agent(e1, human) ∧ Theme(e1, Chavah-Eve)
The KNOWLEDGE verb's carnal debut — the tree's verb (daat) domesticated into the corpus's idiom for union: what the eating delivered, the marriage now carries. Perfect tense, background onset. 		וְהָאָדָם יָדַע אֶת־חַוָּה אִשְׁתּוֹ · ve-ha-adam yada et-Chavah ishto
= human knew obj-marker·et-Chavah his-wife		TIR-014tested
EVENTbear(e2) ∧ Agent(e2, chavah) ∧ Theme(e2, kayin)
= bear(e2) ∧ Agent(e2, Chavah-Eve) ∧ Theme(e2, Cain)
The FIRST BIRTH — 3:16's sentence term (teldi) becomes narrative event one chapter later. 		וַתַּהַר וַתֵּלֶד אֶת־קַיִן · va-tahar va-teled et-Kayin
= she-conceived she-bore obj-marker·et-Kayin		—tested
NAMEname(kayin) := Kayin
= name(Cain) := Kayin
The corpus's first BIRTH-ETYMOLOGY, in the MOTHER's mouth: Kayin from kaniti ('I have ACQUIRED') — the naming authority now hers (the man named her, 3:20; she names the child). And her speech carries SOLO-YHWH's FIRST TOKEN (gen_08's census: the compound ends at 3:24) — the first human ever to say the divine name is Chavah, at a birth: 'a man WITH YHWH' (et = 'with', lemma 854 — not the object marker). Onkelos buffers: 'from BEFORE the LORD' (dual-track). 		וַתֹּאמֶר קָנִיתִי אִישׁ אֶת־יְהוָה · va-tomer kaniti ish et-YHWH
= she-said kaniti man obj-marker·et-the-LORD		—tested
NOTE_PRESUPPOSEDadam, chavah are READ without prior install (Eden's pair, outside)
= human, Chavah-Eve are READ without prior install (Eden's pair, outside)
flag, not fix		——tested
Outside the garden, the machine's first outputs: a birth, a name with a reason, and the Name in a human mouth.

STEP_Gn_4_2 · Gen.4.2 · SECOND_BIRTH_PROFESSIONS

וַתֹּסֶף לָלֶדֶת אֶת־אָחִיו אֶת־הָבֶל וַיְהִי־הֶבֶל רֹעֵה צֹאן וְקַיִן הָיָה עֹבֵד אֲדָמָה · va-tosef la-ledet et-achiv et-Havel va-yehi-Hevel ro'eh tzon ve-Kayin hayah oved adamah · [EN-AID/JPS] And again she bore his brother Abel. And Abel was a keeper of sheep, but Cain was a tiller of the ground.

LEFT
ותסף ללדת את אחיו את הבל · va-tosef la-ledet et-achiv et-Havel · the second birth: his brother, Hevel (etnachta arm)
RIGHT
ויהי הבל רעה צאן וקין היה עבד אדמה · va-yehi-Hevel ro'eh tzon ve-Kayin hayah oved adamah · the professions: shepherd and ground-worker
operatorexpressionHebrew anchorcitesconfidence
EVENTbear(e3) ∧ Agent(e3, chavah) ∧ Theme(e3, hevel)
= bear(e3) ∧ Agent(e3, Chavah-Eve) ∧ Theme(e3, Abel)
The second birth arrives ALREADY-BROTHERED (et-ACHIV et-Havel — 'his brother' precedes the name) and UNNAMED BY ANYONE: no speech, no etymology — Hevel ('vapor, breath') is a noun the text never glosses [OPEN]: the first name whose meaning is carried only by its word. The brother-word (ach) debuts here — x7 in this span: the unit is the corpus's brother-density peak. 		וַתֹּסֶף לָלֶדֶת אֶת־אָחִיו אֶת־הָבֶל · va-tosef la-ledet et-achiv et-Havel
= she-added bear obj-marker·et-his-brother obj-marker·et-Havel		TIR-014tested
PRECONDITION_STATEHOLDS(roeh_tzon(hevel), t0) ∧ HOLDS(oved_adamah(kayin), t0)
= HOLDS(shepherd-flock(Abel), t0) ∧ HOLDS(worker-of-ground(Cain), t0)
Two standing professions (participles, TIR-031), chiastically ordered: the younger shepherds; the elder works the GROUND — 3:23's exile job inherited as the firstborn's trade. The division of labor is the corpus's first — and the offering scene will run along its seam. 		רֹעֵה צֹאן … עֹבֵד אֲדָמָה · ro'eh tzon … oved adamah
= ro'eh flock worker-of ground		TIR-031tested
NOTE_PRESUPPOSEDadamah are READ without prior install (the cursed ground, Cain's medium)
= ground are READ without prior install (the cursed ground, Cain's medium)
flag, not fix		——tested
One name explained, one left as vapor; two trades, one inherited from a sentence. The scene is set on a fault line.

STEP_Gn_4_3 · Gen.4.3 · FIRST_OFFERING

וַיְהִי מִקֵּץ יָמִים וַיָּבֵא קַיִן מִפְּרִי הָאֲדָמָה מִנְחָה לַיהוָה · va-yehi mi-ketz yamim va-yave Kayin mi-peri ha-adamah minchah la-YHWH · [EN-AID/JPS] And in process of time it came to pass, that Cain brought of the fruit of the ground an offering unto the LORD.

LEFT
ויהי מקץ ימים · va-yehi mi-ketz yamim · the time marker: at days' end (etnachta arm)
RIGHT
ויבא קין מפרי האדמה מנחה ליהוה · va-yave Kayin mi-peri ha-adamah minchah la-YHWH · Cain brings fruit-of-the-ground as an offering
operatorexpressionHebrew anchorcitesconfidence
EVENTbring(e4) ∧ Agent(e4, kayin) ∧ Theme(e4, minchah)
= bring(e4) ∧ Agent(e4, Cain) ∧ Theme(e4, offering)
THE CORPUS'S FIRST OFFERING — uninstructed [OPEN: no command precedes; worship is a human invention here] — and its word is the LAW'S: minchah (first of 113 tokens; Lev 2's grain-offering term; the DB's own lemma gloss is 'grain-offering'). Cain brings from his trade: fruit of the (cursed) ground. Onkelos: tikruvta — the korban vocabulary (dual-track). 		וַיָּבֵא קַיִן מִפְּרִי הָאֲדָמָה מִנְחָה לַיהוָה · va-yave Kayin mi-peri ha-adamah minchah la-YHWH
= he-brought Kayin fruit-of ground offering YHWH		TIR-014tested
Nobody asked for an offering; one arrives. The altar institutions begin as improvisation, in the vocabulary the law will later regulate.

STEP_Gn_4_4 · Gen.4.4 · SECOND_OFFERING_FAVOR

וְהֶבֶל הֵבִיא גַם־הוּא מִבְּכֹרוֹת צֹאנוֹ וּמֵחֶלְבֵהֶן וַיִּשַׁע יְהוָה אֶל־הֶבֶל וְאֶל־מִנְחָתוֹ · ve-Hevel hevi gam-hu mi-bekhorot tzono u-me-chelvehen va-yisha YHWH el-Hevel ve-el-minchato · [EN-AID/JPS] And Abel, he also brought of the firstlings of his flock and of the fat thereof. And the LORD had respect unto Abel and to his offering.

LEFT
והבל הביא גם הוא מבכרות צאנו ומחלבהן · ve-Hevel hevi gam-hu mi-bekhorot tzono u-me-chelvehen · Abel's offering: firstlings and their fat (etnachta arm)
RIGHT
וישע יהוה אל הבל ואל מנחתו · va-yisha YHWH el-Hevel ve-el-minchato · the GAZE: YHWH regarded Abel and his offering
operatorexpressionHebrew anchorcitesconfidence
EVENTbring(e5) ∧ Agent(e5, hevel) ∧ Theme(e5, bekhorot)
= bring(e5) ∧ Agent(e5, Abel) ∧ Theme(e5, firstlings-of)
Abel's portion names two future institutions in one clause: BEKHOROT ('firstlings' — the firstborn laws ahead, Exod 13) and CHELEV ('fat' — first token; Exod 23:18; Lev 3:16 'all fat is the LORD'S'): the altar law's choicest-parts doctrine, here a shepherd's instinct. 		וְהֶבֶל הֵבִיא גַם־הוּא מִבְּכֹרוֹת צֹאנוֹ וּמֵחֶלְבֵהֶן · ve-Hevel hevi gam-hu mi-bekhorot tzono u-me-chelvehen
= and-Hevel brought also-he firstlings-of tzono and-what-chelvehen		—tested
TESTTESTS += PASS(shaah, hevel_u_minchato)
= TESTS += PASS(gaze, Abel-and-his-offering)
The instrument has changed: not the week's tov, not Eden's silence — SHA'AH ('gazed/regarded'; 3 corpus tokens: 4:4, 4:5, Exod 5:9). The machine records a PASS with the new oracle word: person AND offering regarded, in that order (el-Hevel VE-el-minchato — the giver before the gift; the chain builds on the order; named-only). Onkelos: 'there was FAVOR (ra'ava) from before the LORD' — gaze become favor, presence buffered (dual-track). 		וַיִּשַׁע יְהוָה אֶל־הֶבֶל וְאֶל־מִנְחָתוֹ · va-yisha YHWH el-Hevel ve-el-minchato
= he-regarded the-LORD to-Hevel and-to-his-offering		—tested
Also-he brought — and the gaze fell. The corpus's fourth test instrument (tov; the FAIL; the creature's tov; now sha'ah) opens on a shepherd's firstlings.

STEP_Gn_4_5 · Gen.4.5 · NON_REGARD_FIRST_ANGER

וְאֶל־קַיִן וְאֶל־מִנְחָתוֹ לֹא שָׁעָה וַיִּחַר לְקַיִן מְאֹד וַיִּפְּלוּ פָּנָיו · ve-el-Kayin ve-el-minchato lo sha'ah va-yichar le-Kayin me'od va-yiplu panav · [EN-AID/JPS] But unto Cain and to his offering He had not respect. And Cain was very wroth, and his countenance fell.

LEFT
ואל קין ואל מנחתו לא שעה · ve-el-Kayin ve-el-minchato lo sha'ah · the non-regard (etnachta arm)
RIGHT
ויחר לקין מאד ויפלו פניו · va-yichar le-Kayin me'od va-yiplu panav · the first anger; the fallen face
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(lo_shaah_el_kayin_ve_el_minchato, t1)
= HOLDS(not-gaze-to-Cain-and-to-his-offering, t1)
The non-regard, held as FACT — not a FAIL verdict: the letter narrates an absence and states NO REASON [OPEN — the chain's dossiers queue; the machine invents neither criterion nor verdict]. The verse mirrors 4:4's grammar exactly with one negation — the asymmetry is one word. 		וְאֶל־קַיִן וְאֶל־מִנְחָתוֹ לֹא שָׁעָה · ve-el-Kayin ve-el-minchato lo sha'ah
= and-to-Kayin and-to-his-offering not sha'ah		—tested
EVENTburn(e6) ∧ Agent(e6, kayin)
= burn(e6) ∧ Agent(e6, Cain)
ANGER's first token (charah — 'burned hot'), at MAXIMUM on arrival (me'od — day 6's superlative), with the corpus's first fallen FACE (the panim thread the span runs to its end: fallen face -> hidden from Your face -> out from before the Face). 		וַיִּחַר לְקַיִן מְאֹד וַיִּפְּלוּ פָּנָיו · va-yichar le-Kayin me'od va-yiplu panav
= he-burned to-Kayin me'od fell panav		—tested
One negation, and the first human emotion after shame enters burning. The next voice is the counselor's.

STEP_Gn_4_6 · Gen.4.6 · ANGER_DIAGNOSTIC

וַיֹּאמֶר יְהוָה אֶל־קָיִן לָמָּה חָרָה לָךְ וְלָמָּה נָפְלוּ פָנֶיךָ · va-yomer YHWH el-Kayin lamah charah lakh ve-lamah naflu fanekha · [EN-AID/JPS] And the LORD said unto Cain: 'Why art thou wroth? and why is thy countenance fallen?'

LEFT
ויאמר יהוה אל קין · va-yomer YHWH el-Kayin · the address (etnachta arm)
RIGHT
למה חרה לך ולמה נפלו פניך · lamah charah lakh ve-lamah naflu fanekha · the double why: why angry, why fallen
operatorexpressionHebrew anchorcitesconfidence
EVENTask(e7) ∧ Agent(e7, YHWH) ∧ Theme(e7, kayin)
= ask(e7) ∧ Agent(e7, the-LORD) ∧ Theme(e7, Cain)
The docket formula adapts: Eden's questions hunted facts (where / who told / what); this one interrogates an EMOTION, twice (lamah x2) — the corpus's first pastoral question, before any crime exists. The counsel follows unasked. 		לָמָּה חָרָה לָךְ וְלָמָּה נָפְלוּ פָנֶיךָ · lamah charah lakh ve-lamah naflu fanekha
= lamah charah to-you and-lamah fell fanekha		—tested
God questions the anger, not the offering — the scene's center of gravity moves from the altar to the man.

STEP_Gn_4_7 · Gen.4.7 · COUNSEL_FIRST_IF

הֲלוֹא אִם־תֵּיטִיב שְׂאֵת וְאִם לֹא תֵיטִיב לַפֶּתַח חַטָּאת רֹבֵץ וְאֵלֶיךָ תְּשׁוּקָתוֹ וְאַתָּה תִּמְשָׁל־בּוֹ · halo im-teitiv se'et ve-im lo teitiv la-petach chattat rovetz ve-elekha teshukato ve-atah timshol-bo · [EN-AID/JPS] 'If thou doest well, shall it not be lifted up? and if thou doest not well, sin coucheth at the door; and unto thee is its desire, but thou mayest rule over it.'

LEFT
הלוא אם תיטיב שאת ואם לא תיטיב לפתח חטאת רבץ · halo im-teitiv se'et ve-im lo teitiv la-petach chattat rovetz · the two branches: if-well UPLIFT; if-not-well, sin crouches at the door (etnachta arm)
RIGHT
ואליך תשוקתו ואתה תמשל בו · ve-elekha teshukato ve-atah timshol-bo · the 3:16 pair re-aimed: its longing to you — and YOU shall rule
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(teitiv(kayin)) THEN(seet)
= HANDLER IF(you-do-well(Cain)) THEN(uplift)
THE CORPUS'S FIRST IF: im — the law's branch particle (its first two tokens are BOTH in this verse; the third waits until 13:9) — debuting as moral counsel, modeled with the law's own operator (the lev_13 HANDLER, second narrative use after gen_08's penalty). The good branch pays SE'ET ('uplift' — the nasa root): the lev_13 A-join's source verse — the intake taxonomy's lead mark-name is born here as the lifted face offered to Cain. Onkelos resolves se'et as FORGIVENESS ('it will be forgiven you') and rebuilds the whole verse as a theology of repentance — the largest Tier-A expansion in our spans (dual-track, flagged in the edition). 		אִם־תֵּיטִיב שְׂאֵת · im-teitiv se'et
= IF-you-do-well se'et		TIR-029tested
HANDLERHANDLER IF(lo_teitiv(kayin)) THEN(la_petach_chattat_rovetz)
= HANDLER IF(not-you-do-well(Cain)) THEN(to-at-the-door-sin-crouching)
The dark branch: CHATTAT — sin's first corpus token (142 ahead, overwhelmingly the SIN-OFFERING: the word debuts crouching and its career is the sacrifice that answers it) — ROVETZ ('crouching', an animal participle, TIR-031) at THE DOOR (petach — whose door? [OPEN]). Sin enters the corpus as a predator with an address. 		וְאִם לֹא תֵיטִיב לַפֶּתַח חַטָּאת רֹבֵץ · ve-im lo teitiv la-petach chattat rovetz
= IF not you-do-well at-the-door sin crouching		TIR-029, TIR-031tested
DECLAREDECLARE(YHWH, LET?(timshol(kayin, ba_chattat)))
= DECLARE(the-LORD, LET?(you-shall-rule(Cain, in-the-sin)))
The counsel's close wears the WOMAN'S SENTENCE verbatim: teshukah + mashal — 3:16's pair (its only other Torah tokens), re-aimed at sin personified: 'to YOU is its longing — and YOU shall rule over it.' timshol is a coded imperfect (TIR-028's mandatory ?): command, promise, or possibility — the form cannot say, and the machine pushes LET? and leaves the ? standing. THIS DEMAND IS NEVER POPPED: the next event in the corpus is the murder — the first counsel-demand left OPEN by violation rather than silence. It stands in the queue beside gen_08's two. 		וְאֵלֶיךָ תְּשׁוּקָתוֹ וְאַתָּה תִּמְשָׁל־בּוֹ · ve-elekha teshukato ve-atah timshol-bo
= and-to-you teshukato you you-shall-rule-in-it		TIR-028tested
One verse: the first if, the first sin, the first predator metaphor, the mother's sentence handed to her son as a fighting chance — and a demand the very next verse breaks.

STEP_Gn_4_8 · Gen.4.8 · EMPTY_QUOTE_FIRST_MURDER

וַיֹּאמֶר קַיִן אֶל־הֶבֶל אָחִיו וַיְהִי בִּהְיוֹתָם בַּשָּׂדֶה וַיָּקָם קַיִן אֶל־הֶבֶל אָחִיו וַיַּהַרְגֵהוּ · va-yomer Kayin el-Hevel achiv va-yehi bihyotam ba-sadeh va-yakom Kayin el-Hevel achiv va-yahargehu · [EN-AID/JPS] And Cain spoke unto Abel his brother. And it came to pass, when they were in the field, that Cain rose up against Abel his brother, and slew him.

LEFT
ויאמר קין אל הבל אחיו · va-yomer Kayin el-Hevel achiv · the EMPTY QUOTE: Cain said to Abel his brother — [no content] (etnachta arm)
RIGHT
ויהי בהיותם בשדה ויקם קין אל הבל אחיו ויהרגהו · va-yehi bihyotam ba-sadeh va-yakom Kayin el-Hevel achiv va-yahargehu · the field, the rising, the kill
operatorexpressionHebrew anchorcitesconfidence
EVENTsay(e8) ∧ Agent(e8, kayin) ∧ Theme(e8, hevel)
= say(e8) ∧ Agent(e8, Cain) ∧ Theme(e8, Abel)
THE EMPTY QUOTE: a speech verb, an addressee — and NO CONTENT: the corpus's first silent speech report [OPEN — the ancient versions supply words; the letter does not; the machine records the saying and holds the silence: BR 22:16's dispute is the queued dossier]. The etnachta isolates the unsaid. 		וַיֹּאמֶר קַיִן אֶל־הֶבֶל אָחִיו · va-yomer Kayin el-Hevel achiv
= say Kayin to-Hevel his-brother		—tested
EVENTkill(e9) ∧ Agent(e9, kayin) ∧ Theme(e9, hevel)
= kill(e9) ∧ Agent(e9, Cain) ∧ Theme(e9, Abel)
THE FIRST DEATH IN THE CORPUS — and it is FRATRICIDE: harag's first token (its entire debut is this story: the deed here, the fear at 4:14, the protection at 4:15). The scene is BA-SADEH — 2:5's field. The armed handler's word (mot, gen_08) remains unexecuted by heaven: the first actual death is man-made — the handler-delta's sharpest edge, recorded at gen_11, now sourced. 'His brother' stands twice in the verse — the letter will not let the relation out of view. 		וַיָּקָם קַיִן אֶל־הֶבֶל אָחִיו וַיַּהַרְגֵהוּ · va-yakom Kayin el-Hevel achiv va-yahargehu
= and-yakom Kayin to-Hevel his-brother and-yahargehu		—tested
Between an unrecorded sentence and a recorded one: the counsel-demand of 4:7 stands OPEN in the queue as the blow lands — the machine's registers hold the violation as state.

STEP_Gn_4_9 · Gen.4.9 · DOCKET_FIRST_LIE

וַיֹּאמֶר יְהוָה אֶל־קַיִן אֵי הֶבֶל אָחִיךָ וַיֹּאמֶר לֹא יָדַעְתִּי הֲשֹׁמֵר אָחִי אָנֹכִי · va-yomer YHWH el-Kayin ei Hevel achikha va-yomer lo yadati ha-shomer achi anokhi · [EN-AID/JPS] And the LORD said unto Cain: 'Where is Abel thy brother?' And he said: 'I know not; am I my brother's keeper?'

LEFT
ויאמר יהוה אל קין אי הבל אחיך · va-yomer YHWH el-Kayin ei Hevel achikha · the question: WHERE is Abel your brother? (etnachta arm)
RIGHT
ויאמר לא ידעתי השמר אחי אנכי · va-yomer lo yadati ha-shomer achi anokhi · the lie and the keeper-question
operatorexpressionHebrew anchorcitesconfidence
EVENTask(e10) ∧ Agent(e10, YHWH) ∧ Theme(e10, kayin)
= ask(e10) ∧ Agent(e10, the-LORD) ∧ Theme(e10, Cain)
The interrogation formula's SECOND token (ayeka 3:9 -> ei 4:9, DB-verified at gen_10): Eden asked WHERE ARE YOU; the field asks WHERE IS YOUR BROTHER — the docket formula's object moves from self to sibling. 		אֵי הֶבֶל אָחִיךָ · ei Hevel achikha
= ei Hevel your-brother		—tested
PRECONDITION_STATEHOLDS(lo_yadati_ha_shomer_achi_anokhi(kayin), t2)
= HOLDS(not-I-know-the-keeper-of-my-brother-I(Cain), t2)
THE FIRST LIE — held as testimony fact: lo yadati ('I do not KNOW' — the know-verb that opened the unit at 4:1: the father knew; the son knows nothing), capped by the corpus's most famous rhetorical question: ha-SHOMER achi anokhi ('am I my brother's KEEPER?') — the office word of 2:15's job and 3:24's cherubim, thrown back as sarcasm by the first murderer. Onkelos: ha-NATER — the same keep-verb the Aramaic gave 3:15's grudge (dual-track). 		לֹא יָדַעְתִּי הֲשֹׁמֵר אָחִי אָנֹכִי · lo yadati ha-shomer achi anokhi
= not I-know keeper-of my-brother I		—tested
Eden's defendant deflected; this one denies. The machine holds the events (e9: the kill) and the testimony side by side — the gap between the lists is now a lie, not an omission.

STEP_Gn_4_10 · Gen.4.10 · BLOODS_CRY

וַיֹּאמֶר מֶה עָשִׂיתָ קוֹל דְּמֵי אָחִיךָ צֹעֲקִים אֵלַי מִן־הָאֲדָמָה · va-yomer meh asita kol demei achikha tzo'akim elai min-ha-adamah · [EN-AID/JPS] And He said: 'What hast thou done? the voice of thy brother's blood crieth unto Me from the ground.'

LEFT
ויאמר מה עשית · va-yomer meh asita · WHAT HAVE YOU DONE — 3:13's question verbatim (etnachta arm)
RIGHT
קול דמי אחיך צעקים אלי מן האדמה · kol demei achikha tzo'akim elai min-ha-adamah · the voice of your brother's BLOODS cries from the ground
operatorexpressionHebrew anchorcitesconfidence
EVENTask(e11) ∧ Agent(e11, YHWH) ∧ Theme(e11, kayin)
= ask(e11) ∧ Agent(e11, the-LORD) ∧ Theme(e11, Cain)
3:13's question to the woman, VERBATIM, to her son — the docket formula now a family inheritance. 		מֶה עָשִׂיתָ · meh asita
= meh you-have-done		—tested
PRECONDITION_STATEHOLDS(kol_demei_achikha_tzoakim_min_ha_adamah, t2)
= HOLDS(all-bloods-of-your-brother-crying-out-from-the-ground, t2)
The evidence testifies: the QOL thread (the voice in the garden; the voice obeyed; now a voice from the ground) carries DEMEI — 'BLOODS', plural [OPEN — the letter's plural, the chain's worlds-doctrine: Mishnah Sanhedrin 4:5, the span's diyyuk tripwire; Onkelos already carries it: 'the blood of the DESCENDANTS destined to issue from your brother' — dual-track, flagged]. TZO'AKIM — the outcry verb's first token (the cry that will rise from Sodom and Egypt), participle: the crying is standing state. 		קוֹל דְּמֵי אָחִיךָ צֹעֲקִים אֵלַי מִן־הָאֲדָמָה · kol demei achikha tzo'akim elai min-ha-adamah
= all bloods-of your-brother tzo'akim elai from-the-ground		TIR-031tested
No witnesses existed; the crime scene speaks. The corpus's evidence-doctrine opens with the ground as plaintiff.

STEP_Gn_4_11 · Gen.4.11 · CURSE_REACHES_HUMAN

וְעַתָּה אָרוּר אָתָּה מִן־הָאֲדָמָה אֲשֶׁר פָּצְתָה אֶת־פִּיהָ לָקַחַת אֶת־דְּמֵי אָחִיךָ מִיָּדֶךָ · ve-atah arur atah min-ha-adamah asher patztah et-piha lakachat et-demei achikha mi-yadekha · [EN-AID/JPS] 'And now cursed art thou from the ground, which hath opened her mouth to receive thy brother's blood from thy hand.'

LEFT
ועתה ארור אתה מן האדמה · ve-atah arur atah min-ha-adamah · cursed are YOU from the ground (etnachta arm)
RIGHT
אשר פצתה את פיה לקחת את דמי אחיך מידך · asher patztah et-piha lakachat et-demei achikha mi-yadekha · the ground's mouth that took the bloods from your hand
operatorexpressionHebrew anchorcitesconfidence
ASSIGNREGISTRY: kayin->arur_min_ha_adamah
= REGISTRY: Cain->CURSED-from-the-ground
THE CURSE REACHES A HUMAN — token #3 of the chain (serpent 3:14; ground 3:17; now Cain — gen_11's census), same ASSIGN device, and the preposition does the work: arur MIN-ha-adamah — cursed FROM the ground: the carrier of his father's curse becomes the source of his own. The ground has a MOUTH (patztah et-piha — the anatomy the serpent's diet implied, now explicit) that TOOK (lakachat — the taking verb again) the bloods from his hand. 		אָרוּר אָתָּה מִן־הָאֲדָמָה · arur atah min-ha-adamah
= CURSED you from-the-ground		TIR-014tested
PRECONDITION_STATEHOLDS(ha_adamah_patztah_piha_lakachat_demei(kayin), t2)
= HOLDS(the-ground-opened-wide-her-mouth-taken-bloods-of(Cain), t2)
the ground's testimony held as fact — plaintiff, witness, and drinker in one register entry		אֲשֶׁר פָּצְתָה אֶת־פִּיהָ · asher patztah et-piha
= which opened-wide obj-marker·et-her-mouth		—tested
Three curses, three carriers: creature, soil, man. The registry's negative pole now holds a human name.

STEP_Gn_4_12 · Gen.4.12 · GROUND_STRIKE_WANDERER

כִּי תַעֲבֹד אֶת־הָאֲדָמָה לֹא־תֹסֵף תֵּת־כֹּחָהּ לָךְ נָע וָנָד תִּהְיֶה בָאָרֶץ · ki ta'avod et-ha-adamah lo-tosef tet-kochah lakh na va-nad tihyeh va-aretz · [EN-AID/JPS] 'When thou tillest the ground, it shall not henceforth yield unto thee her strength; a fugitive and a wanderer shalt thou be in the earth.'

LEFT
כי תעבד את האדמה לא תסף תת כחה לך · ki ta'avod et-ha-adamah lo-tosef tet-kochah lakh · WHEN you work the ground — no more strength for you (etnachta arm)
RIGHT
נע ונד תהיה בארץ · na va-nad tihyeh va-aretz · fugitive and wanderer you shall be
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(ki_taavod_lo_tosef_tet_kochah(adamah, kayin), t2) ∧ HOLDS(na_va_nad_tihyeh(kayin), t2)
= HOLDS(when-you-work-not-she-added-give-its-strength(ground, Cain), t2) ∧ HOLDS(fugitive-and-wanderer-shall-be(Cain), t2)
The sentence's two standing terms: the GROUND-STRIKE (opened by KI — the law's when-particle, lev_13's case opener, here clocking Cain's own trade: WHEN you work the ground — it refuses: beyond 3:17's toil, for Cain the medium withholds its strength entirely) and the WANDERER state (na va-nad — two participles, TIR-031). The ground-worker loses the ground; the profession of 4:2 is unwritten by the verse. 		לֹא־תֹסֵף תֵּת־כֹּחָהּ לָךְ … נָע וָנָד תִּהְיֶה · lo-tosef tet-kochah lakh … na va-nad tihyeh
= not-she-added give-its-strength to-you fugitive wanderer shall-be		TIR-031tested
The measure fits: he fed the ground blood; it starves his furrows. The wanderer clause writes the address he will soon inhabit as a name.

STEP_Gn_4_13 · Gen.4.13 · PLEA_UNBEARABLE

וַיֹּאמֶר קַיִן אֶל־יְהוָה גָּדוֹל עֲוֺנִי מִנְּשֹׂא · va-yomer Kayin el-YHWH gadol avoni mi-neso · [EN-AID/JPS] And Cain said unto the LORD: 'My punishment is greater than I can bear.'

LEFT
ויאמר קין אל יהוה · va-yomer Kayin el-YHWH · Cain to YHWH (etnachta arm)
RIGHT
גדול עוני מנשא · gadol avoni mi-neso · my avon is greater than bearing
operatorexpressionHebrew anchorcitesconfidence
EVENTplead(e12) ∧ Agent(e12, kayin) ∧ Theme(e12, YHWH)
= plead(e12) ∧ Agent(e12, Cain) ∧ Theme(e12, the-LORD)
AVON's first token ('iniquity/punishment' — the word holds both [OPEN]; 42 tokens ahead) measured against MI-NESO — 'than BEARING': the nasa root that 4:7 offered as SE'ET ('uplift') returns as the load he cannot lift: one root brackets the story — the lift refused becomes the weight. Onkelos: 'my sin is too great TO BE FORGIVEN' (mi-lemishbak — the same forgive-verb its 4:7 used: the Aramaic brackets in forgiveness what the Hebrew brackets in bearing; dual-track, and the chain reads the line as either despair or question — named-only). 		גָּדוֹל עֲוֺנִי מִנְּשֹׂא · gadol avoni mi-neso
= great avoni than-bearing		—tested
Five words. The first response of a sentenced human to a sentence — Adam never answered his.

STEP_Gn_4_14 · Gen.4.14 · FEAR_OF_FINDERS

הֵן גֵּרַשְׁתָּ אֹתִי הַיּוֹם מֵעַל פְּנֵי הָאֲדָמָה וּמִפָּנֶיךָ אֶסָּתֵר וְהָיִיתִי נָע וָנָד בָּאָרֶץ וְהָיָה כָל־מֹצְאִי יַהַרְגֵנִי · hen gerashta oti ha-yom me'al pnei ha-adamah u-mi-panekha esater ve-hayiti na va-nad ba-aretz ve-hayah khol-motzi yahargeni · [EN-AID/JPS] 'Behold, Thou hast driven me out this day from the face of the land; and from Thy face shall I be hid; and I shall be a fugitive and a wanderer in the earth; and it will come to pass, that whosoever findeth me will slay me.'

LEFT
הן גרשת אתי היום מעל פני האדמה ומפניך אסתר · hen gerashta oti ha-yom me'al pnei ha-adamah u-mi-panekha esater · driven from the ground's face — hidden from Yours (etnachta arm)
RIGHT
והייתי נע ונד בארץ והיה כל מצאי יהרגני · ve-hayiti na va-nad ba-aretz ve-hayah khol-motzi yahargeni · the wanderer's fear: whoever finds me kills me
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(gerashta_oti_u_mi_panekha_esater(kayin), t2) ∧ HOLDS(khol_motzi_yahargeni_fear(kayin), t2)
= HOLDS(you-have-driven-out-me-and-from-your-face-I-shall-be-hidden(Cain), t2) ∧ HOLDS(all-finder-will-kill-me-fear(Cain), t2)
Cain's restatement, held as testimony: GERASHTA ('You have DRIVEN OUT' — garash token #2, first person: 3:24's verb owned by its next object); the FACE thread doubled (the ground's face lost, Your face hidden-from — satar's debut); the wanderer terms repeated in his own mouth; and the finder-fear (kol motzi yahargeni — matza again; harag token #2) [OPEN: who exists to find him? — the chain's population question, named-only]. Onkelos corrects the theology mid-quote: 'from before You it is NOT POSSIBLE to hide' (flagged, dual-track) — the translation refuses the speaker's premise. 		גֵּרַשְׁתָּ אֹתִי … וּמִפָּנֶיךָ אֶסָּתֵר … כָל־מֹצְאִי יַהַרְגֵנִי · gerashta oti … u-mi-panekha esater … khol-motzi yahargeni
= you-have-driven-out me your-face I-shall-be-hidden all-finder will-kill-me		—tested
The sentence heard and amplified: he adds the hiding and the hunters. What answers is not reassurance but arithmetic.

STEP_Gn_4_15 · Gen.4.15 · SEVENFOLD_HANDLER_MARK

וַיֹּאמֶר לוֹ יְהוָה לָכֵן כָּל־הֹרֵג קַיִן שִׁבְעָתַיִם יֻקָּם וַיָּשֶׂם יְהוָה לְקַיִן אוֹת לְבִלְתִּי הַכּוֹת־אֹתוֹ כָּל־מֹצְאוֹ · va-yomer lo YHWH lakhen kol-horeg Kayin shivatayim yukam va-yasem YHWH le-Kayin ot le-vilti hakot-oto kol-motz'o · [EN-AID/JPS] And the LORD said unto him: 'Therefore whosoever slayeth Cain, vengeance shall be taken on him sevenfold.' And the LORD set a sign for Cain, lest any finding him should smite him.

LEFT
ויאמר לו יהוה לכן כל הרג קין שבעתים יקם · va-yomer lo YHWH lakhen kol-horeg Kayin shivatayim yukam · the decree: whoever kills Cain — sevenfold avenged (etnachta arm)
RIGHT
וישם יהוה לקין אות לבלתי הכות אתו כל מצאו · va-yasem YHWH le-Kayin ot le-vilti hakot-oto kol-motz'o · the mark set: that no finder strike him
operatorexpressionHebrew anchorcitesconfidence
HANDLERHANDLER IF(horeg(kayin)) THEN(shivatayim_yukam)
= HANDLER IF(killer-of(Cain)) THEN(sevenfold-shall-be-avenged)
The protective decree as a third standing HANDLER: IF(anyone kills Cain) THEN(sevenfold avenged) — SHIVATAYIM: the week's number as vengeance arithmetic (Onkelos: 'to SEVEN GENERATIONS' — the multiplier read as a genealogy clock, aimed at Lamech's boast ahead; dual-track); yukam — nakam's debut ('avenged', hophal — agentless: the avenger unnamed, TIR-032's class). The murderer receives the corpus's first protective legislation — the killer shielded FROM killers. 		כָּל־הֹרֵג קַיִן שִׁבְעָתַיִם יֻקָּם · kol-horeg Kayin shivatayim yukam
= all-killer-of Kayin sevenfold shall-be-avenged		TIR-029, TIR-032tested
PRECONDITION_STATEHOLDS(ot_le_kayin_levilti_hakot(kayin), t2)
= HOLDS(sign-to-Cain-so-as-not-strike(Cain), t2)
THE MARK: OT — day 4's SIGN-word (the luminaries were le-otot), first personal use [OPEN: what was it? — the chain's inventory, named-only]; its next tokens are the RAINBOW (9:12, 17): personal protection precedes cosmic covenant in the sign-word's own career. le-vilti hakot — the 3:11 not-to form; nakah ('strike') debuts inside a prevention. 		וַיָּשֶׂם יְהוָה לְקַיִן אוֹת · va-yasem YHWH le-Kayin ot
= he-set the-LORD to-Kayin sign		TIR-030tested
The plea is answered with a handler and a sign — the machine's own vocabulary: standing conditional plus registry-grade mark. Mercy arrives in legal form.

STEP_Gn_4_16 · Gen.4.16 · EXIT_EAST_SETTLED_IN_WANDERING

וַיֵּצֵא קַיִן מִלִּפְנֵי יְהוָה וַיֵּשֶׁב בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן · va-yetze Kayin mi-lifnei YHWH va-yeshev be-eretz-Nod kidmat-Eden · [EN-AID/JPS] And Cain went out from the presence of the LORD, and dwelt in the land of Nod, on the east of Eden.

LEFT
ויצא קין מלפני יהוה · va-yetze Kayin mi-lifnei YHWH · out from before YHWH (etnachta arm)
RIGHT
וישב בארץ נוד קדמת עדן · va-yeshev be-eretz-Nod kidmat-Eden · settled in Wandering, east of Eden
operatorexpressionHebrew anchorcitesconfidence
EVENTgo_out(e13) ∧ Agent(e13, kayin) ∧ Theme(e13, eretz_nod_kidmat_eden)
= go-out(e13) ∧ Agent(e13, Cain) ∧ Theme(e13, land-of-Nod-Wandering-east-of-Eden)
The exit: MI-LIFNEI YHWH ('from BEFORE the Face' — the panim thread's last station: fallen face, hidden face, out from the Face). Then the letter's dry irony: va- YESHEV ('and he SETTLED') be-eretz NOD — in the land of WANDERING: his sentence-word (nad) fossilized as his address — he settles in Wandering [the letter's own oxymoron; Onkelos dissolves the name back into 'exiled and wandering' — the irony made explicit, dual-track]. KIDMAT-EDEN: east of Eden — the direction of 3:24's guards: the exile geography extends one ring further out, same compass. 		וַיֵּצֵא … וַיֵּשֶׁב בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן · va-yetze … va-yeshev be-eretz-Nod kidmat-Eden
= he-went-out he-settled in-land-of-Nod east-of-Eden		TIR-014tested
The unit ends one ring east of where gen_11 ended, with the counsel-demand still open in the queue and a protective handler traveling with the exile. The next block (4:17-26) builds the first city — in Wandering.

State machine

Cain cycle (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).
statemeaning
S_bootBefore 4:1 — all registers empty (standalone unit)
S_birthsAfter 4:1-2 — two births; Kayin named with the corpus's first birth-etymology (solo-YHWH's first token, the mother's mouth); professions standing
S_offeringsAfter 4:3-5 — the first offerings; PASS(shaah) for Abel; the non-regard held as reasonless fact; anger's first tokens
S_counselAfter 4:6-7 — the two IF-handlers standing; LET?(timshol) pushed — the counsel-demand OPEN
S_murderAfter 4:8 — the empty quote; the first death (fratricide, in the field); the demand STILL OPEN — violated, not popped
S_docketAfter 4:9-10 — the where-question; the first lie; the bloods crying from the ground (plural held [OPEN])
S_sentencedAfter 4:11-12 — curse #3 (first human) on the registry; the ground-strike and wanderer terms
S_protectedAfter 4:13-15 — the plea (the nasa root returned as burden); the sevenfold HANDLER; the mark held as fact
S_eastAfter 4:16 — out from before the Face; settled in Wandering, east of Eden; LET? still OPEN; LEDGER empty
fromtovia
S_bootS_birthsSTEP_Gn_4_1
S_birthsS_birthsSTEP_Gn_4_2
S_birthsS_offeringsSTEP_Gn_4_3
S_offeringsS_offeringsSTEP_Gn_4_4
S_offeringsS_offeringsSTEP_Gn_4_5
S_offeringsS_counselSTEP_Gn_4_6
S_counselS_counselSTEP_Gn_4_7
S_counselS_murderSTEP_Gn_4_8
S_murderS_docketSTEP_Gn_4_9
S_docketS_docketSTEP_Gn_4_10
S_docketS_sentencedSTEP_Gn_4_11
S_sentencedS_sentencedSTEP_Gn_4_12
S_sentencedS_protectedSTEP_Gn_4_13
S_protectedS_protectedSTEP_Gn_4_14
S_protectedS_protectedSTEP_Gn_4_15
S_protectedS_eastSTEP_Gn_4_16
AFTER_S_east — WORLD: ZERO installs — the first zero-install narrative unit (the cycle builds nothing; it births, offers, kills, and exiles); standing facts: the professions, the non-regard, the testimony chain (the lie; the bloods; the ground's mouth; the plea; the fear), the sentence terms, the mark, and THREE HANDLERS (if-well -> uplift; if-not-well -> sin at the door; if-anyone-kills-Cain -> sevenfold). REGISTRY: 2 writes — kayin's NAME (the first birth-etymology) OVERWRITTEN by his CURSE (kayin->Kayin at 4:1; kayin->arur_min_ha_adamah at 4:11: the single-value register records the cycle's arc in one key [letter-honest: the machine keeps final state; the log keeps both]). SPECS: ONE OPEN — LET?(timshol(kayin, ba_chattat)): the counsel-demand pushed at 4:7 and violated at 4:8 — the corpus's first demand left open by transgression; it stands beside gen_08's two (the queue's debt: three). TESTS: 1 PASS (shaah — the new instrument) — the non-regard held as fact, NOT a FAIL: the letter gives no verdict token and no reason. LEDGER: EMPTY. FLAGS: read_before_install x3 (adam, chavah, adamah), named_before_any_presence x1 and assigned_before_any_presence x1 (both KAYIN — the newborn is named at birth and cursed at verdict without ever being a WORLD install: the zero-install unit's people exist only in the registry and the events; the machine flags the strangeness and blocks nothing).

Scenarios (the unit's own test suite)

idtitlegivenexpectanchor
S1The first birth and the Name in a human mouth: after STEP_Gn_4_2All registers empty (standalone unit).REGISTRY: kayin->Kayin (1 write); Facts roeh_tzon/oved_adamah HOLD; SPECS empty.
= REGISTRY: Cain->Kayin (1 write); Facts shepherd-flock/worker-of-ground HOLD; SPECS empty.		קָנִיתִי אִישׁ אֶת־יְהוָה · kaniti ish et-YHWH
= kaniti man obj-marker·et-the-LORD
S2The favor-test and the reasonless non-regard: after STEP_Gn_4_5S1 state + the offerings (4:3-4).TESTS += PASS(shaah, hevel_u_minchato); Facts lo_shaah HOLD; SPECS empty.
= TESTS += PASS(gaze, Abel-and-his-offering); Facts not-gaze HOLD; SPECS empty.		וַיִּשַׁע … לֹא שָׁעָה · va-yisha … lo sha'ah
= he-regarded not sha'ah
S3The counsel: two handlers, one open demand: after STEP_Gn_4_7S2 state + the diagnostic (4:6).Facts handler-la_petach_chattat_rovetz HOLD; LET?(timshol(kayin, ba_chattat)) pushed and OPEN; LET?(timshol(kayin, ba_chattat)) mood remains LET?.
= Facts handler-to-at-the-door-sin-crouching HOLD; LET?(you-shall-rule(Cain, in-the-sin)) pushed and OPEN; LET?(you-shall-rule(Cain, in-the-sin)) mood remains LET?.		לַפֶּתַח חַטָּאת רֹבֵץ · la-petach chattat rovetz
= at-the-door sin crouching
S4The murder — the demand violated, still open: after STEP_Gn_4_8S3 state.LET?(timshol(kayin, ba_chattat)) pushed and OPEN; LET?(timshol(kayin, ba_chattat)) mood remains LET? — the queue holds the violated counsel: the murder does not pop a demand.
= LET?(you-shall-rule(Cain, in-the-sin)) pushed and OPEN; LET?(you-shall-rule(Cain, in-the-sin)) mood remains LET? — the queue holds the violated counsel: the murder does not pop a demand.		וַיָּקָם … וַיַּהַרְגֵהוּ · va-yakom … va-yahargehu
= and-yakom and-yahargehu
S5The docket: the lie and the bloods: after STEP_Gn_4_10S4 state.Facts lo_yadati_ha_shomer/kol_demei HOLD.
= Facts not-I-know-the-keeper-of/all-bloods-of HOLD.		הֲשֹׁמֵר אָחִי אָנֹכִי · ha-shomer achi anokhi
= keeper-of my-brother I
S6The curse reaches a human: after STEP_Gn_4_12S5 state.Facts na_va_nad HOLD; flags adamah as read-before-install.
= Facts fugitive-and-wanderer HOLD; flags ground as read-before-install.		אָרוּר אָתָּה מִן־הָאֲדָמָה · arur atah min-ha-adamah
= CURSED you from-the-ground
S7The sevenfold handler and the mark: after STEP_Gn_4_15S6 state + the plea and fear (4:13-14).Facts handler-shivatayim_yukam HOLD; Facts ot_le_kayin HOLD.
= Facts handler-sevenfold-shall-be-avenged HOLD; Facts sign-to-Cain HOLD.		שִׁבְעָתַיִם יֻקָּם … אוֹת · shivatayim yukam … ot
= sevenfold shall-be-avenged sign
S8East of Eden — the open counsel travels: after STEP_Gn_4_16S7 state.LET?(timshol(kayin, ba_chattat)) pushed and OPEN; LEDGER stays EMPTY (open transaction).
= LET?(you-shall-rule(Cain, in-the-sin)) pushed and OPEN; LEDGER stays EMPTY (open transaction).		בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן · be-eretz-Nod kidmat-Eden
= in-land-of-Nod east-of-Eden
S9_negativeNegative: the counsel's ? is guardedA synthetic LET? demand (the machine's own contract self-test).LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — the counsel's coded imperfect (timshol) keeps its ? forever unless the owner cites.
= LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — the counsel's coded imperfect (you-shall-rule) keeps its ? forever unless the owner cites.
S10_negativeNegative: flags never blockA synthetic commit with TESTS empty (the machine's own contract self-test).Cycle close with TESTS empty must be FLAGGED, never blocked.
= Cycle close with TESTS empty must in FLAGGED, never blocked.

Exports (reusable patterns)

idcontent
EXPORT_first_ifאִם־תֵּיטִיב … וְאִם לֹא תֵיטִיב · im-teitiv … ve-im lo teitiv · the corpus's first IF — both first tokens of the law's branch particle in one counsel speech, modeled as two HANDLERs; the good branch pays se'et (the nasa root; lev_13's lead mark-name sourced), the dark branch debuts CHATTAT crouching at the door (142 tokens ahead — mostly the sin-offering that answers it)
EXPORT_violated_counselוְאַתָּה תִּמְשָׁל־בּוֹ · ve-atah timshol-bo · the 3:16 pair (longing+rule) re-aimed at sin, closing as a coded-imperfect LET? — pushed at 4:7, VIOLATED at 4:8, never popped: the first counsel-demand left open by transgression; the queue's standing debt grows to three
EXPORT_first_death_manmadeוַיַּהַרְגֵהוּ · va-yahargehu · the corpus's first actual death is FRATRICIDE — harag's entire debut is this story (deed/fear/protection); the armed handler's mot remains unexecuted by heaven: the handler-delta's sharpest edge, now sourced
EXPORT_offering_institutionsמִנְחָה … בְּכֹרוֹת … חֵלֶב · minchah … bekhorot … chelev · the altar vocabulary debuts uninstructed: minchah (Lev 2's term, first 3 tokens here), firstlings and fat (the firstborn laws; Lev 3:16) — worship begins as improvisation in the words the law will regulate; the instrument is sha'ah (favor-gaze, 3 tokens), and the rejection carries NO stated reason
EXPORT_bloods_pluralקוֹל דְּמֵי אָחִיךָ · kol demei achikha · the BLOODS plural — the letter's form held [OPEN]; the chain's worlds-doctrine (Mishnah Sanhedrin 4:5) is the span's diyyuk-class detector tripwire, and Onkelos already carries it ('the descendants destined to issue from your brother')
EXPORT_keeper_questionהֲשֹׁמֵר אָחִי אָנֹכִי · ha-shomer achi anokhi · the office word (2:15's keep; 3:24's cherub duty) as the first murderer's sarcasm — beside the first lie (lo yadati: the know-verb that opened the unit); the docket formulas inherited verbatim (ei <- ayeka; meh asita <- 3:13)
EXPORT_curse_third_tokenאָרוּר אָתָּה מִן־הָאֲדָמָה · arur atah min-ha-adamah · the curse's third token — first on a human, sourced FROM the ground whose mouth drank the bloods; the ground-strike unwrites his profession; he settles in Wandering (his sentence-word as address), east of Eden — the guards' compass
EXPORT_sevenfold_markשִׁבְעָתַיִם יֻקָּם … אוֹת · shivatayim yukam … ot · the protective HANDLER (the week's 7 as vengeance arithmetic; Onkelos: seven GENERATIONS — the Lamech clock) + the mark: day 4's sign-word turned personal; its next tokens are the rainbow — protection precedes covenant in the ot-career

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

observation Bereshit Rabbah 22 (the cycle; 22:16 the empty-quote dispute); Mishnah Sanhedrin 4:5 (the bloods-plural worlds-doctrine — the diyyuk tripwire); Bavli Sanhedrin 37b; Pirkei DeRabbi Eliezer 21; Midrash Tanchuma Bereshit 9 (the offerings); Bavli Shabbat 105b (the anger dossier) — gen_12 Tier-A queue
דְּמֵי אָחִיךָ · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 4 — sixth tripwire span; the Mishnah's derivation of the worlds-doctrine from one PLURAL is a form-based device — the detector's diyyuk-class formulas should fire on it when cached (and its doctrine already surfaces inside Onkelos 4:10, read Tier-A).
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 4:1-16 — read Tier-A at derive time (16 sequential fetches, Data/FETCHLOG.md 2026-08-01)
אִם תְּתוּב יִשְׁתְּבֵק לָךְ · im tetuv yishtevek lakh · The span's translation witness — the largest expansion in our derived spans: 4:7 rebuilt as a theology of repentance (deeds; FORGIVEN; sin KEPT for the day of judgment; exacted IF you do not repent; forgiven if you do — se'et resolved as forgiveness, the crouching beast replaced, teshuvah twice, the longing-clause absorbed); 4:13 'too great to be FORGIVEN' (the same shevak verb — forgiveness brackets the Aramaic story as nasa brackets the Hebrew one); 4:10 the bloods as DESCENDANTS; 4:14 'NOT POSSIBLE to hide' (the speaker corrected); 4:15 seven GENERATIONS; 4:16 Nod dissolved into 'exiled and wandering'; minchah -> korban vocabulary; sha'ah -> FAVOR before the LORD; ha-shomer -> ha-NATER (3:15's keep-verb).
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.4.1 · parser unique · 14 words

והאדם ידע את־חוה אשׁתו ותהר ותלד את־קין ותאמר קניתי אישׁ את־יהוה · ve-ha-adam yada et-chava isht-o va-tahar va-teled et-qayin va-tomer qaniti ish et-YHWH · The man knew his wife; she bore Cain: I have acquired a man with YHWH. [EN-AID]
PHRASE (binary 14w) וְ/הָ֣/אָדָ֔ם יָדַ֖ע אֶת חַוָּ֣ה אִשְׁתּ֑/וֹ וַ…
├── PHRASE (binary 5w) וְ/הָ֣/אָדָ֔ם יָדַ֖ע אֶת חַוָּ֣ה אִשְׁתּ֑/וֹ
│   ├── [0] וְ/הָ֣/אָדָ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) יָדַ֖ע אֶת חַוָּ֣ה אִשְׁתּ֑/וֹ
│       ├── [1] יָדַ֖ע (tifcha, rank=2)
│       └── [2-4] GLUE אֶת חַוָּ֣ה אִשְׁתּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַ/תַּ֨הַר֙ וַ/תֵּ֣לֶד אֶת קַ֔יִן וַ/תֹּ֕אמֶר ק…
    ├── PHRASE (binary 4w) וַ/תַּ֨הַר֙ וַ/תֵּ֣לֶד אֶת קַ֔יִן
    │   ├── [5] וַ/תַּ֨הַר֙ (pashta, rank=3)
    │   └── [6-8] GLUE וַ/תֵּ֣לֶד אֶת קַ֔יִן (zaqef qatan, rank=2)
    └── PHRASE (binary 5w) וַ/תֹּ֕אמֶר קָנִ֥יתִי אִ֖ישׁ אֶת יְהוָֽה
        ├── [9] וַ/תֹּ֕אמֶר (zaqef gadol, rank=2)
        └── PHRASE (binary 4w) קָנִ֥יתִי אִ֖ישׁ אֶת יְהוָֽה
            ├── [10-11] GLUE קָנִ֥יתִי אִ֖ישׁ (tifcha, rank=2)
            └── [12-13] GLUE אֶת יְהוָֽה (silluq (verse-end emperor), rank=1)

Gen.4.2 · parser unique · 14 words

ותסף ללדת את־אחיו את־הבל ויהי־הבל רעה צאן וקין היה עבד אדמה · va-tosef la-ledet et-achi-v et-havel va-yehi-hevel roe tzon ve-qayin haya oved adama · She bore his brother Abel — shepherd; and Cain, ground-worker. [EN-AID]
PHRASE (binary 14w) וַ/תֹּ֣סֶף לָ/לֶ֔דֶת אֶת אָחִ֖י/ו אֶת הָ֑בֶל וַ…
├── PHRASE (binary 6w) וַ/תֹּ֣סֶף לָ/לֶ֔דֶת אֶת אָחִ֖י/ו אֶת הָ֑בֶל
│   ├── [0-1] GLUE וַ/תֹּ֣סֶף לָ/לֶ֔דֶת (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) אֶת אָחִ֖י/ו אֶת הָ֑בֶל
│       ├── [2-3] GLUE אֶת אָחִ֖י/ו (tifcha, rank=2)
│       └── [4-5] GLUE אֶת הָ֑בֶל (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַֽ/יְהִי הֶ֨בֶל֙ רֹ֣עֵה צֹ֔אן וְ/קַ֕יִן הָיָ֖ה…
    ├── PHRASE (binary 4w) וַֽ/יְהִי הֶ֨בֶל֙ רֹ֣עֵה צֹ֔אן
    │   ├── [6-7] GLUE וַֽ/יְהִי הֶ֨בֶל֙ (pashta, rank=3)
    │   └── [8-9] GLUE רֹ֣עֵה צֹ֔אן (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) וְ/קַ֕יִן הָיָ֖ה עֹבֵ֥ד אֲדָמָֽה
        ├── [10] וְ/קַ֕יִן (zaqef gadol, rank=2)
        └── PHRASE (binary 3w) הָיָ֖ה עֹבֵ֥ד אֲדָמָֽה
            ├── [11] הָיָ֖ה (tifcha, rank=2)
            └── [12-13] GLUE עֹבֵ֥ד אֲדָמָֽה (silluq (verse-end emperor), rank=1)

Gen.4.3 · parser unique · 9 words

ויהי מקץ ימים ויבא קין מפרי האדמה מנחה ליהוה · va-yehi mi-qetz yamim va-yave qayin mi-peri ha-adama mincha la-YHWH · At days' end Cain brought fruit-of-the-ground as an offering. [EN-AID]
PHRASE (binary 9w) וַֽ/יְהִ֖י מִ/קֵּ֣ץ יָמִ֑ים וַ/יָּבֵ֨א קַ֜יִן מ…
├── PHRASE (binary 3w) וַֽ/יְהִ֖י מִ/קֵּ֣ץ יָמִ֑ים
│   ├── [0] וַֽ/יְהִ֖י (tifcha, rank=2)
│   └── [1-2] GLUE מִ/קֵּ֣ץ יָמִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יָּבֵ֨א קַ֜יִן מִ/פְּרִ֧י הָֽ/אֲדָמָ֛ה מִנְח…
    ├── PHRASE (binary 5w) וַ/יָּבֵ֨א קַ֜יִן מִ/פְּרִ֧י הָֽ/אֲדָמָ֛ה מִנְח…
    │   ├── PHRASE (binary 4w) וַ/יָּבֵ֨א קַ֜יִן מִ/פְּרִ֧י הָֽ/אֲדָמָ֛ה
    │   │   ├── [3-4] GLUE וַ/יָּבֵ֨א קַ֜יִן (geresh, rank=4)
    │   │   └── [5-6] GLUE מִ/פְּרִ֧י הָֽ/אֲדָמָ֛ה (tevir, rank=3)
    │   └── [7] מִנְחָ֖ה (tifcha, rank=2)
    └── [8] לַֽ/יהוָֽה (silluq (verse-end emperor), rank=1)

Gen.4.4 · parser unique · 13 words

והבל הביא גם־הוא מבכרות צאנו ומחלבהן וישׁע יהוה אל־הבל ואל־מנחתו · ve-hevel hevi gam-hu mi-bekhorot tzon-o u-me-chelve-hen va-yisha YHWH el-hevel ve-el-minchat-o · Abel brought firstlings and their fat — and YHWH regarded Abel and his offering. [EN-AID]
PHRASE (binary 13w) וְ/הֶ֨בֶל הֵבִ֥יא גַם ה֛וּא מִ/בְּכֹר֥וֹת צֹאנ֖…
├── PHRASE (binary 7w) וְ/הֶ֨בֶל הֵבִ֥יא גַם ה֛וּא מִ/בְּכֹר֥וֹת צֹאנ֖…
│   ├── PHRASE (binary 6w) וְ/הֶ֨בֶל הֵבִ֥יא גַם ה֛וּא מִ/בְּכֹר֥וֹת צֹאנ֖…
│   │   ├── [0-3] GLUE וְ/הֶ֨בֶל הֵבִ֥יא גַם ה֛וּא (tevir, rank=3)
│   │   └── [4-5] GLUE מִ/בְּכֹר֥וֹת צֹאנ֖/וֹ (tifcha, rank=2)
│   └── [6] וּ/מֵֽ/חֶלְבֵ/הֶ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יִּ֣שַׁע יְהוָ֔ה אֶל הֶ֖בֶל וְ/אֶל מִנְחָתֽ/…
    ├── [7-8] GLUE וַ/יִּ֣שַׁע יְהוָ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) אֶל הֶ֖בֶל וְ/אֶל מִנְחָתֽ/וֹ
        ├── [9-10] GLUE אֶל הֶ֖בֶל (tifcha, rank=2)
        └── [11-12] GLUE וְ/אֶל מִנְחָתֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.4.5 · parser unique · 11 words

ואל־קין ואל־מנחתו לא שׁעה ויחר לקין מאד ויפלו פניו · ve-el-qayin ve-el-minchat-o lo shaa va-yichar le-qayin meod va-yiplu panay-v · To Cain and his offering He did not regard — Cain burned, his face fell. [EN-AID]
PHRASE (binary 11w) וְ/אֶל קַ֥יִן וְ/אֶל מִנְחָת֖/וֹ לֹ֣א שָׁעָ֑ה ו…
├── PHRASE (binary 6w) וְ/אֶל קַ֥יִן וְ/אֶל מִנְחָת֖/וֹ לֹ֣א שָׁעָ֑ה
│   ├── [0-3] GLUE וְ/אֶל קַ֥יִן וְ/אֶל מִנְחָת֖/וֹ (tifcha, rank=2)
│   └── [4-5] GLUE לֹ֣א שָׁעָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יִּ֤חַר לְ/קַ֨יִן֙ מְאֹ֔ד וַֽ/יִּפְּל֖וּ פָּ…
    ├── PHRASE (binary 3w) וַ/יִּ֤חַר לְ/קַ֨יִן֙ מְאֹ֔ד
    │   ├── [6-7] GLUE וַ/יִּ֤חַר לְ/קַ֨יִן֙ (pashta, rank=3)
    │   └── [8] מְאֹ֔ד (zaqef qatan, rank=2)
    └── PHRASE (binary 2w) וַֽ/יִּפְּל֖וּ פָּנָֽי/ו
        ├── [9] וַֽ/יִּפְּל֖וּ (tifcha, rank=2)
        └── [10] פָּנָֽי/ו (silluq (verse-end emperor), rank=1)

Gen.4.6 · parser unique · 10 words

ויאמר יהוה אל־קין למה חרה לך ולמה נפלו פניך · va-yomer YHWH el-qayin la-ma chara la-khe ve-la-ma naflu fane-kha · Why are you angry? Why has your face fallen? [EN-AID]
PHRASE (binary 10w) וַ/יֹּ֥אמֶר יְהוָ֖ה אֶל קָ֑יִן לָ֚/מָּה חָ֣רָה …
├── PHRASE (binary 4w) וַ/יֹּ֥אמֶר יְהוָ֖ה אֶל קָ֑יִן
│   ├── [0-1] GLUE וַ/יֹּ֥אמֶר יְהוָ֖ה (tifcha, rank=2)
│   └── [2-3] GLUE אֶל קָ֑יִן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) לָ֚/מָּה חָ֣רָה לָ֔/ךְ וְ/לָ֖/מָּה נָפְל֥וּ פָנ…
    ├── PHRASE (binary 3w) לָ֚/מָּה חָ֣רָה לָ֔/ךְ
    │   ├── [4] לָ֚/מָּה (yetiv, rank=3)
    │   └── [5-6] GLUE חָ֣רָה לָ֔/ךְ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/לָ֖/מָּה נָפְל֥וּ פָנֶֽי/ךָ
        ├── [7] וְ/לָ֖/מָּה (tifcha, rank=2)
        └── [8-9] GLUE נָפְל֥וּ פָנֶֽי/ךָ (silluq (verse-end emperor), rank=1)

Gen.4.7 · parser unique · 15 words

הלוא אם־תיטיב שׂאת ואם לא תיטיב לפתח חטאת רבץ ואליך תשׁוקתו ואתה תמשׁל־בו · ha-lo im-tetiv seet ve-im lo tetiv la-petach chatat rovetz ve-ele-kha teshuqat-o ve-ata timshal-b-o · If you do well — uplift; if not — sin crouches at the door; you shall rule it. [EN-AID]
PHRASE (binary 15w) הֲ/ל֤וֹא אִם תֵּיטִיב֙ שְׂאֵ֔ת וְ/אִם֙ לֹ֣א תֵי…
├── PHRASE (binary 10w) הֲ/ל֤וֹא אִם תֵּיטִיב֙ שְׂאֵ֔ת וְ/אִם֙ לֹ֣א תֵי…
│   ├── PHRASE (binary 4w) הֲ/ל֤וֹא אִם תֵּיטִיב֙ שְׂאֵ֔ת
│   │   ├── [0-2] GLUE הֲ/ל֤וֹא אִם תֵּיטִיב֙ (pashta, rank=3)
│   │   └── [3] שְׂאֵ֔ת (zaqef qatan, rank=2)
│   └── PHRASE (binary 6w) וְ/אִם֙ לֹ֣א תֵיטִ֔יב לַ/פֶּ֖תַח חַטָּ֣את רֹבֵ֑ץ
│       ├── PHRASE (binary 3w) וְ/אִם֙ לֹ֣א תֵיטִ֔יב
│       │   ├── [4] וְ/אִם֙ (pashta, rank=3)
│       │   └── [5-6] GLUE לֹ֣א תֵיטִ֔יב (zaqef qatan, rank=2)
│       └── PHRASE (binary 3w) לַ/פֶּ֖תַח חַטָּ֣את רֹבֵ֑ץ
│           ├── [7] לַ/פֶּ֖תַח (tifcha, rank=2)
│           └── [8-9] GLUE חַטָּ֣את רֹבֵ֑ץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/אֵלֶ֨י/ךָ֙ תְּשׁ֣וּקָת֔/וֹ וְ/אַתָּ֖ה תִּמְש…
    ├── PHRASE (binary 2w) וְ/אֵלֶ֨י/ךָ֙ תְּשׁ֣וּקָת֔/וֹ
    │   ├── [10] וְ/אֵלֶ֨י/ךָ֙ (pashta, rank=3)
    │   └── [11] תְּשׁ֣וּקָת֔/וֹ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/אַתָּ֖ה תִּמְשָׁל בּֽ/וֹ
        ├── [12] וְ/אַתָּ֖ה (tifcha, rank=2)
        └── [13-14] GLUE תִּמְשָׁל בּֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.4.8 · parser unique · 14 words

ויאמר קין אל־הבל אחיו ויהי בהיותם בשׂדה ויקם קין אל־הבל אחיו ויהרגהו · va-yomer qayin el-hevel achi-v va-yehi bi-heota-m ba-sade va-yaqam qayin el-hevel achi-v va-yaharge-hu · Cain said to Abel — [nothing recorded] — in the field he rose and killed him. [EN-AID]
PHRASE (binary 14w) וַ/יֹּ֥אמֶר קַ֖יִן אֶל הֶ֣בֶל אָחִ֑י/ו וַֽ/יְהִ…
├── PHRASE (binary 5w) וַ/יֹּ֥אמֶר קַ֖יִן אֶל הֶ֣בֶל אָחִ֑י/ו
│   ├── [0-1] GLUE וַ/יֹּ֥אמֶר קַ֖יִן (tifcha, rank=2)
│   └── [2-4] GLUE אֶל הֶ֣בֶל אָחִ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַֽ/יְהִי֙ בִּ/הְיוֹתָ֣/ם בַּ/שָּׂדֶ֔ה וַ/יָּ֥ק…
    ├── PHRASE (binary 3w) וַֽ/יְהִי֙ בִּ/הְיוֹתָ֣/ם בַּ/שָּׂדֶ֔ה
    │   ├── [5] וַֽ/יְהִי֙ (pashta, rank=3)
    │   └── [6-7] GLUE בִּ/הְיוֹתָ֣/ם בַּ/שָּׂדֶ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 6w) וַ/יָּ֥קָם קַ֛יִן אֶל הֶ֥בֶל אָחִ֖י/ו וַ/יַּהַר…
        ├── PHRASE (binary 5w) וַ/יָּ֥קָם קַ֛יִן אֶל הֶ֥בֶל אָחִ֖י/ו
        │   ├── [8-9] GLUE וַ/יָּ֥קָם קַ֛יִן (tevir, rank=3)
        │   └── [10-12] GLUE אֶל הֶ֥בֶל אָחִ֖י/ו (tifcha, rank=2)
        └── [13] וַ/יַּהַרְגֵֽ/הוּ (silluq (verse-end emperor), rank=1)

Gen.4.9 · parser unique · 13 words

ויאמר יהוה אל־קין אי הבל אחיך ויאמר לא ידעתי השׁמר אחי אנכי · va-yomer YHWH el-qayin e hevel achi-kha va-yomer lo yadati ha-shomer achi-y anokhi · Where is Abel your brother? I do not know — am I my brother's keeper? [EN-AID]
PHRASE (binary 13w) וַ/יֹּ֤אמֶר יְהוָה֙ אֶל קַ֔יִן אֵ֖י הֶ֣בֶל אָחִ…
├── PHRASE (binary 7w) וַ/יֹּ֤אמֶר יְהוָה֙ אֶל קַ֔יִן אֵ֖י הֶ֣בֶל אָחִ…
│   ├── PHRASE (binary 4w) וַ/יֹּ֤אמֶר יְהוָה֙ אֶל קַ֔יִן
│   │   ├── [0-1] GLUE וַ/יֹּ֤אמֶר יְהוָה֙ (pashta, rank=3)
│   │   └── [2-3] GLUE אֶל קַ֔יִן (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) אֵ֖י הֶ֣בֶל אָחִ֑י/ךָ
│       ├── [4] אֵ֖י (tifcha, rank=2)
│       └── [5-6] GLUE הֶ֣בֶל אָחִ֑י/ךָ (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.4.10 · parser unique · 10 words

ויאמר מה עשׂית קול דמי אחיך צעקים אלי מן־האדמה · va-yomer me asita qol deme achi-kha tzoaqim el-y min-ha-adama · What have you done? Your brother's bloods cry to Me from the ground. [EN-AID]
PHRASE (binary 10w) וַ/יֹּ֖אמֶר מֶ֣ה עָשִׂ֑יתָ ק֚וֹל דְּמֵ֣י אָחִ֔י…
├── PHRASE (binary 3w) וַ/יֹּ֖אמֶר מֶ֣ה עָשִׂ֑יתָ
│   ├── [0] וַ/יֹּ֖אמֶר (tifcha, rank=2)
│   └── [1-2] GLUE מֶ֣ה עָשִׂ֑יתָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) ק֚וֹל דְּמֵ֣י אָחִ֔י/ךָ צֹעֲקִ֥ים אֵלַ֖/י מִן ה…
    ├── PHRASE (binary 3w) ק֚וֹל דְּמֵ֣י אָחִ֔י/ךָ
    │   ├── [3] ק֚וֹל (yetiv, rank=3)
    │   └── [4-5] GLUE דְּמֵ֣י אָחִ֔י/ךָ (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) צֹעֲקִ֥ים אֵלַ֖/י מִן הָֽ/אֲדָמָֽה
        ├── [6-7] GLUE צֹעֲקִ֥ים אֵלַ֖/י (tifcha, rank=2)
        └── [8-9] GLUE מִן הָֽ/אֲדָמָֽה (silluq (verse-end emperor), rank=1)

Gen.4.11 · parser unique · 14 words

ועתה ארור אתה מן־האדמה אשׁר פצתה את־פיה לקחת את־דמי אחיך מידך · ve-ata arur ata min-ha-adama asher patzta et-pi-ha la-qachat et-deme achi-kha mi-yade-kha · Now cursed are YOU from the ground that opened her mouth for your brother's bloods. [EN-AID]
PHRASE (binary 14w) וְ/עַתָּ֖ה אָר֣וּר אָ֑תָּה מִן הָֽ/אֲדָמָה֙ אֲש…
├── PHRASE (binary 3w) וְ/עַתָּ֖ה אָר֣וּר אָ֑תָּה
│   ├── [0] וְ/עַתָּ֖ה (tifcha, rank=2)
│   └── [1-2] GLUE אָר֣וּר אָ֑תָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) מִן הָֽ/אֲדָמָה֙ אֲשֶׁ֣ר פָּצְתָ֣ה אֶת פִּ֔י/הָ…
    ├── PHRASE (binary 6w) מִן הָֽ/אֲדָמָה֙ אֲשֶׁ֣ר פָּצְתָ֣ה אֶת פִּ֔י/הָ
    │   ├── [3-4] GLUE מִן הָֽ/אֲדָמָה֙ (pashta, rank=3)
    │   └── [5-8] GLUE אֲשֶׁ֣ר פָּצְתָ֣ה אֶת פִּ֔י/הָ (zaqef qatan, rank=2)
    └── PHRASE (binary 5w) לָ/קַ֛חַת אֶת דְּמֵ֥י אָחִ֖י/ךָ מִ/יָּדֶֽ/ךָ
        ├── PHRASE (binary 4w) לָ/קַ֛חַת אֶת דְּמֵ֥י אָחִ֖י/ךָ
        │   ├── [9] לָ/קַ֛חַת (tevir, rank=3)
        │   └── [10-12] GLUE אֶת דְּמֵ֥י אָחִ֖י/ךָ (tifcha, rank=2)
        └── [13] מִ/יָּדֶֽ/ךָ (silluq (verse-end emperor), rank=1)

Gen.4.12 · parser unique · 13 words

כי תעבד את־האדמה לא־תסף תת־כחה לך נע ונד תהיה בארץ · ki taavod et-ha-adama lo-tosef tet-kocha-ה la-khe na va-nad tihye va-aretz · Work the ground — it yields you no more strength; fugitive and wanderer you shall be. [EN-AID]
PHRASE (binary 13w) כִּ֤י תַֽעֲבֹד֙ אֶת הָ֣/אֲדָמָ֔ה לֹֽא תֹסֵ֥ף תּ…
├── PHRASE (binary 9w) כִּ֤י תַֽעֲבֹד֙ אֶת הָ֣/אֲדָמָ֔ה לֹֽא תֹסֵ֥ף תּ…
│   ├── PHRASE (binary 4w) כִּ֤י תַֽעֲבֹד֙ אֶת הָ֣/אֲדָמָ֔ה
│   │   ├── [0-1] GLUE כִּ֤י תַֽעֲבֹד֙ (pashta, rank=3)
│   │   └── [2-3] GLUE אֶת הָ֣/אֲדָמָ֔ה (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) לֹֽא תֹסֵ֥ף תֵּת כֹּחָ֖/הּ לָ֑/ךְ
│       ├── [4-7] GLUE לֹֽא תֹסֵ֥ף תֵּת כֹּחָ֖/הּ (tifcha, rank=2)
│       └── [8] לָ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) נָ֥ע וָ/נָ֖ד תִּֽהְיֶ֥ה בָ/אָֽרֶץ
    ├── [9-10] GLUE נָ֥ע וָ/נָ֖ד (tifcha, rank=2)
    └── [11-12] GLUE תִּֽהְיֶ֥ה בָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.4.13 · parser unique · 7 words

ויאמר קין אל־יהוה גדול עוני מנשׂא · va-yomer qayin el-YHWH gadol avoni-y mi-neso · My punishment is greater than I can bear. [EN-AID]
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.4.14 · parser unique · 17 words

הן גרשׁת אתי היום מעל פני האדמה ומפניך אסתר והייתי נע ונד בארץ והיה כל־מצאי יהרגני · hen gerashta et-y ha-yom me-al pene ha-adama u-mi-pane-kha esater ve-hayiti na va-nad ba-aretz ve-haya khal-motzi-y yaharge-ni · Driven from the ground's face, hidden from Yours — whoever finds me will kill me. [EN-AID]
PHRASE (binary 17w) הֵן֩ גֵּרַ֨שְׁתָּ אֹתִ֜/י הַ/יּ֗וֹם מֵ/עַל֙ פְּ…
├── PHRASE (binary 9w) הֵן֩ גֵּרַ֨שְׁתָּ אֹתִ֜/י הַ/יּ֗וֹם מֵ/עַל֙ פְּ…
│   ├── PHRASE (binary 7w) הֵן֩ גֵּרַ֨שְׁתָּ אֹתִ֜/י הַ/יּ֗וֹם מֵ/עַל֙ פְּ…
│   │   ├── PHRASE (binary 4w) הֵן֩ גֵּרַ֨שְׁתָּ אֹתִ֜/י הַ/יּ֗וֹם
│   │   │   ├── [0-2] GLUE הֵן֩ גֵּרַ֨שְׁתָּ אֹתִ֜/י (geresh, rank=4)
│   │   │   └── [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 8w) וְ/הָיִ֜יתִי נָ֤ע וָ/נָד֙ בָּ/אָ֔רֶץ וְ/הָיָ֥ה …
    ├── PHRASE (binary 4w) וְ/הָיִ֜יתִי נָ֤ע וָ/נָד֙ בָּ/אָ֔רֶץ
    │   ├── PHRASE (binary 3w) וְ/הָיִ֜יתִי נָ֤ע וָ/נָד֙
    │   │   ├── [9] וְ/הָיִ֜יתִי (geresh, rank=4)
    │   │   └── [10-11] GLUE נָ֤ע וָ/נָד֙ (pashta, rank=3)
    │   └── [12] בָּ/אָ֔רֶץ (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) וְ/הָיָ֥ה כָל מֹצְאִ֖/י יַֽהַרְגֵֽ/נִי
        ├── [13-15] GLUE וְ/הָיָ֥ה כָל מֹצְאִ֖/י (tifcha, rank=2)
        └── [16] יַֽהַרְגֵֽ/נִי (silluq (verse-end emperor), rank=1)

Gen.4.15 · parser unique · 18 words

ויאמר לו יהוה לכן כל־הרג קין שׁבעתים יקם וישׂם יהוה לקין אות לבלתי הכות־אתו כל־מצאו · va-yomer l-o YHWH la-khen kal-horeg qayin shivatayim yuqam va-yasem YHWH le-qayin ot le-vilti hakot-et-o kal-motz-o · Whoever kills Cain: sevenfold avenged — and YHWH set Cain a sign. [EN-AID]
PHRASE (binary 18w) וַ/יֹּ֧אמֶר ל֣/וֹ יְהוָ֗ה לָ/כֵן֙ כָּל הֹרֵ֣ג ק…
├── PHRASE (binary 9w) וַ/יֹּ֧אמֶר ל֣/וֹ יְהוָ֗ה לָ/כֵן֙ כָּל הֹרֵ֣ג ק…
│   ├── PHRASE (binary 7w) וַ/יֹּ֧אמֶר ל֣/וֹ יְהוָ֗ה לָ/כֵן֙ כָּל הֹרֵ֣ג ק…
│   │   ├── [0-2] GLUE וַ/יֹּ֧אמֶר ל֣/וֹ יְהוָ֗ה (revia, rank=3)
│   │   └── PHRASE (binary 4w) לָ/כֵן֙ כָּל הֹרֵ֣ג קַ֔יִן
│   │       ├── [3] לָ/כֵן֙ (pashta, rank=3)
│   │       └── [4-6] GLUE כָּל הֹרֵ֣ג קַ֔יִן (zaqef qatan, rank=2)
│   └── PHRASE (binary 2w) שִׁבְעָתַ֖יִם יֻקָּ֑ם
│       ├── [7] שִׁבְעָתַ֖יִם (tifcha, rank=2)
│       └── [8] יֻקָּ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַ/יָּ֨שֶׂם יְהוָ֤ה לְ/קַ֨יִן֙ א֔וֹת לְ/בִלְתִּ…
    ├── PHRASE (binary 4w) וַ/יָּ֨שֶׂם יְהוָ֤ה לְ/קַ֨יִן֙ א֔וֹת
    │   ├── [9-11] GLUE וַ/יָּ֨שֶׂם יְהוָ֤ה לְ/קַ֨יִן֙ (pashta, rank=3)
    │   └── [12] א֔וֹת (zaqef qatan, rank=2)
    └── PHRASE (binary 5w) לְ/בִלְתִּ֥י הַכּוֹת אֹת֖/וֹ כָּל מֹצְאֽ/וֹ
        ├── [13-15] GLUE לְ/בִלְתִּ֥י הַכּוֹת אֹת֖/וֹ (tifcha, rank=2)
        └── [16-17] GLUE כָּל מֹצְאֽ/וֹ (silluq (verse-end emperor), rank=1)

Gen.4.16 · parser unique · 9 words

ויצא קין מלפני יהוה וישׁב בארץ־נוד קדמת־עדן · va-yetze qayin mi-li-fene YHWH va-yeshev be-eretz-nod qidmat-eden · Cain went out from before YHWH and settled in Wandering, east of Eden. [EN-AID]
PHRASE (binary 9w) וַ/יֵּ֥צֵא קַ֖יִן מִ/לִּ/פְנֵ֣י יְהוָ֑ה וַ/יֵּ֥…
├── PHRASE (binary 4w) וַ/יֵּ֥צֵא קַ֖יִן מִ/לִּ/פְנֵ֣י יְהוָ֑ה
│   ├── [0-1] GLUE וַ/יֵּ֥צֵא קַ֖יִן (tifcha, rank=2)
│   └── [2-3] GLUE מִ/לִּ/פְנֵ֣י יְהוָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יֵּ֥שֶׁב בְּ/אֶֽרֶץ נ֖וֹד קִדְמַת עֵֽדֶן
    ├── [4-6] GLUE וַ/יֵּ֥שֶׁב בְּ/אֶֽרֶץ נ֖וֹד (tifcha, rank=2)
    └── [7-8] GLUE קִדְמַת עֵֽדֶן (silluq (verse-end emperor), rank=1)

Word coverage — 201/201 words with named roles

ref#HebrewtranslitEnglishrolekindrule
Gen.4.10והאדםve-ha-adamand-the-humanfather_onsetlogic_bearingnone
Gen.4.11ידעyadaknewKNOW_verb_carnal_debutlogic_bearingnone
Gen.4.12אתetobj-marker·etobj_markerlogic_bearingTIR-014
Gen.4.13חוהchavaChavahmotherlogic_bearingnone
Gen.4.14אשתוisht-ohis-wifehis-wifelogic_bearingnone
Gen.4.15ותהרva-taharand-she-conceivedfirst_conceptionlogic_bearingnone
Gen.4.16ותלדva-teledand-she-borefirst_birthlogic_bearingnone
Gen.4.17אתetobj-marker·etobj_markerglueTIR-008
Gen.4.18קיןqayinCainfirstborn_namedlogic_bearingnone
Gen.4.19ותאמרva-tomerand-she-saidmother_speechlogic_bearingnone
Gen.4.110קניתיqanitiI-have-acquiredbirth_etymology_qanitilogic_bearingnone
Gen.4.111אישishmana-manlogic_bearingnone
Gen.4.112אתetwithwith_lemma_854logic_bearingnone
Gen.4.113יהוהYHWHYHWHSOLO_YHWH_FIRST_TOKEN_human_mouthlogic_bearingnone
Gen.4.20ותסףva-tosefand-she-addedsecond_birthlogic_bearingnone
Gen.4.21ללדתla-ledetto-bearbear_infinitivelogic_bearingnone
Gen.4.22אתetobj-marker·etobj_markerlogic_bearingTIR-014
Gen.4.23אחיוachi-vhis-brotherbrother_word_debutlogic_bearingnone
Gen.4.24אתetobj-marker·etobj_markerglueTIR-008
Gen.4.25הבלhavelAbelname_unexplained_vapor_OPENlogic_bearingnone
Gen.4.26ויהיva-yehiand-wasand-waslogic_bearingnone
Gen.4.27הבלhevelAbelAbellogic_bearingnone
Gen.4.28רעהroeshepherd-ofprofession_shepherdlogic_bearingTIR-031
Gen.4.29צאןtzonflockflocklogic_bearingnone
Gen.4.210וקיןve-qayinand-Cainand-Cainlogic_bearingnone
Gen.4.211היהhayawaswaslogic_bearingnone
Gen.4.212עבדovedworker-ofprofession_ground_worker_3_23_joblogic_bearingTIR-031
Gen.4.213אדמהadamagroundgroundlogic_bearingnone
Gen.4.30ויהיva-yehiand-it-wastime_framelogic_bearingnone
Gen.4.31מקץmi-qetzat-end-ofat_end_oflogic_bearingnone
Gen.4.32ימיםyamimdaysdayslogic_bearingnone
Gen.4.33ויבאva-yaveand-he-broughtfirst_offering_bringlogic_bearingnone
Gen.4.34קיןqayinCainoffererlogic_bearingnone
Gen.4.35מפריmi-perifrom-fruit-offrom_his_tradelogic_bearingnone
Gen.4.36האדמהha-adamathe-groundthe_cursed_groundlogic_bearingnone
Gen.4.37מנחהminchaofferingMINCHAH_FIRST_TOKEN_lev2_termlogic_bearingnone
Gen.4.38ליהוהla-YHWHto-YHWHto-YHWHlogic_bearingnone
Gen.4.40והבלve-heveland-Abelsecond_offererlogic_bearingnone
Gen.4.41הביאhevibroughtbroughtlogic_bearingnone
Gen.4.42גםgamalsoalsologic_bearingnone
Gen.4.43הואhuhehelogic_bearingnone
Gen.4.44מבכרותmi-bekhorotfrom-firstlings-ofFIRSTLINGS_institution_embryologic_bearingnone
Gen.4.45צאנוtzon-ohis-flockhis-flocklogic_bearingnone
Gen.4.46ומחלבהןu-me-chelve-henand-from-their-fatFAT_institution_embryologic_bearingnone
Gen.4.47וישעva-yishaand-he-regardedGAZE_test_shaah_3_tokenslogic_bearingnone
Gen.4.48יהוהYHWHYHWHtesterlogic_bearingnone
Gen.4.49אלeltotologic_bearingnone
Gen.4.410הבלhevelAbelperson_before_giftlogic_bearingnone
Gen.4.411ואלve-eland-toand-tologic_bearingnone
Gen.4.412מנחתוminchat-ohis-offeringthe-giftlogic_bearingnone
Gen.4.50ואלve-eland-toand-toglueTIR-008
Gen.4.51קיןqayinCainCainlogic_bearingnone
Gen.4.52ואלve-eland-toand-tologic_bearingnone
Gen.4.53מנחתוminchat-ohis-offeringhis-offeringlogic_bearingnone
Gen.4.54לאlonotnon_regard_negationlogic_bearingnone
Gen.4.55שעהshaahe-regardedgaze_withheld_NO_REASON_OPENlogic_bearingnone
Gen.4.56ויחרva-yicharand-he-burnedANGER_FIRST_TOKENlogic_bearingnone
Gen.4.57לקיןle-qayinto-Cainto-Cainlogic_bearingnone
Gen.4.58מאדmeodverymaximumlogic_bearingnone
Gen.4.59ויפלוva-yipluand-fellface_fell_firstlogic_bearingnone
Gen.4.510פניוpanay-vhis-facethe_panim_threadlogic_bearingnone
Gen.4.60ויאמרva-yomerand-saypastoral_questionlogic_bearingnone
Gen.4.61יהוהYHWHYHWHaskerlogic_bearingnone
Gen.4.62אלeltotologic_bearingnone
Gen.4.63קיןqayinCainCainlogic_bearingnone
Gen.4.64למהla-mawhywhy_1logic_bearingnone
Gen.4.65חרהcharaburnedanger_interrogatedlogic_bearingnone
Gen.4.66לךla-kheto-youto-youlogic_bearingnone
Gen.4.67ולמהve-la-maand-whywhy_2logic_bearingnone
Gen.4.68נפלוnaflufellfallenlogic_bearingnone
Gen.4.69פניךfane-khayour-faceyour-facelogic_bearingnone
Gen.4.70הלואha-lois-it-notis_it_notlogic_bearingnone
Gen.4.71אםimIFIM_FIRST_TOKEN_law_branchlogic_bearingnone
Gen.4.72תיטיבtetivyou-do-welldo_well_branch_1logic_bearingnone
Gen.4.73שאתseetupliftSEET_nasa_root_lev13_joinlogic_bearingnone
Gen.4.74ואםve-imand-ifIM_SECOND_TOKENlogic_bearingnone
Gen.4.75לאlonotnegationlogic_bearingnone
Gen.4.76תיטיבtetivyou-do-welldo_well_branch_2logic_bearingnone
Gen.4.77לפתחla-petachat-the-doorthe_doorlogic_bearingnone
Gen.4.78חטאתchatatsinCHATTAT_FIRST_TOKEN_sinlogic_bearingnone
Gen.4.79רבץrovetzcrouchingcrouching_predator_participlelogic_bearingTIR-031
Gen.4.710ואליךve-ele-khaand-to-youto_youlogic_bearingnone
Gen.4.711תשוקתוteshuqat-oits-longingLONGING_3_16_pairlogic_bearingnone
Gen.4.712ואתהve-ataand-youand-youlogic_bearingnone
Gen.4.713תמשלtimshalshall-ruleRULE_3_16_pair_coded_imperfectlogic_bearingTIR-028
Gen.4.714בוb-oin-itin-itlogic_bearingnone
Gen.4.80ויאמרva-yomerand-he-saidEMPTY_QUOTE_saylogic_bearingnone
Gen.4.81קיןqayinCainspeakerlogic_bearingnone
Gen.4.82אלeltotologic_bearingnone
Gen.4.83הבלhevelAbeladdresseelogic_bearingnone
Gen.4.84אחיוachi-vhis-brotherhis_brother_1logic_bearingnone
Gen.4.85ויהיva-yehiand-it-wasscene_shiftlogic_bearingnone
Gen.4.86בהיותםbi-heota-min-their-beingin_their_beinglogic_bearingnone
Gen.4.87בשדהba-sadein-the-fieldthe_field_2_5logic_bearingnone
Gen.4.88ויקםva-yaqamand-he-roseroselogic_bearingnone
Gen.4.89קיןqayinCainkillerlogic_bearingnone
Gen.4.810אלeltoagainstlogic_bearingnone
Gen.4.811הבלhevelAbelvictimlogic_bearingnone
Gen.4.812אחיוachi-vhis-brotherhis_brother_2logic_bearingnone
Gen.4.813ויהרגהוva-yaharge-huand-killed-himHARAG_FIRST_TOKEN_first_deathlogic_bearingnone
Gen.4.90ויאמרva-yomerand-saydocket_openslogic_bearingnone
Gen.4.91יהוהYHWHYHWHaskerlogic_bearingnone
Gen.4.92אלeltotoglueTIR-008
Gen.4.93קיןqayinCainCainlogic_bearingnone
Gen.4.94איewhereWHERE_formula_token_2logic_bearingnone
Gen.4.95הבלhevelAbelAbellogic_bearingnone
Gen.4.96אחיךachi-khayour-brotheryour-brotherlogic_bearingnone
Gen.4.97ויאמרva-yomerand-he-saidanswerlogic_bearingnone
Gen.4.98לאlonotlie_negationlogic_bearingnone
Gen.4.99ידעתיyadatiI-knowFIRST_LIE_know_verblogic_bearingnone
Gen.4.910השמרha-shomerthe-keeper-ofKEEPER_office_word_sarcasmlogic_bearingnone
Gen.4.911אחיachi-ymy-brothermy-brotherlogic_bearingnone
Gen.4.912אנכיanokhiIIlogic_bearingnone
Gen.4.100ויאמרva-yomerand-sayquestion_twologic_bearingnone
Gen.4.101מהmewhatwhatlogic_bearingnone
Gen.4.102עשיתasitayou-have-donedone_3_13_verbatimlogic_bearingnone
Gen.4.103קולqolvoice-ofvoice_qol_threadlogic_bearingnone
Gen.4.104דמיdemebloods-ofBLOODS_PLURAL_OPENlogic_bearingnone
Gen.4.105אחיךachi-khayour-brotheryour-brotherlogic_bearingnone
Gen.4.106צעקיםtzoaqimcryingoutcry_debut_participlelogic_bearingTIR-031
Gen.4.107אליel-yto-meto-melogic_bearingnone
Gen.4.108מןminfromfromglueTIR-008
Gen.4.109האדמהha-adamathe-groundthe_ground_witnesslogic_bearingnone
Gen.4.110ועתהve-ataand-nowverdict_nowlogic_bearingnone
Gen.4.111ארורarurCURSEDCURSE_TOKEN_3_first_humanlogic_bearingnone
Gen.4.112אתהatayouyoulogic_bearingnone
Gen.4.113מןminfromFROMlogic_bearingnone
Gen.4.114האדמהha-adamathe-groundthe_ground_sourcelogic_bearingnone
Gen.4.115אשרasherwhichrelativeglueTIR-008
Gen.4.116פצתהpatztaopenedopenedlogic_bearingnone
Gen.4.117אתetobj-marker·etobj_markerlogic_bearingnone
Gen.4.118פיהpi-haher-mouthher_MOUTHlogic_bearingnone
Gen.4.119לקחתla-qachatto-taketo_take_laqachlogic_bearingTIR-030
Gen.4.1110אתetobj-marker·etobj_markerlogic_bearingnone
Gen.4.1111דמיdemebloods-ofbloodslogic_bearingnone
Gen.4.1112אחיךachi-khayour-brotheryour-brotherlogic_bearingnone
Gen.4.1113מידךmi-yade-khafrom-your-handfrom-your-handlogic_bearingnone
Gen.4.120כיkiwhenKI_when_law_particlelogic_bearingnone
Gen.4.121תעבדtaavodyou-workwork_his_tradelogic_bearingnone
Gen.4.122אתetobj-marker·etobj_markerlogic_bearingnone
Gen.4.123האדמהha-adamathe-groundthe-groundlogic_bearingnone
Gen.4.124לאlonotnegationlogic_bearingnone
Gen.4.125תסףtosefit-will-addstrike_no_morelogic_bearingnone
Gen.4.126תתtetto-givegivelogic_bearingnone
Gen.4.127כחהkocha-hher-strengthher-strengthlogic_bearingnone
Gen.4.128לךla-kheto-youto-youlogic_bearingnone
Gen.4.129נעnafugitivefugitive_participlelogic_bearingTIR-031
Gen.4.1210ונדva-nadand-wandererwanderer_participle_nod_seedlogic_bearingTIR-031
Gen.4.1211תהיהtihyeyou-shall-beyou-shall-belogic_bearingnone
Gen.4.1212בארץva-aretzin-the-earthin-the-earthlogic_bearingnone
Gen.4.130ויאמרva-yomerand-sayplealogic_bearingnone
Gen.4.131קיןqayinCainCainlogic_bearingnone
Gen.4.132אלeltotoglueTIR-008
Gen.4.133יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.4.134גדולgadolgreatgreatlogic_bearingnone
Gen.4.135עוניavoni-ymy-iniquityAVON_FIRST_TOKEN_both_senses_OPENlogic_bearingnone
Gen.4.136מנשאmi-nesothan-bearingNASA_root_returns_unbearablelogic_bearingnone
Gen.4.140הןhenbeholdbeholdlogic_bearingnone
Gen.4.141גרשתgerashtayou-have-driven-outGARASH_token_2_first_personlogic_bearingnone
Gen.4.142אתיet-ymemelogic_bearingnone
Gen.4.143היוםha-yomthis-daythis-daylogic_bearingnone
Gen.4.144מעלme-alfrom-uponfrom-uponlogic_bearingnone
Gen.4.145פניpeneface-offace_oflogic_bearingnone
Gen.4.146האדמהha-adamathe-groundthe-groundlogic_bearingnone
Gen.4.147ומפניךu-mi-pane-khaand-from-your-faceand_from_YOUR_facelogic_bearingnone
Gen.4.148אסתרesaterI-shall-be-hiddenSATAR_debut_hiddenlogic_bearingnone
Gen.4.149והייתיve-hayitiand-I-shall-beand-I-shall-belogic_bearingnone
Gen.4.1410נעnafugitivefugitivelogic_bearingnone
Gen.4.1411ונדva-nadand-wandererwandererlogic_bearingnone
Gen.4.1412בארץba-aretzin-the-earthin-the-earthlogic_bearingnone
Gen.4.1413והיהve-hayaand-it-will-beand-it-will-belogic_bearingnone
Gen.4.1414כלkhalallalllogic_bearingnone
Gen.4.1415מצאיmotzi-yfinding-mefinder_matzalogic_bearingnone
Gen.4.1416יהרגניyaharge-niwill-kill-meharag_token_2_fearlogic_bearingnone
Gen.4.150ויאמרva-yomerand-he-saiddecreelogic_bearingnone
Gen.4.151לוl-oto-himto-himlogic_bearingnone
Gen.4.152יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.4.153לכןla-khenthereforethereforelogic_bearingnone
Gen.4.154כלkalallalllogic_bearingnone
Gen.4.155הרגhoregkiller-ofkiller_participlelogic_bearingnone
Gen.4.156קיןqayinCainof-Cainlogic_bearingnone
Gen.4.157שבעתיםshivatayimsevenfoldSEVENFOLD_week_numberlogic_bearingnone
Gen.4.158יקםyuqamshall-be-avengedavenged_hophal_agentlesslogic_bearingTIR-032
Gen.4.159וישםva-yasemand-he-setsetlogic_bearingnone
Gen.4.1510יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.4.1511לקיןle-qayinfor-Cainfor-Cainlogic_bearingnone
Gen.4.1512אותotsignOT_day4_sign_personallogic_bearingnone
Gen.4.1513לבלתיle-viltinot-tonot_to_3_11_formlogic_bearingTIR-030
Gen.4.1514הכותhakotstrikestrike_debutlogic_bearingnone
Gen.4.1515אתוet-ohimhimlogic_bearingnone
Gen.4.1516כלkalallalllogic_bearingnone
Gen.4.1517מצאוmotz-ofinding-himfinderlogic_bearingnone
Gen.4.160ויצאva-yetzeand-he-went-outexitlogic_bearingnone
Gen.4.161קיןqayinCainCainlogic_bearingnone
Gen.4.162מלפניmi-li-fenefrom-beforefrom_before_the_FACElogic_bearingnone
Gen.4.163יהוהYHWHYHWHYHWHlogic_bearingnone
Gen.4.164וישבva-yeshevand-he-settledSETTLED_ironylogic_bearingnone
Gen.4.165בארץbe-eretzin-land-ofin-land-oflogic_bearingnone
Gen.4.166נודnodNod-WanderingNOD_sentence_as_addresslogic_bearingnone
Gen.4.167קדמתqidmateast-ofqedem_geographylogic_bearingnone
Gen.4.168עדןedenEdenEdenlogic_bearingnone

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

unit: gen_12_cain_abel — Cain and Abel: first offerings, sin at the door, first murder, the mark (4:1-16) [frozen]

final state: WORLD=[] (+3 presupposed) | REGISTRY={'kayin': 'arur_min_ha_adamah'} | TESTS=1 PASS | LEDGER days=[] | FLAGS=['named_before_any_presence', 'read_before_install', 'read_before_install', 'read_before_install', 'assigned_before_any_presence']

=== S1 — The first birth and the Name in a human mouth: after STEP_Gn_4_2
    קָנִיתִי אִישׁ אֶת־יְהוָה (kaniti ish et-YHWH)
    PASS  REGISTRY: kayin->Kayin (1 write)  (names={'kayin': 'Kayin'} writes=1)
    PASS  Facts roeh_tzon/oved_adamah HOLD  (2 facts)
    PASS  SPECS empty.  (queue=0)

=== S2 — The favor-test and the reasonless non-regard: after STEP_Gn_4_5
    וַיִּשַׁע … לֹא שָׁעָה (va-yisha … lo sha'ah)
    PASS  TESTS += PASS(shaah, hevel_u_minchato)  (tests=[('shaah', 'hevel_u_minchato')])
    PASS  Facts lo_shaah HOLD  (3 facts)
    PASS  SPECS empty.  (queue=0)

=== S3 — The counsel: two handlers, one open demand: after STEP_Gn_4_7
    לַפֶּתַח חַטָּאת רֹבֵץ (la-petach chattat rovetz)
    PASS  Facts handler-la_petach_chattat_rovetz HOLD  (5 facts)
    PASS  LET?(timshol(kayin, ba_chattat)) pushed and OPEN  (queue=['timshol(kayin, ba_chattat)'])
    PASS  LET?(timshol(kayin, ba_chattat)) mood remains LET?.  (mood=LET?)

=== S4 — The murder — the demand violated, still open: after STEP_Gn_4_8
    וַיָּקָם … וַיַּהַרְגֵהוּ (va-yakom … va-yahargehu)
    PASS  LET?(timshol(kayin, ba_chattat)) pushed and OPEN  (queue=['timshol(kayin, ba_chattat)'])
    PASS  LET?(timshol(kayin, ba_chattat)) mood remains LET? — the queue holds the violated counsel: the murder does not pop a demand.  (mood=LET?)

=== S5 — The docket: the lie and the bloods: after STEP_Gn_4_10
    הֲשֹׁמֵר אָחִי אָנֹכִי (ha-shomer achi anokhi)
    PASS  Facts lo_yadati_ha_shomer/kol_demei HOLD.  (7 facts)

=== S6 — The curse reaches a human: after STEP_Gn_4_12
    אָרוּר אָתָּה מִן־הָאֲדָמָה (arur atah min-ha-adamah)
    PASS  Facts na_va_nad HOLD  (10 facts)
    PASS  flags adamah as read-before-install.  (flagged=['adam', 'adamah', 'chavah'])

=== S7 — The sevenfold handler and the mark: after STEP_Gn_4_15
    שִׁבְעָתַיִם יֻקָּם … אוֹת (shivatayim yukam … ot)
    PASS  Facts handler-shivatayim_yukam HOLD  (14 facts)
    PASS  Facts ot_le_kayin HOLD.  (14 facts)

=== S8 — East of Eden — the open counsel travels: after STEP_Gn_4_16
    בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן (be-eretz-Nod kidmat-Eden)
    PASS  LET?(timshol(kayin, ba_chattat)) pushed and OPEN  (queue=['timshol(kayin, ba_chattat)'])
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S9_negative — Negative: the counsel's ? is guarded
    PASS  imperfect-in-command parsed as LET? (question mark kept)  (mood=LET?)
    PASS  auto-upgrade REFUSED  (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
    PASS  upgrade WITH citation allowed  (cite=per-unit judgment (owner), TIR-028 resolution)

=== S10_negative — Negative: flags never block
    PASS  commit proceeded (not blocked)  (LEDGER=[99])
    PASS  pattern deviation FLAGGED  (flags=['commit_without_test'])

ALL SCENARIOS GREEN

Python rendering — the unit as a program

Generated from the frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_12_cain_abel.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_12_cain_abel — 4:1-16
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_12_cain_abel.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.
# =============================================================================
"""Cain and Abel: first offerings, sin at the door, first murder, the mark (4:1-16)"""
from machine import Machine

m = Machine("gen_12_cain_abel")

# -------------------------- Gen.4.1 · FIRST_BIRTH_NAME_SPEECH --------------
# וְהָאָדָם יָדַע אֶת־חַוָּה אִשְׁתּוֹ וַתַּהַר וַתֵּלֶד אֶת־קַיִן וַתֹּאמֶר
# קָנִיתִי אִישׁ אֶת־יְהוָה
# "And the man knew Eve his wife; and she conceived and bore Cain, and said:
# 'I have gotten a man with the help of the LORD.'"
m.step("Gen.4.1")
# ‹וְהָאָדָם יָדַע אֶת־חַוָּה אִשְׁתּוֹ› (“and-the-human knew obj-marker
# Chavah his-wife”) — event: know — agent human; theme Chavah-Eve
m.event("know", agent="adam", themes=["chavah"])
# ‹וַתַּהַר וַתֵּלֶד אֶת־קַיִן› (“and-she-conceived and-she-bore obj-marker
# Cain”) — event: bear — agent Chavah-Eve; theme Cain
m.event("bear", agent="chavah", themes=["kayin"])
# ‹וַתֹּאמֶר קָנִיתִי אִישׁ אֶת־יְהוָה› (“and-she-said I-have-acquired man
# obj-marker YHWH”) — named: Cain := Kayin
m.name("kayin", "Kayin")
# reads without prior install (flag, not fix): human, Chavah-Eve
m.presupposed("adam", "chavah")

# -------------------------- Gen.4.2 · SECOND_BIRTH_PROFESSIONS -------------
# וַתֹּסֶף לָלֶדֶת אֶת־אָחִיו אֶת־הָבֶל וַיְהִי־הֶבֶל רֹעֵה צֹאן וְקַיִן
# הָיָה עֹבֵד אֲדָמָה
# "And again she bore his brother Abel. And Abel was a keeper of sheep, but
# Cain was a tiller of the ground."
m.step("Gen.4.2")
# ‹וַתֹּסֶף לָלֶדֶת אֶת־אָחִיו אֶת־הָבֶל› (“and-she-added to-bear obj-marker
# his-brother obj-marker Abel”) — event: bear — agent Chavah-Eve; theme Abel
m.event("bear", agent="chavah", themes=["hevel"])
# ‹רֹעֵה צֹאן … עֹבֵד אֲדָמָה› (“shepherd-of flock … worker-of ground”) —
# fact holds: shepherd-flock(Abel); worker-of-ground(Cain)
m.fact("roeh_tzon(hevel)",
       "oved_adamah(kayin)")
# reads without prior install (flag, not fix): ground
m.presupposed("adamah")

# -------------------------- Gen.4.3 · FIRST_OFFERING -----------------------
# וַיְהִי מִקֵּץ יָמִים וַיָּבֵא קַיִן מִפְּרִי הָאֲדָמָה מִנְחָה לַיהוָה
# "And in process of time it came to pass, that Cain brought of the fruit of
# the ground an offering unto the LORD."
m.step("Gen.4.3")
# ‹וַיָּבֵא קַיִן מִפְּרִי הָאֲדָמָה מִנְחָה לַיהוָה› (“and-he-brought Cain
# from-fruit-of the-ground offering to-YHWH”) — event: bring — agent Cain;
# theme offering
m.event("bring", agent="kayin", themes=["minchah"])

# -------------------------- Gen.4.4 · SECOND_OFFERING_FAVOR ----------------
# וְהֶבֶל הֵבִיא גַם־הוּא מִבְּכֹרוֹת צֹאנוֹ וּמֵחֶלְבֵהֶן וַיִּשַׁע יְהוָה
# אֶל־הֶבֶל וְאֶל־מִנְחָתוֹ
# "And Abel, he also brought of the firstlings of his flock and of the fat
# thereof. And the LORD had respect unto Abel and to his offering."
m.step("Gen.4.4")
# ‹וְהֶבֶל הֵבִיא גַם־הוּא מִבְּכֹרוֹת צֹאנוֹ וּמֵחֶלְבֵהֶן› (“and-Abel
# brought also he from-firstlings-of his-flock and-from-their-fat”) — event:
# bring — agent Abel; theme firstlings-of
m.event("bring", agent="hevel", themes=["bekhorot"])
# ‹וַיִּשַׁע יְהוָה אֶל־הֶבֶל וְאֶל־מִנְחָתוֹ› (“and-he-regarded YHWH to
# Abel and-to his-offering”) — test PASS — oracle-word gaze, on Abel-and-
# his-offering
m.test("PASS", "shaah", "hevel_u_minchato")

# -------------------------- Gen.4.5 · NON_REGARD_FIRST_ANGER ---------------
# וְאֶל־קַיִן וְאֶל־מִנְחָתוֹ לֹא שָׁעָה וַיִּחַר לְקַיִן מְאֹד וַיִּפְּלוּ
# פָּנָיו
# "But unto Cain and to his offering He had not respect. And Cain was very
# wroth, and his countenance fell."
m.step("Gen.4.5")
# ‹וְאֶל־קַיִן וְאֶל־מִנְחָתוֹ לֹא שָׁעָה› (“and-to Cain and-to his-offering
# not he-regarded”) — fact holds: not-gaze-to-Cain-and-to-his-offering
m.fact("lo_shaah_el_kayin_ve_el_minchato")
# ‹וַיִּחַר לְקַיִן מְאֹד וַיִּפְּלוּ פָּנָיו› (“and-he-burned to-Cain very
# and-fell his-face”) — event: burn — agent Cain
m.event("burn", agent="kayin")

# -------------------------- Gen.4.6 · ANGER_DIAGNOSTIC ---------------------
# וַיֹּאמֶר יְהוָה אֶל־קָיִן לָמָּה חָרָה לָךְ וְלָמָּה נָפְלוּ פָנֶיךָ
# "And the LORD said unto Cain: 'Why art thou wroth? and why is thy
# countenance fallen?'"
m.step("Gen.4.6")
# ‹לָמָּה חָרָה לָךְ וְלָמָּה נָפְלוּ פָנֶיךָ› (“why burned to-you and-why
# fell your-face”) — event: ask — agent the-LORD; theme Cain
m.event("ask", agent="YHWH", themes=["kayin"])

# -------------------------- Gen.4.7 · COUNSEL_FIRST_IF ---------------------
# הֲלוֹא אִם־תֵּיטִיב שְׂאֵת וְאִם לֹא תֵיטִיב לַפֶּתַח חַטָּאת רֹבֵץ
# וְאֵלֶיךָ תְּשׁוּקָתוֹ וְאַתָּה תִּמְשָׁל־בּוֹ
# "'If thou doest well, shall it not be lifted up? and if thou doest not
# well, sin coucheth at the door; and unto thee is its desire, but thou
# mayest rule over it.'"
m.step("Gen.4.7")
# ‹אִם־תֵּיטִיב שְׂאֵת› (“IF you-do-well uplift”) — standing handler — if
# you-do-well(Cain) then uplift
m.handler("teitiv(kayin)",
          "seet")
# ‹וְאִם לֹא תֵיטִיב לַפֶּתַח חַטָּאת רֹבֵץ› (“and-if not you-do-well at-
# the-door sin crouching”) — standing handler — if not-you-do-well(Cain)
# then to-at-the-door-sin-crouching
m.handler("lo_teitiv(kayin)",
          "la_petach_chattat_rovetz")
# ‹וְאֵלֶיךָ תְּשׁוּקָתוֹ וְאַתָּה תִּמְשָׁל־בּוֹ› (“and-to-you its-longing
# and-you shall-rule in-it”) — the-LORD speaks a demand — LET?: you-shall-
# rule(Cain, in-the-sin)
m.declare("YHWH", "LET?",
          "timshol(kayin, ba_chattat)")

# -------------------------- Gen.4.8 · EMPTY_QUOTE_FIRST_MURDER -------------
# וַיֹּאמֶר קַיִן אֶל־הֶבֶל אָחִיו וַיְהִי בִּהְיוֹתָם בַּשָּׂדֶה וַיָּקָם
# קַיִן אֶל־הֶבֶל אָחִיו וַיַּהַרְגֵהוּ
# "And Cain spoke unto Abel his brother. And it came to pass, when they were
# in the field, that Cain rose up against Abel his brother, and slew him."
m.step("Gen.4.8")
# ‹וַיֹּאמֶר קַיִן אֶל־הֶבֶל אָחִיו› (“and-he-said Cain to Abel his-
# brother”) — event: say — agent Cain; theme Abel
m.event("say", agent="kayin", themes=["hevel"])
# ‹וַיָּקָם קַיִן אֶל־הֶבֶל אָחִיו וַיַּהַרְגֵהוּ› (“and-he-rose Cain to
# Abel his-brother and-killed-him”) — event: kill — agent Cain; theme Abel
m.event("kill", agent="kayin", themes=["hevel"])

# -------------------------- Gen.4.9 · DOCKET_FIRST_LIE ---------------------
# וַיֹּאמֶר יְהוָה אֶל־קַיִן אֵי הֶבֶל אָחִיךָ וַיֹּאמֶר לֹא יָדַעְתִּי
# הֲשֹׁמֵר אָחִי אָנֹכִי
# "And the LORD said unto Cain: 'Where is Abel thy brother?' And he said: 'I
# know not; am I my brother's keeper?'"
m.step("Gen.4.9")
# ‹אֵי הֶבֶל אָחִיךָ› (“where Abel your-brother”) — event: ask — agent the-
# LORD; theme Cain
m.event("ask", agent="YHWH", themes=["kayin"])
# ‹לֹא יָדַעְתִּי הֲשֹׁמֵר אָחִי אָנֹכִי› (“not I-know the-keeper-of my-
# brother I”) — fact holds: not-I-know-the-keeper-of-my-brother-I(Cain)
m.fact("lo_yadati_ha_shomer_achi_anokhi(kayin)")

# -------------------------- Gen.4.10 · BLOODS_CRY --------------------------
# וַיֹּאמֶר מֶה עָשִׂיתָ קוֹל דְּמֵי אָחִיךָ צֹעֲקִים אֵלַי מִן־הָאֲדָמָה
# "And He said: 'What hast thou done? the voice of thy brother's blood
# crieth unto Me from the ground.'"
m.step("Gen.4.10")
# ‹מֶה עָשִׂיתָ› (“what you-have-done”) — event: ask — agent the-LORD; theme
# Cain
m.event("ask", agent="YHWH", themes=["kayin"])
# ‹קוֹל דְּמֵי אָחִיךָ צֹעֲקִים אֵלַי מִן־הָאֲדָמָה› (“voice-of bloods-of
# your-brother crying to-me from the-ground”) — fact holds: all-bloods-of-
# your-brother-crying-out-from-the-ground
m.fact("kol_demei_achikha_tzoakim_min_ha_adamah")

# -------------------------- Gen.4.11 · CURSE_REACHES_HUMAN -----------------
# וְעַתָּה אָרוּר אָתָּה מִן־הָאֲדָמָה אֲשֶׁר פָּצְתָה אֶת־פִּיהָ לָקַחַת
# אֶת־דְּמֵי אָחִיךָ מִיָּדֶךָ
# "'And now cursed art thou from the ground, which hath opened her mouth to
# receive thy brother's blood from thy hand.'"
m.step("Gen.4.11")
# ‹אָרוּר אָתָּה מִן־הָאֲדָמָה› (“CURSED you from the-ground”) — role
# assigned: Cain -> CURSED-from-the-ground
m.assign("kayin", "arur_min_ha_adamah")
# ‹אֲשֶׁר פָּצְתָה אֶת־פִּיהָ› (“which opened obj-marker her-mouth”) — fact
# holds: the-ground-opened-wide-her-mouth-taken-bloods-of(Cain)
m.fact("ha_adamah_patztah_piha_lakachat_demei(kayin)")

# -------------------------- Gen.4.12 · GROUND_STRIKE_WANDERER --------------
# כִּי תַעֲבֹד אֶת־הָאֲדָמָה לֹא־תֹסֵף תֵּת־כֹּחָהּ לָךְ נָע וָנָד תִּהְיֶה
# בָאָרֶץ
# "'When thou tillest the ground, it shall not henceforth yield unto thee
# her strength; a fugitive and a wanderer shalt thou be in the earth.'"
m.step("Gen.4.12")
# ‹לֹא־תֹסֵף תֵּת־כֹּחָהּ לָךְ … נָע וָנָד תִּהְיֶה› (“not it-will-add to-
# give her-strength to-you … fugitive and-wanderer you-shall-be”) — fact
# holds: when-you-work-not-she-added-give-its-strength(ground, Cain);
# fugitive-and-wanderer-shall-be(Cain)
m.fact("ki_taavod_lo_tosef_tet_kochah(adamah, kayin)",
       "na_va_nad_tihyeh(kayin)")

# -------------------------- Gen.4.13 · PLEA_UNBEARABLE ---------------------
# וַיֹּאמֶר קַיִן אֶל־יְהוָה גָּדוֹל עֲוֺנִי מִנְּשֹׂא
# "And Cain said unto the LORD: 'My punishment is greater than I can bear.'"
m.step("Gen.4.13")
# ‹גָּדוֹל עֲוֺנִי מִנְּשֹׂא› (“great my-iniquity than-bearing”) — event:
# plead — agent Cain; theme the-LORD
m.event("plead", agent="kayin", themes=["YHWH"])

# -------------------------- Gen.4.14 · FEAR_OF_FINDERS ---------------------
# הֵן גֵּרַשְׁתָּ אֹתִי הַיּוֹם מֵעַל פְּנֵי הָאֲדָמָה וּמִפָּנֶיךָ אֶסָּתֵר
# וְהָיִיתִי נָע וָנָד בָּאָרֶץ וְהָיָה כָל־מֹצְאִי יַהַרְגֵנִי
# "'Behold, Thou hast driven me out this day from the face of the land; and
# from Thy face shall I be hid; and I shall be a fugitive and a wanderer in
# the earth; and it will come to pass, that whosoever findeth me will slay
# me.'"
m.step("Gen.4.14")
# ‹גֵּרַשְׁתָּ אֹתִי … וּמִפָּנֶיךָ אֶסָּתֵר … כָל־מֹצְאִי יַהַרְגֵנִי›
# (“you-have-driven-out me … and-from-your-face I-shall-be-hidden … all
# finding-me will-kill-me”) — fact holds: you-have-driven-out-me-and-from-
# your-face-I-shall-be-hidden(Cain); all-finder-will-kill-me-fear(Cain)
m.fact("gerashta_oti_u_mi_panekha_esater(kayin)",
       "khol_motzi_yahargeni_fear(kayin)")

# -------------------------- Gen.4.15 · SEVENFOLD_HANDLER_MARK --------------
# וַיֹּאמֶר לוֹ יְהוָה לָכֵן כָּל־הֹרֵג קַיִן שִׁבְעָתַיִם יֻקָּם וַיָּשֶׂם
# יְהוָה לְקַיִן אוֹת לְבִלְתִּי הַכּוֹת־אֹתוֹ כָּל־מֹצְאוֹ
# "And the LORD said unto him: 'Therefore whosoever slayeth Cain, vengeance
# shall be taken on him sevenfold.' And the LORD set a sign for Cain, lest
# any finding him should smite him."
m.step("Gen.4.15")
# ‹כָּל־הֹרֵג קַיִן שִׁבְעָתַיִם יֻקָּם› (“all killer-of Cain sevenfold
# shall-be-avenged”) — standing handler — if killer-of(Cain) then sevenfold-
# shall-be-avenged
m.handler("horeg(kayin)",
          "shivatayim_yukam")
# ‹וַיָּשֶׂם יְהוָה לְקַיִן אוֹת› (“and-he-set YHWH for-Cain sign”) — fact
# holds: sign-to-Cain-so-as-not-strike(Cain)
m.fact("ot_le_kayin_levilti_hakot(kayin)")

# -------------------------- Gen.4.16 · EXIT_EAST_SETTLED_IN_WANDERING ------
# וַיֵּצֵא קַיִן מִלִּפְנֵי יְהוָה וַיֵּשֶׁב בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן
# "And Cain went out from the presence of the LORD, and dwelt in the land of
# Nod, on the east of Eden."
m.step("Gen.4.16")
# ‹וַיֵּצֵא … וַיֵּשֶׁב בְּאֶרֶץ־נוֹד קִדְמַת־עֵדֶן› (“and-he-went-out …
# and-he-settled in-land-of Nod-Wandering east-of Eden”) — event: go-out —
# agent Cain; theme land-of-Nod-Wandering-east-of-Eden
m.event("go_out", agent="kayin", themes=["eretz_nod_kidmat_eden"])

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'adamah', 'chavah', 'adam'}
    assert m.REGISTRY["names"] == {'kayin': 'arur_min_ha_adamah'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == [('PASS', 'shaah', 'hevel_u_minchato')]
    assert m.open_demands() == ['timshol(kayin, ba_chattat)']
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'named_before_any_presence': 1, 'read_before_install': 3, 'assigned_before_any_presence': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['roeh_tzon(hevel)', 'oved_adamah(kayin)', 'lo_shaah_el_kayin_ve_el_minchato', 'handler: IF(teitiv(kayin)) THEN(seet)', 'handler: IF(lo_teitiv(kayin)) THEN(la_petach_chattat_rovetz)', 'lo_yadati_ha_shomer_achi_anokhi(kayin)', 'kol_demei_achikha_tzoakim_min_ha_adamah', 'ha_adamah_patztah_piha_lakachat_demei(kayin)', 'ki_taavod_lo_tosef_tet_kochah(adamah, kayin)', 'na_va_nad_tihyeh(kayin)', 'gerashta_oti_u_mi_panekha_esater(kayin)', 'khol_motzi_yahargeni_fear(kayin)', 'handler: IF(horeg(kayin)) THEN(shivatayim_yukam)', 'ot_le_kayin_levilti_hakot(kayin)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 19
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")
FROZEN 2026-08-01 (owner order "freeze all commit"; derived same day): thirteenth frozen unit — CAIN AND ABEL, the first cycle outside the garden; third extension-free derivation in a row. Central findings, all DB-verified before drafting: solo-YHWH's first token in the MOTHER's mouth at the first birth (the first human to say the Name), with the corpus's first birth-etymology; the second name left unexplained (vapor); the offering institutions debuting UNINSTRUCTED in the law's own vocabulary (minchah x3 first; firstlings; fat) under a NEW test instrument (sha'ah — favor-gaze, 3 tokens), with the rejection carrying no stated reason (held as fact, not FAIL); the corpus's FIRST IF — both first tokens of the law's branch particle in one counsel speech, modeled as two HANDLERs, the good branch paying se'et (the nasa root — lev_13's lead mark-name sourced), the dark branch debuting CHATTAT crouching at the door; the woman's sentence-pair (longing+rule) re-aimed at sin and closing as a coded-imperfect LET? — pushed at 4:7, VIOLATED at 4:8, never popped: the first counsel-demand left open by transgression (the queue's standing debt grows to three beside gen_08's two); the EMPTY QUOTE (nothing invented); the corpus's first actual death — FRATRICIDE, man-made (harag's entire debut is this story; the armed handler's mot unexecuted by heaven — the handler-delta's sharpest edge); the docket formulas inherited (where <- ayeka; what-have-you-done <- 3:13); the first LIE with the office word as sarcasm (am I my brother's KEEPER); the BLOODS plural held [OPEN] (the Mishnah's worlds-doctrine is the diyyuk tripwire — and Onkelos already carries it: 'the descendants destined to issue'); the curse's third token — first on a HUMAN, from the ground whose MOUTH drank the bloods; the ground-strike unwriting his profession; the plea returning the nasa root as the unbearable load (Onkelos brackets the story in FORGIVENESS instead — its largest expansion in our spans: 4:7 rebuilt as a theology of repentance); the sevenfold protective HANDLER (the week's number as vengeance arithmetic; Onkelos: seven GENERATIONS) and the mark (day 4's sign-word turned personal — its next tokens are the rainbow); and the exit: settled in WANDERING (his sentence fossilized as an address), east of Eden — the guards' compass, one ring further out. ZERO WORLD installs — the first zero-install narrative unit. Freeze, narrative (ASK FIRST), and triage await owner order. Not binding religious law.

Rendered 2026-08-09 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.