The covenant of the pieces: the vision, the stars, the rite, the decree, the grant (15:1-21) FROZEN

unit gen_31_covenant_pieces · Genesis 15:1-21 · derive logic_derived_v1 · phase C-31

⇄ verse view — this span in the scroll (trees + morphology) · ☰ all derived units

לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת · le-zarakha natati et-ha-aretz ha-zot · 'To your seed I HAVE GIVEN this land'

Logic-derived v1: v3 taamim (cantillation accents) 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 (tira(avram), habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim), qechah(avram, eglah_ez_ayil_tor_ve_gozal), le_zarakha_natati_et_ha_aretz_ha_zot). Per-verse steps x21 (the ratified span order).

DERIVATION RECORD — freeze-era draft note: DRAFT by the gen-5 block agent (first unit of its tenure; fourteenth agent-derived unit overall), 2026-08-03. Censuses run against the raw snapshot BEFORE drafting; all frozen-unit quotes opened at their line ranges this session. Span per owner ruling (ratified in staging): ONE UNIT, seam at 16:1, per-verse steps x21 — splitting at 15:7 would sever the question-pair (15:2 mah-titen / 15:8 ba-mah eda) and the give-arc (titen 15:2, natata 15:3, la-tet 15:7, va-yiten 15:10, natati 15:18 — natan tokens 16-20, census-exact). 258 tokens / 21 verses, census-exact. Machine shape: DECLARE x3 (one LET-NOT, two LET), RESULT x1 (the corpus's next settled cycle, claimed #8), 28 standing fact-lines, NOTE_PRESUPPOSED x3 ops / 4 names, ZERO tests/names/installs/ledger-rows/invariants; queue at rest 2 OPEN (the fear-prohibition, the look-and-count), 1 SETTLED (the take-command). INTERPRETER: ZERO extensions sought — every operator, mood, and scenario clause parses under the unmodified repo interpreter (preflight from scratchpad, draft-guard bypassed for preview only). THE DRAFT'S FLAGGED CHOICES (ratify-or-reverse, per flag): (1) THE 15:6 WEIGH [seed-flagged derive-time decision — STAGED BOTH WAYS, NOT RESOLVED; the owner triages at review]. The verse: VE-HEEMIN ba-YHWH ('and he BELIEVED in YHWH' — aman token 1, hiphil PERFECT, breaking the narrative-past chain: backgrounded, stative) VA-YACHSHEVEHA lo tzedaqah ('and He/he RECKONED it to him/Him as righteousness' — chashav token 1 + tzedaqah token 1). READING A (TEST-class verdict): the reckoning is a divine evaluation-event; the instrument roster HAS grown twice by frozen precedent — gen_12, quoted: 'TEST PASS(shaah, hevel_u_minchato) — the instrument changed (sha'ah for tov)'; gen_17, quoted: 'TEST PASS(tzaddik, noach): the corpus's first PERSON-verdict (the instrument roster grows: tov, shaah, now tzaddik)' — chashav would join as instrument #5, and the staged operator line, if ratified, is: TESTS += PASS(chashav, ve_heemin_ba_YHWH). READING B (held as FACT — THE ENCODING BELOW): no roster instrument fires at 15:6 (tov/shaah/tzaddik/nichoach censused: zero at the verse); chashav is NOT on the roster and its own early career is misjudgment (token 2 = 31:15 nechshavnu — Rachel and Leah 'are we not RECKONED foreigners'; token 3 = 38:15 VA-YACHSHEVEHA, the IDENTICAL form — 'he reckoned her a harlot'; tokens 4-5 = 50:20's double reckon, evil/good) [census]; and — the deciding mechanical ground — a TEST op requires naming the ORACLE, while the verse's BOTH pronouns are famously bare (who reckoned, to whom): frozen gen_30's discipline for a withheld subject, quoted from the tithe ruling ('the letter does not say who tithed to whom, and the machine does not either'), cuts against the machine resolving what the letter hides. ENCODED: FACT-pair (HOLDS x2, both pronouns bare in the machine tokens), with Reading A staged verbatim above for the owner's triage. Onkelos checked as ordered: the buffer KEEPS both pronouns bare (ve-chashvah leih — it declines to vote) and renders tzedaqah as ZAKHU ('merit') — the same merit-root the buffer used for Noach's tzaddik (frozen gen_17's buffer note: tzaddik -> zakkai) [dual-track]. (2) SETTLED CYCLE #8 CLAIMED [numbering for main-loop verification — gen_27's pattern, which claimed #6 the same way]: 15:9's QECHAH-LI ('TAKE for Me' — true imperative HVqv2ms with paragogic he, DB-verified; laqach token 29) pushes DECLARE(YHWH, LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal))), and 15:10's VA-YIQACH ('and he TOOK' — laqach token 30) pops it by RESULT: the demand's own verb returns as deed — frozen gen_17's class, quoted: 'the bo-demand — SETTLED CYCLE #2 (the demand's own verb'. And the arc lands: frozen gen_30's career line, quoted verbatim: 'token 29 is 15:9's qechah-li — GOD says take next, across the seam [career, prose]' — LANDED: after the king's abused take-imperative and Abram's take-refusal, the first take-command Abram obeys is God's, and it inaugurates the covenant rite. The demand says take-for-ME (li); the compliance says he-took-for-HIM (lo — bare pronoun, the letter's own asymmetry, held in prose). (3) THE FIRST DIVINE PLEA-NEGATIVE: 15:1's AL-TIRA ('FEAR NOT') — AL token 2 (census: token 1 = 13:8, Abram's own peace-plea, frozen gen_29's find) over TIRA, a JUSSIVE (HVqj2ms — the LET-NOT class's native coded mood), pushed as DECLARE(YHWH, LET-NOT(tira(avram))) on frozen gen_29's device, quoted: 'DECLARE(avram, LET-NOT(tehi(merivah, bein_avram_u_ven_lot)))' with its class note 'AL — the plea-negative particle's TORAH DEBUT, born in peace-making' [TIR-034]. The plea-negative born in Abram's mouth is aimed back at him as the corpus's first divine fear-not; it stands OPEN at the wall (LET-NOT has no resolution path — the S10 contract), and the letter's own sequel is the irony held in prose: the man told fear-not receives a falling DREAD at 15:12 (emah — dread's Torah debut; yare token 1 = 3:10, Adam afraid in the garden: the fear-verb's first two tokens are a hiding man and a shielding God) [census]. (4) THE COMPOUND LOOK-AND-COUNT DEMAND: 15:5's HABET (hiphil imperative) + U-SEFOR (qal imperative) ride ONE demand — DECLARE(YHWH, LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_ kokhavim))) — on frozen gen_29's compound-imperative device, quoted: 'DECLARE(YHWH, LET(sa_u_ree(avram, tzafonah_va_negbah_ va_qedmah_va_yamah)))' [TIR-027]. OPEN letter-faithfully: no looking and no counting is narrated — the letter itself doubts the counting inside the command (im tukhal li-sepor, 'IF you can count') [held]. SAFAR ('count') is born x2 in this command, and its token 3 is 16:10: lo yisafer me-rov ('shall NOT be counted for multitude') — the count-verb's first three tokens: count!, to-count, uncountable — the third in HAGAR's promise, across the seam [career, prose; gen_32 watch]. (5) THE QUESTION-ANSWER ARC IS PROSE, NOT MACHINE [seed order followed]: 15:2's MAH-TITEN-LI ('what will You GIVE me') is an interrogative, not an imperative or jussive — no DECLARE mood exists for questions and none is invented; the question is held as spoken FACT. 15:18's NATATI pops NOTHING (nothing was pushed by a question; nothing crosses frozen walls) — but the letter's own arc is named at both steps: the give-verb enters as Abram's question (titen, token 16) and exits as God's receipt (natati, token 20), with the purpose-infinitive (la-tet, 15:7), the complaint-perfect (natata, 15:3), and the rite's own quiet va-yiten (15:10 — Abram giving each piece against its fellow) strung between [census-exact, prose]. (6) THE TEN-NATIONS WEIGH [seed-flagged; ratify-or-reverse]: 15:19-21's ten gentilics are encoded as GRANT-ROSTER CONTENT — three standing fact-rows INSIDE the quoted grant-speech — and NOT as presupposed geography. Ground: the whole list sits inside 15:18's le-mor ('saying') — it is the grant's own extension, spoken; and frozen gen_24's device is the controlling analogue, quoted: 'noach are READ without prior install (standalone machine; the sons enter by the heading roster)' — the Table of Nations read ONE name and let seventy peoples enter by the letter's own roster: peoples are roster content, not places. The two RIVERS of 15:18 (nahar mitzrayim, nehar perat) ARE flagged as read geography. FLAGGED for triage; the alternative (a ten-name presupposed-read, gen_30's largest-roster class) is one NOTE_PRESUPPOSED op away if reversed. (7) ANI YHWH ('I am YHWH') — TORAH DEBUT AT 15:7 [census, counterexample-hunted Torah-wide]: the adjacency hunt (1cs pronoun + divine name, whole Torah) finds NO earlier token — 15:7 is the first time God says 'I am' + the Name. The ladder that follows: 17:1 ani El Shaddai, 28:13 anokhi YHWH (the ladder-dream), 35:11 ani El Shaddai, then Exod 6:2's ani YHWH and the plague-formula storm. And the debut's own shape is the Decalogue's, three books early: ANI YHWH ASHER HOTZETIKHA ME-UR KASDIM ('I am YHWH who BROUGHT YOU OUT of Ur of the Chaldees') against Exod 20:2's anokhi YHWH... asher hotzetikha me-eretz mitzrayim — same formula, same hiphil bring-out verb (yatza token 24 here; tokens 22-25 all in-span: the heir from your body, the stars-walk outside, out-of-Ur, out-of-bondage — one verb carries all four promises) [career, prose]. (8) THE DOUBLE-NAME CENSUS: ADONAI ('my Lord', 136) — TORAH DEBUT x2 in-span (15:2, 15:8: both inside Abram's two questions); tokens 3-6 are ALL the Sodom negotiation (18:27, 18:30, 18:31, 18:32) — the my-Lord word's first six tokens are all Abraham speaking to God. And the YHWH-pointed-as-Elohim lemma (3069 — the Name re-voweled when it follows adonai): ALL FOUR Torah tokens are 15:2, 15:8, Deut 3:24, Deut 9:26 — Abram's two questions and Moses' two prayers: the double-name exists in the Torah only in petition [census, verified]. (9) FIRST SPEECH TO GOD [census + frozen roster]: frozen gen_30's flag-7 roster, quoted: 'his three recorded speeches (12:11-13 fear, 13:8-9 peace, 14:22-24 refusal)' — Abram's FOURTH recorded speech (15:2-3, a DOUBLE va-yomer with no divine reply between them — the letter re-launches his complaint unanswered) is his first TO God; and frozen gen_27's silence-line completes, quoted: 'No reply is recorded: Abram's first response to God is a departure [letter's silence, held]' — the man who answered the call by walking now answers the vision by asking what a walk never asked: what will You GIVE. (10) THE TWO COVENANT SLEEPS' MORPH DELTA + a frozen prediction LANDS: frozen gen_09, quoted verbatim: 'cast-sleep (tardemah — 2 Torah tokens, the other is Abram's covenant sleep, Gen 15:12)' — LANDED (tardemah token 2 of 2, census). The delta: 2:21's sleep is CAST (va-yapel, hiphil — God fells it); 15:12's sleep FALLS (naflah, QAL — no agent, DB-verified): the woman's sleep is thrown, the covenant's sleep arrives; the machine fires fall(e) with no Agent accordingly [morph-grounded]. And the fall-verb doubles in the verse's own frame: the sleep FALLS at the etnachta, the dread is FALLING (nofelet, participle) at the silluq [tree fact]. (11) GLOSS_FIX candidates from this span's gloss column, each verified against the morph dump: heemin 'build-up' -> 'believe' (539); chashav 'plait' -> 'reckon' (2803); safar 'score-with-a-mark-as-a-tally' -> 'count' (5608); habet 'scan' -> 'look' (5027); lapid 'flambeau' -> 'torch' (3940); mi-mee-kha 'from-used-only-in-plural-the-inte-you/your' -> 'from your own body' (4578 — a dictionary artifact in the gloss column); ariri 'bare' -> 'childless' (6185 — Onkelos votes be-la velad, 'without a child'); dan 'straight-course' -> 'judge' (1777); va-yashev 'blow' -> 'drive away' (5380, Torah hapax). The last two are finds beyond the staged list. (12) SEED/STAGING CORRECTIONS (polite, with the frozen backup): (a) the staging pointed the rib-sleep precedent at gen_14 — the tardemah line lives in FROZEN gen_09_helper_woman_first_speech (grep + line-range opened this session; gen_14 is the Adam-line ledger, Gen 5); (b) the staged '15:6 roster instruments (tov/shaah/tzaddik/nichoach) all ABSENT' is refined: absent AT 15:6, but tov (2896 a) has exactly ONE in-span token — 15:15's attributive be-sevah TOVAH ('in GOOD old age'), inside the promise-speech, not an evaluation event [census]; (c) the staged chashav career (token 3 = 38:15, tokens 4-5 = 50:20) is confirmed and EXTENDED: token 2 = 31:15's nechshavnu (Rachel and Leah 'reckoned foreigners') — the reckon-verb's first five tokens are one righteousness and four misjudgments/reversals. (13) NAME CHOICE flagged: gen_31_covenant_pieces — the tradition's brit bein ha-betarim ('covenant between the pieces') carried by the letter's own words (bitro 'his piece', 15:10; ha-gezarim 'the pieces', 15:17 — both debut here, the second a Torah hapax). ONKELOS (Aramaic translation) read Tier-A at derive time (21 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03; cache MISS for the whole span as staged) — HEADLINE: THE MEMRA DOUBLE-ENTRY. At 15:1 anokhi magen lakh ('I am your shield') becomes MEIMRI TEKOF LAKH ('My WORD is your STRENGTH'), and at 15:6 ve-heemin ba-YHWH becomes ve-hemin BE-MEIMRA da-YHWH ('he believed in the WORD of YHWH'): the buffer sets the Memra (the divine Word) at BOTH ends of the faith-exchange — God's I becomes God's Word, and Abram's trust lands on the Word, in the very chapter the letter frames as a word-event (and the buffer names the genre: ba-machazeh 'in a vision' -> BI-NEVUAH, 'in PROPHECY'). Full findings, watch-point answers, and the repeat-buffer list in ORAL_onkelos_tier_a. PROSPECTIVE MIDDOT RUN queued as WATCHLIST_gen31_prospective (scratchpad; the cache middot scan is the MAIN LOOP'S gate, not claimed here).

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, PROCESS.md oral-first era; manifest logic/oral_audit/manifests/gen_31_covenant_pieces_claims.json — 12 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_31_2026-08-08.md). CROWNS (chain-attested + DB-verified): (1) THE DOUBLE NAME ONLY IN PETITION (G31-01, Minchat Shai on 15:2): אדני ("my Lord") before the Name — the Masorah's FOUR in the Torah: 15:2, 15:8, Deut 3:24, Deut 9:26 — Abram's two questions, Moses' two prayers. SNAPSHOT (the re-voweled Name lemma): exactly those four — this unit's own flag-8 census chain-attested word for word. (2) THE GREAT-WORD LAW (G31-06/07, the Ramah via Minchat Shai): הגדול ("the great") plene exactly EIGHT in the Torah — SNAPSHOT: eight exactly (opening at 10:21's "brother of Japheth the GREAT"); all others defective, including THIS span's הנהר הגדל ("the GREAT river," 15:18): the grant's Euphrates written lean as the Hilleli and the Ramah rule. (3) ויחשבה ("and he RECKONED it/her") — the identical form exactly TWICE in the Torah: righteousness (15:6) / harlot (Tamar, 38:15) — the machine's reckon-career find IS the Masorah's pair; third member Chanah (I Sam 1:13; edge): "the suspected-but-innocent are rewarded" (G31-04, Kitzur). (4) ויהי השמש ("and the sun was...") — exactly twice in the Torah, BOTH in-span (15:12 the dread, 15:17 the fire-pass): the rite bracketed by its own sun-formula (G31-05; the Kitzur's two-Temples reading named). (5) אליעזר one written word at exactly the Ramah's two sites — the heir who was not (15:2), Moses' son who was (Exod 18:4) (G31-02). (6) ערירי ("childless") — one Torah token (15:2); pair: Jehoiachin's decree (Jer 22:30; edge) (G31-03). (7) הקיני ("the Kenite") plene at exactly 15:19 and Balaam's Num 24:21 (G31-08) — Balaam carries a spelling pair for the third time this run. (8) THE CHAOS ACROSTIC (G31-10, Kitzur on 15:17): the initials of ועלטה היה והנה תנור ("and thick darkness was — and behold, an oven") carry the letters of תוהו ("chaos") — "He showed him the exiles, which are like chaos." (9) THE BANKED PARALLEL LANDS (G31-11): Minchat Shai's 13:8 note named this verse's והנה ("and behold") as its parallel for qadma (the forward accent-stroke) — SNAPSHOT: the stroke on the nun, verified two blocks after banking. (10) Pointing arbitrations (G31-09/12): אתם (15:13) defective with the Hilleli and all books; העיט ("the bird of prey") with patach (the open a-vowel) in the precise manuscripts against the printed Masorah — SNAPSHOT with the precise books both times. INHERITANCE EDGES (export_links, Torah side verified): 15:5 → Exod 32:13 / Deut 10:22 / Neh 9:23 — the star-count promise INVOKED by Moses in the calf crisis, DECLARED FULFILLED in Deuteronomy, sealed by the Levites' liturgy: the un-popped look-and-count demand's arc lives outside the span; 15:7 → Exod 20:2 / Neh 9:6-7 — flag-7's Decalogue-formula find carried by the link index; 15:1 → Ps 110:4 — the shield-vision joined to the Malki-Tzedek oath-psalm. READINGS (named-only): the finals of כי גר ("that a sojourner...") counting 210, the Egypt-years (Kitzur; arithmetic class); the astrology letter-value on ויוצא אתו החוצה; כה = 25 (years to Isaac); יהיה = 30 (the righteous of each generation); במה אדע through the atbash letter-swap = 400 (the decree); ודור paired with Ecclesiastes' generations. Machine layer untouched.

confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	Gen 15:1-21 as ONE UNIT (owner ruling on the staged recommendation), per-verse steps x21: the word and the fear-not (15:1), the two-question complaint (15:2-3), the heir-correction (15:4), the stars (15:5), the believe-reckon pivot (15:6), the self-naming (15:7), the second question (15:8), the take-command (15:9), the compliance and the cutting (15:10), the vultures (15:11), the sleep and the dread (15:12), the decree (15:13-16), the fire between the pieces (15:17), the covenant and the receipt (15:18), the ten nations (15:19-21). The chapter is one night-arc in two scenes sharing one dialogue frame: both scenes open on a divine 'I' (anokhi magen 15:1; ani YHWH 15:7), both turn on a question of Abram, and the give-verb runs end to end. 16:1 breaks cleanly (Sarai speaks; the barrenness file reopens). 21 verses, 258 tokens.	established
B	Hebrew source + trees	All 21 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Tree facts (accent positions DB-verified): 15:1 rests on le-mor and ends on harbe meod (the reward-clause verse-final); 15:2 RESTS ON ARIRI ('childless' — the complaint's word on the etnachta throne) and ends on dameseq eliezer; 15:3 rests on zara ('seed') and ends on yoresh oti; 15:4 rests on zeh ('THIS one' — the rejected heir at the rest) and ends on yirashekha ('shall inherit you'); 15:5 rests on li-sepor otam ('to count them') and ends on zarekha ('your seed' — the promise's last word); 15:6 — FIVE WORDS, the span's shortest verse — rests on ba-YHWH and ends on TZEDAQAH ('righteousness' on the silluq throne); 15:7 seats the say -frame alone before the rest and hangs the whole self-naming in the second arm, ending on le-rishtah ('to possess it'); 15:8 rests on VA-YOMAR ITSELF (a one-word etnachta arm — the say-verb alone at the rest) and ends on irashena ('shall I inherit it' — the question verse-final); 15:9 rests on the third meshulash ('threefold') and ends on ve-gozal (the uncut birds close the command); 15:10 rests on liqrat reehu ('opposite its fellow') and ENDS ON LO VATAR ('he did NOT cut' — the negation on the throne); 15:11 ends on AVRAM (the driver-off's name verse-final); 15:12 rests on naflah al-avram and ends on nofelet alav — the fall-verb on BOTH thrones, finite then participle; 15:13 rests on ve-inu otam ('and afflict them') and ends on shanah (the 400 years verse-final); 15:14 RESTS ON DAN ANOKHI ('I will JUDGE' — the judgment at the rest) and ends on bi-rekhush gadol (the exodus-wealth verse-final); 15:15 RESTS ON BE-SHALOM (the peace-debut ON the etnachta) and ends on be-sevah tovah; 15:16 seats THE SAME WORD ON BOTH THRONES — hena ('hither') at the etnachta, hena at the silluq: they return HERE; not yet full until HERE (and Onkelos splits the pair: haka 'here' / ad kean 'until NOW' — place kept, time resolved; dual-track); 15:17 rests on hayah (the dusk-clause) and ends on ha-gezarim ha-eleh ('THESE PIECES'); 15:18 RESTS ON BRIT LE-MOR ('covenant, saying' — the covenant-word at the rest) and ENDS ON NEHAR PERAT (the border's far end verse-final — Eden's river, token 2 after 2:14); 15:19-21 the list rows, ending on ha-yevusi (the Jebusite closes the grant). 15:5 and 15:13 carry geresh (rank-4) accents on va-yotze oto and yadoa teda respectively [rare-accent notes].	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03) and censuses run BEFORE drafting. THE DEMAND FIELD (the span's complete coded-mood census): 15:1 TIRA — jussive HVqj2ms under AL (the LET-NOT class); 15:5 HABET — hiphil imperative HVhv2ms + U-SEFOR — qal imperative HVqv2ms (the compound demand); 15:9 QECHAH — imperative HVqv2ms with paragogic he; plus two infinitive absolutes (15:1 harbe — the multiply-verb as adverb 'exceedingly'; 15:13 yadoa — the KNOW-doubling) and NOTHING else: one prohibition, three imperatives. THE RECEIPT GRAMMAR: within the divine speeches the ONLY first-person perfect is 15:18's NATATI ('I HAVE given', Vqp1cs — the performative; 15:13's va-avadum is a weqatal future-chain). VE-HEEMIN — hiphil PERFECT (not narrative past): the belief is stated, not evented [morph]. THE CENSUS HEADLINERS: ani YHWH debut (flag 7); adonai/3069 double-name field (flag 8); DEVAR-YHWH ('the word of YHWH') — the construct-adjacency census finds its only two Genesis tokens at 15:1 and 15:4, both in the prophets' frame (hayah devar-YHWH el, 'the word of YHWH came to') — the formula that will open the prophetic books is born here, twice, and leaves the Torah (the next adjacencies are Exod 9:20-21's 'feared the word of YHWH', a different frame) [census, prose]. YARASH ('inherit/possess') tokens 1-5 ALL IN-SPAN (15:3, 15:4 x2, 15:7, 15:8) — the inherit-verb is born five times in one dialogue about an heir; token 6 = 21:10, SARAH's expulsion-demand ('the slave-woman's son shall not INHERIT with my son') [census, prose]. The menagerie debuts in one verse (15:9): EGLAH ('heifer' — tokens 2-5 ALL Deut 21:3-6, the broken-neck rite: the heifer's whole Torah career is two rites), EZ ('she-goat'), AYIL ('ram' — the Akedah's substitute next), TOR ('turtledove') + GOZAL ('young pigeon' — its only other token is Deut 32:11's eagle-nestlings) — Leviticus's species-list born in one command; MESHULESHET ('threefold') x3 — its own triple, its only other Torah token Deut 19:3's ve-shilashta (tripling the roads to the refuge cities). BATAR ('cut in two') verb debut-and-nearly-die (2 tokens, both 15:10) + BITRO hapax + GEZARIM hapax (15:17): the cutting vocabulary exists in the Torah almost only in this rite [census]. THE SINAI KIT: ESH ('fire') — TORAH DEBUT at 15:17 (the fire-word's first token passes between the pieces; token 2 = 19:24, fire on Sodom; tokens 3-4 = the Akedah's fire); TANUR ('fire-pot') debut (token 3 = Lev 2:4, the minchah-oven); LAPID ('torch') — 2 Torah tokens: here and Exod 20:18 (Sinai's torches); ASHAN ('smoke') — 3 Torah tokens: here and Exod 19:18 x2 (Sinai in smoke) [careers, prose]. SHEMESH ('sun') debut x2 in-span (setting 15:12, set 15:17 — the unit runs on the sun's clock); token 3 = 19:23, the sun RISING on Lot entering Tzoar [census, prose]. TARDEMAH token 2 of 2 (flag 10). EMAH ('dread') debut + CHASHEKHAH ('darkness') hapax-form. THE DECREE FIELD: GER ('sojourner') — TORAH DEBUT inside 'your seed will be a ger'; frozen gen_28's line quoted at the step ('LA-GUR ("to SOJOURN") — the ger-root's Torah debut: the stranger-word is born on Abram's way down'); ger token 2 = 23:4 — ABRAHAM's own mouth at Sarah's grave ('ger ve-toshav anokhi'), WITH the bury-verb beside it: QAVAR ('bury') debuts at 15:15 and its tokens 2-3 are 23:4/23:6 — the decree's sojourn-and-bury pair recurs as a pair at Machpelah [census, prose]. ANAH ('afflict') token 1 — tokens 2-3 are 16:6 (SARAI afflicts Hagar) and 16:9 (the angel's submit-command): the afflict-verb crosses the seam into the very next chapter [career; gen_32 watch]. AVAD ('serve') tokens 7-8 in-span after frozen gen_30's token 6 ('the garden's work-verb... the sixth serves an empire' — quoted): now the seed itself will serve [career, prose]. DAN ('judge', 1777) token 2 — token 1 = 6:3's yadon; token 3 = 30:6, RACHEL naming DAN ('God has JUDGED me'); token 4 = 49:16, dan yadin amo: the judge-verb's Torah career is entangled with the tribe it names [census, prose; GLOSS_FIX 'straight-course']. SHUV token 12 (yashuvu, the fourth-generation return) after gen_30's restore-cluster (8-11); token 13 = 16:9, the angel's SHUVI to Hagar [career; gen_32 watch]. AVON ('iniquity') token 2 (token 1 = 4:13, Cain's; token 3 = 19:15, Sodom's morning) [census]. SHALEM ('complete', 8003) token 1 — one skeleton from 14:18's Salem city (8004, Torah hapax): shalem the city hosted the blessing; shalem the adjective withholds the land [sibling-skeleton sound-observation, gen_30's Bera/Birsha class — no claim; and Onkelos KEEPS the skeleton: la shelim]. QAVAR/SEVAH/ SHALOM debuts in one promise-verse (15:15): the peace-word's first token is a burial promise, ON the etnachta [tree fact]. HENA x2 both tokens 1-2 (15:16). REKHUSH token 8 (flag: gen_30's named-only line LANDS). PERAT token 2 (token 1 = 2:14 — Eden's fourth river is the covenant's far border) [census]. MAGEN token 1 of 2 (token 2 = Deut 33:29 — the shield-word opens Abram's covenant and closes Moses' blessing of Israel) [census]. MACHAZEH ('vision') — TORAH DEBUT; its only other tokens are Num 24:4/24:16 — BILAM's visions [census, prose]. SEKHAR ('reward') — TORAH DEBUT; tokens 2-4 are all the Yaakov-Lavan wage cycle (30:18-33): comfort-word to haggling-word [census, prose]. ANOKHI tokens 1-4: 3:10 (Adam: 'I was afraid... I hid'), 4:9 (Cain: 'am I my brother's keeper?'), 7:4 (God: 'I will rain'), 15:1 (anokhi MAGEN) — the I-word's fourth token answers its first: the afraid-I meets the shield-I [census, prose]. SAY-ROSTER (census-exact): 11 say-tokens — 15:1 le-mor (the word-frame), 15:2 Abram, 15:3 Abram (the unanswered double), 15:4 le-mor (the word again), 15:5 va-yomer x2 (God re-launches inside one verse), 15:7 God, 15:8 Abram (va-yomar, seated ALONE on the etnachta), 15:9 God, 15:13 God (the decree), 15:18 le-mor (the grant): the densest divine-speech unit since gen_21/22 and the first true God-and-Abram dialogue. NO ktiv/qere pairs in-span [census]. 258 tokens / 21 verses [census-exact].	tested
D	Predicates & outcomes	The machine's queue tells the unit's story in three moods: a prohibition that cannot pop (fear-not — LET-NOT, the S10 contract), a command left letter-faithfully open (look and count — the letter doubts the counting inside the command), and a command OBEYED — the take-demand popped by the take-deed one verse later (settled cycle #8 claimed, flag 2): the first divine demand settled since gen_27's lekh (#6), and the first ever settled inside a covenant rite. Around the queue: 28 standing fact-lines carry the dialogue (the shield and the reward, the childless complaint and the heir-correction, the star-promise, the believe-reckon pair — flag 1, encoded FACT, staged both ways), the self-naming (ani YHWH), the second question, the bird-not-cut negation, the dread, the four-verse decree (sojourn-serve-afflict; the judged nation and the exodus wealth; the peaceful burial; the fourth-generation return and the un-full iniquity), the dusk, the receipt (natati) and the river-to-river border, and the ten-nation grant-roster (flag 6). EVENTS: the word comes twice (the prophets' formula, born and gone), Abram speaks to God for the first time, God brings him outside, the rite's deeds (take, cut, give-each-piece, drive off the vultures), the sleep falls agentless (flag 10), the fire passes, the covenant is CUT (karat token 2 — gen_22's prediction LANDS). TESTS: EMPTY (the 15:6 weigh encoded as FACT — flag 1; the owner triages). NAME zero; REGISTRY zero; INSTALLS zero (a covenant is cut and nothing is built); LEDGER empty; INVARIANT zero (15:18's natati carries NO perpetuity clause — the ad-olam of 13:15 does not recur; gen_29's FACT ruling governs a fortiori).	tested
E	Logic format choice	Operator lines; per-verse steps x21. DECLARE x3: LET-NOT( tira(avram)) [15:1, divine — gen_29's 13:8 class, TIR-034]; LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) [15:5 — gen_29's compound device, TIR-027]; LET(qechah( avram, eglah_ez_ayil_tor_ve_gozal)) [15:9 — TIR-027]. RESULT x1 [15:10 — pops the qechah demand; settled cycle #8 claimed, flag 2]. EVENTs (19): come x2 (the word, 15:1/15:4), say x8 (Abram 15:2, 15:3, 15:8; God 15:5 x2, 15:7, 15:9, 15:13), bring_out (15:5), take + cut + give (15:10 — the compliance, the piel chop, the quiet va-yiten), descend + drive_off (15:11), fall (15:12 — AGENTLESS, flag 10), pass (15:17 — the fire-symbol), cut_covenant (15:18). Standing facts: 28 HOLDS lines. NOTE_PRESUPPOSED x3 ops / 4 names (dameseq; ur_kasdim; nahar_mitzrayim + nehar_perat) — the ten gentilics are grant-roster facts, NOT reads [flag 6]. NAME x0, TESTS x0, LEDGER x0, REGISTRY_INSTALL x0, INVARIANT x0. Queue at rest: 2 OPEN (one LET-NOT, one LET), 1 settled. Interpreter extensions: NONE.	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: tira(avram), habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim), qechah(avram, eglah_ez_ayil_ tor_ve_gozal), anokhi_magen_lakh, ani_YHWH_asher_hotzetikha_ me_ur_kasdim, va_yachsheveha_lo_tzedaqah, le_zarakha_natati_et_ha_aretz_ha_zot.	established
G	Oral (named only) + Tier-A translation check	Named but NOT read (queue only — the cache middot scan is the main loop's gate): Bereshit Rabbah 44 (the span; the four-kingdoms reading of the menagerie/dread classes; the astrology-exit class — 'go out of your star-gazing'); Rashi at 15:1 (after-which-things files), 15:2 (ben-mesheq), 15:6 (the credit class), 15:9 (the threefold), 15:10 (the pieces-as-nations class), 15:13 (the 400-year arithmetic from Yitzchak's birth), 15:17 (the Gehinnom-and-exiles class); Ramban at 15:6 (WHO reckoned to whom — the pronoun dispute named), 15:18 (grant vs promise); Bavli Berakhot 7b (Adonai's debut class — 'from the day God created the world, no one called Him Adon until Abraham'); Nedarim 32a (the decree-cause dispute: the mah-titen / ba-mah eda questions weighed); Mekhilta/Shemot parallels on the 400/430 (named only). Tier-A Onkelos (21 fetches, Data/FETCHLOG.md 2026-08-03): findings in ORAL_onkelos_tier_a — headline: the MEMRA double-entry (15:1 meimri teqof lakh; 15:6 be-meimra); the rite liturgized (qarev kodamai — 'OFFER before Me'); the threefold read as three-of-each (the menagerie 5 -> 11); the pronouns of 15:6 kept bare (the buffer declines to vote).	tested
H	Scenarios	S1 the word and the shield: LET-NOT pushed and OPEN, shield/reward facts hold. S2 the double complaint: facts hold, dameseq flagged, no test no name. S3 the heir-correction facts. S4 the stars: the compound LET pushed and OPEN, the promise-fact holds. S5 the pivot: believe/reckon facts hold, NO TEST (flag 1's encoding asserted). S6 the self-naming and the second question: facts hold, ur_kasdim flagged. S7 the take-command pushed and OPEN. S8 the compliance: the pop asserted in prose (given_en — the Chanokh device), the two standing demands still OPEN, the bird-negation fact holds. S9 the dread facts. S10 the decree facts (four verses). S11 the covenant: natati and border facts hold, the rivers flagged. S12 the close: both demands OPEN, the three grant-rows hold, no test, no name, LEDGER stays EMPTY. S13_negative LET? guard; S14_negative flag-never-block.	tested
I	English leakage review	Operators derive from morph codes (the jussive under al, the three imperatives, the paragogic-he take, the hiphil perfect heemin, the qal naflah vs 2:21's hiphil, the 1cs perfect natati, the weqatal decree-chain; TIR-014/026/027/ 032/034) and censuses run BEFORE drafting (the ani-YHWH Torah-wide adjacency hunt; the devar-YHWH formula hunt; the adonai/3069 fields; aman/chashav/tzedaqah careers; the say-roster; the coded-mood census; the instrument- roster absence check; laqach 27-31; natan 15-22; yatza 20-27; the menagerie, rite, decree, and border careers; the no-ktiv/qere check; 258/21 totals). NOT supplied: who reckoned what to whom at 15:6 (both pronouns bare — the letter hides, the machine holds, the buffer declines, the owner triages); whether the question-arc is machine (it is prose — flag 5); the identity of the pieces (the chain's four-kingdoms files named-only); the 400-year arithmetic (named-only); the ten nations as conquest program (the letter grants, it does not command); the Memra's theology (the buffer's, dual-track, never merged).	established
J	Pre-flight + draft ship	Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen31.py; draft guard bypassed for preview only). Ships as STATUS: DRAFT by the gen-5 block agent (mechanics only, first unit of its tenure); the main loop verifies quotes, re-runs censuses, rules on flags 1-13 (flag 1 is the staged-both-ways owner triage), and freezes through the standard gate chain.	established

Boot steps — the operator lines (hand-derived, owner-approved)

STEP_Gn_15_1 · Gen.15.1 · THE_WORD_THE_SHIELD_AND_THE_FEAR_NOT

אַחַר הַדְּבָרִים הָאֵלֶּה הָיָה דְבַר־יְהוָה אֶל־אַבְרָם בַּמַּחֲזֶה לֵאמֹר אַל־תִּירָא אַבְרָם אָנֹכִי מָגֵן לָךְ שְׂכָרְךָ הַרְבֵּה מְאֹד · achar ha-devarim ha-eleh hayah devar-YHWH el-avram ba-machazeh le-mor al-tira avram anokhi magen lakh sekharkha harbeh meod · [EN-AID/JPS] After these things the word of the LORD came unto Abram in a vision, saying: 'Fear not, Abram, I am thy shield, thy reward shall be exceeding great.'

LEFT
אחר הדברים האלה היה דבר־יהוה אל־אברם במחזה לאמר · achar ha-devarim ha-eleh hayah devar-YHWH el-avram ba-machazeh le-mor · after these things, the word of YHWH to Abram in a vision (etnachta arm ends on le-mor)

RIGHT
אל־תירא אברם אנכי מגן לך שכרך הרבה מאד · al-tira avram anokhi magen lakh sekharkha harbeh meod · fear not — I am your shield; your reward exceedingly great: the verse ends on harbe meod

operator	expression	Hebrew anchor	cites	confidence
EVENT	come(e1) ∧ Theme(e1, devar_YHWH) ∧ Goal(e1, avram) = come(e1) ∧ Theme(e1, devar-the-LORD) ∧ Goal(e1, avram) THE PROPHETS' FORMULA, BORN: hayah devar-YHWH el ('the word of YHWH came to') — the construct-adjacency census finds devar-YHWH's only two Genesis tokens at 15:1 and 15:4, and no other Torah verse carries this frame (Exod 9:20-21's 'feared the word of YHWH' is a different syntax): the sentence that will open the prophetic books debuts here and leaves the Torah [census, prose]. BA-MACHAZEH ('in a VISION') — TORAH DEBUT; the vision-word's only other Torah tokens are Num 24:4 and 24:16: BILAM's visions — the genre-word belongs to this night and to a foreign seer [census, prose]. Onkelos names the genre outright: ba-machazeh -> BI-NEVUAH ('in PROPHECY') [dual-track]. ACHAR HA-DEVARIM HA-ELEH ('after these things') — the davar-word carries both senses in one verse: after these THINGS, the WORD came [letter fact].	הָיָה דְבַר־יְהוָה אֶל־אַבְרָם בַּמַּחֲזֶה · hayah devar-YHWH el-avram ba-machazeh = was devar-the-LORD to-avram in-the-machazeh	TIR-014	tested
DECLARE	DECLARE(YHWH, LET-NOT(tira(avram))) = DECLARE(the-LORD, LET-NOT(tira(avram))) THE FIRST DIVINE PLEA-NEGATIVE [flag 3]: AL token 2 — token 1 is 13:8, Abram's own al-na ('let there be no strife'), and the controlling class is frozen gen_29's, quoted: 'DECLARE(avram, LET-NOT(tehi(merivah, bein_avram_u_ven_lot)))' with 'AL — the plea-negative particle's TORAH DEBUT, born in peace-making' — the particle born in Abram's mouth is aimed back at him as the corpus's first divine fear-not. TIRA is a JUSSIVE (HVqj2ms — the LET-NOT class's native coded mood, DB-verified) [TIR-034]. Pushed; OPEN at the wall — a LET-NOT has no resolution path (the S10 contract), and the letter's sequel is its own commentary: the dread of 15:12 falls on the man told not to fear [prose]. YARE ('fear') token 2 — token 1 is 3:10, Adam's va-ira ('I was AFRAID') in the garden: the fear-verb's first two tokens are a hiding man and a shielding God [census, prose].	אַל־תִּירָא אַבְרָם · al-tira avram = upon-tira avram	TIR-034	tested
PRECONDITION_STATE	HOLDS(anokhi_magen_lakh, t0) ∧ HOLDS(sekharkha_harbeh_meod, t0) = HOLDS(anokhi-magen-to-you, t0) ∧ HOLDS(sekharkha-harbeh-very, t0) THE SEAM-PUN LANDS [cross-wall, prose + [OPEN], nothing pops]: MAGEN ('shield', 4043) — token 1 of 2, and frozen gen_30 staged this landing at 14:20, quoted verbatim: 'the priest says "He delivered" (miggen) and God will answer "I am a shield" (magen) — same skeleton, verb then noun, across the wall' — LANDED: the answer-half arrives, one verse across the frozen wall (magen's only other Torah token is Deut 33:29 — the shield-word opens Abram's covenant and closes Moses' blessing) [census]. ANOKHI token 4 — tokens 1-3: Adam's afraid-I (3:10), Cain's keeper?-I (4:9), God's rainer-I (7:4): the I-word's fourth token answers its first — the afraid-I meets the shield-I [census, prose]. SEKHARKHA ('your REWARD') — TORAH DEBUT, the verse after wages were refused (14:23-24's thread-and-thong) [letter sequence, cross-wall prose]; its tokens 2-4 are all the Yaakov-Lavan wage cycle (30:18-33) [census]. HARBEH ('exceedingly') — the multiply-verb as infinitive absolute, adverbial [morph]. Onkelos performs the unit's headline here: anokhi magen lakh -> MEIMRI TEQOF LAKH ('My WORD is your STRENGTH') — the Memra enters [dual-track, flagged at the oral note].	אָנֹכִי מָגֵן לָךְ שְׂכָרְךָ הַרְבֵּה מְאֹד · anokhi magen lakh sekharkha harbeh meod = anokhi magen to-you sekharkha harbeh very	—	tested

The chapter opens in a genre the Torah will never use again: a word arrives in a vision, tells a man not to fear, and names itself shield and wage — the two things the war chapter just showed him refusing and needing.

STEP_Gn_15_2 · Gen.15.2 · THE_FIRST_SPEECH_TO_GOD

וַיֹּאמֶר אַבְרָם אֲדֹנָי יֱהוִה מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ עֲרִירִי וּבֶן־מֶשֶׁק בֵּיתִי הוּא דַּמֶּשֶׂק אֱלִיעֶזֶר · va-yomer avram adonai YHWH mah-titen-li ve-anokhi holekh ariri u-ven-mesheq beti hu dameseq eliezer · [EN-AID/JPS] And Abram said: 'O Lord GOD, what wilt Thou give me, seeing I go hence childless, and he that shall be possessor of my house is Eliezer of Damascus?'

LEFT
ויאמר אברם אדני יהוה מה־תתן־לי ואנכי הולך ערירי · va-yomer avram adonai YHWH mah-titen-li ve-anokhi holekh ariri · what will You give me, and I go CHILDLESS (the etnachta throne is ariri)

RIGHT
ובן־משק ביתי הוא דמשק אליעזר · u-ven-mesheq beti hu dameseq eliezer · and my house's possession-son is Damascus-Eliezer — the verse ends on the steward's name

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e2) ∧ Agent(e2, avram) ∧ Goal(e2, YHWH) = say(e2) ∧ Agent(e2, avram) ∧ Goal(e2, the-LORD) ABRAM'S FOURTH RECORDED SPEECH — HIS FIRST TO GOD [flag 9]: frozen gen_30's roster, quoted: 'his three recorded speeches (12:11-13 fear, 13:8-9 peace, 14:22-24 refusal)' — fear to his wife, peace to his kinsman, refusal to a king, and now a QUESTION to God; and frozen gen_27's silence-line completes, quoted: 'No reply is recorded: Abram's first response to God is a departure [letter's silence, held]' — the man who answered the call by walking answers the vision by asking. ADONAI ('my Lord', 136) — TORAH DEBUT; its first six tokens are ALL Abram/Abraham speaking to God (15:2, 15:8, then the Sodom negotiation x4, 18:27-32) [census]. And the Name behind it is the 3069 lemma — YHWH pointed to be read Elohim after adonai — whose ENTIRE Torah career is four tokens: Abram's two questions (15:2, 15:8) and Moses' two prayers (Deut 3:24, 9:26): the double-name exists in the Torah only in petition [flag 8, census].	וַיֹּאמֶר אַבְרָם אֲדֹנָי יֱהוִה · va-yomer avram adonai YHWH = and-yomer avram adonai the-LORD	—	tested
PRECONDITION_STATE	HOLDS(mah_titen_li_ve_anokhi_holekh_ariri, t0) ∧ HOLDS(ben_mesheq_beti_hu_dameseq_eliezer, t0) = HOLDS(mah-titen-to-me-and-anokhi-holekh-ariri, t0) ∧ HOLDS(ben-mesheq-beti-that-dameseq-eliezer, t0) THE QUESTION IS PROSE, NOT MACHINE [flag 5, seed order]: MAH-TITEN-LI ('what will You GIVE me') is an interrogative — no DECLARE mood exists for questions and none is invented; held as spoken fact, with the give-arc named: TITEN is natan token 16, and the verb will answer in its own grammar at 15:18 (natati, token 20 — the question-answer arc runs inside one unit, in prose). ARIRI ('childless') — TORAH DEBUT, seated ON THE ETNACHTA [tree fact]; its only other Torah tokens are Lev 20:20-21, childlessness as sanction [census; GLOSS_FIX 'bare' -> 'childless'; Onkelos: be-la velad, 'without a child']. BEN-MESHEQ ('possession-son') — mesheq a TORAH HAPAX chiming with DAMESEQ one word later [sound-observation only, gen_30's Bera/Birsha class; Onkelos resolves the office: bar parnasa, 'the provision-steward']. The heir-candidate enters as a CITY-tagged name and the verse ends on him [tree fact].	מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ עֲרִירִי וּבֶן־מֶשֶׁק בֵּיתִי הוּא דַּמֶּשֶׂק אֱלִיעֶזֶר · mah-titen-li ve-anokhi holekh ariri u-ven-mesheq beti hu dameseq eliezer = mah-titen-to-me and-anokhi holekh ariri and-ven-mesheq beti that dameseq eliezer	—	tested
NOTE_PRESUPPOSED	dameseq are READ without prior install (known geography) flag, not fix — and frozen gen_30's named-only line LANDS, quoted: 'Damascus token 1 — its token 2 is 15:2, Eliezer's city, across the seam, named-only' [landed; the pursuit's far marker is now the heir-candidate's tag]	—	—	tested

The first thing Abram ever says to God is a question about the only verb God keeps using: give — asked by a man whose verse rests on the word childless and ends on the name of another man's city.

STEP_Gn_15_3 · Gen.15.3 · THE_COMPLAINT_RELAUNCHED

וַיֹּאמֶר אַבְרָם הֵן לִי לֹא נָתַתָּה זָרַע וְהִנֵּה בֶן־בֵּיתִי יוֹרֵשׁ אֹתִי · va-yomer avram hen li lo natata zara ve-hineh ven-beti yoresh oti · [EN-AID/JPS] And Abram said: 'Behold, to me Thou hast given no seed, and, lo, one born in my house is to be mine heir.'

LEFT
ויאמר אברם הן לי לא נתתה זרע · va-yomer avram hen li lo natata zara · behold, to me You have given no seed (the etnachta throne is zara — 'seed')

RIGHT
והנה בן־ביתי יורש אתי · ve-hineh ven-beti yoresh oti · and behold, my house-son inherits me

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e3) ∧ Agent(e3, avram) ∧ Goal(e3, YHWH) = say(e3) ∧ Agent(e3, avram) ∧ Goal(e3, the-LORD) THE UNANSWERED DOUBLE: va-yomer avram twice with no divine reply between (15:2, 15:3) — the letter re-launches the complaint into silence [say-roster census, letter fact]. The restatement sharpens question into accusation: NATATA ('You HAVE given' — natan token 17, perfect) negated — the receipt-grammar of 15:18 used in reverse, eleven verses early: You have NOT given [census, prose].	וַיֹּאמֶר אַבְרָם · va-yomer avram = and-yomer avram	—	tested
PRECONDITION_STATE	HOLDS(hen_li_lo_natata_zara, t0) ∧ HOLDS(ben_beti_yoresh_oti, t0) = HOLDS(hen-to-me-not-natata-zara, t0) ∧ HOLDS(ben-beti-yoresh-me, t0) YARASH ('inherit/possess') — TORAH DEBUT, and the verb is born FIVE TIMES IN ONE DIALOGUE (tokens 1-5 all in-span: 15:3, 15:4 x2, 15:7, 15:8 — a participle, two object-suffixed imperfects, a purpose infinitive, a first-person imperfect): the inherit-verb enters the corpus as a dispute about who inherits a childless man; its token 6 is 21:10 — SARAH's 'the slave-woman's son shall not INHERIT with my son' [census, prose]. The complaint rests on ZARA ('seed') at the etnachta [tree fact]. Onkelos: zara -> VELAD ('a child') — the seed-word concretized, the gen_29 buffer-family again [dual-track].	הֵן לִי לֹא נָתַתָּה זָרַע וְהִנֵּה בֶן־בֵּיתִי יוֹרֵשׁ אֹתִי · hen li lo natata zara ve-hineh ven-beti yoresh oti = hen to-me not natata zara and-hineh ven-beti yoresh me	—	tested

Twice he speaks and nothing answers yet: the give-verb turned perfect and negative, the seed-word on the throne, and a verb the Torah has never needed before — inherit — coined five times for a man with no one to leave anything to.

STEP_Gn_15_4 · Gen.15.4 · THE_HEIR_CORRECTION

וְהִנֵּה דְבַר־יְהוָה אֵלָיו לֵאמֹר לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר יֵצֵא מִמֵּעֶיךָ הוּא יִירָשֶׁךָ · ve-hineh devar-YHWH elav le-mor lo yirashkha zeh ki-im asher yetze mi-meekha hu yirashekha · [EN-AID/JPS] And, behold, the word of the LORD came unto him, saying: 'This man shall not be thine heir; but he that shall come forth out of thine own bowels shall be thine heir.'

LEFT
והנה דבר־יהוה אליו לאמר לא יירשך זה · ve-hineh devar-YHWH elav le-mor lo yirashkha zeh · the word again: THIS one shall not inherit you (the etnachta throne is zeh — 'this one')

RIGHT
כי־אם אשר יצא ממעיך הוא יירשך · ki-im asher yetze mi-meekha hu yirashekha · but the one who comes out of your own body — HE shall inherit you (verse-final)

operator	expression	Hebrew anchor	cites	confidence
EVENT	come(e4) ∧ Theme(e4, devar_YHWH) ∧ Goal(e4, avram) = come(e4) ∧ Theme(e4, devar-the-LORD) ∧ Goal(e4, avram) The formula's second and last Torah firing [census, see 15:1] — and this time behind VE-HINEH ('and behold'): the narrator marks the answer's arrival as a surprise inside the vision. The silence after two complaints breaks by word-event, not by say-verb [letter fact].	וְהִנֵּה דְבַר־יְהוָה אֵלָיו לֵאמֹר · ve-hineh devar-YHWH elav le-mor = and-hineh devar-the-LORD to-him to-mor	TIR-014	tested
PRECONDITION_STATE	HOLDS(lo_yirashkha_zeh, t0) ∧ HOLDS(asher_yetze_mi_meekha_hu_yirashekha, t0) = HOLDS(not-yirashkha-this, t0) ∧ HOLDS(which-yetze-from-meekha-that-yirashekha, t0) A NEGATION AND A PROMISE, both held as FACT: lo yirashkha is 'lo + imperfect' in a PREDICTION frame, not a command frame — no LET-NOT (TIR-034 governs prohibitions; this forecloses a future), and the promise-half carries no duration clause — frozen gen_27's promise-FACT class governs. THE REJECTED HEIR SITS ON THE ETNACHTA (zeh, 'THIS one' — the letter points and rests) and the true heir's verb ends the verse (yirashekha) [tree facts]. MI-MEEKHA ('out of your own BODY') — the innards-word's Torah debut [GLOSS_FIX: the DB gloss is a dictionary artifact; Onkelos: bar de-tolid, 'the son you will BEGET']. YETZE — yatza token 22: the bring-out verb starts its in-span run (the heir from your body, the stars-walk, out-of-Ur, out-of-bondage — tokens 22-25, one verb under all four promises) [census, prose].	לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר יֵצֵא מִמֵּעֶיךָ הוּא יִירָשֶׁךָ · lo yirashkha zeh ki-im asher yetze mi-meekha hu yirashekha = not yirashkha this when-if which yetze from-meekha that yirashekha	—	tested

The answer names no name: it cancels a pronoun and promises a body — the rejected THIS at the rest, the unborn HE at the end, and the inherit-verb doubled around them.

STEP_Gn_15_5 · Gen.15.5 · THE_STARS_AND_THE_COUNT_COMMAND

וַיּוֹצֵא אֹתוֹ הַחוּצָה וַיֹּאמֶר הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר הַכּוֹכָבִים אִם־תּוּכַל לִסְפֹּר אֹתָם וַיֹּאמֶר לוֹ כֹּה יִהְיֶה זַרְעֶךָ · va-yotze oto ha-chutzah va-yomer habet-na ha-shamaymah u-sefor ha-kokhavim im-tukhal lispor otam va-yomer lo koh yihyeh zarekha · [EN-AID/JPS] And He brought him forth abroad, and said: 'Look now toward heaven, and count the stars, if thou be able to count them'; and He said unto him: 'So shall thy seed be.'

LEFT
ויוצא אתו החוצה ויאמר הבט־נא השמימה וספר הכוכבים אם־תוכל לספר אתם · va-yotze oto ha-chutzah va-yomer habet-na ha-shamaymah u-sefor ha-kokhavim im-tukhal lispor otam · outside: look at the heavens and count the stars — if you can count them (etnachta arm)

RIGHT
ויאמר לו כה יהיה זרעך · va-yomer lo koh yihyeh zarekha · and He said to him: SO shall your seed be — the verse ends on zarekha ('your seed')

operator	expression	Hebrew anchor	cites	confidence
EVENT	bring_out(e5) ∧ Agent(e5, YHWH) ∧ Theme(e5, avram) = bring-out(e5) ∧ Agent(e5, the-LORD) ∧ Theme(e5, avram) VA-YOTZE (yatza token 23, hiphil) — God brings the man OUT (ha-chutzah, directional-he 'outside-ward', paired with ha-shamaymah 'heavens-ward' in the next clause: the verse walks outward and points upward, both by suffix) [morph, letter fact]. Two verses later the same hiphil in God's mouth is Ur (hotzetikha) — the vision's small bring-out rehearses the biography's big one [in-span echo, prose].	וַיּוֹצֵא אֹתוֹ הַחוּצָה · va-yotze oto ha-chutzah = and-yotze it the-chutzah	TIR-014	tested
EVENT	say(e6) ∧ Agent(e6, YHWH) ∧ Goal(e6, avram) = say(e6) ∧ Agent(e6, the-LORD) ∧ Goal(e6, avram) God's first say-token since the wall — the answer moves from word-event to speech [say-roster].	וַיֹּאמֶר · va-yomer = and-yomer	—	tested
DECLARE	DECLARE(YHWH, LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim))) = DECLARE(the-LORD, LET(habet-and-sefor(avram, the-shamaymah-and-the-stars))) THE COMPOUND LOOK-AND-COUNT DEMAND [flag 4]: HABET (hiphil imperative HVhv2ms; nabat's TORAH DEBUT — its tokens 2-3 are 19:17/26: the command NOT to look back and Lot's wife looking) + U-SEFOR (qal imperative HVqv2ms; safar's TORAH DEBUT) ride ONE demand on frozen gen_29's compound device, quoted: 'DECLARE(YHWH, LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_ va_yamah)))' [TIR-027]. Pushed; OPEN letter-faithfully: no looking and no counting is narrated, and the letter doubts its own command inside it — IM TUKHAL LISPOR ('IF you can count them': safar token 2; token 3 is 16:10's lo yisafer, 'shall NOT be counted' — count!, to-count, uncountable: the verb's first three tokens, the third in Hagar's promise across the seam) [census, prose; gen_32 watch]. NA ('please') — the plea-particle in a divine imperative [morph].	הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר הַכּוֹכָבִים · habet-na ha-shamaymah u-sefor ha-kokhavim = habet-na the-shamaymah and-sefor stars	TIR-027	tested
EVENT	say(e7) ∧ Agent(e7, YHWH) ∧ Goal(e7, avram) = say(e7) ∧ Agent(e7, the-LORD) ∧ Goal(e7, avram) The DOUBLE va-yomer inside one verse — God re-launches exactly as Abram did at 15:2-3: the dialogue's two double-speeches mirror [say-roster, letter fact].	וַיֹּאמֶר לוֹ · va-yomer lo = and-yomer not	—	tested
PRECONDITION_STATE	HOLDS(koh_yihyeh_zarekha, t0) = HOLDS(koh-yihyeh-zarekha, t0) KOH ('SO/thus') — TORAH DEBUT: the comparison-word is born pointing at stars, its referent a night sky [census]. Promise-FACT (no duration clause — gen_27's class): the seed will be LIKE THAT — the verse ends on zarekha [tree fact]. KOKHAVIM ('stars') token 2 — token 1 is 1:16 (the stars MADE), token 3 is 22:17 (the oath's ke-khokhvei ha-shamayim): made, counted, sworn [census, prose].	כֹּה יִהְיֶה זַרְעֶךָ · koh yihyeh zarekha = koh yihyeh zarekha	—	tested

God answers a bookkeeping question with astronomy: an imperative to count the uncountable, a promise built on the failure of the command — and the machine holds the demand open exactly as the sky holds the count.

STEP_Gn_15_6 · Gen.15.6 · THE_BELIEF_AND_THE_RECKONING

וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה · ve-heemin ba-YHWH va-yachsheveha lo tzedaqah · [EN-AID/JPS] And he believed in the LORD; and He counted it to him for righteousness.

LEFT
והאמן ביהוה · ve-heemin ba-YHWH · and he BELIEVED in YHWH (the etnachta throne is the Name)

RIGHT
ויחשבה לו צדקה · va-yachsheveha lo tzedaqah · and He/he reckoned it to him/Him as righteousness — the verse ends on tzedaqah

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_heemin_ba_YHWH, t0) ∧ HOLDS(va_yachsheveha_lo_tzedaqah, t0) = HOLDS(and-heemin-in-the-the-LORD, t0) ∧ HOLDS(and-yachsheveha-not-tzedaqah, t0) THE WEIGH — ENCODED AS FACT-PAIR, STAGED BOTH WAYS, NOT RESOLVED [flag 1, seed-flagged; the owner triages]. The span's shortest verse (FIVE words) carries three Torah debuts: VE-HEEMIN ('and he BELIEVED' — aman token 1, hiphil PERFECT, not narrative past: the belief is stated as standing, not fired as event [morph]); VA-YACHSHEVEHA ('and He/he RECKONED it' — chashav token 1, narrative past with a bare feminine object); TZEDAQAH ('righteousness' — token 1; token 2 is 18:19, la-asot tzedaqah u-mishpat, Abraham's house-charge). READING A (TEST): the roster has grown twice by frozen precedent — gen_12 ('the instrument changed — sha'ah for tov') and gen_17 ('the instrument roster grows: tov, shaah, now tzaddik') — and chashav could join it; the staged line if ratified: TESTS += PASS(chashav, ve_heemin_ba_YHWH). READING B (FACT — encoded): no roster instrument fires here (tov/shaah/tzaddik/ nichoach censused zero AT THIS VERSE); chashav's own early career is misjudgment (31:15 'reckoned foreigners'; 38:15 the IDENTICAL va-yachsheveha — 'he reckoned her a harlot'; 50:20's double reckon) [census]; and a TEST op must name its ORACLE while the verse's BOTH pronouns are famously bare — who reckoned, to whom: frozen gen_30's withheld-subject discipline, quoted from the tithe ruling ('the letter does not say who tithed to whom, and the machine does not either'), holds the machine back from resolving what the letter hides. The FACT tokens keep both pronouns bare. Onkelos, checked as ordered: ve-hemin BE-MEIMRA da-YHWH ('in the WORD of YHWH' — the Memra headline's second entry); ve-chashvah leih li-ZKHU ('reckoned it to him as MERIT' — the buffer keeps both pronouns bare, DECLINING TO VOTE, and renders tzedaqah with the merit-root it used for Noach's tzaddik, frozen gen_17's zakkai) [dual-track]. TREE: the belief rests on the Name; the verse ends on TZEDAQAH — the silluq throne [tree facts].	וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה · ve-heemin ba-YHWH va-yachsheveha lo tzedaqah = and-heemin in-the-the-LORD and-yachsheveha not tzedaqah	TIR-032	tested

Five words, three debuts, two bare pronouns: the corpus's first belief meets its first reckoning, and the letter declines to say which hand held the ledger — so the machine declines too, and flags the question for the bench.

STEP_Gn_15_7 · Gen.15.7 · ANI_YHWH_THE_SELF_NAMING

וַיֹּאמֶר אֵלָיו אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים לָתֶת לְךָ אֶת־הָאָרֶץ הַזֹּאת לְרִשְׁתָּהּ · va-yomer elav ani YHWH asher hotzetikha me-ur kasdim la-tet lekha et-ha-aretz ha-zot le-rishtah · [EN-AID/JPS] And He said unto him: 'I am the LORD that brought thee out of Ur of the Chaldees, to give thee this land to inherit it.'

LEFT
ויאמר אליו · va-yomer elav · and He said to him (the frame alone before the rest)

RIGHT
אני יהוה אשר הוצאתיך מאור כשדים לתת לך את־הארץ הזאת לרשתה · ani YHWH asher hotzetikha me-ur kasdim la-tet lekha et-ha-aretz ha-zot le-rishtah · I am YHWH who brought you out of Ur, to give you this land to possess — ends on le-rishtah

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e8) ∧ Agent(e8, YHWH) ∧ Goal(e8, avram) = say(e8) ∧ Agent(e8, the-LORD) ∧ Goal(e8, avram) The second scene opens as the first did — on a divine I (15:1 anokhi magen; here ani YHWH) [letter structure, staged seam-argument held].	וַיֹּאמֶר אֵלָיו · va-yomer elav = and-yomer to-him	—	tested
PRECONDITION_STATE	HOLDS(ani_YHWH_asher_hotzetikha_me_ur_kasdim, t0) ∧ HOLDS(la_tet_lekha_et_ha_aretz_ha_zot_le_rishtah, t0) = HOLDS(ani-the-LORD-which-hotzetikha-from-ur-kasdim, t0) ∧ HOLDS(to-tet-to-you-the-earth-the-this-to-rishtah, t0) ANI YHWH ('I am YHWH') — TORAH DEBUT [flag 7; census, counterexample-hunted Torah-wide: no earlier 1cs-pronoun + divine-name adjacency exists]: the first time God says 'I am' and the Name — and the shape is the Decalogue's, three books early: ani YHWH ASHER HOTZETIKHA me-Ur Kasdim against Exod 20:2's anokhi YHWH... asher hotzetikha me-eretz Mitzrayim — same formula, same hiphil bring-out (yatza token 24), the exodus-sentence rehearsed on a single man [census, prose]. The ladder that follows: 17:1 ani El Shaddai, 28:13 anokhi YHWH, 35:11 ani El Shaddai, then Exod 6:2 and the storm [census]. LA-TET ('to GIVE' — natan token 18, purpose infinitive): the give-arc's hinge — God's first in-span give-token answers Abram's titen with an infinitive of intent; the receipt (natati) waits eleven verses [census, prose]. LE-RISHTAH ('to POSSESS it' — yarash token 4) ends the verse [tree fact]. UR KASDIM token 3 — tokens 1-2 are 11:28/11:31: the origin-city returns, for the first time in God's mouth [census].	אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים לָתֶת לְךָ אֶת־הָאָרֶץ הַזֹּאת לְרִשְׁתָּהּ · ani YHWH asher hotzetikha me-ur kasdim la-tet lekha et-ha-aretz ha-zot le-rishtah = ani the-LORD which hotzetikha from-ur kasdim to-tet to-you the-earth the-this to-rishtah	—	tested
NOTE_PRESUPPOSED	ur_kasdim are READ without prior install (known geography) = ur-kasdim are READ without prior install (known geography) flag, not fix (the origin-city, read as known ground — its two prior tokens are the family notice and the departure, 11:28/11:31)	—	—	tested

Before the rite, the credentials: the sentence Israel will hear at Sinai is said first to one man about one city — I am YHWH, who brought you out — with the gift still an infinitive and the possession still a question away.

STEP_Gn_15_8 · Gen.15.8 · THE_SECOND_QUESTION

וַיֹּאמַר אֲדֹנָי יֱהוִה בַּמָּה אֵדַע כִּי אִירָשֶׁנָּה · va-yomar adonai YHWH ba-mah eda ki irashena · [EN-AID/JPS] And he said: 'O Lord GOD, whereby shall I know that I shall inherit it?'

LEFT
ויאמר · va-yomar · and he said — the say-verb ALONE on the etnachta (a one-word first arm)

RIGHT
אדני יהוה במה אדע כי אירשנה · adonai YHWH ba-mah eda ki irashena · my Lord YHWH, whereby shall I KNOW that I shall inherit it — the question verse-final

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e9) ∧ Agent(e9, avram) ∧ Goal(e9, YHWH) = say(e9) ∧ Agent(e9, avram) ∧ Goal(e9, the-LORD) The say-verb sits ALONE on the etnachta — a one-word first arm: the letter rests on the act of answering before the answer [tree fact]. The QUESTION-PAIR completes: mah-titen (15:2) / ba-mah eda (15:8) — the two scenes each open on a divine I and each turn on a mah of Abram [staged seam-argument, letter structure].	וַיֹּאמַר · va-yomar = and-yomar	—	tested
PRECONDITION_STATE	HOLDS(ba_mah_eda_ki_irashena, t0) = HOLDS(in-the-mah-eda-when-irashena, t0) The second question held as spoken fact [flag 5's class: interrogative, no demand]: BA-MAH EDA ('whereby shall I KNOW') — and the decree will answer in the question's own verb, doubled: yadoa teda ('KNOWING you shall KNOW', 15:13) — question-verb and answer-verb are one root, three tokens in-span (eda, yadoa, teda) [census, prose]. ADONAI YHWH — the double-name's second and last Genesis token [flag 8]. IRASHENA — yarash token 5, the fifth and last in-span: the dialogue about inheriting ends inside a question [census].	אֲדֹנָי יֱהוִה בַּמָּה אֵדַע כִּי אִירָשֶׁנָּה · adonai YHWH ba-mah eda ki irashena = adonai the-LORD in-the-mah eda when irashena	—	tested

The believer asks for a proof: the same mouth the last verse credited with faith wants to know HOW it will know — and the letter, unembarrassed, seats the asking itself on the throne of the verse.

STEP_Gn_15_9 · Gen.15.9 · THE_TAKE_COMMAND

וַיֹּאמֶר אֵלָיו קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת וְעֵז מְשֻׁלֶּשֶׁת וְאַיִל מְשֻׁלָּשׁ וְתֹר וְגוֹזָל · va-yomer elav qechah li eglah meshuleshet ve-ez meshuleshet ve-ayil meshulash ve-tor ve-gozal · [EN-AID/JPS] And He said unto him: 'Take Me a heifer of three years old, and a she-goat of three years old, and a ram of three years old, and a turtle-dove, and a young pigeon.'

LEFT
ויאמר אליו קחה לי עגלה משלשת ועז משלשת ואיל משלש · va-yomer elav qechah li eglah meshuleshet ve-ez meshuleshet ve-ayil meshulash · take for Me a threefold heifer, she-goat, ram (etnachta arm ends on the third meshulash)

RIGHT
ותר וגוזל · ve-tor ve-gozal · and a turtledove and a young pigeon — the birds close the command

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e10) ∧ Agent(e10, YHWH) ∧ Goal(e10, avram) = say(e10) ∧ Agent(e10, the-LORD) ∧ Goal(e10, avram) The proof-question is answered with an errand: no sign promised, a shopping list given [letter fact].	וַיֹּאמֶר אֵלָיו · va-yomer elav = and-yomer to-him	—	tested
DECLARE	DECLARE(YHWH, LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal))) = DECLARE(the-LORD, LET(qechah(avram, eglah-ez-ayil-tor-and-gozal))) QECHAH ('TAKE!' — true imperative HVqv2ms with paragogic he; laqach token 29) — and frozen gen_30's arc-line LANDS, quoted verbatim: 'token 29 is 15:9's qechah-li — GOD says take next, across the seam [career, prose]': after the king's abused take-imperative (token 26) and Abram's take-refusal (token 27), the first take-command Abram will obey is God's, and it convenes a covenant [landed; TIR-027, the imperative-LET class]. Pushed; watch 15:10. THE MENAGERIE — five debuts in one command: EGLAH ('heifer' — tokens 2-5 ALL Deut 21:3-6, the broken-neck rite: two rites own the word), EZ ('she-goat'), AYIL ('ram' — the Akedah's substitute at token 2, 22:13), TOR ('turtledove' — tokens 2+ all Leviticus's bird-offerings), GOZAL ('young pigeon' — its only other token Deut 32:11's eagle-nestling): Leviticus's species-list born in one verse, unexplained [censuses, prose]. MESHULESHET ('threefold') x3 — a triple said three times (its only other Torah token: Deut 19:3's road-tripling); the rite's number arrives uninterpreted [census; the chain's readings named-only]. Onkelos liturgizes the whole line: qechah li -> QAREV KODAMAI ('OFFER BEFORE ME' — the korban-verb two books early, with the kodam-distancing) and the threefold becomes THREE-OF-EACH (eglin telata, 'three calves'): the buffer reads a sacrifice and multiplies the herd, 5 -> 11 [dual-track, flagged at the oral note].	קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת וְעֵז מְשֻׁלֶּשֶׁת וְאַיִל מְשֻׁלָּשׁ וְתֹר וְגוֹזָל · qechah li eglah meshuleshet ve-ez meshuleshet ve-ayil meshulash ve-tor ve-gozal = qechah to-me eglah meshuleshet and-ez meshuleshet and-ayil meshulash and-tor and-gozal	TIR-027	tested

