Cain and Abel: first offerings, sin at the door, first murder, the mark (4:1-16) MODEL · REV 4 · GATES GREEN

unit gen_12_cain_abel · Genesis 4:1-16 · derive logic_derived_v2_full_rule · 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)

step	name	comment	confidence
A	Block choice	The 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
B	Hebrew source + trees	All 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
C	Segment structure	Verb 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
D	Predicates & outcomes	The 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
E	Logic format choice	Operator 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
F	Bilingual logic objects	Every 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
G	Oral (named only) + Tier-A translation check	Named 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
H	Scenarios	S1 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
I	English leakage review	Operators 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
J	Pre-flight + freeze gate	Pre-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

operator	expression	Hebrew anchor	cites	confidence
EVENT	know(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-014	tested
EVENT	bear(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
NAME	name(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_PRESUPPOSED	adam, 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

operator	expression	Hebrew anchor	cites	confidence
EVENT	bear(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-014	tested
PRECONDITION_STATE	HOLDS(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-031	tested
NOTE_PRESUPPOSED	adamah 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
WITNESS_READ	WITNESS-READ(double_et, twin_sisters_and_procreation_measure) = WITNESS-READ(double-obj-marker·et, twin-sisters-and-procreation-measure) A DOUBLED PARTICLE COUNTS PEOPLE THE VERSE DOES NOT NAME [claim G12-13, machine-checked]. Our 4:2 carries TWO particles אֵת (et) - 'et his brother, et Abel' - verified at derivation as exactly two in this verse. The chain reads each occurrence as bringing in a twin sister born with each brother. On this the four-children measure of the procreation obligation is argued, and Bar Kappara's rule that 'the addition exceeds the principal' OPENS here: Abel is the addition, born with two sisters. [folded shape: ink count]	—	Yevamot 62a:7, Bereshit Rabbah 22:3, Bereshit Rabbah 61:4	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	bring(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-014	tested

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	bring(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
TEST	TESTS += 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
WITNESS_READ	WITNESS-READ(minchah_accepted, pursued_census_and_offering_species_law) = WITNESS-READ(offering-accepted, pursued-census-and-offering-species-law) AN OFFERING LAW READ OFF THE ACCEPTANCE [claim G12-22]. 'Abel was PURSUED by Cain - and God seeks the pursued', the census opening at our 4:4 and running even to a righteous man pursuing a wicked one. From it the SPECIES rule of the altar: bring before Me only from the pursued - ox, sheep, goat - the stated rationale of Leviticus 22:27 seated on this operator. And Rebbi reads our offering as the liturgy's golden benchmark: 'as in former years - the YEARS OF ABEL, when idolatry was not yet in the world'. [folded shape: priced law]	—	Pesikta DeRav Kahana 9:4, Sifra, Shemini, Mekhilta DeMiluim II 31	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(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
EVENT	burn(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

operator	expression	Hebrew anchor	cites	confidence
EVENT	ask(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

operator	expression	Hebrew anchor	cites	confidence
HANDLER	HANDLER 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-029	tested
HANDLER	HANDLER 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-031	tested
DECLARE	DECLARE(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-028	tested
WITNESS_READ	WITNESS-READ(chatat_rovetz, gender_mismatch_as_growth_curve) = WITNESS-READ(sin-crouching, gender-mismatch-as-growth-curve) THE CHAIN CATCHES A GENDER MISMATCH IN THE INK [claim G12-14, machine-checked]. חַטָּאת (chatat, 'sin') is feminine, yet the participle רֹבֵץ (rovetz, 'crouching') is MASCULINE - 'rovetzet is not written'. The reading: the inclination is weak as a female at first and strengthens as a male. Confirmed in the morphology at derivation - chatat tagged feminine singular, rovetz masculine singular - and the crouching-word stands four times in the Torah, this the only one that is sin. Its FORM is separately disputed: a fly between the heart's two chambers, or a grain of wheat. [folded shape: recorded dispute]	—	Bereshit Rabbah 22:6, Berakhot 61a:27	witnessed
WITNESS_READ	WITNESS-READ(conditional_op, torah_antidote_and_condition_syntax_law) = WITNESS-READ(conditional-op, torah-antidote-and-condition-syntax-law) THE IF-THEN-ELSE CARRIES A LAW ABOUT ITS OWN FORM [claim G12-15]. THE PROGRAM: 'I created the evil inclination and I created TORAH AS ITS ANTIDOTE', proved from this verse's 'if you do well'; not engaged, sin crouches; 'to you its desire' means its business is with you alone; and וְאַתָּה תִּמְשָׁל בּוֹ ('and you shall rule over it') read as a PROMISE of mastery rather than a hope. THE FORM: R. Meir's requirement that a legal condition be stated in both directions takes THIS verse's double formulation as its exhibit - the machine's own conditional operator carrying the corpus's condition-syntax law. Antoninus taught Rebbi from the same clause that the inclination rules from EMERGENCE, not formation. [folded shape: priced law]	—	Kiddushin 30b:4, Kiddushin 30b:5, Kiddushin 61b:9, Sanhedrin 91b:7, Niddah 30b:23	witnessed
WITNESS_STATE	WITNESS(seet_cut_point, undecidable_parse_on_record) = WITNESS(uplift-cut-point, undecidable-parse-on-record) A CLAIM ABOUT THIS MACHINE'S OWN PARSE [claim G12-16]. Isi ben Yehudah censuses the verses whose cut-point cannot be decided, and שְׂאֵת (se'et) of OUR 4:7 HEADS THE LIST: the word may close the clause before it or open the clause after it, and the tradition records that the question has no decision. The unit's binary tree over this verse must therefore carry an undecidable-cut flag rather than assert a split - the chain constraining the parse layer, not the world. [folded shape: kept record]	—	Bereshit Rabbah 80:6, Sifrei Devarim 54:1	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(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
EVENT	kill(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
WITNESS_READ	WITNESS-READ(empty_quote, filled_three_ways) = WITNESS-READ(empty-quote, filled-three-ways) THE SPEECH OPERATOR WITH NO PAYLOAD [claim G12-17]. Our 4:8 reads 'and Cain SAID to his brother Abel' and reports no words. The chain supplies three quarrels: the division of the world, land against movables - 'take off what you wear' / 'then fly'; IN WHOSE DOMAIN THE TEMPLE WOULD STAND, reading 'the field' as the sanctuary's site, so the first murder is over where the Temple goes; and a woman. Abel is read as the STRONGER - 'rose up' meaning Cain had been pinned and was released on a mercy-plea, then killed. The weapon is disputed, stick against stone. [folded shape: recorded dispute]	—	Bereshit Rabbah 22:7, Bereshit Rabbah 22:8	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	ask(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_STATE	HOLDS(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

operator	expression	Hebrew anchor	cites	confidence
EVENT	ask(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_STATE	HOLDS(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-031	tested
WITNESS_READ	WITNESS-READ(demei_plural, capital_court_witness_warning) = WITNESS-READ(bloods-of-plural, capital-court-witness-warning) THE CAPITAL-COURT CROWN RESTS ON A PLURAL [claim G12-18, machine-checked]. דְּמֵי אָחִיךָ (demei achikha, 'the BLOODS of your brother') is written plural - confirmed in the morphology at derivation as a masculine plural construct, one of only three such tokens in the Torah. From that plural the court's standing warning to witnesses in capital cases is built: 'his blood and the blood of his descendants'. With it the great rulings - the first human created SINGLE, so whoever destroys one life is as one who destroyed a whole world, and whoever sustains one life sustains a whole world. A textual variance is on the record: this seat reads 'a single life OF ISRAEL' where the Jerusalem Talmud seat reads simply 'a single life'. [folded shape: ink count]	—	Mishnah Sanhedrin 4:5, Bereshit Rabbah 22:9, Sanhedrin 37b:10, Jerusalem Talmud Sanhedrin 4:9:1	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
ASSIGN	REGISTRY: 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-014	tested
PRECONDITION_STATE	HOLDS(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

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(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-031	tested
WITNESS_READ	WITNESS-READ(na_va_nad_decree, half_remitted_visible_in_the_ink) = WITNESS-READ(fugitive-and-wanderer-decree, half-remitted-visible-in-the-ink) HALF THE DECREE IS REMITTED, AND THE INK SHOWS IT [claim G12-19, machine-checked]. The sentence here is נָע וָנָד (na va-nad, 'wandering AND roaming'); Cain echoes both terms at 4:14; and the settlement notice at 4:16 records him dwelling 'in the land of נוֹד (Nod)' with the first term GONE. Machine-checked at derivation: נָע stands in the Torah exactly twice, 4:12 and 4:14, and נוֹד exactly once, 4:16. The chain reads the dropped word as half the sentence lifted, and gives three mechanisms across three seats - repentance remits half, exile itself atones for half, or repentance against prayer as a dispute. [folded shape: ink count]	—	Pesikta DeRav Kahana 24:11, Sanhedrin 37b:12, Vayikra Rabbah 10:5	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	plead(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
WITNESS_STATE	WITNESS(cain_plea, three_recorded_readings) = WITNESS(cain-plea, three-recorded-readings) ONE PLEA, THREE READINGS, NONE MERGED [claim G12-20]. REPROACH - 'You bear worlds, and not my sin?'; CONFESSION - 'my sin is greater than my father's; his was a light command, mine is bloodshed'; DEMAND - 'is my sin greater than that of the six hundred thousand whom You will forgive?'. The departure at 4:16 is read three ways in turn, one of them JOYFUL - and on that reading the meeting with Adam follows, Cain saying 'I repented and it was settled', and Adam striking his own face: SUCH IS THE POWER OF REPENTANCE AND I DID NOT KNOW - then composing the Sabbath psalm as a psalm of repentance. [folded shape: recorded dispute]	—	Bereshit Rabbah 22:11, Sanhedrin 101b:3, Bereshit Rabbah 22:13	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(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

operator	expression	Hebrew anchor	cites	confidence
HANDLER	HANDLER 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-032	tested
PRECONDITION_STATE	HOLDS(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-030	tested
WITNESS_READ	WITNESS-READ(seven_generations_clause, discharged_at_the_flood) = WITNESS-READ(seven-generations-clause, discharged-at-the-flood) AN OPEN CLAUSE OF THIS UNIT, CLOSED FIVE UNITS DOWNSTREAM [claim G12-21]. Our 4:15 sets a seven-generations clause on whoever kills Cain, and the machine leaves the demand standing. R. Levi in the name of Reish Lakish discharges it: the יְקוּם ('the standing substance' swept away at Genesis 7:23) IS CAIN - he hung in abeyance until the Flood came and swept him away. The clause this unit files is satisfied at the Flood's own verse. [folded shape: cross-corpus link]	—	Bereshit Rabbah 32:5	witnessed

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

operator	expression	Hebrew anchor	cites	confidence
EVENT	go_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-014	tested

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).

state	meaning
S_boot	Before 4:1 — all registers empty (standalone unit)
S_births	After 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_offerings	After 4:3-5 — the first offerings; PASS(shaah) for Abel; the non-regard held as reasonless fact; anger's first tokens
S_counsel	After 4:6-7 — the two IF-handlers standing; LET?(timshol) pushed — the counsel-demand OPEN
S_murder	After 4:8 — the empty quote; the first death (fratricide, in the field); the demand STILL OPEN — violated, not popped
S_docket	After 4:9-10 — the where-question; the first lie; the bloods crying from the ground (plural held [OPEN])
S_sentenced	After 4:11-12 — curse #3 (first human) on the registry; the ground-strike and wanderer terms
S_protected	After 4:13-15 — the plea (the nasa root returned as burden); the sevenfold HANDLER; the mark held as fact
S_east	After 4:16 — out from before the Face; settled in Wandering, east of Eden; LET? still OPEN; LEDGER empty

from	to	via
S_boot	S_births	STEP_Gn_4_1
S_births	S_births	STEP_Gn_4_2
S_births	S_offerings	STEP_Gn_4_3
S_offerings	S_offerings	STEP_Gn_4_4
S_offerings	S_offerings	STEP_Gn_4_5
S_offerings	S_counsel	STEP_Gn_4_6
S_counsel	S_counsel	STEP_Gn_4_7
S_counsel	S_murder	STEP_Gn_4_8
S_murder	S_docket	STEP_Gn_4_9
S_docket	S_docket	STEP_Gn_4_10
S_docket	S_sentenced	STEP_Gn_4_11
S_sentenced	S_sentenced	STEP_Gn_4_12
S_sentenced	S_protected	STEP_Gn_4_13
S_protected	S_protected	STEP_Gn_4_14
S_protected	S_protected	STEP_Gn_4_15
S_protected	S_east	STEP_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)

id	title	given	expect	anchor
S1	The first birth and the Name in a human mouth: after STEP_Gn_4_2	All 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
S2	The favor-test and the reasonless non-regard: after STEP_Gn_4_5	S1 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
S3	The counsel: two handlers, one open demand: after STEP_Gn_4_7	S2 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
S4	The murder — the demand violated, still open: after STEP_Gn_4_8	S3 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
S5	The docket: the lie and the bloods: after STEP_Gn_4_10	S4 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
S6	The curse reaches a human: after STEP_Gn_4_12	S5 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
S7	The sevenfold handler and the mark: after STEP_Gn_4_15	S6 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
S8	East of Eden — the open counsel travels: after STEP_Gn_4_16	S7 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_negative	Negative: the counsel's ? is guarded	A 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_negative	Negative: flags never block	A synthetic commit with TESTS empty (the machine's own contract self-test).	Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked.

Exports (reusable patterns)

id	content
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.

verified RE-era reading pass 2026-08-26 (parashah-grain sweep, ledger logic/oral_triage/gen_12_cain_abel_2026-08-26.md)
נקרא כולו · nikra kulo (read in full) · The v1 queue above is DISCHARGED: the declared core shelf was read end to end this sitting. HEADLINES: the THOUSAND-YEAR DAY arrives at a chain-primary seat (Bereshit Rabbah 22:1 — the handler- delta's day-clock dossier now in-shelf; flag stands un-merged); the NA/NOD HALF-DECREE INK-DIFF MACHINE-VERIFIED (na va-nad at 4:12 and 4:14, only nod at 4:16 — three seats, three mechanisms: repentance remits / exile atones / the repentance-vs-prayer machloket); SE'ET heads the tradition's own census of verses whose parse is UNDECIDABLE (the 4:7 tree carries the undecidable-cut flag); the CAPITAL-COURT CROWN (Mishnah Sanhedrin 4:5 built on our demei-plural: destroys-one-life-destroys-a-world, the coin-stamp, with the mi-Yisrael ink-variance between Mishnah and Jerusalem Talmud seats dual-tracked); 4:7 carries condition-law (the compound-condition exhibit), the Torah-as-antidote program, the yetzer-from-emergence ruling Antoninus taught Rebbi, and the newborn's forgotten Torah; the EMPTY QUOTE of 4:8 filled three ways (land-division / the Temple's site / the twin sister), dual- tracked; sacrifice law rides Abel's fats (the olah/shelamim machloket at four seats); the suspended sentence of 4:15 discharged by the chain at 7:23 (the yekum = Cain); Abel's fifty days; the pursued census opens at our va-yisha with the offering- species law. Findings recorded in the ledger; dual-track throughout; no reading merged into the machine.
Reading-pass record; the stamp and ritual remain the owner's word (batch, per parashah).

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	#	Hebrew	translit	English	role	kind	rule
Gen.4.1	0	והאדם	ve-ha-adam	and-the-human	father_onset	logic_bearing	none
Gen.4.1	1	ידע	yada	knew	KNOW_verb_carnal_debut	logic_bearing	none
Gen.4.1	2	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.4.1	3	חוה	chava	Chavah	mother	logic_bearing	none
Gen.4.1	4	אשתו	isht-o	his-wife	his-wife	logic_bearing	none
Gen.4.1	5	ותהר	va-tahar	and-she-conceived	first_conception	logic_bearing	none
Gen.4.1	6	ותלד	va-teled	and-she-bore	first_birth	logic_bearing	none
Gen.4.1	7	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.4.1	8	קין	qayin	Cain	firstborn_named	logic_bearing	none
Gen.4.1	9	ותאמר	va-tomer	and-she-said	mother_speech	logic_bearing	none
Gen.4.1	10	קניתי	qaniti	I-have-acquired	birth_etymology_qaniti	logic_bearing	none
Gen.4.1	11	איש	ish	man	a-man	logic_bearing	none
Gen.4.1	12	את	et	with	with_lemma_854	logic_bearing	none
Gen.4.1	13	יהוה	YHWH	YHWH	SOLO_YHWH_FIRST_TOKEN_human_mouth	logic_bearing	none
Gen.4.2	0	ותסף	va-tosef	and-she-added	second_birth	logic_bearing	none
Gen.4.2	1	ללדת	la-ledet	to-bear	bear_infinitive	logic_bearing	none
Gen.4.2	2	את	et	obj-marker·et	obj_marker	logic_bearing	TIR-014
Gen.4.2	3	אחיו	achi-v	his-brother	brother_word_debut	logic_bearing	none
Gen.4.2	4	את	et	obj-marker·et	obj_marker	glue	TIR-008
Gen.4.2	5	הבל	havel	Abel	name_unexplained_vapor_OPEN	logic_bearing	none
Gen.4.2	6	ויהי	va-yehi	and-was	and-was	logic_bearing	none
Gen.4.2	7	הבל	hevel	Abel	Abel	logic_bearing	none
Gen.4.2	8	רעה	roe	shepherd-of	profession_shepherd	logic_bearing	TIR-031
Gen.4.2	9	צאן	tzon	flock	flock	logic_bearing	none
Gen.4.2	10	וקין	ve-qayin	and-Cain	and-Cain	logic_bearing	none
Gen.4.2	11	היה	haya	was	was	logic_bearing	none
Gen.4.2	12	עבד	oved	worker-of	profession_ground_worker_3_23_job	logic_bearing	TIR-031
Gen.4.2	13	אדמה	adama	ground	ground	logic_bearing	none
Gen.4.3	0	ויהי	va-yehi	and-it-was	time_frame	logic_bearing	none
Gen.4.3	1	מקץ	mi-qetz	at-end-of	at_end_of	logic_bearing	none
Gen.4.3	2	ימים	yamim	days	days	logic_bearing	none
Gen.4.3	3	ויבא	va-yave	and-he-brought	first_offering_bring	logic_bearing	none
Gen.4.3	4	קין	qayin	Cain	offerer	logic_bearing	none
Gen.4.3	5	מפרי	mi-peri	from-fruit-of	from_his_trade	logic_bearing	none
Gen.4.3	6	האדמה	ha-adama	the-ground	the_cursed_ground	logic_bearing	none
Gen.4.3	7	מנחה	mincha	offering	MINCHAH_FIRST_TOKEN_lev2_term	logic_bearing	none
Gen.4.3	8	ליהוה	la-YHWH	to-YHWH	to-YHWH	logic_bearing	none
Gen.4.4	0	והבל	ve-hevel	and-Abel	second_offerer	logic_bearing	none
Gen.4.4	1	הביא	hevi	brought	brought	logic_bearing	none
Gen.4.4	2	גם	gam	also	also	logic_bearing	none
Gen.4.4	3	הוא	hu	he	he	logic_bearing	none
Gen.4.4	4	מבכרות	mi-bekhorot	from-firstlings-of	FIRSTLINGS_institution_embryo	logic_bearing	none
Gen.4.4	5	צאנו	tzon-o	his-flock	his-flock	logic_bearing	none
Gen.4.4	6	ומחלבהן	u-me-chelve-hen	and-from-their-fat	FAT_institution_embryo	logic_bearing	none
Gen.4.4	7	וישע	va-yisha	and-he-regarded	GAZE_test_shaah_3_tokens	logic_bearing	none
Gen.4.4	8	יהוה	YHWH	YHWH	tester	logic_bearing	none
Gen.4.4	9	אל	el	to	to	logic_bearing	none
Gen.4.4	10	הבל	hevel	Abel	person_before_gift	logic_bearing	none
Gen.4.4	11	ואל	ve-el	and-to	and-to	logic_bearing	none
Gen.4.4	12	מנחתו	minchat-o	his-offering	the-gift	logic_bearing	none
Gen.4.5	0	ואל	ve-el	and-to	and-to	glue	TIR-008
Gen.4.5	1	קין	qayin	Cain	Cain	logic_bearing	none
Gen.4.5	2	ואל	ve-el	and-to	and-to	logic_bearing	none
Gen.4.5	3	מנחתו	minchat-o	his-offering	his-offering	logic_bearing	none
Gen.4.5	4	לא	lo	not	non_regard_negation	logic_bearing	none
Gen.4.5	5	שעה	shaa	he-regarded	gaze_withheld_NO_REASON_OPEN	logic_bearing	none
Gen.4.5	6	ויחר	va-yichar	and-he-burned	ANGER_FIRST_TOKEN	logic_bearing	none
Gen.4.5	7	לקין	le-qayin	to-Cain	to-Cain	logic_bearing	none
Gen.4.5	8	מאד	meod	very	maximum	logic_bearing	none
Gen.4.5	9	ויפלו	va-yiplu	and-fell	face_fell_first	logic_bearing	none
Gen.4.5	10	פניו	panay-v	his-face	the_panim_thread	logic_bearing	none
Gen.4.6	0	ויאמר	va-yomer	and-say	pastoral_question	logic_bearing	none
Gen.4.6	1	יהוה	YHWH	YHWH	asker	logic_bearing	none
Gen.4.6	2	אל	el	to	to	logic_bearing	none
Gen.4.6	3	קין	qayin	Cain	Cain	logic_bearing	none
Gen.4.6	4	למה	la-ma	why	why_1	logic_bearing	none
Gen.4.6	5	חרה	chara	burned	anger_interrogated	logic_bearing	none
Gen.4.6	6	לך	la-khe	to-you	to-you	logic_bearing	none
Gen.4.6	7	ולמה	ve-la-ma	and-why	why_2	logic_bearing	none
Gen.4.6	8	נפלו	naflu	fell	fallen	logic_bearing	none
Gen.4.6	9	פניך	fane-kha	your-face	your-face	logic_bearing	none
Gen.4.7	0	הלוא	ha-lo	is-it-not	is_it_not	logic_bearing	none
Gen.4.7	1	אם	im	IF	IM_FIRST_TOKEN_law_branch	logic_bearing	none
Gen.4.7	2	תיטיב	tetiv	you-do-well	do_well_branch_1	logic_bearing	none
Gen.4.7	3	שאת	seet	uplift	SEET_nasa_root_lev13_join	logic_bearing	none
Gen.4.7	4	ואם	ve-im	and-if	IM_SECOND_TOKEN	logic_bearing	none
Gen.4.7	5	לא	lo	not	negation	logic_bearing	none
Gen.4.7	6	תיטיב	tetiv	you-do-well	do_well_branch_2	logic_bearing	none
Gen.4.7	7	לפתח	la-petach	at-the-door	the_door	logic_bearing	none
Gen.4.7	8	חטאת	chatat	sin	CHATTAT_FIRST_TOKEN_sin	logic_bearing	none
Gen.4.7	9	רבץ	rovetz	crouching	crouching_predator_participle	logic_bearing	TIR-031
Gen.4.7	10	ואליך	ve-ele-kha	and-to-you	to_you	logic_bearing	none
Gen.4.7	11	תשוקתו	teshuqat-o	its-longing	LONGING_3_16_pair	logic_bearing	none
Gen.4.7	12	ואתה	ve-ata	and-you	and-you	logic_bearing	none
Gen.4.7	13	תמשל	timshal	shall-rule	RULE_3_16_pair_coded_imperfect	logic_bearing	TIR-028
Gen.4.7	14	בו	b-o	in-it	in-it	logic_bearing	none
Gen.4.8	0	ויאמר	va-yomer	and-he-said	EMPTY_QUOTE_say	logic_bearing	none
Gen.4.8	1	קין	qayin	Cain	speaker	logic_bearing	none
Gen.4.8	2	אל	el	to	to	logic_bearing	none
Gen.4.8	3	הבל	hevel	Abel	addressee	logic_bearing	none
Gen.4.8	4	אחיו	achi-v	his-brother	his_brother_1	logic_bearing	none
Gen.4.8	5	ויהי	va-yehi	and-it-was	scene_shift	logic_bearing	none
Gen.4.8	6	בהיותם	bi-heota-m	in-their-being	in_their_being	logic_bearing	none
Gen.4.8	7	בשדה	ba-sade	in-the-field	the_field_2_5	logic_bearing	none
Gen.4.8	8	ויקם	va-yaqam	and-he-rose	rose	logic_bearing	none
Gen.4.8	9	קין	qayin	Cain	killer	logic_bearing	none
Gen.4.8	10	אל	el	to	against	logic_bearing	none
Gen.4.8	11	הבל	hevel	Abel	victim	logic_bearing	none
Gen.4.8	12	אחיו	achi-v	his-brother	his_brother_2	logic_bearing	none
Gen.4.8	13	ויהרגהו	va-yaharge-hu	and-killed-him	HARAG_FIRST_TOKEN_first_death	logic_bearing	none
Gen.4.9	0	ויאמר	va-yomer	and-say	docket_opens	logic_bearing	none
Gen.4.9	1	יהוה	YHWH	YHWH	asker	logic_bearing	none
Gen.4.9	2	אל	el	to	to	glue	TIR-008
Gen.4.9	3	קין	qayin	Cain	Cain	logic_bearing	none
Gen.4.9	4	אי	e	where	WHERE_formula_token_2	logic_bearing	none
Gen.4.9	5	הבל	hevel	Abel	Abel	logic_bearing	none
Gen.4.9	6	אחיך	achi-kha	your-brother	your-brother	logic_bearing	none
Gen.4.9	7	ויאמר	va-yomer	and-he-said	answer	logic_bearing	none
Gen.4.9	8	לא	lo	not	lie_negation	logic_bearing	none
Gen.4.9	9	ידעתי	yadati	I-know	FIRST_LIE_know_verb	logic_bearing	none
Gen.4.9	10	השמר	ha-shomer	the-keeper-of	KEEPER_office_word_sarcasm	logic_bearing	none
Gen.4.9	11	אחי	achi-y	my-brother	my-brother	logic_bearing	none
Gen.4.9	12	אנכי	anokhi	I	I	logic_bearing	none
Gen.4.10	0	ויאמר	va-yomer	and-say	question_two	logic_bearing	none
Gen.4.10	1	מה	me	what	what	logic_bearing	none
Gen.4.10	2	עשית	asita	you-have-done	done_3_13_verbatim	logic_bearing	none
Gen.4.10	3	קול	qol	voice-of	voice_qol_thread	logic_bearing	none
Gen.4.10	4	דמי	deme	bloods-of	BLOODS_PLURAL_OPEN	logic_bearing	none
Gen.4.10	5	אחיך	achi-kha	your-brother	your-brother	logic_bearing	none
Gen.4.10	6	צעקים	tzoaqim	crying	outcry_debut_participle	logic_bearing	TIR-031
Gen.4.10	7	אלי	el-y	to-me	to-me	logic_bearing	none
Gen.4.10	8	מן	min	from	from	glue	TIR-008
Gen.4.10	9	האדמה	ha-adama	the-ground	the_ground_witness	logic_bearing	none
Gen.4.11	0	ועתה	ve-ata	and-now	verdict_now	logic_bearing	none
Gen.4.11	1	ארור	arur	CURSED	CURSE_TOKEN_3_first_human	logic_bearing	none
Gen.4.11	2	אתה	ata	you	you	logic_bearing	none
Gen.4.11	3	מן	min	from	FROM	logic_bearing	none
Gen.4.11	4	האדמה	ha-adama	the-ground	the_ground_source	logic_bearing	none
Gen.4.11	5	אשר	asher	which	relative	glue	TIR-008
Gen.4.11	6	פצתה	patzta	opened	opened	logic_bearing	none
Gen.4.11	7	את	et	obj-marker·et	obj_marker	logic_bearing	none
Gen.4.11	8	פיה	pi-ha	her-mouth	her_MOUTH	logic_bearing	none
Gen.4.11	9	לקחת	la-qachat	to-take	to_take_laqach	logic_bearing	TIR-030
Gen.4.11	10	את	et	obj-marker·et	obj_marker	logic_bearing	none
Gen.4.11	11	דמי	deme	bloods-of	bloods	logic_bearing	none
Gen.4.11	12	אחיך	achi-kha	your-brother	your-brother	logic_bearing	none
Gen.4.11	13	מידך	mi-yade-kha	from-your-hand	from-your-hand	logic_bearing	none
Gen.4.12	0	כי	ki	when	KI_when_law_particle	logic_bearing	none
Gen.4.12	1	תעבד	taavod	you-work	work_his_trade	logic_bearing	none
Gen.4.12	2	את	et	obj-marker·et	obj_marker	logic_bearing	none
Gen.4.12	3	האדמה	ha-adama	the-ground	the-ground	logic_bearing	none
Gen.4.12	4	לא	lo	not	negation	logic_bearing	none
Gen.4.12	5	תסף	tosef	it-will-add	strike_no_more	logic_bearing	none
Gen.4.12	6	תת	tet	to-give	give	logic_bearing	none
Gen.4.12	7	כחה	kocha-h	her-strength	her-strength	logic_bearing	none
Gen.4.12	8	לך	la-khe	to-you	to-you	logic_bearing	none
Gen.4.12	9	נע	na	fugitive	fugitive_participle	logic_bearing	TIR-031
Gen.4.12	10	ונד	va-nad	and-wanderer	wanderer_participle_nod_seed	logic_bearing	TIR-031
Gen.4.12	11	תהיה	tihye	you-shall-be	you-shall-be	logic_bearing	none
Gen.4.12	12	בארץ	va-aretz	in-the-earth	in-the-earth	logic_bearing	none
Gen.4.13	0	ויאמר	va-yomer	and-say	plea	logic_bearing	none
Gen.4.13	1	קין	qayin	Cain	Cain	logic_bearing	none
Gen.4.13	2	אל	el	to	to	glue	TIR-008
Gen.4.13	3	יהוה	YHWH	YHWH	YHWH	logic_bearing	none
Gen.4.13	4	גדול	gadol	great	great	logic_bearing	none
Gen.4.13	5	עוני	avoni-y	my-iniquity	AVON_FIRST_TOKEN_both_senses_OPEN	logic_bearing	none
Gen.4.13	6	מנשא	mi-neso	than-bearing	NASA_root_returns_unbearable	logic_bearing	none
Gen.4.14	0	הן	hen	behold	behold	logic_bearing	none
Gen.4.14	1	גרשת	gerashta	you-have-driven-out	GARASH_token_2_first_person	logic_bearing	none
Gen.4.14	2	אתי	et-y	me	me	logic_bearing	none
Gen.4.14	3	היום	ha-yom	this-day	this-day	logic_bearing	none
Gen.4.14	4	מעל	me-al	from-upon	from-upon	logic_bearing	none
Gen.4.14	5	פני	pene	face-of	face_of	logic_bearing	none
Gen.4.14	6	האדמה	ha-adama	the-ground	the-ground	logic_bearing	none
Gen.4.14	7	ומפניך	u-mi-pane-kha	and-from-your-face	and_from_YOUR_face	logic_bearing	none
Gen.4.14	8	אסתר	esater	I-shall-be-hidden	SATAR_debut_hidden	logic_bearing	none
Gen.4.14	9	והייתי	ve-hayiti	and-I-shall-be	and-I-shall-be	logic_bearing	none
Gen.4.14	10	נע	na	fugitive	fugitive	logic_bearing	none
Gen.4.14	11	ונד	va-nad	and-wanderer	wanderer	logic_bearing	none
Gen.4.14	12	בארץ	ba-aretz	in-the-earth	in-the-earth	logic_bearing	none
Gen.4.14	13	והיה	ve-haya	and-it-will-be	and-it-will-be	logic_bearing	none
Gen.4.14	14	כל	khal	all	all	logic_bearing	none
Gen.4.14	15	מצאי	motzi-y	finding-me	finder_matza	logic_bearing	none
Gen.4.14	16	יהרגני	yaharge-ni	will-kill-me	harag_token_2_fear	logic_bearing	none
Gen.4.15	0	ויאמר	va-yomer	and-he-said	decree	logic_bearing	none
Gen.4.15	1	לו	l-o	to-him	to-him	logic_bearing	none
Gen.4.15	2	יהוה	YHWH	YHWH	YHWH	logic_bearing	none
Gen.4.15	3	לכן	la-khen	therefore	therefore	logic_bearing	none
Gen.4.15	4	כל	kal	all	all	logic_bearing	none
Gen.4.15	5	הרג	horeg	killer-of	killer_participle	logic_bearing	none
Gen.4.15	6	קין	qayin	Cain	of-Cain	logic_bearing	none
Gen.4.15	7	שבעתים	shivatayim	sevenfold	SEVENFOLD_week_number	logic_bearing	none
Gen.4.15	8	יקם	yuqam	shall-be-avenged	avenged_hophal_agentless	logic_bearing	TIR-032
Gen.4.15	9	וישם	va-yasem	and-he-set	set	logic_bearing	none
Gen.4.15	10	יהוה	YHWH	YHWH	YHWH	logic_bearing	none
Gen.4.15	11	לקין	le-qayin	for-Cain	for-Cain	logic_bearing	none
Gen.4.15	12	אות	ot	sign	OT_day4_sign_personal	logic_bearing	none
Gen.4.15	13	לבלתי	le-vilti	not-to	not_to_3_11_form	logic_bearing	TIR-030
Gen.4.15	14	הכות	hakot	strike	strike_debut	logic_bearing	none
Gen.4.15	15	אתו	et-o	him	him	logic_bearing	none
Gen.4.15	16	כל	kal	all	all	logic_bearing	none
Gen.4.15	17	מצאו	motz-o	finding-him	finder	logic_bearing	none
Gen.4.16	0	ויצא	va-yetze	and-he-went-out	exit	logic_bearing	none
Gen.4.16	1	קין	qayin	Cain	Cain	logic_bearing	none
Gen.4.16	2	מלפני	mi-li-fene	from-before	from_before_the_FACE	logic_bearing	none
Gen.4.16	3	יהוה	YHWH	YHWH	YHWH	logic_bearing	none
Gen.4.16	4	וישב	va-yeshev	and-he-settled	SETTLED_irony	logic_bearing	none
Gen.4.16	5	בארץ	be-eretz	in-land-of	in-land-of	logic_bearing	none
Gen.4.16	6	נוד	nod	Nod-Wandering	NOD_sentence_as_address	logic_bearing	none
Gen.4.16	7	קדמת	qidmat	east-of	qedem_geography	logic_bearing	none
Gen.4.16	8	עדן	eden	Eden	Eden	logic_bearing	none

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 canonical 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
# TorahSim — (c) 2026 Brian LeBlanc · MIT license (see LICENSE at repo root)
# =============================================================================
# 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")
# witness-tier presupposed read: twin_sisters_and_procreation_measure on
# double_et — read, not installed
m.witness_read("double_et", "twin_sisters_and_procreation_measure",
                cites=["Yevamot 62a:7", "Bereshit Rabbah 22:3", "Bereshit Rabbah 61:4"])

# -------------------------- 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")
# witness-tier presupposed read: pursued_census_and_offering_species_law on
# minchah_accepted — read, not installed
m.witness_read("minchah_accepted", "pursued_census_and_offering_species_law",
                cites=["Pesikta DeRav Kahana 9:4", "Sifra, Shemini, Mekhilta DeMiluim II 31"])

# -------------------------- 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)")
# witness-tier presupposed read: gender_mismatch_as_growth_curve on
# chatat_rovetz — read, not installed
m.witness_read("chatat_rovetz", "gender_mismatch_as_growth_curve",
                cites=["Bereshit Rabbah 22:6", "Berakhot 61a:27"])
# witness-tier presupposed read: torah_antidote_and_condition_syntax_law on
# conditional_op — read, not installed
m.witness_read("conditional_op", "torah_antidote_and_condition_syntax_law",
                cites=["Kiddushin 30b:4", "Kiddushin 30b:5", "Kiddushin 61b:9", "Sanhedrin 91b:7", "Niddah 30b:23"])
# witness-grounded state (its own tier): undecidable_parse_on_record on
# seet_cut_point
m.witness_state("seet_cut_point", "undecidable_parse_on_record",
                cites=["Bereshit Rabbah 80:6", "Sifrei Devarim 54:1"])

# -------------------------- 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"])
# witness-tier presupposed read: filled_three_ways on empty_quote — read,
# not installed
m.witness_read("empty_quote", "filled_three_ways",
                cites=["Bereshit Rabbah 22:7", "Bereshit Rabbah 22:8"])

# -------------------------- 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")
# witness-tier presupposed read: capital_court_witness_warning on
# demei_plural — read, not installed
m.witness_read("demei_plural", "capital_court_witness_warning",
                cites=["Mishnah Sanhedrin 4:5", "Bereshit Rabbah 22:9", "Sanhedrin 37b:10", "Jerusalem Talmud Sanhedrin 4:9:1"])

# -------------------------- 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)")
# witness-tier presupposed read: half_remitted_visible_in_the_ink on
# na_va_nad_decree — read, not installed
m.witness_read("na_va_nad_decree", "half_remitted_visible_in_the_ink",
                cites=["Pesikta DeRav Kahana 24:11", "Sanhedrin 37b:12", "Vayikra Rabbah 10:5"])

# -------------------------- 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"])
# witness-grounded state (its own tier): three_recorded_readings on
# cain_plea
m.witness_state("cain_plea", "three_recorded_readings",
                cites=["Bereshit Rabbah 22:11", "Sanhedrin 101b:3", "Bereshit Rabbah 22:13"])

# -------------------------- 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)")
# witness-tier presupposed read: discharged_at_the_flood on
# seven_generations_clause — read, not installed
m.witness_read("seven_generations_clause", "discharged_at_the_flood",
                cites=["Bereshit Rabbah 32:5"])

# -------------------------- 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() == {'adam', 'adamah', 'chavah'}
    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
    assert sorted(m.WORLD["witnessed"]) == ['cain_plea', 'seet_cut_point']
    assert m.WORLD["witnessed"]['cain_plea']["cites"] == ['Bereshit Rabbah 22:11', 'Sanhedrin 101b:3', 'Bereshit Rabbah 22:13']
    assert all('three_recorded_readings' not in f for f in m.WORLD["facts"])
    assert m.WORLD["witnessed"]['seet_cut_point']["cites"] == ['Bereshit Rabbah 80:6', 'Sifrei Devarim 54:1']
    assert all('undecidable_parse_on_record' not in f for f in m.WORLD["facts"])
    assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('double_et', 'twin_sisters_and_procreation_measure'), ('minchah_accepted', 'pursued_census_and_offering_species_law'), ('chatat_rovetz', 'gender_mismatch_as_growth_curve'), ('conditional_op', 'torah_antidote_and_condition_syntax_law'), ('empty_quote', 'filled_three_ways'), ('demei_plural', 'capital_court_witness_warning'), ('na_va_nad_decree', 'half_remitted_visible_in_the_ink'), ('seven_generations_clause', 'discharged_at_the_flood')]
    assert m.WITNESS_READS[0]["cites"] == ['Yevamot 62a:7', 'Bereshit Rabbah 22:3', 'Bereshit Rabbah 61:4']
    assert all('twin_sisters_and_procreation_measure' not in f for f in m.WORLD["facts"])
    assert 'double_et' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[1]["cites"] == ['Pesikta DeRav Kahana 9:4', 'Sifra, Shemini, Mekhilta DeMiluim II 31']
    assert all('pursued_census_and_offering_species_law' not in f for f in m.WORLD["facts"])
    assert 'minchah_accepted' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[2]["cites"] == ['Bereshit Rabbah 22:6', 'Berakhot 61a:27']
    assert all('gender_mismatch_as_growth_curve' not in f for f in m.WORLD["facts"])
    assert 'chatat_rovetz' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[3]["cites"] == ['Kiddushin 30b:4', 'Kiddushin 30b:5', 'Kiddushin 61b:9', 'Sanhedrin 91b:7', 'Niddah 30b:23']
    assert all('torah_antidote_and_condition_syntax_law' not in f for f in m.WORLD["facts"])
    assert 'conditional_op' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[4]["cites"] == ['Bereshit Rabbah 22:7', 'Bereshit Rabbah 22:8']
    assert all('filled_three_ways' not in f for f in m.WORLD["facts"])
    assert 'empty_quote' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[5]["cites"] == ['Mishnah Sanhedrin 4:5', 'Bereshit Rabbah 22:9', 'Sanhedrin 37b:10', 'Jerusalem Talmud Sanhedrin 4:9:1']
    assert all('capital_court_witness_warning' not in f for f in m.WORLD["facts"])
    assert 'demei_plural' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[6]["cites"] == ['Pesikta DeRav Kahana 24:11', 'Sanhedrin 37b:12', 'Vayikra Rabbah 10:5']
    assert all('half_remitted_visible_in_the_ink' not in f for f in m.WORLD["facts"])
    assert 'na_va_nad_decree' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[7]["cites"] == ['Bereshit Rabbah 32:5']
    assert all('discharged_at_the_flood' not in f for f in m.WORLD["facts"])
    assert 'seven_generations_clause' not in m.WORLD["witnessed"]
    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-30 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.