The separation and the promise: the return, the strife, the plain, the land forever (13:1-18) FROZEN
וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו · va-yipardu ish me-al achiv · 'and they separated, each from his brother'
REVIEW PASSED and FROZEN 2026-08-03 by the main loop: every census re-run independently against the raw snapshot and confirmed EXACT — parad ('separate') tokens 1-7 = 2:10 Eden's river / 10:5 / 10:32 / 13:9 / 13:11 / 13:14 / 25:23, with the in-span stem-match verified (niphal imperative HVNv2ms -> niphal wayyiqtol -> niphal infinitive: SETTLED CYCLE #7's verb-identity is morph-exact); AL (plea-negative) token 1 = 13:8; olam tokens 1-6 = 3:22/6:3/6:4/ 9:12/9:16/13:15 and the ADJACENT ad-olam ('until forever') phrase's corpus FIRST is 13:15 (next: Exod 12:24); etnenah = the give-verb's first two object-suffixed forms, 13:15 + 13:17 (next 23:9), seated on etnachta and silluq as claimed; gan ('garden') tokens 1-13 ALL Eden, token 14 = 13:10, and the word's ONLY other Torah token is Deut 11:10's Egypt-comparison — both comparanda confirmed; shachat ('destroy') tokens 6-7 = the never-again clauses, token 8 = 13:10; manah ('count') = exactly 3 Torah tokens, all dust-seed (13:16 x2, Num 23:10); afar tokens 5-6 = 13:16; ahal ('to tent') = exactly 2 Torah tokens, both in-span, one per parted man; merivah noun (4808) = exactly 3 tokens (13:8, Num 27:14, Deut 32:51) vs place-name 4809 — the staging correction VERIFIED; riv noun (7379) debut 13:7 with token 2 = Exod 17:7 (the quarrel-noun's next station is Meribah itself — reviewer addition); bachar ('choose') 1-2 = 6:2/13:11; both direction-verbs (3231, 8041) TRUE HAPAXES at 13:9; the Ai exactly 2 tokens (12:8, 13:3); kesef debut 13:2; masa ('journey-stage') debut 13:3, rest wilderness; hitpael walk-stem roster exact (3:8, 5:22, 5:24, 6:9, 13:17, 17:1, 24:40, 48:15 + law) — 13:17 IS the stem's first imperative; 13:3's tent = TWO DB rows (written heh / read vav) — ktiv/qere double VERIFIED, corpus doubles-in-frozen-spans count now SIX (3:12, 3:20, 4:22, 7:2, 8:17, 13:3); span word_total 242 including both rows; kaved sibling-split verified (3513 token 1 = 13:2, adjective morph; 3515 tokens 1-5 famine); 13:14's amar = subject-fronted PERFECT (HVqp3ms); 13:8 tehi jussive; Perizzite debut 13:7 and ABSENT from Gen 10 (negative space confirmed); mizbeach tokens 5-6 in-span (7-8 = the binding); banah token 10 = 13:18; az tokens 1-3 = 4:26/12:6/13:7 — frozen gen_27's roster LANDS; the lift-eyes idiom's first two tokens = 13:10 (Lot) and 13:14 (the command). ALL ELEVEN FLAGGED CHOICES RATIFIED. Flag 1 (the unit's boldest): ad-olam held as promise-FACT pair, NOT INVARIANT — RATIFIED: the class's operative law (gen_20's 'no possible execution receipt', gen_21's 'no single execution event' — quotes verified) cuts to FACT for a single receiptable giving; gen_22's 9:12 giving-with-perpetuity FACT (quote verified) is the controlling analogue; ad-olam perpetuates the TENURE, not the pledging. Flag 2: gen_14's walk-thread line verified verbatim — it tracks the companionship valence and claims no token-adjacency; precision note ONLY, NO amend (gen_14 stays untouched). Flag 3: SETTLED CYCLE #7 numbering RATIFIED — the corpus's first receipted HUMAN demand (all prior human demands verified open: gen_13's one, gen_23's four, gen_25's five, gen_28's three). Flags 4-11 ratified as argued (first human LET-NOT; the imperative-pair packaging; the un-receipted walk-command; the mizbeach_chevron sibling-name — mizbeach_mamre declined; the three seed corrections; the GLOSS_FIX set; the no-TEST Sodom verdict; the ktiv/qere accounting). All frozen-unit quotes verified verbatim (gen_13/14/20/21/22/24/27/28). Onkelos (Aramaic translation) Tier-A, 18 sequential fetches FETCHLOG'd — headline find-class: 13:13's indictment ITEMIZED by the buffer ('evil with their money, guilty with their bodies'); ad-olam survives intact; the garden-simile kept; the hapax direction-verbs vanish into compass nouns. TWENTY-FIFTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen29_prospective_2026-08-03.md): cache holds ZERO sources for Gen 13:1-18 — TWENTY-THIRD tripwire in a row. INTERPRETER: ZERO extensions — twentieth extension-free derivation in a row. Derived by the FOURTH-GENERATION agent (its first unit; twelfth agent-derived unit overall; first-run green, zero corrections — the gen-1/2/3 record continues into a fourth tenure). THE DRAFT'S FLAGGED CHOICES (all ratified): (1) THE RULED-OPEN WEIGH — 13:15's lekha etnenah u-le-zarakha AD-OLAM ('to you I will give it, and to your seed FOREVER') is held as a promise-FACT pair (HOLDS x2), NOT as INVARIANT, with the perpetuity formula's arrival named as a major letter fact. The weigh genuinely reopened: frozen gen_27's ruling ground was quoted ('these are coded-imperfect promises with no duration clause') and a duration clause is now PRESENT — and gen_27's own shorthand for the class ('gen_20/21/22's INVARIANT class carries perpetuity formulas') would point to INVARIANT. But the class's OPERATIVE law cuts the other way, quoted from frozen gen_20 ('a perpetual negation with no possible execution receipt is not a demand — nothing can ever pop never-again; the INVARIANT class carries it') and frozen gen_21 ('a perpetual per-case commitment with no single execution event: never-again's twin, I-will-always'): ETNENAH is a SINGLE future giving with a possible execution receipt — the corpus's own later grammar performs it (15:18's natati, 'I HAVE given' — named-only, cross-unit); what AD-OLAM makes perpetual is the TENURE of the gift ('to you AND TO YOUR SEED'), not the pledging. And the closest frozen analogue rules the same way: gen_22 held 9:12's ani noten ... le-dorot olam ('I am giving ... for everlasting generations') as HOLDS-FACT, quoted — a giving WITH a perpetuity phrase, encoded as fact with olam as scope. Encoded: HOLDS(et_kol_ha_aretz_asher_ata_roeh_lekha_etnenah) ∧ HOLDS(u_le_zarakha_ad_olam). FLAGGED as the unit's boldest call. (2) gen_14's walk-thread line — quoted verbatim at 13:17 ('The walk-thread: 3:8 God walks the garden ALONE at the wind of the day; here a man walks WITH Him; 6:9 Noach; 17:1 the imperative to Abram') — is ruled NOT FACTUALLY WRONG, precision note only, NO amend recommended: the full hitpael (reflexive-stem) census shows 13:17's hithalekh IS the stem's first imperative token (roster: 3:8, 5:22, 5:24, 6:9, 13:17, 17:1, 24:40, 48:15 + three law tokens), BUT gen_14's thread tracks the COMPANIONSHIP valence (with/before God: et-ha-Elohim, lifanai, lifnei — 5:22/5:24, 6:9, 17:1, 24:40, 48:15), and 13:17's object is THE LAND (hithalekh BA-ARETZ), not the divine presence: a different valence of the same stem, honestly named at the step. Owner may overrule to the amend queue. (3) SETTLED CYCLE #7 CLAIMED — the corpus's FIRST RECEIPTED HUMAN DEMAND: 13:9's hipared na me-alai ('separate, please, from me' — niphal imperative, human issuer) is popped by 13:11's va-yipardu ish me-al achiv ('and they separated, each from his brother') — the demand's OWN verb (parad, 'separate'), same niphal stem, same me-al ('from upon') preposition — and 13:14's narrator timestamp achare hipared-lot ('after the separating of Lot') repeats the receipt inside the divine speech's own frame. Counterexample hunt run: every prior human demand stands open (frozen gen_13's shema; frozen gen_28's imri / qach / va-lekh x3). Numbering and the receipt-without-ka-asher-formula both flagged for ratification. (4) FIRST HUMAN LET-NOT + the AL-particle's TORAH DEBUT: 13:8's al-na tehi merivah ('let there be no strife, please') — AL (the plea-negative particle, Strong 408) enters the Torah HERE, in peace-making; tehi is jussive (coded form, the LET-NOT class's native mood per gen_08/gen_21, both divine until now). The first human issuer of a negative demand; pushed, never popped (the letter never says strife ceased — it says they parted). (5) PACKAGING — 13:14's sa na ... u-ree ('lift now [your eyes] and see': two true imperatives, one breath, one object-field) pushed as ONE demand; 13:17's qum hithalekh ('arise, walk') likewise. Choice flagged. (6) 13:18 does NOT receipt the walk-command: va-yeehal / va-yavo / va-yeshev / va-yiven ('tented/came/dwelt/built') are not the demand's verbs (qum/hithalekh) — frozen gen_28's letter-arithmetic followed; queue ends THREE OPEN (one human LET-NOT, two divine LETs) with ONE settled — the exact inversion of gen_28's three open all-human, zero settled. (7) The sixth install named mizbeach_chevron (gen_27's sibling-stem device: mizbeach_shekhem / mizbeach_beit_el frozen; the site is elonei Mamre asher be-Chevron — alternative token mizbeach_mamre noted for the reviewer). (8) SEED/STAGING CORRECTIONS (with frozen/census backup): (a) the staging's merivah career note 'its next tokens are the water-quarrels of Exod 17/Num 20' corrected — LEMMA SPLIT: merivah the common noun (4808, 'strife') has exactly 3 Torah tokens (13:8, Num 27:14, Deut 32:51 — the two mei-merivat-Kadesh ['waters of strife'] indictment verses); Exod 17:7 / Num 20:13 / 20:24 / Deut 33:8 ride the sibling PLACE-NAME lemma 4809. The class intuition (water-quarrels) holds across the split. (b) the staging's '13:2 kaved = stative VERB' corrected: the DB tags 13:2 kaved with ADJECTIVE morph (HAamsa) on the verb-family lemma 3513 — the sibling-lemma split vs 12:10's famine-kaved (3515) is confirmed exactly (3513 token 1 = 13:2; 3515 tokens 1-5 all famine-verses, as frozen gen_28 recorded). (c) the staging's 'call-formula token 3 at 13:4' precised by frozen gen_27's own reviewer note, quoted: 'the invocation formula's strict-adjacency census exact (4:26, 12:8, 26:25 adjacent; 13:4/21:33 are the sham-interposed variants, both LATER' — 13:4 is the formula's FIRST sham-interposed variant ('called THERE ... on the name'), not strict token 3. (9) GLOSS_FIX candidates from this span's gloss column: bachar 'try' -> 'choose' (977); semol 'the-dark' -> 'left' (8040); parad 'break-through' -> 'separate' (6504); manah 'weigh-out' -> 'count' (4487); tzafonah 'hidden-suffix' -> 'northward' (6828); yachdav 'unit' -> 'together' (3162). The live-list '?' gloss (Beit-El compound 1008+) recurs at 13:3 x2. (10) NO TEST at 13:13: the Sodom verdict is a NARRATOR evaluation with none of the roster's instruments (tov/shaah/tzaddik/nichoach ['good/regard/righteous/pleasing'] all absent — gen_19/gen_25/ gen_28's seeing-without-judging discipline); held as standing FACT, the file Sodom's units will open [prose]. (11) KTIV/QERE ('written vs read'): 13:3's tent is TWO DB rows (written aholoh with final heh, read aholo with vav) — the FIRST of the Torah's five two-row suffix pairs of this class (13:3; 49:11 x2; Exod 22:4; Exod 22:26 — census run this session); the 242-token span total counts both rows, and the same heh-written spelling stands as a single row at 9:21 and 12:8 (Noach's tent, the tent this verse returns to) [letter fact, prose]. ONKELOS (Aramaic translation) read Tier-A at derive time (18 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03) — headline: at 13:13 THE BUFFER ITEMIZES THE INDICTMENT the letter leaves as two bare adjectives — bishin BE-MAMONHON ve-chayavin BI-GVIYAT-HON ('evil WITH THEIR MONEY and guilty WITH THEIR BODIES') — two sins filed under two domains, plus the standard kodam-distancing ('before YHWH'). Full findings and the repeat-buffers list in ORAL_onkelos_tier_a. Watch-points answered: ad-olam SURVIVES intact (ad alam, 'until forever'); the gan-YHWH ('garden of YHWH') simile is KEPT (ke-ginta da-YHWH); the two hapax direction-verbs VANISH into compass nouns (north/south); the call-formula is prayer again (ve-tzali — gen_27's recorded policy, landed). PROSPECTIVE MIDDOT RUN queued as WATCHLIST_gen29_prospective (scratchpad; the cache middot scan is the MAIN LOOP'S gate, not claimed here). INTERPRETER: ZERO extensions — every operator, mood, and scenario clause parses under the UNMODIFIED repo interpreter (preflight from scratchpad, draft-guard bypassed for preview only).
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 (hipared(lot, me_al_avram), tehi(merivah, bein_avram_u_ven_lot), sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah), qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah), mizbeach_chevron). Per-verse steps (eighteen).
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, PROCESS.md oral-first era; manifest logic/oral_audit/manifests/gen_29_separation_promise_claims.json — 17 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_29_2026-08-08.md). CROWNS (chain-attested + DB-verified): (1) THE QUARREL-WORD LAW (G29-01, Minchat Shai on 13:7 quoting the Ramah): ריב ("quarrel") written plene (with yod) in every Torah occurrence except ONE — רב at Exod 23:2, "do not answer in a dispute." SNAPSHOT, the lemma's whole career: ten tokens, nine yods, one bare — exactly there; the Zohar's defective reading here named and declined by all books. (2) THE SOFT TAV OF THE PEACE-PLEA (G29-04/05, Minchat Shai on 13:8): נא ("please") carries qadma (the forward accent-stroke), not a pausal accent — therefore the tav of תהי ("let there be") is SOFT (no dagesh, the doubling dot). SNAPSHOT exact: the corpus's first human LET-NOT — this machine's own al_na_tehi device — carries its softness in the letter. (3) THE SEAM ACROSTIC (G29-06/07, Kitzur on 13:11): the finals of ויפרדו איש מעל אחיו ("and they separated, each from his brother") spell ושלו, and the NEXT word across the verse-break — אברם opening 13:12 — closes ושלום ("and PEACE") with its mem: "to make peace they separated"; the payoff named at Deut 2:9's "do not besiege Moab" (Lot's line spared; edge). (4) אברם verse-initial exactly ONCE in the Torah (13:12; G29-08, Kitzur) — paired with "Abram HE IS Abraham" (I Chr 1:27; edge). (5) ואנשי ("and the men of") verse-initial exactly twice: Sodom's men (13:13) against "men of HOLINESS" (Exod 22:30) (G29-09, Kitzur; Ezek 39:14 edge). (6) וחטאים ("and sinners") — one Torah token (13:13); the Masorah's four run a repentance arc: Isa 1:28, Ps 51:15, Ps 1:5 (G29-10; three edges). (7) THE MISLEADING FOREVERS (G29-11/12, Minchat Shai on 13:15): the Masorah's three-verse caution list — ולזרעך עד עולם ("and TO your seed forever," 13:15, lamed, the blessing) vs ובזרעך עד עולם ("and UPON your seed forever," Deut 28:46, bet, the curse-sign) vs Naaman's forever (II Kings 5:27; edge): SNAPSHOT — of the Torah's three bet-form tokens only the curse-sign runs into "until forever"; one letter divides the blessing's forever from the curse's. And the unit's boldest ruled fact gets its pointing: עד־עולם ("until forever") at its corpus-first is JOINED by maqqef (the joining hyphen) — forever is one breath with its until. (8) THE TWO COMPASS-OPENINGS (G29-14/15, Kitzur on 13:14): Abraham's scan opens NORTH (צפנה ונגבה adjacent — the offerings' side), Jacob's (28:14) opens at the SEA (ימה וקדמה — the crossing); both adjacencies unique in the Torah. (9) למסעיו ("by his JOURNEYS") plene with the books/Hilleli/ Ramah/Meiri against the Zohar's singular homily; היה ("had been") read MIL'EL, stress retracted — the tent that HAD BEEN: the past pulled forward in the stress (G29-02/03). (10) ולא נשא ("could not BEAR them") — once in the Torah; twin: "David did not COUNT them" (I Chr 27:23-24; edge) (G29-13). (11) ויבא with tevir (the broken low accent), not darga (G29-17). DISCREPANCY (filed, not merged): גם זרעך (13:16) — Minchat Shai rules NO maqqef; SNAPSHOT joins (G29-16; accent-writing convention, beside gen_27's doubled-pashta altar). INHERITANCE EDGES (export_links, Torah side verified): 13:14-17 → Josh 1:3 — "every place the sole of your foot treads" — the UN-RECEIPTED walk-command's receipt lives in the conquest's commissioning, outside the Torah (the gen_27 pattern again); 13:16 → Num 23:10 — Balaam's "who has COUNTED the dust of Jacob" carries the frozen dust-census; 13:10 → Num 13:22 — the Egypt-garden comparison re-used by the spies. READINGS (named-only): Ben Asher variant-lists put maarikh (the lengthening stroke) on the vav of ויאהל ("and he tented") — SNAPSHOT writes none: null local witness, filed; the altar-before-war juxtaposition into 14:1 (Kitzur, with Psalm 20); the shepherds-rebuked reading (Ezek 34) on רעי ("the herdsmen"). Machine layer untouched.
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | Gen 13:1-18 as ONE UNIT (owner ruling on the staged recommendation, adopted): the ascent and return to the first altar (13:1-4), the wealth-strain and strife (13:5-7), the peace-speech and offer (13:8-9), Lot's seeing/choice/separation (13:10-11), the two settlings and the Sodom verdict (13:12-13), the promise after the separating (13:14-17), Hebron and altar #3 (13:18). 14:1 breaks genre completely (the king-list war narrative). 18 verses, 242 tokens (both ktiv/qere rows counted). | established |
| B | Hebrew source + trees | All 18 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Tree facts (accent positions DB-verified): 13:2 rests on MEOD ('very' — the wealth weighed at the etnachta [major mid-verse rest]) and ends on u-va-zahav ('and in gold'); 13:8 ends on ANACHNU ('WE' — the brotherhood claim seated on the silluq [verse-end]); 13:9 ends on VE-ASMILAH ('and I will go left') — a Torah hapax on the verse-end throne; 13:11 ends on ACHIV ('his brother') — the separation verse ends on the brother-word the peace-speech invoked; 13:12 ends on ad-SEDOM ('as far as Sodom'); 13:14 ends on va-YAMAH ('and seaward') — the fourth compass point closes the verse; 13:15 RESTS ON ETNENAH ('I will give it') AND ENDS ON AD-OLAM ('forever') — the pledge-verse is bracketed by gift and perpetuity at its two thrones; 13:16 ends on YIMANEH ('shall be counted'); 13:17 ENDS ON ETNENAH — the divine speech's last word is the give-word, repeated; 13:18 ends on la-YHWH. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03) and censuses run BEFORE drafting. THE DEMAND FIELD: 13:8 tehi — JUSSIVE (HVqj3fs) under AL — the plea-negative particle's TORAH DEBUT (408 token 1 = 13:8; its next tokens 15:1, 18:3 ...); 13:9 hipared — NIPHAL IMPERATIVE (HVNv2ms) + na; 13:9's ve-eminah / ve-asmilah — HIPHIL COHORTATIVES (HC/Vhh1cs), both TORAH HAPAXES (3231 and 8041, one token each): Abram's self-directed offer-halves, promise-volitives not demands (gen_27's va-agadelah class — no guard needed); 13:14 sa + u-ree and 13:17 qum + hithalekh — FOUR TRUE IMPERATIVES (HVqv2ms x3 + HVtv2ms), no ?-guard (gen_27's ratified rule: coded forms only). THE RECEIPT: 13:11 va-yipardu — niphal wayyiqtol of the SAME verb 13:9 demanded, with the same me-al; 13:14 achare hipared (niphal infinitive) — tokens 4-5-6 of parad ('separate') all in-span, and TOKEN 1 IS 2:10: EDEN'S RIVER ('and from there it PARTED into four heads') — the separation-verb is born parting the garden's water, parts the nations (10:5, 10:32), then parts Abram and Lot AT THE SIGHT OF EDEN-LOOKING WATER (13:10's ke-gan YHWH); token 7 = 25:23 (two peoples parted from a womb) [career, prose]. Debut/career table: kaved 3513 token 1 = 13:2 (sibling of 12:10's famine 3515 — one skeleton, two lemmas: down heavy with hunger, up heavy with wealth); kesef ('silver') Torah debut + zahav ('gold') token 3; masa ('journey-stage') debut at 13:3 — 10 of its 12 tokens are Israel's wilderness itinerary (Exod 17:1, 40:36-38, Num 10-33): the nation's stage-word is born on Abram's retraced road; techillah ('beginning') debut (its other 3 tokens all Egypt/Yosef); rishonah token 2 (token 1 = 8:13); riv ('quarrel') debut + merivah ('strife') debut — the strife pair born in ONE quarrel (4808's other two tokens are the mei-merivat-Kadesh indictments, Num 27:14 / Deut 32:51 [lemma split from place-name 4809 — seed corrected]); roeh ('herdsman') tokens 1-4 all in-span; yachdav ('together') debut x2; yakhol ('be able') debut x2; nasa tokens 3-4-5 in-span (tokens 1-2: Cain's unbearable guilt 4:13, the waters LIFTING the ark 7:17 — the land that cannot BEAR, the eyes lifted, the lift-command); the nasa+einayim ('lift eyes') idiom's FIRST TWO Torah tokens are 13:10 (Lot, self-directed) and 13:14 (divine command to Abram) [census: no earlier pairing exists]; yashav ('dwell') tokens 5-10 — SIX in-span, the densest dwell-field yet (tokens 1-2: Cain in Nod 4:16, yoshev ohel u-miqneh 4:20); ohel ('tent') tokens 4-7 in-span incl. the ktiv/qere pair; AHAL ('to tent', denominative verb 167) — BOTH its Torah tokens in-span (13:12 Lot toward Sodom, 13:18 Abram toward Hebron): a verb born and finished inside one unit, one token per parted man; bachar ('choose') token 2 = 13:11 — token 1 is 6:2 (the sons of God chose wives): the choose-verb's first two tokens both follow a seeing-of-goodness [career, prose]; kikar ('plain') tokens 1-3 in-span, tokens 4-6 = 19:17/25/28 (the overthrow); Sodom tokens 2-4 in-span after 10:19's border debut; boakha ('as you come toward') = 10:19's border idiom repeated at Tzoar (next token 19:22 — Tzoar reached); Perizzi debut at 13:7 — ABSENT from frozen gen_24's seventy-name table [negative space]; az ('then') token 3 = 13:7 — frozen gen_27's roster LANDS; chataim ('sinners') debut — its whole Torah career: Sodom's men, Korach's censers (Num 17:3), the spies' brood (Num 32:14); gan ('garden') token 14 = 13:10 — tokens 1-13 are ALL Eden: the garden-word's FIRST step outside Eden is a simile for Sodom's plain (its only other Torah token, Deut 11:10, compares EGYPT — this verse names both comparanda in one breath); shachat ('destroy') token 8 = 13:10 — tokens 6-7 are the never-again clauses (9:11/9:15): the flood-verb's first token after never-again aims at Sodom, proleptic, nominal; MEOD brackets the span x2 exactly: 13:2 (wealth) and 13:13 (sin); olam ('forever') token 6 = 13:15 — tokens 1-5: Eden's live-forever (3:22), the 120-year limit (6:3), the men of old (6:4), the covenant pair (9:12, 9:16); AD-OLAM ('until forever') is the corpus's FIRST — and the span's own AD ('until') runs place, place, place, forever (13:3 Beit-El, 13:12 Sodom, 13:15 olam); etnenah — natan's ('give') FIRST OBJECT-SUFFIXED form in the corpus ('I will give IT' — the pledge gains a pronoun, the seen land), twice, at 13:15's etnachta and 13:17's silluq; zera ('seed') tokens 14-16 in-span after 12:7's 13; manah ('count') — ALL THREE Torah tokens count dust-seed: 13:16 x2 and Num 23:10's mi manah afar yaakov ('who has COUNTED the dust of Jacob' — Bilam answers this verse's dare in its own two words) [career, prose]; afar ('dust') tokens 5-6 = 13:16 after 2:7 / 3:14 / 3:19 x2 — the formed-from, serpent-eaten, return-to death-word becomes the seed's measure; ach ('brother') tokens 15-16 in-span (tokens 1-8 all the Cain file): invoked to prevent strife, then parted from; banah ('build') token 10 = 13:18 (altar-build #4: 8:20, 12:7, 12:8, 13:18); mizbeach tokens 5-6 in-span (5 = 13:4 the revisit, 6 = 13:18 the new build; 7-8 = 22:9, the binding); Beit-El tokens 3-4, Ai token 2 (of exactly 2!), Mamre and Chevron debuts (Chevron token 2 = 23:2, Sarah's death [named-only]); the SAY-ROSTER continues frozen gen_28's: 12:18 Pharaoh, 13:8 ABRAM (his SECOND recorded speech — the first was fear to his wife at a border; the second is peace to his kinsman over land), 13:14 YHWH; and 13:14's form is marked: VA-YHWH AMAR — subject-fronted PERFECT (HVqp3ms), the corpus's first narrative say-opening with the SUBJECT fronted [census 1:1-13:13: the only prior narrative perfect openings are 3:16/3:17, which front the ADDRESSEE — the sentencing scene]; YHWH x6 in-span; ish sedom-adjacent ACHIM x1. | tested |
| D | Predicates & outcomes | The machine's queue does something NO unit's queue has done: a human demand is pushed and FULFILLED. Four demands total: Abram's LET-NOT (al-na tehi merivah — the first human negative demand, AL's debut; never popped: the letter never says strife ceased) and Abram's LET (hipared — POPPED at 13:11 by the demand's own niphal verb with its own me-al: SETTLED CYCLE #7 claimed, the first human-issued settle); then GOD commands twice after the separating (sa u-ree; qum hithalekh) and NEITHER receipts in-span — no seeing by Abram is narrated, and 13:18's tent/come/dwell/build are not the walk-verbs [gen_28's letter-arithmetic]. The queue at rest: THREE OPEN (one human LET-NOT, two divine LETs), ONE SETTLED (human) — the exact inversion of gen_28 (three open, all human, zero settled). Around the queue: the ascent that closes gen_28's inclusio, the return that re-reads a frozen install (mizbeach_beit_el presupposed), the wealth/strain/strife facts, Lot's wordless arc (he lifts eyes, sees, chooses, journeys, tents — five verbs, zero words, in-span and out to the wall), the narrator's Sodom verdict with NO test, the promise-FACT pair with the perpetuity formula (flag 1), the dust-measure, and the sixth install at Hebron. TESTS empty; NAME zero; LEDGER empty. | tested |
| E | Logic format choice | Operator lines; per-verse steps (eighteen — gen_25/gen_28's device). DECLARE x4: LET-NOT(tehi(merivah, bein_avram_u_ven_ lot)) [13:8, human, TIR-034 class]; LET(hipared(lot, me_al_avram)) [13:9, human, TIR-027]; LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)) [13:14, divine, TIR-027]; LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_ rachbah)) [13:17, divine, TIR-027]. RESULT x1 [13:11 — the demand's own verb; settled cycle #7 claimed, flagged]. EVENTs (16): go_up (13:1), go (13:3), call (13:4 — invocation, not naming: gen_13's class; REGISTRY 0 writes), say (13:8 — the second Abram speech), lift_eyes + see (13:10 — Lot), choose + journey (13:11), dwell x2 + tent (13:12 — ahal token 1), say (13:14 — the subject-fronted perfect), tent + come + dwell + build (13:18 — ahal token 2). REGISTRY_INSTALL x1 (mizbeach_chevron — gen_20's device, gen_27's sibling-naming; flag 7). Standing facts (12): the with-him roster (13:1), the heavy-wealth triple (13:2), the tent-at-the-first fact (13:3), Lot's holdings (13:5), the land-could-not-bear pair (13:6), the strife fact + the two-nations notice (13:7), the brotherhood ground (13:8), the whole-land-before-you fact + the offer-halves (13:9), the watered-plain fact with the proleptic destruction clause (13:10), the Sodom verdict (13:13), the promise-FACT pair (13:15 — flag 1), the dust-facts (13:16), the second etnenah (13:17). NOTE_PRESUPPOSED x6 ops / 12 names (mitzrayim, ha_negev; beit_el, ha_ai; mizbeach_beit_el; ha_yarden, sedom, amora, tzoar; eretz_kenaan; mamre, chevron). NAME x0, TESTS x0, LEDGER x0, INVARIANT x0 (flag 1). Queue at rest: 3 OPEN, 1 SETTLED. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: tehi(merivah, bein_avram_u_ven_lot), hipared(lot, me_al_avram), sa_u_ree(avram, tzafonah_va_negbah_ va_qedmah_va_yamah), qum_hithalekh(avram, ba_aretz_le_arkah_ u_le_rachbah), et_kol_ha_aretz_asher_ata_roeh_lekha_etnenah, u_le_zarakha_ad_olam, mizbeach_chevron. | 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 40:8-41:8 (the span; the herdsmen-dispute readings; the four-count Sodom indictment class that Onkelos's 13:13 money/body split already surfaces); Rashi at 13:7 (the muzzled-cattle dispute), 13:8 (anashim achim — 'men, brothers'), 13:9 (the offer), 13:13 (the sin inventory), 13:17 (the walk as acquisition — kinyan chazakah ['acquisition by tread'] class); Ramban at 13:7 (the land-notice's legal force); the chazakah-by-walking dispute (Bava Batra 100a — Rabbi Eliezer's proof FROM 13:17, the walk as title-act); the ten-trials rosters (the strife as trial in some counts). Tier-A Onkelos (18 fetches, Data/FETCHLOG.md 2026-08-03): findings in ORAL_onkelos_tier_a — headline: the 13:13 indictment ITEMIZED (money-sins / body-sins); the hapax direction-verbs flattened to compass nouns; ad-olam kept exactly; the garden simile kept; ve-tzali ('prayed') again. | tested |
| H | Scenarios | S1 the ascent: facts hold, Egypt/Negev flagged. S2 the return: the three revisit-names flagged read-before-install (the frozen install re-read), SPECS empty. S3 the strain: strife facts hold, SPECS still empty. S4 the plea and offer: LET-NOT + LET pushed, both OPEN. S5 the separation: the human LET popped (settled cycle #7 — preflight trace verifies the queue), LET-NOT still open. S6 the verdict: no test, no name. S7 the gift: promise-FACT pair holds, divine LET #1 open. S8 the walk-command: divine LET #2 open. S9 the sixth install: WORLD += mizbeach_chevron, three demands open, LEDGER stays EMPTY. S10_negative LET? guard; S11_negative flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (the jussive-under-AL, the niphal imperative and its wayyiqtol receipt, the four true imperatives, the hiphil cohortative hapaxes, the qal-perfect say-opening; TIR-014/027/032/034) and censuses run BEFORE drafting (parad, gan, shachat, nasa+einayim, yashav, ohel, ahal, bachar, kikar, boakha, Perizzi, az, chataim, olam/ad- olam, natan-forms, manah, afar, ach, banah, mizbeach, masa, techillah/rishonah, kaved 3513/3515, say-roster, meod). NOT supplied: why the land could not bear them (the letter gives wealth, not motive), any words of Lot (he says nothing here — his first recorded speech is 19:2, named-only), whether the strife ceased (LET-NOT stays open), what Abram saw (no seeing by him is narrated — the sa-u-ree demand stays open), the walk's legal force (the chazakah reading is the chain's, named-only), the 15:18/17:8 continuations (named-only, cross-unit), Sodom's sins' content (the buffer itemizes; the letter does not — dual-track), and the INVARIANT counter- reading of 13:15 (weighed, declined, FLAGGED — flag 1). | established |
| J | Pre-flight + draft ship | Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen29.py; draft guard bypassed for preview only). Ships as STATUS: DRAFT by the gen-4 block agent (mechanics only, first unit of its tenure); the main loop verifies quotes, re-runs censuses, rules on flags 1-11, and freezes through the standard gate chain. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_13_1 · Gen.13.1 · THE_ASCENT_WITH_ALL
וַיַּעַל אַבְרָם מִמִּצְרַיִם הוּא וְאִשְׁתּוֹ וְכָל־אֲשֶׁר־לוֹ וְלוֹט עִמּוֹ הַנֶּגְבָּה · va-yaal avram mi-mitzrayim hu ve-ishto ve-khol-asher-lo ve-lot imo ha-negbah · [EN-AID/JPS] And Abram went up out of Egypt, he, and his wife, and all that he had, and Lot with him, into the South.
LEFT
ויעל אברם ממצרים הוא ואשתו וכל־אשר־לו ולוט עמו · va-yaal avram mi-mitzrayim hu ve-ishto ve-khol-asher-lo ve-lot imo · the ascent with the full roster (the verse runs unbroken to its last word)
ויעל אברם ממצרים הוא ואשתו וכל־אשר־לו ולוט עמו · va-yaal avram mi-mitzrayim hu ve-ishto ve-khol-asher-lo ve-lot imo · the ascent with the full roster (the verse runs unbroken to its last word)
RIGHT
הנגבה · ha-negbah · southward — the single-word silluq (verse-end) arm: the direction is the destination
הנגבה · ha-negbah · southward — the single-word silluq (verse-end) arm: the direction is the destination
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | go_up(e1) ∧ Agent(e1, avram) ∧ Goal(e1, ha_negev) = go-up(e1) ∧ Agent(e1, avram) ∧ Goal(e1, the-negev) VA-YAAL ('and he went UP') — FROZEN gen_28's frame LANDS, quoted verbatim: 'framed by the letter's own verb-inclusio (12:10 va-yered "he went down" / 13:1 va-yaal "he went up" — the frame noted, the ascent out of span)' and 'the va-yered/va-yaal (12:10/13:1) inclusio frames the unit, ascent out of span.' The ascent arrives HERE [frozen-unit prediction landing, marked]. The roster is the expulsion's: hu ve-ishto ve-khol-asher-lo ('he, his wife, and all that was his') re-runs 12:20's escort list word-class for word-class, PLUS ve-lot imo ('and Lot with him') — Lot, absent through all of Egypt, reappears the verse the family leaves it [letter fact]. Frozen gen_28's three human demands, incl. Pharaoh's va-lekh ('and go'), stand across the wall: this going answers the content and pops NOTHING — frozen walls are absolute [OPEN, cross-unit, prose]. | וַיַּעַל אַבְרָם מִמִּצְרַיִם · va-yaal avram mi-mitzrayim = and-yaal avram from-mitzrayim | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(hu_ve_ishto_ve_khol_asher_lo_ve_lot_imo, t0) = HOLDS(that-and-his-wife-and-all-which-not-and-lot-imo, t0) The company held as fact. Lot's preposition shifts: 12:4 ITO ('with him', the et-form), 13:1 IMO ('with him', the im-form) — same gloss, different word; the letter re-attaches Lot with a new glue [letter observation, prose]. HA-NEGBAH ('southward') — the south-word's token 2, verse-final. | הוּא וְאִשְׁתּוֹ וְכָל־אֲשֶׁר־לוֹ וְלוֹט עִמּוֹ · hu ve-ishto ve-khol-asher-lo ve-lot imo = that his-wife and-all-which-not and-lot imo | — | tested |
| NOTE_PRESUPPOSED | mitzrayim, ha_negev are READ without prior install (known geography) = mitzrayim, the-negev are READ without prior install (known geography) flag, not fix (Egypt and the Negev — gen_27/gen_28 read them too; standalone machine) | — | — | tested |
STEP_Gn_13_2 · Gen.13.2 · THE_HEAVY_WEALTH
וְאַבְרָם כָּבֵד מְאֹד בַּמִּקְנֶה בַּכֶּסֶף וּבַזָּהָב · ve-avram kaved meod ba-miqneh ba-kesef u-va-zahav · [EN-AID/JPS] And Abram was very rich in cattle, in silver, and in gold.
LEFT
ואברם כבד מאד · ve-avram kaved meod · Abram heavy, VERY (the etnachta rests on meod — the weight weighed first)
ואברם כבד מאד · ve-avram kaved meod · Abram heavy, VERY (the etnachta rests on meod — the weight weighed first)
RIGHT
במקנה בכסף ובזהב · ba-miqneh ba-kesef u-va-zahav · in livestock, in silver, and in gold — the verse ends on gold
במקנה בכסף ובזהב · ba-miqneh ba-kesef u-va-zahav · in livestock, in silver, and in gold — the verse ends on gold
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(kaved_meod_ba_miqneh_ba_kesef_u_va_zahav, t0) = HOLDS(kaved-very-in-the-miqneh-in-the-kesef-and-and-gold, t0) KAVED — the SIBLING-LEMMA RESOLUTION frozen gen_28 already recorded, quoted: 'kaved ("heavy") tokens 1-5 all famine-verses (the staging's 13:2 correction confirmed — 13:2 is sibling-lemma 3513).' One consonant skeleton, two lemmas: 12:10's famine was 3515 (its first five tokens ALL famines); 13:2's wealth is 3513 TOKEN 1 (DB morph HAamsa — adjective form on the verb-family lemma; staging's 'stative verb' corrected, flag 8b). Down heavy with hunger, up heavy with wealth — and Onkelos gives BOTH the same Aramaic word (takif, 'severe/strong'): the buffer re-fuses what the lemmas split [dual-track]. KESEF ('silver') — TORAH DEBUT; ZAHAV ('gold') token 3 (tokens 1-2 = 2:11-12, Chavilah's gold in Eden's river-list — the gold-word's first owner after Eden's rivers is Abram) [careers, prose]. MEOD ('very') at the etnachta: the span's first of exactly TWO meods — 13:2 weighs the wealth, 13:13 will weigh the sin [letter bracket, census]. The miqneh/kesef/zahav triple names no source; the frozen wall's gift-list (12:16) and this verse sit in sequence and the letter draws no arrow [cross-unit, prose only]. | כָּבֵד מְאֹד בַּמִּקְנֶה בַּכֶּסֶף וּבַזָּהָב · kaved meod ba-miqneh ba-kesef u-va-zahav = kaved very in-the-miqneh in-the-kesef gold | — | tested |
STEP_Gn_13_3 · Gen.13.3 · THE_RETRACED_STAGES
וַיֵּלֶךְ לְמַסָּעָיו מִנֶּגֶב וְעַד־בֵּית־אֵל עַד־הַמָּקוֹם אֲשֶׁר־הָיָה שָׁם אהלה אָהֳלוֹ בַּתְּחִלָּה בֵּין בֵּית־אֵל וּבֵין הָעָי · va-yelekh le-masaav mi-negev ve-ad-beit-el ad-ha-maqom asher-hayah sham aholoh/aholo ba-techillah bein beit-el u-vein ha-ay · [EN-AID/JPS] And he went on his journeys from the South even to Beth-el, unto the place where his tent had been at the beginning, between Beth-el and Ai;
LEFT
וילך למסעיו מנגב ועד־בית־אל · va-yelekh le-masaav mi-negev ve-ad-beit-el · he went by his stages, south to Beit-El (etnachta arm ends on Beit-El)
וילך למסעיו מנגב ועד־בית־אל · va-yelekh le-masaav mi-negev ve-ad-beit-el · he went by his stages, south to Beit-El (etnachta arm ends on Beit-El)
RIGHT
עד־המקום אשר־היה שם אהלה בתחלה בין בית־אל ובין העי · ad-ha-maqom asher-hayah sham aholo ba-techillah bein beit-el u-vein ha-ay · to the place where his tent had been at the first — the verse ends on the Ai
עד־המקום אשר־היה שם אהלה בתחלה בין בית־אל ובין העי · ad-ha-maqom asher-hayah sham aholo ba-techillah bein beit-el u-vein ha-ay · to the place where his tent had been at the first — the verse ends on the Ai
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | go(e2) ∧ Agent(e2, avram) ∧ Goal(e2, beit_el) = go(e2) ∧ Agent(e2, avram) ∧ Goal(e2, beit-to) LE-MASAAV ('by his JOURNEY-STAGES') — MASA's TORAH DEBUT, and the word's career is Israel's: 10 of its 12 Torah tokens are the nation's wilderness itinerary (Exod 17:1, 40:36-38, then Numbers through the masei roster) — the stage-word is born on one man retracing his own road out of Egypt [career, prose; the pattern-file reading is the chain's, named-only]. The stations re-run frozen gen_27's in reverse: Negev, Beit-El, the tent, the altar. | וַיֵּלֶךְ לְמַסָּעָיו · va-yelekh le-masaav = and-yelekh to-masaav | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(asher_hayah_sham_aholo_ba_techillah, t0) = HOLDS(which-was-there-aholo-in-the-techillah, t0) The tent-at-the-first held as fact — and the tent-word itself is DOUBLED IN THE DATA: KTIV/QERE ('written vs read') — written AHOLOH (final heh), read AHOLO (vav): two DB rows, the FIRST of the Torah's five two-row pairs of this suffix class (13:3; 49:11 x2; Exod 22:4; 22:26 — census this session, flag 11); the same heh-spelling stands un-split at 9:21 (Noach's tent) and 12:8 (THIS tent, at install-time) [letter fact, prose]. BA-TECHILLAH ('at the BEGINNING') — TORAH DEBUT (its other three tokens are all Egypt/Yosef, 41:21/43:18/ 43:20): the beginning-word is born on a return [career, prose]. | אֲשֶׁר־הָיָה שָׁם אהלה אָהֳלוֹ בַּתְּחִלָּה · asher-hayah sham aholoh (written) / aholo (read) ba-techillah = which-was there aholoh written / aholo read in-the-techillah | — | tested |
| NOTE_PRESUPPOSED | beit_el, ha_ai are READ without prior install (known geography) = beit-to, the-ai are READ without prior install (known geography) flag, not fix (Beit-El tokens 3-4; the Ai token 2 OF EXACTLY 2 — the place-name's whole Torah career is this camp, twice) | — | — | tested |
STEP_Gn_13_4 · Gen.13.4 · THE_RETURN_CALL_AT_THE_FIRST_ALTAR
אֶל־מְקוֹם הַמִּזְבֵּחַ אֲשֶׁר־עָשָׂה שָׁם בָּרִאשֹׁנָה וַיִּקְרָא שָׁם אַבְרָם בְּשֵׁם יְהוָה · el-meqom ha-mizbeach asher-asah sham ba-rishonah va-yiqra sham avram be-shem YHWH · [EN-AID/JPS] unto the place of the altar, which he had made there at the first; and Abram called there on the name of the LORD.
LEFT
אל־מקום המזבח אשר־עשה שם בראשנה · el-meqom ha-mizbeach asher-asah sham ba-rishonah · to the place of the altar made at the first (etnachta arm ends on ba-rishonah)
אל־מקום המזבח אשר־עשה שם בראשנה · el-meqom ha-mizbeach asher-asah sham ba-rishonah · to the place of the altar made at the first (etnachta arm ends on ba-rishonah)
RIGHT
ויקרא שם אברם בשם יהוה · va-yiqra sham avram be-shem YHWH · and Abram called there on the name of YHWH — the verse ends on the Name
ויקרא שם אברם בשם יהוה · va-yiqra sham avram be-shem YHWH · and Abram called there on the name of YHWH — the verse ends on the Name
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NOTE_PRESUPPOSED | mizbeach_beit_el are READ without prior install (frozen gen_27's object, re-read across the wall) = altar-beit-to are READ without prior install (frozen gen-27's object, re-read across the wall) THE REVISIT OF AN INSTALLED OBJECT ACROSS A FROZEN WALL — the standalone machine reads it presupposed [standing calibration; flagged, not fixed]. Frozen gen_27 installed it: 'WORLD += {mizbeach_beit_el}' [install expr quoted verbatim]. The letter's own pointer is definite and double: HA-mizbeach ('THE altar'), asher-ASAH sham ba-rishonah ('which he had MADE there at the first') — and the verb DELTA is the letter's: 12:8 BUILT it (va-yiven, banah — the install class), 13:4 remembers it MADE (asah) — the build-verb at install, the make-verb at recall [letter fact, prose]. MIZBEACH token 5; BA-RISHONAH ('at the first') token 2 — 13:3-4 stack the corpus's first ba-techillah on its second rishonah-form: the return verse doubles its firstness [census, prose]. | מְקוֹם הַמִּזְבֵּחַ אֲשֶׁר־עָשָׂה שָׁם · meqom ha-mizbeach asher-asah sham = meqom altar which-make there | — | tested |
| EVENT | call(e3) ∧ Agent(e3, avram) ∧ Theme(e3, shem_YHWH) = call(e3) ∧ Agent(e3, avram) ∧ Theme(e3, shem-the-LORD) THE RETURN CALL — invocation, NOT naming: REGISTRY writes zero (gen_13's class via frozen gen_27, quoted: 'qara be-shem YHWH is invocation, not naming — gen_13's class'). The roster LANDS with frozen gen_27's own reviewer precision, quoted verbatim: 'the invocation formula's strict-adjacency census exact (4:26, 12:8, 26:25 adjacent; 13:4/21:33 are the sham-interposed variants, both LATER — "first named caller" holds on either reading; reviewer precision note).' THIS is 13:4 — the FIRST sham-interposed variant: va-yiqra SHAM avram be-shem ('called THERE ... on the name') — the adverb of place sits inside the formula because the PLACE is the point: the same caller, the same altar, the word 'there' wedged into the litany [staging's 'token 3' precised, flag 8c]. Onkelos: VE-TZALI ('and he PRAYED') — frozen gen_27's recorded policy ('renders the call-formula as PRAYER'), repeated for the same man at the same altar [dual-track]. | וַיִּקְרָא שָׁם אַבְרָם בְּשֵׁם יְהוָה · va-yiqra sham avram be-shem YHWH = and-yiqra there avram in-shem the-LORD | — | tested |
STEP_Gn_13_5 · Gen.13.5 · LOTS_HOLDINGS
וְגַם־לְלוֹט הַהֹלֵךְ אֶת־אַבְרָם הָיָה צֹאן־וּבָקָר וְאֹהָלִים · ve-gam-le-lot ha-holekh et-avram hayah tzon-u-vaqar ve-ohalim · [EN-AID/JPS] And Lot also, who went with Abram, had flocks, and herds, and tents.
LEFT
וגם־ללוט ההלך את־אברם · ve-gam-le-lot ha-holekh et-avram · and also to Lot, the one walking with Abram (etnachta arm)
וגם־ללוט ההלך את־אברם · ve-gam-le-lot ha-holekh et-avram · and also to Lot, the one walking with Abram (etnachta arm)
RIGHT
היה צאן־ובקר ואהלים · hayah tzon-u-vaqar ve-ohalim · there were flocks, herds, and TENTS — the verse ends on tents
היה צאן־ובקר ואהלים · hayah tzon-u-vaqar ve-ohalim · there were flocks, herds, and TENTS — the verse ends on tents
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ve_gam_le_lot_tzon_u_vaqar_ve_ohalim, t0) = HOLDS(and-also-to-lot-tzon-and-vaqar-and-ohalim, t0) Lot's estate held as fact — and it re-assembles a frozen machine token: gen_13's avi_yoshev_ohel_u_mikneh (4:20, Yaval 'father of tent-and-livestock dwellers'): tent and livestock, the nomad-kit's two words, now gathered around LOT (ohel token 7; miqneh tokens 3-4 follow at 13:7) [career, prose]. HA-HOLEKH ET-AVRAM ('the one WALKING with Abram') — Lot's whole identity is a participle of accompaniment; the et here is the companion-word gen_14's ledger used for Chanokh's walk [observation, prose]. Note the plural: ohalIM ('tents') — the uncle has a tent; the nephew has tents [letter fact]. | וְגַם־לְלוֹט ... הָיָה צֹאן־וּבָקָר וְאֹהָלִים · ve-gam-le-lot ... hayah tzon-u-vaqar ve-ohalim = and-also-to-lot was tzon-and-vaqar and-ohalim | — | tested |
STEP_Gn_13_6 · Gen.13.6 · THE_LAND_THAT_COULD_NOT_BEAR
וְלֹא־נָשָׂא אֹתָם הָאָרֶץ לָשֶׁבֶת יַחְדָּו כִּי־הָיָה רְכוּשָׁם רָב וְלֹא יָכְלוּ לָשֶׁבֶת יַחְדָּו · ve-lo-nasa otam ha-aretz la-shevet yachdav ki-hayah rekhusham rav ve-lo yakhlu la-shevet yachdav · [EN-AID/JPS] And the land was not able to bear them, that they might dwell together; for their substance was great, so that they could not dwell together.
LEFT
ולא־נשא אתם הארץ לשבת יחדו · ve-lo-nasa otam ha-aretz la-shevet yachdav · the land did not bear them to dwell together (etnachta arm ends on yachdav)
ולא־נשא אתם הארץ לשבת יחדו · ve-lo-nasa otam ha-aretz la-shevet yachdav · the land did not bear them to dwell together (etnachta arm ends on yachdav)
RIGHT
כי־היה רכושם רב ולא יכלו לשבת יחדו · ki-hayah rekhusham rav ve-lo yakhlu la-shevet yachdav · for their property was great — the together-clause repeats and the verse ends on yachdav again
כי־היה רכושם רב ולא יכלו לשבת יחדו · ki-hayah rekhusham rav ve-lo yakhlu la-shevet yachdav · for their property was great — the together-clause repeats and the verse ends on yachdav again
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(lo_nasa_otam_ha_aretz_la_shevet_yachdav, t0) ∧ HOLDS(ki_hayah_rekhusham_rav, t0) = HOLDS(not-nasa-otam-the-earth-to-shevet-yachdav, t0) ∧ HOLDS(when-was-rekhusham-rav, t0) LO-NASA OTAM HA-ARETZ ('the land did not BEAR them') — the land is the failing SUBJECT of the carry-verb: NASA token 3, and its first two tokens are Cain's 'my guilt is too great TO BEAR' (4:13) and the waters that LIFTED the ark (7:17) — unbearable guilt, bearing waters, and now ground that cannot carry two rich men [career, prose]. YACHDAV ('together') — TORAH DEBUT, twice in ONE verse, at BOTH rest and end: the verse is bracketed by the word it negates [tree fact]. YAKHOL ('be able') — TORAH DEBUT in the negative (its token 2, 13:16, will be the dust-dare's 'IF a man CAN count'); REKHUSH ('property') token 2 after gen_27's debut — the property-word does the pushing [letter fact: the cause-clause blames goods, not men]. | וְלֹא־נָשָׂא אֹתָם הָאָרֶץ ... כִּי־הָיָה רְכוּשָׁם רָב · ve-lo-nasa otam ha-aretz ... ki-hayah rekhusham rav = and-not-nasa otam earth when-was rekhusham rav | — | tested |
STEP_Gn_13_7 · Gen.13.7 · THE_STRIFE_AND_THE_WATCHING_LAND
וַיְהִי־רִיב בֵּין רֹעֵי מִקְנֵה־אַבְרָם וּבֵין רֹעֵי מִקְנֵה־לוֹט וְהַכְּנַעֲנִי וְהַפְּרִזִּי אָז יֹשֵׁב בָּאָרֶץ · va-yehi-riv bein roei miqneh-avram u-vein roei miqneh-lot ve-ha-kenaani ve-ha-perizi az yoshev ba-aretz · [EN-AID/JPS] And there was a strife between the herdmen of Abram's cattle and the herdmen of Lot's cattle. And the Canaanite and the Perizzite dwelt then in the land.
LEFT
ויהי־ריב בין רעי מקנה־אברם ובין רעי מקנה־לוט · va-yehi-riv bein roei miqneh-avram u-vein roei miqneh-lot · strife between the two herdsmen-camps (etnachta arm ends on Lot)
ויהי־ריב בין רעי מקנה־אברם ובין רעי מקנה־לוט · va-yehi-riv bein roei miqneh-avram u-vein roei miqneh-lot · strife between the two herdsmen-camps (etnachta arm ends on Lot)
RIGHT
והכנעני והפרזי אז ישב בארץ · ve-ha-kenaani ve-ha-perizi az yoshev ba-aretz · and the Canaanite and the Perizzite were then dwelling in the land
והכנעני והפרזי אז ישב בארץ · ve-ha-kenaani ve-ha-perizi az yoshev ba-aretz · and the Canaanite and the Perizzite were then dwelling in the land
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yehi_riv_bein_roei_miqneh_avram_u_vein_roei_miqneh_lot, t0) ∧ HOLDS(ve_ha_kenaani_ve_ha_perizi_az_yoshev_ba_aretz, t0) = HOLDS(and-yehi-riv-between-roei-miqneh-avram-and-vein-roei-miqneh-lot, t0) ∧ HOLDS(and-the-kenaani-and-the-perizi-az-yoshev-in-the-earth, t0) RIV ('quarrel') — TORAH DEBUT, and it belongs to the HERDSMEN, not the kin: the letter keeps the principals' hands clean [ROEH 'herdsman' tokens 1-4 ALL in-span: the shepherd-word is born quarreling]. The land-notice: AZ ('then') TOKEN 3 — frozen gen_27's roster LANDS, quoted verbatim: 'az ("then") token 2 at 12:6 (token 1 = 4:26 — both az-tokens sit beside qara-be-shem contexts; token 3 = 13:7, the twin Canaanite-notice)' [frozen prediction landed, marked — and the pattern holds a third time: this az too stands one verse from a qara-be-shem, 13:4]. THE PERIZZITE — TORAH DEBUT, and a NEGATIVE-SPACE find against frozen gen_24: the seventy-name table lists eleven Canaan rows and NO Perizzite — the land-notice pairs a table nation with a nation the table never counted [census; gen_24's border line quoted at the step: 'the Canaanite border pre-loads Sodom and the covenant's map' — and the Perizzite's token 2 is exactly there, 15:20's covenant list]. YOSHEV — the dwell-verb's token 7, SINGULAR participle for two peoples: the land already sits occupied while the kin cannot sit together [letter fact, same verb as 13:6's double la-shevet]. | וַיְהִי־רִיב ... וְהַכְּנַעֲנִי וְהַפְּרִזִּי אָז יֹשֵׁב בָּאָרֶץ · va-yehi-riv ... ve-ha-kenaani ve-ha-perizi az yoshev ba-aretz = and-yehi-riv and-the-kenaani and-the-perizi az yoshev earth | — | tested |
STEP_Gn_13_8 · Gen.13.8 · THE_PEACE_PLEA_WE_ARE_BROTHERS
וַיֹּאמֶר אַבְרָם אֶל־לוֹט אַל־נָא תְהִי מְרִיבָה בֵּינִי וּבֵינֶיךָ וּבֵין רֹעַי וּבֵין רֹעֶיךָ כִּי־אֲנָשִׁים אַחִים אֲנָחְנוּ · va-yomer avram el-lot al-na tehi merivah beini u-veinekha u-vein roai u-vein roekha ki-anashim achim anachnu · [EN-AID/JPS] And Abram said unto Lot: 'Let there be no strife, I pray thee, between me and thee, and between my herdmen and thy herdmen; for we are brethren.
LEFT
ויאמר אברם אל־לוט אל־נא תהי מריבה ביני וביניך ובין רעי ובין רעיך · va-yomer avram el-lot al-na tehi merivah beini u-veinekha u-vein roai u-vein roekha · no strife, please, between all four betweens (etnachta arm)
ויאמר אברם אל־לוט אל־נא תהי מריבה ביני וביניך ובין רעי ובין רעיך · va-yomer avram el-lot al-na tehi merivah beini u-veinekha u-vein roai u-vein roekha · no strife, please, between all four betweens (etnachta arm)
RIGHT
כי־אנשים אחים אנחנו · ki-anashim achim anachnu · for we are men, brothers — the verse ends on WE
כי־אנשים אחים אנחנו · ki-anashim achim anachnu · for we are men, brothers — the verse ends on WE
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e4) ∧ Agent(e4, avram) ∧ Goal(e4, lot) ABRAM'S SECOND RECORDED SPEECH [say-roster continued from frozen gen_28's census: 12:11 Abram to Sarai, 12:18 Pharaoh, now 13:8]: the first speech was fear, to his wife, at a border; the second is peace, to his kinsman, over land. He has still never answered God in words [cross-unit fact, prose]. | וַיֹּאמֶר אַבְרָם אֶל־לוֹט · va-yomer avram el-lot = and-yomer avram to-lot | — | tested |
| DECLARE | DECLARE(avram, LET-NOT(tehi(merivah, bein_avram_u_ven_lot))) = DECLARE(avram, LET-NOT(tehi(merivah, between-avram-and-ven-lot))) THE FIRST HUMAN LET-NOT [flag 4]: AL — the plea-negative particle's TORAH DEBUT, born in peace-making — with NA ('please', token 3: every na so far is Abram's) over TEHI, a JUSSIVE (HVqj3fs — the LET-NOT class's native coded mood; the class's prior issuers are all divine: gen_08's garden rule, gen_21's blood rule [class cited, TIR-034]). MERIVAH ('strife') — TORAH DEBUT; the noun's only other Torah tokens are the mei-merivat-Kadesh ('waters of strife') indictments (Num 27:14, Deut 32:51) [census; staging's Exod-17/Num-20 note corrected — lemma split, flag 8a]. The demand is pushed and NEVER popped: the letter narrates a parting, never a peace [OPEN at the wall]. | אַל־נָא תְהִי מְרִיבָה בֵּינִי וּבֵינֶיךָ · al-na tehi merivah beini u-veinekha = upon-na tehi merivah beini and-veinekha | TIR-034 | tested |
| PRECONDITION_STATE | HOLDS(ki_anashim_achim_anachnu, t0) = HOLDS(when-anashim-achim-anachnu, t0) The ground held as spoken fact: 'for we are men, BROTHERS' — ACH ('brother') token 15, and tokens 1-8 are ALL the Cain file (4:2-4:21): the corpus's brother-word learned its grammar in a fratricide, and its first use as a PEACE-ARGUMENT is here — uncle to nephew, brothers by claim, not census [career, prose]. ANACHNU ('WE') — the we-word's Torah debut, VERSE-FINAL on the silluq throne [tree fact]: the plea's last word is the plural it is trying to save. | כִּי־אֲנָשִׁים אַחִים אֲנָחְנוּ · ki-anashim achim anachnu = when-anashim achim anachnu | — | tested |
STEP_Gn_13_9 · Gen.13.9 · THE_OFFER_OF_THE_WHOLE_LAND
הֲלֹא כָל־הָאָרֶץ לְפָנֶיךָ הִפָּרֶד נָא מֵעָלָי אִם־הַשְּׂמֹאל וְאֵימִנָה וְאִם־הַיָּמִין וְאַשְׂמְאִילָה · ha-lo khol-ha-aretz lefanekha hipared na me-alai im-ha-semol ve-eminah ve-im-ha-yamin ve-asmilah · [EN-AID/JPS] Is not the whole land before thee? separate thyself, I pray thee, from me; if thou wilt take the left hand, then I will go to the right; or if thou take the right hand, then I will go to the left.'
LEFT
הלא כל־הארץ לפניך הפרד נא מעלי · ha-lo khol-ha-aretz lefanekha hipared na me-alai · is not the whole land before you? separate, please, from me (etnachta arm ends on me-alai)
הלא כל־הארץ לפניך הפרד נא מעלי · ha-lo khol-ha-aretz lefanekha hipared na me-alai · is not the whole land before you? separate, please, from me (etnachta arm ends on me-alai)
RIGHT
אם־השמאל ואימנה ואם־הימין ואשמאילה · im-ha-semol ve-eminah ve-im-ha-yamin ve-asmilah · left/right, right/left — the verse ends on the hapax 'I will go left'
אם־השמאל ואימנה ואם־הימין ואשמאילה · im-ha-semol ve-eminah ve-im-ha-yamin ve-asmilah · left/right, right/left — the verse ends on the hapax 'I will go left'
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ha_lo_khol_ha_aretz_lefanekha, t0) = HOLDS(the-not-all-the-earth-lefanekha, t0) The premise held as spoken fact: 'is not the WHOLE LAND before you?' — the man who holds a two-verse-old pledge to this land (frozen gen_27's le-zarakha etten, quoted at 13:15) offers its wholeness to his nephew's eyes first [letter fact; the tension is the letter's, held not resolved]. | הֲלֹא כָל־הָאָרֶץ לְפָנֶיךָ · ha-lo khol-ha-aretz lefanekha = the-not all-the-earth lefanekha | — | tested |
| DECLARE | DECLARE(avram, LET(hipared(lot, me_al_avram))) = DECLARE(avram, LET(hipared(lot, from-upon-avram))) The demand: HIPARED — NIPHAL IMPERATIVE (HVNv2ms; TIR-027, gen_13's human-issuer class, quoted: 'the FIRST HUMAN ENTRY IN THE DEMAND QUEUE (the issuer field carries lemekh; the queue is bookkeeping, not endorsement)') + NA ('please', token 4). PARAD ('separate') — the verb's token 4; TOKEN 1 IS EDEN'S RIVER (2:10, 'from there it PARTED into four heads'), tokens 2-3 the nations (10:5/10:32): the parting-verb waters a garden, divides the map, and now undoes a family — politely [career, prose]. Pushed; watch 13:11. | הִפָּרֶד נָא מֵעָלָי · hipared na me-alai = hipared na from-alai | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(im_ha_semol_ve_eminah_ve_im_ha_yamin_ve_asmilah, t0) = HOLDS(if-the-semol-and-eminah-and-if-the-yamin-and-asmilah, t0) The offer-halves held as spoken fact: TWO TORAH-HAPAX VERBS IN ONE BREATH — VE-EMINAH ('and I will go RIGHT', Strong 3231, its ONLY Torah token) and VE-ASMILAH ('and I will go LEFT', Strong 8041, its ONLY Torah token; staging's uncertain Strong number verified) — both HIPHIL COHORTATIVES (HC/Vhh1cs): self-directed volitives, not demands (gen_27's va-agadelah class — a 1cs coded form on a self-commitment takes no guard and pushes nothing); YAMIN ('right') and SEMOL ('left') both debut as their verbs' raw material. Abram coins two verbs the Torah never uses again, spends both on yielding, and the second sits VERSE-FINAL on the silluq [tree fact]. Onkelos erases the coinage: the pair becomes compass prepositions — 'if you to the NORTH, I to the SOUTH; if you to the SOUTH, I to the NORTH' (le-tzipuna/le-daroma) — body-relative directions flattened to map-absolute ones, the hapaxes untranslated as verbs [dual-track, find-class]. | אִם־הַשְּׂמֹאל וְאֵימִנָה וְאִם־הַיָּמִין וְאַשְׂמְאִילָה · im-ha-semol ve-eminah ve-im-ha-yamin ve-asmilah = if-the-semol and-eminah and-if-the-yamin and-asmilah | — | tested |
STEP_Gn_13_10 · Gen.13.10 · THE_EYES_LIFT_TOWARD_EDEN_GROUND
וַיִּשָּׂא־לוֹט אֶת־עֵינָיו וַיַּרְא אֶת־כָּל־כִּכַּר הַיַּרְדֵּן כִּי כֻלָּהּ מַשְׁקֶה לִפְנֵי שַׁחֵת יְהוָה אֶת־סְדֹם וְאֶת־עֲמֹרָה כְּגַן־יְהוָה כְּאֶרֶץ מִצְרַיִם בֹּאֲכָה צֹעַר · va-yisa-lot et-einav va-yar et-kol-kikar ha-yarden ki khulah mashqeh lifnei shachet YHWH et-sedom ve-et-amorah ke-gan-YHWH ke-eretz mitzrayim boakhah tzoar · [EN-AID/JPS] And Lot lifted up his eyes, and beheld all the plain of the Jordan, that it was well watered every where, before the LORD destroyed Sodom and Gomorrah, like the garden of the LORD, like the land of Egypt, as thou goest unto Zoar.
LEFT
וישא־לוט את־עיניו וירא את־כל־ככר הירדן כי כלה משקה · va-yisa-lot et-einav va-yar et-kol-kikar ha-yarden ki khulah mashqeh · Lot lifted his eyes and saw the whole watered plain (etnachta arm ends on mashqeh)
וישא־לוט את־עיניו וירא את־כל־ככר הירדן כי כלה משקה · va-yisa-lot et-einav va-yar et-kol-kikar ha-yarden ki khulah mashqeh · Lot lifted his eyes and saw the whole watered plain (etnachta arm ends on mashqeh)
RIGHT
לפני שחת יהוה את־סדם ואת־עמרה כגן־יהוה כארץ מצרים באכה צער · lifnei shachet YHWH et-sedom ve-et-amorah ke-gan-YHWH ke-eretz mitzrayim boakhah tzoar · before YHWH destroyed Sodom — like the garden of YHWH, like Egypt — the verse ends on Tzoar
לפני שחת יהוה את־סדם ואת־עמרה כגן־יהוה כארץ מצרים באכה צער · lifnei shachet YHWH et-sedom ve-et-amorah ke-gan-YHWH ke-eretz mitzrayim boakhah tzoar · before YHWH destroyed Sodom — like the garden of YHWH, like Egypt — the verse ends on Tzoar
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | lift_eyes(e5) ∧ Agent(e5, lot) ∧ Theme(e5, einav) = lift-eyes(e5) ∧ Agent(e5, lot) ∧ Theme(e5, einav) THE NASA-EYES ('lift eyes') IDIOM'S TORAH DEBUT [census: no earlier nasa+einayim pairing exists in the corpus] — Lot lifts his own eyes, SELF-directed; the idiom's token 2 is 13:14, where GOD commands the same gesture to Abram AFTER the separation [letter pair, held at both steps]; tokens 3-4 are Abraham's own liftings (18:2 Mamre, 22:4 Moriah) [career, prose]. NASA itself is token 4 — the verse before, the LAND could not carry; now the eyes do the lifting [same-verb observation, prose]. | וַיִּשָּׂא־לוֹט אֶת־עֵינָיו · va-yisa-lot et-einav = and-yisa-lot einav | TIR-014 | tested |
| EVENT | see(e6) ∧ Agent(e6, lot) ∧ Theme(e6, kol_kikar_ha_yarden) = see(e6) ∧ Agent(e6, lot) ∧ Theme(e6, all-kikar-the-yarden) Seeing WITHOUT judging — no TEST: none of the roster's instruments appears (tov/shaah/tzaddik/nichoach ['good/regard/righteous/pleasing'] all absent — gen_19/ gen_25/gen_28's discipline) [class held]. KIKAR ('plain, round district') — TORAH DEBUT x3 in-span; its NEXT three tokens are 19:17/19:25/19:28, the overthrow verses: the plain-word's whole early career is chosen, then burned [career, prose]. HA-YARDEN ('the Jordan') — TORAH DEBUT. | וַיַּרְא אֶת־כָּל־כִּכַּר הַיַּרְדֵּן · va-yar et-kol-kikar ha-yarden = and-yar all-kikar the-yarden | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(ki_khulah_mashqeh_lifnei_shachet_YHWH_et_sedom_ve_et_amorah, t0) = HOLDS(when-khulah-mashqeh-lifnei-shachet-the-LORD-sedom-and-amorah, t0) The narrator's clause held as fact, with THREE careers crossing in it: (1) MASHQEH ('well-watered') — TORAH DEBUT; (2) the PROLEPTIC DESTRUCTION — LIFNEI SHACHET YHWH ('before YHWH's destroying'): SHACHAT token 8, and tokens 6-7 are the never-again clauses (9:11/9:15 — frozen gen_22 recorded 'the flood's verb survives only inside never-again'): its first token AFTER never-again aims at Sodom — not a flood, and not yet: the letter timestamps the view by a catastrophe six chapters away [cross-unit arc, prose, nothing fires]; (3) KE-GAN-YHWH ('like the GARDEN of YHWH') — GAN token 14, and tokens 1-13 are ALL Eden: the garden-word's first step outside Eden is a simile for Sodom's plain, and its ONLY other Torah token (Deut 11:10) compares EGYPT — this one verse holds both comparanda in one breath (ke-gan-YHWH, ke-eretz mitzrayim) [census, prose]. BOAKHAH TZOAR ('as you come toward Tzoar') — frozen gen_24's border idiom (10:19's boakha Sedomah, quoted: 'the Canaanite border pre-loads Sodom and the covenant's map'), and the idiom's next token is 19:22 — Tzoar REACHED, by Lot, fleeing [career, prose]. Onkelos keeps the garden (ke-GINTA da-YHWH) and nominalizes the destroying (kodam CHABALUT YHWH, 'before the DESTRUCTION of YHWH') [dual-track]. | כִּי כֻלָּהּ מַשְׁקֶה לִפְנֵי שַׁחֵת יְהוָה אֶת־סְדֹם וְאֶת־עֲמֹרָה כְּגַן־יְהוָה כְּאֶרֶץ מִצְרַיִם · ki khulah mashqeh lifnei shachet YHWH et-sedom ve-et-amorah ke-gan-YHWH ke-eretz mitzrayim = when khulah mashqeh lifnei shachet the-LORD sedom and-amorah like-garden-the-LORD earth mitzrayim | — | tested |
| NOTE_PRESUPPOSED | ha_yarden, sedom, amora, tzoar are READ without prior install (known geography) = the-yarden, sedom, amora, tzoar are READ without prior install (known geography) flag, not fix (Sodom token 2 — token 1 is frozen gen_24's border verse; Gomorrah token 2; Tzoar debut; the Jordan debut) | — | — | tested |
STEP_Gn_13_11 · Gen.13.11 · THE_CHOICE_AND_THE_SEPARATION
וַיִּבְחַר־לוֹ לוֹט אֵת כָּל־כִּכַּר הַיַּרְדֵּן וַיִּסַּע לוֹט מִקֶּדֶם וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו · va-yivchar-lo lot et kol-kikar ha-yarden va-yisa lot mi-qedem va-yipardu ish me-al achiv · [EN-AID/JPS] So Lot chose him all the plain of the Jordan; and Lot journeyed east; and they separated themselves the one from the other.
LEFT
ויבחר־לו לוט את כל־ככר הירדן ויסע לוט מקדם · va-yivchar-lo lot et kol-kikar ha-yarden va-yisa lot mi-qedem · Lot chose the whole plain and journeyed from the east (etnachta arm ends on mi-qedem)
ויבחר־לו לוט את כל־ככר הירדן ויסע לוט מקדם · va-yivchar-lo lot et kol-kikar ha-yarden va-yisa lot mi-qedem · Lot chose the whole plain and journeyed from the east (etnachta arm ends on mi-qedem)
RIGHT
ויפרדו איש מעל אחיו · va-yipardu ish me-al achiv · and they separated, each from his brother — the verse ends on 'his brother'
ויפרדו איש מעל אחיו · va-yipardu ish me-al achiv · and they separated, each from his brother — the verse ends on 'his brother'
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | choose(e7) ∧ Agent(e7, lot) ∧ Theme(e7, kol_kikar_ha_yarden) = choose(e7) ∧ Agent(e7, lot) ∧ Theme(e7, all-kikar-the-yarden) BACHAR ('choose') — TOKEN 2, and token 1 is 6:2: the sons of God SAW that the daughters were fair and CHOSE; Lot SAW that the plain was watered and CHOSE — the choose-verb's first two tokens both run on a seeing of goodness, both reflexive-dative (lahem / LO, 'for himself') [career census, prose; GLOSS_FIX flag: DB glosses bachar 'try']. He chooses KOL ('ALL') the plain — the offer said 'the whole land is before you'; he takes the wholeness at its word [letter fact]. | וַיִּבְחַר־לוֹ לוֹט אֵת כָּל־כִּכַּר הַיַּרְדֵּן · va-yivchar-lo lot et kol-kikar ha-yarden = and-yivchar-not lot et all-kikar the-yarden | — | tested |
| EVENT | journey(e8) ∧ Agent(e8, lot) ∧ Goal(e8, mi_qedem) = journey(e8) ∧ Agent(e8, lot) ∧ Goal(e8, from-qedem) NASA ('journey') — the pull-up-stakes verb; MI-QEDEM ('from the east / eastward') — the direction-word of the garden's gate (3:24), Cain's Nod (4:16), and Babel's plain (11:2): the eastward file gains its quietest entry [career, prose only — the letter passes no comment]. | וַיִּסַּע לוֹט מִקֶּדֶם · va-yisa lot mi-qedem = and-yisa lot from-qedem | TIR-014 | tested |
| RESULT | RESULT: HOLDS(hipared(lot, me_al_avram), t1) = RESULT: HOLDS(hipared(lot, from-upon-avram), t1) THE FIRST RECEIPTED HUMAN DEMAND IN THE CORPUS — SETTLED CYCLE #7 CLAIMED [flag 3; numbering for main-loop ratification]. The receipt is in the demand's OWN grammar: 13:9 demanded HIPARED ... ME-alai (niphal imperative + me-al); 13:11 delivers VA-YIPARDU ... ME-AL achiv (same verb, same niphal stem, same preposition) — and 13:14's narrator timestamp achare hipared-lot ('after the separating of Lot') will repeat it a third time, inside the divine speech's frame [no ka-asher formula: the countersignature here is verb-identity, not the gen_17 citation-class — delta named, flagged]. Every prior human demand stands open (gen_13's shema; gen_28's three) [counterexample hunt run]. The popped queue leaves the LET-NOT standing: they parted; no verse says the strife died [letter-honest]. ISH ME-AL ACHIV ('each from his BROTHER') — ach token 16, verse-final [tree fact]: the word the plea leaned on (13:8's achim) is the word the parting is measured in. | וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו · va-yipardu ish me-al achiv = and-yipardu man from-upon his-brother | TIR-028 | tested |
STEP_Gn_13_12 · Gen.13.12 · THE_TWO_SETTLINGS
אַבְרָם יָשַׁב בְּאֶרֶץ־כְּנָעַן וְלוֹט יָשַׁב בְּעָרֵי הַכִּכָּר וַיֶּאֱהַל עַד־סְדֹם · avram yashav be-eretz-kenaan ve-lot yashav be-arei ha-kikar va-yeehal ad-sedom · [EN-AID/JPS] Abram dwelt in the land of Canaan, and Lot dwelt in the cities of the Plain, and moved his tent as far as Sodom.
LEFT
אברם ישב בארץ־כנען · avram yashav be-eretz-kenaan · Abram dwelt in the land of Canaan (etnachta arm)
אברם ישב בארץ־כנען · avram yashav be-eretz-kenaan · Abram dwelt in the land of Canaan (etnachta arm)
RIGHT
ולוט ישב בערי הככר ויאהל עד־סדם · ve-lot yashav be-arei ha-kikar va-yeehal ad-sedom · Lot dwelt in the plain-cities and tented as far as Sodom — the verse ends on Sodom
ולוט ישב בערי הככר ויאהל עד־סדם · ve-lot yashav be-arei ha-kikar va-yeehal ad-sedom · Lot dwelt in the plain-cities and tented as far as Sodom — the verse ends on Sodom
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | dwell(e9) ∧ Agent(e9, avram) ∧ Goal(e9, eretz_kenaan) = dwell(e9) ∧ Agent(e9, avram) ∧ Goal(e9, earth-kenaan) The verse is a mirrored PERFECT pair — subject fronted, yashav/yashav ('dwelt/dwelt'): one grammar, two addresses [letter symmetry, held]. The dwell-verb runs tokens 5-10 IN-SPAN — six tokens, the corpus's densest dwell-field: the verse-pair splits what 13:6's double la-shevet yachdav ('to dwell together') declared impossible [census]. | אַבְרָם יָשַׁב בְּאֶרֶץ־כְּנָעַן · avram yashav be-eretz-kenaan = avram yashav in-earth-kenaan | TIR-014 | tested |
| EVENT | dwell(e10) ∧ Agent(e10, lot) ∧ Goal(e10, arei_ha_kikar) = dwell(e10) ∧ Agent(e10, lot) ∧ Goal(e10, arei-the-kikar) Lot's address is PLURAL and urban: 'the CITIES of the plain' — the man of tents (13:5's ohalIM) takes cities the letter has already scheduled [prose]. | וְלוֹט יָשַׁב בְּעָרֵי הַכִּכָּר · ve-lot yashav be-arei ha-kikar = and-lot yashav in-arei the-kikar | TIR-014 | tested |
| EVENT | tent(e11) ∧ Agent(e11, lot) ∧ Goal(e11, ad_sedom) = tent(e11) ∧ Agent(e11, lot) ∧ Goal(e11, until-sedom) VA-YEEHAL ('and he TENTED') — AHAL, the tent-noun turned verb: TOKEN 1 OF EXACTLY 2 in the whole Torah, and BOTH are in this unit — Lot tents toward Sodom here, Abram tents toward Hebron at 13:18: one verb, coined and finished in one chapter, one token per parted man, each pointed at his ending [census; the symmetry is the letter's]. AD-SEDOM ('as far as SODOM') — verse-final [tree fact]; the ad ('until')-word's in-span run: until Beit-El (13:3), until Sodom (13:12), until FOREVER (13:15) [letter ladder, census]. | וַיֶּאֱהַל עַד־סְדֹם · va-yeehal ad-sedom = and-yeehal until-sedom | TIR-014 | tested |
| NOTE_PRESUPPOSED | eretz_kenaan are READ without prior install (known geography) = earth-kenaan are READ without prior install (known geography) flag, not fix (the land of Canaan — read by gen_26/gen_27 too; standalone machine) | — | — | tested |
STEP_Gn_13_13 · Gen.13.13 · THE_SODOM_VERDICT
וְאַנְשֵׁי סְדֹם רָעִים וְחַטָּאִים לַיהוָה מְאֹד · ve-anshei sedom raim ve-chataim la-YHWH meod · [EN-AID/JPS] Now the men of Sodom were wicked and sinners against the LORD exceedingly.
LEFT
ואנשי סדם רעים וחטאים · ve-anshei sedom raim ve-chataim · the men of Sodom: evil and sinners (etnachta arm)
ואנשי סדם רעים וחטאים · ve-anshei sedom raim ve-chataim · the men of Sodom: evil and sinners (etnachta arm)
RIGHT
ליהוה מאד · la-YHWH meod · against YHWH, exceedingly — the verse ends on meod
ליהוה מאד · la-YHWH meod · against YHWH, exceedingly — the verse ends on meod
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ve_anshei_sedom_raim_ve_chataim_la_YHWH_meod, t0) = HOLDS(and-men-of-sedom-raim-and-chataim-to-the-LORD-very, t0) A NARRATOR VERDICT WITH NO TEST [flag 10]: no divine seeing, no roster instrument (tov/shaah/tzaddik/nichoach all absent) — the machine holds the sentence as standing fact and judges nothing (gen_19/gen_25/gen_28's seeing-without-judging discipline; the wordless-plague class). CHATAIM ('sinners') — TORAH DEBUT of the sinner-ADJECTIVE, and its whole Torah career is three crowds: Sodom's men, Korach's censer-bearers (Num 17:3), the spies' brood (Num 32:14) [census, prose]. RAIM ('evil ones') — the ra-word of the knowledge-tree, plural, on a population [career, prose]. LA-YHWH — the sin is filed AGAINST a name, not a neighbor [letter fact]. MEOD ('exceedingly') — the span's SECOND and last meod, verse-final: 13:2 weighed the wealth very; 13:13 weighs the sin very — the two superlatives of the chapter hang on riches and wickedness [census bracket, tree fact]. Onkelos ITEMIZES what the letter leaves bare [the unit's Tier-A headline]: bishin BE-MAMONHON ve-chayavin BI-GVIYAT-HON — 'evil WITH THEIR MONEY and guilty WITH THEIR BODIES' — two adjectives become two charge-domains, plus kodam-distancing ('before YHWH') [dual-track, flagged]. | וְאַנְשֵׁי סְדֹם רָעִים וְחַטָּאִים לַיהוָה מְאֹד · ve-anshei sedom raim ve-chataim la-YHWH meod = men-of sedom raim and-chataim to-the-LORD very | — | tested |
STEP_Gn_13_14 · Gen.13.14 · THE_SPEECH_AFTER_THE_SEPARATING
וַיהוָה אָמַר אֶל־אַבְרָם אַחֲרֵי הִפָּרֶד־לוֹט מֵעִמּוֹ שָׂא נָא עֵינֶיךָ וּרְאֵה מִן־הַמָּקוֹם אֲשֶׁר־אַתָּה שָׁם צָפֹנָה וָנֶגְבָּה וָקֵדְמָה וָיָמָּה · va-YHWH amar el-avram acharei hipared-lot me-imo sa na einekha u-ree min-ha-maqom asher-atah sham tzafonah va-negbah va-qedmah va-yamah · [EN-AID/JPS] And the LORD said unto Abram, after that Lot was separated from him: 'Lift up now thine eyes, and look from the place where thou art, northward and southward and eastward and westward;
LEFT
ויהוה אמר אל־אברם אחרי הפרד־לוט מעמו שא נא עיניך וראה מן־המקום אשר־אתה שם · va-YHWH amar el-avram acharei hipared-lot me-imo sa na einekha u-ree min-ha-maqom asher-atah sham · YHWH said, after the separating: lift your eyes and see from where you are (etnachta arm)
ויהוה אמר אל־אברם אחרי הפרד־לוט מעמו שא נא עיניך וראה מן־המקום אשר־אתה שם · va-YHWH amar el-avram acharei hipared-lot me-imo sa na einekha u-ree min-ha-maqom asher-atah sham · YHWH said, after the separating: lift your eyes and see from where you are (etnachta arm)
RIGHT
צפנה ונגבה וקדמה וימה · tzafonah va-negbah va-qedmah va-yamah · north, south, east, seaward — the verse ends on the fourth direction
צפנה ונגבה וקדמה וימה · tzafonah va-negbah va-qedmah va-yamah · north, south, east, seaward — the verse ends on the fourth direction
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e12) ∧ Agent(e12, YHWH) ∧ Goal(e12, avram) = say(e12) ∧ Agent(e12, the-LORD) ∧ Goal(e12, avram) A MARKED OPENING: VA-YHWH AMAR — subject-fronted PERFECT (HVqp3ms), the corpus's first narrative say-opening with the SUBJECT before the verb [census 1:1-13:13: the only prior narrative perfect openings are 3:16 (el-ha-ishah amar) and 3:17 (u-le-adam amar) — the sentencing scene, which fronts the ADDRESSEE; here the speaker is fronted]. And the letter TIMESTAMPS the speech with the settled demand's own verb: ACHAREI HIPARED-LOT ('after the separating of Lot') — parad token 6, the receipt's third appearance [the countersignature in narrative time: God speaks only after the parting is grammar]. This is YHWH's third speech to Abram (12:1, 12:7, here) — and Abram has still never answered in words [say-roster, prose]. | וַיהוָה אָמַר אֶל־אַבְרָם אַחֲרֵי הִפָּרֶד־לוֹט מֵעִמּוֹ · va-YHWH amar el-avram acharei hipared-lot me-imo = and-the-LORD amar to-avram acharei hipared-lot from-imo | TIR-014 | tested |
| DECLARE | DECLARE(YHWH, LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah))) = DECLARE(the-LORD, LET(sa-and-ree(avram, tzafonah-and-negbah-and-qedmah-and-yamah))) SA + U-REE — two TRUE IMPERATIVES (HVqv2ms; TIR-027, gen_16's divine-imperative class via frozen gen_27's note, quoted: 'ASEH — imperative (TIR-027), and a corpus first: the divine imperative mood aimed at a NAMED INDIVIDUAL'), packaged as ONE demand — one breath, one object-field [flag 5] — WITH NA ('please', token 5: the particle Abram debuted now aimed back at him, its first divine use) [census, prose]. The command is the idiom's TOKEN 2: what Lot did to himself unbidden (13:10), Abram is commanded to do — same eyes-lift, four compass suffixes instead of one watered circle; TZAFONAH ('northward') — TORAH DEBUT of the north-word [the direction-heh suffix x4; the verse ENDS on the fourth, va-yamah 'seaward'] [tree fact]. NO receipt is narrated anywhere in-span: no verse says Abram lifted his eyes or saw [the demand stands OPEN at the wall — gen_28's letter-arithmetic; flag 6]. | שָׂא נָא עֵינֶיךָ וּרְאֵה ... צָפֹנָה וָנֶגְבָּה וָקֵדְמָה וָיָמָּה · sa na einekha u-ree ... tzafonah va-negbah va-qedmah va-yamah = sa na einekha and-ree tzafonah and-negbah and-qedmah and-yamah | TIR-027 | tested |
STEP_Gn_13_15 · Gen.13.15 · THE_GIFT_FOREVER
כִּי אֶת־כָּל־הָאָרֶץ אֲשֶׁר־אַתָּה רֹאֶה לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ עַד־עוֹלָם · ki et-kol-ha-aretz asher-atah roeh lekha etnenah u-le-zarakha ad-olam · [EN-AID/JPS] for all the land which thou seest, to thee will I give it, and to thy seed for ever.
LEFT
כי את־כל־הארץ אשר־אתה ראה לך אתננה · ki et-kol-ha-aretz asher-atah roeh lekha etnenah · all the land you are seeing — to you I will give it (the etnachta rests ON etnenah)
כי את־כל־הארץ אשר־אתה ראה לך אתננה · ki et-kol-ha-aretz asher-atah roeh lekha etnenah · all the land you are seeing — to you I will give it (the etnachta rests ON etnenah)
RIGHT
ולזרעך עד־עולם · u-le-zarakha ad-olam · and to your seed, forever — the verse ends on ad-olam
ולזרעך עד־עולם · u-le-zarakha ad-olam · and to your seed, forever — the verse ends on ad-olam
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(et_kol_ha_aretz_asher_ata_roeh_lekha_etnenah, t0) ∧ HOLDS(u_le_zarakha_ad_olam, t0) = HOLDS(all-the-earth-which-ata-shepherd-to-you-etnenah, t0) ∧ HOLDS(and-to-zarakha-until-olam, t0) THE UNIT'S BOLDEST CALL [flag 1 — main loop ratifies or reverses]: held as a promise-FACT PAIR, not INVARIANT, though THE PERPETUITY FORMULA ENTERS THE LAND-PLEDGE FOR THE FIRST TIME HERE. The weigh, in full: frozen gen_27 ruled 12:7's etten a FACT because 'these are coded-imperfect promises with no duration clause; choice flagged' [quoted] — a duration clause is now PRESENT, so the ruling reopens. AGAINST INVARIANT: frozen gen_20's class law, quoted — 'a perpetual negation with no possible execution receipt is not a demand — nothing can ever pop never-again; the INVARIANT class carries it'; frozen gen_21's extension, quoted — 'a perpetual per-case commitment with no single execution event: never-again's twin, I-will-always.' 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); AD-OLAM modifies the TENURE ('to you AND to your seed'), not the act. AND the closest frozen analogue: gen_22 held 9:12's giving-WITH-perpetuity as fact — 'HOLDS(ani_noten_beini_u_veineikhem_le_dorot_olam, t1)' [expr quoted verbatim]. THE LETTER FACTS: OLAM ('forever') token 6 — after Eden's live-forever (3:22), the 120-year limit (6:3), the men of old (6:4), and the covenant pair (9:12, 9:16) — and this is the corpus's FIRST AD-OLAM ('UNTIL forever'): the span's own ad ('until') ran Beit-El, Sodom — places — and now runs out of places [census ladder]. ETNENAH — natan's ('give') first OBJECT-SUFFIXED form: 'I will give IT' — 12:7's bare etten gains a pronoun the moment the land is SEEN (asher-atah ROEH, participle: 'that you ARE seeing' — the gift indexed to a seeing not yet narrated) [morph census]. The RECIPIENT EXPANDS: 12:7 was seed-only (le-zarakha etten); now LEKHA ('to YOU') stands first, the seed second — the promisee enters his own grant [delta vs frozen gen_27, named]. TREE THRONES: the verse RESTS on etnenah and ENDS on ad-olam — gift at the etnachta, forever on the silluq [tree fact]. Onkelos: AD ALAM — kept exactly; u-le-zarakha -> ve-li-vnakh ('and to your SONS') — seed concretized [dual-track]. | כִּי אֶת־כָּל־הָאָרֶץ אֲשֶׁר־אַתָּה רֹאֶה לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ עַד־עוֹלָם · ki et-kol-ha-aretz asher-atah roeh lekha etnenah u-le-zarakha ad-olam = when all-the-earth which-you shepherd to-you etnenah and-to-zarakha until-olam | — | tested |
STEP_Gn_13_16 · Gen.13.16 · THE_DUST_MEASURE
וְשַׂמְתִּי אֶת־זַרְעֲךָ כַּעֲפַר הָאָרֶץ אֲשֶׁר אִם־יוּכַל אִישׁ לִמְנוֹת אֶת־עֲפַר הָאָרֶץ גַּם־זַרְעֲךָ יִמָּנֶה · ve-samti et-zarakha ka-afar ha-aretz asher im-yukhal ish limnot et-afar ha-aretz gam-zarakha yimaneh · [EN-AID/JPS] And I will make thy seed as the dust of the earth; so that if a man can number the dust of the earth, then shall thy seed also be numbered.
LEFT
ושמתי את־זרעך כעפר הארץ · ve-samti et-zarakha ka-afar ha-aretz · I will make your seed as the dust of the earth (etnachta arm)
ושמתי את־זרעך כעפר הארץ · ve-samti et-zarakha ka-afar ha-aretz · I will make your seed as the dust of the earth (etnachta arm)
RIGHT
אשר אם־יוכל איש למנות את־עפר הארץ גם־זרעך ימנה · asher im-yukhal ish limnot et-afar ha-aretz gam-zarakha yimaneh · if a man can count the dust — your seed too will be counted; the verse ends on yimaneh
אשר אם־יוכל איש למנות את־עפר הארץ גם־זרעך ימנה · asher im-yukhal ish limnot et-afar ha-aretz gam-zarakha yimaneh · if a man can count the dust — your seed too will be counted; the verse ends on yimaneh
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ve_samti_et_zarakha_ka_afar_ha_aretz, t0) ∧ HOLDS(im_yukhal_ish_limnot_gam_zarakha_yimaneh, t0) = HOLDS(and-samti-zarakha-like-afar-the-earth, t0) ∧ HOLDS(if-yukhal-man-limnot-also-zarakha-yimaneh, t0) The dust-facts, held (VE-SAMTI — coded weqatal self-commitment, promise-fact class; no event fires). AFAR ('dust') tokens 5-6 — after 2:7 (the human formed OF it), 3:14 (the serpent sentenced to EAT it), 3:19 x2 (dust you are, to dust you return): the death-sentence word becomes the FERTILITY MEASURE — the seed counted in the stuff the body returns to [career, prose; token 7 is 18:27's 'I am dust and ashes', Abram pricing himself in his own promise's currency — named-only]. MANAH ('count') — TORAH DEBUT x2, and the verb's ONLY other Torah token is Num 23:10: MI MANAH AFAR YAAKOV ('who has COUNTED the DUST of Jacob') — Bilam answers this verse's dare in its own two words: ALL THREE Torah tokens of the count-verb count dust-seed [census, prose; GLOSS_FIX flag: DB glosses manah 'weigh-out']. The conditional's shape: IM-YUKHAL ISH ('IF a man CAN') — yakhol token 2, and token 1 was 13:6's 'they could NOT dwell together': the able-word's first two tokens measure a land too small for two men, then a promise too large for arithmetic [letter pair, census]. Onkelos flips the dare into a verdict: kema di LA EFSHAR ('just as it is NOT POSSIBLE to count ... so your sons will not be counted') — the letter's open IF closed by the buffer [dual-track]. | וְשַׂמְתִּי אֶת־זַרְעֲךָ כַּעֲפַר הָאָרֶץ ... גַּם־זַרְעֲךָ יִמָּנֶה · ve-samti et-zarakha ka-afar ha-aretz ... gam-zarakha yimaneh = and-samti zarakha like-afar earth also-zarakha yimaneh | — | tested |
STEP_Gn_13_17 · Gen.13.17 · THE_WALK_COMMAND
קוּם הִתְהַלֵּךְ בָּאָרֶץ לְאָרְכָּהּ וּלְרָחְבָּהּ כִּי לְךָ אֶתְּנֶנָּה · qum hithalekh ba-aretz le-arkah u-le-rachbah ki lekha etnenah · [EN-AID/JPS] Arise, walk through the land in the length of it and in the breadth of it; for unto thee will I give it.'
LEFT
קום התהלך בארץ לארכה ולרחבה · qum hithalekh ba-aretz le-arkah u-le-rachbah · arise, walk the land, its length and its breadth (etnachta arm)
קום התהלך בארץ לארכה ולרחבה · qum hithalekh ba-aretz le-arkah u-le-rachbah · arise, walk the land, its length and its breadth (etnachta arm)
RIGHT
כי לך אתננה · ki lekha etnenah · for to you I will give it — the speech's last word is etnenah, on the silluq
כי לך אתננה · ki lekha etnenah · for to you I will give it — the speech's last word is etnenah, on the silluq
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(YHWH, LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah))) = DECLARE(the-LORD, LET(qum-walked-about(avram, in-the-earth-to-arkah-and-to-rachbah))) QUM + HITHALEKH — two TRUE IMPERATIVES (HVqv2ms + HVtv2ms; TIR-027), packaged as one demand [flag 5]. HITHALEKH — the hitpael (reflexive-stem) walk-verb, and THE PRECISION NOTE [flag 2]: frozen gen_14's career line, quoted verbatim — 'The walk-thread: 3:8 God walks the garden ALONE at the wind of the day; here a man walks WITH Him; 6:9 Noach; 17:1 the imperative to Abram.' The full stem census [this session]: 3:8, 5:22, 5:24, 6:9, 13:17, 17:1, 24:40, 48:15 (+ three law tokens) — 13:17 IS the stem's first imperative token, PRECEDING 17:1; but gen_14's thread tracks the COMPANIONSHIP valence (with/before God — et-ha-Elohim, lifanai, lifnei: 5:22/5:24, 6:9, 17:1, 24:40, 48:15), and THIS imperative's object is THE LAND (ba-aretz), not the Presence: the first walk-command is a SURVEY, the second (17:1) a companionship — same stem, different valence; gen_14's line is imprecise by omission, not wrong [precision note in prose; NO amend recommended; owner may overrule]. LE-ARKAH U-LE-RACHBAH ('its LENGTH and its BREADTH') — the dimension-pair of the ark's spec (gen_16's orekh/rochav) now applied to a LAND with no cubit numbers [career, prose; the walk-as-title-act (chazakah) reading is the chain's, named-only]. NO receipt in-span: 13:18's verbs are tent/come/dwell/build, not qum/hithalekh — the demand stands OPEN at the wall [flag 6; gen_28's letter-arithmetic followed]. | קוּם הִתְהַלֵּךְ בָּאָרֶץ לְאָרְכָּהּ וּלְרָחְבָּהּ · qum hithalekh ba-aretz le-arkah u-le-rachbah = qum walked-about earth to-arkah and-to-rachbah | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(ki_lekha_etnenah, t0) = HOLDS(when-to-you-etnenah, t0) The ground-clause held: ETNENAH AGAIN — the identical object-suffixed form, and the divine speech's LAST WORD, seated on the silluq [tree fact]: the speech opens its pledge at 13:15's etnachta and closes the whole utterance on the same word — 'I will give IT' is both the promise's rest and its end. This second token is recipient-narrowed: lekha alone, no seed-clause, no forever — the walking man himself is the reason for the walk [letter fact; the FACT-vs-INVARIANT weigh of flag 1 covers both tokens]. | כִּי לְךָ אֶתְּנֶנָּה · ki lekha etnenah = when to-you etnenah | — | tested |
STEP_Gn_13_18 · Gen.13.18 · THE_HEBRON_ALTAR
וַיֶּאֱהַל אַבְרָם וַיָּבֹא וַיֵּשֶׁב בְּאֵלֹנֵי מַמְרֵא אֲשֶׁר בְּחֶבְרוֹן וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה · va-yeehal avram va-yavo va-yeshev be-elonei mamre asher be-chevron va-yiven-sham mizbeach la-YHWH · [EN-AID/JPS] And Abram moved his tent, and came and dwelt by the terebinths of Mamre, which are in Hebron, and built there an altar unto the LORD.
LEFT
ויאהל אברם ויבא וישב באלני ממרא אשר בחברון · va-yeehal avram va-yavo va-yeshev be-elonei mamre asher be-chevron · Abram tented, came, and dwelt at the terebinths of Mamre in Hebron (etnachta arm)
ויאהל אברם ויבא וישב באלני ממרא אשר בחברון · va-yeehal avram va-yavo va-yeshev be-elonei mamre asher be-chevron · Abram tented, came, and dwelt at the terebinths of Mamre in Hebron (etnachta arm)
RIGHT
ויבן־שם מזבח ליהוה · va-yiven-sham mizbeach la-YHWH · and built there an altar to YHWH — the verse ends on the Name
ויבן־שם מזבח ליהוה · va-yiven-sham mizbeach la-YHWH · and built there an altar to YHWH — the verse ends on the Name
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | tent(e13) ∧ Agent(e13, avram) ∧ Goal(e13, elonei_mamre) = tent(e13) ∧ Agent(e13, avram) ∧ Goal(e13, elonei-mamre) AHAL token 2 OF 2 — the tent-verb's whole Torah career closes inside this unit: Lot tented toward Sodom (13:12), Abram tents toward Hebron — the two parted men get one token each of a verb no one else will ever use [census; the letter's own symmetry, prose]. | וַיֶּאֱהַל אַבְרָם · va-yeehal avram = and-yeehal avram | TIR-014 | tested |
| EVENT | come(e14) ∧ Agent(e14, avram) ∧ Goal(e14, chevron) The come-verb lands him at ELONEI MAMRE ('the terebinths of Mamre') in CHEVRON — both TORAH DEBUTS [Mamre's next tokens are the war chapter's ally-verses 14:13/14:24 and 18:1's theophany; Chevron's token 2 is 23:2 — Sarah's death and the burial purchase: the dwelling-place debuts already pointing at its grave-plot, named-only, prose]. | וַיָּבֹא · va-yavo = and-yavo | TIR-014 | tested |
| EVENT | dwell(e15) ∧ Agent(e15, avram) ∧ Goal(e15, elonei_mamre) = dwell(e15) ∧ Agent(e15, avram) ∧ Goal(e15, elonei-mamre) YASHAV token 10 — the span's sixth and last dwell-token: the field that opened with 'could not dwell TOGETHER' closes with each man dwelt, apart [census symmetry, prose]. Onkelos: the terebinths become PLAINS (meishrei Mamre) — the tree-site de-arborized, the buffer's standing tree-shyness [dual-track]. | וַיֵּשֶׁב בְּאֵלֹנֵי מַמְרֵא · va-yeshev be-elonei mamre = and-yeshev in-elonei mamre | TIR-014 | tested |
| EVENT | build(e16) ∧ Agent(e16, avram) ∧ Theme(e16, mizbeach) = build(e16) ∧ Agent(e16, avram) ∧ Theme(e16, altar) VA-YIVEN ('and he BUILT') — BANAH token 10, altar-build #4 (8:20, 12:7, 12:8, 13:18); MIZBEACH token 6 (tokens 7-8 are 22:9, the binding — Abram's altars run four, then the fourth altar's successor binds a son [career, named-only]). Unbidden, like all of Abram's: no command precedes any of his altars [letter pattern, prose]. LA- YHWH, verse-final — the unit closes on the Name, as 13:4 closed its return [tree fact]. Onkelos: kodam YHWH ('BEFORE the LORD') — gen_20/gen_27's dedication- distancing, third altar running [dual-track]. | וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה · va-yiven-sham mizbeach la-YHWH = and-yiven-there altar to-the-LORD | — | tested |
| REGISTRY_INSTALL | WORLD += {mizbeach_chevron} = WORLD += {altar-chevron} THE SIXTH INSTALL — gen_20's device via frozen gen_27's application, quoted: 'THE FIRST INSTALL SINCE GEN_16: a completed build with a persistent object (the tevah/ir precedent — city, ark, altar...' — completed banah, persistent object [class held; the TENTS of this unit do NOT install: natah/ahal are not the build class, gen_27's ratified split]. Sibling-stem naming per gen_27 (mizbeach_shekhem / mizbeach_beit_el frozen): MIZBEACH_CHEVRON — the site-construct's outer name; alternative mizbeach_mamre noted for the reviewer [flag 7]. The ledger now: ir, tevah, mizbeach, mizbeach_shekhem, mizbeach_beit_el, mizbeach_chevron — six built things, four of them altars, three of them Abram's. | מִזְבֵּחַ · mizbeach = altar | — | tested |
| NOTE_PRESUPPOSED | mamre, chevron are READ without prior install (known geography) flag, not fix (both debut here as places; the machine reads them as ground under a new build) | — | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 13:1 — all registers empty (standalone unit) |
| S_ascended | After 13:1 — go_up fired (gen_28's inclusio closes); the company-fact holds; mitzrayim/ha_negev flagged |
| S_weighed | After 13:2 — the heavy-wealth fact holds (kaved 3513 token 1; meod bracket #1) |
| S_returned | After 13:3 — the retraced stages; the ktiv/qere tent-fact holds; beit_el/ha_ai flagged |
| S_recalled | After 13:4 — mizbeach_beit_el READ presupposed (frozen gen_27's object); the return call fires (invocation, zero REGISTRY writes) |
| S_two_estates | After 13:5 — Lot's holdings hold (the 4:20 tent-and-livestock kit re-assembled) |
| S_strained | After 13:6 — the land-cannot-bear pair holds (yachdav debut x2, at rest and end) |
| S_strife | After 13:7 — the herdsmen-strife fact + the two-nations notice hold (az token 3 lands gen_27's roster; Perizzite outside gen_24's table) |
| S_plea | After 13:8 — say (Abram's second speech); LET-NOT(tehi(merivah,...)) pushed — the first human negative demand (AL debut); the brotherhood fact holds |
| S_offered | After 13:9 — LET(hipared(lot, me_al_avram)) pushed; the whole-land fact and the two-hapax offer-halves hold |
| S_seen | After 13:10 — Lot's lift_eyes + see (the idiom's debut); the watered-plain fact with the proleptic destruction clause holds; four place-names flagged |
| S_separated | After 13:11 — choose + journey; RESULT pops hipared IN ITS OWN VERB — settled cycle #7, the first human-demand receipt; LET-NOT stays open |
| S_settled_apart | After 13:12 — dwell x2 + tent (ahal token 1); eretz_kenaan flagged; the ad-ladder runs Beit-El, Sodom |
| S_verdict_filed | After 13:13 — the Sodom verdict holds, NO test (meod bracket #2); the buffer itemizes, the letter does not |
| S_commanded_to_see | After 13:14 — the subject-fronted perfect say; LET(sa_u_ree(...)) pushed and OPEN (the idiom's token 2, now imperative) |
| S_promised_forever | After 13:15 — the promise-FACT pair holds: etnenah (first object-suffixed give) + ad-olam (the perpetuity formula's arrival; INVARIANT weighed, declined, FLAGGED) |
| S_dust_measured | After 13:16 — the dust-facts hold (manah's whole career counts dust-seed) |
| S_commanded_to_walk | After 13:17 — LET(qum_hithalekh(...)) pushed and OPEN (the stem's first imperative — land-valence; gen_14 precision note); second etnenah verse-final |
| S_sixth_install | After 13:18 — tent/come/dwell/build (ahal token 2 closes the verb's career); WORLD += mizbeach_chevron; THREE demands open, ONE settled; every other register empty |
| from | to | via |
|---|---|---|
| S_boot | S_ascended | STEP_Gn_13_1 |
| S_ascended | S_weighed | STEP_Gn_13_2 |
| S_weighed | S_returned | STEP_Gn_13_3 |
| S_returned | S_recalled | STEP_Gn_13_4 |
| S_recalled | S_two_estates | STEP_Gn_13_5 |
| S_two_estates | S_strained | STEP_Gn_13_6 |
| S_strained | S_strife | STEP_Gn_13_7 |
| S_strife | S_plea | STEP_Gn_13_8 |
| S_plea | S_offered | STEP_Gn_13_9 |
| S_offered | S_seen | STEP_Gn_13_10 |
| S_seen | S_separated | STEP_Gn_13_11 |
| S_separated | S_settled_apart | STEP_Gn_13_12 |
| S_settled_apart | S_verdict_filed | STEP_Gn_13_13 |
| S_verdict_filed | S_commanded_to_see | STEP_Gn_13_14 |
| S_commanded_to_see | S_promised_forever | STEP_Gn_13_15 |
| S_promised_forever | S_dust_measured | STEP_Gn_13_16 |
| S_dust_measured | S_commanded_to_walk | STEP_Gn_13_17 |
| S_commanded_to_walk | S_sixth_install | STEP_Gn_13_18 |
AFTER_S_sixth_install — TIME: t0 + one mark (t1 — the separation receipt). WORLD: ONE install (mizbeach_chevron — the corpus's sixth built thing, Abram's third altar) + 12 presupposed reads flagged (mitzrayim, ha_negev, beit_el, ha_ai, MIZBEACH_BEIT_EL — a frozen unit's installed object re-read across the wall — ha_yarden, sedom, amora, tzoar, eretz_kenaan, mamre, chevron). REGISTRY: ZERO writes (13:4's call is invocation, not naming). EVENTS: 16 narrative + 4 declares + 1 result. SPECS: FOUR pushed, ONE popped — the pop is the corpus's FIRST HUMAN- DEMAND RECEIPT (hipared -> va-yipardu, the demand's own niphal verb and preposition; SETTLED CYCLE #7 claimed, flagged) — and THREE stand OPEN at the wall: LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) — the first human negative demand (AL's Torah debut); no verse ends the strife [OPEN]; LET(sa_u_ree(avram, tzafonah_va_negbah_va_ qedmah_va_yamah)) — no seeing by Abram is narrated [OPEN]; LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)) — 13:18's verbs are tent/come/dwell/build, not the walk's [OPEN]. THE INVERSION OF GEN_28: there, three open, all human, zero settled — the machine owed everything; here, one human demand SETTLES (the peace-plea's), and what stays open is one human wish against strife and two divine commands. Standing facts (14 fact-lines): the company roster, the heavy-wealth triple (kaved 3513 token 1; kesef debut), the ktiv/qere tent-at-the-first, Lot's tent-and-flock kit, the land-cannot-bear pair (yachdav debut x2), the strife + two-nations notice (az token 3 LANDED; Perizzite outside the table), the brotherhood ground (ach token 15, verse-final anachnu), the whole-land premise + the two-hapax offer-halves (3231/8041, one token each), the watered-plain clause with the proleptic destruction (shachat token 8; gan token 14 — Eden's word out of Eden; boakhah Tzoar), the Sodom verdict (NO TEST — narrator only; meod bracket closed), the promise-FACT pair (etnenah + AD-OLAM — the perpetuity formula's first land-arrival, held as FACT not INVARIANT, FLAG 1), the dust-pair (manah's whole Torah career counts dust-seed), the second etnenah (the divine speech's last word, on the silluq). TESTS: EMPTY. LEDGER: EMPTY. FLAGS: read_before_install x12. THE GEOMETRY IS THE STATE: up, back, apart — then four compass points, a length, a breadth, and a forever; the quarrel died of distance, not decree; the land that could not carry two men is pledged whole to one of them, in dust-arithmetic no man can finish, while the other man's tent-rope runs out at Sodom.
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The ascent home: after STEP_Gn_13_1 | All registers empty (standalone unit). (go_up(e1) fired — frozen gen_28's inclusio closes; prose.) | Facts hu-ve-ishto HOLD; flags mitzrayim/ha_negev as read-before-install; SPECS empty. = Facts that-and-his-wife HOLD; flags mitzrayim/the-negev as read-before-install; SPECS empty. | וַיַּעַל אַבְרָם מִמִּצְרַיִם · va-yaal avram mi-mitzrayim = and-yaal avram from-mitzrayim |
| S2 | The return to the frozen altar: after STEP_Gn_13_4 | S1 state plus 13:2-3 (the heavy-wealth and tent facts). (call(e3) — invocation, not naming; the machine READS gen_27's install.) | flags beit_el/ha_ai/mizbeach_beit_el as read-before-install; SPECS empty; no test, no name. = flags beit-to/the-ai/altar-beit-to as read-before-install; SPECS empty; no test, no name. | וַיִּקְרָא שָׁם אַבְרָם בְּשֵׁם יְהוָה · va-yiqra sham avram be-shem YHWH = and-yiqra there avram in-shem the-LORD |
| S3 | The strain and the strife: after STEP_Gn_13_7 | S2 state plus 13:5-6 (Lot's holdings; the land-cannot-bear pair). | Facts lo-nasa-otam / rekhusham-rav HOLD; Facts va-yehi-riv / az-yoshev HOLD; SPECS empty. = Facts not-nasa-otam / rekhusham-rav HOLD; Facts and-yehi-riv / az-yoshev HOLD; SPECS empty. | וַיְהִי־רִיב · va-yehi-riv = and-yehi-riv |
| S4 | The plea and the offer pushed: after STEP_Gn_13_9 | S3 state. (say(e4) — Abram's second speech; the first human LET-NOT and the hipared demand.) | LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN; LET(hipared(lot, me_al_avram)) pushed and OPEN; Facts anashim-achim HOLD; Facts ha-lo-khol-ha-aretz HOLD. = LET-NOT(tehi(merivah, between-avram-and-ven-lot)) pushed and OPEN; LET(hipared(lot, from-upon-avram)) pushed and OPEN; Facts anashim-achim HOLD; Facts the-not-all-the-earth HOLD. | אַל־נָא תְהִי מְרִיבָה … הִפָּרֶד נָא מֵעָלָי · al-na tehi merivah … hipared na me-alai = upon-na tehi merivah hipared na from-alai |
| S5 | The separation receipts the human demand: after STEP_Gn_13_11 | S4 state plus 13:10 (the eyes-lift and the Eden-ground facts). (RESULT pops hipared(lot, me_al_avram) in the demand's own verb — settled cycle #7; the preflight trace verifies the queue length; the LET-NOT does NOT pop: no verse ends the strife.) | LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN; Facts khulah-mashqeh HOLD. = LET-NOT(tehi(merivah, between-avram-and-ven-lot)) pushed and OPEN; Facts khulah-mashqeh HOLD. | וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו · va-yipardu ish me-al achiv = and-yipardu man from-upon his-brother |
| S6 | The verdict without a test: after STEP_Gn_13_13 | S5 state plus 13:12 (the two settlings; ahal token 1). (The narrator files Sodom; the machine judges nothing.) | Facts raim-chataim HOLD; no test, no name. | רָעִים וְחַטָּאִים לַיהוָה מְאֹד · raim ve-chataim la-YHWH meod = raim and-chataim to-the-LORD very |
| S7 | The gift held as FACT, forever: after STEP_Gn_13_15 | S6 state plus 13:14 (the subject-fronted perfect say; the sa-u-ree demand). (The perpetuity formula arrives; INVARIANT weighed and declined — flag 1.) | LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)) pushed and OPEN; Facts lekha-etnenah HOLD; Facts ad-olam HOLD. = LET(sa-and-ree(avram, tzafonah-and-negbah-and-qedmah-and-yamah)) pushed and OPEN; Facts to-you-etnenah HOLD; Facts until-olam HOLD. | לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ עַד־עוֹלָם · lekha etnenah u-le-zarakha ad-olam = to-you etnenah and-to-zarakha until-olam |
| S8 | The walk-command pushed: after STEP_Gn_13_17 | S7 state plus 13:16 (the dust-facts). (qum hithalekh — the stem's first imperative, land-valence; gen_14 precision note at the step.) | LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)) pushed and OPEN; Facts ka-afar HOLD; Facts ki-lekha-etnenah HOLD. = LET(qum-walked-about(avram, in-the-earth-to-arkah-and-to-rachbah)) pushed and OPEN; Facts like-afar HOLD; Facts when-to-you-etnenah HOLD. | קוּם הִתְהַלֵּךְ בָּאָרֶץ · qum hithalekh ba-aretz = qum walked-about earth |
| S9 | The sixth install, three debts standing: after STEP_Gn_13_18 | S8 state. (tent/come/dwell/build — none of them the walk's verbs: nothing pops; ahal token 2 closes the verb's Torah career; the install banks.) | WORLD += mizbeach_chevron; LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN; LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)) pushed and OPEN; LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)) pushed and OPEN; LEDGER stays EMPTY (open transaction). = WORLD += altar-chevron; LET-NOT(tehi(merivah, between-avram-and-ven-lot)) pushed and OPEN; LET(sa-and-ree(avram, tzafonah-and-negbah-and-qedmah-and-yamah)) pushed and OPEN; LET(qum-walked-about(avram, in-the-earth-to-arkah-and-to-rachbah)) pushed and OPEN; LEDGER stays EMPTY (open transaction). | וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה · va-yiven-sham mizbeach la-YHWH = and-yiven-there altar to-the-LORD |
| S10_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. | הִפָּרֶד · hipared = hipared |
| S11_negative | Negative: flags never block | A synthetic commit with TESTS empty (the machine's own contract self-test). | Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_first_receipted_human_demand | הִפָּרֶד נָא מֵעָלָי … וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו · hipared na me-alai … va-yipardu ish me-al achiv · SETTLED CYCLE #7 CLAIMED [flagged]: the corpus's FIRST FULFILLED HUMAN DEMAND — 13:9's hipared na me-alai ('separate, please, from me'; niphal imperative, human issuer, gen_13's class) is popped by 13:11's va-yipardu ish me-al achiv in the demand's OWN verb, stem, and preposition, and 13:14's narrator timestamp (acharei hipared-lot) countersigns it inside the divine speech's frame [no ka-asher formula — verb-identity receipt, delta named]; every prior human demand stands open (gen_13's shema, gen_28's imri/qach/va-lekh); the queue's full state INVERTS frozen gen_28: there 3 open all-human 0 settled, here 1 human settle + 3 open (the first human LET-NOT — al-na tehi merivah, the AL-particle's Torah debut, born refusing a quarrel and never popped: they part, but no verse says the strife died — and two divine commands with no narrated receipt: no seeing by Abram, no walking, only tent/come/dwell/build) |
| EXPORT_gift_forever_fact | לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ עַד־עוֹלָם · lekha etnenah u-le-zarakha ad-olam · THE PERPETUITY FORMULA ENTERS THE LAND-PLEDGE [flag 1 — the unit's boldest call, held as promise-FACT pair, NOT INVARIANT]: ad-olam ('until forever') is the corpus's FIRST — olam token 6 after Eden's live-forever, the 120-year limit, the men of old, and the covenant pair — and the span's own ad ('until') runs Beit-El, Sodom, forever [places, then out of places]; ETNENAH is natan's ('give') first OBJECT-SUFFIXED form ('I will give IT'), spoken twice — at 13:15's etnachta AND as the divine speech's LAST WORD on 13:17's silluq; the recipient expands from 12:7's seed-only to LEKHA first; the weigh: gen_20's INVARIANT law ('no possible execution receipt'), gen_21's ('no single execution event'), and gen_22's own giving-with-perpetuity held as HOLDS (9:12, expr quoted) all cut to FACT — the ad-olam perpetuates the TENURE, not the pledging, and the corpus receipts the giving later in its own grammar (15:18 natati, named-only); the dust-rider: manah ('count') debuts x2 and its ONLY other Torah token is Bilam's mi manah afar yaakov — all three tokens count dust-seed; afar ('dust'), the death-sentence word (2:7, 3:14, 3:19), becomes the census-unit of the future |
| EXPORT_eden_double_at_the_jordan | וַיִּפָּרְדוּ … כְּגַן־יְהוָה · va-yipardu … ke-gan-YHWH · the Eden double-exposure at the Jordan: PARAD ('separate') token 1 is EDEN'S RIVER (2:10 — parting to water the garden), tokens 2-3 part the nations, tokens 4-5-6 part Abram and Lot — AT THE SIGHT of ground the narrator waters with Eden's own word: GAN ('garden') token 14 is the word's FIRST step outside Eden (tokens 1-13 all Eden; its only other Torah token compares Egypt — and 13:10 names both comparanda in one breath, ke-gan-YHWH ke-eretz mitzrayim); the view is timestamped by catastrophe: lifnei shachet YHWH ('before YHWH destroyed') — the flood-verb's first token after the never-again pair (9:11/9:15) aims at Sodom, proleptic; the nasa-eyes idiom debuts HERE and doubles in-span (13:10 Lot self-directed at the watered circle, 13:14 God-commanded at four compass points); bachar ('choose') tokens 1-2 both follow a seeing-of-goodness (6:2's wives, 13:11's plain); kikar ('plain') tokens 1-3 in-span, 4-6 the overthrow; boakhah Tzoar re-runs frozen gen_24's border idiom and its next token is 19:22 — Tzoar reached, fleeing |
| EXPORT_return_and_the_sixth_altar | אֶל־מְקוֹם הַמִּזְבֵּחַ … וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה · el-meqom ha-mizbeach … va-yiven-sham mizbeach la-YHWH · the return and the sixth install: 13:1's va-yaal closes frozen gen_28's named inclusio (quoted, LANDED); the stages retrace gen_27's road to a FROZEN INSTALL the standalone machine can only READ (mizbeach_beit_el presupposed — the first re-visit of an installed object across a frozen wall; the letter's own verb delta: BUILT at 12:8, remembered MADE at 13:4); the call-formula lands exactly where frozen gen_27's reviewer note put it (13:4 = the first sham-interposed variant of the strict-adjacency roster 4:26/12:8/26:25); az ('then') token 3 lands gen_27's roster beside a qara-be-shem a third time; AHAL ('to tent') — both Torah tokens inside this unit, one per parted man (Lot toward Sodom, Abram toward Hebron); the unit closes with banah token 10, mizbeach token 6, WORLD += mizbeach_chevron (gen_20's device, gen_27's sibling-naming; tokens 7-8 of the altar-word are the binding's) — and the walk-command stays open above it: the survey (13:17, the hitpael stem's first imperative — LAND-valence; gen_14's companionship thread precisely delimited, no amend) is never narrated walked |
Oral notes (named, tiered, dual-track — never merged)
observation Bereshit Rabbah 40:8-41:8 (the span: the herdsmen-dispute readings; the Sodom sin-inventory class); Rashi at 13:7, 13:8, 13:9, 13:13, 13:17; Ramban at 13:7; Bavli Bava Batra 100a (Rabbi Eliezer: the walk of 13:17 as title-act — chazakah ['acquisition by tread']); the ten-trials rosters — gen_29 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 herdsmen-dispute rationalization (WHOSE-CATTLE-GRAZED-WHERE class); the Sodom indictment itemization (SIN-INVENTORY class — and the Tier-A buffer ALREADY splits money-sins from body-sins at 13:13: a chain reading surfacing inside the translation itself); the walk-as-acquisition dispute (LEGAL- FORM class, Bava Batra 100a); the ad-olam tenure teachings (GRANT-DURATION class); the Lot-trajectory moralizations (TENT-TOWARD-SODOM class).
Queue entry — no claim made beyond the naming.
קוּם הִתְהַלֵּךְ בָּאָרֶץ · (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 herdsmen-dispute rationalization (WHOSE-CATTLE-GRAZED-WHERE class); the Sodom indictment itemization (SIN-INVENTORY class — and the Tier-A buffer ALREADY splits money-sins from body-sins at 13:13: a chain reading surfacing inside the translation itself); the walk-as-acquisition dispute (LEGAL- FORM class, Bava Batra 100a); the ad-olam tenure teachings (GRANT-DURATION class); the Lot-trajectory moralizations (TENT-TOWARD-SODOM class).
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 13:1-18 — read Tier-A at derive time (18 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03)
בִּישִׁין בְּמָמוֹנְהוֹן וְחַיָּבִין בִּגְוִיָּתְהוֹן · bishin be-mamonhon ve-chayavin bi-gviyat-hon · The span's translation witness — headline: THE BUFFER ITEMIZES THE INDICTMENT. 13:13's two bare adjectives (raim ve-chataim, 'evil and sinners') become two CHARGE-DOMAINS: 'evil WITH THEIR MONEY and guilty WITH THEIR BODIES' (bishin be-mamonhon ve-chayavin bi-gviyat-hon) — the letter files no particulars; the Aramaic files two, plus the standing kodam-distancing ('before YHWH' for 'against YHWH') [find-class: the buffer supplies the bill of charges the letter withholds — dual-track, flagged]. SECOND FIND: the two Torah-hapax direction-verbs of 13:9 (ve-eminah 'I will go right' / ve-asmilah 'I will go left') VANISH — the buffer flattens the body-relative pair to compass prepositions ('if you to the NORTH, I to the SOUTH...', le-tzipuna/le-daroma): the letter's coined verbs die untranslated; the humility of 'whichever hand you take' becomes cartography. THIRD: 13:16's dust-dare becomes a VERDICT — 'just as it is NOT POSSIBLE (la efshar) for a man to count... so your sons will NOT BE COUNTED': the letter's open conditional closed by the buffer. Watch-points answered: AD-OLAM KEPT EXACTLY (ad alam, 'until forever' — the perpetuity formula survives translation); the GARDEN KEPT (ke-ginta da-YHWH — no Eden-shyness, though the destroying is nominalized: kodam CHABALUT YHWH, 'before the DESTRUCTION of YHWH'). Repeat buffers consistent with frozen records: va-yiqra be-shem -> VE-TZALI ('prayed') — gen_27's call-as-prayer policy, landed; la-YHWH (altar) -> KODAM YHWH — gen_20/gen_27's dedication-distancing, third altar running; kaved -> TAKIF ('severe') — the same Aramaic gen_28 recorded for the famine's kaved: the buffer re-fuses the sibling lemmas; na -> khe-an ('now') x3 — the please-particle temporalized again (gen_28's policy); ohel -> MASHKAN-forms (mashkneh/mashkenin — the tent rendered with the sanctuary's noun-family); elonei Mamre -> MEISHREI ('plains of') Mamre — the tree-site de-arborized; riv AND merivah -> one noun (matzuta) — the buffer merges the strife-pair the letter split; zera -> bnakh ('your sons') — seed concretized.
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
בִּישִׁין בְּמָמוֹנְהוֹן וְחַיָּבִין בִּגְוִיָּתְהוֹן · bishin be-mamonhon ve-chayavin bi-gviyat-hon · The span's translation witness — headline: THE BUFFER ITEMIZES THE INDICTMENT. 13:13's two bare adjectives (raim ve-chataim, 'evil and sinners') become two CHARGE-DOMAINS: 'evil WITH THEIR MONEY and guilty WITH THEIR BODIES' (bishin be-mamonhon ve-chayavin bi-gviyat-hon) — the letter files no particulars; the Aramaic files two, plus the standing kodam-distancing ('before YHWH' for 'against YHWH') [find-class: the buffer supplies the bill of charges the letter withholds — dual-track, flagged]. SECOND FIND: the two Torah-hapax direction-verbs of 13:9 (ve-eminah 'I will go right' / ve-asmilah 'I will go left') VANISH — the buffer flattens the body-relative pair to compass prepositions ('if you to the NORTH, I to the SOUTH...', le-tzipuna/le-daroma): the letter's coined verbs die untranslated; the humility of 'whichever hand you take' becomes cartography. THIRD: 13:16's dust-dare becomes a VERDICT — 'just as it is NOT POSSIBLE (la efshar) for a man to count... so your sons will NOT BE COUNTED': the letter's open conditional closed by the buffer. Watch-points answered: AD-OLAM KEPT EXACTLY (ad alam, 'until forever' — the perpetuity formula survives translation); the GARDEN KEPT (ke-ginta da-YHWH — no Eden-shyness, though the destroying is nominalized: kodam CHABALUT YHWH, 'before the DESTRUCTION of YHWH'). Repeat buffers consistent with frozen records: va-yiqra be-shem -> VE-TZALI ('prayed') — gen_27's call-as-prayer policy, landed; la-YHWH (altar) -> KODAM YHWH — gen_20/gen_27's dedication-distancing, third altar running; kaved -> TAKIF ('severe') — the same Aramaic gen_28 recorded for the famine's kaved: the buffer re-fuses the sibling lemmas; na -> khe-an ('now') x3 — the please-particle temporalized again (gen_28's policy); ohel -> MASHKAN-forms (mashkneh/mashkenin — the tent rendered with the sanctuary's noun-family); elonei Mamre -> MEISHREI ('plains of') Mamre — the tree-site de-arborized; riv AND merivah -> one noun (matzuta) — the buffer merges the strife-pair the letter split; zera -> bnakh ('your sons') — seed concretized.
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.13.1 · parser unique · 11 words
PHRASE (binary 11w) וַ/יַּעַל֩ אַבְרָ֨ם מִ/מִּצְרַ֜יִם ה֠וּא וְ/אִש… ├── PHRASE (binary 10w) וַ/יַּעַל֩ אַבְרָ֨ם מִ/מִּצְרַ֜יִם ה֠וּא וְ/אִש… │ ├── PHRASE (binary 8w) וַ/יַּעַל֩ אַבְרָ֨ם מִ/מִּצְרַ֜יִם ה֠וּא וְ/אִש… │ │ ├── [0-2] GLUE וַ/יַּעַל֩ אַבְרָ֨ם מִ/מִּצְרַ֜יִם (geresh, rank=4) │ │ └── PHRASE (binary 5w) ה֠וּא וְ/אִשְׁתּ֧/וֹ וְ/כָל אֲשֶׁר ל֛/וֹ │ │ ├── [3] ה֠וּא (telisha gedola, rank=4) │ │ └── [4-7] GLUE וְ/אִשְׁתּ֧/וֹ וְ/כָל אֲשֶׁר ל֛/וֹ (tevir, rank=3) │ └── [8-9] GLUE וְ/ל֥וֹט עִמּ֖/וֹ (tifcha, rank=2) └── [10] הַ/נֶּֽגְבָּ/ה (silluq (verse-end emperor), rank=1)
Gen.13.2 · parser unique · 6 words
PHRASE (binary 6w) וְ/אַבְרָ֖ם כָּבֵ֣ד מְאֹ֑ד בַּ/מִּקְנֶ֕ה בַּ/כּ…
├── PHRASE (binary 3w) וְ/אַבְרָ֖ם כָּבֵ֣ד מְאֹ֑ד
│ ├── [0] וְ/אַבְרָ֖ם (tifcha, rank=2)
│ └── [1-2] GLUE כָּבֵ֣ד מְאֹ֑ד (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) בַּ/מִּקְנֶ֕ה בַּ/כֶּ֖סֶף וּ/בַ/זָּהָֽב
├── [3] בַּ/מִּקְנֶ֕ה (zaqef gadol, rank=2)
└── PHRASE (binary 2w) בַּ/כֶּ֖סֶף וּ/בַ/זָּהָֽב
├── [4] בַּ/כֶּ֖סֶף (tifcha, rank=2)
└── [5] וּ/בַ/זָּהָֽב (silluq (verse-end emperor), rank=1)
Gen.13.3 · parser unique · 19 words
PHRASE (binary 19w) וַ/יֵּ֨לֶךְ֙ לְ/מַסָּעָ֔י/ו מִ/נֶּ֖גֶב וְ/עַד ב…
├── PHRASE (binary 6w) וַ/יֵּ֨לֶךְ֙ לְ/מַסָּעָ֔י/ו מִ/נֶּ֖גֶב וְ/עַד ב…
│ ├── PHRASE (binary 2w) וַ/יֵּ֨לֶךְ֙ לְ/מַסָּעָ֔י/ו
│ │ ├── [0] וַ/יֵּ֨לֶךְ֙ (pashta, rank=3)
│ │ └── [1] לְ/מַסָּעָ֔י/ו (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) מִ/נֶּ֖גֶב וְ/עַד בֵּֽית אֵ֑ל
│ ├── [2] מִ/נֶּ֖גֶב (tifcha, rank=2)
│ └── [3-5] GLUE וְ/עַד בֵּֽית אֵ֑ל (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) עַד הַ/מָּק֗וֹם אֲשֶׁר הָ֨יָה שָׁ֤ם אהל/ה אָֽהֳ…
├── PHRASE (binary 8w) עַד הַ/מָּק֗וֹם אֲשֶׁר הָ֨יָה שָׁ֤ם אהל/ה אָֽהֳ…
│ ├── [6-7] GLUE עַד הַ/מָּק֗וֹם (revia, rank=3)
│ └── PHRASE (binary 6w) אֲשֶׁר הָ֨יָה שָׁ֤ם אהל/ה אָֽהֳל/וֹ֙ בַּ/תְּחִל…
│ ├── [8-12] GLUE אֲשֶׁר הָ֨יָה שָׁ֤ם אהל/ה אָֽהֳל/וֹ֙ (pashta, rank=3)
│ └── [13] בַּ/תְּחִלָּ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 5w) בֵּ֥ין בֵּֽית אֵ֖ל וּ/בֵ֥ין הָ/עָֽי
├── [14-16] GLUE בֵּ֥ין בֵּֽית אֵ֖ל (tifcha, rank=2)
└── [17-18] GLUE וּ/בֵ֥ין הָ/עָֽי (silluq (verse-end emperor), rank=1)
Gen.13.4 · parser unique · 12 words
PHRASE (binary 12w) אֶל מְקוֹם֙ הַ/מִּזְבֵּ֔חַ אֲשֶׁר עָ֥שָׂה שָׁ֖ם…
├── PHRASE (binary 7w) אֶל מְקוֹם֙ הַ/מִּזְבֵּ֔חַ אֲשֶׁר עָ֥שָׂה שָׁ֖ם…
│ ├── PHRASE (binary 3w) אֶל מְקוֹם֙ הַ/מִּזְבֵּ֔חַ
│ │ ├── [0-1] GLUE אֶל מְקוֹם֙ (pashta, rank=3)
│ │ └── [2] הַ/מִּזְבֵּ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אֲשֶׁר עָ֥שָׂה שָׁ֖ם בָּ/רִאשֹׁנָ֑ה
│ ├── [3-5] GLUE אֲשֶׁר עָ֥שָׂה שָׁ֖ם (tifcha, rank=2)
│ └── [6] בָּ/רִאשֹׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יִּקְרָ֥א שָׁ֛ם אַבְרָ֖ם בְּ/שֵׁ֥ם יְהוָֽה
├── PHRASE (binary 3w) וַ/יִּקְרָ֥א שָׁ֛ם אַבְרָ֖ם
│ ├── [7-8] GLUE וַ/יִּקְרָ֥א שָׁ֛ם (tevir, rank=3)
│ └── [9] אַבְרָ֖ם (tifcha, rank=2)
└── [10-11] GLUE בְּ/שֵׁ֥ם יְהוָֽה (silluq (verse-end emperor), rank=1)
Gen.13.5 · parser unique · 9 words
PHRASE (binary 9w) וְ/גַם לְ/ל֔וֹט הַ/הֹלֵ֖ךְ אֶת אַבְרָ֑ם הָיָ֥ה …
├── PHRASE (binary 5w) וְ/גַם לְ/ל֔וֹט הַ/הֹלֵ֖ךְ אֶת אַבְרָ֑ם
│ ├── [0-1] GLUE וְ/גַם לְ/ל֔וֹט (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) הַ/הֹלֵ֖ךְ אֶת אַבְרָ֑ם
│ ├── [2] הַ/הֹלֵ֖ךְ (tifcha, rank=2)
│ └── [3-4] GLUE אֶת אַבְרָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) הָיָ֥ה צֹאן וּ/בָקָ֖ר וְ/אֹהָלִֽים
├── [5-7] GLUE הָיָ֥ה צֹאן וּ/בָקָ֖ר (tifcha, rank=2)
└── [8] וְ/אֹהָלִֽים (silluq (verse-end emperor), rank=1)
Gen.13.6 · parser unique · 14 words
PHRASE (binary 14w) וְ/לֹא נָשָׂ֥א אֹתָ֛/ם הָ/אָ֖רֶץ לָ/שֶׁ֣בֶת יַח…
├── PHRASE (binary 6w) וְ/לֹא נָשָׂ֥א אֹתָ֛/ם הָ/אָ֖רֶץ לָ/שֶׁ֣בֶת יַח…
│ ├── PHRASE (binary 4w) וְ/לֹא נָשָׂ֥א אֹתָ֛/ם הָ/אָ֖רֶץ
│ │ ├── [0-2] GLUE וְ/לֹא נָשָׂ֥א אֹתָ֛/ם (tevir, rank=3)
│ │ └── [3] הָ/אָ֖רֶץ (tifcha, rank=2)
│ └── [4-5] GLUE לָ/שֶׁ֣בֶת יַחְדָּ֑ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) כִּֽי הָיָ֤ה רְכוּשָׁ/ם֙ רָ֔ב וְ/לֹ֥א יָֽכְל֖וּ…
├── PHRASE (binary 4w) כִּֽי הָיָ֤ה רְכוּשָׁ/ם֙ רָ֔ב
│ ├── [6-8] GLUE כִּֽי הָיָ֤ה רְכוּשָׁ/ם֙ (pashta, rank=3)
│ └── [9] רָ֔ב (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/לֹ֥א יָֽכְל֖וּ לָ/שֶׁ֥בֶת יַחְדָּֽו
├── [10-11] GLUE וְ/לֹ֥א יָֽכְל֖וּ (tifcha, rank=2)
└── [12-13] GLUE לָ/שֶׁ֥בֶת יַחְדָּֽו (silluq (verse-end emperor), rank=1)
Gen.13.7 · parser unique · 15 words
PHRASE (binary 15w) וַֽ/יְהִי רִ֗יב בֵּ֚ין רֹעֵ֣י מִקְנֵֽה אַבְרָ֔ם…
├── PHRASE (binary 10w) וַֽ/יְהִי רִ֗יב בֵּ֚ין רֹעֵ֣י מִקְנֵֽה אַבְרָ֔ם…
│ ├── PHRASE (binary 6w) וַֽ/יְהִי רִ֗יב בֵּ֚ין רֹעֵ֣י מִקְנֵֽה אַבְרָ֔ם
│ │ ├── [0-1] GLUE וַֽ/יְהִי רִ֗יב (revia, rank=3)
│ │ └── PHRASE (binary 4w) בֵּ֚ין רֹעֵ֣י מִקְנֵֽה אַבְרָ֔ם
│ │ ├── [2] בֵּ֚ין (yetiv, rank=3)
│ │ └── [3-5] GLUE רֹעֵ֣י מִקְנֵֽה אַבְרָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וּ/בֵ֖ין רֹעֵ֣י מִקְנֵה ל֑וֹט
│ ├── [6] וּ/בֵ֖ין (tifcha, rank=2)
│ └── [7-9] GLUE רֹעֵ֣י מִקְנֵה ל֑וֹט (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/הַֽ/כְּנַעֲנִי֙ וְ/הַ/פְּרִזִּ֔י אָ֖ז יֹשֵׁ֥…
├── PHRASE (binary 2w) וְ/הַֽ/כְּנַעֲנִי֙ וְ/הַ/פְּרִזִּ֔י
│ ├── [10] וְ/הַֽ/כְּנַעֲנִי֙ (pashta, rank=3)
│ └── [11] וְ/הַ/פְּרִזִּ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אָ֖ז יֹשֵׁ֥ב בָּ/אָֽרֶץ
├── [12] אָ֖ז (tifcha, rank=2)
└── [13-14] GLUE יֹשֵׁ֥ב בָּ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.13.8 · parser unique · 18 words
PHRASE (binary 18w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל ל֗וֹט אַל נָ֨א תְהִ֤י …
├── PHRASE (binary 14w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל ל֗וֹט אַל נָ֨א תְהִ֤י …
│ ├── PHRASE (binary 10w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל ל֗וֹט אַל נָ֨א תְהִ֤י …
│ │ ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל ל֗וֹט
│ │ │ ├── [0-1] GLUE וַ/יֹּ֨אמֶר אַבְרָ֜ם (geresh, rank=4)
│ │ │ └── [2-3] GLUE אֶל ל֗וֹט (revia, rank=3)
│ │ └── PHRASE (binary 6w) אַל נָ֨א תְהִ֤י מְרִיבָה֙ בֵּינִ֣/י וּ/בֵינֶ֔י/…
│ │ ├── [4-7] GLUE אַל נָ֨א תְהִ֤י מְרִיבָה֙ (pashta, rank=3)
│ │ └── [8-9] GLUE בֵּינִ֣/י וּ/בֵינֶ֔י/ךָ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וּ/בֵ֥ין רֹעַ֖/י וּ/בֵ֣ין רֹעֶ֑י/ךָ
│ ├── [10-11] GLUE וּ/בֵ֥ין רֹעַ֖/י (tifcha, rank=2)
│ └── [12-13] GLUE וּ/בֵ֣ין רֹעֶ֑י/ךָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) כִּֽי אֲנָשִׁ֥ים אַחִ֖ים אֲנָֽחְנוּ
├── [14-16] GLUE כִּֽי אֲנָשִׁ֥ים אַחִ֖ים (tifcha, rank=2)
└── [17] אֲנָֽחְנוּ (silluq (verse-end emperor), rank=1)
Gen.13.9 · parser unique · 13 words
PHRASE (binary 13w) הֲ/לֹ֤א כָל הָ/אָ֨רֶץ֙ לְ/פָנֶ֔י/ךָ הִפָּ֥רֶד נ…
├── PHRASE (binary 7w) הֲ/לֹ֤א כָל הָ/אָ֨רֶץ֙ לְ/פָנֶ֔י/ךָ הִפָּ֥רֶד נ…
│ ├── PHRASE (binary 4w) הֲ/לֹ֤א כָל הָ/אָ֨רֶץ֙ לְ/פָנֶ֔י/ךָ
│ │ ├── [0-2] GLUE הֲ/לֹ֤א כָל הָ/אָ֨רֶץ֙ (pashta, rank=3)
│ │ └── [3] לְ/פָנֶ֔י/ךָ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) הִפָּ֥רֶד נָ֖א מֵ/עָלָ֑/י
│ ├── [4-5] GLUE הִפָּ֥רֶד נָ֖א (tifcha, rank=2)
│ └── [6] מֵ/עָלָ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אִם הַ/שְּׂמֹ֣אל וְ/אֵימִ֔נָה וְ/אִם הַ/יָּמִ֖י…
├── [7-9] GLUE אִם הַ/שְּׂמֹ֣אל וְ/אֵימִ֔נָה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/אִם הַ/יָּמִ֖ין וְ/אַשְׂמְאִֽילָה
├── [10-11] GLUE וְ/אִם הַ/יָּמִ֖ין (tifcha, rank=2)
└── [12] וְ/אַשְׂמְאִֽילָה (silluq (verse-end emperor), rank=1)
Gen.13.10 · parser unique · 25 words
PHRASE (binary 25w) וַ/יִּשָּׂא ל֣וֹט אֶת עֵינָ֗י/ו וַ/יַּרְא֙ אֶת …
├── PHRASE (binary 12w) וַ/יִּשָּׂא ל֣וֹט אֶת עֵינָ֗י/ו וַ/יַּרְא֙ אֶת …
│ ├── PHRASE (binary 9w) וַ/יִּשָּׂא ל֣וֹט אֶת עֵינָ֗י/ו וַ/יַּרְא֙ אֶת …
│ │ ├── [0-3] GLUE וַ/יִּשָּׂא ל֣וֹט אֶת עֵינָ֗י/ו (revia, rank=3)
│ │ └── PHRASE (binary 5w) וַ/יַּרְא֙ אֶת כָּל כִּכַּ֣ר הַ/יַּרְדֵּ֔ן
│ │ ├── [4] וַ/יַּרְא֙ (pashta, rank=3)
│ │ └── [5-8] GLUE אֶת כָּל כִּכַּ֣ר הַ/יַּרְדֵּ֔ן (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) כִּ֥י כֻלָּ֖/הּ מַשְׁקֶ֑ה
│ ├── [9-10] GLUE כִּ֥י כֻלָּ֖/הּ (tifcha, rank=2)
│ └── [11] מַשְׁקֶ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) לִ/פְנֵ֣י שַׁחֵ֣ת יְהוָ֗ה אֶת סְדֹם֙ וְ/אֶת עֲמ…
├── PHRASE (binary 7w) לִ/פְנֵ֣י שַׁחֵ֣ת יְהוָ֗ה אֶת סְדֹם֙ וְ/אֶת עֲמ…
│ ├── [12-14] GLUE לִ/פְנֵ֣י שַׁחֵ֣ת יְהוָ֗ה (revia, rank=3)
│ └── PHRASE (binary 4w) אֶת סְדֹם֙ וְ/אֶת עֲמֹרָ֔ה
│ ├── [15-16] GLUE אֶת סְדֹם֙ (pashta, rank=3)
│ └── [17-18] GLUE וְ/אֶת עֲמֹרָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) כְּ/גַן יְהוָה֙ כְּ/אֶ֣רֶץ מִצְרַ֔יִם בֹּאֲ/כָ֖…
├── PHRASE (binary 4w) כְּ/גַן יְהוָה֙ כְּ/אֶ֣רֶץ מִצְרַ֔יִם
│ ├── [19-20] GLUE כְּ/גַן יְהוָה֙ (pashta, rank=3)
│ └── [21-22] GLUE כְּ/אֶ֣רֶץ מִצְרַ֔יִם (zaqef qatan, rank=2)
└── PHRASE (binary 2w) בֹּאֲ/כָ֖ה צֹֽעַר
├── [23] בֹּאֲ/כָ֖ה (tifcha, rank=2)
└── [24] צֹֽעַר (silluq (verse-end emperor), rank=1)
Gen.13.11 · parser unique · 14 words
PHRASE (binary 14w) וַ/יִּבְחַר ל֣/וֹ ל֗וֹט אֵ֚ת כָּל כִּכַּ֣ר הַ/י…
├── PHRASE (binary 10w) וַ/יִּבְחַר ל֣/וֹ ל֗וֹט אֵ֚ת כָּל כִּכַּ֣ר הַ/י…
│ ├── PHRASE (binary 7w) וַ/יִּבְחַר ל֣/וֹ ל֗וֹט אֵ֚ת כָּל כִּכַּ֣ר הַ/י…
│ │ ├── [0-2] GLUE וַ/יִּבְחַר ל֣/וֹ ל֗וֹט (revia, rank=3)
│ │ └── PHRASE (binary 4w) אֵ֚ת כָּל כִּכַּ֣ר הַ/יַּרְדֵּ֔ן
│ │ ├── [3] אֵ֚ת (yetiv, rank=3)
│ │ └── [4-6] GLUE כָּל כִּכַּ֣ר הַ/יַּרְדֵּ֔ן (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יִּסַּ֥ע ל֖וֹט מִ/קֶּ֑דֶם
│ ├── [7-8] GLUE וַ/יִּסַּ֥ע ל֖וֹט (tifcha, rank=2)
│ └── [9] מִ/קֶּ֑דֶם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יִּפָּ֣רְד֔וּ אִ֖ישׁ מֵ/עַ֥ל אָחִֽי/ו
├── [10] וַ/יִּפָּ֣רְד֔וּ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אִ֖ישׁ מֵ/עַ֥ל אָחִֽי/ו
├── [11] אִ֖ישׁ (tifcha, rank=2)
└── [12-13] GLUE מֵ/עַ֥ל אָחִֽי/ו (silluq (verse-end emperor), rank=1)
Gen.13.12 · parser unique · 11 words
PHRASE (binary 11w) אַבְרָ֖ם יָשַׁ֣ב בְּ/אֶֽרֶץ כְּנָ֑עַן וְ/ל֗וֹט …
├── PHRASE (binary 4w) אַבְרָ֖ם יָשַׁ֣ב בְּ/אֶֽרֶץ כְּנָ֑עַן
│ ├── [0] אַבְרָ֖ם (tifcha, rank=2)
│ └── [1-3] GLUE יָשַׁ֣ב בְּ/אֶֽרֶץ כְּנָ֑עַן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וְ/ל֗וֹט יָשַׁב֙ בְּ/עָרֵ֣י הַ/כִּכָּ֔ר וַ/יֶּא…
├── PHRASE (binary 4w) וְ/ל֗וֹט יָשַׁב֙ בְּ/עָרֵ֣י הַ/כִּכָּ֔ר
│ ├── [4] וְ/ל֗וֹט (revia, rank=3)
│ └── PHRASE (binary 3w) יָשַׁב֙ בְּ/עָרֵ֣י הַ/כִּכָּ֔ר
│ ├── [5] יָשַׁב֙ (pashta, rank=3)
│ └── [6-7] GLUE בְּ/עָרֵ֣י הַ/כִּכָּ֔ר (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/יֶּאֱהַ֖ל עַד סְדֹֽם
├── [8] וַ/יֶּאֱהַ֖ל (tifcha, rank=2)
└── [9-10] GLUE עַד סְדֹֽם (silluq (verse-end emperor), rank=1)
Gen.13.13 · parser unique · 6 words
PHRASE (binary 6w) וְ/אַנְשֵׁ֣י סְדֹ֔ם רָעִ֖ים וְ/חַטָּאִ֑ים לַ/יה…
├── PHRASE (binary 4w) וְ/אַנְשֵׁ֣י סְדֹ֔ם רָעִ֖ים וְ/חַטָּאִ֑ים
│ ├── [0-1] GLUE וְ/אַנְשֵׁ֣י סְדֹ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) רָעִ֖ים וְ/חַטָּאִ֑ים
│ ├── [2] רָעִ֖ים (tifcha, rank=2)
│ └── [3] וְ/חַטָּאִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) לַ/יהוָ֖ה מְאֹֽד
├── [4] לַ/יהוָ֖ה (tifcha, rank=2)
└── [5] מְאֹֽד (silluq (verse-end emperor), rank=1)
Gen.13.14 · parser unique · 21 words
PHRASE (binary 21w) וַֽ/יהוָ֞ה אָמַ֣ר אֶל אַבְרָ֗ם אַחֲרֵי֙ הִפָּֽר…
├── PHRASE (binary 17w) וַֽ/יהוָ֞ה אָמַ֣ר אֶל אַבְרָ֗ם אַחֲרֵי֙ הִפָּֽר…
│ ├── PHRASE (binary 8w) וַֽ/יהוָ֞ה אָמַ֣ר אֶל אַבְרָ֗ם אַחֲרֵי֙ הִפָּֽר…
│ │ ├── PHRASE (binary 4w) וַֽ/יהוָ֞ה אָמַ֣ר אֶל אַבְרָ֗ם
│ │ │ ├── [0] וַֽ/יהוָ֞ה (gershayim, rank=4)
│ │ │ └── [1-3] GLUE אָמַ֣ר אֶל אַבְרָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הִפָּֽרֶד ל֣וֹט מֵֽ/עִמּ֔/וֹ
│ │ ├── [4] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [5-7] GLUE הִפָּֽרֶד ל֣וֹט מֵֽ/עִמּ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 9w) שָׂ֣א נָ֤א עֵינֶ֨י/ךָ֙ וּ/רְאֵ֔ה מִן הַ/מָּק֖וֹ…
│ ├── PHRASE (binary 4w) שָׂ֣א נָ֤א עֵינֶ֨י/ךָ֙ וּ/רְאֵ֔ה
│ │ ├── [8-10] GLUE שָׂ֣א נָ֤א עֵינֶ֨י/ךָ֙ (pashta, rank=3)
│ │ └── [11] וּ/רְאֵ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) מִן הַ/מָּק֖וֹם אֲשֶׁר אַתָּ֣ה שָׁ֑ם
│ ├── [12-13] GLUE מִן הַ/מָּק֖וֹם (tifcha, rank=2)
│ └── [14-16] GLUE אֲשֶׁר אַתָּ֣ה שָׁ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) צָפֹ֥נָ/ה וָ/נֶ֖גְבָּ/ה וָ/קֵ֥דְמָ/ה וָ/יָֽמָּ/ה
├── [17-18] GLUE צָפֹ֥נָ/ה וָ/נֶ֖גְבָּ/ה (tifcha, rank=2)
└── [19-20] GLUE וָ/קֵ֥דְמָ/ה וָ/יָֽמָּ/ה (silluq (verse-end emperor), rank=1)
Gen.13.15 · parser unique · 12 words
PHRASE (binary 12w) כִּ֧י אֶת כָּל הָ/אָ֛רֶץ אֲשֶׁר אַתָּ֥ה רֹאֶ֖ה …
├── PHRASE (binary 9w) כִּ֧י אֶת כָּל הָ/אָ֛רֶץ אֲשֶׁר אַתָּ֥ה רֹאֶ֖ה …
│ ├── PHRASE (binary 7w) כִּ֧י אֶת כָּל הָ/אָ֛רֶץ אֲשֶׁר אַתָּ֥ה רֹאֶ֖ה
│ │ ├── [0-3] GLUE כִּ֧י אֶת כָּל הָ/אָ֛רֶץ (tevir, rank=3)
│ │ └── [4-6] GLUE אֲשֶׁר אַתָּ֥ה רֹאֶ֖ה (tifcha, rank=2)
│ └── [7-8] GLUE לְ/ךָ֣ אֶתְּנֶ֑/נָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וּֽ/לְ/זַרְעֲ/ךָ֖ עַד עוֹלָֽם
├── [9] וּֽ/לְ/זַרְעֲ/ךָ֖ (tifcha, rank=2)
└── [10-11] GLUE עַד עוֹלָֽם (silluq (verse-end emperor), rank=1)
Gen.13.16 · parser unique · 16 words
PHRASE (binary 16w) וְ/שַׂמְתִּ֥י אֶֽת זַרְעֲ/ךָ֖ כַּ/עֲפַ֣ר הָ/אָ֑…
├── PHRASE (binary 5w) וְ/שַׂמְתִּ֥י אֶֽת זַרְעֲ/ךָ֖ כַּ/עֲפַ֣ר הָ/אָ֑…
│ ├── [0-2] GLUE וְ/שַׂמְתִּ֥י אֶֽת זַרְעֲ/ךָ֖ (tifcha, rank=2)
│ └── [3-4] GLUE כַּ/עֲפַ֣ר הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) אֲשֶׁ֣ר אִם יוּכַ֣ל אִ֗ישׁ לִ/מְנוֹת֙ אֶת עֲפַ֣…
├── PHRASE (binary 8w) אֲשֶׁ֣ר אִם יוּכַ֣ל אִ֗ישׁ לִ/מְנוֹת֙ אֶת עֲפַ֣…
│ ├── [5-8] GLUE אֲשֶׁ֣ר אִם יוּכַ֣ל אִ֗ישׁ (revia, rank=3)
│ └── PHRASE (binary 4w) לִ/מְנוֹת֙ אֶת עֲפַ֣ר הָ/אָ֔רֶץ
│ ├── [9] לִ/מְנוֹת֙ (pashta, rank=3)
│ └── [10-12] GLUE אֶת עֲפַ֣ר הָ/אָ֔רֶץ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) גַּֽם זַרְעֲ/ךָ֖ יִמָּנֶֽה
├── [13-14] GLUE גַּֽם זַרְעֲ/ךָ֖ (tifcha, rank=2)
└── [15] יִמָּנֶֽה (silluq (verse-end emperor), rank=1)
Gen.13.17 · parser unique · 8 words
PHRASE (binary 8w) ק֚וּם הִתְהַלֵּ֣ךְ בָּ/אָ֔רֶץ לְ/אָרְכָּ֖/הּ וּ…
├── PHRASE (binary 5w) ק֚וּם הִתְהַלֵּ֣ךְ בָּ/אָ֔רֶץ לְ/אָרְכָּ֖/הּ וּ…
│ ├── PHRASE (binary 3w) ק֚וּם הִתְהַלֵּ֣ךְ בָּ/אָ֔רֶץ
│ │ ├── [0] ק֚וּם (yetiv, rank=3)
│ │ └── [1-2] GLUE הִתְהַלֵּ֣ךְ בָּ/אָ֔רֶץ (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) לְ/אָרְכָּ֖/הּ וּ/לְ/רָחְבָּ֑/הּ
│ ├── [3] לְ/אָרְכָּ֖/הּ (tifcha, rank=2)
│ └── [4] וּ/לְ/רָחְבָּ֑/הּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) כִּ֥י לְ/ךָ֖ אֶתְּנֶֽ/נָּה
├── [5-6] GLUE כִּ֥י לְ/ךָ֖ (tifcha, rank=2)
└── [7] אֶתְּנֶֽ/נָּה (silluq (verse-end emperor), rank=1)
Gen.13.18 · parser unique · 12 words
PHRASE (binary 12w) וַ/יֶּאֱהַ֣ל אַבְרָ֗ם וַ/יָּבֹ֛א וַ/יֵּ֛שֶׁב בּ…
├── PHRASE (binary 8w) וַ/יֶּאֱהַ֣ל אַבְרָ֗ם וַ/יָּבֹ֛א וַ/יֵּ֛שֶׁב בּ…
│ ├── PHRASE (binary 6w) וַ/יֶּאֱהַ֣ל אַבְרָ֗ם וַ/יָּבֹ֛א וַ/יֵּ֛שֶׁב בּ…
│ │ ├── [0-1] GLUE וַ/יֶּאֱהַ֣ל אַבְרָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 4w) וַ/יָּבֹ֛א וַ/יֵּ֛שֶׁב בְּ/אֵלֹנֵ֥י מַמְרֵ֖א
│ │ ├── [2] וַ/יָּבֹ֛א (tevir, rank=3)
│ │ └── PHRASE (binary 3w) וַ/יֵּ֛שֶׁב בְּ/אֵלֹנֵ֥י מַמְרֵ֖א
│ │ ├── [3] וַ/יֵּ֛שֶׁב (tevir, rank=3)
│ │ └── [4-5] GLUE בְּ/אֵלֹנֵ֥י מַמְרֵ֖א (tifcha, rank=2)
│ └── [6-7] GLUE אֲשֶׁ֣ר בְּ/חֶבְר֑וֹן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יִּֽבֶן שָׁ֥ם מִזְבֵּ֖חַ לַֽ/יהוָֽה
├── [8-10] GLUE וַ/יִּֽבֶן שָׁ֥ם מִזְבֵּ֖חַ (tifcha, rank=2)
└── [11] לַֽ/יהוָֽה (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_29_separation_promise — The separation and the promise: the return, the strife, the plain, the land forever (13:1-18) [frozen]
final state: WORLD=['mizbeach_chevron'] (+12 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install']
=== S1 — The ascent home: after STEP_Gn_13_1
וַיַּעַל אַבְרָם מִמִּצְרַיִם (va-yaal avram mi-mitzrayim)
PASS Facts hu-ve-ishto HOLD (1 facts)
PASS flags mitzrayim/ha_negev as read-before-install (flagged=['ha_negev', 'mitzrayim'])
PASS SPECS empty. (queue=0)
=== S2 — The return to the frozen altar: after STEP_Gn_13_4
וַיִּקְרָא שָׁם אַבְרָם בְּשֵׁם יְהוָה (va-yiqra sham avram be-shem YHWH)
PASS flags beit_el/ha_ai/mizbeach_beit_el as read-before-install (flagged=['beit_el', 'ha_ai', 'ha_negev', 'mitzrayim', 'mizbeach_beit_el'])
PASS SPECS empty (queue=0)
PASS no test, no name. (tests=0 names=0)
=== S3 — The strain and the strife: after STEP_Gn_13_7
וַיְהִי־רִיב (va-yehi-riv)
PASS Facts lo-nasa-otam / rekhusham-rav HOLD (8 facts)
PASS Facts va-yehi-riv / az-yoshev HOLD (8 facts)
PASS SPECS empty. (queue=0)
=== S4 — The plea and the offer pushed: after STEP_Gn_13_9
אַל־נָא תְהִי מְרִיבָה … הִפָּרֶד נָא מֵעָלָי (al-na tehi merivah … hipared na me-alai)
PASS LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'hipared(lot, me_al_avram)'])
PASS LET(hipared(lot, me_al_avram)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'hipared(lot, me_al_avram)'])
PASS Facts anashim-achim HOLD (11 facts)
PASS Facts ha-lo-khol-ha-aretz HOLD. (11 facts)
=== S5 — The separation receipts the human demand: after STEP_Gn_13_11
וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו (va-yipardu ish me-al achiv)
PASS LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)'])
PASS Facts khulah-mashqeh HOLD. (12 facts)
=== S6 — The verdict without a test: after STEP_Gn_13_13
רָעִים וְחַטָּאִים לַיהוָה מְאֹד (raim ve-chataim la-YHWH meod)
PASS Facts raim-chataim HOLD (13 facts)
PASS no test, no name. (tests=0 names=0)
=== S7 — The gift held as FACT, forever: after STEP_Gn_13_15
לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ עַד־עוֹלָם (lekha etnenah u-le-zarakha ad-olam)
PASS LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)'])
PASS Facts lekha-etnenah HOLD (15 facts)
PASS Facts ad-olam HOLD. (15 facts)
=== S8 — The walk-command pushed: after STEP_Gn_13_17
קוּם הִתְהַלֵּךְ בָּאָרֶץ (qum hithalekh ba-aretz)
PASS LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)', 'qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)'])
PASS Facts ka-afar HOLD (18 facts)
PASS Facts ki-lekha-etnenah HOLD. (18 facts)
=== S9 — The sixth install, three debts standing: after STEP_Gn_13_18
וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה (va-yiven-sham mizbeach la-YHWH)
PASS WORLD += mizbeach_chevron (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.13.18'})
PASS LET-NOT(tehi(merivah, bein_avram_u_ven_lot)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)', 'qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)'])
PASS LET(sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)', 'qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)'])
PASS LET(qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)) pushed and OPEN (queue=['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)', 'qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)'])
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S10_negative — Negative: the LET? contract guard
הִפָּרֶד (hipared)
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)
=== S11_negative — Negative: flags never block
PASS commit proceeded (not blocked) (LEDGER=[99])
PASS pattern deviation FLAGGED (flags=['commit_without_test'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_29_separation_promise — 13:1-18
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_29_separation_promise.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 separation and the promise: the return, the strife, the plain, the land forever (13:1-18)"""
from machine import Machine
m = Machine("gen_29_separation_promise")
# -------------------------- Gen.13.1 · THE_ASCENT_WITH_ALL -----------------
# וַיַּעַל אַבְרָם מִמִּצְרַיִם הוּא וְאִשְׁתּוֹ וְכָל־אֲשֶׁר־לוֹ וְלוֹט
# עִמּוֹ הַנֶּגְבָּה
# "And Abram went up out of Egypt, he, and his wife, and all that he had,
# and Lot with him, into the South."
m.step("Gen.13.1")
# ‹וַיַּעַל אַבְרָם מִמִּצְרַיִם› (“and-go-up Abram from-Egypt”) — event:
# go-up — agent Abram
m.event("go_up", agent="avram")
# ‹הוּא וְאִשְׁתּוֹ וְכָל־אֲשֶׁר־לוֹ וְלוֹט עִמּוֹ› (“he/it and-woman-
# him/its and-all which to-him/its and-Lot with-him/its”) — fact holds:
# he/it-and-his-wife-and-all-which-not-and-Lot-imo
m.fact("hu_ve_ishto_ve_khol_asher_lo_ve_lot_imo")
# reads without prior install (flag, not fix): Egypt, the-south
m.presupposed("mitzrayim", "ha_negev")
# -------------------------- Gen.13.2 · THE_HEAVY_WEALTH --------------------
# וְאַבְרָם כָּבֵד מְאֹד בַּמִּקְנֶה בַּכֶּסֶף וּבַזָּהָב
# "And Abram was very rich in cattle, in silver, and in gold."
m.step("Gen.13.2")
# ‹כָּבֵד מְאֹד בַּמִּקְנֶה בַּכֶּסֶף וּבַזָּהָב› (“be-heavy very in-
# something-bought in-silver and-in-gold”) — fact holds: be-heavy-very-in-
# the-miqneh-in-the-kesef-and-and-gold
m.fact("kaved_meod_ba_miqneh_ba_kesef_u_va_zahav")
# -------------------------- Gen.13.3 · THE_RETRACED_STAGES -----------------
# וַיֵּלֶךְ לְמַסָּעָיו מִנֶּגֶב וְעַד־בֵּית־אֵל עַד־הַמָּקוֹם אֲשֶׁר־הָיָה
# שָׁם אהלה אָהֳלוֹ בַּתְּחִלָּה בֵּין בֵּית־אֵל וּבֵין הָעָי
# "And he went on his journeys from the South even to Beth-el, unto the
# place where his tent had been at the beginning, between Beth-el and Ai;"
m.step("Gen.13.3")
# ‹וַיֵּלֶךְ לְמַסָּעָיו› (“and-go to-departure-him/its”) — event: go —
# agent Abram
m.event("go", agent="avram")
# ‹אֲשֶׁר־הָיָה שָׁם אהלה אָהֳלוֹ בַּתְּחִלָּה› (“which be there tent-
# him/its tent-him/its in-commencement”) — fact holds: which-was-there-
# aholo-in-the-techillah
m.fact("asher_hayah_sham_aholo_ba_techillah")
# reads without prior install (flag, not fix): beit-Beth-el, the-ai
m.presupposed("beit_el", "ha_ai")
# -------------------------- Gen.13.4 · THE_RETURN_CALL_AT_THE_FIRST_ALTAR --
# אֶל־מְקוֹם הַמִּזְבֵּחַ אֲשֶׁר־עָשָׂה שָׁם בָּרִאשֹׁנָה וַיִּקְרָא שָׁם
# אַבְרָם בְּשֵׁם יְהוָה
# "unto the place of the altar, which he had made there at the first; and
# Abram called there on the name of the LORD."
m.step("Gen.13.4")
# ‹מְקוֹם הַמִּזְבֵּחַ אֲשֶׁר־עָשָׂה שָׁם› (“place the-altar which make
# there”) — reads without prior install (flag, not fix): altar-beit-Beth-el
m.presupposed("mizbeach_beit_el")
# ‹וַיִּקְרָא שָׁם אַבְרָם בְּשֵׁם יְהוָה› (“and-call there Abram in-name
# YHWH”) — event: call — agent Abram; theme name-the-LORD
m.event("call", agent="avram", themes=["shem_YHWH"])
# -------------------------- Gen.13.5 · LOTS_HOLDINGS -----------------------
# וְגַם־לְלוֹט הַהֹלֵךְ אֶת־אַבְרָם הָיָה צֹאן־וּבָקָר וְאֹהָלִים
# "And Lot also, who went with Abram, had flocks, and herds, and tents."
m.step("Gen.13.5")
# ‹וְגַם־לְלוֹט ... הָיָה צֹאן־וּבָקָר וְאֹהָלִים› (“and-also to-Lot be
# flock and-herd and-tent”) — fact holds: and-also-to-Lot-flock-and-herd-
# and-tent
m.fact("ve_gam_le_lot_tzon_u_vaqar_ve_ohalim")
# -------------------------- Gen.13.6 · THE_LAND_THAT_COULD_NOT_BEAR --------
# וְלֹא־נָשָׂא אֹתָם הָאָרֶץ לָשֶׁבֶת יַחְדָּו כִּי־הָיָה רְכוּשָׁם רָב
# וְלֹא יָכְלוּ לָשֶׁבֶת יַחְדָּו
# "And the land was not able to bear them, that they might dwell together;
# for their substance was great, so that they could not dwell together."
m.step("Gen.13.6")
# ‹וְלֹא־נָשָׂא אֹתָם הָאָרֶץ ... כִּי־הָיָה רְכוּשָׁם רָב› (“and-not
# lift/carry obj-marker-them/their the-earth that be property-them/their
# many/great”) — fact holds: not-lift/carry-otam-the-earth-to-dwell/sit-
# unit; that-was-rekhusham-many/great
m.fact("lo_nasa_otam_ha_aretz_la_shevet_yachdav",
"ki_hayah_rekhusham_rav")
# -------------------------- Gen.13.7 · THE_STRIFE_AND_THE_WATCHING_LAND ----
# וַיְהִי־רִיב בֵּין רֹעֵי מִקְנֵה־אַבְרָם וּבֵין רֹעֵי מִקְנֵה־לוֹט
# וְהַכְּנַעֲנִי וְהַפְּרִזִּי אָז יֹשֵׁב בָּאָרֶץ
# "And there was a strife between the herdmen of Abram's cattle and the
# herdmen of Lot's cattle. And the Canaanite and the Perizzite dwelt then in
# the land."
m.step("Gen.13.7")
# ‹וַיְהִי־רִיב ... וְהַכְּנַעֲנִי וְהַפְּרִזִּי אָז יֹשֵׁב בָּאָרֶץ› (“and-
# be contest and-the-Kenaanite and-the-Perizzite at-that-time dwell/sit in-
# earth”) — fact holds: and-be-contest-between-roei-miqneh-Abram-and-vein-
# roei-miqneh-Lot; and-the-Kenaanite-and-the-Perizzite-at-that-time-
# dwell/sit-in-the-earth
m.fact("va_yehi_riv_bein_roei_miqneh_avram_u_vein_roei_miqneh_lot",
"ve_ha_kenaani_ve_ha_perizi_az_yoshev_ba_aretz")
# -------------------------- Gen.13.8 · THE_PEACE_PLEA_WE_ARE_BROTHERS ------
# וַיֹּאמֶר אַבְרָם אֶל־לוֹט אַל־נָא תְהִי מְרִיבָה בֵּינִי וּבֵינֶיךָ
# וּבֵין רֹעַי וּבֵין רֹעֶיךָ כִּי־אֲנָשִׁים אַחִים אֲנָחְנוּ
# "And Abram said unto Lot: 'Let there be no strife, I pray thee, between me
# and thee, and between my herdmen and thy herdmen; for we are brethren."
m.step("Gen.13.8")
# ‹וַיֹּאמֶר אַבְרָם אֶל־לוֹט› (“and-say Abram to Lot”) — event: say — agent
# Abram
m.event("say", agent="avram")
# ‹אַל־נָא תְהִי מְרִיבָה בֵּינִי וּבֵינֶיךָ› (“do-not please be quarrel
# between-me/my and-between-you/your”) — Abram speaks a demand — LET-NOT:
# be(merivah, between-Abram-and-between-Lot)
m.declare("avram", "LET-NOT",
"tehi(merivah, bein_avram_u_ven_lot)")
# ‹כִּי־אֲנָשִׁים אַחִים אֲנָחְנוּ› (“that man brother we”) — fact holds:
# that-man-brother-we
m.fact("ki_anashim_achim_anachnu")
# -------------------------- Gen.13.9 · THE_OFFER_OF_THE_WHOLE_LAND ---------
# הֲלֹא כָל־הָאָרֶץ לְפָנֶיךָ הִפָּרֶד נָא מֵעָלָי אִם־הַשְּׂמֹאל וְאֵימִנָה
# וְאִם־הַיָּמִין וְאַשְׂמְאִילָה
# "Is not the whole land before thee? separate thyself, I pray thee, from
# me; if thou wilt take the left hand, then I will go to the right; or if
# thou take the right hand, then I will go to the left.'"
m.step("Gen.13.9")
# ‹הֲלֹא כָל־הָאָרֶץ לְפָנֶיךָ› (“is-it-not all the-earth to-face-you/your”)
# — fact holds: the-not-all-the-earth-lefanekha
m.fact("ha_lo_khol_ha_aretz_lefanekha")
# ‹הִפָּרֶד נָא מֵעָלָי› (“break-through please from-over-me/my”) — Abram
# speaks a demand — LET: break-through(Lot, from-over-Abram)
m.declare("avram", "LET",
"hipared(lot, me_al_avram)")
# ‹אִם־הַשְּׂמֹאל וְאֵימִנָה וְאִם־הַיָּמִין וְאַשְׂמְאִילָה› (“if the-dark
# and-be-right-handed and-if the-right-hand and-use-the-left-hand”) — fact
# holds: if-the-dark-and-eminah-and-if-the-right-hand-and-asmilah
m.fact("im_ha_semol_ve_eminah_ve_im_ha_yamin_ve_asmilah")
# -------------------------- Gen.13.10 · THE_EYES_LIFT_TOWARD_EDEN_GROUND ---
# וַיִּשָּׂא־לוֹט אֶת־עֵינָיו וַיַּרְא אֶת־כָּל־כִּכַּר הַיַּרְדֵּן כִּי
# כֻלָּהּ מַשְׁקֶה לִפְנֵי שַׁחֵת יְהוָה אֶת־סְדֹם וְאֶת־עֲמֹרָה
# כְּגַן־יְהוָה כְּאֶרֶץ מִצְרַיִם בֹּאֲכָה צֹעַר
# "And Lot lifted up his eyes, and beheld all the plain of the Jordan, that
# it was well watered every where, before the LORD destroyed Sodom and
# Gomorrah, like the garden of the LORD, like the land of Egypt, as thou
# goest unto Zoar."
m.step("Gen.13.10")
# ‹וַיִּשָּׂא־לוֹט אֶת־עֵינָיו› (“and-lift/carry Lot obj-marker eye-
# him/its”) — event: lift-eyes — agent Lot; theme einav
m.event("lift_eyes", agent="lot", themes=["einav"])
# ‹וַיַּרְא אֶת־כָּל־כִּכַּר הַיַּרְדֵּן› (“and-see obj-marker all circle
# the-Jordan”) — event: see — agent Lot; theme all-circle-the-Jordan
m.event("see", agent="lot", themes=["kol_kikar_ha_yarden"])
# ‹כִּי כֻלָּהּ מַשְׁקֶה לִפְנֵי שַׁחֵת יְהוָה אֶת־סְדֹם וְאֶת־עֲמֹרָה
# כְּגַן־יְהוָה כְּאֶרֶץ מִצְרַיִם› (“that all-her/its causing-to-drink to-
# face decay YHWH obj-marker Sodom and-obj-marker Gomorrah like-garden YHWH
# like-earth Egypt”) — fact holds: that-khulah-mashqeh-lifnei-decay-the-
# LORD-with-Sodom-and-with-amorah
m.fact("ki_khulah_mashqeh_lifnei_shachet_YHWH_et_sedom_ve_et_amorah")
# reads without prior install (flag, not fix): the-Jordan, Sodom, Gomorrah,
# Zoar
m.presupposed("ha_yarden", "sedom", "amora", "tzoar")
# -------------------------- Gen.13.11 · THE_CHOICE_AND_THE_SEPARATION ------
# וַיִּבְחַר־לוֹ לוֹט אֵת כָּל־כִּכַּר הַיַּרְדֵּן וַיִּסַּע לוֹט מִקֶּדֶם
# וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו
# "So Lot chose him all the plain of the Jordan; and Lot journeyed east; and
# they separated themselves the one from the other."
m.step("Gen.13.11")
# ‹וַיִּבְחַר־לוֹ לוֹט אֵת כָּל־כִּכַּר הַיַּרְדֵּן› (“and-try to-him/its
# Lot obj-marker all circle the-Jordan”) — event: choose — agent Lot; theme
# all-circle-the-Jordan
m.event("choose", agent="lot", themes=["kol_kikar_ha_yarden"])
# ‹וַיִּסַּע לוֹט מִקֶּדֶם› (“and-journey Lot from-the-east”) — event:
# journey — agent Lot
m.event("journey", agent="lot")
# ‹וַיִּפָּרְדוּ אִישׁ מֵעַל אָחִיו› (“and-break-through man from-over
# brother-him/its”) — demand settled (popped from the queue): break-
# through(Lot, from-over-Abram)
m.result("hipared(lot, me_al_avram)", tmark="t1")
# -------------------------- Gen.13.12 · THE_TWO_SETTLINGS ------------------
# אַבְרָם יָשַׁב בְּאֶרֶץ־כְּנָעַן וְלוֹט יָשַׁב בְּעָרֵי הַכִּכָּר
# וַיֶּאֱהַל עַד־סְדֹם
# "Abram dwelt in the land of Canaan, and Lot dwelt in the cities of the
# Plain, and moved his tent as far as Sodom."
m.step("Gen.13.12")
# ‹אַבְרָם יָשַׁב בְּאֶרֶץ־כְּנָעַן› (“Abram dwell/sit in-earth Canaan”) —
# event: dwell — agent Abram
m.event("dwell", agent="avram")
# ‹וְלוֹט יָשַׁב בְּעָרֵי הַכִּכָּר› (“and-Lot dwell/sit in-city the-
# circle”) — event: dwell — agent Lot
m.event("dwell", agent="lot")
# ‹וַיֶּאֱהַל עַד־סְדֹם› (“and-tent until Sodom”) — event: tent — agent Lot
m.event("tent", agent="lot")
# reads without prior install (flag, not fix): earth-Canaan
m.presupposed("eretz_kenaan")
# -------------------------- Gen.13.13 · THE_SODOM_VERDICT ------------------
# וְאַנְשֵׁי סְדֹם רָעִים וְחַטָּאִים לַיהוָה מְאֹד
# "Now the men of Sodom were wicked and sinners against the LORD
# exceedingly."
m.step("Gen.13.13")
# ‹וְאַנְשֵׁי סְדֹם רָעִים וְחַטָּאִים לַיהוָה מְאֹד› (“and-man Sodom bad
# and-criminal to-YHWH very”) — fact holds: and-men-of-Sodom-bad-and-
# criminal-to-the-LORD-very
m.fact("ve_anshei_sedom_raim_ve_chataim_la_YHWH_meod")
# -------------------------- Gen.13.14 · THE_SPEECH_AFTER_THE_SEPARATING ----
# וַיהוָה אָמַר אֶל־אַבְרָם אַחֲרֵי הִפָּרֶד־לוֹט מֵעִמּוֹ שָׂא נָא עֵינֶיךָ
# וּרְאֵה מִן־הַמָּקוֹם אֲשֶׁר־אַתָּה שָׁם צָפֹנָה וָנֶגְבָּה וָקֵדְמָה
# וָיָמָּה
# "And the LORD said unto Abram, after that Lot was separated from him:
# 'Lift up now thine eyes, and look from the place where thou art, northward
# and southward and eastward and westward;"
m.step("Gen.13.14")
# ‹וַיהוָה אָמַר אֶל־אַבְרָם אַחֲרֵי הִפָּרֶד־לוֹט מֵעִמּוֹ› (“and-YHWH say
# to Abram after break-through Lot from-with-him/its”) — event: say — agent
# the-LORD
m.event("say", agent="YHWH")
# ‹שָׂא נָא עֵינֶיךָ וּרְאֵה ... צָפֹנָה וָנֶגְבָּה וָקֵדְמָה וָיָמָּה›
# (“lift/carry please eye-you/your and-see hidden-ward and-south-ward and-
# front-ward and-seas-ward”) — the-LORD speaks a demand — LET: lift/carry-
# and-see(Abram, tzafonah-and-negbah-and-qedmah-and-yamah)
m.declare("YHWH", "LET",
"sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)")
# -------------------------- Gen.13.15 · THE_GIFT_FOREVER -------------------
# כִּי אֶת־כָּל־הָאָרֶץ אֲשֶׁר־אַתָּה רֹאֶה לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ
# עַד־עוֹלָם
# "for all the land which thou seest, to thee will I give it, and to thy
# seed for ever."
m.step("Gen.13.15")
# ‹כִּי אֶת־כָּל־הָאָרֶץ אֲשֶׁר־אַתָּה רֹאֶה לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ
# עַד־עוֹלָם› (“that obj-marker all the-earth which you see to-you/your set-
# her/its and-to-seed-you/your until forever”) — fact holds: with-all-the-
# earth-which-you-shepherd-to-you-etnenah; and-to-zarakha-until-forever
m.fact("et_kol_ha_aretz_asher_ata_roeh_lekha_etnenah",
"u_le_zarakha_ad_olam")
# -------------------------- Gen.13.16 · THE_DUST_MEASURE -------------------
# וְשַׂמְתִּי אֶת־זַרְעֲךָ כַּעֲפַר הָאָרֶץ אֲשֶׁר אִם־יוּכַל אִישׁ לִמְנוֹת
# אֶת־עֲפַר הָאָרֶץ גַּם־זַרְעֲךָ יִמָּנֶה
# "And I will make thy seed as the dust of the earth; so that if a man can
# number the dust of the earth, then shall thy seed also be numbered."
m.step("Gen.13.16")
# ‹וְשַׂמְתִּי אֶת־זַרְעֲךָ כַּעֲפַר הָאָרֶץ ... גַּם־זַרְעֲךָ יִמָּנֶה›
# (“and-put/set obj-marker seed-you/your like-dust the-earth also seed-
# you/your weigh-out”) — fact holds: and-put/set-with-zarakha-like-dust-the-
# earth; if-be-able-man-limnot-also-zarakha-yimaneh
m.fact("ve_samti_et_zarakha_ka_afar_ha_aretz",
"im_yukhal_ish_limnot_gam_zarakha_yimaneh")
# -------------------------- Gen.13.17 · THE_WALK_COMMAND -------------------
# קוּם הִתְהַלֵּךְ בָּאָרֶץ לְאָרְכָּהּ וּלְרָחְבָּהּ כִּי לְךָ אֶתְּנֶנָּה
# "Arise, walk through the land in the length of it and in the breadth of
# it; for unto thee will I give it.'"
m.step("Gen.13.17")
# ‹קוּם הִתְהַלֵּךְ בָּאָרֶץ לְאָרְכָּהּ וּלְרָחְבָּהּ› (“arise walk/go in-
# earth to-length-her/its and-to-width-her/its”) — the-LORD speaks a demand
# — LET: arise-walk/go(Abram, in-the-earth-to-arkah-and-to-rachbah)
m.declare("YHWH", "LET",
"qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)")
# ‹כִּי לְךָ אֶתְּנֶנָּה› (“that to-you/your set-her/its”) — fact holds:
# that-to-you-etnenah
m.fact("ki_lekha_etnenah")
# -------------------------- Gen.13.18 · THE_HEBRON_ALTAR -------------------
# וַיֶּאֱהַל אַבְרָם וַיָּבֹא וַיֵּשֶׁב בְּאֵלֹנֵי מַמְרֵא אֲשֶׁר
# בְּחֶבְרוֹן וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה
# "And Abram moved his tent, and came and dwelt by the terebinths of Mamre,
# which are in Hebron, and built there an altar unto the LORD."
m.step("Gen.13.18")
# ‹וַיֶּאֱהַל אַבְרָם› (“and-tent Abram”) — event: tent — agent Abram
m.event("tent", agent="avram")
# ‹וַיָּבֹא› (“and-come/bring”) — event: come — agent Abram
m.event("come", agent="avram")
# ‹וַיֵּשֶׁב בְּאֵלֹנֵי מַמְרֵא› (“and-dwell/sit in-oak Mamre”) — event:
# dwell — agent Abram
m.event("dwell", agent="avram")
# ‹וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה› (“and-build there altar to-YHWH”) —
# event: build — agent Abram; theme altar
m.event("build", agent="avram", themes=["mizbeach"])
# ‹מִזְבֵּחַ› (“altar”) — the world gains: altar-Hebron
m.install("mizbeach_chevron")
# reads without prior install (flag, not fix): Mamre, Hebron
m.presupposed("mamre", "chevron")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'mizbeach_chevron'}
assert m.presupposed_set() == {'beit_el', 'mitzrayim', 'eretz_kenaan', 'ha_negev', 'chevron', 'ha_yarden', 'sedom', 'mamre', 'amora', 'mizbeach_beit_el', 'ha_ai', 'tzoar'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == ['tehi(merivah, bein_avram_u_ven_lot)', 'sa_u_ree(avram, tzafonah_va_negbah_va_qedmah_va_yamah)', 'qum_hithalekh(avram, ba_aretz_le_arkah_u_le_rachbah)']
assert len(m.SPECS["log"]) == 4
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 12}
assert sorted(m.WORLD["facts"]) == sorted(['hu_ve_ishto_ve_khol_asher_lo_ve_lot_imo', 'kaved_meod_ba_miqneh_ba_kesef_u_va_zahav', 'asher_hayah_sham_aholo_ba_techillah', 've_gam_le_lot_tzon_u_vaqar_ve_ohalim', 'lo_nasa_otam_ha_aretz_la_shevet_yachdav', 'ki_hayah_rekhusham_rav', 'va_yehi_riv_bein_roei_miqneh_avram_u_vein_roei_miqneh_lot', 've_ha_kenaani_ve_ha_perizi_az_yoshev_ba_aretz', 'ki_anashim_achim_anachnu', 'ha_lo_khol_ha_aretz_lefanekha', 'im_ha_semol_ve_eminah_ve_im_ha_yamin_ve_asmilah', 'ki_khulah_mashqeh_lifnei_shachet_YHWH_et_sedom_ve_et_amorah', 've_anshei_sedom_raim_ve_chataim_la_YHWH_meod', 'et_kol_ha_aretz_asher_ata_roeh_lekha_etnenah', 'u_le_zarakha_ad_olam', 've_samti_et_zarakha_ka_afar_ha_aretz', 'im_yukhal_ish_limnot_gam_zarakha_yimaneh', 'ki_lekha_etnenah'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 21
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")