How shall I know? Take. The proof is an errand list — three beasts tripled and two birds — and the machine opens a demand exactly where the letter opens a rite.

STEP_Gn_15_10 · Gen.15.10 · THE_COMPLIANCE_AND_THE_CUTTING

וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה וַיְבַתֵּר אֹתָם בַּתָּוֶךְ וַיִּתֵּן אִישׁ־בִּתְרוֹ לִקְרַאת רֵעֵהוּ וְאֶת־הַצִפֹּר לֹא בָתָר · va-yiqach-lo et-kol-eleh va-yevater otam ba-tavekh va-yiten ish-bitro liqrat reehu ve-et-ha-tzipor lo vatar · [EN-AID/JPS] And he took him all these, and divided them in the midst, and laid each half over against the other; but the birds divided he not.

LEFT
ויקח־לו את־כל־אלה ויבתר אתם בתוך ויתן איש־בתרו לקראת רעהו · va-yiqach-lo et-kol-eleh va-yevater otam ba-tavekh va-yiten ish-bitro liqrat reehu · he took, he cut in the midst, he set each piece opposite its fellow (etnachta arm)

RIGHT
ואת־הצפר לא בתר · ve-et-ha-tzipor lo vatar · but the bird he did NOT cut — the negation on the verse-end throne

operator	expression	Hebrew anchor	cites	confidence
EVENT	take(e11) ∧ Agent(e11, avram) ∧ Theme(e11, kol_eleh) = take(e11) ∧ Agent(e11, avram) ∧ Theme(e11, all-these) VA-YIQACH (laqach token 30) — the demand's own verb returns as deed, one verse later. The letter's small asymmetry held in prose: the command said take-for-ME (li); the deed says he-took-for-HIM (lo — a bare pronoun again) [letter fact, flag 2].	וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה · va-yiqach-lo et-kol-eleh = and-yiqach-not all-these	TIR-014	tested
RESULT	RESULT: HOLDS(qechah(avram, eglah_ez_ayil_tor_ve_gozal), t1) = RESULT: HOLDS(qechah(avram, eglah-ez-ayil-tor-and-gozal), t1) THE POP — SETTLED CYCLE #8 CLAIMED [flag 2; numbering for main-loop verification, gen_27's pattern]: the take-demand is receipted by the take-deed — frozen gen_17's class, quoted: 'the bo-demand — SETTLED CYCLE #2 (the demand's own verb' — the first divine demand settled since gen_27's lekh (#6), and the first ever settled inside a covenant rite. KOL-ELEH ('ALL these') — the letter's own completeness-receipt [held].	וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה · va-yiqach-lo et-kol-eleh = and-yiqach-not all-these	—	tested
EVENT	cut(e12) ∧ Agent(e12, avram) ∧ Theme(e12, ha_behemot) = cut(e12) ∧ Agent(e12, avram) ∧ Theme(e12, the-behemot) VA-YEVATER ('and he CUT THEM IN TWO' — piel): BATAR's Torah debut, and the verb nearly dies in its own verse (2 Torah tokens, both here) beside BITRO ('his piece' — Torah hapax): the rite's cutting vocabulary exists almost nowhere else [census]. The cut the covenant-verb only names (karat, 15:18), Abram performs here — deed first, idiom later [letter sequence, prose]. Onkelos: u-fallig yathon BE-SHAVEH ('divided them EQUALLY') — the middle turned arithmetic [dual-track].	וַיְבַתֵּר אֹתָם בַּתָּוֶךְ · va-yevater otam ba-tavekh = and-yevater otam in-the-tavekh	TIR-014	tested
EVENT	give(e13) ∧ Agent(e13, avram) ∧ Theme(e13, ish_bitro) = give(e13) ∧ Agent(e13, avram) ∧ Theme(e13, man-bitro) VA-YITEN — natan token 19, THE GIVE-ARC'S QUIET MIDDLE: between Abram's titen-question and God's natati-receipt, the only narrative give-token in the unit is Abram GIVING each piece against its fellow [census, prose; flag 5's arc named]. LIQRAT REEHU ('opposite its FELLOW') — the encounter-word on halves of one animal [letter fact].	וַיִּתֵּן אִישׁ־בִּתְרוֹ לִקְרַאת רֵעֵהוּ · va-yiten ish-bitro liqrat reehu = and-yiten man-bitro liqrat reehu	TIR-014	tested
PRECONDITION_STATE	HOLDS(ve_et_ha_tzipor_lo_vatar, t0) = HOLDS(and-the-tzipor-not-vatar, t0) The negation held as fact — AND SEATED ON THE SILLUQ: the verse ends on lo vatar ('he did NOT cut') [tree fact]. TZIPOR token 2 (token 1 = 7:14, the ark's bird-roster) [census]. What the birds are spared is not explained; the chain's readings are the chain's [named-only].	וְאֶת־הַצִפֹּר לֹא בָתָר · ve-et-ha-tzipor lo vatar = and-the-tzipor not vatar	—	tested

Obedience without a word: take becomes took, and the queue moves for the first time since the call — then a piel verb the Torah will never need again halves three animals, and the verse ends on what was left whole.

STEP_Gn_15_11 · Gen.15.11 · THE_VULTURES_DRIVEN_OFF

וַיֵּרֶד הָעַיִט עַל־הַפְּגָרִים וַיַּשֵּׁב אֹתָם אַבְרָם · va-yered ha-ayit al-ha-pegarim va-yashev otam avram · [EN-AID/JPS] And the birds of prey came down upon the carcasses, and Abram drove them away.

LEFT
וירד העיט על־הפגרים · va-yered ha-ayit al-ha-pegarim · the bird of prey came down on the carcasses (etnachta arm)

RIGHT
וישב אתם אברם · va-yashev otam avram · and Abram drove them off — the verse ends on his name

operator	expression	Hebrew anchor	cites	confidence
EVENT	descend(e14) ∧ Agent(e14, ha_ayit) ∧ Goal(e14, ha_pegarim) = descend(e14) ∧ Agent(e14, the-ayit) ∧ Goal(e14, the-pegarim) HA-AYIT ('the bird of prey') — TORAH HAPAX, definite on first breath (the letter treats the menace as known); HA-PEGARIM ('the carcasses') — TORAH DEBUT; its next tokens are Lev 26:30's covenant-curse carcasses: the word is born beside a covenant and returns when one is broken [census, prose]. YARAD token 5 — the descend-verb frozen gen_28 careered ('God's descent, the divine cohortative, Abram down to Egypt') now descends a scavenger on a rite [census, prose].	וַיֵּרֶד הָעַיִט עַל־הַפְּגָרִים · va-yered ha-ayit al-ha-pegarim = and-yered the-ayit upon-the-pegarim	TIR-014	tested
EVENT	drive_off(e15) ∧ Agent(e15, avram) ∧ Theme(e15, ha_ayit) = drive-off(e15) ∧ Agent(e15, avram) ∧ Theme(e15, the-ayit) VA-YASHEV ('and he DROVE them off' — nashav, TORAH HAPAX, hiphil): Abram's ONE deed between the cutting and the sleep is keeping the vultures off the pieces — a verb used once in the Torah for a vigil the letter does not explain [census; GLOSS_FIX 'blow' -> 'drive away'; the chain's exile-readings named-only]. The verse ends on AVRAM [tree fact].	וַיַּשֵּׁב אֹתָם אַבְרָם · va-yashev otam avram = and-yashev otam avram	TIR-014	tested

