The deathless ledger: Shem to Terach, and the two deaths that land (11:10-32) FROZEN
אֵלֶּה תּוֹלְדֹת שֵׁם · eleh toldot Shem · 'these are the generations of Shem'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | Gen 11:10-32 as ONE UNIT (main-loop ruling on staged recommendation): the Shem toledot ('descendants') header + nine ledger rows (11:10-26) and the Terach toledot header + narrative close (11:27-32); the seam is 12:1 (the call). Three legs, all precedent: gen_24's two-headers-one-unit (10:1 + 10:32); gen_14's single-object rule ('splitting it would sever the refrain from its one refusal' — quoted; here inverted: a split at 11:27 would sever the nine deathless rows from the only two deaths); and the open-row device — 11:26 opens Terach's row in 5:32's exact shape and 11:27-32 sits INSIDE it, closing at 11:32 in-span: a split would manufacture a cross-unit hostage arc (5:32-to-9:29's class) that the letter does not force. 23 verses, 271 tokens. The 11:27 header-seam counterargument is filed in the review note. | established |
| B | Hebrew source + trees | All 23 verses from DB tree_json (rule set v3, all unique, pure binary; ascii rendered 2026-08-03). Tree facts (accent positions DB-verified for every verse): the template's rest-splits are metronomic — every row verse rests (etnachta, major mid-verse rest) after shanah ('years') or after the heir's object-phrase, and the verse-end (silluq) seats the HEIR'S NAME on every begets-verse (Arpachshad, Shelach, Ever, Peleg, Reu, Serug, Nachor, Terach) and u-vanot ('and daughters') on every after-verse — the slot Gen 5 isolated va-yamot ('and he died') on is occupied by the next generation; 11:10 ends on ha-mabul ('the deluge') — the flood-word's FINAL Torah token (12 of 12) is the ledger's first verse-end; 11:26 ends on Haran — the open row's last word is the son about to die; 11:28 rests on aviv ('his father') — [the death before the father | the geography]; 11:30 rests on akarah ('barren') and ends on valad ('child') — the state, then the hapax; 11:32 rests after shanah and the right arm is THREE words, va-yamat terach be-charan ('and Terach died in Charan') — the refrain's isolation gone. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03): the begetting verb HIPHIL (causative, 'brought-to-birth') throughout — gen_14's patrilineal stem continues; va-yoled ('and he begot', wayyiqtol narrative form) in the rows, holid ('begot', bare perfect) twice in the 11:27 header (table tense, gen_24's class); rows 2-3 ONLY break the wayyiqtol rhythm with fronted-subject PERFECT (ve-arpakhshad CHAY, ve-shelach CHAY — 'and Arpachshad LIVED', 'and Shelach LIVED'; 11:12, 11:14), rows 4-9 revert [held, not explained]; the death-verb census: TWO tokens of Strong 4191 ('die') in span — 11:28 and 11:32, both va-yamat (non-pausal 'and he died' — neither is verse-final; Gen 5's eight refrain tokens are all pausal va-yamot on the verse-end), ZERO in the nine rows; 11:10's shem ben-meat shanah ('Shem, son-of-a-hundred-years' age idiom) — 5:32/7:6's flood-era idiom, not the rows' lived-N; 11:29's va-yiqach ('and he took') SINGULAR with compound subject (Abram AND Nachor) and plural la-hem ('for themselves') [wobble held]; 11:30's va-tehi ('and she was') — the span's ONLY feminine verb against 22+ masculine finite verbs: the ledger's one 'she', introducing the barren woman; 11:31's va-yetzu itam ('and they went out WITH THEM' — et-m, Strong 854 'with') [crux held, not resolved]; 11:31's relation-obsession: ben-o ('his son') x3 + ben ('son of') x2 in one verse. Debut/exit censuses run BEFORE drafting: akarah ('barren') Torah token 1 at 11:30 (career: 25:21 Rivkah, 29:31 Rachel, then Exod 23:26 + Deut 7:14 x2 — the law's reversal; PROSE ONLY); valad ('child/offspring') TORAH HAPAX at 11:30, verse-final; Yiska ('Iscah') TORAH HAPAX at 11:29; moledet ('nativity/birthplace') token 1 INSIDE the death notice at 11:28, token 2 = 12:1 [career fact; seam not encoded]; mabul ('deluge') token 12/12 at 11:10; Shem-the-name tokens 12-14 of 14 (11:10 x2, 11:11) — the man exits the corpus at the head of his own ledger; the ENTIRE Torah careers of Haran-the-person (6 tokens), Reu (4), Serug (4) sit inside the span; Arpachshad (6), Shelach (6), Peleg (5) close their careers here (Peleg's token 1 = 10:25, gen_24's division verse); Ur (3 tokens) and Kasdim ('Chaldeans', 3 tokens) travel only as the pair Ur Kasdim (11:28, 11:31, 15:7); Sarai tokens 1-3 of 17 (career ends at 17:15, the rename); Avram tokens 1-6 of 59 (career ends at 17:5, the rename); Lot tokens 1-2 of 32; Milcah tokens 1-2 of 10 (3-7 = Rivkah's genealogy); Nachor ONE LEMMA TWO MEN (grandfather tokens 1-4, grandson 5-8; 9-16 all the grandson's later line); Terach ONE LEMMA MAN AND PLACE (tokens 10-11 = the Num 33:27-28 wilderness station). Implicit lifespan sums (Shem 600, Arpachshad 438, Shelach 433, Ever 464, Peleg 239, Reu 239, Serug 230, Nachor 148) are ARITHMETIC, NOT LETTER — quarantined to prose; only Terach's 205 is stated, and it is the span's only total. | tested |
| D | Predicates & outcomes | gen_14 made DEVIATION the ledger's signal; this ledger's first deviation is the deletion of the ledger's own ending. The machine's model: rows as beget-events + bulk standing facts (gen_14's classes, quoted), NO total-facts and NO die-events for nine rows because the letter writes none — the absence is genre delta held in prose, not machine state [seed order]. The unit's meaning concentrates where death returns: (1) 11:28 — the corpus's first son-to-die-before- his-father, verse-initial, numberless, and the first LOCATED death (in the land of his moledet ['birthplace'] — the word's debut is inside a death notice); (2) 11:32 — the row-closure grammar of 9:29 with two named deltas: kol ('all') dropped from the total, and the death-verb sharing its verse-final arm with a name and a place ('and Terach died in Charan') where the frozen refrain stood alone. Between them: two wives taken (one with a genealogy, one with none — Sarai's parentage withheld [OPEN]), the barren fact doubled (akarah + ein lah valad, 'barren' + 'she had no child'), and a journey that states its destination (artzah Kenaan, 'toward the land of Canaan'), stops short (ad Charan, 'as far as Charan'), and settles — the letter's own suspension, standing open at the unit wall [OPEN]. | tested |
| E | Logic format choice | Operator lines; NO ledger-register row (gen_14, quoted: 'the LEDGER register remains the creation week's — this book's "ledger" is genre, not machine state'). HYBRID STEP FORMAT [bold, flagged]: eight paragraph-grouped row steps (gen_24's ratified device, ref style Gen.11.12-13) + seven per-verse steps (gen_14's device) for 11:26-32. SECTION x2 (11:10, 11:27 — gen_08's header device via gen_14: 'A header labels; it installs nothing'; toledot ['descendants'] tokens 6 and 7, ordinals DB-verified). EVENTs (17): beget x10 (nine rows — 11:26 one event with three Themes, 5:32's class quoted — plus Haran-begot-Lot in table perfect), die x2 (11:28, 11:32 — gen_14's death-event class quoted), take x2 (11:29 wives; 11:31 the family), go_out x1 (11:31, the itam ['with them'] crux held), come x1 (11:31, ad Charan), settle x1 (11:31). Standing facts (16): Shem's age-idiom + flood anchor (2), bulk sons-and-daughters x8 (gen_14's HOLDS(banim_u_vanot(X)) class, quoted), the two wife-name facts + the Haran-fatherhood pair (11:29), saray_akarah + ein_lah_valad (11:30 — the letter doubles, the machine holds both), la_lekhet_artzah_kenaan (11:31 — the stated destination, standing unfinished [OPEN]), yemei_terach_205_shanah (11:32 — NOT kol_yemei; the letter drops 'all' and the token follows). NAME x0 and REGISTRY x0: no va-yiqra ('and he called') formula anywhere in span — gen_24's report-naming rule; Sarai, Milcah, Yiska, Lot all enter by report. NO demands (SPECS empty end-to-end — gen_14's class), NO tests, ZERO WORLD installs; NOTE_PRESUPPOSED x3 (ur_kasdim, charan, eretz_kenaan — geography read, never installed). The nine missing row-closes fire NOTHING: the machine's negative space, gen_14's Chanokh device generalized to a whole ledger. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: yemei_terach_205_shanah, ein_lah_valad, shenatayim_achar_ha_mabul, la_lekhet_artzah_kenaan, nachor_ben_serug / nachor_ben_terach (the papponymy split, flagged). Template rows share operator shape by design. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (queue only — the prospective middot scan is the main loop's gate, not claimed here): Bereshit Rabbah 38 end (the Ur-furnace reading of 11:28 — Haran's death 'in Ur of the Chaldeans' read as fire; a NAME-MIDRASH/ORDEAL class candidate); Bavli Megillah 14a + Sanhedrin 69b (Yiska identified with Sarai — an IDENTIFICATION class candidate; the letter withholds Sarai's parentage and the chain fills it); Bavli Bava Batra 91a (Abram's Ur years); Rashi at 11:28 ('in the presence of' = in his father's lifetime; the furnace), 11:29 (Yiska = Sarai), 11:32 (the deferred death notice vs 12:1's chronology — an ARITHMETIC-HARMONY class candidate: 70+75 vs 205). Tier-A Onkelos (Aramaic translation; 23 fetches, Data/FETCHLOG.md 2026-08-03): findings in ORAL_onkelos_tier_a — headline: the buffer PRESERVES the letter's anomalies (the fronted perfects of 11:12/14, the kol-less total of 11:32, the itam crux as imhon ['with them'], the valad hapax as cognate velad) but SPLITS the take-verb the letter repeats (u-nesiv 'and he took' for wives at 11:29; u-devar 'and he LED' for persons on the road at 11:31). | tested |
| H | Scenarios | S1 the header row: section labels, beget fires, flood-anchor facts hold, bulk holds — and no total, no death (prose assertion). S2 the fronted-perfect pair ran clean. S3 the papponymy row (grandfather Nachor). S4 the open row: three Themes in one beget. S5 the second header inside the row: no re-fire, Lot's begetting fires. S6 the first death: die-event on the trace, deltas named. S7 the wives: take-event, name-facts, the withheld parentage flagged [OPEN]. S8 the barren state: both facts hold, verse-final hapax. S9 the stalled journey: four events fire, destination-fact stands unfinished, three geography flags. S10 the close: the kol-less total holds, die-event fires, SPECS empty at unit end — the ledger closes owing nothing. S11_negative LET? contract guard; S12_negative flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (hiphil begettings, the two qal wayyiqtol deaths, the fronted perfects, the 3fs singleton, TIR-014 object markers) and DB censuses run BEFORE drafting (the death-verb exact census; toledot ordinals 6-7; the debut/hapax/exit table; the accent positions; the age-idiom split; the Nachor and Terach lemma shares). NOT supplied: why nine rows lose their closes, why kol ('all') drops at 11:32, who 'them' is in va-yetzu itam ('and they went out with them'), Sarai's parentage, any connection between the man Haran (heh-spelled) and the city Charan (chet-spelled — the letter separates them by consonant and this unit's glosses keep them separate), the implicit sums, or the journey's abort — every one [OPEN] or prose-only; the Onkelos deltas stay dual-track. | established |
| J | Pre-flight + draft ship | Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen26.py; draft guard bypassed for preview only). This unit ships as STATUS: DRAFT by the gen-3 block agent (mechanics only). The main loop verifies every frozen-unit quote, re-runs the censuses independently, rules on the flagged bold choices, and freezes through the standard gate chain. Changes require a new derive pass, not silent edits. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_11_10_11 · Gen.11.10-11 · SHEM_HEADER_AND_THE_FIRST_DEATHLESS_ROW
אֵלֶּה תּוֹלְדֹת שֵׁם שֵׁם בֶּן־מְאַת שָׁנָה וַיּוֹלֶד אֶת־אַרְפַּכְשָׁד שְׁנָתַיִם אַחַר הַמַּבּוּל … וַיּוֹלֶד בָּנִים וּבָנוֹת · eleh toldot shem shem ben-meat shana va-yoled et-arpakhshad shenatayim achar ha-mabul … va-yoled banim u-vanot · [EN-AID/JPS] These are the generations of Shem. Shem was a hundred years old, and begot Arpachshad two years after the flood. And Shem lived after he begot Arpachshad five hundred years, and begot sons and daughters.
אלה תולדת שם שם בן־מאת שנה ויולד את־ארפכשד · ele toldot shem shem ben-meat shana va-yoled et-arpakhshad · the header and the begetting at 100 (11:10 etnachta arm)
שנתים אחר המבול · shenatayim achar ha-mabul · two years after the deluge — the flood-word's last Torah token, verse-final
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| SECTION | SECTION(toledot_shem, eleh toldot shem — the sixth toledot header labels; installs nothing) = SECTION(generations-shem, these toldot shem — the sixth generations header labels; installs nothing) toledot ('descendants/generations') TOKEN 6 (ordinals DB-verified: 2:4, 5:1, 6:9, 10:1, 10:32 before it) — gen_14's header device, quoted: 'A header labels; it installs nothing.' The name doubles across the seam (toldot SHEM: SHEM ben-meat shanah) — and these are Shem-the-name's tokens 12-13 of 14; token 14 is the next verse. The man exits the corpus at the head of his own ledger [career fact; prose]. | אֵלֶּה תּוֹלְדֹת שֵׁם · eleh toldot shem = these toldot shem | — | tested |
| PRECONDITION_STATE | HOLDS(shem_ben_meat_shanah, t0) ∧ HOLDS(shenatayim_achar_ha_mabul, t0) = HOLDS(shem-ben-meat-year, t0) ∧ HOLDS(shenatayim-achar-the-mabul, t0) Row 1 opens on the AGE IDIOM, not the rows' lived-N: ben-meat shanah ('son of a hundred years') — 5:32's and 7:6's flood-era formula (Noach at 500, Noach at 600), here anchoring the ledger to the deluge: shenatayim achar ha-mabul ('two years after the deluge') — and ha-mabul ('the deluge') is the flood-word's FINAL Torah token (12 of 12), seated on the verse-end. The ledger's first line says farewell to the flood [letter facts; the chronology question 5:32/7:6/11:10 poses is the chain's, not the machine's — named-only]. | שֵׁם בֶּן־מְאַת שָׁנָה … שְׁנָתַיִם אַחַר הַמַּבּוּל · shem ben-meat shana … shenatayim achar ha-mabul = shem ben-meat shana shenatayim achar the-mabul | — | tested |
| EVENT | beget(e1) ∧ Agent(e1, shem) ∧ Theme(e1, arpakhshad) gen_14's row class, quoted: 'beget(e4) ∧ Agent(e4, shet) ∧ Theme(e4, enosh)' — 'Template row: Shet begets Enosh.' HIPHIL ('caused-to-be-born') as through all of Gen 5: the ledger stays patrilineal to the stem; no mother is named in any row. | וַיּוֹלֶד אֶת־אַרְפַּכְשָׁד · va-yoled et-arpakhshad = and-yoled arpakhshad | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(shem), t0) = HOLDS(banim-and-vanot(shem), t0) gen_14's bulk class, quoted: 'HOLDS(banim_u_vanot(shet), t0)' — 'the bulk entry: unnamed, uncounted (gen_09's bulk precedent: the letter withholds the values and the machine logs no ghosts).' Five hundred years after Arpachshad — and then the row STOPS. Where Gen 5 wrote 'and all the days of X were N years, and he died', this ledger writes NOTHING: no total, no refrain — nine rows in a row [the genre delta; prose only, no operator encodes an absence]. The verse-end seats u-vanot ('and daughters') where Gen 5 seated the death-verb. | וַיְחִי־שֵׁם אַחֲרֵי הוֹלִידוֹ אֶת־אַרְפַּכְשָׁד חֲמֵשׁ מֵאוֹת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-shem achare holid-o et-arpakhshad chamesh meot shana va-yoled banim u-vanot = and-yechi-shem achare holid-o arpakhshad chamesh meot shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_12_13 · Gen.11.12-13 · ARPACHSHAD_ROW_FRONTED_PERFECT
וְאַרְפַּכְשַׁד חַי חָמֵשׁ וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שָׁלַח … וַיּוֹלֶד בָּנִים וּבָנוֹת · ve-arpakhshad chay chamesh u-sheloshim shana va-yoled et-shalach … va-yoled banim u-vanot · [EN-AID/JPS] And Arpachshad lived five and thirty years, and begot Shelah. And Arpachshad lived after he begot Shelah four hundred and three years, and begot sons and daughters.
וארפכשד חי חמש ושלשים שנה · ve-arpakhshad chay chamesh u-sheloshim shana · Arpachshad LIVED — fronted subject, perfect verb (11:12 etnachta arm)
ויולד את־שלח · va-yoled et-shalach · and begot Shelach — the heir on the verse-end
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e2) ∧ Agent(e2, arpakhshad) ∧ Theme(e2, shelach) Template row — with the span's quietest anomaly: ve-arpakhshad CHAY ('and Arpachshad LIVED' — fronted subject + PERFECT, morph Vqp3ms) where every Gen 5 row and rows 4-9 here run wayyiqtol va-yechi ('and-he-lived' narrative form). Rows 2 and 3 only [held, not explained; Onkelos PRESERVES the fronting — see ORAL_onkelos_tier_a]. | וְאַרְפַּכְשַׁד חַי חָמֵשׁ וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שָׁלַח · ve-arpakhshad chay chamesh u-sheloshim shana va-yoled et-shalach = and-arpakhshad chay chamesh and-sheloshim shana and-yoled shalach | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(arpakhshad), t0) = HOLDS(banim-and-vanot(arpakhshad), t0) The bulk entry (gen_14's class): 403 after Shelach; sons and daughters; no close. Arpachshad's Torah career CLOSES at 11:13 (tokens 3-6 of 6; 1-2 were the table's, 10:22 and 10:24) — the ledger that never says he died is the last place he appears. | וַיְחִי אַרְפַּכְשַׁד … שָׁלֹשׁ שָׁנִים וְאַרְבַּע מֵאוֹת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi arpakhshad … shalosh shanim ve-arba meot shana va-yoled banim u-vanot = and-yechi arpakhshad shalosh shanim and-arba meot shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_14_15 · Gen.11.14-15 · SHELACH_ROW_FRONTED_PERFECT
וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־עֵבֶר … וַיּוֹלֶד בָּנִים וּבָנוֹת · ve-shelach chay sheloshim shana va-yoled et-ever … va-yoled banim u-vanot · [EN-AID/JPS] And Shelah lived thirty years, and begot Eber. And Shelah lived after he begot Eber four hundred and three years, and begot sons and daughters.
ושלח חי שלשים שנה · ve-shelach chay sheloshim shana · Shelach LIVED — the second fronted perfect (11:14 etnachta arm)
ויולד את־עבר · va-yoled et-ever · and begot Ever
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e3) ∧ Agent(e3, shelach) ∧ Theme(e3, ever) Template row; the fronted-perfect pair completes (ve-shelach CHAY — rows 2-3's shared anomaly, then never again in the span). Ever ('Eber') — the name the table hung the whole line on (10:21: Shem 'father of all the children of Ever'). | וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־עֵבֶר · ve-shelach chay sheloshim shana va-yoled et-ever = and-shelach chay sheloshim shana and-yoled ever | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(shelach), t0) = HOLDS(banim-and-vanot(shelach), t0) The bulk entry: 403 — the same after-count as his father's row [letter fact]; Shelach's Torah career closes at 11:15 (tokens 3-6 of 6). | וַיְחִי־שֶׁלַח … שָׁלֹשׁ שָׁנִים וְאַרְבַּע מֵאוֹת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-shelach … shalosh shanim ve-arba meot shana va-yoled banim u-vanot = and-yechi-shelach shalosh shanim and-arba meot shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_16_17 · Gen.11.16-17 · EVER_ROW_WAYYIQTOL_RESUMES
וַיְחִי־עֵבֶר אַרְבַּע וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־פָּלֶג … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-ever arba u-sheloshim shana va-yoled et-paleg … va-yoled banim u-vanot · [EN-AID/JPS] And Eber lived four and thirty years, and begot Peleg. And Eber lived after he begot Peleg four hundred and thirty years, and begot sons and daughters.
ויחי־עבר ארבע ושלשים שנה · va-yechi-ever arba u-sheloshim shana · va-yechi ('and he lived') returns (11:16 etnachta arm)
ויולד את־פלג · va-yoled et-paleg · and begot Peleg — the division man begotten
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e4) ∧ Agent(e4, ever) ∧ Theme(e4, peleg) Template row; wayyiqtol ('and-he-lived' narrative form) resumes and holds to the end. Peleg — token 1 was 10:25's 'for in his days the earth was divided' (frozen gen_24 ground); the ledger re-runs the name without the etiology. | וַיְחִי־עֵבֶר אַרְבַּע וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־פָּלֶג · va-yechi-ever arba u-sheloshim shana va-yoled et-paleg = and-yechi-ever arba and-sheloshim shana and-yoled paleg | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(ever), t0) = HOLDS(banim-and-vanot(ever), t0) The bulk entry: 430 after Peleg — the span's LONGEST after-count, and the last of the long ones: the implicit sums fall off a cliff at the next row (464 to 239 — arithmetic, not letter; prose only). Ever's span tokens are 4-7 of 8; one token remains in the whole Torah (Num 24:24, in Balaam's oracle). | וַיְחִי־עֵבֶר אַחֲרֵי הוֹלִידוֹ אֶת־פֶּלֶג שְׁלֹשִׁים שָׁנָה וְאַרְבַּע מֵאוֹת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-ever achare holid-o et-peleg sheloshim shana ve-arba meot shana va-yoled banim u-vanot = and-yechi-ever achare holid-o peleg sheloshim shana and-arba meot shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_18_19 · Gen.11.18-19 · PELEG_ROW_CAREER_CLOSES
וַיְחִי־פֶלֶג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־רְעוּ … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-feleg sheloshim shana va-yoled et-reu … va-yoled banim u-vanot · [EN-AID/JPS] And Peleg lived thirty years, and begot Reu. And Peleg lived after he begot Reu two hundred and nine years, and begot sons and daughters.
ויחי־פלג שלשים שנה · va-yechi-feleg sheloshim shana · Peleg at thirty (11:18 etnachta arm)
ויולד את־רעו · va-yoled et-reu · and begot Reu
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e5) ∧ Agent(e5, peleg) ∧ Theme(e5, reu) Template row. Peleg's Torah career CLOSES at 11:19 (tokens 2-5 of 5); Reu's ENTIRE Torah career is these four tokens (11:18-21) — the ledger is the only place the Torah ever says his name. | וַיְחִי־פֶלֶג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־רְעוּ · va-yechi-feleg sheloshim shana va-yoled et-reu = and-yechi-feleg sheloshim shana and-yoled reu | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(peleg), t0) = HOLDS(banim-and-vanot(peleg), t0) The bulk entry: 209 after Reu; no close. The division man's row is the first of the short ones. | וַיְחִי־פֶלֶג אַחֲרֵי הוֹלִידוֹ אֶת־רְעוּ תֵּשַׁע שָׁנִים וּמָאתַיִם שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi-feleg achare holid-o et-reu tesha shanim u-matayim shana va-yoled banim u-vanot = and-yechi-feleg achare holid-o reu tesha shanim and-matayim shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_20_21 · Gen.11.20-21 · REU_ROW_WHOLE_CAREER_IN_SPAN
וַיְחִי רְעוּ שְׁתַּיִם וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שְׂרוּג … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi reu shetayim u-sheloshim shana va-yoled et-serug … va-yoled banim u-vanot · [EN-AID/JPS] And Reu lived two and thirty years, and begot Serug. And Reu lived after he begot Serug two hundred and seven years, and begot sons and daughters.
ויחי רעו שתים ושלשים שנה · va-yechi reu shetayim u-sheloshim shana · Reu at thirty-two (11:20 etnachta arm)
ויולד את־שרוג · va-yoled et-serug · and begot Serug
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e6) ∧ Agent(e6, reu) ∧ Theme(e6, serug) Template row; Serug's ENTIRE Torah career is likewise these four tokens (11:20-23). | וַיְחִי רְעוּ שְׁתַּיִם וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שְׂרוּג · va-yechi reu shetayim u-sheloshim shana va-yoled et-serug = and-yechi reu shetayim and-sheloshim shana and-yoled serug | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(reu), t0) = HOLDS(banim-and-vanot(reu), t0) The bulk entry: 207 after Serug; no close. (Reu's implicit 239 equals Peleg's — twin sums, arithmetic only; prose.) | וַיְחִי רְעוּ אַחֲרֵי הוֹלִידוֹ אֶת־שְׂרוּג שֶׁבַע שָׁנִים וּמָאתַיִם שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi reu achare holid-o et-serug sheva shanim u-matayim shana va-yoled banim u-vanot = and-yechi reu achare holid-o serug seven shanim and-matayim shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_22_23 · Gen.11.22-23 · SERUG_ROW_BEGETS_THE_FIRST_NACHOR
וַיְחִי שְׂרוּג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־נָחוֹר … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi serug sheloshim shana va-yoled et-nachor … va-yoled banim u-vanot · [EN-AID/JPS] And Serug lived thirty years, and begot Nahor. And Serug lived after he begot Nahor two hundred years, and begot sons and daughters.
ויחי שרוג שלשים שנה · va-yechi serug sheloshim shana · Serug at thirty (11:22 etnachta arm)
ויולד את־נחור · va-yoled et-nachor · and begot Nachor — the grandfather
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e7) ∧ Agent(e7, serug) ∧ Theme(e7, nachor_ben_serug) = beget(e7) ∧ Agent(e7, serug) ∧ Theme(e7, nachor-ben-serug) Template row. Nachor ('Nahor') — ONE LEMMA, TWO MEN [flagged]: Strong 5152's tokens 1-4 are THIS man (Serug's son, Terach's father); tokens 5-8 are his GRANDSON (Terach's son, 11:26-29); the machine splits the tokens as nachor_ben_serug / nachor_ben_terach ('Nachor son of Serug' / 'Nachor son of Terach') — the papponymy (grandchild named for grandfather) is the letter's; the DB cannot distinguish them and the token-split is this draft's [bold, flagged for review]. | וַיְחִי שְׂרוּג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־נָחוֹר · va-yechi serug sheloshim shana va-yoled et-nachor = and-yechi serug sheloshim shana and-yoled nachor | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(serug), t0) = HOLDS(banim-and-vanot(serug), t0) The bulk entry: a round 200 after Nachor; no close. Serug's whole Torah career ends here (tokens 1-4 of 4, all in-span). | וַיְחִי שְׂרוּג אַחֲרֵי הוֹלִידוֹ אֶת־נָחוֹר מָאתַיִם שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi serug achare holid-o et-nachor matayim shana va-yoled banim u-vanot = and-yechi serug achare holid-o nachor matayim shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_24_25 · Gen.11.24-25 · NACHOR_ROW_BEGETS_TERACH
וַיְחִי נָחוֹר תֵּשַׁע וְעֶשְׂרִים שָׁנָה וַיּוֹלֶד אֶת־תָּרַח … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi nachor tesha ve-esrim shana va-yoled et-tarach … va-yoled banim u-vanot · [EN-AID/JPS] And Nahor lived nine and twenty years, and begot Terah. And Nahor lived after he begot Terah a hundred and nineteen years, and begot sons and daughters.
ויחי נחור תשע ועשרים שנה · va-yechi nachor tesha ve-esrim shana · Nachor at twenty-nine — the span's youngest begetter (11:24 etnachta arm)
ויולד את־תרח · va-yoled et-tarach · and begot Terach
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e8) ∧ Agent(e8, nachor_ben_serug) ∧ Theme(e8, terach) = beget(e8) ∧ Agent(e8, nachor-ben-serug) ∧ Theme(e8, terach) Template row: the only sub-thirty begetting in either ledger (29). Terach debuts — Strong 8646, whose own last two Torah tokens (Num 33:27-28) are a WILDERNESS STATION named Terach: one lemma, a man here and a place forty years of text later [lemma-share flagged; named-only]. | וַיְחִי נָחוֹר תֵּשַׁע וְעֶשְׂרִים שָׁנָה וַיּוֹלֶד אֶת־תָּרַח · va-yechi nachor tesha ve-esrim shana va-yoled et-tarach = and-yechi nachor tesha and-esrim shana and-yoled tarach | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(banim_u_vanot(nachor_ben_serug), t0) = HOLDS(banim-and-vanot(nachor-ben-serug), t0) The bulk entry: 119 after Terach — the span's SHORTEST after-count (implicit 148, the line's minimum; arithmetic, prose). The eighth row ends the pure template: no row after this one will ever run clean again. | וַיְחִי נָחוֹר אַחֲרֵי הוֹלִידוֹ אֶת־תֶּרַח תְּשַׁע־עֶשְׂרֵה שָׁנָה וּמְאַת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi nachor achare holid-o et-terach tesha-esre shana u-meat shana va-yoled banim u-vanot = and-yechi nachor achare holid-o terach tesha-esre shana and-meat shana and-yoled banim and-vanot | — | tested |
STEP_Gn_11_26 · Gen.11.26 · TERACH_ROW_OPENS_THREE_SONS
וַיְחִי־תֶרַח שִׁבְעִים שָׁנָה וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר וְאֶת־הָרָן · va-yechi-terach shivim shana va-yoled et-avram et-nachor ve-et-haran · [EN-AID/JPS] And Terah lived seventy years, and begot Abram, Nahor, and Haran.
ויחי־תרח שבעים שנה · va-yechi-terach shivim shana · Terach at seventy (etnachta arm)
ויולד את־אברם את־נחור ואת־הרן · va-yoled et-avram et-nachor ve-et-haran · and begot Abram, Nachor, Haran — the verse ends on the son who will die
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e9) ∧ Agent(e9, terach) ∧ Theme(e9, avram) ∧ Theme(e9, nachor_ben_terach) ∧ Theme(e9, haran) = beget(e9) ∧ Agent(e9, terach) ∧ Theme(e9, avram) ∧ Theme(e9, nachor-ben-terach) ∧ Theme(e9, haran) THE OPEN-ROW DEVICE RECURS — gen_14's 5:32, quoted: 'The first TRIPLE begetting — one event, three named sons: Shem, Cham, Yafet (first tokens, all three). The next unit's whole cast in one verse.' and 'The last row OPENS and does not close: Noach at five hundred — no "lived after", no total, NO DEATH VERSE.' Here the SECOND triple begetting — Avram ('Abram'), Nachor (nachor_ben_terach — the grandfather's name handed down two rows after we met it), Haran (heh-spelled; Strong 2039, all six of his Torah tokens inside this span) — and the row likewise gets NO after-line and NO bulk entry. The named delta against 5:32: THIS open row closes IN-SPAN, at 11:32 — the letter that held Noach's total hostage across the flood holds Terach's only six verses, and everything between is inside the row. | וַיְחִי־תֶרַח שִׁבְעִים שָׁנָה וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר וְאֶת־הָרָן · va-yechi-terach shivim shana va-yoled et-avram et-nachor ve-et-haran = and-yechi-terach shivim shana and-yoled avram nachor and-haran | TIR-014 | tested |
STEP_Gn_11_27 · Gen.11.27 · TERACH_HEADER_INSIDE_THE_OPEN_ROW
וְאֵלֶּה תּוֹלְדֹת תֶּרַח תֶּרַח הוֹלִיד אֶת־אַבְרָם אֶת־נָחוֹר וְאֶת־הָרָן וְהָרָן הוֹלִיד אֶת־לוֹט · ve-ele toldot terach terach holid et-avram et-nachor ve-et-haran ve-haran holid et-lot · [EN-AID/JPS] Now these are the generations of Terah. Terah begot Abram, Nahor, and Haran; and Haran begot Lot.
ואלה תולדת תרח תרח הוליד את־אברם את־נחור ואת־הרן · ve-ele toldot terach terach holid et-avram et-nachor ve-et-haran · the seventh header, restating the three sons (etnachta arm ends on Haran)
והרן הוליד את־לוט · ve-haran holid et-lot · and Haran begot Lot — the new fact
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| SECTION | SECTION(toledot_terach, ve-eleh toldot terach — the seventh toledot header labels; installs nothing) = SECTION(generations-terach, and-these toldot terach — the seventh generations header labels; installs nothing) toledot ('descendants/generations') TOKEN 7 — the second header of the unit (gen_24's two-headers precedent; gen_14's device quoted: 'A header labels; it installs nothing'). The name doubles across the seam again (toldot TERACH: TERACH holid). The header restates 11:26's three sons NEAR-VERBATIM with one named delta: the begetting verb drops from wayyiqtol va-yoled ('and-he-begot', narrative) to bare PERFECT holid ('begot' — table tense, gen_24's class). The machine fires NO second beget-event for Avram, Nachor, Haran: the row already fired at 11:26; a header labels [bold choice, flagged for review]. | וְאֵלֶּה תּוֹלְדֹת תֶּרַח · ve-ele toldot terach = and-ele toldot terach | — | tested |
| EVENT | beget(e10) ∧ Agent(e10, haran) ∧ Theme(e10, lot) The header's ONE new fact fires: Haran begot Lot (table perfect; Lot's Torah debut, token 1 of 32). The only third-generation begetting in the span — the letter reaches past its own sons exactly once, for the boy it will need at 11:31 [and the chain will need at Sodom; named-only]. | וְהָרָן הוֹלִיד אֶת־לוֹט · ve-haran holid et-lot = and-haran holid lot | TIR-014 | tested |
STEP_Gn_11_28 · Gen.11.28 · HARAN_DIES_BEFORE_HIS_FATHER
וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו בְּאֶרֶץ מוֹלַדְתּוֹ בְּאוּר כַּשְׂדִּים · va-yamat haran al-pene terach avi-v be-eretz moladt-o be-ur kasdim · [EN-AID/JPS] And Haran died in the presence of his father Terah in the land of his nativity, in Ur of the Chaldees.
וימת הרן על־פני תרח אביו · va-yamat haran al-pene terach avi-v · Haran died before the face of Terach his father (etnachta arm)
בארץ מולדתו באור כשדים · be-eretz moladt-o be-ur kasdim · in the land of his birth, in Ur of the Chaldeans — a death with an address
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | die(e11) ∧ Agent(e11, haran) gen_14's death-event class, quoted: 'die(e3) ∧ Agent(e3, adam)' — 'VA-YAMOT ("and he died") — the refrain.' But this is NOT the refrain [named deltas, census-exact]: the span's first death-token after NINE deathless rows, and it inverts the class three ways — (1) VERSE-INITIAL va-yamat ('and he died', non-pausal) where all eight Gen 5 tokens are verse-final pausal va-yamot alone on the verse-end; (2) NUMBERLESS — Haran is the only ledger man in two chapters with no age at all; (3) the dead man is a SON dying al-pene ('in the presence of', lit. 'upon the face of') his FATHER — the corpus's first son-before-father death, in the ledger genre whose entire engine is fathers dying after full centuries [characterization flagged; the chain reads al-pene as 'in the lifetime of' — named-only; Onkelos keeps the face-idiom literally: al apei]. | וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו · va-yamat haran al-pene terach avi-v = and-yamat haran upon-pene terach avi-v | — | tested |
| PRECONDITION_STATE | HOLDS(be_eretz_moladto_be_ur_kasdim(haran), t0) = HOLDS(in-earth-moladto-in-ur-kasdim(haran), t0) THE FIRST LOCATED DEATH: no Gen 5 death has a place; Haran's has two nested ones — the land of his moledet ('nativity/birthplace': the word's TORAH DEBUT is inside a death notice; its token 2 is 12:1's 'from your moledet' — career fact, prose, seam not encoded), and Ur Kasdim ('Ur of the Chaldees': both lemmas' Torah debuts; the pair never separates in its three Torah tokens — 11:28, 11:31, 15:7). | בְּאֶרֶץ מוֹלַדְתּוֹ בְּאוּר כַּשְׂדִּים · be-eretz moladt-o be-ur kasdim = earth moladt-o in-ur kasdim | — | tested |
| NOTE_PRESUPPOSED | ur_kasdim are READ without prior install (known geography) = ur-kasdim are READ without prior install (known geography) flag, not fix | — | — | tested |
STEP_Gn_11_29 · Gen.11.29 · THE_WIVES_TAKEN_ONE_GENEALOGY_WITHHELD
וַיִּקַּח אַבְרָם וְנָחוֹר לָהֶם נָשִׁים שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי וְשֵׁם אֵשֶׁת־נָחוֹר מִלְכָּה בַּת־הָרָן אֲבִי־מִלְכָּה וַאֲבִי יִסְכָּה · va-yiqach avram ve-nachor la-hem nashim shem eshet-avram saray ve-shem eshet-nachor milka bat-haran avi-milka va-avi yiska · [EN-AID/JPS] And Abram and Nahor took them wives: the name of Abram's wife was Sarai; and the name of Nahor's wife, Milcah, the daughter of Haran, the father of Milcah, and the father of Iscah.
ויקח אברם ונחור להם נשים · va-yiqach avram ve-nachor la-hem nashim · Abram and Nachor took wives — singular verb, two takers (etnachta arm)
שם אשת־אברם שרי ושם אשת־נחור מלכה בת־הרן אבי־מלכה ואבי יסכה · shem eshet-avram saray ve-shem eshet-nachor milka bat-haran avi-milka va-avi yiska · the two names: Sarai; Milcah daughter of Haran — the verse ends on Yiska
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | take(e12) ∧ Agent(e12, avram) ∧ Agent(e12, nachor_ben_terach) ∧ Theme(e12, nashim) = take(e12) ∧ Agent(e12, avram) ∧ Agent(e12, nachor-ben-terach) ∧ Theme(e12, nashim) va-yiqach ('and he TOOK') — SINGULAR verb, COMPOUND subject (Abram AND Nachor), plural la-hem ('for themselves') [grammar wobble held, not smoothed]. The take-verb enters the span; it will move the whole family two verses later. | וַיִּקַּח אַבְרָם וְנָחוֹר לָהֶם נָשִׁים · va-yiqach avram ve-nachor la-hem nashim = and-yiqach avram and-nachor to-hem nashim | — | tested |
| PRECONDITION_STATE | HOLDS(shem_eshet_avram_saray, t0) ∧ HOLDS(shem_eshet_nachor_milkah, t0) = HOLDS(shem-wife-of-avram-saray, t0) ∧ HOLDS(shem-wife-of-nachor-milkah, t0) Two name-facts by REPORT — shem ('name of', the common noun Strong 8034, two tokens here just after Shem-the-person's lemma exits at 11:11): 'the name of Abram's wife: Sarai' (her Torah debut; her 17 tokens end at 17:15, the rename — career fact, prose), 'the name of Nachor's wife: Milcah' (debut; her line returns as Rivkah's genealogy, 22:20-24:47 — prose). NO va-yiqra ('and he called') formula, NO registry write (gen_24's report-naming rule). | שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי וְשֵׁם אֵשֶׁת־נָחוֹר מִלְכָּה · shem eshet-avram saray ve-shem eshet-nachor milka = shem wife-of-avram saray and-shem wife-of-nachor milka | — | tested |
| PRECONDITION_STATE | HOLDS(milkah_bat_haran, t0) ∧ HOLDS(haran_avi_milkah_va_avi_yiskah, t0) = HOLDS(milkah-bat-haran, t0) ∧ HOLDS(haran-avi-milkah-and-avi-yiskah, t0) The letter documents ONE bride's whole pedigree — Milcah, daughter of Haran, 'father of Milcah and father of Yiska' (Yiska ['Iscah'] — a TORAH HAPAX: named once, verse-final, never seen again) — so Nachor married his dead brother's daughter [letter fact, no comment] — and in the same verse gives SARAI NOTHING: no father, no line. The louder withholding for its neighbor [OPEN — held; the chain's Yiska-is-Sarai identification and 20:12's half-sister claim are named-only, out of machine]. | מִלְכָּה בַּת־הָרָן אֲבִי־מִלְכָּה וַאֲבִי יִסְכָּה · milka bat-haran avi-milka va-avi yiska = milka bat-haran avi-milka and-avi yiska | — | tested |
STEP_Gn_11_30 · Gen.11.30 · SARAI_BARREN_THE_DOUBLED_ABSENCE
וַתְּהִי שָׂרַי עֲקָרָה אֵין לָהּ וָלָד · va-tehi saray aqara en lah valad · [EN-AID/JPS] And Sarai was barren; she had no child.
ותהי שרי עקרה · va-tehi saray aqara · and Sarai was BARREN (etnachta arm rests on the barren-word)
אין לה ולד · en lah valad · there-is-not to her a child — the hapax on the verse-end
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(saray_akarah, t0) = HOLDS(saray-akarah, t0) akarah ('barren') — TORAH DEBUT, on Sarai (DB gloss 'sterile'; GLOSS_FIX applied). va-tehi ('and she was') is the span's ONLY FEMININE VERB — twenty-two masculine verbs live, beget, die, take, go, settle around it; the ledger's one 'she' IS the barren fact [morph fact, DB-verified]. The word's career (25:21 Rivkah, 29:31 Rachel, then the law's reversal at Exod 23:26 and Deut 7:14) is PROSE + [OPEN] — careers never enter machine state. | וַתְּהִי שָׂרַי עֲקָרָה · va-tehi saray aqara = and-tehi saray aqara | TIR-032 | tested |
| PRECONDITION_STATE | HOLDS(ein_lah_valad, t0) = HOLDS(ein-lah-valad, t0) The letter DOUBLES the absence — the state (akarah), then its consequence: ein lah valad ('there-is-not to her a child'). ein ('there-is-not') token 4 — its early career is a chain of absences: no man to till (2:5), Chanokh who was-not (5:24, gen_14's ve-einenu), and now no child. valad ('child/offspring'; DB gloss 'boy', GLOSS_FIX applied) — a TORAH HAPAX, seated verse-final: the ledger of begettings stops at a woman for the first time, to record the one child that does not exist. Both facts stand OPEN at the unit wall — nothing in-span answers them [the next unit's first verse speaks into exactly this state; seam not encoded]. | אֵין לָהּ וָלָד · en lah valad = en lah valad | — | tested |
STEP_Gn_11_31 · Gen.11.31 · THE_JOURNEY_STATED_STOPPED_SETTLED
וַיִּקַּח תֶּרַח אֶת־אַבְרָם בְּנוֹ וְאֶת־לוֹט בֶּן־הָרָן בֶּן־בְּנוֹ וְאֵת שָׂרַי כַּלָּתוֹ אֵשֶׁת אַבְרָם בְּנוֹ וַיֵּצְאוּ אִתָּם מֵאוּר כַּשְׂדִּים לָלֶכֶת אַרְצָה כְּנַעַן וַיָּבֹאוּ עַד־חָרָן וַיֵּשְׁבוּ שָׁם · va-yiqach terach et-avram ben-o ve-et-lot ben-haran ben-ben-o ve-et saray kalat-o eshet avram ben-o va-yetzu et-m me-ur kasdim la-lekhet artza kenaan va-yavou ad-charan va-yeshvu sham · [EN-AID/JPS] And Terah took Abram his son, and Lot the son of Haran, his son's son, and Sarai his daughter-in-law, his son Abram's wife; and they went forth with them from Ur of the Chaldees, to go into the land of Canaan; and they came unto Haran, and dwelt there.
ויקח תרח את־אברם בנו ואת־לוט בן־הרן בן־בנו ואת שרי כלתו אשת אברם בנו · va-yiqach terach et-avram ben-o ve-et-lot ben-haran ben-ben-o ve-et saray kalat-o eshet avram ben-o · the taking-roster: son, son's son, daughter-in-law (etnachta arm ends on the third ben-o)
ויצאו אתם מאור כשדים ללכת ארצה כנען ויבאו עד־חרן וישבו שם · va-yetzu et-m me-ur kasdim la-lekhet artza kenaan va-yavou ad-charan va-yeshvu sham · out of Ur, toward Canaan, as far as Charan — and they settled there
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | take(e13) ∧ Agent(e13, terach) ∧ Theme(e13, avram) ∧ Theme(e13, lot) ∧ Theme(e13, saray) The row-holder acts inside his own open row: Terach TAKES the three. The roster is relation-obsessed — ben-o ('his son') x3 + ben ('son of') x2, five son-words in one verse: Lot is 'son of Haran, son of his son' (the dead man named in his boy's pedigree), Sarai is kalato ('his daughter-in-law' — kalah's Torah debut; its next tokens are Tamar's, Gen 38, then the incest laws — prose) 'wife of Abram his son'. The dead brother's son and the barren wife: the take-list is the two open wounds of 11:28-30 [letter's selection; Onkelos renders this take-verb u-devar ('and he LED') while keeping 11:29's wives-taking as u-nesiv ('and he took') — the buffer splits by object; dual-track]. | וַיִּקַּח תֶּרַח אֶת־אַבְרָם בְּנוֹ וְאֶת־לוֹט בֶּן־הָרָן בֶּן־בְּנוֹ וְאֵת שָׂרַי כַּלָּתוֹ אֵשֶׁת אַבְרָם בְּנוֹ · va-yiqach terach et-avram ben-o ve-et-lot ben-haran ben-ben-o ve-et saray kalat-o eshet avram ben-o = and-yiqach terach avram ben-o and-lot ben-haran ben-ben-o and saray kalat-o wife-of avram ben-o | TIR-014 | tested |
| EVENT | go_out(e14) ∧ Agent(e14, terach) ∧ Agent(e14, avram) ∧ Agent(e14, lot) ∧ Agent(e14, saray) = go-out(e14) ∧ Agent(e14, terach) ∧ Agent(e14, avram) ∧ Agent(e14, lot) ∧ Agent(e14, saray) va-yetzu ITAM — 'and they went out WITH THEM' (et-m, Strong 854 'with'): the taker took three, and the exit-verb is PLURAL with a with-them no antecedent cleanly serves [crux held OPEN, not resolved; Onkelos preserves it — u-nefaku IMHON, 'and they went out with them'; the machine lists the four named travelers as Agents and decides nothing about 'them']. | וַיֵּצְאוּ אִתָּם מֵאוּר כַּשְׂדִּים · va-yetzu et-m me-ur kasdim = and-yetzu m from-ur kasdim | — | tested |
| PRECONDITION_STATE | HOLDS(la_lekhet_artzah_kenaan, t0) = HOLDS(to-lekhet-artzah-kenaan, t0) THE STATED DESTINATION: la-lekhet ('to go' — the go-verb's token 4; token 5 is 12:1's lekh, 'go!' — career fact, prose, seam not encoded) artzah Kenaan ('toward the land of Canaan', directional-heh suffix). A purpose the verse itself does not fulfill — held as a standing fact that nothing in-span receipts [OPEN: the letter's own suspension; 12:5 repeats this exact phrase and adds 'and they CAME' — out of span, named-only]. | לָלֶכֶת אַרְצָה כְּנַעַן · la-lekhet artza kenaan = to-lekhet artza kenaan | — | tested |
| EVENT | come(e15) ∧ Agent(e15, terach) ∧ Agent(e15, avram) ∧ Agent(e15, lot) ∧ Agent(e15, saray) 'And they came AS FAR AS Charan' — ad ('as far as/until'), the letter's own measure of the shortfall. Charan the PLACE — chet-spelled (guttural ch), Strong 2771 — is NOT the man Haran — heh-spelled (soft h), Strong 2039 [GLOSS_FIX applied: the DB glosses BOTH 'Haran'; this unit keeps them apart everywhere; any echo between the dead son's name and the stopping-city's is sound only, not letter — no connection encoded]. | וַיָּבֹאוּ עַד־חָרָן · va-yavou ad-charan = and-yavou until-charan | — | tested |
| EVENT | settle(e16) ∧ Agent(e16, terach) ∧ Agent(e16, avram) ∧ Agent(e16, lot) ∧ Agent(e16, saray) va-yeshvu sham ('and they settled there') — the EXACT two-word close of 11:2 (Babel's settling in Shinar), and the settle- verb's consecutive tokens (3 then 4). The family fleeing the scattered world re-runs its move [CROSS-UNIT ARC: 11:2 lives in frozen gen_25 — prose + [OPEN] per the standing calibration; NOT a settled cycle in this machine; nothing pops]. | וַיֵּשְׁבוּ שָׁם · va-yeshvu sham = and-yeshvu there | — | tested |
| NOTE_PRESUPPOSED | charan, eretz_kenaan are READ without prior install (known geography) = charan, earth-kenaan are READ without prior install (known geography) flag, not fix (two flags: the stopping-city and the never-reached destination) | — | — | tested |
STEP_Gn_11_32 · Gen.11.32 · TERACH_ROW_CLOSES_WITHOUT_ALL
וַיִּהְיוּ יְמֵי־תֶרַח חָמֵשׁ שָׁנִים וּמָאתַיִם שָׁנָה וַיָּמָת תֶּרַח בְּחָרָן · va-yihyu yeme-terach chamesh shanim u-matayim shana va-yamat terach be-charan · [EN-AID/JPS] And the days of Terah were two hundred and five years; and Terah died in Haran.
ויהיו ימי־תרח חמש שנים ומאתים שנה · va-yihyu yeme-terach chamesh shanim u-matayim shana · the days of Terach: two hundred and five years (etnachta arm)
וימת תרח בחרן · va-yamat terach be-charan · and Terach died in Charan — three words on the arm the refrain held alone
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(yemei_terach_205_shanah, t0) = HOLDS(days-of-terach-205-year, t0) The row that opened at 11:26 CLOSES — the span's ONLY stated total, in the closure grammar of frozen gen_23's 9:29, quoted: 'HOLDS(kol_yemei_noach_950_shanah, t1)' … 'va-yihyu kol-yemei-Noach tesha meot shanah va-chamishim shanah' — with NAMED DELTA #1: the letter writes yeme-terach ('the DAYS of Terach'), NOT kol-yemei ('ALL the days of') — the first ledger total in the corpus without its 'all', and the machine token follows the letter: yemei_terach_205_shanah, not kol_yemei [bold token choice, flagged]. No 'after begetting' middle line ever appeared; the arithmetic 70 + Abram's years vs 205 is the chain's famous problem, not the machine's [named-only]. | וַיִּהְיוּ יְמֵי־תֶרַח חָמֵשׁ שָׁנִים וּמָאתַיִם שָׁנָה · va-yihyu yeme-terach chamesh shanim u-matayim shana = and-yihyu yeme-terach chamesh shanim and-matayim shana | — | tested |
| EVENT | die(e17) ∧ Agent(e17, terach) gen_14's death-event class (quoted at 11:28) fires a second and last time — with NAMED DELTA #2 against gen_23's 9:29, quoted: 'The refrain-word stands ALONE as the verse-final tree arm — one word on its own branch [tree fact].' HERE the verse-final arm is THREE words — va-yamat terach be-charan ('and Terach died in Charan'): the death-verb non-pausal, the dead man re-named, and the second LOCATED death of the span closing on the city's name. The refrain's isolation is gone; death now happens somewhere, to someone named, on the road to somewhere else [tree fact, DB-verified; characterization flagged]. | וַיָּמָת תֶּרַח בְּחָרָן · va-yamat terach be-charan = and-yamat terach in-charan | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 11:10 — all registers empty (standalone unit) |
| S_row_shem | After 11:10-11 — the sixth toledot ('descendants') header; row 1 fired and holds: beget + flood-anchor facts + bulk; NO total, NO death (genre delta, prose) |
| S_ledger_runs | After 11:12-25 — seven more deathless rows run: beget-events e2-e8, bulk facts x7; the fronted-perfect pair (rows 2-3), the papponymy name handed down; zero death-tokens |
| S_open_row | After 11:26 — Terach's row OPENS in 5:32's shape: one beget, three Themes; no after-line, no bulk, no close |
| S_second_header | After 11:27 — the seventh toledot header raised INSIDE the open row; no re-fire for the three sons; Haran-begot-Lot fires |
| S_first_grief | After 11:28 — die(e11): verse-initial, numberless, LOCATED (moledet ['birthplace'] debuts in a death notice); ur_kasdim flagged as read |
| S_wives | After 11:29 — take(e12) singular-verb wobble; four name-facts by report (no registry writes); Sarai's parentage withheld [OPEN] |
| S_barren | After 11:30 — saray_akarah + ein_lah_valad HOLD (the doubled absence; the feminine singleton; the hapax verse-final); both open at the wall |
| S_stalled | After 11:31 — take(e13), go_out(e14, itam crux held), come(e15, ad Charan), settle(e16); la_lekhet_artzah_kenaan stands unfinished [OPEN]; charan + eretz_kenaan flagged as read |
| S_row_closed | After 11:32 — the open row closes: yemei_terach_205_shanah (no kol ['all']) + die(e17) located; SPECS empty end-to-end; the unit ends at the wall of the call |
| from | to | via |
|---|---|---|
| S_boot | S_row_shem | STEP_Gn_11_10_11 |
| S_row_shem | S_ledger_runs | STEP_Gn_11_12_13 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_14_15 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_16_17 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_18_19 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_20_21 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_22_23 |
| S_ledger_runs | S_ledger_runs | STEP_Gn_11_24_25 |
| S_ledger_runs | S_open_row | STEP_Gn_11_26 |
| S_open_row | S_second_header | STEP_Gn_11_27 |
| S_second_header | S_first_grief | STEP_Gn_11_28 |
| S_first_grief | S_wives | STEP_Gn_11_29 |
| S_wives | S_barren | STEP_Gn_11_30 |
| S_barren | S_stalled | STEP_Gn_11_31 |
| S_stalled | S_row_closed | STEP_Gn_11_32 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The header and the first deathless row: after STEP_Gn_11_10_11 | All registers empty (standalone unit). | Facts shem-ben-meat-shanah / shenatayim-achar-ha-mabul HOLD; Facts banim-u-vanot(shem) HOLD; SPECS empty. = Facts shem-ben-meat-year / shenatayim-achar-the-mabul HOLD; Facts banim-u-vanot(shem) HOLD; SPECS empty. | שְׁנָתַיִם אַחַר הַמַּבּוּל · shenatayim achar ha-mabul = shenatayim achar the-mabul |
| S2 | The fronted-perfect pair runs deathless: after STEP_Gn_11_14_15 | S1 state plus row 2. (Rows 2-3 fired in the fronted perfect; zero die-events on the trace — the deathless run, asserted in prose per gen_14's Chanokh device.) | Facts banim-u-vanot(arpakhshad) HOLD; Facts banim-u-vanot(shelach) HOLD; SPECS empty. | וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה · ve-shelach chay sheloshim shana = and-shelach chay sheloshim shana |
| S3 | The papponymy row, the name handed down: after STEP_Gn_11_24_25 | S2 state plus rows 4-7. (Eight rows fired, zero die-events, zero totals held — prose assertion; the machine holds no total the letter does not state.) | Facts banim-u-vanot(nachor-ben-serug) HOLD; SPECS empty; no test, no name. | וַיּוֹלֶד אֶת־תָּרַח · va-yoled et-tarach = and-yoled tarach |
| S4 | The open row: three sons, no close: after STEP_Gn_11_26 | S3 state. (beget(e9) fired with three Themes — avram, nachor_ben_terach, haran; NO bulk fact and NO total for terach: the open row, asserted in prose — the absence is the state.) | SPECS empty; no test, no name; LEDGER stays EMPTY (open transaction). | וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר וְאֶת־הָרָן · va-yoled et-avram et-nachor ve-et-haran = and-yoled avram nachor and-haran |
| S5 | The second header inside the row, one new begetting: after STEP_Gn_11_27 | S4 state. (The SECTION labels only — no second beget-event fired for the three sons [the bold no-refire choice]; beget(e10, haran -> lot) fired as the header's one new fact — prose assertions.) | SPECS empty; no test, no name. | וְהָרָן הוֹלִיד אֶת־לוֹט · ve-haran holid et-lot = and-haran holid lot |
| S6 | The first death, inverted and located: after STEP_Gn_11_28 | S5 state. (die(e11, haran) fired — the span's first death after nine deathless rows; verse-initial, numberless, located — prose assertion.) | Facts be-eretz-moladto-be-ur-kasdim HOLD; flags ur_kasdim as read-before-install. = Facts in-earth-moladto-in-ur-kasdim HOLD; flags ur-kasdim as read-before-install. | וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו · va-yamat haran al-pene terach aviv = and-yamat haran upon-pene terach aviv |
| S7 | The wives by report, the withheld line: after STEP_Gn_11_29 | S6 state. (take(e12) fired on the singular-verb wobble — prose assertion.) | Facts shem-eshet-avram-saray HOLD; Facts milkah-bat-haran HOLD; no test, no name. = Facts shem-wife-of-avram-saray HOLD; Facts milkah-bat-haran HOLD; no test, no name. | שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי · shem eshet-avram saray = shem wife-of-avram saray |
| S8 | The doubled absence holds open: after STEP_Gn_11_30 | S7 state. (Nothing in-span answers either fact — both stand open at the unit wall; prose assertion.) | Facts saray-akarah HOLD; Facts ein-lah-valad HOLD; SPECS empty. | אֵין לָהּ וָלָד · ein lah valad = ein lah valad |
| S9 | The journey stated, stopped, settled: after STEP_Gn_11_31 | S8 state. (take(e13), go_out(e14 — the itam crux held), come(e15, ad Charan), settle(e16) fired; no arrival at kenaan on the trace — the unfinished journey, prose assertions.) | Facts la-lekhet-artzah-kenaan HOLD; flags charan/eretz_kenaan as read-before-install. = Facts to-lekhet-artzah-kenaan HOLD; flags charan/earth-kenaan as read-before-install. | וַיָּבֹאוּ עַד־חָרָן וַיֵּשְׁבוּ שָׁם · va-yavou ad-charan va-yeshvu sham = and-yavou until-charan and-yeshvu there |
| S10 | The row closes without 'all', the unit owes nothing: after STEP_Gn_11_32 | S9 state. (die(e17, terach) fired — the kol-less located close; WORLD installs zero — prose assertions.) | Facts yemei-terach-205-shanah HOLD; SPECS empty; no test, no name; LEDGER stays EMPTY (open transaction). = Facts days-of-terach-205-year HOLD; SPECS empty; no test, no name; LEDGER stays EMPTY (open transaction). | וַיָּמָת תֶּרַח בְּחָרָן · va-yamat terach be-charan = and-yamat terach in-charan |
| S11_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. | וָלָד · valad = valad |
| S12_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_deathless_ledger | וַיְחִי … וַיּוֹלֶד … וַיּוֹלֶד בָּנִים וּבָנוֹת · va-yechi … va-yoled … va-yoled banim u-vanot · the corpus's SECOND ledger deletes the death-column: gen_14's six-member template ('lived N / begot X / lived after / sons-and-daughters / all-the-days N / AND HE DIED' — genre_note quoted) runs NINE times as four members — zero stated totals, ZERO death-verb tokens in 11:10-26 (census exact; Gen 5 had eight verse-final pausal refrains) — and the silluq (verse-end) throne the refrain owned seats the HEIR'S NAME on every begets-verse and u-vanot ('and daughters') on every after-verse [accent facts]; the implicit sums (600/438/433/464/239/239/230/148) are arithmetic, not letter — the machine holds no total the text does not state; three men's ENTIRE Torah careers (Haran 6/6, Reu 4/4, Serug 4/4) and the flood-word's last token live inside the rows |
| EXPORT_two_deviant_deaths | וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו … וַיָּמָת תֶּרַח בְּחָרָן · va-yamat haran al-pene terach aviv … va-yamat terach be-charan · death returns to the ledger twice, both times DEVIANT — 11:28: verse-initial va-yamat ('and he died', non-pausal), NUMBERLESS, the corpus's first SON-BEFORE-FATHER death (al-pene, 'in the presence of' his father) and first LOCATED death (in the land of his moledet ['birthplace'] — the word DEBUTS inside a death notice; token 2 is 12:1's 'from your moledet'), in Ur Kasdim ('Ur of the Chaldees' — the pair never separates: 11:28, 11:31, 15:7); 11:32: the only close — yeme-terach WITHOUT kol ('all'; first kol-less ledger total, machine token follows the letter) and the death-verb sharing its verse-final arm with name and place against 9:29's frozen 'one word, alone on the verse-final arm' [named deltas]; both deaths located, where no Gen 5 death has a place: in this span death acquires geography |
| EXPORT_akarah_debut_field | וַתְּהִי שָׂרַי עֲקָרָה אֵין לָהּ וָלָד · va-tehi saray aqara ein lah valad · the barren-field debuts as a DOUBLED absence: akarah ('barren') Torah token 1 on Sarai + ein lah valad ('there-is-not to her a child') with valad ('child/offspring') a TORAH HAPAX on the verse-end — spoken by the span's ONLY feminine verb (va-tehi, 'and she was' — one 'she' against twenty-two masculine verbs); ein's early career is a chain of absences (2:5 no man, 5:24 Chanokh was-not, 11:30 no child); the word's future (25:21 Rivkah, 29:31 Rachel, then Exod 23:26 + Deut 7:14 abolishing barrenness in the covenant land) is career-prose; BOTH facts stand OPEN at the unit wall — the state into which 12:1 speaks |
| EXPORT_stalled_journey | לָלֶכֶת אַרְצָה כְּנַעַן וַיָּבֹאוּ עַד־חָרָן וַיֵּשְׁבוּ שָׁם · la-lekhet artzah kenaan va-yavou ad-charan va-yeshvu sham · the letter's own suspension: destination STATED (la-lekhet artzah Kenaan, 'to go toward the land of Canaan' — the go-verb's token 4; token 5 is 12:1's lekh, 'go!'), arrival measured short (ad, 'as far as' Charan — the chet-spelled city, NOT the heh-spelled dead son; DB glosses both 'Haran', GLOSS_FIX filed), and the close is 11:2's EXACT two-word settling (va-yeshvu sham, 'and they settled there' — consecutive tokens of the settle-verb; cross-unit arc with frozen gen_25, prose only, nothing pops); the take-verb splits in translation (Onkelos: nesiv 'took' for wives, devar 'LED' for the family); the itam ('with them') crux held [OPEN]; the destination-fact stands unfinished [OPEN] — 12:5 repeats the phrase and finishes it, one unit away [named-only] |
Oral notes (named, tiered, dual-track — never merged)
בְּאוּר כַּשְׂדִּים · (queue — named only) · Named, not read. The prospective middot scan of the oral cache is the MAIN LOOP'S gate and is not claimed by this draft [flagged]. Detector classes predicted from the letter: the Ur-furnace reading is a NAME-MIDRASH/ORDEAL class (ur read as 'fire/flame'); the Yiska-Sarai identification is an IDENTIFICATION class filling the letter's loudest withholding (Sarai's parentage); the 205-vs-12:4 chronology is an ARITHMETIC-HARMONY class (the deferred death notice); the al-pene ('in the presence of') gloss war is a LEXICAL-BUFFER class.
Queue entry — no claim made beyond the naming.
וּדְבַר תֶּרַח … וּנְפָקוּ עִמְּהוֹן · u-devar terach … u-nefaku imhon · The span's translation witness — headline: THE BUFFER PRESERVES THE LETTER'S ANOMALIES AND SPLITS ITS ONE REPEATED VERB. The take-verb the letter uses twice (va-yiqach, 11:29 and 11:31) forks in Aramaic: u-nesiv ('and he took') for the WIVES, u-devar ('and he LED/conducted') for the FAMILY on the road — the translation reads person-taking as leading exactly where the journey begins [find-class; dual-track]. Preserved wobbles: the fronted perfects of 11:12/11:14 (ve-arpakhshad chaya, ve-shelach chaya — the two-row anomaly survives word order); the itam crux (u-nefaku IMHON, 'and they went out WITH THEM' — unresolved); 11:32's kol-less total (va-havo yomei terach — no 'all' in the Aramaic either); the doubled absence at 11:30 with the hapax kept as COGNATE (leit lah VELAD — the child-word survives translation as itself). ha-mabul ('the deluge') exits as tufana (the Aramaic flood-word) in the same verse-final seat. 11:28's father-idiom kept literal (al apei, 'upon the face of' — the buffer does NOT insert 'in the lifetime of'; the chain's gloss war stays outside the translation). Ur becomes Ura de-Khasdaei; moledet ('birthplace') becomes yaladuteih ('his birth'). The template stretch renders mechanically — begettings as oléd, the rows' rhythm intact; the plainest Aramaic since Gen 5, broken exactly where the Hebrew breaks.
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.11.10 · parser unique · 13 words
PHRASE (binary 13w) אֵ֚לֶּה תּוֹלְדֹ֣ת שֵׁ֔ם שֵׁ֚ם בֶּן מְאַ֣ת שָׁנ…
├── PHRASE (binary 10w) אֵ֚לֶּה תּוֹלְדֹ֣ת שֵׁ֔ם שֵׁ֚ם בֶּן מְאַ֣ת שָׁנ…
│ ├── PHRASE (binary 3w) אֵ֚לֶּה תּוֹלְדֹ֣ת שֵׁ֔ם
│ │ ├── [0] אֵ֚לֶּה (yetiv, rank=3)
│ │ └── [1-2] GLUE תּוֹלְדֹ֣ת שֵׁ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) שֵׁ֚ם בֶּן מְאַ֣ת שָׁנָ֔ה וַ/יּ֖וֹלֶד אֶת אַרְפ…
│ ├── PHRASE (binary 4w) שֵׁ֚ם בֶּן מְאַ֣ת שָׁנָ֔ה
│ │ ├── [3] שֵׁ֚ם (yetiv, rank=3)
│ │ └── [4-6] GLUE בֶּן מְאַ֣ת שָׁנָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת אַרְפַּכְשָׁ֑ד
│ ├── [7] וַ/יּ֖וֹלֶד (tifcha, rank=2)
│ └── [8-9] GLUE אֶת אַרְפַּכְשָׁ֑ד (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) שְׁנָתַ֖יִם אַחַ֥ר הַ/מַּבּֽוּל
├── [10] שְׁנָתַ֖יִם (tifcha, rank=2)
└── [11-12] GLUE אַחַ֥ר הַ/מַּבּֽוּל (silluq (verse-end emperor), rank=1)
Gen.11.11 · parser unique · 12 words
PHRASE (binary 12w) וַֽ/יְחִי שֵׁ֗ם אַֽחֲרֵי֙ הוֹלִיד֣/וֹ אֶת אַרְפ…
├── PHRASE (binary 9w) וַֽ/יְחִי שֵׁ֗ם אַֽחֲרֵי֙ הוֹלִיד֣/וֹ אֶת אַרְפ…
│ ├── PHRASE (binary 6w) וַֽ/יְחִי שֵׁ֗ם אַֽחֲרֵי֙ הוֹלִיד֣/וֹ אֶת אַרְפ…
│ │ ├── [0-1] GLUE וַֽ/יְחִי שֵׁ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַֽחֲרֵי֙ הוֹלִיד֣/וֹ אֶת אַרְפַּכְשָׁ֔ד
│ │ ├── [2] אַֽחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת אַרְפַּכְשָׁ֔ד (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) חֲמֵ֥שׁ מֵא֖וֹת שָׁנָ֑ה
│ ├── [6-7] GLUE חֲמֵ֥שׁ מֵא֖וֹת (tifcha, rank=2)
│ └── [8] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [9-10] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [11] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.12 · parser unique · 8 words
PHRASE (binary 8w) וְ/אַרְפַּכְשַׁ֣ד חַ֔י חָמֵ֥שׁ וּ/שְׁלֹשִׁ֖ים ש…
├── PHRASE (binary 5w) וְ/אַרְפַּכְשַׁ֣ד חַ֔י חָמֵ֥שׁ וּ/שְׁלֹשִׁ֖ים ש…
│ ├── [0-1] GLUE וְ/אַרְפַּכְשַׁ֣ד חַ֔י (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) חָמֵ֥שׁ וּ/שְׁלֹשִׁ֖ים שָׁנָ֑ה
│ ├── [2-3] GLUE חָמֵ֥שׁ וּ/שְׁלֹשִׁ֖ים (tifcha, rank=2)
│ └── [4] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת שָֽׁלַח
├── [5] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [6-7] GLUE אֶת שָֽׁלַח (silluq (verse-end emperor), rank=1)
Gen.11.13 · parser unique · 14 words
PHRASE (binary 14w) וַֽ/יְחִ֣י אַרְפַּכְשַׁ֗ד אַֽחֲרֵי֙ הוֹלִיד֣/וֹ…
├── PHRASE (binary 11w) וַֽ/יְחִ֣י אַרְפַּכְשַׁ֗ד אַֽחֲרֵי֙ הוֹלִיד֣/וֹ…
│ ├── PHRASE (binary 6w) וַֽ/יְחִ֣י אַרְפַּכְשַׁ֗ד אַֽחֲרֵי֙ הוֹלִיד֣/וֹ…
│ │ ├── [0-1] GLUE וַֽ/יְחִ֣י אַרְפַּכְשַׁ֗ד (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַֽחֲרֵי֙ הוֹלִיד֣/וֹ אֶת שֶׁ֔לַח
│ │ ├── [2] אַֽחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת שֶׁ֔לַח (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) שָׁלֹ֣שׁ שָׁנִ֔ים וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [6-7] GLUE שָׁלֹ֣שׁ שָׁנִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [8-9] GLUE וְ/אַרְבַּ֥ע מֵא֖וֹת (tifcha, rank=2)
│ └── [10] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [11-12] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [13] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.14 · parser unique · 7 words
PHRASE (binary 7w) וְ/שֶׁ֥לַח חַ֖י שְׁלֹשִׁ֣ים שָׁנָ֑ה וַ/יּ֖וֹלֶד…
├── PHRASE (binary 4w) וְ/שֶׁ֥לַח חַ֖י שְׁלֹשִׁ֣ים שָׁנָ֑ה
│ ├── [0-1] GLUE וְ/שֶׁ֥לַח חַ֖י (tifcha, rank=2)
│ └── [2-3] GLUE שְׁלֹשִׁ֣ים שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת עֵֽבֶר
├── [4] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [5-6] GLUE אֶת עֵֽבֶר (silluq (verse-end emperor), rank=1)
Gen.11.15 · parser unique · 14 words
PHRASE (binary 14w) וַֽ/יְחִי שֶׁ֗לַח אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת עֵ֔ב…
├── PHRASE (binary 11w) וַֽ/יְחִי שֶׁ֗לַח אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת עֵ֔ב…
│ ├── PHRASE (binary 6w) וַֽ/יְחִי שֶׁ֗לַח אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת עֵ֔ב…
│ │ ├── [0-1] GLUE וַֽ/יְחִי שֶׁ֗לַח (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת עֵ֔בֶר
│ │ ├── [2] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת עֵ֔בֶר (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) שָׁלֹ֣שׁ שָׁנִ֔ים וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [6-7] GLUE שָׁלֹ֣שׁ שָׁנִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [8-9] GLUE וְ/אַרְבַּ֥ע מֵא֖וֹת (tifcha, rank=2)
│ └── [10] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [11-12] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [13] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.16 · parser unique · 8 words
PHRASE (binary 8w) וַֽ/יְחִי עֵ֕בֶר אַרְבַּ֥ע וּ/שְׁלֹשִׁ֖ים שָׁנָ…
├── PHRASE (binary 5w) וַֽ/יְחִי עֵ֕בֶר אַרְבַּ֥ע וּ/שְׁלֹשִׁ֖ים שָׁנָ…
│ ├── [0-1] GLUE וַֽ/יְחִי עֵ֕בֶר (zaqef gadol, rank=2)
│ └── PHRASE (binary 3w) אַרְבַּ֥ע וּ/שְׁלֹשִׁ֖ים שָׁנָ֑ה
│ ├── [2-3] GLUE אַרְבַּ֥ע וּ/שְׁלֹשִׁ֖ים (tifcha, rank=2)
│ └── [4] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת פָּֽלֶג
├── [5] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [6-7] GLUE אֶת פָּֽלֶג (silluq (verse-end emperor), rank=1)
Gen.11.17 · parser unique · 14 words
PHRASE (binary 14w) וַֽ/יְחִי עֵ֗בֶר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת פֶּ֔ל…
├── PHRASE (binary 11w) וַֽ/יְחִי עֵ֗בֶר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת פֶּ֔ל…
│ ├── PHRASE (binary 6w) וַֽ/יְחִי עֵ֗בֶר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת פֶּ֔ל…
│ │ ├── [0-1] GLUE וַֽ/יְחִי עֵ֗בֶר (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת פֶּ֔לֶג
│ │ ├── [2] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת פֶּ֔לֶג (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) שְׁלֹשִׁ֣ים שָׁנָ֔ה וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [6-7] GLUE שְׁלֹשִׁ֣ים שָׁנָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אַרְבַּ֥ע מֵא֖וֹת שָׁנָ֑ה
│ ├── [8-9] GLUE וְ/אַרְבַּ֥ע מֵא֖וֹת (tifcha, rank=2)
│ └── [10] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [11-12] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [13] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.18 · parser unique · 7 words
PHRASE (binary 7w) וַֽ/יְחִי פֶ֖לֶג שְׁלֹשִׁ֣ים שָׁנָ֑ה וַ/יּ֖וֹלֶ…
├── PHRASE (binary 4w) וַֽ/יְחִי פֶ֖לֶג שְׁלֹשִׁ֣ים שָׁנָ֑ה
│ ├── [0-1] GLUE וַֽ/יְחִי פֶ֖לֶג (tifcha, rank=2)
│ └── [2-3] GLUE שְׁלֹשִׁ֣ים שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת רְעֽוּ
├── [4] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [5-6] GLUE אֶת רְעֽוּ (silluq (verse-end emperor), rank=1)
Gen.11.19 · parser unique · 13 words
PHRASE (binary 13w) וַֽ/יְחִי פֶ֗לֶג אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת רְע֔ו…
├── PHRASE (binary 10w) וַֽ/יְחִי פֶ֗לֶג אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת רְע֔ו…
│ ├── PHRASE (binary 6w) וַֽ/יְחִי פֶ֗לֶג אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת רְע֔וּ
│ │ ├── [0-1] GLUE וַֽ/יְחִי פֶ֗לֶג (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת רְע֔וּ
│ │ ├── [2] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת רְע֔וּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) תֵּ֥שַׁע שָׁנִ֖ים וּ/מָאתַ֣יִם שָׁנָ֑ה
│ ├── [6-7] GLUE תֵּ֥שַׁע שָׁנִ֖ים (tifcha, rank=2)
│ └── [8-9] GLUE וּ/מָאתַ֣יִם שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [10-11] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [12] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.20 · parser unique · 8 words
PHRASE (binary 8w) וַ/יְחִ֣י רְע֔וּ שְׁתַּ֥יִם וּ/שְׁלֹשִׁ֖ים שָׁנ…
├── PHRASE (binary 5w) וַ/יְחִ֣י רְע֔וּ שְׁתַּ֥יִם וּ/שְׁלֹשִׁ֖ים שָׁנ…
│ ├── [0-1] GLUE וַ/יְחִ֣י רְע֔וּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) שְׁתַּ֥יִם וּ/שְׁלֹשִׁ֖ים שָׁנָ֑ה
│ ├── [2-3] GLUE שְׁתַּ֥יִם וּ/שְׁלֹשִׁ֖ים (tifcha, rank=2)
│ └── [4] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת שְׂרֽוּג
├── [5] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [6-7] GLUE אֶת שְׂרֽוּג (silluq (verse-end emperor), rank=1)
Gen.11.21 · parser unique · 13 words
PHRASE (binary 13w) וַ/יְחִ֣י רְע֗וּ אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת שְׂר֔…
├── PHRASE (binary 10w) וַ/יְחִ֣י רְע֗וּ אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת שְׂר֔…
│ ├── PHRASE (binary 6w) וַ/יְחִ֣י רְע֗וּ אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת שְׂר֔…
│ │ ├── [0-1] GLUE וַ/יְחִ֣י רְע֗וּ (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת שְׂר֔וּג
│ │ ├── [2] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת שְׂר֔וּג (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) שֶׁ֥בַע שָׁנִ֖ים וּ/מָאתַ֣יִם שָׁנָ֑ה
│ ├── [6-7] GLUE שֶׁ֥בַע שָׁנִ֖ים (tifcha, rank=2)
│ └── [8-9] GLUE וּ/מָאתַ֣יִם שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [10-11] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [12] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.22 · parser unique · 7 words
PHRASE (binary 7w) וַ/יְחִ֥י שְׂר֖וּג שְׁלֹשִׁ֣ים שָׁנָ֑ה וַ/יּ֖וֹ…
├── PHRASE (binary 4w) וַ/יְחִ֥י שְׂר֖וּג שְׁלֹשִׁ֣ים שָׁנָ֑ה
│ ├── [0-1] GLUE וַ/יְחִ֥י שְׂר֖וּג (tifcha, rank=2)
│ └── [2-3] GLUE שְׁלֹשִׁ֣ים שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת נָחֽוֹר
├── [4] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [5-6] GLUE אֶת נָחֽוֹר (silluq (verse-end emperor), rank=1)
Gen.11.23 · parser unique · 11 words
PHRASE (binary 11w) וַ/יְחִ֣י שְׂר֗וּג אַחֲרֵ֛י הוֹלִיד֥/וֹ אֶת נָח…
├── PHRASE (binary 8w) וַ/יְחִ֣י שְׂר֗וּג אַחֲרֵ֛י הוֹלִיד֥/וֹ אֶת נָח…
│ ├── PHRASE (binary 6w) וַ/יְחִ֣י שְׂר֗וּג אַחֲרֵ֛י הוֹלִיד֥/וֹ אֶת נָח…
│ │ ├── [0-1] GLUE וַ/יְחִ֣י שְׂר֗וּג (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵ֛י הוֹלִיד֥/וֹ אֶת נָח֖וֹר
│ │ ├── [2] אַחֲרֵ֛י (tevir, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֥/וֹ אֶת נָח֖וֹר (tifcha, rank=2)
│ └── [6-7] GLUE מָאתַ֣יִם שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [8-9] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [10] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.24 · parser unique · 8 words
PHRASE (binary 8w) וַ/יְחִ֣י נָח֔וֹר תֵּ֥שַׁע וְ/עֶשְׂרִ֖ים שָׁנָ֑…
├── PHRASE (binary 5w) וַ/יְחִ֣י נָח֔וֹר תֵּ֥שַׁע וְ/עֶשְׂרִ֖ים שָׁנָ֑ה
│ ├── [0-1] GLUE וַ/יְחִ֣י נָח֔וֹר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) תֵּ֥שַׁע וְ/עֶשְׂרִ֖ים שָׁנָ֑ה
│ ├── [2-3] GLUE תֵּ֥שַׁע וְ/עֶשְׂרִ֖ים (tifcha, rank=2)
│ └── [4] שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֖וֹלֶד אֶת תָּֽרַח
├── [5] וַ/יּ֖וֹלֶד (tifcha, rank=2)
└── [6-7] GLUE אֶת תָּֽרַח (silluq (verse-end emperor), rank=1)
Gen.11.25 · parser unique · 14 words
PHRASE (binary 14w) וַ/יְחִ֣י נָח֗וֹר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת תֶּ֔…
├── PHRASE (binary 11w) וַ/יְחִ֣י נָח֗וֹר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת תֶּ֔…
│ ├── PHRASE (binary 6w) וַ/יְחִ֣י נָח֗וֹר אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת תֶּ֔…
│ │ ├── [0-1] GLUE וַ/יְחִ֣י נָח֗וֹר (revia, rank=3)
│ │ └── PHRASE (binary 4w) אַחֲרֵי֙ הוֹלִיד֣/וֹ אֶת תֶּ֔רַח
│ │ ├── [2] אַחֲרֵי֙ (pashta, rank=3)
│ │ └── [3-5] GLUE הוֹלִיד֣/וֹ אֶת תֶּ֔רַח (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) תְּשַֽׁע עֶשְׂרֵ֥ה שָׁנָ֖ה וּ/מְאַ֣ת שָׁנָ֑ה
│ ├── [6-8] GLUE תְּשַֽׁע עֶשְׂרֵ֥ה שָׁנָ֖ה (tifcha, rank=2)
│ └── [9-10] GLUE וּ/מְאַ֣ת שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יּ֥וֹלֶד בָּנִ֖ים וּ/בָנֽוֹת
├── [11-12] GLUE וַ/יּ֥וֹלֶד בָּנִ֖ים (tifcha, rank=2)
└── [13] וּ/בָנֽוֹת (silluq (verse-end emperor), rank=1)
Gen.11.26 · parser unique · 11 words
PHRASE (binary 11w) וַֽ/יְחִי תֶ֖רַח שִׁבְעִ֣ים שָׁנָ֑ה וַ/יּ֨וֹלֶד…
├── PHRASE (binary 4w) וַֽ/יְחִי תֶ֖רַח שִׁבְעִ֣ים שָׁנָ֑ה
│ ├── [0-1] GLUE וַֽ/יְחִי תֶ֖רַח (tifcha, rank=2)
│ └── [2-3] GLUE שִׁבְעִ֣ים שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וַ/יּ֨וֹלֶד֙ אֶת אַבְרָ֔ם אֶת נָח֖וֹר וְ/אֶת הָ…
├── PHRASE (binary 3w) וַ/יּ֨וֹלֶד֙ אֶת אַבְרָ֔ם
│ ├── [4] וַ/יּ֨וֹלֶד֙ (pashta, rank=3)
│ └── [5-6] GLUE אֶת אַבְרָ֔ם (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אֶת נָח֖וֹר וְ/אֶת הָרָֽן
├── [7-8] GLUE אֶת נָח֖וֹר (tifcha, rank=2)
└── [9-10] GLUE וְ/אֶת הָרָֽן (silluq (verse-end emperor), rank=1)
Gen.11.27 · parser unique · 15 words
PHRASE (binary 15w) וְ/אֵ֨לֶּה֙ תּוֹלְדֹ֣ת תֶּ֔רַח תֶּ֚רַח הוֹלִ֣יד…
├── PHRASE (binary 11w) וְ/אֵ֨לֶּה֙ תּוֹלְדֹ֣ת תֶּ֔רַח תֶּ֚רַח הוֹלִ֣יד…
│ ├── PHRASE (binary 3w) וְ/אֵ֨לֶּה֙ תּוֹלְדֹ֣ת תֶּ֔רַח
│ │ ├── [0] וְ/אֵ֨לֶּה֙ (pashta, rank=3)
│ │ └── [1-2] GLUE תּוֹלְדֹ֣ת תֶּ֔רַח (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) תֶּ֚רַח הוֹלִ֣יד אֶת אַבְרָ֔ם אֶת נָח֖וֹר וְ/אֶ…
│ ├── PHRASE (binary 4w) תֶּ֚רַח הוֹלִ֣יד אֶת אַבְרָ֔ם
│ │ ├── [3] תֶּ֚רַח (yetiv, rank=3)
│ │ └── [4-6] GLUE הוֹלִ֣יד אֶת אַבְרָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אֶת נָח֖וֹר וְ/אֶת הָרָ֑ן
│ ├── [7-8] GLUE אֶת נָח֖וֹר (tifcha, rank=2)
│ └── [9-10] GLUE וְ/אֶת הָרָ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/הָרָ֖ן הוֹלִ֥יד אֶת לֽוֹט
├── [11] וְ/הָרָ֖ן (tifcha, rank=2)
└── [12-14] GLUE הוֹלִ֥יד אֶת לֽוֹט (silluq (verse-end emperor), rank=1)
Gen.11.28 · parser unique · 10 words
PHRASE (binary 10w) וַ/יָּ֣מָת הָרָ֔ן עַל פְּנֵ֖י תֶּ֣רַח אָבִ֑י/ו …
├── PHRASE (binary 6w) וַ/יָּ֣מָת הָרָ֔ן עַל פְּנֵ֖י תֶּ֣רַח אָבִ֑י/ו
│ ├── [0-1] GLUE וַ/יָּ֣מָת הָרָ֔ן (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) עַל פְּנֵ֖י תֶּ֣רַח אָבִ֑י/ו
│ ├── [2-3] GLUE עַל פְּנֵ֖י (tifcha, rank=2)
│ └── [4-5] GLUE תֶּ֣רַח אָבִ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) בְּ/אֶ֥רֶץ מוֹלַדְתּ֖/וֹ בְּ/א֥וּר כַּשְׂדִּֽים
├── [6-7] GLUE בְּ/אֶ֥רֶץ מוֹלַדְתּ֖/וֹ (tifcha, rank=2)
└── [8-9] GLUE בְּ/א֥וּר כַּשְׂדִּֽים (silluq (verse-end emperor), rank=1)
Gen.11.29 · parser unique · 19 words
PHRASE (binary 19w) וַ/יִּקַּ֨ח אַבְרָ֧ם וְ/נָח֛וֹר לָ/הֶ֖ם נָשִׁ֑י…
├── PHRASE (binary 5w) וַ/יִּקַּ֨ח אַבְרָ֧ם וְ/נָח֛וֹר לָ/הֶ֖ם נָשִׁ֑ים
│ ├── PHRASE (binary 4w) וַ/יִּקַּ֨ח אַבְרָ֧ם וְ/נָח֛וֹר לָ/הֶ֖ם
│ │ ├── [0-2] GLUE וַ/יִּקַּ֨ח אַבְרָ֧ם וְ/נָח֛וֹר (tevir, rank=3)
│ │ └── [3] לָ/הֶ֖ם (tifcha, rank=2)
│ └── [4] נָשִׁ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 14w) שֵׁ֤ם אֵֽשֶׁת אַבְרָם֙ שָׂרָ֔י וְ/שֵׁ֤ם אֵֽשֶׁת…
├── PHRASE (binary 4w) שֵׁ֤ם אֵֽשֶׁת אַבְרָם֙ שָׂרָ֔י
│ ├── [5-7] GLUE שֵׁ֤ם אֵֽשֶׁת אַבְרָם֙ (pashta, rank=3)
│ └── [8] שָׂרָ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 10w) וְ/שֵׁ֤ם אֵֽשֶׁת נָחוֹר֙ מִלְכָּ֔ה בַּת הָרָ֥ן …
├── PHRASE (binary 4w) וְ/שֵׁ֤ם אֵֽשֶׁת נָחוֹר֙ מִלְכָּ֔ה
│ ├── [9-11] GLUE וְ/שֵׁ֤ם אֵֽשֶׁת נָחוֹר֙ (pashta, rank=3)
│ └── [12] מִלְכָּ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) בַּת הָרָ֥ן אֲבִֽי מִלְכָּ֖ה וַֽ/אֲבִ֥י יִסְכָּ…
├── [13-16] GLUE בַּת הָרָ֥ן אֲבִֽי מִלְכָּ֖ה (tifcha, rank=2)
└── [17-18] GLUE וַֽ/אֲבִ֥י יִסְכָּֽה (silluq (verse-end emperor), rank=1)
Gen.11.30 · parser unique · 6 words
PHRASE (binary 6w) וַ/תְּהִ֥י שָׂרַ֖י עֲקָרָ֑ה אֵ֥ין לָ֖/הּ וָלָֽד
├── PHRASE (binary 3w) וַ/תְּהִ֥י שָׂרַ֖י עֲקָרָ֑ה
│ ├── [0-1] GLUE וַ/תְּהִ֥י שָׂרַ֖י (tifcha, rank=2)
│ └── [2] עֲקָרָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) אֵ֥ין לָ֖/הּ וָלָֽד
├── [3-4] GLUE אֵ֥ין לָ֖/הּ (tifcha, rank=2)
└── [5] וָלָֽד (silluq (verse-end emperor), rank=1)
Gen.11.31 · parser unique · 29 words
PHRASE (binary 29w) וַ/יִּקַּ֨ח תֶּ֜רַח אֶת אַבְרָ֣ם בְּנ֗/וֹ וְ/אֶ…
├── PHRASE (binary 17w) וַ/יִּקַּ֨ח תֶּ֜רַח אֶת אַבְרָ֣ם בְּנ֗/וֹ וְ/אֶ…
│ ├── PHRASE (binary 11w) וַ/יִּקַּ֨ח תֶּ֜רַח אֶת אַבְרָ֣ם בְּנ֗/וֹ וְ/אֶ…
│ │ ├── PHRASE (binary 5w) וַ/יִּקַּ֨ח תֶּ֜רַח אֶת אַבְרָ֣ם בְּנ֗/וֹ
│ │ │ ├── [0-1] GLUE וַ/יִּקַּ֨ח תֶּ֜רַח (geresh, rank=4)
│ │ │ └── [2-4] GLUE אֶת אַבְרָ֣ם בְּנ֗/וֹ (revia, rank=3)
│ │ └── PHRASE (binary 6w) וְ/אֶת ל֤וֹט בֶּן הָרָן֙ בֶּן בְּנ֔/וֹ
│ │ ├── [5-8] GLUE וְ/אֶת ל֤וֹט בֶּן הָרָן֙ (pashta, rank=3)
│ │ └── [9-10] GLUE בֶּן בְּנ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וְ/אֵת֙ שָׂרַ֣י כַּלָּת֔/וֹ אֵ֖שֶׁת אַבְרָ֣ם בּ…
│ ├── PHRASE (binary 3w) וְ/אֵת֙ שָׂרַ֣י כַּלָּת֔/וֹ
│ │ ├── [11] וְ/אֵת֙ (pashta, rank=3)
│ │ └── [12-13] GLUE שָׂרַ֣י כַּלָּת֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֵ֖שֶׁת אַבְרָ֣ם בְּנ֑/וֹ
│ ├── [14] אֵ֖שֶׁת (tifcha, rank=2)
│ └── [15-16] GLUE אַבְרָ֣ם בְּנ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) וַ/יֵּצְא֨וּ אִתָּ֜/ם מֵ/א֣וּר כַּשְׂדִּ֗ים לָ/…
├── PHRASE (binary 7w) וַ/יֵּצְא֨וּ אִתָּ֜/ם מֵ/א֣וּר כַּשְׂדִּ֗ים לָ/…
│ ├── PHRASE (binary 4w) וַ/יֵּצְא֨וּ אִתָּ֜/ם מֵ/א֣וּר כַּשְׂדִּ֗ים
│ │ ├── [17-18] GLUE וַ/יֵּצְא֨וּ אִתָּ֜/ם (geresh, rank=4)
│ │ └── [19-20] GLUE מֵ/א֣וּר כַּשְׂדִּ֗ים (revia, rank=3)
│ └── PHRASE (binary 3w) לָ/לֶ֨כֶת֙ אַ֣רְצָ/ה כְּנַ֔עַן
│ ├── [21] לָ/לֶ֨כֶת֙ (pashta, rank=3)
│ └── [22-23] GLUE אַ֣רְצָ/ה כְּנַ֔עַן (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וַ/יָּבֹ֥אוּ עַד חָרָ֖ן וַ/יֵּ֥שְׁבוּ שָֽׁם
├── [24-26] GLUE וַ/יָּבֹ֥אוּ עַד חָרָ֖ן (tifcha, rank=2)
└── [27-28] GLUE וַ/יֵּ֥שְׁבוּ שָֽׁם (silluq (verse-end emperor), rank=1)
Gen.11.32 · parser unique · 10 words
PHRASE (binary 10w) וַ/יִּהְי֣וּ יְמֵי תֶ֔רַח חָמֵ֥שׁ שָׁנִ֖ים וּ/מ…
├── PHRASE (binary 7w) וַ/יִּהְי֣וּ יְמֵי תֶ֔רַח חָמֵ֥שׁ שָׁנִ֖ים וּ/מ…
│ ├── [0-2] GLUE וַ/יִּהְי֣וּ יְמֵי תֶ֔רַח (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) חָמֵ֥שׁ שָׁנִ֖ים וּ/מָאתַ֣יִם שָׁנָ֑ה
│ ├── [3-4] GLUE חָמֵ֥שׁ שָׁנִ֖ים (tifcha, rank=2)
│ └── [5-6] GLUE וּ/מָאתַ֣יִם שָׁנָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יָּ֥מָת תֶּ֖רַח בְּ/חָרָֽן
├── [7-8] GLUE וַ/יָּ֥מָת תֶּ֖רַח (tifcha, rank=2)
└── [9] בְּ/חָרָֽן (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_26_shem_ledger — The deathless ledger: Shem to Terach, and the two deaths that land (11:10-32) [frozen]
final state: WORLD=[] (+3 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install']
=== S1 — The header and the first deathless row: after STEP_Gn_11_10_11
שְׁנָתַיִם אַחַר הַמַּבּוּל (shenatayim achar ha-mabul)
PASS Facts shem-ben-meat-shanah / shenatayim-achar-ha-mabul HOLD (3 facts)
PASS Facts banim-u-vanot(shem) HOLD (3 facts)
PASS SPECS empty. (queue=0)
=== S2 — The fronted-perfect pair runs deathless: after STEP_Gn_11_14_15
וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה (ve-shelach chay sheloshim shana)
PASS Facts banim-u-vanot(arpakhshad) HOLD (5 facts)
PASS Facts banim-u-vanot(shelach) HOLD (5 facts)
PASS SPECS empty. (queue=0)
=== S3 — The papponymy row, the name handed down: after STEP_Gn_11_24_25
וַיּוֹלֶד אֶת־תָּרַח (va-yoled et-tarach)
PASS Facts banim-u-vanot(nachor-ben-serug) HOLD (10 facts)
PASS SPECS empty (queue=0)
PASS no test, no name. (tests=0 names=0)
=== S4 — The open row: three sons, no close: after STEP_Gn_11_26
וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר וְאֶת־הָרָן (va-yoled et-avram et-nachor ve-et-haran)
PASS SPECS empty (queue=0)
PASS no test, no name (tests=0 names=0)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S5 — The second header inside the row, one new begetting: after STEP_Gn_11_27
וְהָרָן הוֹלִיד אֶת־לוֹט (ve-haran holid et-lot)
PASS SPECS empty (queue=0)
PASS no test, no name. (tests=0 names=0)
=== S6 — The first death, inverted and located: after STEP_Gn_11_28
וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו (va-yamat haran al-pene terach aviv)
PASS Facts be-eretz-moladto-be-ur-kasdim HOLD (11 facts)
PASS flags ur_kasdim as read-before-install. (flagged=['ur_kasdim'])
=== S7 — The wives by report, the withheld line: after STEP_Gn_11_29
שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי (shem eshet-avram saray)
PASS Facts shem-eshet-avram-saray HOLD (15 facts)
PASS Facts milkah-bat-haran HOLD (15 facts)
PASS no test, no name. (tests=0 names=0)
=== S8 — The doubled absence holds open: after STEP_Gn_11_30
אֵין לָהּ וָלָד (ein lah valad)
PASS Facts saray-akarah HOLD (17 facts)
PASS Facts ein-lah-valad HOLD (17 facts)
PASS SPECS empty. (queue=0)
=== S9 — The journey stated, stopped, settled: after STEP_Gn_11_31
וַיָּבֹאוּ עַד־חָרָן וַיֵּשְׁבוּ שָׁם (va-yavou ad-charan va-yeshvu sham)
PASS Facts la-lekhet-artzah-kenaan HOLD (18 facts)
PASS flags charan/eretz_kenaan as read-before-install. (flagged=['charan', 'eretz_kenaan', 'ur_kasdim'])
=== S10 — The row closes without 'all', the unit owes nothing: after STEP_Gn_11_32
וַיָּמָת תֶּרַח בְּחָרָן (va-yamat terach be-charan)
PASS Facts yemei-terach-205-shanah HOLD (19 facts)
PASS SPECS empty (queue=0)
PASS no test, no name (tests=0 names=0)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S11_negative — Negative: the LET? contract guard
וָלָד (valad)
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)
=== S12_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_26_shem_ledger — 11:10-32
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_26_shem_ledger.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 deathless ledger: Shem to Terach, and the two deaths that land (11:10-32)"""
from machine import Machine
m = Machine("gen_26_shem_ledger")
# -------------------------- Gen.11.10-11 · SHEM_HEADER_AND_THE_FIRST_DEATHLESS_ROW -
# אֵלֶּה תּוֹלְדֹת שֵׁם שֵׁם בֶּן־מְאַת שָׁנָה וַיּוֹלֶד אֶת־אַרְפַּכְשָׁד
# שְׁנָתַיִם אַחַר הַמַּבּוּל … וַיּוֹלֶד בָּנִים וּבָנוֹת
# "These are the generations of Shem. Shem was a hundred years old, and
# begot Arpachshad two years after the flood. And Shem lived after he begot
# Arpachshad five hundred years, and begot sons and daughters."
m.step("Gen.11.10-11")
# ‹אֵלֶּה תּוֹלְדֹת שֵׁם› (“these generations Sem”) — section generations-
# Sem: eleh toldot shem — the sixth toledot header labels; installs nothing
m.section("toledot_shem", "eleh toldot shem — the sixth toledot header labels; installs nothing")
# ‹שֵׁם בֶּן־מְאַת שָׁנָה … שְׁנָתַיִם אַחַר הַמַּבּוּל› (“Sem son hundred
# years … years after the-deluge”) — fact holds: Sem-son-hundred-year;
# years-after-the-deluge
m.fact("shem_ben_meat_shanah",
"shenatayim_achar_ha_mabul")
# ‹וַיּוֹלֶד אֶת־אַרְפַּכְשָׁד› (“and-bear-young obj-marker Arphaxad”) —
# event: beget — agent Sem; theme Arphaxad
m.event("beget", agent="shem", themes=["arpakhshad"])
# ‹וַיְחִי־שֵׁם אַחֲרֵי הוֹלִידוֹ אֶת־אַרְפַּכְשָׁד חֲמֵשׁ מֵאוֹת שָׁנָה
# וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Sem after bear-young-him/its obj-
# marker Arphaxad five hundred years and-bear-young son and-daughter”) —
# fact holds: son-and-daughter(Sem)
m.fact("banim_u_vanot(shem)")
# -------------------------- Gen.11.12-13 · ARPACHSHAD_ROW_FRONTED_PERFECT --
# וְאַרְפַּכְשַׁד חַי חָמֵשׁ וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שָׁלַח …
# וַיּוֹלֶד בָּנִים וּבָנוֹת
# "And Arpachshad lived five and thirty years, and begot Shelah. And
# Arpachshad lived after he begot Shelah four hundred and three years, and
# begot sons and daughters."
m.step("Gen.11.12-13")
# ‹וְאַרְפַּכְשַׁד חַי חָמֵשׁ וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שָׁלַח›
# (“and-Arphaxad live five and-thirty years and-bear-young obj-marker
# Salah”) — event: beget — agent Arphaxad; theme Salah
m.event("beget", agent="arpakhshad", themes=["shelach"])
# ‹וַיְחִי אַרְפַּכְשַׁד … שָׁלֹשׁ שָׁנִים וְאַרְבַּע מֵאוֹת שָׁנָה
# וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Arphaxad … three years and-four
# hundred years and-bear-young son and-daughter”) — fact holds: son-and-
# daughter(Arphaxad)
m.fact("banim_u_vanot(arpakhshad)")
# -------------------------- Gen.11.14-15 · SHELACH_ROW_FRONTED_PERFECT -----
# וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־עֵבֶר … וַיּוֹלֶד בָּנִים
# וּבָנוֹת
# "And Shelah lived thirty years, and begot Eber. And Shelah lived after he
# begot Eber four hundred and three years, and begot sons and daughters."
m.step("Gen.11.14-15")
# ‹וְשֶׁלַח חַי שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־עֵבֶר› (“and-Salah live
# thirty years and-bear-young obj-marker Eber”) — event: beget — agent
# Salah; theme Eber
m.event("beget", agent="shelach", themes=["ever"])
# ‹וַיְחִי־שֶׁלַח … שָׁלֹשׁ שָׁנִים וְאַרְבַּע מֵאוֹת שָׁנָה וַיּוֹלֶד
# בָּנִים וּבָנוֹת› (“and-live Salah … three years and-four hundred years
# and-bear-young son and-daughter”) — fact holds: son-and-daughter(Salah)
m.fact("banim_u_vanot(shelach)")
# -------------------------- Gen.11.16-17 · EVER_ROW_WAYYIQTOL_RESUMES ------
# וַיְחִי־עֵבֶר אַרְבַּע וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־פָּלֶג …
# וַיּוֹלֶד בָּנִים וּבָנוֹת
# "And Eber lived four and thirty years, and begot Peleg. And Eber lived
# after he begot Peleg four hundred and thirty years, and begot sons and
# daughters."
m.step("Gen.11.16-17")
# ‹וַיְחִי־עֵבֶר אַרְבַּע וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־פָּלֶג› (“and-
# live Eber four and-thirty years and-bear-young obj-marker Peleg”) — event:
# beget — agent Eber; theme Peleg
m.event("beget", agent="ever", themes=["peleg"])
# ‹וַיְחִי־עֵבֶר אַחֲרֵי הוֹלִידוֹ אֶת־פֶּלֶג שְׁלֹשִׁים שָׁנָה וְאַרְבַּע
# מֵאוֹת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Eber after bear-
# young-him/its obj-marker Peleg thirty years and-four hundred years and-
# bear-young son and-daughter”) — fact holds: son-and-daughter(Eber)
m.fact("banim_u_vanot(ever)")
# -------------------------- Gen.11.18-19 · PELEG_ROW_CAREER_CLOSES ---------
# וַיְחִי־פֶלֶג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־רְעוּ … וַיּוֹלֶד בָּנִים
# וּבָנוֹת
# "And Peleg lived thirty years, and begot Reu. And Peleg lived after he
# begot Reu two hundred and nine years, and begot sons and daughters."
m.step("Gen.11.18-19")
# ‹וַיְחִי־פֶלֶג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־רְעוּ› (“and-live Peleg
# thirty years and-bear-young obj-marker Reu”) — event: beget — agent Peleg;
# theme Reu
m.event("beget", agent="peleg", themes=["reu"])
# ‹וַיְחִי־פֶלֶג אַחֲרֵי הוֹלִידוֹ אֶת־רְעוּ תֵּשַׁע שָׁנִים וּמָאתַיִם
# שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Peleg after bear-young-
# him/its obj-marker Reu nine years and-hundred years and-bear-young son
# and-daughter”) — fact holds: son-and-daughter(Peleg)
m.fact("banim_u_vanot(peleg)")
# -------------------------- Gen.11.20-21 · REU_ROW_WHOLE_CAREER_IN_SPAN ----
# וַיְחִי רְעוּ שְׁתַּיִם וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שְׂרוּג …
# וַיּוֹלֶד בָּנִים וּבָנוֹת
# "And Reu lived two and thirty years, and begot Serug. And Reu lived after
# he begot Serug two hundred and seven years, and begot sons and daughters."
m.step("Gen.11.20-21")
# ‹וַיְחִי רְעוּ שְׁתַּיִם וּשְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־שְׂרוּג› (“and-
# live Reu two and-thirty years and-bear-young obj-marker Serug”) — event:
# beget — agent Reu; theme Serug
m.event("beget", agent="reu", themes=["serug"])
# ‹וַיְחִי רְעוּ אַחֲרֵי הוֹלִידוֹ אֶת־שְׂרוּג שֶׁבַע שָׁנִים וּמָאתַיִם
# שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Reu after bear-young-him/its
# obj-marker Serug seven years and-hundred years and-bear-young son and-
# daughter”) — fact holds: son-and-daughter(Reu)
m.fact("banim_u_vanot(reu)")
# -------------------------- Gen.11.22-23 · SERUG_ROW_BEGETS_THE_FIRST_NACHOR -
# וַיְחִי שְׂרוּג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־נָחוֹר … וַיּוֹלֶד בָּנִים
# וּבָנוֹת
# "And Serug lived thirty years, and begot Nahor. And Serug lived after he
# begot Nahor two hundred years, and begot sons and daughters."
m.step("Gen.11.22-23")
# ‹וַיְחִי שְׂרוּג שְׁלֹשִׁים שָׁנָה וַיּוֹלֶד אֶת־נָחוֹר› (“and-live Serug
# thirty years and-bear-young obj-marker Nahor”) — event: beget — agent
# Serug; theme Nahor-son-Serug
m.event("beget", agent="serug", themes=["nachor_ben_serug"])
# ‹וַיְחִי שְׂרוּג אַחֲרֵי הוֹלִידוֹ אֶת־נָחוֹר מָאתַיִם שָׁנָה וַיּוֹלֶד
# בָּנִים וּבָנוֹת› (“and-live Serug after bear-young-him/its obj-marker
# Nahor hundred years and-bear-young son and-daughter”) — fact holds: son-
# and-daughter(Serug)
m.fact("banim_u_vanot(serug)")
# -------------------------- Gen.11.24-25 · NACHOR_ROW_BEGETS_TERACH --------
# וַיְחִי נָחוֹר תֵּשַׁע וְעֶשְׂרִים שָׁנָה וַיּוֹלֶד אֶת־תָּרַח … וַיּוֹלֶד
# בָּנִים וּבָנוֹת
# "And Nahor lived nine and twenty years, and begot Terah. And Nahor lived
# after he begot Terah a hundred and nineteen years, and begot sons and
# daughters."
m.step("Gen.11.24-25")
# ‹וַיְחִי נָחוֹר תֵּשַׁע וְעֶשְׂרִים שָׁנָה וַיּוֹלֶד אֶת־תָּרַח› (“and-
# live Nahor nine and-twenty years and-bear-young obj-marker Tarah”) —
# event: beget — agent Nahor-son-Serug; theme Tarah
m.event("beget", agent="nachor_ben_serug", themes=["terach"])
# ‹וַיְחִי נָחוֹר אַחֲרֵי הוֹלִידוֹ אֶת־תֶּרַח תְּשַׁע־עֶשְׂרֵה שָׁנָה
# וּמְאַת שָׁנָה וַיּוֹלֶד בָּנִים וּבָנוֹת› (“and-live Nahor after bear-
# young-him/its obj-marker Tarah nine -teen years and-hundred years and-
# bear-young son and-daughter”) — fact holds: son-and-daughter(Nahor-son-
# Serug)
m.fact("banim_u_vanot(nachor_ben_serug)")
# -------------------------- Gen.11.26 · TERACH_ROW_OPENS_THREE_SONS --------
# וַיְחִי־תֶרַח שִׁבְעִים שָׁנָה וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר
# וְאֶת־הָרָן
# "And Terah lived seventy years, and begot Abram, Nahor, and Haran."
m.step("Gen.11.26")
# ‹וַיְחִי־תֶרַח שִׁבְעִים שָׁנָה וַיּוֹלֶד אֶת־אַבְרָם אֶת־נָחוֹר
# וְאֶת־הָרָן› (“and-live Tarah seventy years and-bear-young obj-marker
# Abram obj-marker Nahor and-obj-marker Haran”) — event: beget — agent
# Tarah; theme Abram, Nahor-son-Tarah, Haran
m.event("beget", agent="terach", themes=["avram", "nachor_ben_terach", "haran"])
# -------------------------- Gen.11.27 · TERACH_HEADER_INSIDE_THE_OPEN_ROW --
# וְאֵלֶּה תּוֹלְדֹת תֶּרַח תֶּרַח הוֹלִיד אֶת־אַבְרָם אֶת־נָחוֹר
# וְאֶת־הָרָן וְהָרָן הוֹלִיד אֶת־לוֹט
# "Now these are the generations of Terah. Terah begot Abram, Nahor, and
# Haran; and Haran begot Lot."
m.step("Gen.11.27")
# ‹וְאֵלֶּה תּוֹלְדֹת תֶּרַח› (“and-these generations Tarah”) — section
# generations-Tarah: ve-eleh toldot terach — the seventh toledot header
# labels; installs nothing
m.section("toledot_terach", "ve-eleh toldot terach — the seventh toledot header labels; installs nothing")
# ‹וְהָרָן הוֹלִיד אֶת־לוֹט› (“and-Haran bear-young obj-marker Lot”) —
# event: beget — agent Haran; theme Lot
m.event("beget", agent="haran", themes=["lot"])
# -------------------------- Gen.11.28 · HARAN_DIES_BEFORE_HIS_FATHER -------
# וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו בְּאֶרֶץ מוֹלַדְתּוֹ בְּאוּר
# כַּשְׂדִּים
# "And Haran died in the presence of his father Terah in the land of his
# nativity, in Ur of the Chaldees."
m.step("Gen.11.28")
# ‹וַיָּמָת הָרָן עַל־פְּנֵי תֶּרַח אָבִיו› (“and-die Haran over face Tarah
# father-him/its”) — event: die — agent Haran
m.event("die", agent="haran")
# ‹בְּאֶרֶץ מוֹלַדְתּוֹ בְּאוּר כַּשְׂדִּים› (“in-earth nativity-him/its in-
# Ur Chaldeans”) — fact holds: in-earth-moladto-in-Ur-Chaldeans(Haran)
m.fact("be_eretz_moladto_be_ur_kasdim(haran)")
# reads without prior install (flag, not fix): Ur-Chaldeans
m.presupposed("ur_kasdim")
# -------------------------- Gen.11.29 · THE_WIVES_TAKEN_ONE_GENEALOGY_WITHHELD -
# וַיִּקַּח אַבְרָם וְנָחוֹר לָהֶם נָשִׁים שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי וְשֵׁם
# אֵשֶׁת־נָחוֹר מִלְכָּה בַּת־הָרָן אֲבִי־מִלְכָּה וַאֲבִי יִסְכָּה
# "And Abram and Nahor took them wives: the name of Abram's wife was Sarai;
# and the name of Nahor's wife, Milcah, the daughter of Haran, the father of
# Milcah, and the father of Iscah."
m.step("Gen.11.29")
# ‹וַיִּקַּח אַבְרָם וְנָחוֹר לָהֶם נָשִׁים› (“and-take Abram and-Nahor to-
# them/their woman”) — event: take — agent Abram; theme woman
m.event("take", agent="avram", themes=["nashim"])
# ‹שֵׁם אֵשֶׁת־אַבְרָם שָׂרָי וְשֵׁם אֵשֶׁת־נָחוֹר מִלְכָּה› (“name woman
# Abram Sarai and-name woman Nahor Milcah”) — fact holds: Sem-woman-Abram-
# Sarai; Sem-woman-Nahor-milkah
m.fact("shem_eshet_avram_saray",
"shem_eshet_nachor_milkah")
# ‹מִלְכָּה בַּת־הָרָן אֲבִי־מִלְכָּה וַאֲבִי יִסְכָּה› (“Milcah daughter
# Haran father Milcah and-father Iscah”) — fact holds: milkah-daughter-
# Haran; Haran-father-milkah-and-father-yiskah
m.fact("milkah_bat_haran",
"haran_avi_milkah_va_avi_yiskah")
# -------------------------- Gen.11.30 · SARAI_BARREN_THE_DOUBLED_ABSENCE ---
# וַתְּהִי שָׂרַי עֲקָרָה אֵין לָהּ וָלָד
# "And Sarai was barren; she had no child."
m.step("Gen.11.30")
# ‹וַתְּהִי שָׂרַי עֲקָרָה› (“and-be Sarai sterile”) — fact holds: Sarai-
# akarah
m.fact("saray_akarah")
# ‹אֵין לָהּ וָלָד› (“there-is-not to-her/its boy”) — fact holds: ein-lah-
# boy
m.fact("ein_lah_valad")
# -------------------------- Gen.11.31 · THE_JOURNEY_STATED_STOPPED_SETTLED -
# וַיִּקַּח תֶּרַח אֶת־אַבְרָם בְּנוֹ וְאֶת־לוֹט בֶּן־הָרָן בֶּן־בְּנוֹ
# וְאֵת שָׂרַי כַּלָּתוֹ אֵשֶׁת אַבְרָם בְּנוֹ וַיֵּצְאוּ אִתָּם מֵאוּר
# כַּשְׂדִּים לָלֶכֶת אַרְצָה כְּנַעַן וַיָּבֹאוּ עַד־חָרָן וַיֵּשְׁבוּ שָׁם
# "And Terah took Abram his son, and Lot the son of Haran, his son's son,
# and Sarai his daughter-in-law, his son Abram's wife; and they went forth
# with them from Ur of the Chaldees, to go into the land of Canaan; and they
# came unto Haran, and dwelt there."
m.step("Gen.11.31")
# ‹וַיִּקַּח תֶּרַח אֶת־אַבְרָם בְּנוֹ וְאֶת־לוֹט בֶּן־הָרָן בֶּן־בְּנוֹ
# וְאֵת שָׂרַי כַּלָּתוֹ אֵשֶׁת אַבְרָם בְּנוֹ› (“and-take Tarah obj-marker
# Abram son-him/its and-obj-marker Lot son Haran son son-him/its and-obj-
# marker Sarai bride-him/its woman Abram son-him/its”) — event: take — agent
# Tarah; theme Abram, Lot, Sarai
m.event("take", agent="terach", themes=["avram", "lot", "saray"])
# ‹וַיֵּצְאוּ אִתָּם מֵאוּר כַּשְׂדִּים› (“and-bring-forth with-them/their
# from-Ur Chaldeans”) — event: go-out — agent Tarah
m.event("go_out", agent="terach")
# ‹לָלֶכֶת אַרְצָה כְּנַעַן› (“to-go earth-ward Canaan”) — fact holds: to-
# go-artzah-Canaan
m.fact("la_lekhet_artzah_kenaan")
# ‹וַיָּבֹאוּ עַד־חָרָן› (“and-come/bring until Haran”) — event: come —
# agent Tarah
m.event("come", agent="terach")
# ‹וַיֵּשְׁבוּ שָׁם› (“and-dwell/sit there”) — event: settle — agent Tarah
m.event("settle", agent="terach")
# reads without prior install (flag, not fix): Haran, earth-Canaan
m.presupposed("charan", "eretz_kenaan")
# -------------------------- Gen.11.32 · TERACH_ROW_CLOSES_WITHOUT_ALL ------
# וַיִּהְיוּ יְמֵי־תֶרַח חָמֵשׁ שָׁנִים וּמָאתַיִם שָׁנָה וַיָּמָת תֶּרַח
# בְּחָרָן
# "And the days of Terah were two hundred and five years; and Terah died in
# Haran."
m.step("Gen.11.32")
# ‹וַיִּהְיוּ יְמֵי־תֶרַח חָמֵשׁ שָׁנִים וּמָאתַיִם שָׁנָה› (“and-be day
# Tarah five years and-hundred years”) — fact holds: days-of-Tarah-205-year
m.fact("yemei_terach_205_shanah")
# ‹וַיָּמָת תֶּרַח בְּחָרָן› (“and-die Tarah in-Haran”) — event: die — agent
# Tarah
m.event("die", agent="terach")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'charan', 'ur_kasdim', 'eretz_kenaan'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 0
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 3}
assert sorted(m.WORLD["facts"]) == sorted(['shem_ben_meat_shanah', 'shenatayim_achar_ha_mabul', 'banim_u_vanot(shem)', 'banim_u_vanot(arpakhshad)', 'banim_u_vanot(shelach)', 'banim_u_vanot(ever)', 'banim_u_vanot(peleg)', 'banim_u_vanot(reu)', 'banim_u_vanot(serug)', 'banim_u_vanot(nachor_ben_serug)', 'be_eretz_moladto_be_ur_kasdim(haran)', 'shem_eshet_avram_saray', 'shem_eshet_nachor_milkah', 'milkah_bat_haran', 'haran_avi_milkah_va_avi_yiskah', 'saray_akarah', 'ein_lah_valad', 'la_lekhet_artzah_kenaan', 'yemei_terach_205_shanah'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 19
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")