Between the halves and the dark there is one small war: a hapax bird against a hapax verb, and a man standing guard over meat he was told to cut and never told to burn.

STEP_Gn_15_12 · Gen.15.12 · THE_SLEEP_AND_THE_DREAD

וַיְהִי הַשֶּׁמֶשׁ לָבוֹא וְתַרְדֵּמָה נָפְלָה עַל־אַבְרָם וְהִנֵּה אֵימָה חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו · va-yehi ha-shemesh la-vo ve-tardemah naflah al-avram ve-hineh emah chashekhah gedolah nofelet alav · [EN-AID/JPS] And it came to pass, that, when the sun was going down, a deep sleep fell upon Abram; and, lo, a dread, even a great darkness, fell upon him.

LEFT
ויהי השמש לבוא ותרדמה נפלה על־אברם · va-yehi ha-shemesh la-vo ve-tardemah naflah al-avram · the sun about to set — a deep sleep FELL on Abram (etnachta arm)

RIGHT
והנה אימה חשכה גדלה נפלת עליו · ve-hineh emah chashekhah gedolah nofelet alav · and behold: a dread, a great darkness, FALLING on him — the fall-verb again, verse-final

operator	expression	Hebrew anchor	cites	confidence
EVENT	fall(e16) ∧ Theme(e16, tardemah) ∧ Goal(e16, avram) = fall(e16) ∧ Theme(e16, deep-sleep) ∧ Goal(e16, avram) TARDEMAH ('deep sleep') TOKEN 2 OF 2 — AND A FROZEN PREDICTION LANDS [flag 10]: frozen gen_09, quoted verbatim: 'cast-sleep (tardemah — 2 Torah tokens, the other is Abram's covenant sleep, Gen 15:12)' — landed; the Torah's two deep sleeps make a woman and a covenant (gen_09's own summary line: 'tardemah's two covenant sleeps'). THE MORPH DELTA between them: 2:21's sleep is CAST (va-yapel, HIPHIL — God fells it, and gen_09 fired cast_sleep with Agent YHWH_Elohim accordingly); 15:12's sleep FALLS (naflah, QAL, no agent stated — DB-verified): this event fires with NO Agent — the woman's sleep is thrown, the covenant's sleep arrives [morph-grounded; TIR-032's agentless discipline]. The sun-clock starts: ha-shemesh la-vo — shemesh token 1 (the sun's DEBUT is a setting; token 3 is 19:23, rising on Lot's last morning) [census].	וְתַרְדֵּמָה נָפְלָה עַל־אַבְרָם · ve-tardemah naflah al-avram = deep-sleep naflah upon-avram	TIR-032	tested
PRECONDITION_STATE	HOLDS(emah_chashekhah_gedolah_nofelet_alav, t0) = HOLDS(emah-chashekhah-gedolah-nofelet-alav, t0) EMAH ('dread') — TORAH DEBUT (tokens 2-3 are Exod 15:16's Song and 23:27's vanguard-terror: the dread-word's career is God's weapon; here it falls on His covenant partner); CHASHEKHAH ('darkness') — hapax-form of the dark-word [census]. THE FALL-VERB ON BOTH THRONES: naflah (finite) at the etnachta, nofelet (participle, still falling) at the silluq [tree fact]. And the prohibition of 15:1 stands OPEN over this verse in the letter's own irony: the man told al-tira ('fear not') receives the dread-word's debut [prose; flag 3]. The chain reads the dread as the exiles [named-only].	וְהִנֵּה אֵימָה חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו · ve-hineh emah chashekhah gedolah nofelet alav = and-hineh emah chashekhah gedolah nofelet alav	—	tested

The sun goes down on schedule and the grammar goes down with it: a sleep that falls with no thrower, a dread still falling at the verse's end — and the fear God forbade arrives wearing a word the Torah has never used.

STEP_Gn_15_13 · Gen.15.13 · THE_DECREE_SOJOURN_SERVE_AFFLICT

וַיֹּאמֶר לְאַבְרָם יָדֹעַ תֵּדַע כִּי־גֵר יִהְיֶה זַרְעֲךָ בְּאֶרֶץ לֹא לָהֶם וַעֲבָדוּם וְעִנּוּ אֹתָם אַרְבַּע מֵאוֹת שָׁנָה · va-yomer le-avram yadoa teda ki-ger yihyeh zarakha be-eretz lo lahem va-avadum ve-inu otam arba meot shanah · [EN-AID/JPS] And He said unto Abram: 'Know of a surety that thy seed shall be a stranger in a land that is not theirs, and shall serve them; and they shall afflict them four hundred years;

LEFT
ויאמר לאברם ידע תדע כי־גר יהיה זרעך בארץ לא להם ועבדום וענו אתם · va-yomer le-avram yadoa teda ki-ger yihyeh zarakha be-eretz lo lahem va-avadum ve-inu otam · knowing you shall know: sojourner, serve, afflict (etnachta arm ends on ve-inu otam)

RIGHT
ארבע מאות שנה · arba meot shanah · four hundred years — the clock verse-final

operator	expression	Hebrew anchor	cites	confidence
EVENT	say(e17) ∧ Agent(e17, YHWH) ∧ Goal(e17, avram) = say(e17) ∧ Agent(e17, the-LORD) ∧ Goal(e17, avram) YADOA TEDA ('KNOWING you shall KNOW' — infinitive absolute + imperfect, geresh-marked): the answer to 15:8's ba-mah EDA arrives in the question's own verb, doubled — the know-root's three in-span tokens are the question and its double-barreled answer [census, morph, prose]. The decree is speech INTO the sleep: the dialogue's last exchange has one speaker [say-roster].	וַיֹּאמֶר לְאַבְרָם יָדֹעַ תֵּדַע · va-yomer le-avram yadoa teda = and-yomer to-avram yadoa teda	—	tested
PRECONDITION_STATE	HOLDS(ger_yihyeh_zarakha_be_eretz_lo_lahem, t0) ∧ HOLDS(va_avadum_ve_inu_otam_arba_meot_shanah, t0) = HOLDS(ger-yihyeh-zarakha-in-earth-not-to-them, t0) ∧ HOLDS(and-avadum-and-inu-otam-arba-meot-year, t0) THE DECREE HELD AS FACT (a dark promise is still a promise — gen_27's class; the weqatal chain va-avadum ve-inu is future-decree grammar, not command [morph, TIR-029 named]): GER ('sojourner') — TORAH DEBUT, and frozen gen_28's line is its seed, quoted verbatim: 'LA-GUR ("to SOJOURN") — the ger-root's Torah debut: the stranger-word is born on Abram's way down' — the verb debuted on Abram's own descent; the NOUN debuts in the prophecy of the nation's [landed, career]. GER TOKEN 2 = 23:4 — ABRAHAM's own mouth at Sarah's grave ('ger ve-toshav anokhi'), and the bury-verb of 15:15 stands beside it there (qavar tokens 2-3 = 23:4/23:6): the decree's sojourn-and-bury pair recurs as a pair at Machpelah [census, prose]. ANAH ('afflict') token 1 — tokens 2-3 are 16:6 (SARAI afflicts Hagar) and 16:9 (the angel's submit-command): the afflict-verb crosses the seam into the next chapter's house [census; gen_32 watch]. AVAD tokens 7-8 (here + 15:14) — frozen gen_30's career line extends, quoted: 'the garden's work-verb ... the sixth serves an empire' — now the seed itself will serve one [census, prose]. The 400 years sit verse-final [tree fact; the chain's arithmetic named-only]. Onkelos: ger -> DAYARIN ('sojourners', plural) yehon BENAKH ('your SONS will be') — the seed-to-sons buffer again [dual-track].	כִּי־גֵר יִהְיֶה זַרְעֲךָ בְּאֶרֶץ לֹא לָהֶם וַעֲבָדוּם וְעִנּוּ אֹתָם אַרְבַּע מֵאוֹת שָׁנָה · ki-ger yihyeh zarakha be-eretz lo lahem va-avadum ve-inu otam arba meot shanah = when-ger yihyeh zarakha earth not to-them and-avadum and-inu otam arba meot year	—	tested

The proof the question asked for turns out to be a sentence: know, doubled — then three verbs walking downhill (sojourn, serve, be afflicted) with a number at the end of them longer than any life the book has counted lately.

STEP_Gn_15_14 · Gen.15.14 · THE_JUDGMENT_AND_THE_EXODUS_WEALTH

וְגַם אֶת־הַגּוֹי אֲשֶׁר יַעֲבֹדוּ דָּן אָנֹכִי וְאַחֲרֵי־כֵן יֵצְאוּ בִּרְכֻשׁ גָּדוֹל · ve-gam et-ha-goy asher yaavodu dan anokhi ve-acharei-khen yetzu bi-rekhush gadol · [EN-AID/JPS] and also that nation, whom they shall serve, will I judge; and afterward shall they come out with great substance.

LEFT
וגם את־הגוי אשר יעבדו דן אנכי · ve-gam et-ha-goy asher yaavodu dan anokhi · and the nation they serve — I am JUDGING (dan anokhi on the etnachta)

RIGHT
ואחרי־כן יצאו ברכש גדול · ve-acharei-khen yetzu bi-rekhush gadol · and afterward they go out with great property — bi-rekhush gadol verse-final

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(dan_anokhi_et_ha_goy_asher_yaavodu, t0) ∧ HOLDS(ve_acharei_khen_yetzu_bi_rekhush_gadol, t0) = HOLDS(dan-anokhi-the-goy-which-yaavodu, t0) ∧ HOLDS(and-acharei-so-yetzu-bi-rekhush-gadol, t0) DAN ANOKHI ('I am JUDGING' — participle, seated ON the etnachta [tree fact]): DIN token 2 — token 1 is 6:3's disputed yadon; token 3 is 30:6, RACHEL naming DAN ('God has JUDGED me'); token 4 is 49:16's dan yadin amo: the judge-verb's Torah career is entangled with the tribe it will name [census, prose; GLOSS_FIX 'straight-course' -> 'judge']. ANOKHI token 6 — the decree's I, the span's third divine anokhi [census]. BI-REKHUSH GADOL — REKHUSH TOKEN 8, AND FROZEN gen_30's NAMED-ONLY LINE LANDS, quoted: 'token 8 = 15:14's exodus decree ("they will come out bi-rekhush gadol"), named-only' [landed]: the war's property-word (tokens 3-7 saturated gen_30's span) becomes the exodus's promised wealth. YETZU — yatza token 25, the in-span arc's last: heir, stars-walk, Ur, exodus [census, prose]. GOY token 9 after 12:2's goy gadol: the GREAT-word binds them — a great nation promised, a great property pledged, one oppressor-nation judged between [census, prose]. Onkelos: bi-rekhush -> BE-QINYANA SAGGI — the SAME possession-noun frozen gen_30's buffer used for the war's rekhush and the epithet's cosmos ('in Aramaic the plunder kings die for and the cosmos God owns share one noun' — the convergence now covers the exodus wealth) [repeat-buffer, dual-track].	וְגַם אֶת־הַגּוֹי אֲשֶׁר יַעֲבֹדוּ דָּן אָנֹכִי וְאַחֲרֵי־כֵן יֵצְאוּ בִּרְכֻשׁ גָּדוֹל · ve-gam et-ha-goy asher yaavodu dan anokhi ve-acharei-khen yetzu bi-rekhush gadol = and-also the-goy which yaavodu dan anokhi and-acharei-so yetzu bi-rekhush gadol	—	tested

The decree turns and shows its other face: the affliction has a docket number — a nation to be judged, an exit with property — and the war chapter's loot-word comes back as the pay of four hundred years.

STEP_Gn_15_15 · Gen.15.15 · THE_PEACE_AND_THE_BURIAL

וְאַתָּה תָּבוֹא אֶל־אֲבֹתֶיךָ בְּשָׁלוֹם תִּקָּבֵר בְּשֵׂיבָה טוֹבָה · ve-atah tavo el-avotekha be-shalom tiqaver be-sevah tovah · [EN-AID/JPS] But thou shalt go to thy fathers in peace; thou shalt be buried in a good old age.

LEFT
ואתה תבוא אל־אבתיך בשלום · ve-atah tavo el-avotekha be-shalom · and YOU shall come to your fathers IN PEACE (shalom's debut on the etnachta)

RIGHT
תקבר בשיבה טובה · tiqaver be-sevah tovah · you shall be buried in good old age

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(tavo_el_avotekha_be_shalom, t0) ∧ HOLDS(tiqaver_be_sevah_tovah, t0) = HOLDS(tavo-to-avotekha-in-shalom, t0) ∧ HOLDS(tiqaver-in-sevah-tovah, t0) THREE DEBUTS IN ONE PROMISE-VERSE: SHALOM ('peace') — TORAH DEBUT, seated ON THE ETNACHTA [tree fact]: the peace-word's first token is a burial promise (tokens 2-3 are 26:29/31, the Isaac-Abimelech pact); QAVAR ('bury') — TORAH DEBUT, niphal ('you shall BE buried'); SEVAH ('old age') — TORAH DEBUT (token 2 = 25:8, the verse that KEEPS this promise: Abraham dies be-sevah tovah — the receipt is seven chapters ahead, named-only) [censuses, prose]. TOVAH — the span's only tov-token (2896 a): attributive, inside the promise — NOT an evaluation event (the instrument-roster census behind flag 1's Reading B; seed refinement recorded in flag 12b) [census]. VE-ATAH ('and YOU') — the decree breaks off its plural to face its listener: four hundred years for the seed, one quiet grave for the man [letter fact].	וְאַתָּה תָּבוֹא אֶל־אֲבֹתֶיךָ בְּשָׁלוֹם תִּקָּבֵר בְּשֵׂיבָה טוֹבָה · ve-atah tavo el-avotekha be-shalom tiqaver be-sevah tovah = you tavo to-avotekha in-shalom tiqaver in-sevah tovah	—	tested

Inside the four-hundred-year sentence, a personal clause: you, peace, fathers, a good old age — the peace-word is born making the one promise that every man can collect.

STEP_Gn_15_16 · Gen.15.16 · THE_FOURTH_GENERATION_AND_THE_UNFULL_INIQUITY

וְדוֹר רְבִיעִי יָשׁוּבוּ הֵנָּה כִּי לֹא־שָׁלֵם עֲוֺן הָאֱמֹרִי עַד־הֵנָּה · ve-dor revii yashuvu henah ki lo-shalem avon ha-emori ad-henah · [EN-AID/JPS] And in the fourth generation they shall come back hither; for the iniquity of the Amorite is not yet full.'

LEFT
ודור רביעי ישובו הנה · ve-dor revii yashuvu henah · the fourth generation returns HERE (henah on the etnachta)

RIGHT
כי לא־שלם עון האמרי עד־הנה · ki lo-shalem avon ha-emori ad-henah · for the Emorite's iniquity is not yet full — until HERE: henah again, verse-final

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_dor_revii_yashuvu_henah, t0) ∧ HOLDS(lo_shalem_avon_ha_emori_ad_henah, t0) = HOLDS(and-dor-revii-yashuvu-henah, t0) ∧ HOLDS(not-shalem-avon-the-emori-until-henah, t0) ONE WORD ON BOTH THRONES: HENAH ('hither/here') — TORAH DEBUT x2, tokens 1-2 both in this verse, seated on the etnachta AND the silluq: they return HERE; not yet full until HERE [tree fact, census]. Onkelos SPLITS the pair — haka ('here') for the first, ad KEAN ('until NOW') for the second: place kept, time resolved [dual-track]. SHUV token 12 (yashuvu) after frozen gen_30's restore-cluster (tokens 8-11): the return-verb's next token is the return of a generation not yet born; token 13 is 16:9's SHUVI — the angel to Hagar, across the seam [census; gen_32 watch]. AVON ('iniquity') token 2 — token 1 is 4:13, CAIN's 'my iniquity is greater than I can bear'; token 3 is 19:15, Sodom's morning [census, prose]. LO-SHALEM ('not yet COMPLETE') — shalem (8003) token 1, ONE SKELETON from 14:18's Salem city (8004, Torah hapax): shalem the city hosted the blessing; shalem the adjective withholds the land — same three consonants, two lemmas, held as sound-observation only (gen_30's Bera/Birsha class; the DB's lemma-split respected) — and Onkelos KEEPS the skeleton (la SHELIM) [census, dual-track]. The moral clock held exactly as written: the land waits on its holders' account [letter fact; the chain's theodicy files named-only].	וְדוֹר רְבִיעִי יָשׁוּבוּ הֵנָּה כִּי לֹא־שָׁלֵם עֲוֺן הָאֱמֹרִי עַד־הֵנָּה · ve-dor revii yashuvu henah ki lo-shalem avon ha-emori ad-henah = and-dor revii yashuvu henah when not-shalem avon the-emori until-henah	—	tested

The timetable has a reason and the reason is bookkeeping: a fourth generation returning to a HERE the sleeping man is lying in, because another people's column has not yet added up to enough.

STEP_Gn_15_17 · Gen.15.17 · THE_FIRE_BETWEEN_THE_PIECES

וַיְהִי הַשֶּׁמֶשׁ בָּאָה וַעֲלָטָה הָיָה וְהִנֵּה תַנּוּר עָשָׁן וְלַפִּיד אֵשׁ אֲשֶׁר עָבַר בֵּין הַגְּזָרִים הָאֵלֶּה · va-yehi ha-shemesh baah va-alatah hayah ve-hineh tanur ashan ve-lapid esh asher avar bein ha-gezarim ha-eleh · [EN-AID/JPS] And it came to pass, that, when the sun went down, and there was thick darkness, behold a smoking furnace, and a flaming torch that passed between these pieces.

LEFT
ויהי השמש באה ועלטה היה · va-yehi ha-shemesh baah va-alatah hayah · the sun set and thick darkness was (etnachta arm)

RIGHT
והנה תנור עשן ולפיד אש אשר עבר בין הגזרים האלה · ve-hineh tanur ashan ve-lapid esh asher avar bein ha-gezarim ha-eleh · behold: a smoking fire-pot and a torch of fire that PASSED between these pieces

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_alatah_hayah, t0) = HOLDS(and-alatah-was, t0) The sun-clock closes: ha-shemesh BAAH (perfect — set, token 2; 15:12 had it setting) — the unit's whole rite runs between one sun's going and gone [census, letter structure]. ALATAH ('thick darkness') — TORAH HAPAX [census].	וַיְהִי הַשֶּׁמֶשׁ בָּאָה וַעֲלָטָה הָיָה · va-yehi ha-shemesh baah va-alatah hayah = and-yehi the-shemesh baah and-alatah was	—	tested
EVENT	pass(e18) ∧ Agent(e18, tanur_ashan_ve_lapid_esh) ∧ Theme(e18, bein_ha_gezarim) = pass(e18) ∧ Agent(e18, tanur-ashan-and-lapid-esh) ∧ Theme(e18, between-the-gezarim) THE SINAI KIT, THREE BOOKS EARLY: ESH ('fire') — TORAH DEBUT: the fire-word's first token is the covenant torch (token 2 = 19:24, fire on Sodom; tokens 3-4 = the Akedah's fire); TANUR ('fire-pot') debut (token 3 = Lev 2:4's minchah-oven); LAPID ('torch') — its only other Torah token is Exod 20:18, SINAI's torches; ASHAN ('smoke') — its only other Torah tokens are Exod 19:18 x2, SINAI in smoke: the mountain's whole apparatus debuts at a night rite for one man [censuses, prose]. AVAR token 3 — the pass-verb's career: God passes a wind over the flood-earth (8:1), Abram passes through the land (12:6, frozen gen_27's token), and now the fire-symbol passes BETWEEN the pieces — wind, man, fire [census, prose]. The passer is the symbol-pair itself; no divine name appears in the verse — the letter shows apparatus and withholds the subject [letter fact, held: the identification is the next verse's inference and the chain's]. HA-GEZARIM ('the PIECES') — TORAH HAPAX; the verse ends on ha-gezarim ha-eleh [tree fact].	וְהִנֵּה תַנּוּר עָשָׁן וְלַפִּיד אֵשׁ אֲשֶׁר עָבַר בֵּין הַגְּזָרִים הָאֵלֶּה · ve-hineh tanur ashan ve-lapid esh asher avar bein ha-gezarim ha-eleh = and-hineh tanur ashan and-lapid esh which avar between the-gezarim these	TIR-014	tested

What passes between the halves is equipment, not a name: a pot of smoke, a torch of fire — the props of a mountain no one has stood at yet, walking a corridor of meat in the dark.

STEP_Gn_15_18 · Gen.15.18 · THE_COVENANT_CUT_AND_THE_RECEIPT

בַּיּוֹם הַהוּא כָּרַת יְהוָה אֶת־אַבְרָם בְּרִית לֵאמֹר לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת מִנְּהַר מִצְרַיִם עַד־הַנָּהָר הַגָּדֹל נְהַר־פְּרָת · ba-yom ha-hu karat YHWH et-avram brit le-mor le-zarakha natati et-ha-aretz ha-zot mi-nehar mitzrayim ad-ha-nahar ha-gadol nehar-perat · [EN-AID/JPS] In that day the LORD made a covenant with Abram, saying: 'Unto thy seed have I given this land, from the river of Egypt unto the great river, the river Euphrates;

LEFT
ביום ההוא כרת יהוה את־אברם ברית לאמר · ba-yom ha-hu karat YHWH et-avram brit le-mor · on that day YHWH CUT a covenant with Abram (the etnachta throne is brit le-mor)

RIGHT
לזרעך נתתי את־הארץ הזאת מנהר מצרים עד־הנהר הגדל נהר־פרת · le-zarakha natati et-ha-aretz ha-zot mi-nehar mitzrayim ad-ha-nahar ha-gadol nehar-perat · to your seed I HAVE GIVEN this land, river to river — the verse ends on nehar-perat

operator	expression	Hebrew anchor	cites	confidence
EVENT	cut_covenant(e19) ∧ Agent(e19, YHWH) ∧ Theme(e19, brit) = cut-covenant(e19) ∧ Agent(e19, the-LORD) ∧ Theme(e19, brit) KARAT ('cut') TOKEN 2 — AND FROZEN gen_22's PREDICTION LANDS, quoted verbatim: 'KARAT ("cut") — TORAH TOKEN 1, NEGATED: the verb that will seal every covenant (likhrot brit, "to CUT a covenant", from 15:18 on) is born refusing a cutting-off, inside a covenant that is ESTABLISHED, not cut' — LANDED: this is the '15:18 on' — the cut-verb's first affirmative token cuts the corpus's first covenant-with-a-human (BRIT token 10; frozen gen_30's token-9 line quoted: 'token 10 is 15:18, across the seam, named-only' — landed) [census; the deed the idiom names was 15:10's, Abram's knife — prose]. ET here is 'WITH' (854, not the object marker): the covenant is cut WITH Abram [morph]. The covenant-word sits ON the etnachta (brit le-mor) [tree fact]. Onkelos: GEZAR ... QEYAM ('he CUT a pact') — the buffer's own covenant-idiom is cut-based: the cut-play SURVIVES in Aramaic here, where at 9:11 it did not (frozen gen_22's note: the buffer rendered yikaret 'be destroyed') [dual-track, delta].	כָּרַת יְהוָה אֶת־אַבְרָם בְּרִית · karat YHWH et-avram brit = karat the-LORD avram brit	TIR-014	tested
PRECONDITION_STATE	HOLDS(le_zarakha_natati_et_ha_aretz_ha_zot, t0) = HOLDS(to-zarakha-natati-the-earth-the-this, t0) THE RECEIPT — THE SEED ORDER'S TWO QUOTES SIDE BY SIDE: frozen gen_21 (9:3): 'NATATI ("I have GIVEN" — performative perfect, held as fact)'; frozen gen_29 (13:15's ruling): 'ETNENAH is NEITHER: a single future giving with a possible receipt (the corpus's own 15:18 natati, "I HAVE given", performs it — named-only, cross-unit)' — THIS IS THAT RECEIPT: the anticipated verse arrives, and the give-verb goes perfect (natan token 20; the span's only 1cs perfect in divine speech [morph census]). NOTHING POPS: 13:15's etnenah is a FACT in a frozen unit (nothing crosses walls), and 15:2's mah-titen was a question, never a demand [flag 5] — the arc is prose: the unit opens with titen as a question and closes with natati as a deed done in speech. THE RECIPIENT: LE-ZARAKHA ('to your SEED') — the lekha of frozen gen_29's 13:15 ('LEKHA stands first, the seed second') is ABSENT here: the grant-recipient narrows back to seed-only, and the man's own portion in this chapter is 15:15's grave [delta vs frozen gen_29, named; census]. NO PERPETUITY CLAUSE: ad-olam does not recur — FACT a fortiori (gen_29's ruling; no INVARIANT weighed) [decision recorded]. Onkelos: li-vnakh YEHAVIT — seed-to-sons again, and the perfect KEPT [dual-track].	לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת · le-zarakha natati et-ha-aretz ha-zot = to-zarakha natati the-earth the-this	—	tested
PRECONDITION_STATE	HOLDS(mi_nehar_mitzrayim_ad_ha_nahar_ha_gadol_nehar_perat, t0) = HOLDS(from-nehar-mitzrayim-until-the-river-the-gadol-nehar-Euphrates, t0) THE BORDER, RIVER TO RIVER: PERAT TOKEN 2 — token 1 is 2:14: EDEN's fourth river is the covenant's far border — the grant's geography reaches back to the garden's [census, prose]. NAHAR x3 in one clause (tokens 5-7): the river-word triples exactly where the land gets edges [census]. The verse ends on nehar-perat [tree fact]. The ad ('until')-ladder: frozen gen_29's ran places to forever; gen_30's ran thread to thong; this one runs river to river — the span's own measure of a gift [letter echo, prose].	מִנְּהַר מִצְרַיִם עַד־הַנָּהָר הַגָּדֹל נְהַר־פְּרָת · mi-nehar mitzrayim ad-ha-nahar ha-gadol nehar-perat = from-nehar mitzrayim until-the-river the-gadol nehar-Euphrates	—	tested
NOTE_PRESUPPOSED	nahar_mitzrayim, nehar_perat are READ without prior install (known geography) = river-mitzrayim, nehar-Euphrates are READ without prior install (known geography) flag, not fix (the border's two rivers, read as known ground inside the grant-speech; Perat's only prior token is Eden's river-table, 2:14 — frozen gen_08's span; the ten PEOPLES that follow are grant-roster content, NOT reads — flag 6)	—	—	tested

The chapter's ledger closes in one verb-tense: on that day a covenant was cut, and inside it the gift is already past — I HAVE given — measured from the river of Egypt to a river that last flowed through Eden.

STEP_Gn_15_19 · Gen.15.19 · THE_GRANT_ROSTER_ROW_ONE

אֶת־הַקֵּינִי וְאֶת־הַקְּנִזִּי וְאֵת הַקַּדְמֹנִי · et-ha-qeni ve-et-ha-qenizi ve-et ha-qadmoni · [EN-AID/JPS] the Kenite, and the Kenizzite, and the Kadmonite,

LEFT
את־הקיני ואת־הקנזי · et-ha-qeni ve-et-ha-qenizi · the Kenite and the Kenizzite (no mid-verse rest — the list's own comma)

RIGHT
ואת הקדמני · ve-et ha-qadmoni · and the Kadmonite

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(et_ha_qeni_ve_et_ha_qenizi_ve_et_ha_qadmoni, t0) = HOLDS(the-qeni-and-the-qenizi-and-the-qadmoni, t0) THE GRANT-ROSTER OPENS [flag 6 — encoded as spoken grant-content, NOT presupposed geography: the list sits inside 15:18's le-mor, and frozen gen_24's device is the analogue, quoted: 'noach are READ without prior install (standalone machine; the sons enter by the heading roster)' — peoples enter by the letter's own roster]. Row one is the list's rarest: QENI ('Kenite') — 2 Torah tokens (the other: Num 24:21, BILAM's Kenite-oracle — the machazeh-word's owner meets the list's first nation) [census, prose]; QENIZZI ('Kenizzite') — 2 tokens (the other: Num 32:12, CALEB the Kenizzite — a listed nation's name ends up INSIDE Israel's own hero) [census, prose]; QADMONI ('Kadmonite') — TORAH HAPAX (the east-word as a people, never again) [census]. Ten nations against gen_24's seventy: the grant enumerates more peoples than any prior list but the Table itself [prose].	אֶת־הַקֵּינִי וְאֶת־הַקְּנִזִּי וְאֵת הַקַּדְמֹנִי · et-ha-qeni ve-et-ha-qenizi ve-et ha-qadmoni = the-qeni and-the-qenizi and the-qadmoni	—	tested

The gift comes itemized, and the first three items the Torah will barely mention again: a smith-people, a hunter-clan, an east-word — the rare names first, as if the deed listed its curiosities on page one.

STEP_Gn_15_20 · Gen.15.20 · THE_GRANT_ROSTER_ROW_TWO

וְאֶת־הַחִתִּי וְאֶת־הַפְּרִזִּי וְאֶת־הָרְפָאִים · ve-et-ha-chiti ve-et-ha-perizi ve-et-ha-refaim · [EN-AID/JPS] and the Hittite, and the Perizzite, and the Rephaim,

LEFT
ואת־החתי ואת־הפרזי · ve-et-ha-chiti ve-et-ha-perizi · the Chittite and the Perizzite (no mid-verse rest)

RIGHT
ואת־הרפאים · ve-et-ha-refaim · and the Refaim

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_et_ha_chiti_ve_et_ha_perizi_ve_et_ha_refaim, t0) = HOLDS(and-the-chiti-and-the-perizi-and-the-refaim, t0) Row two [flag 6's encoding]: CHITTI ('Chittite') — TORAH DEBUT of the Het-gentilic; token 2 is 23:10 — ch. 23's SELLERS: the people from whom Abraham will buy the one field he ever owns are first granted to his seed whole [census, prose]. PERIZZI ('Perizzite') token 2 — token 1 was 13:7's dweller-notice (frozen gen_29's span), and the negative-space find continues: STILL no table row — the Perizzite exists in the corpus only as neighbor and grant-line, never as descent [census, prose]. REFAIM token 2 — token 1 was 14:5, STRUCK by the four kings (frozen gen_30's giant-file): the people the war chapter smote, the grant chapter deeds away; and Onkelos repeats its exact buffer — GIBARAEI ('the MIGHTY'), the same epithet frozen gen_30 recorded at 14:5 [repeat-buffer, dual-track].	וְאֶת־הַחִתִּי וְאֶת־הַפְּרִזִּי וְאֶת־הָרְפָאִים · ve-et-ha-chiti ve-et-ha-perizi ve-et-ha-refaim = and-the-chiti and-the-perizi and-the-refaim	—	tested

The middle row holds a future creditor, a people with no pedigree, and giants already once defeated — the grant reads like a file of unfinished business.

STEP_Gn_15_21 · Gen.15.21 · THE_GRANT_ROSTER_ROW_THREE

וְאֶת־הָאֱמֹרִי וְאֶת־הַכְּנַעֲנִי וְאֶת־הַגִּרְגָּשִׁי וְאֶת־הַיְבוּסִי · ve-et-ha-emori ve-et-ha-kenaani ve-et-ha-girgashi ve-et-ha-yevusi · [EN-AID/JPS] and the Amorite, and the Canaanite, and the Girgashite, and the Jebusite.'

LEFT
ואת־האמרי ואת־הכנעני · ve-et-ha-emori ve-et-ha-kenaani · the Emorite and the Kenaanite (no mid-verse rest)

RIGHT
ואת־הגרגשי ואת־היבוסי · ve-et-ha-girgashi ve-et-ha-yevusi · and the Girgashite and the Jebusite — the grant ends on ha-yevusi

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ve_et_ha_emori_ve_et_ha_kenaani_ve_et_ha_girgashi_ve_et_ha_yevusi, t0) = HOLDS(and-the-emori-and-the-kenaani-and-the-girgashi-and-the-yevusi, t0) Row three closes the grant [flag 6's encoding]: EMORI token 5 — the only name in BOTH the decree and the deed: 15:16's un-full iniquity and 15:21's granted line are one people, the clock and the collateral [census, letter fact]; KENAANI token 6 (the land-eponym filed seventh of ten — the letter buries the headline name mid-list [letter fact]); GIRGASHI token 2 (token 1 = 10:16, gen_24's table row — the only row-name here whose descent the corpus already filed); YEVUSI token 2 — and THE GRANT'S LAST WORD is the Jebusite [tree fact; the city that name carries is the chain's identification, named-only — frozen gen_30's buffer named it aloud at 14:18]. Ten gentilics, three rows, zero verbs: the covenant's last three verses contain no action at all — the machine's whole content is a list held as spoken fact [letter structure; flag 6].	וְאֶת־הָאֱמֹרִי וְאֶת־הַכְּנַעֲנִי וְאֶת־הַגִּרְגָּשִׁי וְאֶת־הַיְבוּסִי · ve-et-ha-emori ve-et-ha-kenaani ve-et-ha-girgashi ve-et-ha-yevusi = and-the-emori and-the-kenaani and-the-girgashi and-the-yevusi	—	tested

The chapter that began with a word in the dark ends without a single verb: ten peoples laid out like boundary stones, and the last stone bears the name of a city no one in this book has entered yet.

State machine

The covenant of the pieces (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).

state	meaning
S_boot	Before 15:1 — all registers empty (standalone unit)
S_word_come	After 15:1 — the word-event fires (the prophets' formula born); LET-NOT(tira) pushed and OPEN; shield/reward facts hold; the seam-pun lands in prose
S_asked	After 15:2 — Abram's first speech to God (the fourth overall); the question held as fact, NOT a demand; dameseq flagged
S_relaunched	After 15:3 — the unanswered double speech; the childless complaint and the house-heir fact hold; yarash born
S_corrected	After 15:4 — the word again (the formula's last Torah firing); the heir-negation and body-promise facts hold
S_starred	After 15:5 — bring_out fires; LET(habet_u_sefor) pushed and OPEN (the letter doubts its own count inside the command); the star-promise holds
S_reckoned	After 15:6 — the five-word pivot: believe/reckon facts hold with both pronouns bare; NO TEST fires (flag 1 — encoded FACT, staged both ways, owner triages)
S_self_named	After 15:7 — ANI YHWH debuts (the Decalogue's shape, three books early); the purpose-infinitive give; ur_kasdim flagged
S_asked_again	After 15:8 — the second question (the say-verb alone on the etnachta); the question-pair complete; still no demand pushed by a question
S_commanded	After 15:9 — LET(qechah) pushed (laqach token 29 — gen_30's across-the-seam line lands); the menagerie debuts
S_complied	After 15:10 — VA-YIQACH pops the take-demand (RESULT — settled cycle #8 claimed, flag 2); the cutting; the bird-negation on the throne; 2 demands remain OPEN
S_guarded	After 15:11 — the vulture descends, Abram drives it off (two hapax-words); the vigil held
S_asleep	After 15:12 — the sleep FALLS agentless (qal — the delta from 2:21's cast, flag 10); the dread-fact holds against the open fear-not
S_decreed	After 15:13 — the decree's first file: sojourn-serve-afflict, 400 years verse-final; ger born (gen_28's la-gur line landed)
S_judged	After 15:14 — dan anokhi on the etnachta; bi-rekhush gadol lands gen_30's named-only token 8
S_promised_peace	After 15:15 — shalom born on the etnachta as a burial promise; qavar and sevah debut
S_clocked	After 15:16 — henah on both thrones; the fourth generation; the un-full iniquity (the shalem/Salem sibling skeleton, sound-only)
S_fire_passed	After 15:17 — the pass-event: Sinai's kit (fire/torch/smoke debuts) walks between the pieces; the subject withheld
S_covenant_cut	After 15:18 — cut_covenant fires (karat token 2 — gen_22's prediction LANDED; brit token 10); NATATI held as receipt-fact (gen_21 + gen_29 side by side); the river border; NOTHING pops (the question was never a demand)
S_row_one	After 15:19 — grant-roster row one holds (Kenite/Kenizzite/Kadmonite — the rare names)
S_row_two	After 15:20 — row two holds (Chittite/Perizzite/Refaim — the future sellers, the pedigree-less, the once-struck)
S_granted	After 15:21 — row three holds; the grant ends on the Jebusite; QUEUE ENDS 2 OPEN (one LET-NOT, one LET) + 1 SETTLED; every other register empty

from	to	via
S_boot	S_word_come	STEP_Gn_15_1
S_word_come	S_asked	STEP_Gn_15_2
S_asked	S_relaunched	STEP_Gn_15_3
S_relaunched	S_corrected	STEP_Gn_15_4
S_corrected	S_starred	STEP_Gn_15_5
S_starred	S_reckoned	STEP_Gn_15_6
S_reckoned	S_self_named	STEP_Gn_15_7
S_self_named	S_asked_again	STEP_Gn_15_8
S_asked_again	S_commanded	STEP_Gn_15_9
S_commanded	S_complied	STEP_Gn_15_10
S_complied	S_guarded	STEP_Gn_15_11
S_guarded	S_asleep	STEP_Gn_15_12
S_asleep	S_decreed	STEP_Gn_15_13
S_decreed	S_judged	STEP_Gn_15_14
S_judged	S_promised_peace	STEP_Gn_15_15
S_promised_peace	S_clocked	STEP_Gn_15_16
S_clocked	S_fire_passed	STEP_Gn_15_17
S_fire_passed	S_covenant_cut	STEP_Gn_15_18
S_covenant_cut	S_row_one	STEP_Gn_15_19
S_row_one	S_row_two	STEP_Gn_15_20
S_row_two	S_granted	STEP_Gn_15_21

AFTER_S_granted — TIME: t0 + one mark (t1 — the RESULT at 15:10: the unit's single receipt). WORLD: ZERO installs (a covenant is cut and nothing is built) + 4 presupposed reads flagged (dameseq, ur_kasdim, nahar_mitzrayim, nehar_perat — the ten gentilics are grant-roster FACTS, not reads: flag 6). REGISTRY: ZERO writes (ani YHWH is self-identification in speech, not a naming act — no va-yiqra formula anywhere in-span). EVENTS: 19 narrative + 3 declares. SPECS: THREE pushed, ONE popped, TWO OPEN — the queue's three moods tell the unit: LET-NOT(tira(avram)) OPEN (no resolution path exists — S10; the dread of 15:12 stands against it in the letter's own irony); LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) OPEN (no looking or counting narrated — the letter doubted the count inside the command); LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal)) SETTLED at 15:10 by the demand's own verb (settled cycle #8 claimed — the first divine demand settled since gen_27's lekh, the first ever settled inside a covenant rite; flag 2). Standing facts (28 HOLDS lines): the shield and the reward (the seam-pun landed in prose), the two questions (held as questions — flag 5), the childless complaint, the heir-correction pair, the star-promise, THE BELIEVE-RECKON PAIR WITH BOTH PRONOUNS BARE (flag 1 — the owner's triage), the ani-YHWH self-naming (its Torah debut — flag 7), the bird-negation, the dusk, the dread, the four-verse decree (sojourn-serve-afflict-400; the judged nation and the exodus wealth — rekhush token 8 landed; the peace-burial; the fourth generation between two henahs), the NATATI receipt (gen_21's performative class + gen_29's anticipated verse, side by side), the river-to-river border (Eden's Perat at the far end), and the ten-nation grant-roster in three rows (flag 6). TESTS: EMPTY — the 15:6 reckoning encoded as FACT with the TEST-reading staged verbatim for review (flag 1). LEDGER: EMPTY. FLAGS: read_before_install x4. THE SHAPE IS THE STATE: a unit whose only settled business is an errand of animals, whose open business is a feeling and a count of stars, and whose facts include four hundred years, one grave, ten nations, and a gift already in the perfect tense.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	The word, the shield, the fear-not: after STEP_Gn_15_1	All registers empty (standalone unit). (come(e1) — the prophets' formula born; the seam-pun lands in prose, nothing crosses the wall.)	LET-NOT(tira(avram)) pushed and OPEN; Facts anokhi-magen HOLD; Facts sekharkha HOLD.	אַל־תִּירָא אַבְרָם אָנֹכִי מָגֵן לָךְ · al-tira avram anokhi magen lakh = upon-tira avram anokhi magen to-you
S2	The double complaint: after STEP_Gn_15_3	S1 state plus 15:2 (the first speech to God — a question, held as fact, NOT a demand; flag 5).	Facts ariri HOLD; Facts yoresh HOLD; flags dameseq as read-before-install; no test, no name.	מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ עֲרִירִי · mah-titen-li ve-anokhi holekh ariri = mah-titen-to-me and-anokhi holekh ariri
S3	The heir-correction: after STEP_Gn_15_4	S2 state. (come(e4) — the formula's second and last Torah firing; promise-FACTs per gen_27's class.)	Facts lo-yirashkha HOLD; Facts mi-meekha HOLD. = Facts not-yirashkha HOLD; Facts from-meekha HOLD.	לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר יֵצֵא מִמֵּעֶיךָ · lo yirashkha zeh ki-im asher yetze mi-meekha = not yirashkha this when-if which yetze from-meekha
S4	The stars and the count-command: after STEP_Gn_15_5	S3 state. (bring_out(e5); the compound imperative rides ONE demand — gen_29's sa_u_ree device.)	LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN; Facts koh-yihyeh HOLD. = LET(habet-and-sefor(avram, the-shamaymah-and-the-stars)) pushed and OPEN; Facts koh-yihyeh HOLD.	הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר הַכּוֹכָבִים · habet-na ha-shamaymah u-sefor ha-kokhavim = habet-na the-shamaymah and-sefor stars
S5	The five-word pivot: after STEP_Gn_15_6	S4 state. (Flag 1's encoding asserted: the reckoning held as FACT-pair with both pronouns bare; NO TEST fires — the TEST-reading is staged in the note for the owner's triage.)	Facts heemin HOLD; Facts tzedaqah HOLD; no test, no name.	וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה · ve-heemin ba-YHWH va-yachsheveha lo tzedaqah = and-heemin in-the-the-LORD and-yachsheveha not tzedaqah
S6	The self-naming and the second question: after STEP_Gn_15_8	S5 state plus 15:7 (ani YHWH — the Torah debut, flag 7). (The second question held as fact — the question-pair completes, no demand.)	Facts ani-YHWH HOLD; Facts ba-mah-eda HOLD; flags ur_kasdim as read-before-install. = Facts ani-the-LORD HOLD; Facts in-the-mah-eda HOLD; flags ur-kasdim as read-before-install.	אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים · ani YHWH asher hotzetikha me-ur kasdim = ani the-LORD which hotzetikha from-ur kasdim
S7	The take-command pushed: after STEP_Gn_15_9	S6 state. (say(e10) — the errand answers the proof-question; laqach token 29 lands gen_30's across-the-seam line.)	LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal)) pushed and OPEN. = LET(qechah(avram, eglah-ez-ayil-tor-and-gozal)) pushed and OPEN.	קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת · qechah li eglah meshuleshet = qechah to-me eglah meshuleshet
S8	The compliance pops the demand: after STEP_Gn_15_10	S7 state. (VA-YIQACH — the demand's own verb: RESULT pops the qechah-demand, TIME marks t1; SETTLED CYCLE #8 claimed — asserted here in prose per the Chanokh device, the queue's absence-check has no clause; flag 2.)	LET-NOT(tira(avram)) pushed and OPEN; LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN; Facts lo-vatar HOLD. = LET-NOT(tira(avram)) pushed and OPEN; LET(habet-and-sefor(avram, the-shamaymah-and-the-stars)) pushed and OPEN; Facts not-vatar HOLD.	וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה … וְאֶת־הַצִפֹּר לֹא בָתָר · va-yiqach-lo et-kol-eleh … ve-et-ha-tzipor lo vatar = and-yiqach-not all-these and-the-tzipor not vatar
S9	The sleep and the dread: after STEP_Gn_15_12	S8 state plus 15:11 (the vigil). (fall(e16) — AGENTLESS, the qal delta from 2:21's hiphil cast; gen_09's prediction landed; flag 10.)	Facts emah-chashekhah HOLD.	וְהִנֵּה אֵימָה חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו · ve-hineh emah chashekhah gedolah nofelet alav = and-hineh emah chashekhah gedolah nofelet alav
S10	The decree filed: after STEP_Gn_15_16	S9 state plus 15:13-15. (The decree is weqatal future-chain held as FACTs — sojourn/serve/afflict/400, the judgment, the exodus wealth, the peace-burial, the fourth generation.)	Facts ger-yihyeh HOLD; Facts arba-meot HOLD; Facts dan-anokhi HOLD; Facts rekhush-gadol HOLD; Facts be-shalom HOLD; Facts henah HOLD. = Facts ger-yihyeh HOLD; Facts arba-meot HOLD; Facts dan-anokhi HOLD; Facts rekhush-gadol HOLD; Facts in-shalom HOLD; Facts henah HOLD.	יָדֹעַ תֵּדַע כִּי־גֵר יִהְיֶה זַרְעֲךָ · yadoa teda ki-ger yihyeh zarakha = yadoa teda when-ger yihyeh zarakha
S11	The covenant cut, the receipt held: after STEP_Gn_15_18	S10 state plus 15:17 (the fire passes). (cut_covenant(e19) — karat token 2 LANDS gen_22's prediction; NATATI held as receipt-FACT with gen_21 + gen_29 quoted side by side; NOTHING pops — the question of 15:2 was never a demand; flag 5.)	Facts natati HOLD; Facts nehar-perat HOLD; flags nahar_mitzrayim/nehar_perat as read-before-install. = Facts natati HOLD; Facts nehar-Euphrates HOLD; flags river-mitzrayim/nehar-Euphrates as read-before-install.	לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת · le-zarakha natati et-ha-aretz ha-zot = to-zarakha natati the-earth the-this
S12	The grant-roster closes the book: after STEP_Gn_15_21	S11 state plus 15:19-20. (The ten gentilics as grant-roster FACTs, not reads — flag 6; the list ends on the Jebusite; queue at rest: 2 OPEN, 1 settled.)	LET-NOT(tira(avram)) pushed and OPEN; LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN; Facts qeni-qenizi-qadmoni HOLD; Facts chiti-perizi-refaim HOLD; Facts emori-kenaani-girgashi-yevusi HOLD; no test, no name; LEDGER stays EMPTY (open transaction). = LET-NOT(tira(avram)) pushed and OPEN; LET(habet-and-sefor(avram, the-shamaymah-and-the-stars)) pushed and OPEN; Facts qeni-qenizi-qadmoni HOLD; Facts chiti-perizi-refaim HOLD; Facts emori-kenaani-girgashi-yevusi HOLD; no test, no name; LEDGER stays EMPTY (open transaction).	אֶת־הַקֵּינִי … וְאֶת־הַיְבוּסִי · et-ha-qeni … ve-et-ha-yevusi = the-qeni and-the-yevusi
S13_negative	Negative: the LET? contract guard	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 — entries pop demands; nothing but citation moves a mood.	קְחָה לִי · qechah li = qechah to-me
S14_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_natati_receipt_and_the_give_arc	מַה־תִּתֶּן־לִי … לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת · mah-titen-li … le-zarakha natati et-ha-aretz ha-zot · THE GIVE-ARC CLOSES IN THE PERFECT [seed order executed]: the unit opens with Abram's first words to God — MAH-TITEN-LI ('what will You GIVE me', natan token 16, held as question-FACT, not demand — flag 5) — and closes with the corpus's receipt-grammar: NATATI ('I HAVE given', token 20, the span's only 1cs perfect in divine speech), with natata (the complaint, 17), la-tet (the purpose, 18), and va-yiten (Abram giving piece against piece, 19) strung between; the two frozen warrants quoted SIDE BY SIDE at the step: gen_21's 9:3 class ('NATATI — performative perfect, held as fact') and gen_29's 13:15 ruling that NAMED this verse ('a single future giving with a possible receipt — the corpus's own 15:18 natati performs it'); NOTHING pops (the question was never pushed; nothing crosses frozen walls); the recipient narrows to LE-ZARAKHA (gen_29's lekha absent — the man's own clause is 15:15's grave); NO perpetuity formula recurs (FACT a fortiori, no INVARIANT weighed); and KARAT token 2 LANDS frozen gen_22's likhrot-brit prediction verbatim — the cut-verb's first affirmative token cuts the first divine-human covenant (brit token 10, landing gen_30's token-9 note)
EXPORT_the_15_6_weigh_staged_both_ways	וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה · ve-heemin ba-YHWH va-yachsheveha lo tzedaqah · THE BELIEVE-RECKON PIVOT — ENCODED FACT, STAGED BOTH WAYS, OWNER TRIAGES [flag 1]: five words, three debuts (aman/chashav/tzedaqah), hiphil-perfect belief (stated, not evented), narrative-past reckoning with BOTH pronouns bare; READING A (TEST — the roster has grown twice: gen_12's sha'ah, gen_17's tzaddik, both quoted; the staged line: TESTS += PASS(chashav, ve_heemin_ba_YHWH)); READING B (FACT — encoded: no roster instrument at the verse; chashav's early career is misjudgment — 31:15's reckoned-foreigners, 38:15's IDENTICAL va-yachsheveha on Tamar, 50:20's double; and a TEST must name its oracle where the letter names none — gen_30's withheld-subject discipline quoted); Onkelos declines to vote (both pronouns bare) while entering the MEMRA (be-meimra da-YHWH) and rendering tzedaqah as ZAKHU ('merit' — the buffer's Noach-root, gen_17's zakkai); the span's only tov-token is 15:15's attributive be-sevah tovah (seed refinement, flag 12b)
EXPORT_the_decree_filed_as_fact	יָדֹעַ תֵּדַע כִּי־גֵר יִהְיֶה זַרְעֲךָ … וְדוֹר רְבִיעִי יָשׁוּבוּ הֵנָּה · yadoa teda ki-ger yihyeh zarakha … ve-dor revii yashuvu henah · THE FOUR-HUNDRED-YEAR DECREE AS STANDING FACT (the weqatal future-chain, never command): KNOW doubled answers 15:8's whereby-shall-I-KNOW in its own verb; GER debuts in the prophecy after gen_28's la-gur debuted on the ancestor's own descent (quoted, landed) — and the sojourn-and-bury pair (ger 15:13 / qavar 15:15) recurs AS A PAIR at 23:4-6, Abraham at Sarah's grave [census]; ANAH ('afflict') token 1 with tokens 2-3 BOTH next-chapter Hagar verses (16:6 Sarai afflicts, 16:9 the angel's submit — gen_32 watch); AVAD tokens 7-8 extend gen_30's garden-to-empire career onto the seed; DAN ANOKHI on the etnachta (din's career entangled with the tribe Dan); BI-REKHUSH GADOL lands gen_30's named-only token 8 (the war's loot-word becomes the exodus's wages; Onkelos: qinyana — the buffer's property-noun a third time); SHALOM debuts on the etnachta as a burial promise (sevah token 2 = 25:8, the verse that keeps it); HENAH debuts x2 ON BOTH THRONES of 15:16 (Onkelos splits: here / until NOW); the un-full AVON of the Emorite — the only nation in both decree and deed — holds the land's clock [letter fact; theodicy files named-only]
EXPORT_the_rite_and_the_settled_take	קְחָה לִי … וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה … וְהִנֵּה תַנּוּר עָשָׁן וְלַפִּיד אֵשׁ · qechah li … va-yiqach-lo et-kol-eleh … ve-hineh tanur ashan ve-lapid esh · THE RITE'S MACHINE: SETTLED CYCLE #8 CLAIMED [flag 2] — QECHAH (imperative, laqach token 29 — frozen gen_30's across-the-seam line quoted and LANDED: 'GOD says take next') popped by VA-YIQACH (token 30, the demand's own verb — gen_17's class quoted); the first divine demand settled since gen_27's lekh, the first inside a covenant rite; the menagerie debuts in one command (heifer/she-goat/ram/turtledove/pigeon — Leviticus's species-list; eglah's only other Torah tokens are Deut 21's broken-neck rite; MESHULESHET x3, its own triple); BATAR debuts and nearly dies in its verse (2 tokens + bitro hapax + gezarim hapax — the cutting vocabulary lives almost only here) with the negation THRONED: lo vatar verse-final; the vigil (ayit hapax vs nashav hapax); the two covenant sleeps' morph delta (2:21 CAST hiphil vs 15:12 FALLS qal — gen_09's prediction quoted and landed) with the dread falling against the open fear-not (the first divine plea-negative, gen_29's 13:8 class); the SINAI KIT three books early (esh's debut is the covenant torch; lapid/ashan's only other tokens are Exod 19-20's mountain; tanur token 3 the minchah-oven); the pass-verb's ladder (God's wind 8:1, Abram 12:6, the fire here); Onkelos liturgizes the whole rite (qechah -> QAREV KODAMAI 'offer before Me'; the threefold read three-of-each, 5 -> 11) and the MEMRA enters at both ends of the faith-exchange (meimri 15:1, be-meimra 15:6) [dual-track]

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

observation Bereshit Rabbah 44 (the span; the four-kingdoms reading of the pieces/dread; the astrology-exit class); Rashi at 15:1, 15:2, 15:6, 15:9, 15:10, 15:13, 15:17; Ramban at 15:6 (the pronoun dispute) and 15:18; Bavli Berakhot 7b (Adonai's debut class); Nedarim 32a (the decree-cause dispute); Mekhilta on the 400/430 — gen_31 Tier-A queue
בַּיּוֹם הַהוּא כָּרַת יְהוָה אֶת־אַבְרָם בְּרִית · (queue — named only) · Named, not read. The cache middot scan is the MAIN LOOP'S gate and is not claimed by this draft [flagged]. Predicted classes: the FOUR-KINGDOMS typology (the pieces, the dread's four epithets — Ramban's program continuing from gen_30's queue); the PRONOUN-DISPUTE class at 15:6 (WHO reckoned to whom — Ramban names the minority reading aloud; the machine's bare pronouns are its dossier); the ADONAI-DEBUT class (Berakhot 7b: 'no one called Him Master until Abraham'); the DECREE-CAUSE class (Nedarim 32a: was the question of 15:8 the sin that bought the sentence — the letter's own question-answer arc weighed by the chain); the ARITHMETIC class (400 from Yitzchak vs 430 of Exod 12:40 — named-only, no arithmetic enters the machine); the GEHINNOM-AND-EXILES class at 15:17 (the fire-pot's identifications).
Queue entry — no claim made beyond the naming.

verified Onkelos Genesis 15:1-21 — read Tier-A at derive time (21 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03; cache MISS for the full span as staged)
מֵימְרִי תְּקוֹף לָךְ … וְהֵימִין בְּמֵימְרָא דַיְיָ · meimri teqof lakh … ve-hemin be-meimra da-YHWH · The span's translation witness — HEADLINE: THE MEMRA DOUBLE-ENTRY. 15:1's anokhi magen lakh ('I am your shield') -> MEIMRI TEQOF LAKH ('My WORD is your STRENGTH'), and 15:6's ve-heemin ba-YHWH -> ve-hemin BE-MEIMRA da-YHWH ('he believed in the WORD of YHWH'): the buffer sets the Memra at BOTH ends of the faith-exchange — God's I becomes God's Word and the belief lands on the Word — in the chapter the letter itself frames as a word-event; and the genre is named outright: ba-machazeh -> BI-NEVUAH ('in PROPHECY') [find-class: theology-insertion, flagged]. SECOND: THE RITE LITURGIZED — qechah li ('take for Me') -> QAREV KODAMAI ('OFFER BEFORE Me') and va-yiqach-lo -> ve-qarev kodamohi ('he offered before Him'): the korban-verb two books before Leviticus, with the kodam-distancing on both command and compliance (gen_30's meshamesh-kodam family); AND the threefold read as THREE-OF-EACH (eglin telata, 'three calves...') — the menagerie 5 -> 11 [famous buffer arithmetic, dual-track]. THIRD: the 15:6 watch-point answered — ve-chashvah leih: the buffer KEEPS BOTH PRONOUNS BARE (declines to vote on the famous ambiguity — exactly its behavior at gen_30's tithe), while tzedaqah -> ZAKHU ('merit'): the same merit-root the buffer gave Noach's tzaddik (frozen gen_17's zakkai buffer) [repeat-policy]. REPEAT BUFFERS CONSISTENT WITH FROZEN RECORDS: seed -> sons (zarekha -> benakh/li-vnakh at 15:5, 15:13, 15:18 — gen_29's 13:15 buffer exactly); tardemah -> plain SHINTA ('sleep') — the SAME flattening gen_09 recorded at 2:21: both covenant sleeps lose their depth in Aramaic; rekhush -> QINYANA (gen_30's property-noun, now on the exodus wealth); Refaim -> GIBARAEI ('the mighty' — gen_30's 14:5 epithet verbatim); the identification class continues (ha-qeni -> SHALMAEI, the Kenite named as the Salmaean — gen_30's Salem-to-Jerusalem move on a new name). Also: ariri -> be-la VELAD ('without a child' — the gloss-fix vindicated); ben-mesheq -> BAR PARNASA ('the provision-steward' — the hapax resolved to an office); dameseq -> DAMASQAAH (the city turned gentilic — the wordplay resolved); mi-meekha -> bar DE-TOLID ('the son you will BEGET' — the body-idiom flattened); ba-tavekh -> BE-SHAVEH ('EQUALLY' — geometry to arithmetic); henah x2 SPLIT (haka 'here' / ad KEAN 'until now'); avon -> CHOVA ('debt' — iniquity as ledger); lo shalem -> la SHELIM (the sibling-skeleton kept); natati -> YEHAVIT (the perfect KEPT — the receipt survives translation); karat brit -> GEZAR QEYAM ('CUT a pact' — the cut-idiom SURVIVES in Aramaic here, where gen_22 recorded it dying at 9:11: the buffer's own covenant-idiom is cut-based) [delta vs frozen record, flagged].
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.15.1 · parser unique · 19 words

אחר הדברים האלה היה דבר־יהוה אל־אברם במחזה לאמר אל־תירא אברם אנכי מגן לך שכרך הרבה מאד · achar ha-devarim ha-ele haya devar-YHWH el-avram ba-machaze le-mor el-tira avram anokhi magen la-khe sekhar-kha harbe meod · The word of YHWH in a vision: fear not — I am your shield; your reward very great. [EN-AID]

PHRASE (binary 19w) אַחַ֣ר הַ/דְּבָרִ֣ים הָ/אֵ֗לֶּה הָיָ֤ה דְבַר יְ…
├── PHRASE (binary 10w) אַחַ֣ר הַ/דְּבָרִ֣ים הָ/אֵ֗לֶּה הָיָ֤ה דְבַר יְ…
│   ├── PHRASE (binary 8w) אַחַ֣ר הַ/דְּבָרִ֣ים הָ/אֵ֗לֶּה הָיָ֤ה דְבַר יְ…
│   │   ├── [0-2] GLUE אַחַ֣ר הַ/דְּבָרִ֣ים הָ/אֵ֗לֶּה (revia, rank=3)
│   │   └── PHRASE (binary 5w) הָיָ֤ה דְבַר יְהוָה֙ אֶל אַבְרָ֔ם
│   │       ├── [3-5] GLUE הָיָ֤ה דְבַר יְהוָה֙ (pashta, rank=3)
│   │       └── [6-7] GLUE אֶל אַבְרָ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 2w) בַּֽ/מַּחֲזֶ֖ה לֵ/אמֹ֑ר
│       ├── [8] בַּֽ/מַּחֲזֶ֖ה (tifcha, rank=2)
│       └── [9] לֵ/אמֹ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) אַל תִּירָ֣א אַבְרָ֗ם אָנֹכִי֙ מָגֵ֣ן לָ֔/ךְ שׂ…
    ├── PHRASE (binary 6w) אַל תִּירָ֣א אַבְרָ֗ם אָנֹכִי֙ מָגֵ֣ן לָ֔/ךְ
    │   ├── [10-12] GLUE אַל תִּירָ֣א אַבְרָ֗ם (revia, rank=3)
    │   └── PHRASE (binary 3w) אָנֹכִי֙ מָגֵ֣ן לָ֔/ךְ
    │       ├── [13] אָנֹכִי֙ (pashta, rank=3)
    │       └── [14-15] GLUE מָגֵ֣ן לָ֔/ךְ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) שְׂכָרְ/ךָ֖ הַרְבֵּ֥ה מְאֹֽד
        ├── [16] שְׂכָרְ/ךָ֖ (tifcha, rank=2)
        └── [17-18] GLUE הַרְבֵּ֥ה מְאֹֽד (silluq (verse-end emperor), rank=1)

Gen.15.2 · parser unique · 16 words

ויאמר אברם אדני יהוה מה־תתן־לי ואנכי הולך ערירי ובן־משק ביתי הוא דמשק אליעזר · va-yomer avram adona-y YHWH ma-titen-li-y ve-anokhi holekh ariri u-ven-mesheq beti-y hu dameseq eliezer · Abram's first words to God: what will You give me — I go childless; Damascus-Eliezer inherits. [EN-AID]

PHRASE (binary 16w) וַ/יֹּ֣אמֶר אַבְרָ֗ם אֲדֹנָ֤/י יֱהוִה֙ מַה תִּת…
├── PHRASE (binary 10w) וַ/יֹּ֣אמֶר אַבְרָ֗ם אֲדֹנָ֤/י יֱהוִה֙ מַה תִּת…
│   ├── PHRASE (binary 7w) וַ/יֹּ֣אמֶר אַבְרָ֗ם אֲדֹנָ֤/י יֱהוִה֙ מַה תִּת…
│   │   ├── [0-1] GLUE וַ/יֹּ֣אמֶר אַבְרָ֗ם (revia, rank=3)
│   │   └── PHRASE (binary 5w) אֲדֹנָ֤/י יֱהוִה֙ מַה תִּתֶּן לִ֔/י
│   │       ├── [2-3] GLUE אֲדֹנָ֤/י יֱהוִה֙ (pashta, rank=3)
│   │       └── [4-6] GLUE מַה תִּתֶּן לִ֔/י (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וְ/אָנֹכִ֖י הוֹלֵ֣ךְ עֲרִירִ֑י
│       ├── [7] וְ/אָנֹכִ֖י (tifcha, rank=2)
│       └── [8-9] GLUE הוֹלֵ֣ךְ עֲרִירִ֑י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וּ/בֶן מֶ֣שֶׁק בֵּיתִ֔/י ה֖וּא דַּמֶּ֥שֶׂק אֱלִ…
    ├── [10-12] GLUE וּ/בֶן מֶ֣שֶׁק בֵּיתִ֔/י (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) ה֖וּא דַּמֶּ֥שֶׂק אֱלִיעֶֽזֶר
        ├── [13] ה֖וּא (tifcha, rank=2)
        └── [14-15] GLUE דַּמֶּ֥שֶׂק אֱלִיעֶֽזֶר (silluq (verse-end emperor), rank=1)

Gen.15.3 · parser unique · 12 words

ויאמר אברם הן לי לא נתתה זרע והנה בן־ביתי יורש אתי · va-yomer avram hen li-y lo natata zara ve-hine ven-beti-y yoresh et-y · Behold, to me You gave no seed: my house-son inherits me. [EN-AID]

PHRASE (binary 12w) וַ/יֹּ֣אמֶר אַבְרָ֔ם הֵ֣ן לִ֔/י לֹ֥א נָתַ֖תָּה …
├── PHRASE (binary 7w) וַ/יֹּ֣אמֶר אַבְרָ֔ם הֵ֣ן לִ֔/י לֹ֥א נָתַ֖תָּה …
│   ├── [0-1] GLUE וַ/יֹּ֣אמֶר אַבְרָ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) הֵ֣ן לִ֔/י לֹ֥א נָתַ֖תָּה זָ֑רַע
│       ├── [2-3] GLUE הֵ֣ן לִ֔/י (zaqef qatan, rank=2)
│       └── PHRASE (binary 3w) לֹ֥א נָתַ֖תָּה זָ֑רַע
│           ├── [4-5] GLUE לֹ֥א נָתַ֖תָּה (tifcha, rank=2)
│           └── [6] זָ֑רַע (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/הִנֵּ֥ה בֶן בֵּיתִ֖/י יוֹרֵ֥שׁ אֹתִֽ/י
    ├── [7-9] GLUE וְ/הִנֵּ֥ה בֶן בֵּיתִ֖/י (tifcha, rank=2)
    └── [10-11] GLUE יוֹרֵ֥שׁ אֹתִֽ/י (silluq (verse-end emperor), rank=1)

Gen.15.4 · parser unique · 15 words

והנה דבר־יהוה אליו לאמר לא יירשך זה כי־אם אשר יצא ממעיך הוא יירשך · ve-hine devar-YHWH elay-v le-mor lo yirash-kha ze ki-im asher yetze mi-mee-kha hu yirashe-kha · The word again: not this one — the one from your own body shall inherit you. [EN-AID]

PHRASE (binary 15w) וְ/הִנֵּ֨ה דְבַר יְהוָ֤ה אֵלָי/ו֙ לֵ/אמֹ֔ר לֹ֥א…
├── PHRASE (binary 8w) וְ/הִנֵּ֨ה דְבַר יְהוָ֤ה אֵלָי/ו֙ לֵ/אמֹ֔ר לֹ֥א…
│   ├── PHRASE (binary 5w) וְ/הִנֵּ֨ה דְבַר יְהוָ֤ה אֵלָי/ו֙ לֵ/אמֹ֔ר
│   │   ├── [0-3] GLUE וְ/הִנֵּ֨ה דְבַר יְהוָ֤ה אֵלָי/ו֙ (pashta, rank=3)
│   │   └── [4] לֵ/אמֹ֔ר (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) לֹ֥א יִֽירָשְׁ/ךָ֖ זֶ֑ה
│       ├── [5-6] GLUE לֹ֥א יִֽירָשְׁ/ךָ֖ (tifcha, rank=2)
│       └── [7] זֶ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) כִּי אִם֙ אֲשֶׁ֣ר יֵצֵ֣א מִ/מֵּעֶ֔י/ךָ ה֖וּא יִ…
    ├── PHRASE (binary 5w) כִּי אִם֙ אֲשֶׁ֣ר יֵצֵ֣א מִ/מֵּעֶ֔י/ךָ
    │   ├── [8-9] GLUE כִּי אִם֙ (pashta, rank=3)
    │   └── [10-12] GLUE אֲשֶׁ֣ר יֵצֵ֣א מִ/מֵּעֶ֔י/ךָ (zaqef qatan, rank=2)
    └── PHRASE (binary 2w) ה֖וּא יִֽירָשֶֽׁ/ךָ
        ├── [13] ה֖וּא (tifcha, rank=2)
        └── [14] יִֽירָשֶֽׁ/ךָ (silluq (verse-end emperor), rank=1)

Gen.15.5 · parser unique · 18 words

ויוצא אתו החוצה ויאמר הבט־נא השמימה וספר הכוכבים אם־תוכל לספר אתם ויאמר לו כה יהיה זרעך · va-yotze et-o ha-chutza-ה va-yomer habet-na ha-shamayma-ה u-sefor ha-kokhavim im-tukhal li-sepor et-m va-yomer l-o ko yihye zare-kha · Outside: look at the heavens, count the stars if you can — SO shall your seed be. [EN-AID]

PHRASE (binary 18w) וַ/יּוֹצֵ֨א אֹת֜/וֹ הַ/ח֗וּצָ/ה וַ/יֹּ֨אמֶר֙ הַ…
├── PHRASE (binary 13w) וַ/יּוֹצֵ֨א אֹת֜/וֹ הַ/ח֗וּצָ/ה וַ/יֹּ֨אמֶר֙ הַ…
│   ├── PHRASE (binary 9w) וַ/יּוֹצֵ֨א אֹת֜/וֹ הַ/ח֗וּצָ/ה וַ/יֹּ֨אמֶר֙ הַ…
│   │   ├── PHRASE (binary 3w) וַ/יּוֹצֵ֨א אֹת֜/וֹ הַ/ח֗וּצָ/ה
│   │   │   ├── [0-1] GLUE וַ/יּוֹצֵ֨א אֹת֜/וֹ (geresh, rank=4)
│   │   │   └── [2] הַ/ח֗וּצָ/ה (revia, rank=3)
│   │   └── PHRASE (binary 6w) וַ/יֹּ֨אמֶר֙ הַבֶּט נָ֣א הַ/שָּׁמַ֗יְמָ/ה וּ/סְ…
│   │       ├── [3] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
│   │       └── PHRASE (binary 5w) הַבֶּט נָ֣א הַ/שָּׁמַ֗יְמָ/ה וּ/סְפֹר֙ הַ/כּ֣וֹ…
│   │           ├── [4-6] GLUE הַבֶּט נָ֣א הַ/שָּׁמַ֗יְמָ/ה (revia, rank=3)
│   │           └── PHRASE (binary 2w) וּ/סְפֹר֙ הַ/כּ֣וֹכָבִ֔ים
│   │               ├── [7] וּ/סְפֹר֙ (pashta, rank=3)
│   │               └── [8] הַ/כּ֣וֹכָבִ֔ים (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) אִם תּוּכַ֖ל לִ/סְפֹּ֣ר אֹתָ֑/ם
│       ├── [9-10] GLUE אִם תּוּכַ֖ל (tifcha, rank=2)
│       └── [11-12] GLUE לִ/סְפֹּ֣ר אֹתָ֑/ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יֹּ֣אמֶר ל֔/וֹ כֹּ֥ה יִהְיֶ֖ה זַרְעֶֽ/ךָ
    ├── [13-14] GLUE וַ/יֹּ֣אמֶר ל֔/וֹ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) כֹּ֥ה יִהְיֶ֖ה זַרְעֶֽ/ךָ
        ├── [15-16] GLUE כֹּ֥ה יִהְיֶ֖ה (tifcha, rank=2)
        └── [17] זַרְעֶֽ/ךָ (silluq (verse-end emperor), rank=1)

Gen.15.6 · parser unique · 5 words

והאמן ביהוה ויחשבה לו צדקה · ve-heemin ba-YHWH va-yachshve-ha l-o tzedaqa · And he believed in YHWH; and He reckoned it to him as righteousness. [EN-AID]

PHRASE (binary 5w) וְ/הֶאֱמִ֖ן בַּֽ/יהוָ֑ה וַ/יַּחְשְׁבֶ֥/הָ לּ֖/ו…
├── PHRASE (binary 2w) וְ/הֶאֱמִ֖ן בַּֽ/יהוָ֑ה
│   ├── [0] וְ/הֶאֱמִ֖ן (tifcha, rank=2)
│   └── [1] בַּֽ/יהוָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יַּחְשְׁבֶ֥/הָ לּ֖/וֹ צְדָקָֽה
    ├── [2-3] GLUE וַ/יַּחְשְׁבֶ֥/הָ לּ֖/וֹ (tifcha, rank=2)
    └── [4] צְדָקָֽה (silluq (verse-end emperor), rank=1)

Gen.15.7 · parser unique · 14 words

ויאמר אליו אני יהוה אשר הוצאתיך מאור כשדים לתת לך את־הארץ הזאת לרשתה · va-yomer elay-v ani YHWH asher hotzeti-kha me-ur kasdim la-tet le-kha et-ha-aretz ha-zot le-rishta-ה · I am YHWH who brought you out of Ur of the Chaldees, to give you this land. [EN-AID]

PHRASE (binary 14w) וַ/יֹּ֖אמֶר אֵלָ֑י/ו אֲנִ֣י יְהוָ֗ה אֲשֶׁ֤ר הוֹ…
├── PHRASE (binary 2w) וַ/יֹּ֖אמֶר אֵלָ֑י/ו
│   ├── [0] וַ/יֹּ֖אמֶר (tifcha, rank=2)
│   └── [1] אֵלָ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) אֲנִ֣י יְהוָ֗ה אֲשֶׁ֤ר הוֹצֵאתִ֨י/ךָ֙ מֵ/א֣וּר …
    ├── PHRASE (binary 6w) אֲנִ֣י יְהוָ֗ה אֲשֶׁ֤ר הוֹצֵאתִ֨י/ךָ֙ מֵ/א֣וּר …
    │   ├── [2-3] GLUE אֲנִ֣י יְהוָ֗ה (revia, rank=3)
    │   └── PHRASE (binary 4w) אֲשֶׁ֤ר הוֹצֵאתִ֨י/ךָ֙ מֵ/א֣וּר כַּשְׂדִּ֔ים
    │       ├── [4-5] GLUE אֲשֶׁ֤ר הוֹצֵאתִ֨י/ךָ֙ (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.15.8 · parser unique · 7 words

ויאמר אדני יהוה במה אדע כי אירשנה · va-yomar adona-y YHWH ba-ma eda ki irashe-na · My Lord YHWH, whereby shall I know that I shall possess it? [EN-AID]

PHRASE (binary 7w) וַ/יֹּאמַ֑ר אֲדֹנָ֣/י יֱהוִ֔ה בַּ/מָּ֥ה אֵדַ֖ע …
├── [0] וַ/יֹּאמַ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אֲדֹנָ֣/י יֱהוִ֔ה בַּ/מָּ֥ה אֵדַ֖ע כִּ֥י אִֽירָ…
    ├── [1-2] GLUE אֲדֹנָ֣/י יֱהוִ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) בַּ/מָּ֥ה אֵדַ֖ע כִּ֥י אִֽירָשֶֽׁ/נָּה
        ├── [3-4] GLUE בַּ/מָּ֥ה אֵדַ֖ע (tifcha, rank=2)
        └── [5-6] GLUE כִּ֥י אִֽירָשֶֽׁ/נָּה (silluq (verse-end emperor), rank=1)

Gen.15.9 · parser unique · 12 words

ויאמר אליו קחה לי עגלה משלשת ועז משלשת ואיל משלש ותר וגוזל · va-yomer elay-v qecha-ה li-y egla meshuleshet ve-ez meshuleshet ve-ayil meshulash ve-tor ve-gozal · Take Me a threefold heifer, she-goat, ram, a turtledove, a young pigeon. [EN-AID]

PHRASE (binary 12w) וַ/יֹּ֣אמֶר אֵלָ֗י/ו קְחָ֥/ה לִ/י֙ עֶגְלָ֣ה מְש…
├── PHRASE (binary 10w) וַ/יֹּ֣אמֶר אֵלָ֗י/ו קְחָ֥/ה לִ/י֙ עֶגְלָ֣ה מְש…
│   ├── PHRASE (binary 6w) וַ/יֹּ֣אמֶר אֵלָ֗י/ו קְחָ֥/ה לִ/י֙ עֶגְלָ֣ה מְש…
│   │   ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֵלָ֗י/ו (revia, rank=3)
│   │   └── PHRASE (binary 4w) קְחָ֥/ה לִ/י֙ עֶגְלָ֣ה מְשֻׁלֶּ֔שֶׁת
│   │       ├── [2-3] GLUE קְחָ֥/ה לִ/י֙ (pashta, rank=3)
│   │       └── [4-5] GLUE עֶגְלָ֣ה מְשֻׁלֶּ֔שֶׁת (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וְ/עֵ֥ז מְשֻׁלֶּ֖שֶׁת וְ/אַ֣יִל מְשֻׁלָּ֑שׁ
│       ├── [6-7] GLUE וְ/עֵ֥ז מְשֻׁלֶּ֖שֶׁת (tifcha, rank=2)
│       └── [8-9] GLUE וְ/אַ֣יִל מְשֻׁלָּ֑שׁ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וְ/תֹ֖ר וְ/גוֹזָֽל
    ├── [10] וְ/תֹ֖ר (tifcha, rank=2)
    └── [11] וְ/גוֹזָֽל (silluq (verse-end emperor), rank=1)

Gen.15.10 · parser unique · 17 words

ויקח־לו את־כל־אלה ויבתר אתם בתוך ויתן איש־בתרו לקראת רעהו ואת־הצפר לא בתר · va-yiqach-l-o et-kal-ele va-yevater et-m ba-tavekh va-yiten ish-bitr-o li-qerat ree-hu ve-et-ha-tzipor lo vatar · He took, he cut them in the midst, each piece against its fellow; the bird he did not cut. [EN-AID]

PHRASE (binary 17w) וַ/יִּֽקַּֽח ל֣/וֹ אֶת כָּל אֵ֗לֶּה וַ/יְבַתֵּ֤…
├── PHRASE (binary 13w) וַ/יִּֽקַּֽח ל֣/וֹ אֶת כָּל אֵ֗לֶּה וַ/יְבַתֵּ֤…
│   ├── PHRASE (binary 8w) וַ/יִּֽקַּֽח ל֣/וֹ אֶת כָּל אֵ֗לֶּה וַ/יְבַתֵּ֤…
│   │   ├── [0-4] GLUE וַ/יִּֽקַּֽח ל֣/וֹ אֶת כָּל אֵ֗לֶּה (revia, rank=3)
│   │   └── PHRASE (binary 3w) וַ/יְבַתֵּ֤ר אֹתָ/ם֙ בַּ/תָּ֔וֶךְ
│   │       ├── [5-6] GLUE וַ/יְבַתֵּ֤ר אֹתָ/ם֙ (pashta, rank=3)
│   │       └── [7] בַּ/תָּ֔וֶךְ (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) וַ/יִּתֵּ֥ן אִישׁ בִּתְר֖/וֹ לִ/קְרַ֣את רֵעֵ֑/ה…
│       ├── [8-10] GLUE וַ/יִּתֵּ֥ן אִישׁ בִּתְר֖/וֹ (tifcha, rank=2)
│       └── [11-12] GLUE לִ/קְרַ֣את רֵעֵ֑/הוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/אֶת הַ/צִפֹּ֖ר לֹ֥א בָתָֽר
    ├── [13-14] GLUE וְ/אֶת הַ/צִפֹּ֖ר (tifcha, rank=2)
    └── [15-16] GLUE לֹ֥א בָתָֽר (silluq (verse-end emperor), rank=1)

Gen.15.11 · parser unique · 7 words

וירד העיט על־הפגרים וישב אתם אברם · va-yered ha-ayit al-ha-pegarim va-yashev et-m avram · The bird of prey came down on the carcasses; Abram drove them off. [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.15.12 · parser unique · 13 words

ויהי השמש לבוא ותרדמה נפלה על־אברם והנה אימה חשכה גדלה נפלת עליו · va-yehi ha-shemesh la-vo ve-tardema nafla al-avram ve-hine ema chashekha gedola nofelet alay-v · The sun setting: a deep sleep fell on Abram — a dread, a great darkness, falling. [EN-AID]

PHRASE (binary 13w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ לָ/ב֔וֹא וְ/תַרְדֵּמָ֖ה…
├── PHRASE (binary 7w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ לָ/ב֔וֹא וְ/תַרְדֵּמָ֖ה…
│   ├── PHRASE (binary 3w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ לָ/ב֔וֹא
│   │   ├── [0-1] GLUE וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ (pashta, rank=3)
│   │   └── [2] לָ/ב֔וֹא (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וְ/תַרְדֵּמָ֖ה נָפְלָ֣ה עַל אַבְרָ֑ם
│       ├── [3] וְ/תַרְדֵּמָ֖ה (tifcha, rank=2)
│       └── [4-6] GLUE נָפְלָ֣ה עַל אַבְרָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/הִנֵּ֥ה אֵימָ֛ה חֲשֵׁכָ֥ה גְדֹלָ֖ה נֹפֶ֥לֶת …
    ├── PHRASE (binary 4w) וְ/הִנֵּ֥ה אֵימָ֛ה חֲשֵׁכָ֥ה גְדֹלָ֖ה
    │   ├── [7-8] GLUE וְ/הִנֵּ֥ה אֵימָ֛ה (tevir, rank=3)
    │   └── [9-10] GLUE חֲשֵׁכָ֥ה גְדֹלָ֖ה (tifcha, rank=2)
    └── [11-12] GLUE נֹפֶ֥לֶת עָלָֽי/ו (silluq (verse-end emperor), rank=1)

Gen.15.13 · parser unique · 17 words

ויאמר לאברם ידע תדע כי־גר יהיה זרעך בארץ לא להם ועבדום וענו אתם ארבע מאות שנה · va-yomer le-avram yadoa teda ki-ger yihye zara-kha be-eretz lo la-hem va-avadu-m ve-inu et-m arba meot shana · Know surely: your seed a sojourner, serving, afflicted — four hundred years. [EN-AID]

PHRASE (binary 17w) וַ/יֹּ֣אמֶר לְ/אַבְרָ֗ם יָדֹ֨עַ תֵּדַ֜ע כִּי גֵ…
├── PHRASE (binary 14w) וַ/יֹּ֣אמֶר לְ/אַבְרָ֗ם יָדֹ֨עַ תֵּדַ֜ע כִּי גֵ…
│   ├── PHRASE (binary 11w) וַ/יֹּ֣אמֶר לְ/אַבְרָ֗ם יָדֹ֨עַ תֵּדַ֜ע כִּי גֵ…
│   │   ├── [0-1] GLUE וַ/יֹּ֣אמֶר לְ/אַבְרָ֗ם (revia, rank=3)
│   │   └── PHRASE (binary 9w) יָדֹ֨עַ תֵּדַ֜ע כִּי גֵ֣ר יִהְיֶ֣ה זַרְעֲ/ךָ֗ ב…
│   │       ├── PHRASE (binary 6w) יָדֹ֨עַ תֵּדַ֜ע כִּי גֵ֣ר יִהְיֶ֣ה זַרְעֲ/ךָ֗
│   │       │   ├── [2-3] GLUE יָדֹ֨עַ תֵּדַ֜ע (geresh, rank=4)
│   │       │   └── [4-7] GLUE כִּי גֵ֣ר יִהְיֶ֣ה זַרְעֲ/ךָ֗ (revia, rank=3)
│   │       └── PHRASE (binary 3w) בְּ/אֶ֨רֶץ֙ לֹ֣א לָ/הֶ֔ם
│   │           ├── [8] בְּ/אֶ֨רֶץ֙ (pashta, rank=3)
│   │           └── [9-10] GLUE לֹ֣א לָ/הֶ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וַ/עֲבָד֖וּ/ם וְ/עִנּ֣וּ אֹתָ֑/ם
│       ├── [11] וַ/עֲבָד֖וּ/ם (tifcha, rank=2)
│       └── [12-13] GLUE וְ/עִנּ֣וּ אֹתָ֑/ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) אַרְבַּ֥ע מֵא֖וֹת שָׁנָֽה
    ├── [14-15] GLUE אַרְבַּ֥ע מֵא֖וֹת (tifcha, rank=2)
    └── [16] שָׁנָֽה (silluq (verse-end emperor), rank=1)

Gen.15.14 · parser unique · 12 words

וגם את־הגוי אשר יעבדו דן אנכי ואחרי־כן יצאו ברכש גדול · ve-gam et-ha-goy asher yaavodu dan anokhi ve-achare-khen yetzu bi-rekhush gadol · The nation they serve I will judge; afterward they go out with great property. [EN-AID]

PHRASE (binary 12w) וְ/גַ֧ם אֶת הַ/גּ֛וֹי אֲשֶׁ֥ר יַעֲבֹ֖דוּ דָּ֣ן …
├── PHRASE (binary 7w) וְ/גַ֧ם אֶת הַ/גּ֛וֹי אֲשֶׁ֥ר יַעֲבֹ֖דוּ דָּ֣ן …
│   ├── PHRASE (binary 5w) וְ/גַ֧ם אֶת הַ/גּ֛וֹי אֲשֶׁ֥ר יַעֲבֹ֖דוּ
│   │   ├── [0-2] GLUE וְ/גַ֧ם אֶת הַ/גּ֛וֹי (tevir, rank=3)
│   │   └── [3-4] GLUE אֲשֶׁ֥ר יַעֲבֹ֖דוּ (tifcha, rank=2)
│   └── [5-6] GLUE דָּ֣ן אָנֹ֑כִי (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/אַחֲרֵי כֵ֥ן יֵצְא֖וּ בִּ/רְכֻ֥שׁ גָּדֽוֹל
    ├── [7-9] GLUE וְ/אַחֲרֵי כֵ֥ן יֵצְא֖וּ (tifcha, rank=2)
    └── [10-11] GLUE בִּ/רְכֻ֥שׁ גָּדֽוֹל (silluq (verse-end emperor), rank=1)

Gen.15.15 · parser unique · 8 words

ואתה תבוא אל־אבתיך בשלום תקבר בשיבה טובה · ve-ata tavo el-avote-kha be-shalom tiqaver be-seva tova · And you: to your fathers in peace, buried in good old age. [EN-AID]

PHRASE (binary 8w) וְ/אַתָּ֛ה תָּב֥וֹא אֶל אֲבֹתֶ֖י/ךָ בְּ/שָׁל֑וֹ…
├── PHRASE (binary 5w) וְ/אַתָּ֛ה תָּב֥וֹא אֶל אֲבֹתֶ֖י/ךָ בְּ/שָׁל֑וֹם
│   ├── PHRASE (binary 4w) וְ/אַתָּ֛ה תָּב֥וֹא אֶל אֲבֹתֶ֖י/ךָ
│   │   ├── [0] וְ/אַתָּ֛ה (tevir, rank=3)
│   │   └── [1-3] GLUE תָּב֥וֹא אֶל אֲבֹתֶ֖י/ךָ (tifcha, rank=2)
│   └── [4] בְּ/שָׁל֑וֹם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) תִּקָּבֵ֖ר בְּ/שֵׂיבָ֥ה טוֹבָֽה
    ├── [5] תִּקָּבֵ֖ר (tifcha, rank=2)
    └── [6-7] GLUE בְּ/שֵׂיבָ֥ה טוֹבָֽה (silluq (verse-end emperor), rank=1)

Gen.15.16 · parser unique · 11 words

ודור רביעי ישובו הנה כי לא־שלם עון האמרי עד־הנה · ve-dor revii yashuvu hena ki lo-shalem avon ha-emori ad-hena · The fourth generation returns here — the Emorite's iniquity not yet full. [EN-AID]

PHRASE (binary 11w) וְ/ד֥וֹר רְבִיעִ֖י יָשׁ֣וּבוּ הֵ֑נָּה כִּ֧י לֹא…
├── PHRASE (binary 4w) וְ/ד֥וֹר רְבִיעִ֖י יָשׁ֣וּבוּ הֵ֑נָּה
│   ├── [0-1] GLUE וְ/ד֥וֹר רְבִיעִ֖י (tifcha, rank=2)
│   └── [2-3] GLUE יָשׁ֣וּבוּ הֵ֑נָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) כִּ֧י לֹא שָׁלֵ֛ם עֲוֺ֥ן הָ/אֱמֹרִ֖י עַד הֵֽנָּה
    ├── PHRASE (binary 5w) כִּ֧י לֹא שָׁלֵ֛ם עֲוֺ֥ן הָ/אֱמֹרִ֖י
    │   ├── [4-6] GLUE כִּ֧י לֹא שָׁלֵ֛ם (tevir, rank=3)
    │   └── [7-8] GLUE עֲוֺ֥ן הָ/אֱמֹרִ֖י (tifcha, rank=2)
    └── [9-10] GLUE עַד הֵֽנָּה (silluq (verse-end emperor), rank=1)

Gen.15.17 · parser unique · 15 words

ויהי השמש באה ועלטה היה והנה תנור עשן ולפיד אש אשר עבר בין הגזרים האלה · va-yehi ha-shemesh baa va-alata haya ve-hine tanur ashan ve-lapid esh asher avar ben ha-gezarim ha-ele · The sun set, thick darkness: a smoking fire-pot and a fire-torch passed between the pieces. [EN-AID]

PHRASE (binary 15w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ בָּ֔אָה וַ/עֲלָטָ֖ה הָי…
├── PHRASE (binary 5w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ בָּ֔אָה וַ/עֲלָטָ֖ה הָי…
│   ├── PHRASE (binary 3w) וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ בָּ֔אָה
│   │   ├── [0-1] GLUE וַ/יְהִ֤י הַ/שֶּׁ֨מֶשׁ֙ (pashta, rank=3)
│   │   └── [2] בָּ֔אָה (zaqef qatan, rank=2)
│   └── PHRASE (binary 2w) וַ/עֲלָטָ֖ה הָיָ֑ה
│       ├── [3] וַ/עֲלָטָ֖ה (tifcha, rank=2)
│       └── [4] הָיָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) וְ/הִנֵּ֨ה תַנּ֤וּר עָשָׁן֙ וְ/לַפִּ֣יד אֵ֔שׁ א…
    ├── PHRASE (binary 5w) וְ/הִנֵּ֨ה תַנּ֤וּר עָשָׁן֙ וְ/לַפִּ֣יד אֵ֔שׁ
    │   ├── [5-7] GLUE וְ/הִנֵּ֨ה תַנּ֤וּר עָשָׁן֙ (pashta, rank=3)
    │   └── [8-9] GLUE וְ/לַפִּ֣יד אֵ֔שׁ (zaqef qatan, rank=2)
    └── PHRASE (binary 5w) אֲשֶׁ֣ר עָבַ֔ר בֵּ֖ין הַ/גְּזָרִ֥ים הָ/אֵֽלֶּה
        ├── [10-11] GLUE אֲשֶׁ֣ר עָבַ֔ר (zaqef qatan, rank=2)
        └── PHRASE (binary 3w) בֵּ֖ין הַ/גְּזָרִ֥ים הָ/אֵֽלֶּה
            ├── [12] בֵּ֖ין (tifcha, rank=2)
            └── [13-14] GLUE הַ/גְּזָרִ֥ים הָ/אֵֽלֶּה (silluq (verse-end emperor), rank=1)

Gen.15.18 · parser unique · 20 words

ביום ההוא כרת יהוה את־אברם ברית לאמר לזרעך נתתי את־הארץ הזאת מנהר מצרים עד־הנהר הגדל נהר־פרת · ba-yom ha-hu karat YHWH et-avram berit le-mor le-zara-kha natati et-ha-aretz ha-zot mi-nehar mitzrayim ad-ha-nahar ha-gadol nehar-perat · That day YHWH cut a covenant with Abram: to your seed I HAVE GIVEN this land, river to river. [EN-AID]

PHRASE (binary 20w) בַּ/יּ֣וֹם הַ/ה֗וּא כָּרַ֧ת יְהוָ֛ה אֶת אַבְרָ֖…
├── PHRASE (binary 8w) בַּ/יּ֣וֹם הַ/ה֗וּא כָּרַ֧ת יְהוָ֛ה אֶת אַבְרָ֖…
│   ├── PHRASE (binary 6w) בַּ/יּ֣וֹם הַ/ה֗וּא כָּרַ֧ת יְהוָ֛ה אֶת אַבְרָ֖ם
│   │   ├── [0-1] GLUE בַּ/יּ֣וֹם הַ/ה֗וּא (revia, rank=3)
│   │   └── PHRASE (binary 4w) כָּרַ֧ת יְהוָ֛ה אֶת אַבְרָ֖ם
│   │       ├── [2-3] GLUE כָּרַ֧ת יְהוָ֛ה (tevir, rank=3)
│   │       └── [4-5] GLUE אֶת אַבְרָ֖ם (tifcha, rank=2)
│   └── [6-7] GLUE בְּרִ֣ית לֵ/אמֹ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) לְ/זַרְעֲ/ךָ֗ נָתַ֨תִּי֙ אֶת הָ/אָ֣רֶץ הַ/זֹּ֔א…
    ├── PHRASE (binary 5w) לְ/זַרְעֲ/ךָ֗ נָתַ֨תִּי֙ אֶת הָ/אָ֣רֶץ הַ/זֹּ֔את
    │   ├── [8] לְ/זַרְעֲ/ךָ֗ (revia, rank=3)
    │   └── PHRASE (binary 4w) נָתַ֨תִּי֙ אֶת הָ/אָ֣רֶץ הַ/זֹּ֔את
    │       ├── [9] נָתַ֨תִּי֙ (pashta, rank=3)
    │       └── [10-12] GLUE אֶת הָ/אָ֣רֶץ הַ/זֹּ֔את (zaqef qatan, rank=2)
    └── PHRASE (binary 7w) מִ/נְּהַ֣ר מִצְרַ֔יִם עַד הַ/נָּהָ֥ר הַ/גָּדֹ֖ל…
        ├── [13-14] GLUE מִ/נְּהַ֣ר מִצְרַ֔יִם (zaqef qatan, rank=2)
        └── PHRASE (binary 5w) עַד הַ/נָּהָ֥ר הַ/גָּדֹ֖ל נְהַר פְּרָֽת
            ├── [15-17] GLUE עַד הַ/נָּהָ֥ר הַ/גָּדֹ֖ל (tifcha, rank=2)
            └── [18-19] GLUE נְהַר פְּרָֽת (silluq (verse-end emperor), rank=1)

Gen.15.19 · parser unique · 6 words

את־הקיני ואת־הקנזי ואת הקדמני · et-ha-qeni ve-et-ha-qenizi ve-et ha-qadmoni · The Kenite, the Kenizzite, the Kadmonite, [EN-AID]

PHRASE (binary 6w) אֶת הַ/קֵּינִי֙ וְ/אֶת הַ/קְּנִזִּ֔י וְ/אֵ֖ת הַ…
├── PHRASE (binary 4w) אֶת הַ/קֵּינִי֙ וְ/אֶת הַ/קְּנִזִּ֔י
│   ├── [0-1] GLUE אֶת הַ/קֵּינִי֙ (pashta, rank=3)
│   └── [2-3] GLUE וְ/אֶת הַ/קְּנִזִּ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 2w) וְ/אֵ֖ת הַ/קַּדְמֹנִֽי
    ├── [4] וְ/אֵ֖ת (tifcha, rank=2)
    └── [5] הַ/קַּדְמֹנִֽי (silluq (verse-end emperor), rank=1)

Gen.15.20 · parser unique · 6 words

ואת־החתי ואת־הפרזי ואת־הרפאים · ve-et-ha-chiti ve-et-ha-perizi ve-et-ha-refaim · and the Chittite, the Perizzite, the Refaim, [EN-AID]

PHRASE (binary 6w) וְ/אֶת הַ/חִתִּ֥י וְ/אֶת הַ/פְּרִזִּ֖י וְ/אֶת ה…
├── [0-3] GLUE וְ/אֶת הַ/חִתִּ֥י וְ/אֶת הַ/פְּרִזִּ֖י (tifcha, rank=2)
└── [4-5] GLUE וְ/אֶת הָ/רְפָאִֽים (silluq (verse-end emperor), rank=1)

Gen.15.21 · parser unique · 8 words

ואת־האמרי ואת־הכנעני ואת־הגרגשי ואת־היבוסי · ve-et-ha-emori ve-et-ha-kenaani ve-et-ha-girgashi ve-et-ha-yevusi · and the Emorite, the Kenaanite, the Girgashite, the Jebusite. [EN-AID]

PHRASE (binary 8w) וְ/אֶת הָֽ/אֱמֹרִי֙ וְ/אֶת הַֽ/כְּנַעֲנִ֔י וְ/א…
├── PHRASE (binary 4w) וְ/אֶת הָֽ/אֱמֹרִי֙ וְ/אֶת הַֽ/כְּנַעֲנִ֔י
│   ├── [0-1] GLUE וְ/אֶת הָֽ/אֱמֹרִי֙ (pashta, rank=3)
│   └── [2-3] GLUE וְ/אֶת הַֽ/כְּנַעֲנִ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/אֶת הַ/גִּרְגָּשִׁ֖י וְ/אֶת הַ/יְבוּסִֽי
    ├── [4-5] GLUE וְ/אֶת הַ/גִּרְגָּשִׁ֖י (tifcha, rank=2)
    └── [6-7] GLUE וְ/אֶת הַ/יְבוּסִֽי (silluq (verse-end emperor), rank=1)

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

unit: gen_31_covenant_pieces — The covenant of the pieces: the vision, the stars, the rite, the decree, the grant (15:1-21) [frozen]

final state: WORLD=[] (+4 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'read_before_install']

=== S1 — The word, the shield, the fear-not: after STEP_Gn_15_1
    אַל־תִּירָא אַבְרָם אָנֹכִי מָגֵן לָךְ (al-tira avram anokhi magen lakh)
    PASS  LET-NOT(tira(avram)) pushed and OPEN  (queue=['tira(avram)'])
    PASS  Facts anokhi-magen HOLD  (2 facts)
    PASS  Facts sekharkha HOLD.  (2 facts)

=== S2 — The double complaint: after STEP_Gn_15_3
    מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ עֲרִירִי (mah-titen-li ve-anokhi holekh ariri)
    PASS  Facts ariri HOLD  (6 facts)
    PASS  Facts yoresh HOLD  (6 facts)
    PASS  flags dameseq as read-before-install  (flagged=['dameseq'])
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — The heir-correction: after STEP_Gn_15_4
    לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר יֵצֵא מִמֵּעֶיךָ (lo yirashkha zeh ki-im asher yetze mi-meekha)
    PASS  Facts lo-yirashkha HOLD  (8 facts)
    PASS  Facts mi-meekha HOLD.  (8 facts)

=== S4 — The stars and the count-command: after STEP_Gn_15_5
    הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר הַכּוֹכָבִים (habet-na ha-shamaymah u-sefor ha-kokhavim)
    PASS  LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)'])
    PASS  Facts koh-yihyeh HOLD.  (9 facts)

=== S5 — The five-word pivot: after STEP_Gn_15_6
    וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה (ve-heemin ba-YHWH va-yachsheveha lo tzedaqah)
    PASS  Facts heemin HOLD  (11 facts)
    PASS  Facts tzedaqah HOLD  (11 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — The self-naming and the second question: after STEP_Gn_15_8
    אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים (ani YHWH asher hotzetikha me-ur kasdim)
    PASS  Facts ani-YHWH HOLD  (14 facts)
    PASS  Facts ba-mah-eda HOLD  (14 facts)
    PASS  flags ur_kasdim as read-before-install.  (flagged=['dameseq', 'ur_kasdim'])

=== S7 — The take-command pushed: after STEP_Gn_15_9
    קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת (qechah li eglah meshuleshet)
    PASS  LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal)) pushed and OPEN.  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)', 'qechah(avram, eglah_ez_ayil_tor_ve_gozal)'])

=== S8 — The compliance pops the demand: after STEP_Gn_15_10
    וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה … וְאֶת־הַצִפֹּר לֹא בָתָר (va-yiqach-lo et-kol-eleh … ve-et-ha-tzipor lo vatar)
    PASS  LET-NOT(tira(avram)) pushed and OPEN  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)'])
    PASS  LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)'])
    PASS  Facts lo-vatar HOLD.  (15 facts)

=== S9 — The sleep and the dread: after STEP_Gn_15_12
    וְהִנֵּה אֵימָה חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו (ve-hineh emah chashekhah gedolah nofelet alav)
    PASS  Facts emah-chashekhah HOLD.  (16 facts)

=== S10 — The decree filed: after STEP_Gn_15_16
    יָדֹעַ תֵּדַע כִּי־גֵר יִהְיֶה זַרְעֲךָ (yadoa teda ki-ger yihyeh zarakha)
    PASS  Facts ger-yihyeh HOLD  (24 facts)
    PASS  Facts arba-meot HOLD  (24 facts)
    PASS  Facts dan-anokhi HOLD  (24 facts)
    PASS  Facts rekhush-gadol HOLD  (24 facts)
    PASS  Facts be-shalom HOLD  (24 facts)
    PASS  Facts henah HOLD.  (24 facts)

=== S11 — The covenant cut, the receipt held: after STEP_Gn_15_18
    לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת (le-zarakha natati et-ha-aretz ha-zot)
    PASS  Facts natati HOLD  (27 facts)
    PASS  Facts nehar-perat HOLD  (27 facts)
    PASS  flags nahar_mitzrayim/nehar_perat as read-before-install.  (flagged=['dameseq', 'nahar_mitzrayim', 'nehar_perat', 'ur_kasdim'])

=== S12 — The grant-roster closes the book: after STEP_Gn_15_21
    אֶת־הַקֵּינִי … וְאֶת־הַיְבוּסִי (et-ha-qeni … ve-et-ha-yevusi)
    PASS  LET-NOT(tira(avram)) pushed and OPEN  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)'])
    PASS  LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)) pushed and OPEN  (queue=['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)'])
    PASS  Facts qeni-qenizi-qadmoni HOLD  (30 facts)
    PASS  Facts chiti-perizi-refaim HOLD  (30 facts)
    PASS  Facts emori-kenaani-girgashi-yevusi HOLD  (30 facts)
    PASS  no test, no name  (tests=0 names=0)
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S13_negative — Negative: the LET? contract guard
    קְחָה לִי (qechah li)
    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)

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

ALL SCENARIOS GREEN

Python rendering — the unit as a program

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

#!/usr/bin/env python3
# =============================================================================
# gen_31_covenant_pieces — 15:1-21
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_31_covenant_pieces.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.
# =============================================================================
"""The covenant of the pieces: the vision, the stars, the rite, the decree, the grant (15:1-21)"""
from machine import Machine

m = Machine("gen_31_covenant_pieces")

# -------------------------- Gen.15.1 · THE_WORD_THE_SHIELD_AND_THE_FEAR_NOT -
# אַחַר הַדְּבָרִים הָאֵלֶּה הָיָה דְבַר־יְהוָה אֶל־אַבְרָם בַּמַּחֲזֶה
# לֵאמֹר אַל־תִּירָא אַבְרָם אָנֹכִי מָגֵן לָךְ שְׂכָרְךָ הַרְבֵּה מְאֹד
# "After these things the word of the LORD came unto Abram in a vision,
# saying: 'Fear not, Abram, I am thy shield, thy reward shall be exceeding
# great.'"
m.step("Gen.15.1")
# ‹הָיָה דְבַר־יְהוָה אֶל־אַבְרָם בַּמַּחֲזֶה› (“be word/thing YHWH to Abram
# in-vision”) — event: come — theme word/thing-the-LORD
m.event("come", themes=["devar_YHWH"])
# ‹אַל־תִּירָא אַבְרָם› (“do-not fear Abram”) — the-LORD speaks a demand —
# LET-NOT: fear(Abram)
m.declare("YHWH", "LET-NOT",
          "tira(avram)")
# ‹אָנֹכִי מָגֵן לָךְ שְׂכָרְךָ הַרְבֵּה מְאֹד› (“shield to-you/your wage-
# you/your multiply very”) — fact holds: I-shield-to-you; sekharkha-harbeh-
# very
m.fact("anokhi_magen_lakh",
       "sekharkha_harbeh_meod")

# -------------------------- Gen.15.2 · THE_FIRST_SPEECH_TO_GOD -------------
# וַיֹּאמֶר אַבְרָם אֲדֹנָי יֱהוִה מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ
# עֲרִירִי וּבֶן־מֶשֶׁק בֵּיתִי הוּא דַּמֶּשֶׂק אֱלִיעֶזֶר
# "And Abram said: 'O Lord GOD, what wilt Thou give me, seeing I go hence
# childless, and he that shall be possessor of my house is Eliezer of
# Damascus?'"
m.step("Gen.15.2")
# ‹וַיֹּאמֶר אַבְרָם אֲדֹנָי יֱהוִה› (“and-say Abram Lord-me/my YHWH”) —
# event: say — agent Abram
m.event("say", agent="avram")
# ‹מַה־תִּתֶּן־לִי וְאָנֹכִי הוֹלֵךְ עֲרִירִי וּבֶן־מֶשֶׁק בֵּיתִי הוּא
# דַּמֶּשֶׂק אֱלִיעֶזֶר› (“what set to-me/my and-I walk/go bare and-son
# possession house-me/my he/it Damascus Eliezer”) — fact holds: mah-set-to-
# me-and-I-walk/go-bare; between-possession-beti-he/it-Damascus-Eliezer
m.fact("mah_titen_li_ve_anokhi_holekh_ariri",
       "ben_mesheq_beti_hu_dameseq_eliezer")
# reads without prior install (flag, not fix): Damascus
m.presupposed("dameseq")

# -------------------------- Gen.15.3 · THE_COMPLAINT_RELAUNCHED ------------
# וַיֹּאמֶר אַבְרָם הֵן לִי לֹא נָתַתָּה זָרַע וְהִנֵּה בֶן־בֵּיתִי יוֹרֵשׁ
# אֹתִי
# "And Abram said: 'Behold, to me Thou hast given no seed, and, lo, one born
# in my house is to be mine heir.'"
m.step("Gen.15.3")
# ‹וַיֹּאמֶר אַבְרָם› (“and-say Abram”) — event: say — agent Abram
m.event("say", agent="avram")
# ‹הֵן לִי לֹא נָתַתָּה זָרַע וְהִנֵּה בֶן־בֵּיתִי יוֹרֵשׁ אֹתִי› (“lo! to-
# me/my not set seed and-behold son house-me/my possess/inherit obj-marker-
# me/my”) — fact holds: lo!-to-me-not-set-seed; between-beti-
# possess/inherit-me
m.fact("hen_li_lo_natata_zara",
       "ben_beti_yoresh_oti")

# -------------------------- Gen.15.4 · THE_HEIR_CORRECTION -----------------
# וְהִנֵּה דְבַר־יְהוָה אֵלָיו לֵאמֹר לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר
# יֵצֵא מִמֵּעֶיךָ הוּא יִירָשֶׁךָ
# "And, behold, the word of the LORD came unto him, saying: 'This man shall
# not be thine heir; but he that shall come forth out of thine own bowels
# shall be thine heir.'"
m.step("Gen.15.4")
# ‹וְהִנֵּה דְבַר־יְהוָה אֵלָיו לֵאמֹר› (“and-behold word/thing YHWH to-
# him/its to-say”) — event: come — theme word/thing-the-LORD
m.event("come", themes=["devar_YHWH"])
# ‹לֹא יִירָשְׁךָ זֶה כִּי־אִם אֲשֶׁר יֵצֵא מִמֵּעֶיךָ הוּא יִירָשֶׁךָ›
# (“not possess/inherit-you/your this that if which bring-forth from-used-
# only-in-plural-the-inte-you/your he/it possess/inherit-you/your”) — fact
# holds: not-yirashkha-this; which-bring-forth-from-meekha-he/it-yirashekha
m.fact("lo_yirashkha_zeh",
       "asher_yetze_mi_meekha_hu_yirashekha")

# -------------------------- Gen.15.5 · THE_STARS_AND_THE_COUNT_COMMAND -----
# וַיּוֹצֵא אֹתוֹ הַחוּצָה וַיֹּאמֶר הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר
# הַכּוֹכָבִים אִם־תּוּכַל לִסְפֹּר אֹתָם וַיֹּאמֶר לוֹ כֹּה יִהְיֶה
# זַרְעֶךָ
# "And He brought him forth abroad, and said: 'Look now toward heaven, and
# count the stars, if thou be able to count them'; and He said unto him: 'So
# shall thy seed be.'"
m.step("Gen.15.5")
# ‹וַיּוֹצֵא אֹתוֹ הַחוּצָה› (“and-bring-forth obj-marker-him/its the-
# outside-ward”) — event: bring-out — agent the-LORD; theme Abram
m.event("bring_out", agent="YHWH", themes=["avram"])
# ‹וַיֹּאמֶר› (“and-say”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹הַבֶּט־נָא הַשָּׁמַיְמָה וּסְפֹר הַכּוֹכָבִים› (“look please the-heavens-
# ward and-count the-stars”) — the-LORD speaks a demand — LET: look-and-
# count(Abram, the-shamaymah-and-the-stars)
m.declare("YHWH", "LET",
          "habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)")
# ‹וַיֹּאמֶר לוֹ› (“and-say to-him/its”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹כֹּה יִהְיֶה זַרְעֶךָ› (“like-this be seed-you/your”) — fact holds: koh-
# yihyeh-zarekha
m.fact("koh_yihyeh_zarekha")

# -------------------------- Gen.15.6 · THE_BELIEF_AND_THE_RECKONING --------
# וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה
# "And he believed in the LORD; and He counted it to him for righteousness."
m.step("Gen.15.6")
# ‹וְהֶאֱמִן בַּיהוָה וַיַּחְשְׁבֶהָ לּוֹ צְדָקָה› (“and-build-up in-YHWH
# and-plait-her/its to-him/its rightness”) — fact holds: and-build-up-in-
# the-the-LORD; and-yachsheveha-not-tzedaqah
m.fact("ve_heemin_ba_YHWH",
       "va_yachsheveha_lo_tzedaqah")

# -------------------------- Gen.15.7 · ANI_YHWH_THE_SELF_NAMING ------------
# וַיֹּאמֶר אֵלָיו אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים לָתֶת
# לְךָ אֶת־הָאָרֶץ הַזֹּאת לְרִשְׁתָּהּ
# "And He said unto him: 'I am the LORD that brought thee out of Ur of the
# Chaldees, to give thee this land to inherit it.'"
m.step("Gen.15.7")
# ‹וַיֹּאמֶר אֵלָיו› (“and-say to-him/its”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹אֲנִי יְהוָה אֲשֶׁר הוֹצֵאתִיךָ מֵאוּר כַּשְׂדִּים לָתֶת לְךָ אֶת־הָאָרֶץ
# הַזֹּאת לְרִשְׁתָּהּ› (“YHWH which bring-forth-you/your from-Ur Chaldeans
# to-set to-you/your obj-marker the-earth the-this to-possess/inherit-
# her/its”) — fact holds: ani-the-LORD-which-hotzetikha-from-Ur-Chaldeans;
# to-set-to-you-obj-marker-the-earth-the-this-to-rishtah
m.fact("ani_YHWH_asher_hotzetikha_me_ur_kasdim",
       "la_tet_lekha_et_ha_aretz_ha_zot_le_rishtah")
# reads without prior install (flag, not fix): Ur-Chaldeans
m.presupposed("ur_kasdim")

# -------------------------- Gen.15.8 · THE_SECOND_QUESTION -----------------
# וַיֹּאמַר אֲדֹנָי יֱהוִה בַּמָּה אֵדַע כִּי אִירָשֶׁנָּה
# "And he said: 'O Lord GOD, whereby shall I know that I shall inherit it?'"
m.step("Gen.15.8")
# ‹וַיֹּאמַר› (“and-say”) — event: say — agent Abram
m.event("say", agent="avram")
# ‹אֲדֹנָי יֱהוִה בַּמָּה אֵדַע כִּי אִירָשֶׁנָּה› (“Lord-me/my YHWH in-what
# know that possess/inherit-her/its”) — fact holds: in-the-mah-know-that-
# irashena
m.fact("ba_mah_eda_ki_irashena")

# -------------------------- Gen.15.9 · THE_TAKE_COMMAND --------------------
# וַיֹּאמֶר אֵלָיו קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת וְעֵז מְשֻׁלֶּשֶׁת וְאַיִל
# מְשֻׁלָּשׁ וְתֹר וְגוֹזָל
# "And He said unto him: 'Take Me a heifer of three years old, and a she-
# goat of three years old, and a ram of three years old, and a turtle-dove,
# and a young pigeon.'"
m.step("Gen.15.9")
# ‹וַיֹּאמֶר אֵלָיו› (“and-say to-him/its”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹קְחָה לִי עֶגְלָה מְשֻׁלֶּשֶׁת וְעֵז מְשֻׁלֶּשֶׁת וְאַיִל מְשֻׁלָּשׁ
# וְתֹר וְגוֹזָל› (“take-ward to-me/my calf be-triplicate and-she-goat be-
# triplicate and-ram be-triplicate and-ring-dove and-nestling”) — the-LORD
# speaks a demand — LET: qechah(Abram, eglah-she-goat-ram-ring-dove-and-
# nestling)
m.declare("YHWH", "LET",
          "qechah(avram, eglah_ez_ayil_tor_ve_gozal)")

# -------------------------- Gen.15.10 · THE_COMPLIANCE_AND_THE_CUTTING -----
# וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה וַיְבַתֵּר אֹתָם בַּתָּוֶךְ וַיִּתֵּן
# אִישׁ־בִּתְרוֹ לִקְרַאת רֵעֵהוּ וְאֶת־הַצִפֹּר לֹא בָתָר
# "And he took him all these, and divided them in the midst, and laid each
# half over against the other; but the birds divided he not."
m.step("Gen.15.10")
# ‹וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה› (“and-take to-him/its obj-marker all
# these”) — event: take — agent Abram; theme all-these
m.event("take", agent="avram", themes=["kol_eleh"])
# ‹וַיִּקַּח־לוֹ אֶת־כָּל־אֵלֶּה› (“and-take to-him/its obj-marker all
# these”) — demand settled (popped from the queue): qechah(Abram, eglah-she-
# goat-ram-ring-dove-and-nestling)
m.result("qechah(avram, eglah_ez_ayil_tor_ve_gozal)", tmark="t1")
# ‹וַיְבַתֵּר אֹתָם בַּתָּוֶךְ› (“and-chop-up obj-marker-them/their in-
# midst”) — event: cut — agent Abram; theme the-behemot
m.event("cut", agent="avram", themes=["ha_behemot"])
# ‹וַיִּתֵּן אִישׁ־בִּתְרוֹ לִקְרַאת רֵעֵהוּ› (“and-set man section-him/its
# to-encountering associate-him/its”) — event: give — agent Abram; theme
# man-bitro
m.event("give", agent="avram", themes=["ish_bitro"])
# ‹וְאֶת־הַצִפֹּר לֹא בָתָר› (“and-obj-marker the-little-bird not chop-up”)
# — fact holds: and-obj-marker-the-little-bird-not-chop-up
m.fact("ve_et_ha_tzipor_lo_vatar")

# -------------------------- Gen.15.11 · THE_VULTURES_DRIVEN_OFF ------------
# וַיֵּרֶד הָעַיִט עַל־הַפְּגָרִים וַיַּשֵּׁב אֹתָם אַבְרָם
# "And the birds of prey came down upon the carcasses, and Abram drove them
# away."
m.step("Gen.15.11")
# ‹וַיֵּרֶד הָעַיִט עַל־הַפְּגָרִים› (“and-go-down the-hawk over the-
# carcase”) — event: descend — agent the-hawk
m.event("descend", agent="ha_ayit")
# ‹וַיַּשֵּׁב אֹתָם אַבְרָם› (“and-blow obj-marker-them/their Abram”) —
# event: drive-off — agent Abram; theme the-hawk
m.event("drive_off", agent="avram", themes=["ha_ayit"])

# -------------------------- Gen.15.12 · THE_SLEEP_AND_THE_DREAD ------------
# וַיְהִי הַשֶּׁמֶשׁ לָבוֹא וְתַרְדֵּמָה נָפְלָה עַל־אַבְרָם וְהִנֵּה אֵימָה
# חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו
# "And it came to pass, that, when the sun was going down, a deep sleep fell
# upon Abram; and, lo, a dread, even a great darkness, fell upon him."
m.step("Gen.15.12")
# ‹וְתַרְדֵּמָה נָפְלָה עַל־אַבְרָם› (“and-lethargy fall over Abram”) —
# event: fall — theme deep-sleep
m.event("fall", themes=["tardemah"])
# ‹וְהִנֵּה אֵימָה חֲשֵׁכָה גְדֹלָה נֹפֶלֶת עָלָיו› (“and-behold fright
# darkness great fall over-him/its”) — fact holds: emah-chashekhah-gedolah-
# fall-alav
m.fact("emah_chashekhah_gedolah_nofelet_alav")

# -------------------------- Gen.15.13 · THE_DECREE_SOJOURN_SERVE_AFFLICT ---
# וַיֹּאמֶר לְאַבְרָם יָדֹעַ תֵּדַע כִּי־גֵר יִהְיֶה זַרְעֲךָ בְּאֶרֶץ לֹא
# לָהֶם וַעֲבָדוּם וְעִנּוּ אֹתָם אַרְבַּע מֵאוֹת שָׁנָה
# "And He said unto Abram: 'Know of a surety that thy seed shall be a
# stranger in a land that is not theirs, and shall serve them; and they
# shall afflict them four hundred years;"
m.step("Gen.15.13")
# ‹וַיֹּאמֶר לְאַבְרָם יָדֹעַ תֵּדַע› (“and-say to-Abram know know”) —
# event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹כִּי־גֵר יִהְיֶה זַרְעֲךָ בְּאֶרֶץ לֹא לָהֶם וַעֲבָדוּם וְעִנּוּ אֹתָם
# אַרְבַּע מֵאוֹת שָׁנָה› (“that sojourner be seed-you/your in-earth not to-
# them/their and-work/serve-them/their and-afflict-literally obj-marker-
# them/their four hundred years”) — fact holds: sojourner-yihyeh-zarakha-in-
# earth-not-to-them; and-avadum-and-afflict-literally-otam-four-hundred-year
m.fact("ger_yihyeh_zarakha_be_eretz_lo_lahem",
       "va_avadum_ve_inu_otam_arba_meot_shanah")

# -------------------------- Gen.15.14 · THE_JUDGMENT_AND_THE_EXODUS_WEALTH -
# וְגַם אֶת־הַגּוֹי אֲשֶׁר יַעֲבֹדוּ דָּן אָנֹכִי וְאַחֲרֵי־כֵן יֵצְאוּ
# בִּרְכֻשׁ גָּדוֹל
# "and also that nation, whom they shall serve, will I judge; and afterward
# shall they come out with great substance."
m.step("Gen.15.14")
# ‹וְגַם אֶת־הַגּוֹי אֲשֶׁר יַעֲבֹדוּ דָּן אָנֹכִי וְאַחֲרֵי־כֵן יֵצְאוּ
# בִּרְכֻשׁ גָּדוֹל› (“and-also obj-marker the-nation which work/serve
# straight-course and-after so bring-forth in-property great”) — fact holds:
# straight-course-I-obj-marker-the-nation-which-work/serve; and-acharei-so-
# bring-forth-bi-rekhush-great
m.fact("dan_anokhi_et_ha_goy_asher_yaavodu",
       "ve_acharei_khen_yetzu_bi_rekhush_gadol")

# -------------------------- Gen.15.15 · THE_PEACE_AND_THE_BURIAL -----------
# וְאַתָּה תָּבוֹא אֶל־אֲבֹתֶיךָ בְּשָׁלוֹם תִּקָּבֵר בְּשֵׂיבָה טוֹבָה
# "But thou shalt go to thy fathers in peace; thou shalt be buried in a good
# old age."
m.step("Gen.15.15")
# ‹וְאַתָּה תָּבוֹא אֶל־אֲבֹתֶיךָ בְּשָׁלוֹם תִּקָּבֵר בְּשֵׂיבָה טוֹבָה›
# (“and-you come/bring to father-you/your in-safe bury in-old-age good”) —
# fact holds: come/bring-to-avotekha-in-safe; bury-in-sevah-tovah
m.fact("tavo_el_avotekha_be_shalom",
       "tiqaver_be_sevah_tovah")

# -------------------------- Gen.15.16 · THE_FOURTH_GENERATION_AND_THE_UNFULL_INIQUITY -
# וְדוֹר רְבִיעִי יָשׁוּבוּ הֵנָּה כִּי לֹא־שָׁלֵם עֲוֺן הָאֱמֹרִי
# עַד־הֵנָּה
# "And in the fourth generation they shall come back hither; for the
# iniquity of the Amorite is not yet full.'"
m.step("Gen.15.16")
# ‹וְדוֹר רְבִיעִי יָשׁוּבוּ הֵנָּה כִּי לֹא־שָׁלֵם עֲוֺן הָאֱמֹרִי
# עַד־הֵנָּה› (“and-generation fourth return hither that not complete
# perversity the-Emorite until hither”) — fact holds: and-generation-fourth-
# return-henah; not-complete-perversity-the-Emorite-until-henah
m.fact("ve_dor_revii_yashuvu_henah",
       "lo_shalem_avon_ha_emori_ad_henah")

# -------------------------- Gen.15.17 · THE_FIRE_BETWEEN_THE_PIECES --------
# וַיְהִי הַשֶּׁמֶשׁ בָּאָה וַעֲלָטָה הָיָה וְהִנֵּה תַנּוּר עָשָׁן
# וְלַפִּיד אֵשׁ אֲשֶׁר עָבַר בֵּין הַגְּזָרִים הָאֵלֶּה
# "And it came to pass, that, when the sun went down, and there was thick
# darkness, behold a smoking furnace, and a flaming torch that passed
# between these pieces."
m.step("Gen.15.17")
# ‹וַיְהִי הַשֶּׁמֶשׁ בָּאָה וַעֲלָטָה הָיָה› (“and-be the-sun come/bring
# and-dusk be”) — fact holds: and-alatah-was
m.fact("va_alatah_hayah")
# ‹וְהִנֵּה תַנּוּר עָשָׁן וְלַפִּיד אֵשׁ אֲשֶׁר עָבַר בֵּין הַגְּזָרִים
# הָאֵלֶּה› (“and-behold fire-pot smoke and-flambeau fire which pass-over
# between the-something-cut-off the-these”) — event: pass — agent fire-pot-
# smoke-and-flambeau-fire; theme between-the-something-cut-off
m.event("pass", agent="tanur_ashan_ve_lapid_esh", themes=["bein_ha_gezarim"])

# -------------------------- Gen.15.18 · THE_COVENANT_CUT_AND_THE_RECEIPT ---
# בַּיּוֹם הַהוּא כָּרַת יְהוָה אֶת־אַבְרָם בְּרִית לֵאמֹר לְזַרְעֲךָ
# נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת מִנְּהַר מִצְרַיִם עַד־הַנָּהָר הַגָּדֹל
# נְהַר־פְּרָת
# "In that day the LORD made a covenant with Abram, saying: 'Unto thy seed
# have I given this land, from the river of Egypt unto the great river, the
# river Euphrates;"
m.step("Gen.15.18")
# ‹כָּרַת יְהוָה אֶת־אַבְרָם בְּרִית› (“cut YHWH with Abram covenant”) —
# event: cut-covenant — agent the-LORD; theme brit
m.event("cut_covenant", agent="YHWH", themes=["brit"])
# ‹לְזַרְעֲךָ נָתַתִּי אֶת־הָאָרֶץ הַזֹּאת› (“to-seed-you/your set obj-
# marker the-earth the-this”) — fact holds: to-zarakha-set-obj-marker-the-
# earth-the-this
m.fact("le_zarakha_natati_et_ha_aretz_ha_zot")
# ‹מִנְּהַר מִצְרַיִם עַד־הַנָּהָר הַגָּדֹל נְהַר־פְּרָת› (“from-river Egypt
# until the-river the-great river Euphrates”) — fact holds: from-river-
# Egypt-until-the-river-the-great-river-Euphrates
m.fact("mi_nehar_mitzrayim_ad_ha_nahar_ha_gadol_nehar_perat")
# reads without prior install (flag, not fix): river-Egypt, river-Euphrates
m.presupposed("nahar_mitzrayim", "nehar_perat")

# -------------------------- Gen.15.19 · THE_GRANT_ROSTER_ROW_ONE -----------
# אֶת־הַקֵּינִי וְאֶת־הַקְּנִזִּי וְאֵת הַקַּדְמֹנִי
# "the Kenite, and the Kenizzite, and the Kadmonite,"
m.step("Gen.15.19")
# ‹אֶת־הַקֵּינִי וְאֶת־הַקְּנִזִּי וְאֵת הַקַּדְמֹנִי› (“obj-marker the-
# Kenite and-obj-marker the-Kenizzite and-obj-marker the-Kadmonite”) — fact
# holds: obj-marker-the-Kenite-and-obj-marker-the-Kenizzite-and-obj-marker-
# the-Kadmonite
m.fact("et_ha_qeni_ve_et_ha_qenizi_ve_et_ha_qadmoni")

# -------------------------- Gen.15.20 · THE_GRANT_ROSTER_ROW_TWO -----------
# וְאֶת־הַחִתִּי וְאֶת־הַפְּרִזִּי וְאֶת־הָרְפָאִים
# "and the Hittite, and the Perizzite, and the Rephaim,"
m.step("Gen.15.20")
# ‹וְאֶת־הַחִתִּי וְאֶת־הַפְּרִזִּי וְאֶת־הָרְפָאִים› (“and-obj-marker the-
# Chittite and-obj-marker the-Perizzite and-obj-marker the-Rapha'”) — fact
# holds: and-obj-marker-the-Chittite-and-obj-marker-the-Perizzite-and-obj-
# marker-the-Rapha'
m.fact("ve_et_ha_chiti_ve_et_ha_perizi_ve_et_ha_refaim")

# -------------------------- Gen.15.21 · THE_GRANT_ROSTER_ROW_THREE ---------
# וְאֶת־הָאֱמֹרִי וְאֶת־הַכְּנַעֲנִי וְאֶת־הַגִּרְגָּשִׁי וְאֶת־הַיְבוּסִי
# "and the Amorite, and the Canaanite, and the Girgashite, and the
# Jebusite.'"
m.step("Gen.15.21")
# ‹וְאֶת־הָאֱמֹרִי וְאֶת־הַכְּנַעֲנִי וְאֶת־הַגִּרְגָּשִׁי וְאֶת־הַיְבוּסִי›
# (“and-obj-marker the-Emorite and-obj-marker the-Kenaanite and-obj-marker
# the-Girgashite and-obj-marker the-Jebusite”) — fact holds: and-obj-marker-
# the-Emorite-and-obj-marker-the-Kenaanite-and-obj-marker-the-Girgashite-
# and-obj-marker-the-Jebusite
m.fact("ve_et_ha_emori_ve_et_ha_kenaani_ve_et_ha_girgashi_ve_et_ha_yevusi")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'nehar_perat', 'ur_kasdim', 'dameseq', 'nahar_mitzrayim'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['tira(avram)', 'habet_u_sefor(avram, ha_shamaymah_ve_ha_kokhavim)']
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 4}
    assert sorted(m.WORLD["facts"]) == sorted(['anokhi_magen_lakh', 'sekharkha_harbeh_meod', 'mah_titen_li_ve_anokhi_holekh_ariri', 'ben_mesheq_beti_hu_dameseq_eliezer', 'hen_li_lo_natata_zara', 'ben_beti_yoresh_oti', 'lo_yirashkha_zeh', 'asher_yetze_mi_meekha_hu_yirashekha', 'koh_yihyeh_zarekha', 've_heemin_ba_YHWH', 'va_yachsheveha_lo_tzedaqah', 'ani_YHWH_asher_hotzetikha_me_ur_kasdim', 'la_tet_lekha_et_ha_aretz_ha_zot_le_rishtah', 'ba_mah_eda_ki_irashena', 've_et_ha_tzipor_lo_vatar', 'emah_chashekhah_gedolah_nofelet_alav', 'ger_yihyeh_zarakha_be_eretz_lo_lahem', 'va_avadum_ve_inu_otam_arba_meot_shanah', 'dan_anokhi_et_ha_goy_asher_yaavodu', 've_acharei_khen_yetzu_bi_rekhush_gadol', 'tavo_el_avotekha_be_shalom', 'tiqaver_be_sevah_tovah', 've_dor_revii_yashuvu_henah', 'lo_shalem_avon_ha_emori_ad_henah', 'va_alatah_hayah', 'le_zarakha_natati_et_ha_aretz_ha_zot', 'mi_nehar_mitzrayim_ad_ha_nahar_ha_gadol_nehar_perat', 'et_ha_qeni_ve_et_ha_qenizi_ve_et_ha_qadmoni', 've_et_ha_chiti_ve_et_ha_perizi_ve_et_ha_refaim', 've_et_ha_emori_ve_et_ha_kenaani_ve_et_ha_girgashi_ve_et_ha_yevusi'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 23
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

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