The war of the kings: the annal, the rescue, the priest, the refused spoils (14:1-24) FROZEN
הֲרִימֹתִי יָדִי אֶל־יְהוָה · harimoti yadi el-YHWH · 'I have raised my hand to YHWH'
REVIEW PASSED and FROZEN 2026-08-03 by the main loop: every census re-run independently against the raw snapshot and confirmed EXACT — melekh ('king') in-span x27 with tokens 28-29 = 17:6/17:16 ('kings shall come out of you'); kohen ('priest') token 1 = 14:18, tokens 2-5 all Egypt's priests; el (the divine name 410) tokens 1-4 ALL in-span as El Elyon ('God Most High'), token 5 = 16:13 (the El-ladder confirmed); brit ('covenant') tokens 1-8 all divine (6:18 + Gen 9's seven), TOKEN 9 = 14:13's baalei verit ('masters of covenant' — first human-human), token 10 = 15:18; barakh ('bless') tokens 1-5 divine, 6 = 9:26 human-to-God, 7-10 = the 12:2-3 promise cluster, TOKEN 11 = 14:19 — the FIRST HUMAN-BLESSES-HUMAN, with token 12 the same verse's second barukh; maaser ('tithe') token 1 = 14:20, tokens 2-4 = Lev 27:30-32 (the tithe law — the bridge-class again); shava ('swear') absent until 21:23-24 while the ONLY im ('if') + first-person-imperfect oath-clause in Gen 1-14 is 14:23 — THE CORPUS'S FIRST HUMAN OATH verified; rum ('raise') tokens 1-2 = 7:17 (the waters lifting the ark) / 14:22 (the raised hand); qanah ('acquire') tokens 1-3 = 4:1 (Chavah's verb) / 14:19 / 14:22; melach ('salt') 1-2 = 14:3 / 19:26 (Lot's wife next); ivri ('Hebrew') token 1 = 14:13, tokens 2-3 = 39:14/17 (Egypt, as staged); chanikh ('trained man') TORAH HAPAX 14:14; migen ('delivered', piel) TORAH HAPAX 14:20 vs magen ('shield', noun) token 1 = 15:1 — the seam-pun's TWO LEMMAS confirmed, seam not encoded; Dan token 1 = 14:14 (birth 30:6) and the Amalekite gentilic before Amalek's 36:12 birth — proleptics named-only, ratified; Shinar tokens 3-4 in-span; rekhush ('property') tokens 3-7 of 13 all in-span (gen_27's debut line quoted — reviewer note: the quote elides the frozen line's inline gloss parenthetical, content identical); MORPHS verified: ten ('give!') and qach ('take!') both true imperatives HVqv2ms, yiqchu ('let them take') JUSSIVE HVqj3mp (flag 2's morph-driven overturn confirmed), harimoti performative hiphil perfect; Abram's three speeches hold EXACTLY ONE YHWH token (14:22); Tzevoyim = two-row ktiv/qere pairs at BOTH 14:2 and 14:8 (corpus doubles-in-frozen-spans now EIGHT); span word_total 343. ALL THIRTEEN FLAGGED CHOICES RATIFIED. Flag 1 (the boldest): THE REFUSAL RULING — a refusal is a FACT about a demand, not an operation on it; the queue records debts, not attitudes; zero new operators (the decline-class weighed and rejected under the owner-gated-interpreter constraint); the letter's own sequence seals it — the persons were brought back at 14:16 BEFORE the king demanded them. RATIFIED as frozen law for future refusals. Flag 2 ratified (the third demand pushed and open on gen_23's jussive device — the letter's mood decides). Flag 3 ratified (the tithe agentless, both pronouns bare; Onkelos declines to vote — dual-track). Flags 4-13 ratified as argued. All frozen-unit quotes verified verbatim (gen_13/23/24/27/28). Onkelos (Aramaic translation) Tier-A, 24 sequential fetches FETCHLOG'd — headline find-class: 14:18's DOUBLE MOVE (Salem named JERUSALEM; the priest-word withheld — meshamesh kodam, 'one who serves before'); the oath gains prayer; the compass-for-body-relative policy confirmed as repeat buffer. TWENTY-SIXTH PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen30_prospective_2026-08-03.md): cache holds ZERO sources for Gen 14:1-24 — TWENTY-FOURTH tripwire in a row. INTERPRETER: ZERO extensions — twenty-first extension-free derivation in a row. Derived by the FOURTH-GENERATION agent (its second unit; thirteenth agent-derived unit overall; first-run green, zero corrections, one self-caught prose/machine count mismatch fixed before shipping). THE DRAFT'S FLAGGED CHOICES (all ratified): (1) THE REFUSAL RULING — the unit's boldest call. The king of Sodom's imperative pair (TEN-li ha-nefesh 'GIVE me the persons' + ve-ha-rekhush QACH-lakh 'and the goods TAKE for yourself' — both HVqv2ms, DB-verified) pushes TWO human LET demands (gen_13's class, quoted); Abram's oath-speech REFUSES them aloud — and the machine records the refusal as SPOKEN FACTS while the demands stand OPEN, with ZERO new operators: a refusal is a FACT ABOUT a demand, not an operation ON it. The queue arithmetic is exactly frozen gen_28's, quoted ('ZERO RESULT ops — no demand receipts in-span [bold; the letter's arithmetic]'): RESULT pops only an executed demand, and NOTHING is executed — Abram takes no goods (the oath negates the taking in the demand's own verb: ve-im EQACH, 'if I TAKE...!'), and no transfer of persons to the king is narrated ANYWHERE (the letter's own sequence is sharper still: the persons were already BROUGHT BACK at 14:16, before the king ever asked). The machine-difference between gen_28's silence and this refusal lives entirely in the FACTS register (two standing oath-facts) and in prose — the queue records debts, not attitudes. Weighed against inventing a decline/annul class: REJECTED — the interpreter is owner-gated, the extension-free record stands (twenty-one in a row), and the letter itself never cancels the demands; it answers them with an oath and an exception-clause. FLAGGED for ratify-or-reverse. (2) 14:24's HEM YIQCHU CHELQAM ('let THEM take their portion') — the DB tags yiqchu JUSSIVE (HVqj3mp), and the controlling precedent is frozen gen_23's four-jussive device, quoted: 'THE FOUR JUSSIVES as DECLARE + LET demands (TIR-026; gen_01's "DECLARE(Elohim, LET(exists(or)))" quoted; gen_13's "DECLARE(lemekh, LET(shema(neshei_lemekh, qol_lemekh)))" the human-demand precedent)... All four pushed and letter-faithfully OPEN.' So HERE: pushed as DECLARE(avram, LET(yiqchu(aner_eshkol_ mamre, chelqam))) — Abram's second demand-issuing ever (his first, 13:9's hipared, is the corpus's only settled human demand, frozen gen_29) — and OPEN: no taking by the allies is narrated. The initial staging lean (hold as oath-internal fact) was OVERTURNED BY THE MORPH + the frozen jussive class — the letter's mood decides, flagged. (3) THE TITHE'S HIDDEN PRONOUNS — va-yiten-LO maaser mi-kol ('and HE gave HIM a tenth of all', 14:20): the giver and receiver are both bare pronouns; the give-event is encoded AGENTLESS (give(e18) with Theme only — the letter's ambiguity preserved; the discipline is TIR-032's agentless class, applied to an active verb whose subject the letter withholds). Held OPEN, not resolved. Onkelos's vote checked as ordered: vi-hav leh ('and he gave him') — THE BUFFER DECLINES TO VOTE: both pronouns stay bare in Aramaic too [dual-track]. (4) THE CORPUS'S FIRST HUMAN OATH claimed [census-backed]: 14:22-23's harimoti yadi ('I have RAISED MY HAND' — performative perfect, rum token 2; token 1 is 7:17, the waters LIFTING the ark) + the im-formula self-curse ('IF from a thread to a sandal-thong, and IF I take...') — the swear-verb itself (shava) debuts only at 21:23-24, and the census finds NO earlier im + first-person-imperfect oath-clause in the corpus (the only hit in Gen 1-14 is 14:23's eqach): the oath-FORM exists seven chapters before the oath-VERB. Counterexample hunt run; precise reframe stands ready if review finds one. (5) BRIT ('covenant') TOKEN 9 = 14:13's baalei verit-avram ('masters of Abram's covenant') — tokens 1-8 are ALL DIVINE (6:18 + the seven of Gen 9, census-verified): the covenant-word's FIRST HUMAN-HUMAN token is three Emorite brothers allied with Abram; token 10 is 15:18 (the covenant of the pieces, across the seam, named-only). (6) THE FIRST HUMAN-BLESSES-HUMAN: 14:19's va-yevarkhehu (barakh token 11; tokens 1-5 divine piel, token 6 = 9:26 — frozen gen_23's direction-inversion, quoted: 'every prior BLESS speaker was Elohim; here a human blesses YHWH (BLESS(noach, yhwh_elohei_shem))' — tokens 7-10 = 12:2-3's promise cluster): Malki-Tzedek completes the triangle — a human blesses a HUMAN, and the human he blesses is the man of frozen gen_27's 12:3 guard-clause ('I will bless your blessers') — the guard's first field is a priest-king [cross-unit, prose only, nothing pops]. BLESS x2 encoded (the double barukh: Abram at 14:19, El Elyon at 14:20 — gen_23's human-to-God direction repeating in the second). (7) ABRAM'S FIRST SPOKEN YHWH [census]: his three recorded speeches (12:11-13 fear, 13:8-9 peace, 14:22-24 refusal) contain exactly ONE YHWH token — 14:22: the first time the man of the call says the Name aloud, and he says it fused to the foreign priest's epithet with the fusion's OWN order: YHWH FIRST (el-YHWH el elyon qoneh shamayim va-aretz — 14:19-20's epithet YHWH-prefixed, letter fact; the chain's readings named-only). (8) EL (the divine name, 410) tokens 1-4 ALL in-span as EL ELYON ('God Most High') — verified; the El-title ladder that follows is 16:13 (El Roi), 17:1 (El Shaddai), 21:33 (El Olam) [careers, prose, named at the step]. ELYON's 9 Torah tokens: four here, then a basket-top (40:17), Bilam (Num 24:16), and Deuteronomy. (9) GLOSS_FIX candidates from this span's gloss column: dan 'Daniel' -> 'Dan (the place)' (1835); melach 'the-powder' -> 'salt' (4417); migen 'shield' -> 'delivered' (4042 — the piel VERB, Torah hapax; the noun magen 'shield' is 4043, whose token 1 is 15:1 across the seam); qoneh 'erect' -> 'possessor/maker' (7069); elyon 'elevation' -> 'Most High' (5945); midbar 'pasture' -> 'wilderness' (4057); nus 'flit' -> 'flee' (5127); chalaq 'be-smooth' -> 'divide' (2505/2506); raq 'leanness' -> 'only' (7535). (10) KTIV/QERE x2: Tzevoyim is a two-row written/read pair at BOTH 14:2 and 14:8 (the census's corpus adjacency-pair list); the 343-token span total counts all rows. (11) PROLEPTIC NAMES held named-only, no claims: ha-Amaleqi (14:7) precedes Amalek's birth (36:12 — census); Dan (14:14) precedes Dan's birth (30:6 — census); the chain's harmonizations are the chain's. (12) MAMRE person/place: frozen gen_29 installed the altar at elonei Mamre (the grove-construct, place); 14:13/24's Mamre is an EMORITE MAN, brother of Eshkol and Aner — same lemma, the eponym materialized as an ally [letter fact, prose]. (13) Seed/staging self-corrections: the staged 'Goyim proper-name ordinal' claim dropped (the debut map normalizes the 1471 b lemma-split; the words table alone carries the b-tag — stated as lemma-tag observation only); the staged lean on 14:24 (flag 2) overturned by the morph. ONKELOS (Aramaic translation) read Tier-A at derive time (24 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03) — headline: 14:18's DOUBLE MOVE — Salem is IDENTIFIED (malka di-YERUSHLEM, 'king of JERUSALEM') and the priest-word is WITHHELD: kohen's Torah-debut token is rendered MESHAMESH KODAM ('one who SERVES BEFORE') El Elyon — the buffer names the city the letter conceals and un-priests the man the letter ordains. Full findings and repeat-buffers in ORAL_onkelos_tier_a. Watch-points answered: the oath gains PRAYER (bi-tzlo, 'in prayer' — inserted at 14:22); the maaser pronouns stay ambiguous (the buffer declines to vote); mi-semol ('on the left of') Damascus -> MI-TZIPUNA ('on the NORTH') — frozen gen_29's compass-for-body-relative policy CONFIRMED as a repeat buffer; the take-verb turns captive (u-shvo) and the king's qach turns lead (devar — the lead-for-take buffer again). PROSPECTIVE MIDDOT RUN queued as WATCHLIST_gen30_prospective (scratchpad; the cache middot scan is the MAIN LOOP'S gate, not claimed here). INTERPRETER: ZERO extensions — every operator, mood, and scenario clause parses under the UNMODIFIED repo interpreter (preflight from scratchpad, draft-guard bypassed for preview only).
Logic-derived v1: v3 taamim (cantillation accents) trees from DB tree_json -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. Machine tokens apostrophe-free and underscore-joined (ten(avram, ha_nefesh), qach(avram, ha_rekhush), yiqchu(aner_eshkol_mamre, chelqam), harimoti_yadi_el_YHWH_el_elyon). HYBRID steps: three grouped annal-rows (gen_24's device) + thirteen per-verse (sixteen steps).
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, PROCESS.md oral-first era; manifest logic/oral_audit/manifests/gen_30_war_of_kings_claims.json — 23 VERIFIED, 0 FAILED, 1 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_30_2026-08-08.md). CROWNS (chain-attested + DB-verified): (1) THE HUNDRED WORDS (G30-02..08, Kitzur on 14:19): the Torah's SEVEN verses of blessing spoken TO God — ברוך יהוה אלהי שם ("blessed be the LORD, God of Shem," 9:26), וברוך אל עליון ("and blessed be God Most High," 14:20 — this span's priest-verse), the servant's two (24:27, 24:48), Jethro's (Exod 18:10), the grace-command (Deut 8:10), Gad's (Deut 33:20) — total EXACTLY ONE HUNDRED words (9+11+20+19+18+12+11), "against the hundred daily blessings; seven verses against Sabbath's seven." SNAPSHOT: one hundred, word for word. (2) Chedorlaomer ONE WORD (G30-10): Bavli Chullin 65a transmits the writing-rule; the precise manuscripts, the Ramah and the Meiri rule one word — SNAPSHOT: a single written word at all five Torah tokens (14:1/4/5/9/17). (3) חניכיו ("his trained men," the machine's hapax) written with TWO YODS (G30-09): the printed Rashi's "written singular" is Minchat Shai's "astonishment — no book lacks the yods"; SNAPSHOT arbitrates with the Ramah. (4) THE THREE SOFT TITHES (G30-18/19/20, the Masorah via Minchat Shai): מעשר ("tithe") with ayin in hataf patach (the compound half-vowel) exactly at its Torah debut on Abram's spoils (14:20) and Korach's two (Num 18:21, 18:26) — the machine's own tithe-word bridge (token 1 then the law) now carries a POINTING law across three books. (5) הרימתי ("I have raised") — exactly two Torah tokens: the oath-hand (14:22, the unit's title-word) and Potiphar's wife's raised voice (39:15) (G30-11, Kitzur: "she too intended for good"). (6) Malki-Tzedek (G30-14/15): the initials of מלך שלם ("king of Salem") carry שם ("Shem" — the chain's identification riding the letters); the name itself is the traditions' split (one word / two words one line / "written two read one"; the Ramah undecided) — SNAPSHOT: two rows JOINED by maqqef (the joining hyphen), a camp recorded where the Ramah stayed silent. (7) האימים ("the Emim") written fully full — two yods — ONCE in the Torah (14:5); Deut 2:10-11 drop the first yod as ruled; Jer 50:38 is Scripture's second (edge) (G30-22/23). (8) הם יקחו חלקם ("let THEM take their portion") — pronoun BEFORE jussive, against the Venice 1560 print's inversion (G30-16): the third DECLARE's word-order locked. (9) ובארבע verse-initial once (14:5) — paired with Sennacherib's fourteenth year (II Kings 18:13; edge) (G30-13); לדמשק once (14:15) — paired with Amos' "beyond Damascus" (5:27; edge) (G30-12); ויהי בימי ("and it was in the days of") once in the Torah, opening this annal — the Masorah's formula of woe (Ruth, Esther legs; edges) (G30-21). (10) Tzevoyim written צביים read with vav at BOTH 14:2/14:8, two DB rows each — the frozen ktiv/qere accounting now chain-attested (G30-17, Minchat Shai). DISCREPANCY (filed, not merged): THE ELEVEN THAT ARE EIGHTEEN (G30-01, the Ramah's written-with-yod list opening at this span's "Bela — it is Zoar"): SNAPSHOT carries all eleven of the list PLUS SEVEN more yod-pronouns (Gen 19:20, 26:7, 40:10, Exod 1:16, Lev 5:11, 13:6, 20:18) — the largest counted-law vs codex split recorded; filed beside the 9:29 death-total war. INHERITANCE EDGES (export_links, Torah side verified): 14:18 → Psalm 110 — the priest-word's Torah DEBUT inherited by "a priest forever, after the order of Malki-Tzedek"; 14:14 → I Kings 12:28-30 — proleptic Dan inherited by Jeroboam's calf at Dan; 14:5 → Deut 1:4/2:10/2:20/3:11 and Amos 6:13 — the giants' geography re-walked, Karnaim taunted; 14:7 → Num 20:1 and II Chr 20:2 — Kadesh and Hatzatzon-Tamar reused. INSTRUMENT GAP: עליהם ׀ לילה — Minchat Shai's paseq (the separator bar) between the words (14:15); the words table sees no between-word bar: paseq class, recurrence (G30-24). READINGS (named-only): the escapee = Og (Pirkei DeRabbi Eliezer via Kitzur, with Ezekiel's escapee as pair); the chapter's pointing minutiae (bארת's compound segol, הרה's segol-vs-tsere with Masorah "unique," the dagesh trio, שוה's tsere, בהררם's two-similar-letters rule pointing back to 12:3's bless-word law) filed without rows. Machine layer untouched.
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | Gen 14:1-24 as ONE UNIT (owner ruling on the staged recommendation, adopted WITH the hybrid format): the annal — coalition and vale (14:1-3), tribute clock and southern sweep (14:4-7), battle, pits, plunder (14:8-11); then per-verse — Lot taken (14:12), the refugee and the allies (14:13), the muster (14:14), the night-split (14:15), the bringing-back (14:16), the king's meeting (14:17), bread and wine (14:18), the two blessings and the tenth (14:19-20), the demands (14:21), the oath (14:22-23), the exception (14:24). The no-split-at-14:13 reasoning ratified: the laqach ('take') arc binds the halves — taken at 14:11-12, brought back at 14:16, demanded at 14:21, refused at 14:23, stipulated at 14:24. 15:1 breaks genre completely (the word in a vision) and carries the seam-pun (14:20 miggen / 15:1 magen — flag at step, careers only, seam NOT encoded). 24 verses, 343 tokens. | established |
| B | Hebrew source + trees | All 24 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Grouped annal-steps carry the LEAD verse's etnachta arms (gen_24's device, quoted in the draft note); every verse's full tree stands in binary_trees. Tree facts (accent positions DB-verified): 14:3 ends on yam ha-MELACH ('the Salt Sea'); 14:4 ends on MARADU ('they rebelled'); 14:9 ends on et ha-CHAMISHAH ('against the FIVE'); 14:11 ends on the single word VA-YELEKHU ('and they went'); 14:12 ends on BI-SEDOM — Lot's verse ends on Sodom AGAIN (frozen gen_29's 13:12 ended on ad-sedom: two units, two Lot-verses, one verse-final address) [cross-unit tree fact, prose]; 14:13 ends on baalei verit-AVRAM; 14:14 rests on ACHIV ('his brother') and ends on ad-DAN; 14:17 carries the RARE ZINOR + SEGOL accent pair (poetic cousins in prose) and ends on emeq ha-MELEKH ('the King's Vale'); 14:19 has a TWO-WORD etnachta arm (va-yevarkhehu va-yomar — 'he blessed him and said': the blessing IS the rest) and ends on shamayim va-ARETZ; 14:20 ends on mi-KOL ('of ALL' — the tenth verse-final); 14:21 ENDS ON QACH-LAKH ('TAKE for yourself') — a human demand seated on the silluq (verse-end) throne, exactly frozen gen_28's class ('12:19 ENDS ON VA-LEKH... the king's go-imperative sits verse-final' — quoted); 14:22 ends on shamayim va-aretz AGAIN — the blessing's epithet and the oath's epithet close their verses with the same two words; 14:23 ends on heesharti et-AVRAM ('I made Abram rich' — the motive verse-final); 14:24 ends on YIQCHU CHELQAM ('let them take their portion' — the jussive on the throne). | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-03) and censuses run BEFORE drafting. THE DEMAND FIELD: 14:21 TEN + QACH — both TRUE IMPERATIVES (HVqv2ms; no guard, gen_27's ratified rule); 14:24 YIQCHU — JUSSIVE (HVqj3mp; gen_23's jussive-LET class, flag 2); 14:22 HARIMOTI — performative perfect (Vhp1cs); 14:23's im-clauses — the oath-negative formula (the census's only im + 1cs-imperfect oath in Gen 1-14). MELEKH ('king') — TORAH DEBUT x27 IN-SPAN (tokens 1-27 of 101, count verified exact): the letter never called Nimrod, Pharaoh, or Babel's builders king; tokens 28-29 are 17:6/17:16 — 'KINGS shall come out of you': the word is born in a war and next appears in the covenant [career, prose]. MILCHAMAH ('war') debut x2 (asu milchamah — war is MADE, with the make-verb; tokens 3-5: Egypt's fear, the Sea road, YHWH ish milchamah). KOHEN ('priest') — TORAH DEBUT at 14:18 (tokens 2-5 are all EGYPT'S priests, 41:45-47:22: one Salem, four Egypt, before Aaron's 280+). EL (410) tokens 1-4 ALL in-span as EL ELYON (flag 8); ELYON x4 of its 9. MAASER ('tithe') — TORAH DEBUT; tokens 2-4 are Lev 27:30-32, THE TITHE LAW: the law's word born in an ambiguous gift (the lev_13/nega bridge-class — a law-word debuting as narrative, three books early) [career, prose]. BRIT token 9 (flag 5). BARAKH tokens 11-13 (flag 6). QANAH ('acquire') tokens 2-3 = the qoneh epithet (token 1 = 4:1, Chavah's qaniti 'I have ACQUIRED a man with YHWH' — the acquire-verb's career: a mother's first cry, then God's title as Owner of heaven and earth) [census, prose]. RUM token 2 = the oath-gesture (token 1 = 7:17: the waters LIFTED the ark; tokens 4-5 = 39:15/18, harimoti qoli — the SAME 1cs form in Potiphar's wife's false accusation) [career, prose]. LAQACH tokens 24-28 in-span — the arc: plunder taken (24), LOT taken (25), the king's qach-demand (26), Abram's im-eqach refusal (27), the allies' jussive (28); tokens 21-23 were frozen gen_28's passive/confession/imperative triad; token 29 is 15:9's qechah-li — GOD says take next, across the seam [career, prose]. SHUV tokens 8-11 in-span: va-yashuvu (the annal's pivot, 14:7), VA-YASHEV + HESHIV (14:16 — BOTH HIPHIL: 'he BROUGHT BACK', the restore-voice's Torah debut x2 in one verse; tokens 1-2 = 3:19's dust-return), shuvo (14:17). IVRI ('Hebrew') — TORAH DEBUT at 14:13 (frozen gen_27 noted avar 'cross' token 2 at 12:6 with the crosser-naming named-only — the gentilic lands HERE); tokens 2-6 are ALL Yosef-in-Egypt, 7-8 the midwives: the Hebrew-name is born in war and lives in Egypt [census, prose]. CHANIKHAV ('his trained men') — TORAH HAPAX, verified; 318 held as letter fact, no numerology [chain readings named-only]. NEFESH tokens 14-15: 12:5's souls-MADE-in-Charan (frozen gen_27), 14:21's souls-DEMANDED-by-Sodom [career, prose]. REKHUSH tokens 3-7 of 13 in-span (gen_27's debut line quoted at the step); token 8 = 15:14's exodus decree ('they will come out bi-rekhush gadol'), named-only. MELACH ('salt') debut names the doomed vale's sea; TOKEN 2 = 19:26 — LOT'S WIFE, the pillar [career, prose]. LECHEM token 2 (token 1 = 3:19's sweat-bread; token 3 = 18:5, Abraham's own hospitality); YAYIN token 3 (tokens 1-2 = Noach's fall; tokens 4-6 = LOT'S DAUGHTERS, 19:32-34) [careers, prose]. War-lexicon debut burst: midbar, nus x2, radaf x2, shavah ('taken captive' — nishbah achiv), arakh ('array'), chalaq verb (the night-SPLIT, niphal) + cheleq noun x2 (the spoils-PORTION — one root splits the army and the plunder), naar token 1 (the young men of the exception-clause), am token 2, baal token 1, tzar token 1, palit debut, En-mishpat (the mishpat-skeleton's first surface, as a PLACE name), beerot beerot chemar (the well-word debuts DOUBLED as tar-pits), the giant-peoples file (Refaim/Emim/Zuzim/Chorim), Yam ha-Melach, Dan, Chovah, Damaseq, Shalem (hapax). SAY-ROSTER: the annal is SPEECHLESS (14:1-17 — zero say-tokens; the corpus's longest voiceless stretch of narrative); then 14:19 Malki-Tzedek, 14:21 the king of Sodom, 14:22 ABRAM — his THIRD recorded speech, his FIRST spoken YHWH (flag 7). | tested |
| D | Predicates & outcomes | The machine's queue re-runs gen_28's shape (THREE human demands open, zero settled) with the moral geometry inverted: in Egypt the demands were unanswered because no one spoke; here TWO of the three are REFUSED ALOUD — the corpus's first oath stands against them as spoken fact — and the third is Abram's own counter-stipulation for his allies. Around the queue: eleven verses of speechless annal (the king-word's 27 tokens, the four-vs-five, the clock, the pits), the capture that completes Lot's slide across the frozen wall, the muster and night-split and double-hiphil bringing-back, the priest-king's bread and wine, BLESS x2 (the first human-blesses-human, then gen_23's human-to-God direction), the agentless tenth (flag 3), and the oath whose epithet repeats the blessing's, YHWH-prefixed. TESTS empty (no roster instrument anywhere — a war judged by no one); NAME zero (the El Elyon fusion is quoted speech, not a naming act); REGISTRY zero writes; INSTALLS zero (nothing is built — an army moves and nothing persists); LEDGER empty. | tested |
| E | Logic format choice | Operator lines; HYBRID steps — three grouped annal-rows (gen_24's ratified device) + thirteen per-verse (sixteen steps). DECLARE x3, ALL HUMAN: LET(ten(avram, ha_nefesh)) + LET(qach(avram, ha_rekhush)) [14:21, the king's pair — gen_13's class; TIR-027] and LET(yiqchu(aner_eshkol_mamre, chelqam)) [14:24, Abram's jussive — gen_23's device; TIR-026]. ZERO RESULT ops [flag 1 — the refusal ruling]. BLESS x2 [14:19, 14:20 — gen_05's operator, gen_23's directions]. EVENTs (20): make_war (the annal's one predicate over 14:1-3), strike (14:5-7 the sweep), array_battle + flee + take (14:8-11), take (14:12 — Lot), come + tell (14:13), hear + muster + pursue (14:14), split + strike + pursue (14:15), bring_back (14:16 — the double hiphil), go_out (14:17), bring_out (14:18), give (14:20 — AGENTLESS, flag 3), say x2 (14:21, 14:22). Standing facts (14 fact-lines): the coalition-and-vale, the clock, the four-vs-five, the pits, Lot's address, the ally-covenant (brit token 9), the 318, Damascus-north, the priest-fact, the two barukh formulas, the miggen clause, the oath-gesture, the thread-and-thong + motive pair, the eaten-exception. NOTE_PRESUPPOSED x6 ops / 23 names — the largest read-roster yet (flagged letter-faithfully, per seed order). NAME x0, TESTS x0, LEDGER x0, REGISTRY_INSTALL x0, INVARIANT x0. Queue at rest: 3 OPEN, all human, two refused aloud. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: ten(avram, ha_nefesh), qach(avram, ha_rekhush), yiqchu(aner_eshkol_mamre, chelqam), harimoti_yadi_el_YHWH_el_elyon_qoneh_shamayim_va_aretz, im_mi_chut_ve_ad_serokh_naal_ve_im_eqach_mi_kol_asher_lakh, ve_hem_baalei_verit_avram, ve_hu_khohen_le_el_elyon. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (queue only — the cache middot scan is the main loop's gate): Bereshit Rabbah 42-43 (the span; the Amraphel-is-Nimrod identification class; the 318 as Eliezer's gematria class — NAMED ONLY, no numerology enters the machine); Rashi at 14:7 (En-mishpat), 14:13 (the refugee's identity file), 14:14 (the 318), 14:18 (Malki-Tzedek-is-Shem class), 14:22 (the raised hand as oath); Ramban at 14:1 (the four-kingdoms typology class); Bavli Nedarim 32b (Malki-Tzedek and the priesthood's transfer class); Chullin 89a (the thread-and-thong's reward class — the tzitzit thread and the tefillin strap); the maaser giver-identity dispute. Tier-A Onkelos (24 fetches, Data/FETCHLOG.md 2026-08-03): findings in ORAL_onkelos_tier_a — headline: 14:18's Jerusalem-naming + priest-withholding; the oath gains prayer; the tithe stays ambiguous; gen_29's compass-policy confirmed as repeat buffer. | tested |
| H | Scenarios | S1 the coalition: annal facts hold, ten geography names flagged, SPECS empty. S2 the clock and sweep: served/rebelled facts hold, SPECS empty. S3 the battle and plunder: four-vs-five and pits facts hold, SPECS STILL empty — eleven verses, no demand, no speech. S4 Lot taken: the address-fact holds. S5 the allies: brit-token-9 fact holds, no test, no name. S6 the bringing-back: the 318-fact holds, SPECS empty (the restoration precedes every demand). S7 the priest: the kohen-fact holds, no test, no name. S8 the blessings and the tenth: both barukh facts hold, SPECS empty. S9 the king's pair pushed: both LETs OPEN. S10 the close: all three demands OPEN, oath-facts hold, no test, no name, LEDGER stays EMPTY. S11_negative LET? guard; S12_negative flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (the two imperatives, the jussive, the performative perfect, the double hiphil, the niphal night-split, the agentless give; TIR-014/026/027/032) and censuses run BEFORE drafting (melekh x27 exact; kohen/ el/elyon/maaser/brit/barakh/qanah/rum/shava/laqach/shuv/ ivri/chanikh/nefesh/rekhush/melach/lechem/yayin rosters; the im-oath hunt; the say-roster; the proleptic-name censuses). NOT supplied: who gave the tenth to whom (the letter hides it; the buffer declines too — held OPEN), who the refugee was, what the 318 means (named-only), whether the persons were ever transferred to the king (never narrated — the demands stand OPEN), Malki-Tzedek's identity (the chain's files named-only), the four-kingdoms typology (named-only), Amalek's and Dan's prolepsis (named-only), and the miggen/magen seam-pun's other half (15:1 is across the seam — careers only, nothing encoded). | established |
| J | Pre-flight + draft ship | Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen30.py; draft guard bypassed for preview only). Ships as STATUS: DRAFT by the gen-4 block agent (mechanics only, second unit of its tenure); the main loop verifies quotes, re-runs censuses, rules on flags 1-13, and freezes through the standard gate chain. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_14_1_3 · Gen.14.1 · THE_COALITION_AND_THE_VALE
וַיְהִי בִּימֵי אַמְרָפֶל מֶלֶךְ־שִׁנְעָר אַרְיוֹךְ מֶלֶךְ אֶלָּסָר כְּדָרְלָעֹמֶר מֶלֶךְ עֵילָם וְתִדְעָל מֶלֶךְ גּוֹיִם … כָּל־אֵלֶּה חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים הוּא יָם הַמֶּלַח · va-yehi bi-ymei amrafel melekh-shinar aryokh melekh elasar kedarlaomer melekh elam ve-tidal melekh goyim … kol-eleh chavru el-emeq ha-sidim hu yam ha-melach · [EN-AID/JPS 14:1-3] And it came to pass in the days of Amraphel king of Shinar, Arioch king of Ellasar, Chedorlaomer king of Elam, and Tidal king of Goiim, that they made war with Bera king of Sodom, and with Birsha king of Gomorrah, Shinab king of Admah, and Shemeber king of Zeboiim, and the king of Bela — the same is Zoar. All these came as allies unto the vale of Siddim — the same is the Salt Sea.
LEFT
ויהי בימי אמרפל מלך־שנער אריוך מלך אלסר · va-yehi bi-ymei amrafel melekh-shinar aryokh melekh elasar · in the days of Amraphel and Arioch (LEAD verse 14:1 etnachta arm — gen_24's grouped device)
ויהי בימי אמרפל מלך־שנער אריוך מלך אלסר · va-yehi bi-ymei amrafel melekh-shinar aryokh melekh elasar · in the days of Amraphel and Arioch (LEAD verse 14:1 etnachta arm — gen_24's grouped device)
RIGHT
כדרלעמר מלך עילם ותדעל מלך גוים · kedarlaomer melekh elam ve-tidal melekh goyim · Chedorlaomer and Tidal — 14:1 ends on melekh goyim ('king of Goyim')
כדרלעמר מלך עילם ותדעל מלך גוים · kedarlaomer melekh elam ve-tidal melekh goyim · Chedorlaomer and Tidal — 14:1 ends on melekh goyim ('king of Goyim')
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | make_war(e1) ∧ Agent(e1, arbaat_ha_melakhim) = make-war(e1) ∧ Agent(e1, arbaat-the-melakhim) MELEKH ('king') — TORAH DEBUT, and the letter spends it: 27 tokens in this one span (count verified exact; tokens 1-27 of 101). The corpus never called Nimrod, Babel's builders, or Egypt's Pharaoh king — the word is BORN plural, foreign, and at war; its next tokens (28-29) are 17:6/17:16, 'KINGS shall come out of you' [career, prose]. MILCHAMAH ('war') — TORAH DEBUT, and war is MADE: asu milchamah, the make-verb of the six days on its darkest object [letter fact]. The five adversary kings' names carry their verdicts in their skeletons (Bera/ Birsha with ra 'evil' and resha 'wickedness' inside) — held as sound-observation only, no claim [flagged observation class, gen_28's sarei/Saray precedent]. Tidal is melekh GOYIM — the DB splits the lemma (1471 b, proper-name tag) from the common goy [lemma-tag observation; flag 13]. | עָשׂוּ מִלְחָמָה אֶת־בֶּרַע מֶלֶךְ סְדֹם · asu milchamah et-bera melekh sedom = asu milchamah bera melekh sedom | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(kol_eleh_chavru_el_emeq_ha_sidim_hu_yam_ha_melach, t0) = HOLDS(all-these-chavru-to-emeq-the-sidim-that-yam-the-melach, t0) The muster-fact: CHAVAR ('join/ally') — TORAH DEBUT; EMEQ ('vale') debut (tokens 1-5 ALL in-span — the war is fought entirely in vales); and the letter's own gloss: hu YAM HA-MELACH ('that is the SALT SEA') — MELACH ('salt') TORAH DEBUT naming the doomed vale's water, and its token 2 is 19:26: LOT'S WIFE, the pillar — the salt-word's first two tokens are the vale Lot chose and the woman who looked back at it [career census, prose; GLOSS_FIX: DB glosses melach 'the-powder']. 14:3 ends on the sea's name [tree fact]. | כָּל־אֵלֶּה חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים הוּא יָם הַמֶּלַח · kol-eleh chavru el-emeq ha-sidim hu yam ha-melach = all-these chavru to-emeq the-sidim that yam the-melach | — | tested |
| NOTE_PRESUPPOSED | shinar, elasar, elam, sedom, amora, admah, tzevoyim, tzoar, emeq_ha_sidim, yam_ha_melach are READ without prior install (known geography) = shinar, elasar, elam, sedom, amora, admah, tzevoyim, tzoar, emeq-the-sidim, yam-the-melach are READ without prior install (known geography) flag, not fix (Shinar tokens 3-4 after gen_24/gen_25's Babel; Sodom tokens 5+ after the border debut and gen_29's verdict; Admah/Tzevoyim from gen_24's border verse; the vale and its sea new — ten names, the annal's first row of the largest read-roster yet) | — | — | tested |
STEP_Gn_14_4_7 · Gen.14.4 · THE_CLOCK_AND_THE_SWEEP
שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ אֶת־כְּדָרְלָעֹמֶר וּשְׁלֹשׁ־עֶשְׂרֵה שָׁנָה מָרָדוּ … וַיַּכּוּ אֶת־כָּל־שְׂדֵה הָעֲמָלֵקִי וְגַם אֶת־הָאֱמֹרִי הַיֹּשֵׁב בְּחַצְצֹן תָּמָר · shtem esreh shanah avdu et-kedarlaomer u-shelosh-esreh shanah maradu … va-yaku et-kol-sdeh ha-amaleqi ve-gam et-ha-emori ha-yoshev be-chatztzon tamar · [EN-AID/JPS 14:4-7] Twelve years they served Chedorlaomer, and in the thirteenth year they rebelled. And in the fourteenth year came Chedorlaomer and the kings that were with him, and smote the Rephaim in Ashteroth-karnaim, and the Zuzim in Ham, and the Emim in Shaveh-kiriathaim, and the Horites in their mount Seir, unto El-paran, which is by the wilderness. And they turned back, and came to En-mishpat — the same is Kadesh — and smote all the country of the Amalekites, and also the Amorites, that dwelt in Hazazon-tamar.
LEFT
שתים עשרה שנה עבדו את־כדרלעמר · shtem esreh shanah avdu et-kedarlaomer · twelve years they served (LEAD verse 14:4 etnachta arm)
שתים עשרה שנה עבדו את־כדרלעמר · shtem esreh shanah avdu et-kedarlaomer · twelve years they served (LEAD verse 14:4 etnachta arm)
RIGHT
ושלש־עשרה שנה מרדו · u-shelosh-esreh shanah maradu · and in the thirteenth they rebelled — 14:4 ends on maradu
ושלש־עשרה שנה מרדו · u-shelosh-esreh shanah maradu · and in the thirteenth they rebelled — 14:4 ends on maradu
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(shtem_esreh_shanah_avdu_et_kedarlaomer_u_shelosh_esreh_maradu, t0) = HOLDS(shtem--teen-year-avdu-kedarlaomer-and-shelosh--teen-maradu, t0) The tribute clock held as fact: AVAD ('serve') token 6 — the garden's work-verb (2:5, 2:15, 3:23, 4:2, 4:12) taken up by vassal politics: its first five tokens till ground; the sixth serves an empire [career, prose]. MARAD ('rebel') — TORAH DEBUT (its only other token is Num 14:9, do-not-rebel). The verse ends on the rebellion [tree fact]: twelve served, one word of revolt on the throne. | שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ … וּשְׁלֹשׁ־עֶשְׂרֵה שָׁנָה מָרָדוּ · shtem esreh shanah avdu … u-shelosh-esreh shanah maradu = shtem -teen year avdu and-shelosh--teen year maradu | — | tested |
| EVENT | strike(e2) ∧ Agent(e2, kedarlaomer_ve_ha_melakhim) ∧ Theme(e2, refaim_zuzim_emim_chori_amaleqi_emori) = strike(e2) ∧ Agent(e2, kedarlaomer-and-the-melakhim) ∧ Theme(e2, refaim-zuzim-emim-chori-amaleqi-emori) The southern sweep — one strike-event, six peoples (nakah 'strike' tokens 3-4 here; tokens 1-2 were 4:15 and 8:21: Cain's protection and never-again-smite — the strike-verb's first narrative plural is an itinerary of conquests) [career, prose]. The giant-peoples file debuts (Refaim/Zuzim/Emim/Chorim — Onkelos translates them to epithets: 'the mighty, the strong, the terrible'; dual-track). HA-AMALEQI (14:7) — the gentilic BEFORE the ancestor: Amalek is born at 36:12 [census; proleptic, named-only, flag 11]. EN-MISHPAT ('Spring of JUDGMENT') — the mishpat-skeleton's FIRST surface in the corpus, as a place-name; its next surfaces are 18:19/18:25 (Abraham and 'the Judge of all the earth' — named-only) [letter fact, prose; the '?'-gloss compound class, 5880+]. MIDBAR ('wilderness') — TORAH DEBUT (tokens 2-4 are Hagar's and Ishmael's — the word waits for the outcasts) [career, prose; GLOSS_FIX: DB 'pasture']. | וַיַּכּוּ אֶת־רְפָאִים … וְאֶת־הַזּוּזִים … וְאֵת הָאֵימִים … וְאֶת־הַחֹרִי … אֶת־כָּל־שְׂדֵה הָעֲמָלֵקִי וְגַם אֶת־הָאֱמֹרִי · va-yaku et-refaim … ve-et-ha-zuzim … ve-et ha-emim … ve-et-ha-chori … et-kol-sdeh ha-amaleqi ve-gam et-ha-emori = and-yaku refaim and-the-zuzim and the-emim and-the-chori all-sdeh the-amaleqi and-also the-emori | TIR-014 | tested |
| NOTE_PRESUPPOSED | ashterot_qarnayim, ham, shaveh_qiryatayim, har_seir, el_paran, en_mishpat_qadesh, chatzetzon_tamar are READ without prior install (known geography) = ashterot-qarnayim, ham, shaveh-qiryatayim, har-seir, to-paran, en-mishpat-qadesh, chatzetzon-tamar are READ without prior install (known geography) flag, not fix (seven more map-points — the sweep's itinerary read as known ground; Seir token 1 before Esav's line claims it, named-only) | — | — | tested |
STEP_Gn_14_8_11 · Gen.14.8 · THE_BATTLE_THE_PITS_THE_PLUNDER
וַיֵּצֵא מֶלֶךְ־סְדֹם … וַיַּעַרְכוּ אִתָּם מִלְחָמָה בְּעֵמֶק הַשִּׂדִּים … אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה … וַיִּקְחוּ אֶת־כָּל־רְכֻשׁ סְדֹם וַעֲמֹרָה וְאֶת־כָּל־אָכְלָם וַיֵּלֵכוּ · va-yetze melekh-sedom … va-yaarkhu itam milchamah be-emeq ha-sidim … arbaah melakhim et-ha-chamishah … va-yiqchu et-kol-rekhush sedom va-amorah ve-et-kol-okhlam va-yelekhu · [EN-AID/JPS 14:8-11] And there went out the king of Sodom... and they set the battle in array against them in the vale of Siddim; against Chedorlaomer... four kings against the five. Now the vale of Siddim was full of slime pits; and the kings of Sodom and Gomorrah fled, and they fell there, and they that remained fled to the mountain. And they took all the goods of Sodom and Gomorrah, and all their victuals, and went their way.
LEFT
ויצא מלך־סדם ומלך עמרה ומלך אדמה ומלך צבוים ומלך בלע הוא־צער · va-yetze melekh-sedom u-melekh amorah u-melekh admah u-melekh tzevoyim u-melekh bela hi-tzoar · the five kings went out (LEAD verse 14:8 etnachta arm ends on hi-tzoar)
ויצא מלך־סדם ומלך עמרה ומלך אדמה ומלך צבוים ומלך בלע הוא־צער · va-yetze melekh-sedom u-melekh amorah u-melekh admah u-melekh tzevoyim u-melekh bela hi-tzoar · the five kings went out (LEAD verse 14:8 etnachta arm ends on hi-tzoar)
RIGHT
ויערכו אתם מלחמה בעמק השדים · va-yaarkhu itam milchamah be-emeq ha-sidim · and arrayed battle in the vale of Siddim — 14:8 ends on ha-sidim
ויערכו אתם מלחמה בעמק השדים · va-yaarkhu itam milchamah be-emeq ha-sidim · and arrayed battle in the vale of Siddim — 14:8 ends on ha-sidim
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | array_battle(e3) ∧ Agent(e3, chameshet_ha_melakhim) = array-battle(e3) ∧ Agent(e3, chameshet-the-melakhim) ARAKH ('set in array') — TORAH DEBUT on a battle-line; the verb's later career is the ALTAR'S (22:9 'arranged the wood'; Lev 1:7-8's arrangement law) — the array-verb is born military and dies liturgical [career, prose]. The geometry held as fact below: ARBAAH MELAKHIM ET HA-CHAMISHAH ('FOUR kings against the FIVE') — the letter counts its own war and seats the count on 14:9's throne [tree fact]. | וַיַּעַרְכוּ אִתָּם מִלְחָמָה · va-yaarkhu itam milchamah = and-yaarkhu itam milchamah | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(arbaah_melakhim_et_ha_chamishah, t0) ∧ HOLDS(emeq_ha_sidim_beerot_beerot_chemar, t0) = HOLDS(four-melakhim-the-chamishah, t0) ∧ HOLDS(emeq-the-sidim-beerot-beerot-chemar, t0) The odds and the ground: BEEROT BEEROT CHEMAR ('pits, pits of bitumen') — BEER, the WELL-word, debuts DOUBLED as a tar-trap: the word that will water every patriarch dispute (21:25-30, 26:15-33) enters the corpus as the hole kings fall into [career, prose]; CHEMAR ('bitumen') token 2 — token 1 was 11:3, BABEL'S MORTAR: the tower-builders' glue and the kings' grave are one word [census, prose]. | אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה … וְעֵמֶק הַשִׂדִּים בֶּאֱרֹת בֶּאֱרֹת חֵמָר · arbaah melakhim et-ha-chamishah … ve-emeq ha-sidim beerot beerot chemar = four melakhim the-chamishah and-emeq the-sidim beerot beerot chemar | — | tested |
| EVENT | flee(e4) ∧ Agent(e4, melekh_sedom_va_amorah) = flee(e4) ∧ Agent(e4, melekh-sedom-and-amorah) NUS ('flee') — TORAH DEBUT x2 in one verse (its token 3 is 19:20 — LOT fleeing the same geography); the kings of Sodom and Gomorrah 'FELL there' — into their own vale's pits [letter fact; the falling is the flight's cost, held; GLOSS_FIX: DB glosses nus 'flit']. | וַיָּנֻסוּ מֶלֶךְ־סְדֹם וַעֲמֹרָה וַיִּפְּלוּ־שָׁמָּה · va-yanusu melekh-sedom va-amorah va-yiplu-shamah = and-yanusu melekh-sedom and-amorah and-yiplu-shamah | TIR-014 | tested |
| EVENT | take(e5) ∧ Agent(e5, arbaat_ha_melakhim) ∧ Theme(e5, kol_rekhush_sedom_va_amorah) = take(e5) ∧ Agent(e5, arbaat-the-melakhim) ∧ Theme(e5, all-rekhush-sedom-and-amorah) LAQACH token 24 — the plunder-take: frozen gen_27's rekhush line lands ('rekhush ["property"] debuts beside its own verb rakhashu' — quoted; the property-word's tokens 3-7 of 13 saturate THIS span: what the family acquired, the strife divided, the war now carries off) [career, prose]. OKHEL ('food') debuts as loot. The verse ends on the single word VA-YELEKHU ('and they went') — the annal's last motion [tree fact]. ELEVEN VERSES, ZERO SPEECH so far: the corpus's longest voiceless narrative stretch [say-roster census]. | וַיִּקְחוּ אֶת־כָּל־רְכֻשׁ סְדֹם וַעֲמֹרָה וְאֶת־כָּל־אָכְלָם וַיֵּלֵכוּ · va-yiqchu et-kol-rekhush sedom va-amorah ve-et-kol-okhlam va-yelekhu = and-yiqchu all-rekhush sedom and-amorah and-all-okhlam and-yelekhu | TIR-014 | tested |
| NOTE_PRESUPPOSED | goyim_land are READ without prior install (Tidal's realm, the split-lemma proper name) = goyim-land are READ without prior install (Tidal's realm, the split-lemma proper name) flag, not fix (the b-tagged lemma 1471 'Goyim' as a polity name — read once, in the king-list) | — | — | tested |
STEP_Gn_14_12 · Gen.14.12 · THE_TAKING_OF_LOT
וַיִּקְחוּ אֶת־לוֹט וְאֶת־רְכֻשׁוֹ בֶּן־אֲחִי אַבְרָם וַיֵּלֵכוּ וְהוּא יֹשֵׁב בִּסְדֹם · va-yiqchu et-lot ve-et-rekhusho ben-achi avram va-yelekhu ve-hu yoshev bi-sedom · [EN-AID/JPS] And they took Lot, Abram's brother's son, who dwelt in Sodom, and his goods, and departed.
LEFT
ויקחו את־לוט ואת־רכשו בן־אחי אברם וילכו · va-yiqchu et-lot ve-et-rekhusho ben-achi avram va-yelekhu · they took Lot and his goods and went (etnachta arm ends on va-yelekhu)
ויקחו את־לוט ואת־רכשו בן־אחי אברם וילכו · va-yiqchu et-lot ve-et-rekhusho ben-achi avram va-yelekhu · they took Lot and his goods and went (etnachta arm ends on va-yelekhu)
RIGHT
והוא ישב בסדם · ve-hu yoshev bi-sedom · and he was dwelling in Sodom — the verse ends on Sodom
והוא ישב בסדם · ve-hu yoshev bi-sedom · and he was dwelling in Sodom — the verse ends on Sodom
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | take(e6) ∧ Agent(e6, arbaat_ha_melakhim) ∧ Theme(e6, lot) = take(e6) ∧ Agent(e6, arbaat-the-melakhim) ∧ Theme(e6, lot) LAQACH token 25 — the same verb, one verse later, on a PERSON: the annal makes no grammatical difference between Lot and the groceries [letter fact — one verb, two verses, goods then kin]. The letter re-introduces him as BEN-ACHI AVRAM ('son of Abram's BROTHER') — the brother-word (tokens 17+) that frozen gen_29 parted on ('ish me-al ACHIV — the parting measured in the word the plea leaned on') now files the captive under his uncle's name [cross-unit, prose]. Onkelos hardens the verb: U-SHVO ('they took CAPTIVE') for both takes — the buffer criminalizes what the annal narrates flatly [dual-track]. | וַיִּקְחוּ אֶת־לוֹט וְאֶת־רְכֻשׁוֹ · va-yiqchu et-lot ve-et-rekhusho = and-yiqchu lot and-rekhusho | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(ve_hu_yoshev_bi_sedom, t0) = HOLDS(and-that-yoshev-bi-sedom, t0) The address held as fact — and the slide across the frozen wall completes: frozen gen_29 encoded 'va-yeehal ad-sedom' (13:12 — 'TENTED as far as Sodom', the verse ending on Sodom) with the verdict filed one verse later; HERE he is YOSHEV BI-SEDOM ('DWELLING IN Sodom', yashav token 13) and this verse TOO ends on Sodom [two units, two Lot-verses, one verse-final address — cross-unit tree fact, prose + [OPEN], nothing pops]. The tent became an address; the address became a capture [the letter's own sequence; the moralization is the chain's, named-only]. | וְהוּא יֹשֵׁב בִּסְדֹם · ve-hu yoshev bi-sedom = and-that yoshev bi-sedom | — | tested |
STEP_Gn_14_13 · Gen.14.13 · THE_REFUGEE_AND_THE_HEBREW
וַיָּבֹא הַפָּלִיט וַיַּגֵּד לְאַבְרָם הָעִבְרִי וְהוּא שֹׁכֵן בְּאֵלֹנֵי מַמְרֵא הָאֱמֹרִי אֲחִי אֶשְׁכֹּל וַאֲחִי עָנֵר וְהֵם בַּעֲלֵי בְרִית־אַבְרָם · va-yavo ha-palit va-yaged le-avram ha-ivri ve-hu shokhen be-elonei mamre ha-emori achi eshkol va-achi aner ve-hem baalei verit-avram · [EN-AID/JPS] And there came one that had escaped, and told Abram the Hebrew — now he dwelt by the terebinths of Mamre the Amorite, brother of Eshcol, and brother of Aner; and these were confederate with Abram.
LEFT
ויבא הפליט ויגד לאברם העברי · va-yavo ha-palit va-yaged le-avram ha-ivri · the refugee came and told Abram the HEBREW (etnachta arm ends on ha-ivri)
ויבא הפליט ויגד לאברם העברי · va-yavo ha-palit va-yaged le-avram ha-ivri · the refugee came and told Abram the HEBREW (etnachta arm ends on ha-ivri)
RIGHT
והוא שכן באלני ממרא האמרי אחי אשכל ואחי ענר והם בעלי ברית־אברם · ve-hu shokhen be-elonei mamre ha-emori achi eshkol va-achi aner ve-hem baalei verit-avram · dwelling at Mamre's terebinths, with the covenant-masters — the verse ends on Abram
והוא שכן באלני ממרא האמרי אחי אשכל ואחי ענר והם בעלי ברית־אברם · ve-hu shokhen be-elonei mamre ha-emori achi eshkol va-achi aner ve-hem baalei verit-avram · dwelling at Mamre's terebinths, with the covenant-masters — the verse ends on Abram
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | come(e7) ∧ Agent(e7, ha_palit) ∧ Goal(e7, avram) = come(e7) ∧ Agent(e7, the-palit) ∧ Goal(e7, avram) HA-PALIT ('THE refugee/escapee') — TORAH DEBUT, definite, anonymous: the letter marks him with an article and no name [held; the identity files are the chain's, named-only]. | וַיָּבֹא הַפָּלִיט · va-yavo ha-palit = and-yavo the-palit | TIR-014 | tested |
| EVENT | tell(e8) ∧ Agent(e8, ha_palit) ∧ Goal(e8, avram) = tell(e8) ∧ Agent(e8, the-palit) ∧ Goal(e8, avram) AVRAM HA-IVRI ('Abram the HEBREW') — the gentilic's TORAH DEBUT, seated on the etnachta [tree fact]: frozen gen_27 noted avar ('pass/cross') token 2 at 12:6 with the crosser-naming named-only — the name LANDS here, in a war notice; its tokens 2-6 are ALL Yosef-in-Egypt (39:14- 43:32) and 7-8 the midwives' verses: the Hebrew-name is born in war and lives its early life in Egyptian mouths [census, prose]. NAGAD ('tell') token 5 — the disclosure-verb's career continues (3:11, 9:22, 12:18) [career, prose]. | וַיַּגֵּד לְאַבְרָם הָעִבְרִי · va-yaged le-avram ha-ivri = and-yaged to-avram the-ivri | — | tested |
| PRECONDITION_STATE | HOLDS(ve_hem_baalei_verit_avram, t0) = HOLDS(and-hem-baalei-verit-avram, t0) BRIT ('covenant') TOKEN 9 — THE FIRST HUMAN-HUMAN COVENANT TOKEN [flag 5; census: tokens 1-8 are ALL divine — 6:18's ark-covenant and the seven of Gen 9]: three Emorite brothers hold Abram's covenant before God cuts one with him (token 10 = 15:18, across the seam, named-only). BAAL ('master/owner') — TORAH DEBUT inside the alliance-idiom. MAMRE — the PERSON: frozen gen_29 installed mizbeach_chevron at elonei Mamre (the grove-construct); here Mamre is an EMORITE MAN with brothers — the eponym materialized as an ally [flag 12, letter fact]. The verse ends on AVRAM [tree fact]. Onkelos: enashei QEYAMEH ('men of his PACT') — the buffer's standing covenant-noun [dual-track]. | וְהֵם בַּעֲלֵי בְרִית־אַבְרָם · ve-hem baalei verit-avram = and-hem baalei verit-avram | — | tested |
STEP_Gn_14_14 · Gen.14.14 · THE_MUSTER_OF_THE_318
וַיִּשְׁמַע אַבְרָם כִּי נִשְׁבָּה אָחִיו וַיָּרֶק אֶת־חֲנִיכָיו יְלִידֵי בֵיתוֹ שְׁמֹנָה עָשָׂר וּשְׁלֹשׁ מֵאוֹת וַיִּרְדֹּף עַד־דָּן · va-yishma avram ki nishbah achiv va-yareq et-chanikhav yelidei veito shmonah asar u-shelosh meot va-yirdof ad-dan · [EN-AID/JPS] And when Abram heard that his brother was taken captive, he led forth his trained men, born in his house, three hundred and eighteen, and pursued as far as Dan.
LEFT
וישמע אברם כי נשבה אחיו · va-yishma avram ki nishbah achiv · Abram heard that his BROTHER was captive (etnachta arm ends on achiv)
וישמע אברם כי נשבה אחיו · va-yishma avram ki nishbah achiv · Abram heard that his BROTHER was captive (etnachta arm ends on achiv)
RIGHT
וירק את־חניכיו ילידי ביתו שמנה עשר ושלש מאות וירדף עד־דן · va-yareq et-chanikhav yelidei veito shmonah asar u-shelosh meot va-yirdof ad-dan · he emptied out his 318 trained men and pursued to Dan
וירק את־חניכיו ילידי ביתו שמנה עשר ושלש מאות וירדף עד־דן · va-yareq et-chanikhav yelidei veito shmonah asar u-shelosh meot va-yirdof ad-dan · he emptied out his 318 trained men and pursued to Dan
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | hear(e9) ∧ Agent(e9, avram) The letter promotes the kinship: 14:12 filed Lot as BEN-ACHI ('son of the brother'); what Abram HEARS is ACHIV — 'his BROTHER', unqualified, at the etnachta [tree fact; the word frozen gen_29's plea leaned on returns compressed]. SHAVAH ('taken captive') — TORAH DEBUT, niphal, agentless in the hearing [letter fact]. | וַיִּשְׁמַע אַבְרָם כִּי נִשְׁבָּה אָחִיו · va-yishma avram ki nishbah achiv = and-yishma avram when nishbah his-brother | TIR-014 | tested |
| EVENT | muster(e10) ∧ Agent(e10, avram) ∧ Theme(e10, chanikhav) VA-YAREQ ('he EMPTIED OUT/unsheathed') — the rare muster-verb (4 Torah tokens; its others unsheathe SWORDS, Exod 15:9 / Lev 26:33) on MEN; CHANIKHAV ('his TRAINED men') — TORAH HAPAX, verified: the initiate-word (the chanukh-root of dedication) exists in the Torah only here, only his [census]. The count held as fact: 318, yelidei veito ('born of his house') — letter fact, NO numerology [the gematria files are the chain's, named-only]. | וַיָּרֶק אֶת־חֲנִיכָיו יְלִידֵי בֵיתוֹ · va-yareq et-chanikhav yelidei veito = and-yareq chanikhav yelidei veito | — | tested |
| PRECONDITION_STATE | HOLDS(chanikhav_yelidei_veito_shmonah_asar_u_shelosh_meot, t0) = HOLDS(chanikhav-yelidei-veito-shmonah-asar-and-shelosh-meot, t0) Three hundred and eighteen — the corpus's first muster roll, counted in the letter's own backward order (eight and ten and three hundreds) [held]. | שְׁמֹנָה עָשָׂר וּשְׁלֹשׁ מֵאוֹת · shmonah asar u-shelosh meot = shmonah asar and-shelosh meot | — | tested |
| EVENT | pursue(e11) ∧ Agent(e11, avram) ∧ Goal(e11, dan) RADAF ('pursue') — TORAH DEBUT; AD-DAN, verse-final: the place bears the name of a great-grandson not yet born (Dan arrives at 30:6 — census; proleptic, named-only, flag 11; GLOSS_FIX: the DB glosses the place 'Daniel'). | וַיִּרְדֹּף עַד־דָּן · va-yirdof ad-dan = and-yirdof until-dan | TIR-014 | tested |
| NOTE_PRESUPPOSED | dan are READ without prior install (known geography) flag, not fix (the pursuit's landmark, read as known ground) | — | — | tested |
STEP_Gn_14_15 · Gen.14.15 · THE_NIGHT_SPLIT
וַיֵּחָלֵק עֲלֵיהֶם לַיְלָה הוּא וַעֲבָדָיו וַיַּכֵּם וַיִּרְדְּפֵם עַד־חוֹבָה אֲשֶׁר מִשְּׂמֹאל לְדַמָּשֶׂק · va-yechaleq aleihem laylah hu va-avadav va-yakem va-yirdefem ad-chovah asher mi-semol le-damaseq · [EN-AID/JPS] And he divided himself against them by night, he and his servants, and smote them, and pursued them unto Hobah, which is on the left hand of Damascus.
LEFT
ויחלק עליהם לילה הוא ועבדיו ויכם · va-yechaleq aleihem laylah hu va-avadav va-yakem · he split against them by night and struck them (etnachta arm ends on va-yakem)
ויחלק עליהם לילה הוא ועבדיו ויכם · va-yechaleq aleihem laylah hu va-avadav va-yakem · he split against them by night and struck them (etnachta arm ends on va-yakem)
RIGHT
וירדפם עד־חובה אשר משמאל לדמשק · va-yirdefem ad-chovah asher mi-semol le-damaseq · and pursued them to Chovah, left of Damascus
וירדפם עד־חובה אשר משמאל לדמשק · va-yirdefem ad-chovah asher mi-semol le-damaseq · and pursued them to Chovah, left of Damascus
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | split(e12) ∧ Agent(e12, avram_va_avadav) = split(e12) ∧ Agent(e12, avram-and-avadav) CHALAQ ('divide') — TORAH DEBUT, NIPHAL, tactical: he divides HIMSELF against them by night; the same root returns nine verses later as CHELEQ ('portion') in the spoils-clause — one skeleton splits the army and the plunder [in-span root pair, census; GLOSS_FIX: DB 'be-smooth']. | וַיֵּחָלֵק עֲלֵיהֶם לַיְלָה · va-yechaleq aleihem laylah = and-yechaleq aleihem night | TIR-014 | tested |
| EVENT | strike(e13) ∧ Agent(e13, avram_va_avadav) = strike(e13) ∧ Agent(e13, avram-and-avadav) The annal's own strike-verb (14:5, 14:7) turned back on the strikers — nakah token 5 [career symmetry, prose]. | וַיַּכֵּם · va-yakem = and-yakem | TIR-014 | tested |
| EVENT | pursue(e14) ∧ Agent(e14, avram_va_avadav) ∧ Goal(e14, chovah) = pursue(e14) ∧ Agent(e14, avram-and-avadav) ∧ Goal(e14, chovah) MI-SEMOL LE-DAMASEQ ('on the LEFT of Damascus') — SEMOL token 2: the direction-word of frozen gen_29's offer (13:9's hapax pair) now maps a pursuit; and Onkelos repeats its policy EXACTLY: mi-semol -> MI-TZIPUNA ('on the NORTH') — the body-relative flattened to compass, the same buffer that erased 13:9's hapaxes [repeat-buffer CONFIRMED across units; dual-track]. | וַיִּרְדְּפֵם עַד־חוֹבָה אֲשֶׁר מִשְּׂמֹאל לְדַמָּשֶׂק · va-yirdefem ad-chovah asher mi-semol le-damaseq = and-yirdefem until-chovah which from-semol to-damaseq | TIR-014 | tested |
| NOTE_PRESUPPOSED | chovah, damaseq are READ without prior install (known geography) flag, not fix (the pursuit's far markers; Damascus token 1 — its token 2 is 15:2, Eliezer's city, across the seam, named-only) | — | — | tested |
STEP_Gn_14_16 · Gen.14.16 · THE_BRINGING_BACK
וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ וְגַם אֶת־לוֹט אָחִיו וּרְכֻשׁוֹ הֵשִׁיב וְגַם אֶת־הַנָּשִׁים וְאֶת־הָעָם · va-yashev et kol-ha-rekhush ve-gam et-lot achiv u-rekhusho heshiv ve-gam et-ha-nashim ve-et-ha-am · [EN-AID/JPS] And he brought back all the goods, and also brought back his brother Lot, and his goods, and the women also, and the people.
LEFT
וישב את כל־הרכש · va-yashev et kol-ha-rekhush · he brought back ALL the property (etnachta arm)
וישב את כל־הרכש · va-yashev et kol-ha-rekhush · he brought back ALL the property (etnachta arm)
RIGHT
וגם את־לוט אחיו ורכשו השיב וגם את־הנשים ואת־העם · ve-gam et-lot achiv u-rekhusho heshiv ve-gam et-ha-nashim ve-et-ha-am · and Lot his brother, and the women, and the people — the verse ends on ha-am
וגם את־לוט אחיו ורכשו השיב וגם את־הנשים ואת־העם · ve-gam et-lot achiv u-rekhusho heshiv ve-gam et-ha-nashim ve-et-ha-am · and Lot his brother, and the women, and the people — the verse ends on ha-am
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bring_back(e15) ∧ Agent(e15, avram) ∧ Theme(e15, kol_ha_rekhush_ve_lot_ve_ha_nashim_ve_ha_am) = bring-back(e15) ∧ Agent(e15, avram) ∧ Theme(e15, all-the-rekhush-and-lot-and-the-nashim-and-the-am) SHUV IN HIPHIL — 'he BROUGHT BACK' — the restore-voice's TORAH DEBUT, and the letter says it TWICE in one verse (va-yashev... heshiv — tokens 9-10; the verb's tokens 1-2 are 3:19's dust-return): the take-arc's answer in its own verse — what 14:11-12 took (va-yiqchu... va-yiqchu), 14:16 returns doubled [career + in-span symmetry, prose]. The restoration list runs property, LOT AKHIV ('his brother' — the third kinship token, now bare), the WOMEN, the PEOPLE — the letter counts persons last taken, first named [held]. AND THE SEQUENCE IS THE POINT for what follows: everything is already restored BEFORE any king speaks — the demand of 14:21 will ask for what its asker already has back [letter sequence, feeds flag 1]. | וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ … הֵשִׁיב · va-yashev et kol-ha-rekhush … heshiv = and-yashev et all-the-rekhush heshiv | TIR-014 | tested |
STEP_Gn_14_17 · Gen.14.17 · THE_KINGS_MEETING
וַיֵּצֵא מֶלֶךְ־סְדֹם לִקְרָאתוֹ אַחֲרֵי שׁוּבוֹ מֵהַכּוֹת אֶת־כְּדָרלָעֹמֶר וְאֶת־הַמְּלָכִים אֲשֶׁר אִתּוֹ אֶל־עֵמֶק שָׁוֵה הוּא עֵמֶק הַמֶּלֶךְ · va-yetze melekh-sedom liqrato acharei shuvo me-hakot et-kedarlaomer ve-et-ha-melakhim asher ito el-emeq shaveh hu emeq ha-melekh · [EN-AID/JPS] And the king of Sodom went out to meet him, after his return from the slaughter of Chedorlaomer and the kings that were with him, at the vale of Shaveh — the same is the King's Vale.
LEFT
ויצא מלך־סדם לקראתו אחרי שובו מהכות את־כדרלעמר ואת־המלכים אשר אתו · va-yetze melekh-sedom liqrato acharei shuvo me-hakot et-kedarlaomer ve-et-ha-melakhim asher ito · the king of Sodom went out to meet him after the striking (etnachta arm)
ויצא מלך־סדם לקראתו אחרי שובו מהכות את־כדרלעמר ואת־המלכים אשר אתו · va-yetze melekh-sedom liqrato acharei shuvo me-hakot et-kedarlaomer ve-et-ha-melakhim asher ito · the king of Sodom went out to meet him after the striking (etnachta arm)
RIGHT
אל־עמק שוה הוא עמק המלך · el-emeq shaveh hu emeq ha-melekh · to the vale of Shaveh — the King's Vale
אל־עמק שוה הוא עמק המלך · el-emeq shaveh hu emeq ha-melekh · to the vale of Shaveh — the King's Vale
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | go_out(e16) ∧ Agent(e16, melekh_sedom) ∧ Goal(e16, emeq_shaveh) = go-out(e16) ∧ Agent(e16, melekh-sedom) ∧ Goal(e16, emeq-shaveh) The pit-survivor comes out to meet the rescuer: QARA ('meet/encounter') — the towards-form's TORAH DEBUT (liqrato); the timestamp is the restore-verb again (ACHAREI SHUVO, 'after his RETURN' — shuv token 11, the narrator counter-signing 14:16's double hiphil in its own frame, exactly the class frozen gen_29 used at 13:14's acharei hipared) [career + timestamp class, prose]. The verse carries the span's RAREST ACCENTS (zinor + segol, poetic cousins in prose — tree fact) and ends on EMEQ HA-MELEKH ('the KING'S Vale') — the vale-word's fifth in-span token, now bearing the debut-word itself [tree fact]. | וַיֵּצֵא מֶלֶךְ־סְדֹם לִקְרָאתוֹ · va-yetze melekh-sedom liqrato = and-yetze melekh-sedom liqrato | TIR-014 | tested |
| NOTE_PRESUPPOSED | emeq_shaveh are READ without prior install (known geography) = emeq-shaveh are READ without prior install (known geography) flag, not fix (the meeting ground; Onkelos identifies it as the king's racecourse — beit reisa de-malka; dual-track, named at the oral note) | — | — | tested |
STEP_Gn_14_18 · Gen.14.18 · BREAD_WINE_AND_A_PRIEST
וּמַלְכִּי־צֶדֶק מֶלֶךְ שָׁלֵם הוֹצִיא לֶחֶם וָיָיִן וְהוּא כֹהֵן לְאֵל עֶלְיוֹן · u-malki-tzedeq melekh shalem hotzi lechem va-yayin ve-hu khohen le-el elyon · [EN-AID/JPS] And Melchizedek king of Salem brought forth bread and wine; and he was priest of God the Most High.
LEFT
ומלכי־צדק מלך שלם הוציא לחם ויין · u-malki-tzedeq melekh shalem hotzi lechem va-yayin · Malki-Tzedek king of Salem brought out bread and wine (etnachta arm)
ומלכי־צדק מלך שלם הוציא לחם ויין · u-malki-tzedeq melekh shalem hotzi lechem va-yayin · Malki-Tzedek king of Salem brought out bread and wine (etnachta arm)
RIGHT
והוא כהן לאל עליון · ve-hu khohen le-el elyon · and he was priest to El Elyon — the verse ends on the title
והוא כהן לאל עליון · ve-hu khohen le-el elyon · and he was priest to El Elyon — the verse ends on the title
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bring_out(e17) ∧ Agent(e17, malki_tzedeq) ∧ Theme(e17, lechem_va_yayin) = bring-out(e17) ∧ Agent(e17, malki-tzedeq) ∧ Theme(e17, lechem-and-yayin) MALKI-TZEDEK ('my king is righteousness') MELEKH SHALEM — the name rides the split-lemma '?'-gloss class (4442+); SHALEM is a TORAH HAPAX. He BRINGS OUT (hotzi — the same yatza root the war-kings 'went out' with at 14:8/14:17, now hiphil, carrying food) LECHEM VA-YAYIN: bread token 2 — token 1 was 3:19's sweat-bread, token 3 is 18:5, Abraham's own hospitality; wine token 3 — tokens 1-2 were Noach's fall, tokens 4-6 are LOT'S DAUGHTERS (19:32-34): between a drunk father and a drugged father, one king pours wine that shames no one [careers, prose]. | הוֹצִיא לֶחֶם וָיָיִן · hotzi lechem va-yayin = hotzi lechem and-yayin | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(ve_hu_khohen_le_el_elyon, t0) = HOLDS(and-that-khohen-to-to-elyon, t0) KOHEN ('priest') — TORAH DEBUT of the word that owns 295 Torah tokens: before Aaron, before Levi exists, the priest-word belongs to a Canaanite king of Salem — and its tokens 2-5 are ALL EGYPT'S priests (Potiphera and the temple-lands, 41:45-47:22): one Salem, four Egypt, then the law [census, prose]. EL — THE DIVINE NAME'S TORAH DEBUT (410 tokens 1-4 all in-span, flag 8), inside a foreign priest's title: EL ELYON ('God Most High'); the El-title ladder that follows: El Roi (16:13, Hagar's), El Shaddai (17:1), El Olam (21:33) [career, prose]. Onkelos performs the unit's HEADLINE double move here: Salem -> YERUSHLEM ('Jerusalem' — the city named) and kohen -> MESHAMESH KODAM ('one who SERVES BEFORE' — the priest un-priested) [dual-track, flagged]. | וְהוּא כֹהֵן לְאֵל עֶלְיוֹן · ve-hu khohen le-el elyon = and-that khohen to-to elyon | — | tested |
| NOTE_PRESUPPOSED | shalem are READ without prior install (known geography) flag, not fix (the hapax city; the buffer's identification is the buffer's) | — | — | tested |
STEP_Gn_14_19 · Gen.14.19 · THE_BLESSING_OF_ABRAM
וַיְבָרְכֵהוּ וַיֹּאמַר בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ · va-yevarkhehu va-yomar barukh avram le-el elyon qoneh shamayim va-aretz · [EN-AID/JPS] And he blessed him, and said: 'Blessed be Abram of God Most High, Maker of heaven and earth;
LEFT
ויברכהו ויאמר · va-yevarkhehu va-yomar · he blessed him and said (a TWO-WORD etnachta arm — the blessing itself is the rest)
ויברכהו ויאמר · va-yevarkhehu va-yomar · he blessed him and said (a TWO-WORD etnachta arm — the blessing itself is the rest)
RIGHT
ברוך אברם לאל עליון קנה שמים וארץ · barukh avram le-el elyon qoneh shamayim va-aretz · blessed be Abram of El Elyon, owner of heaven and earth
ברוך אברם לאל עליון קנה שמים וארץ · barukh avram le-el elyon qoneh shamayim va-aretz · blessed be Abram of El Elyon, owner of heaven and earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| BLESS | BLESS(malki_tzedeq, avram) = BLESS(malki-tzedeq, avram) THE FIRST HUMAN-BLESSES-HUMAN [flag 6]: BARAKH token 11 — the census: tokens 1-5 are divine piel (days, creatures, the seventh day, the human pair, Noach's house); token 6 is 9:26, frozen gen_23's inversion, quoted: 'every prior BLESS speaker was Elohim; here a human blesses YHWH (BLESS(noach, yhwh_elohei_shem))'; tokens 7-10 are 12:2-3, the promise cluster. Token 11 completes the triangle: a human blesses a HUMAN — and the human blessed is the man whose frozen 12:3 guard-clause promised 'I will bless your blessers' (va-avarakhah mevarakhekha): the guard-fact's first field is a priest-king [cross-unit, prose only, nothing pops]. The tree seats the whole blessing-act as the etnachta arm — two words, then rest [tree fact]. | וַיְבָרְכֵהוּ · va-yevarkhehu = and-yevarkhehu | — | tested |
| PRECONDITION_STATE | HOLDS(barukh_avram_le_el_elyon_qoneh_shamayim_va_aretz, t0) = HOLDS(barukh-avram-to-to-elyon-qoneh-heavens-and-earth, t0) The formula held as spoken fact: QONEH SHAMAYIM VA-ARETZ ('OWNER/MAKER of heaven and earth') — QANAH tokens 2-3 are this epithet's two speakings (here and 14:22); token 1 is 4:1: Chavah's qaniti ('I have ACQUIRED a man with YHWH') — the acquire-verb's career: a mother's first cry over a baby, then God's title over the cosmos [census, prose; GLOSS_FIX: DB glosses qoneh 'erect']. Onkelos: di-QINYANEH shmaya ve-ara ('whose POSSESSION are heaven and earth') — and qinyana is the SAME noun the buffer uses for the war's rekhush all span long: in Aramaic, the plunder the kings die for and the cosmos God owns share one word [dual-track, cross-buffer observation]. | בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ · barukh avram le-el elyon qoneh shamayim va-aretz = barukh avram to-to elyon qoneh heavens earth | — | tested |
STEP_Gn_14_20 · Gen.14.20 · THE_BLESSING_OF_EL_ELYON_AND_THE_TENTH
וּבָרוּךְ אֵל עֶלְיוֹן אֲשֶׁר־מִגֵּן צָרֶיךָ בְּיָדֶךָ וַיִּתֶּן־לוֹ מַעֲשֵׂר מִכֹּל · u-varukh el elyon asher-miggen tzarekha be-yadekha va-yiten-lo maaser mi-kol · [EN-AID/JPS] and blessed be God the Most High, who hath delivered thine enemies into thy hand.' And he gave him a tenth of all.
LEFT
וברוך אל עליון אשר־מגן צריך בידך · u-varukh el elyon asher-miggen tzarekha be-yadekha · and blessed be El Elyon who delivered your foes into your hand (etnachta arm)
וברוך אל עליון אשר־מגן צריך בידך · u-varukh el elyon asher-miggen tzarekha be-yadekha · and blessed be El Elyon who delivered your foes into your hand (etnachta arm)
RIGHT
ויתן־לו מעשר מכל · va-yiten-lo maaser mi-kol · and he gave him a tenth of all — the verse ends on mi-kol
ויתן־לו מעשר מכל · va-yiten-lo maaser mi-kol · and he gave him a tenth of all — the verse ends on mi-kol
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| BLESS | BLESS(malki_tzedeq, el_elyon) = BLESS(malki-tzedeq, to-elyon) The second barukh (token 13) runs UPWARD — a human blessing God: frozen gen_23's 9:26 direction repeating with the foreign name [class held]. The formula's ground: ASHER-MIGGEN TZAREKHA BE-YADEKHA ('who DELIVERED your foes into your hand') — MIGGEN, PIEL PERFECT, TORAH HAPAX (4042; GLOSS_FIX: the DB glosses it 'shield' — it is the verb 'delivered'); TZAR ('foe') debuts inside it. THE SEAM-PUN, careers only, seam NOT encoded: the noun MAGEN ('shield', 4043) has exactly two Torah tokens and its FIRST is 15:1 — anokhi MAGEN lakh ('I am your SHIELD'), the very next verse of the corpus: the priest says 'He delivered' (miggen) and God will answer 'I am a shield' (magen) — same skeleton, verb then noun, across the wall [flag at step; nothing crosses] . | וּבָרוּךְ אֵל עֶלְיוֹן · u-varukh el elyon = and-varukh to elyon | — | tested |
| PRECONDITION_STATE | HOLDS(asher_miggen_tzarekha_be_yadekha, t0) = HOLDS(which-miggen-tzarekha-in-yadekha, t0) The deliverance-clause held as spoken fact — the war's only theology, and it is the guest's: no narrator verse credits God with the victory; the claim exists solely in Malki-Tzedek's mouth [letter fact, held not asserted]. | אֲשֶׁר־מִגֵּן צָרֶיךָ בְּיָדֶךָ · asher-miggen tzarekha be-yadekha = which-miggen tzarekha in-yadekha | — | tested |
| EVENT | give(e18) ∧ Theme(e18, maaser_mi_kol) = give(e18) ∧ Theme(e18, maaser-from-all) THE AGENTLESS TENTH [flag 3]: va-yiten-LO — 'and HE gave HIM': two bare pronouns, no names — the letter does not say who tithed to whom, and the machine does not either (the give-event carries a Theme and NO Agent — TIR-032's agentless discipline applied to an active verb with a withheld subject; held OPEN, the identity files are the chain's, named-only). MAASER ('tithe') — TORAH DEBUT; tokens 2-4 are Lev 27:30-32, THE TITHE LAW: the law's word born three books early in a gift with hidden hands — the nega-class bridge again (frozen gen_28/lev_13's pattern: a law-word debuting as narrative) [census, prose]. Onkelos's vote checked as ordered: vi-hav leh — the buffer KEEPS both pronouns bare: it declines to vote [dual-track]. The verse ends on MI-KOL ('of ALL') [tree fact]. | וַיִּתֶּן־לוֹ מַעֲשֵׂר מִכֹּל · va-yiten-lo maaser mi-kol = and-yiten-not maaser all | TIR-032 | tested |
STEP_Gn_14_21 · Gen.14.21 · THE_KINGS_DEMANDS
וַיֹּאמֶר מֶלֶךְ־סְדֹם אֶל־אַבְרָם תֶּן־לִי הַנֶּפֶשׁ וְהָרְכֻשׁ קַח־לָךְ · va-yomer melekh-sedom el-avram ten-li ha-nefesh ve-ha-rekhush qach-lakh · [EN-AID/JPS] And the king of Sodom said unto Abram: 'Give me the persons, and take the goods to thyself.'
LEFT
ויאמר מלך־סדם אל־אברם · va-yomer melekh-sedom el-avram · the king of Sodom said to Abram (etnachta arm)
ויאמר מלך־סדם אל־אברם · va-yomer melekh-sedom el-avram · the king of Sodom said to Abram (etnachta arm)
RIGHT
תן־לי הנפש והרכש קח־לך · ten-li ha-nefesh ve-ha-rekhush qach-lakh · give me the persons; the goods — TAKE for yourself: the verse ends on qach-lakh
תן־לי הנפש והרכש קח־לך · ten-li ha-nefesh ve-ha-rekhush qach-lakh · give me the persons; the goods — TAKE for yourself: the verse ends on qach-lakh
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e19) ∧ Agent(e19, melekh_sedom) ∧ Goal(e19, avram) = say(e19) ∧ Agent(e19, melekh-sedom) ∧ Goal(e19, avram) The span's second speech — and the pit-king's first words in the corpus are two imperatives with no thanks in them [letter fact; the say-roster: eleven speechless annal-verses, then blessing, then this]. | וַיֹּאמֶר מֶלֶךְ־סְדֹם אֶל־אַבְרָם · va-yomer melekh-sedom el-avram = and-yomer melekh-sedom to-avram | — | tested |
| DECLARE | DECLARE(melekh_sedom, LET(ten(avram, ha_nefesh))) = DECLARE(melekh-sedom, LET(ten(avram, the-nefesh))) TEN ('GIVE!') — true imperative (HVqv2ms; TIR-027, gen_13's human-demand class, quoted: 'the queue is bookkeeping, not endorsement'): the give-verb whose divine imperfects pledged the land (frozen gen_29's etnenah) arrives as a human demand for PERSONS — HA-NEFESH token 15; token 14 was 12:5's 'the souls they had MADE in Charan' (frozen gen_27): the souls Abram makes, Sodom claims [career, prose]. Pushed; and the letter's sequence stands against it: the persons were BROUGHT BACK at 14:16 before this sentence was spoken — no transfer to the king is narrated anywhere [OPEN; feeds flag 1]. | תֶּן־לִי הַנֶּפֶשׁ · ten-li ha-nefesh = ten-to-me the-nefesh | TIR-027 | tested |
| DECLARE | DECLARE(melekh_sedom, LET(qach(avram, ha_rekhush))) = DECLARE(melekh-sedom, LET(qach(avram, the-rekhush))) QACH ('TAKE!') — the second imperative, VERSE-FINAL on the silluq: frozen gen_28's throne-class, quoted ('12:19 ENDS ON VA-LEKH... the king's go-imperative sits verse-final') — a second king of a second catastrophe seats a second demand on the verse-end [tree fact, class landed]. LAQACH token 26 — the arc: the war took (24-25), the king says take (26), Abram will refuse in the same verb (27) [career, prose]. Onkelos: DVAR ('LEAD away' — variant sav) — the lead-for-take buffer on the king's own imperative [dual-track]. Pushed; watch 14:23 [OPEN; flag 1]. | וְהָרְכֻשׁ קַח־לָךְ · ve-ha-rekhush qach-lakh = and-the-rekhush qach-to-you | TIR-027 | tested |
STEP_Gn_14_22 · Gen.14.22 · THE_RAISED_HAND
וַיֹּאמֶר אַבְרָם אֶל־מֶלֶךְ סְדֹם הֲרִימֹתִי יָדִי אֶל־יְהוָה אֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ · va-yomer avram el-melekh sedom harimoti yadi el-YHWH el elyon qoneh shamayim va-aretz · [EN-AID/JPS] And Abram said to the king of Sodom: 'I have lifted up my hand unto the LORD, God Most High, Maker of heaven and earth,
LEFT
ויאמר אברם אל־מלך סדם · va-yomer avram el-melekh sedom · Abram said to the king of Sodom (etnachta arm)
ויאמר אברם אל־מלך סדם · va-yomer avram el-melekh sedom · Abram said to the king of Sodom (etnachta arm)
RIGHT
הרימתי ידי אל־יהוה אל עליון קנה שמים וארץ · harimoti yadi el-YHWH el elyon qoneh shamayim va-aretz · I have raised my hand to YHWH, El Elyon, owner of heaven and earth
הרימתי ידי אל־יהוה אל עליון קנה שמים וארץ · harimoti yadi el-YHWH el elyon qoneh shamayim va-aretz · I have raised my hand to YHWH, El Elyon, owner of heaven and earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e20) ∧ Agent(e20, avram) ∧ Goal(e20, melekh_sedom) = say(e20) ∧ Agent(e20, avram) ∧ Goal(e20, melekh-sedom) ABRAM'S THIRD RECORDED SPEECH — and HIS FIRST SPOKEN YHWH [flag 7; census: his three speeches hold exactly one YHWH token, here]: fear to his wife (12:11), peace to his kinsman (13:8), and now refusal to a king — the Name enters his mouth only when he is turning wealth down. He answers the king's TWO questions... demands with neither verb obeyed [letter fact]. | וַיֹּאמֶר אַבְרָם אֶל־מֶלֶךְ סְדֹם · va-yomer avram el-melekh sedom = and-yomer avram to-melekh sedom | — | tested |
| PRECONDITION_STATE | HOLDS(harimoti_yadi_el_YHWH_el_elyon_qoneh_shamayim_va_aretz, t0) = HOLDS(harimoti-yadi-to-the-LORD-to-elyon-qoneh-heavens-and-earth, t0) THE CORPUS'S FIRST HUMAN OATH-GESTURE [flag 4, census-backed]: HARIMOTI YADI ('I have RAISED MY HAND' — performative perfect; RUM token 2 — token 1 is 7:17, the waters LIFTING the ark: the raise-verb's first human subject swears; tokens 4-5 are Potiphar's wife's harimoti qoli, the same form in a false cry [career, prose]). The swear-verb (shava) does not exist yet — it debuts at 21:23-24: the oath-FORM precedes the oath-VERB by seven chapters [census]. And the address: EL-YHWH EL ELYON QONEH SHAMAYIM VA-ARETZ — the priest's epithet ADOPTED AND YHWH-PREFIXED [letter fact, seed order 2: 14:19-20's formula re-said with the Name set first; the fusion is quoted speech, not a NAME op — REGISTRY untouched; the chain's readings named-only]. The verse ends on shamayim va-aretz exactly as 14:19 did [tree fact]. Onkelos liturgizes: areimit yedai BI-TZLO kodam YHWH ('I have raised my hands IN PRAYER before YHWH') — the buffer inserts prayer into the oath, the tzali-family policy a third time [dual-track]. | הֲרִימֹתִי יָדִי אֶל־יְהוָה אֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ · harimoti yadi el-YHWH el elyon qoneh shamayim va-aretz = harimoti yadi to-the-LORD to elyon qoneh heavens earth | — | tested |
STEP_Gn_14_23 · Gen.14.23 · THE_THREAD_AND_THE_THONG
אִם־מִחוּט וְעַד שְׂרוֹךְ־נַעַל וְאִם־אֶקַּח מִכָּל־אֲשֶׁר־לָךְ וְלֹא תֹאמַר אֲנִי הֶעֱשַׁרְתִּי אֶת־אַבְרָם · im-mi-chut ve-ad serokh-naal ve-im-eqach mi-kol-asher-lakh ve-lo tomar ani heesharti et-avram · [EN-AID/JPS] that I will not take a thread nor a shoe-latchet nor aught that is thine, lest thou shouldest say: I have made Abram rich;
LEFT
אם־מחוט ועד שרוך־נעל ואם־אקח מכל־אשר־לך · im-mi-chut ve-ad serokh-naal ve-im-eqach mi-kol-asher-lakh · if a thread, if a sandal-thong, if I take of anything yours — (etnachta arm)
אם־מחוט ועד שרוך־נעל ואם־אקח מכל־אשר־לך · im-mi-chut ve-ad serokh-naal ve-im-eqach mi-kol-asher-lakh · if a thread, if a sandal-thong, if I take of anything yours — (etnachta arm)
RIGHT
ולא תאמר אני העשרתי את־אברם · ve-lo tomar ani heesharti et-avram · so you shall never say: I enriched Abram — the verse ends on his name
ולא תאמר אני העשרתי את־אברם · ve-lo tomar ani heesharti et-avram · so you shall never say: I enriched Abram — the verse ends on his name
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(im_mi_chut_ve_ad_serokh_naal_ve_im_eqach_mi_kol_asher_lakh, t0) ∧ HOLDS(ve_lo_tomar_ani_heesharti_et_avram, t0) = HOLDS(if-from-chut-and-until-serokh-naal-and-if-eqach-from-all-which-to-you, t0) ∧ HOLDS(and-not-tomar-ani-heesharti-avram, t0) THE REFUSAL, HELD AS SPOKEN FACTS — AND THE QUEUE DOES NOT MOVE [flag 1, the unit's boldest call]: the im-oath formula ('IF from a thread to a sandal-thong, and IF I TAKE of all that is yours...' — the self-curse left hanging, its apodosis unspoken) NEGATES the qach-demand in the demand's own verb (ve-im EQACH — laqach token 27, answering token 26 one verse up), and the motive-clause names the stake: 'lest you say I ENRICHED Abram' (heesharti — the rich-verb's ONLY Torah token: the wealth-word coined to be refused; CHUT 'thread' and SEROKH 'thong' both Torah hapaxes — the inventory of nothing is made of words used never again) [censuses]. MACHINE RULING: no RESULT fires — RESULT records execution, and nothing is executed: the goods stay untaken, the persons' transfer is never narrated; the demands stand OPEN with two oath-facts standing against them — a refusal is a FACT about a demand, not an operation on it (frozen gen_28's arithmetic, quoted: 'ZERO RESULT ops — no demand receipts in-span [bold; the letter's arithmetic]'); no decline-operator invented [zero extensions — flagged for ratify-or-reverse]. The verse ends on et-AVRAM: the name the king would have bought sits at the verse-end, unbought [tree fact]. The span's ad ('until')-ladder shrinks to its smallest run: from a THREAD until a THONG — frozen gen_29's ladder ran places to forever; this one runs nothing to nothing [letter echo, prose]. | אִם־מִחוּט וְעַד שְׂרוֹךְ־נַעַל וְאִם־אֶקַּח … וְלֹא תֹאמַר אֲנִי הֶעֱשַׁרְתִּי אֶת־אַבְרָם · im-mi-chut ve-ad serokh-naal ve-im-eqach … ve-lo tomar ani heesharti et-avram = if-from-chut and-until serokh-naal and-if-eqach and-not tomar ani heesharti avram | — | tested |
STEP_Gn_14_24 · Gen.14.24 · THE_EXCEPTION_AND_THE_PORTION
בִּלְעָדַי רַק אֲשֶׁר אָכְלוּ הַנְּעָרִים וְחֵלֶק הָאֲנָשִׁים אֲשֶׁר הָלְכוּ אִתִּי עָנֵר אֶשְׁכֹּל וּמַמְרֵא הֵם יִקְחוּ חֶלְקָם · biladai raq asher akhlu ha-nearim ve-cheleq ha-anashim asher halkhu iti aner eshkol u-mamre hem yiqchu chelqam · [EN-AID/JPS] save only that which the young men have eaten, and the portion of the men which went with me, Aner, Eshcol, and Mamre, let them take their portion.'
LEFT
בלעדי רק אשר אכלו הנערים וחלק האנשים אשר הלכו אתי · biladai raq asher akhlu ha-nearim ve-cheleq ha-anashim asher halkhu iti · except what the young men ate, and the walkers' portion (etnachta arm ends on iti)
בלעדי רק אשר אכלו הנערים וחלק האנשים אשר הלכו אתי · biladai raq asher akhlu ha-nearim ve-cheleq ha-anashim asher halkhu iti · except what the young men ate, and the walkers' portion (etnachta arm ends on iti)
RIGHT
ענר אשכל וממרא הם יקחו חלקם · aner eshkol u-mamre hem yiqchu chelqam · Aner, Eshkol, Mamre — THEY shall take their portion: the jussive ends the chapter
ענר אשכל וממרא הם יקחו חלקם · aner eshkol u-mamre hem yiqchu chelqam · Aner, Eshkol, Mamre — THEY shall take their portion: the jussive ends the chapter
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(biladai_raq_asher_akhlu_ha_nearim, t0) = HOLDS(biladai-raq-which-akhlu-the-nearim, t0) The eaten-exception held as fact: BILADAI ('apart from me') — Torah debut (its next tokens are YOSEF'S 'it is not in me', 41:16/44 — the disclaimer-word's career is humility before kings); NAAR ('young man') token 1 — the word's debut feeds soldiers; what is already EATEN is outside every ledger: the letter subtracts the unreturnable [letter fact, held]. | בִּלְעָדַי רַק אֲשֶׁר אָכְלוּ הַנְּעָרִים · biladai raq asher akhlu ha-nearim = biladai raq which akhlu the-nearim | — | tested |
| DECLARE | DECLARE(avram, LET(yiqchu(aner_eshkol_mamre, chelqam))) = DECLARE(avram, LET(yiqchu(aner-eshkol-mamre, chelqam))) HEM YIQCHU CHELQAM ('THEY shall take their portion') — YIQCHU is JUSSIVE (HVqj3mp, DB-verified), and the controlling class is frozen gen_23's, quoted [flag 2]: 'THE FOUR JUSSIVES as DECLARE + LET demands (TIR-026...) All four pushed and letter-faithfully OPEN.' Pushed: Abram's SECOND demand-issuing ever — his first (13:9's hipared) is the corpus's only settled human demand (frozen gen_29); this one stipulates FOR OTHERS, at the king, in the take-verb everyone else has abused (laqach token 28 — the arc's last in-span token: took, took, take!, if-I-take, LET-THEM-TAKE) [career, prose]. OPEN: no taking by the allies is narrated [letter-faithful; the staged lean overturned by the morph — flag 2]. The jussive sits VERSE-FINAL — the chapter's last words are a demand on the throne [tree fact]. CHELEQ ('portion') tokens 1-2 both in this verse — the noun of the night-SPLIT's root (14:15's va-yechaleq): one skeleton divided the army, now the spoils [in-span root pair]. | עָנֵר אֶשְׁכֹּל וּמַמְרֵא הֵם יִקְחוּ חֶלְקָם · aner eshkol u-mamre hem yiqchu chelqam = aner eshkol and-mamre hem yiqchu chelqam | TIR-026 | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 14:1 — all registers empty (standalone unit) |
| S_coalition | After 14:1-3 — make_war fired (melekh born x27); the muster-fact holds; ten geography names flagged |
| S_swept | After 14:4-7 — the tribute clock holds; the southern sweep strikes six peoples; seven more names flagged |
| S_plundered | After 14:8-11 — battle, pits, flight; the plunder taken (laqach 24); eleven verses, zero speech, SPECS empty |
| S_lot_taken | After 14:12 — take reaches the family (laqach 25); the address-fact holds (yoshev bi-Sedom — gen_29's slide completes across the wall) |
| S_told | After 14:13 — the refugee tells Abram the HEBREW (ivri debut); brit token 9 — the first human-human covenant fact holds |
| S_mustered | After 14:14 — hear/muster/pursue; the 318-fact holds (chanikh hapax); Dan flagged |
| S_night_split | After 14:15 — split/strike/pursue to Chovah; mi-semol -> the buffer's compass again (repeat-buffer confirmed) |
| S_restored | After 14:16 — bring_back fires the hiphil restore-voice TWICE; everything returns BEFORE any demand exists; SPECS still empty |
| S_met | After 14:17 — the king of Sodom comes out; the rare zinor/segol verse; the King's Vale |
| S_priested | After 14:18 — bread and wine; kohen debuts on a Canaanite king; el elyon tokens 1-2; shalem flagged |
| S_blessed | After 14:19 — BLESS(malki_tzedeq, avram): the first human-blesses-human (barakh token 11); the qoneh formula holds |
| S_tithed | After 14:20 — BLESS upward (gen_23's direction); the miggen-fact holds; give fires AGENTLESS (the tithe's hidden pronouns, held OPEN) |
| S_demanded | After 14:21 — LET(ten) + LET(qach) pushed (the king's pair; qach-lakh on the silluq throne — gen_28's class); both OPEN |
| S_hand_raised | After 14:22 — Abram's third speech, his FIRST spoken YHWH; the oath-gesture fact holds (rum token 2; the corpus's first human oath) |
| S_refused | After 14:23 — the im-oath facts hold; NO RESULT fires — the refusal is fact, not operation (flag 1); demands stay OPEN |
| S_portioned | After 14:24 — the eaten-exception holds; LET(yiqchu) pushed (Abram's jussive for his allies — gen_23's class); QUEUE ENDS 3 OPEN, all human, two refused aloud; every other register empty |
| from | to | via |
|---|---|---|
| S_boot | S_coalition | STEP_Gn_14_1_3 |
| S_coalition | S_swept | STEP_Gn_14_4_7 |
| S_swept | S_plundered | STEP_Gn_14_8_11 |
| S_plundered | S_lot_taken | STEP_Gn_14_12 |
| S_lot_taken | S_told | STEP_Gn_14_13 |
| S_told | S_mustered | STEP_Gn_14_14 |
| S_mustered | S_night_split | STEP_Gn_14_15 |
| S_night_split | S_restored | STEP_Gn_14_16 |
| S_restored | S_met | STEP_Gn_14_17 |
| S_met | S_priested | STEP_Gn_14_18 |
| S_priested | S_blessed | STEP_Gn_14_19 |
| S_blessed | S_tithed | STEP_Gn_14_20 |
| S_tithed | S_demanded | STEP_Gn_14_21 |
| S_demanded | S_hand_raised | STEP_Gn_14_22 |
| S_hand_raised | S_refused | STEP_Gn_14_23 |
| S_refused | S_portioned | STEP_Gn_14_24 |
AFTER_S_portioned — TIME: t0, no marks (no RESULT ever fires — flag 1). WORLD: ZERO installs (an army moves and nothing persists) + 23 presupposed reads flagged — the largest read-roster in the corpus (ten coalition/vale names, seven sweep names, dan, chovah, damaseq, emeq_shaveh, shalem, goyim_land). REGISTRY: ZERO writes (the El Elyon fusion is quoted speech, not a naming act). EVENTS: 20 narrative + 2 BLESS + 3 declares. SPECS: THREE pushed, ZERO popped, THREE OPEN — all human, and the shape re-runs frozen gen_28's three-open-all-human with the moral geometry inverted: there the demands hung in silence; here TWO are REFUSED ALOUD (LET(ten(avram, ha_nefesh)) — no transfer of persons is ever narrated, and the letter's sequence has them already restored at 14:16 before the king asked; LET(qach(avram, ha_rekhush)) — negated in its own verb by the oath's ve-im-eqach) and the THIRD is Abram's own jussive for his allies (LET(yiqchu(aner_ eshkol_mamre, chelqam)) — gen_23's class; no taking narrated) [all OPEN at the wall]. Standing facts (14 fact-lines): the coalition-and-vale (melekh born x27; the Salt Sea named over the doomed vale), the tribute clock, the four-vs-five + the bitumen pits (Babel's mortar-word), Lot's address (the slide across the frozen wall complete), the ally-covenant (brit token 9 — the first human-human), the 318 (chanikh hapax), the priest-fact (kohen's debut on a Canaanite king; el tokens 1-4 all El Elyon), the two barukh formulas (the first human-blesses-human; the qoneh epithet — Chavah's verb on the cosmos), the miggen deliverance-clause (the war's only theology, a guest's), the oath-gesture (the corpus's first human oath, before the swear-verb exists; Abram's first spoken YHWH, the priest's epithet YHWH-prefixed), the thread-and-thong + motive pair (three hapaxes spent on refusing), the eaten-exception. The AGENTLESS TENTH stands as an event with hidden hands [flag 3 — held OPEN, the buffer declines to vote too]. TESTS: EMPTY (a war judged by no one in the letter). LEDGER: EMPTY. FLAGS: read_before_install x23. THE SHAPE IS THE STATE: eleven verses of voiceless annal, then every speech in the chapter is about giving and taking — a priest gives bread and blessing and (someone) gives a tenth; a king demands give and take; and the man who could keep everything raises a hand, says the Name for the first time, and keeps nothing but other men's portions.
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The coalition musters: after STEP_Gn_14_1_3 | All registers empty (standalone unit). (make_war(e1) fired — melekh born x27; grouped annal-row per gen_24's device.) | Facts chavru HOLD; Facts yam-ha-melach HOLD; flags shinar/elasar/elam/sedom/amora/admah/tzevoyim/tzoar/emeq_ha_sidim/yam_ha_melach as read-before-install; SPECS empty. = Facts chavru HOLD; Facts yam-the-melach HOLD; flags shinar/elasar/elam/sedom/amora/admah/tzevoyim/tzoar/emeq-the-sidim/yam-the-melach as read-before-install; SPECS empty. | כָּל־אֵלֶּה חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים · kol-eleh chavru el-emeq ha-sidim = all-these chavru to-emeq the-sidim |
| S2 | The clock and the sweep: after STEP_Gn_14_4_7 | S1 state. (strike(e2) — six peoples; the proleptic names held named-only.) | Facts avdu-maradu HOLD; flags ashterot_qarnayim/ham/shaveh_qiryatayim/har_seir/el_paran/en_mishpat_qadesh/chatzetzon_tamar as read-before-install; SPECS empty. = Facts avdu-maradu HOLD; flags ashterot-qarnayim/ham/shaveh-qiryatayim/har-seir/to-paran/en-mishpat-qadesh/chatzetzon-tamar as read-before-install; SPECS empty. | שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ … וּשְׁלֹשׁ־עֶשְׂרֵה שָׁנָה מָרָדוּ · shtem esreh shanah avdu … u-shelosh-esreh shanah maradu = shtem -teen year avdu and-shelosh--teen year maradu |
| S3 | The battle, the pits, the plunder: after STEP_Gn_14_8_11 | S2 state. (array_battle/flee/take fired — eleven verses and not one word spoken.) | Facts arbaah-melakhim HOLD; Facts beerot-chemar HOLD; SPECS empty. = Facts four-melakhim HOLD; Facts beerot-chemar HOLD; SPECS empty. | אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה · arbaah melakhim et-ha-chamishah = four melakhim the-chamishah |
| S4 | Lot taken with the goods: after STEP_Gn_14_12 | S3 state. (take(e6) — the annal's verb reaches the family; gen_29's slide completes across the frozen wall, prose.) | Facts yoshev-bi-sedom HOLD; SPECS empty. | וְהוּא יֹשֵׁב בִּסְדֹם · ve-hu yoshev bi-sedom = and-that yoshev bi-sedom |
| S5 | The Hebrew and the covenant-masters: after STEP_Gn_14_13 | S4 state. (come/tell — ivri debut; brit token 9, the first human-human covenant token.) | Facts baalei-verit HOLD; no test, no name. | וְהֵם בַּעֲלֵי בְרִית־אַבְרָם · ve-hem baalei verit-avram = and-hem baalei verit-avram |
| S6 | Everything back before anyone asks: after STEP_Gn_14_16 | S5 state plus 14:14-15 (the muster and the night-split). (bring_back(e15) — the double hiphil; the restoration precedes every demand.) | Facts shmonah-asar HOLD; SPECS empty. | וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ … הֵשִׁיב · va-yashev et kol-ha-rekhush … heshiv = and-yashev et all-the-rekhush heshiv |
| S7 | The priest of El Elyon: after STEP_Gn_14_18 | S6 state plus 14:17 (the king's meeting). (bring_out(e17) — bread and wine; kohen debuts.) | Facts khohen-elyon HOLD; no test, no name. | וְהוּא כֹהֵן לְאֵל עֶלְיוֹן · ve-hu khohen le-el elyon = and-that khohen to-to elyon |
| S8 | Two blessings and a hidden-handed tenth: after STEP_Gn_14_20 | S7 state. (BLESS x2 — the first human-blesses-human, then gen_23's upward direction; give(e18) AGENTLESS — flag 3.) | Facts barukh-avram HOLD; Facts miggen-tzarekha HOLD; SPECS empty. | בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן · barukh avram le-el elyon = barukh avram to-to elyon |
| S9 | The king's pair pushed: after STEP_Gn_14_21 | S8 state. (say(e19) — two imperatives, no thanks; qach-lakh on the silluq throne.) | LET(ten(avram, ha_nefesh)) pushed and OPEN; LET(qach(avram, ha_rekhush)) pushed and OPEN. = LET(ten(avram, the-nefesh)) pushed and OPEN; LET(qach(avram, the-rekhush)) pushed and OPEN. | תֶּן־לִי הַנֶּפֶשׁ וְהָרְכֻשׁ קַח־לָךְ · ten-li ha-nefesh ve-ha-rekhush qach-lakh = ten-to-me the-nefesh and-the-rekhush qach-to-you |
| S10 | Refused aloud, open on the books: after STEP_Gn_14_24 | S9 state plus 14:22-23 (the oath — no RESULT fires: the refusal is fact, not operation; flag 1). (LET(yiqchu) pushed — Abram's jussive for his allies, gen_23's class.) | LET(ten(avram, ha_nefesh)) pushed and OPEN; LET(qach(avram, ha_rekhush)) pushed and OPEN; LET(yiqchu(aner_eshkol_mamre, chelqam)) pushed and OPEN; Facts harimoti-yadi HOLD; Facts im-mi-chut HOLD; no test, no name; LEDGER stays EMPTY (open transaction). = LET(ten(avram, the-nefesh)) pushed and OPEN; LET(qach(avram, the-rekhush)) pushed and OPEN; LET(yiqchu(aner-eshkol-mamre, chelqam)) pushed and OPEN; Facts harimoti-yadi HOLD; Facts if-from-chut HOLD; no test, no name; LEDGER stays EMPTY (open transaction). | הֲרִימֹתִי יָדִי אֶל־יְהוָה … הֵם יִקְחוּ חֶלְקָם · harimoti yadi el-YHWH … hem yiqchu chelqam = harimoti yadi to-the-LORD hem yiqchu chelqam |
| 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. | קַח־לָךְ · qach-lakh = qach-to-you |
| 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_refused_demands_and_the_first_oath | תֶּן־לִי הַנֶּפֶשׁ וְהָרְכֻשׁ קַח־לָךְ … הֲרִימֹתִי יָדִי אֶל־יְהוָה · ten-li ha-nefesh ve-ha-rekhush qach-lakh … harimoti yadi el-YHWH · THE REFUSAL RULING [flag 1, boldest]: the king of Sodom's imperative pair pushes two human LET demands (gen_13's class; qach-lakh VERSE-FINAL — gen_28's demand-on-the-silluq class, quoted and landed) and Abram REFUSES ALOUD with the corpus's FIRST HUMAN OATH — harimoti yadi ('I have raised my hand', rum token 2 after the ark-lifting waters; the im-formula self-curse whose only Gen-1-14 instance is 14:23; the swear-verb debuts seven chapters later) — and THE QUEUE DOES NOT MOVE: no RESULT fires because nothing is executed (the goods stay untaken — the oath negates the demand in its own verb, eqach answering qach; the persons were already BROUGHT BACK at 14:16 before the king asked, and no transfer is ever narrated); a refusal is a FACT about a demand, not an operation on it — frozen gen_28's arithmetic quoted, zero interpreter extensions; the third demand is Abram's own jussive for his allies (yiqchu — gen_23's jussive-LET class, his second issuing ever after the corpus's only settled human demand, frozen gen_29's hipared); queue ends 3 OPEN, all human, two refused aloud, one issued in another's favor |
| EXPORT_malki_tzedeq_field | וְהוּא כֹהֵן לְאֵל עֶלְיוֹן … וַיִּתֶּן־לוֹ מַעֲשֵׂר מִכֹּל · ve-hu khohen le-el elyon … va-yiten-lo maaser mi-kol · the Salem field: KOHEN ('priest') debuts on a Canaanite king (tokens 2-5 all Egypt's priests — one Salem, four Egypt, before Aaron's law); EL — the divine name's debut, tokens 1-4 all EL ELYON in-span, the El-title ladder following (El Roi 16:13, El Shaddai 17:1, El Olam 21:33); the FIRST HUMAN-BLESSES-HUMAN (barakh token 11; gen_23's 9:26 inversion quoted — the triangle completes: God blessed humans, a human blessed God, now a human blesses a human, and he is the man of gen_27's 12:3 blessers-guard [prose, nothing pops]); QONEH shamayim va-aretz — Chavah's acquire-verb (4:1 qaniti) become the cosmos's title-deed; the AGENTLESS TENTH [flag 3]: va-yiten-LO maaser mi-kol — giver and receiver both bare pronouns, held OPEN (Onkelos keeps both pronouns bare — the buffer declines to vote); maaser's tokens 2-4 are Lev 27:30-32, THE TITHE LAW: the law-word born three books early in a gift with hidden hands (the nega bridge-class); Abram's oath ADOPTS the epithet YHWH-PREFIXED (el-YHWH el elyon qoneh...) — his first spoken YHWH, fused to a foreign priest's liturgy [letter fact; chain files named-only] |
| EXPORT_the_annal_and_the_king_word | וַיְהִי בִּימֵי אַמְרָפֶל … אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה · va-yehi bi-ymei amrafel … arbaah melakhim et-ha-chamishah · the corpus's first WAR ANNAL — eleven verses, ZERO speech (the longest voiceless narrative stretch): MELEKH ('king') born x27 exact (the letter never crowned Nimrod, Babel, or Pharaoh; tokens 28-29 are the covenant's 'kings shall come out of you', 17:6/17:16); MILCHAMAH ('war') debuts MADE (asu — the six days' make-verb); the tribute clock (avad token 6 — the garden's work-verb turned vassalage; marad 'rebel' debut); the four-vs-five; beerot beerot chemar — the WELL-word debuts doubled as tar-pits and the bitumen is Babel's mortar-word (11:3, token 2); yam ha-MELACH: the salt-word debuts naming the doomed vale's sea and its token 2 is 19:26 — Lot's wife, the pillar; En-mishpat — the JUDGMENT-skeleton's first surface, a place-name before the concept (18:19/25 next); the proleptic names held named-only (ha-Amaleqi before Amalek's birth at 36:12; Dan before 30:6); the giant-peoples file; and the hybrid encoding itself — gen_24's grouped-row device on the letter's own annal-paragraphs, ratified by the owner |
| EXPORT_rescue_arc_take_and_restore | וַיִּקְחוּ אֶת־לוֹט … וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ … הֵשִׁיב · va-yiqchu et-lot … va-yashev et kol-ha-rekhush … heshiv · the take/restore arc across three units: LAQACH tokens 24-28 in-span (plunder taken, LOT taken — one verb for goods and kin; the king's qach!; Abram's ve-im-eqach; the allies' yiqchu) after gen_28's passive/confession/imperative triad (tokens 21-23), and token 29 is 15:9 — GOD says take next, across the seam; SHUV IN HIPHIL debuts DOUBLED (va-yashev... heshiv, 14:16 — the restore-voice born on persons and goods, everything returned BEFORE any demand was spoken); AVRAM HA-IVRI — the Hebrew-gentilic's debut (gen_27's crosser-note lands; tokens 2-6 all Yosef-in-Egypt); BRIT token 9 = baalei verit-avram, the covenant-word's first human-human token (tokens 1-8 all divine — census); the 318 chanikhav (Torah hapax) mustered by va-yareq (the sword-unsheathing verb on men); Lot's slide complete across the frozen wall (gen_29's va-yeehal ad-sedom -> yoshev bi-Sedom, both verse-final on Sodom); and the seam-pun staged, not encoded: 14:20's miggen ('delivered', piel hapax) awaits 15:1's magen ('shield') — same skeleton, verb then noun, wall between them |
Oral notes (named, tiered, dual-track — never merged)
observation Bereshit Rabbah 42-43 (the span; Amraphel-is-Nimrod class; the 318-as-Eliezer gematria class); Rashi at 14:7, 14:13, 14:14, 14:18, 14:22; Ramban at 14:1 (the four-kingdoms typology); Bavli Nedarim 32b (Malki-Tzedek and the priesthood-transfer class); Chullin 89a (the thread-and-thong reward class — the tzitzit thread, the tefillin strap); the maaser giver-identity dispute — gen_30 Tier-A queue
וּמַלְכִּי־צֶדֶק מֶלֶךְ שָׁלֵם · (queue — named only) · Named, not read. The cache middot scan is the MAIN LOOP'S gate and is not claimed by this draft [flagged]. Predicted classes: the IDENTIFICATION class (Amraphel/Nimrod, Malki-Tzedek/Shem, Salem/Jerusalem — and the buffer itself performs the last one, see Tier-A); the GEMATRIA class (318/Eliezer — named-only, no numerology in the machine); the FOUR-KINGDOMS typology class (Ramban's program on the four kings); the PRIESTHOOD-TRANSFER class (Nedarim 32b on kohen's debut); the REFUSAL-REWARD class (Chullin 89a: the thread and the thong repaid as commandments); the TITHE-DIRECTION dispute (who gave to whom — the letter's hidden pronouns).
Queue entry — no claim made beyond the naming.
וּמַלְכִּי־צֶדֶק מֶלֶךְ שָׁלֵם · (queue — named only) · Named, not read. The cache middot scan is the MAIN LOOP'S gate and is not claimed by this draft [flagged]. Predicted classes: the IDENTIFICATION class (Amraphel/Nimrod, Malki-Tzedek/Shem, Salem/Jerusalem — and the buffer itself performs the last one, see Tier-A); the GEMATRIA class (318/Eliezer — named-only, no numerology in the machine); the FOUR-KINGDOMS typology class (Ramban's program on the four kings); the PRIESTHOOD-TRANSFER class (Nedarim 32b on kohen's debut); the REFUSAL-REWARD class (Chullin 89a: the thread and the thong repaid as commandments); the TITHE-DIRECTION dispute (who gave to whom — the letter's hidden pronouns).
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 14:1-24 — read Tier-A at derive time (24 sequential fetches, 0.5s spacing, Data/FETCHLOG.md 2026-08-03)
מַלְכָּא דִירוּשְׁלֶם … מְשַׁמֵּשׁ קֳדָם אֵל עִלָּאָה · malka di-yerushlem … meshamesh kodam el ilaah · The span's translation witness — headline: 14:18's DOUBLE MOVE. Salem is IDENTIFIED — malka di-YERUSHLEM ('king of JERUSALEM'): the buffer names the city the letter conceals; and in the same verse the priest-word is WITHHELD — kohen's Torah-debut token is rendered MESHAMESH KODAM ('one who SERVES BEFORE') El Elyon: the buffer un-priests the man the letter ordains [find-class: identification + title-dodge in one verse; dual-track, flagged]. SECOND: the oath gains PRAYER — harimoti yadi -> areimit yedai BI-TZLO kodam YHWH ('I have raised my hands IN PRAYER before the LORD'): the raw hand-gesture liturgized, the tzali-family policy a third consecutive unit (gen_27's call-as-prayer, gen_29's ve-tzali, now the oath) [repeat-policy, landed]. THIRD: the QINYAN convergence — qoneh shamayim va-aretz -> di-QINYANEH ('whose POSSESSION'), and qinyana is the buffer's word for the war's rekhush ('property') all span long (14:11, 12, 16, 21): in Aramaic the plunder kings die for and the cosmos God owns share one noun [cross-buffer observation]. FOURTH: the compass policy CONFIRMED as repeat buffer — mi-semol le-damaseq ('on the LEFT of Damascus') -> MI-TZIPUNA ('on the NORTH'): the same body-relative-to-compass conversion that erased frozen gen_29's two hapax direction-verbs at 13:9 [repeat-buffer, landed]. FIFTH: the take-verb hardened — va-yiqchu x2 (14:11-12) -> U-SHVO ('they took CAPTIVE'), and the king's qach (14:21) -> DVAR ('LEAD away'; variant sav): the lead-for-take buffer (gen_26's 11:31, gen_28's triad) now criminalizes plunder and buffers even a demand's imperative [repeat-policy]. Watch-points answered: the MAASER pronouns stay bare (vi-hav leh — the buffer DECLINES TO VOTE on the tithe's direction); the im-oath formula KEPT (im... ve-im essav — contrast 13:16's dare, which the buffer resolved). Also: the giant-peoples translated to epithets (Refaim -> gibbaraya 'the mighty', Zuzim -> takifaya 'the strong', Emim -> eimtanei 'the terrible'); En-mishpat -> meishar pillug dina ('the plain of the DIVISION OF JUDGMENT') with Kadesh -> Reqam and Chatzetzon-tamar -> EIN GEDI [identifications]; emeq shaveh -> beit reisa de-malka ('the king's racecourse' — a hippodrome inserted); Shinar -> BAVEL x2; Goyim -> ammei ('peoples'); baalei brit -> enashei qeyameh; chanikhav -> uleimohi ('his young men' — the hapax flattened); va-yareq -> ve-zareiz ('he armed').
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
מַלְכָּא דִירוּשְׁלֶם … מְשַׁמֵּשׁ קֳדָם אֵל עִלָּאָה · malka di-yerushlem … meshamesh kodam el ilaah · The span's translation witness — headline: 14:18's DOUBLE MOVE. Salem is IDENTIFIED — malka di-YERUSHLEM ('king of JERUSALEM'): the buffer names the city the letter conceals; and in the same verse the priest-word is WITHHELD — kohen's Torah-debut token is rendered MESHAMESH KODAM ('one who SERVES BEFORE') El Elyon: the buffer un-priests the man the letter ordains [find-class: identification + title-dodge in one verse; dual-track, flagged]. SECOND: the oath gains PRAYER — harimoti yadi -> areimit yedai BI-TZLO kodam YHWH ('I have raised my hands IN PRAYER before the LORD'): the raw hand-gesture liturgized, the tzali-family policy a third consecutive unit (gen_27's call-as-prayer, gen_29's ve-tzali, now the oath) [repeat-policy, landed]. THIRD: the QINYAN convergence — qoneh shamayim va-aretz -> di-QINYANEH ('whose POSSESSION'), and qinyana is the buffer's word for the war's rekhush ('property') all span long (14:11, 12, 16, 21): in Aramaic the plunder kings die for and the cosmos God owns share one noun [cross-buffer observation]. FOURTH: the compass policy CONFIRMED as repeat buffer — mi-semol le-damaseq ('on the LEFT of Damascus') -> MI-TZIPUNA ('on the NORTH'): the same body-relative-to-compass conversion that erased frozen gen_29's two hapax direction-verbs at 13:9 [repeat-buffer, landed]. FIFTH: the take-verb hardened — va-yiqchu x2 (14:11-12) -> U-SHVO ('they took CAPTIVE'), and the king's qach (14:21) -> DVAR ('LEAD away'; variant sav): the lead-for-take buffer (gen_26's 11:31, gen_28's triad) now criminalizes plunder and buffers even a demand's imperative [repeat-policy]. Watch-points answered: the MAASER pronouns stay bare (vi-hav leh — the buffer DECLINES TO VOTE on the tithe's direction); the im-oath formula KEPT (im... ve-im essav — contrast 13:16's dare, which the buffer resolved). Also: the giant-peoples translated to epithets (Refaim -> gibbaraya 'the mighty', Zuzim -> takifaya 'the strong', Emim -> eimtanei 'the terrible'); En-mishpat -> meishar pillug dina ('the plain of the DIVISION OF JUDGMENT') with Kadesh -> Reqam and Chatzetzon-tamar -> EIN GEDI [identifications]; emeq shaveh -> beit reisa de-malka ('the king's racecourse' — a hippodrome inserted); Shinar -> BAVEL x2; Goyim -> ammei ('peoples'); baalei brit -> enashei qeyameh; chanikhav -> uleimohi ('his young men' — the hapax flattened); va-yareq -> ve-zareiz ('he armed').
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.14.1 · parser unique · 14 words
PHRASE (binary 14w) וַ/יְהִ֗י בִּ/ימֵי֙ אַמְרָפֶ֣ל מֶֽלֶךְ שִׁנְעָ֔…
├── PHRASE (binary 8w) וַ/יְהִ֗י בִּ/ימֵי֙ אַמְרָפֶ֣ל מֶֽלֶךְ שִׁנְעָ֔…
│ ├── PHRASE (binary 5w) וַ/יְהִ֗י בִּ/ימֵי֙ אַמְרָפֶ֣ל מֶֽלֶךְ שִׁנְעָ֔ר
│ │ ├── [0] וַ/יְהִ֗י (revia, rank=3)
│ │ └── PHRASE (binary 4w) בִּ/ימֵי֙ אַמְרָפֶ֣ל מֶֽלֶךְ שִׁנְעָ֔ר
│ │ ├── [1] בִּ/ימֵי֙ (pashta, rank=3)
│ │ └── [2-4] GLUE אַמְרָפֶ֣ל מֶֽלֶךְ שִׁנְעָ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אַרְי֖וֹךְ מֶ֣לֶךְ אֶלָּסָ֑ר
│ ├── [5] אַרְי֖וֹךְ (tifcha, rank=2)
│ └── [6-7] GLUE מֶ֣לֶךְ אֶלָּסָ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) כְּדָרְלָעֹ֨מֶר֙ מֶ֣לֶךְ עֵילָ֔ם וְ/תִדְעָ֖ל מֶ…
├── PHRASE (binary 3w) כְּדָרְלָעֹ֨מֶר֙ מֶ֣לֶךְ עֵילָ֔ם
│ ├── [8] כְּדָרְלָעֹ֨מֶר֙ (pashta, rank=3)
│ └── [9-10] GLUE מֶ֣לֶךְ עֵילָ֔ם (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/תִדְעָ֖ל מֶ֥לֶךְ גּוֹיִֽם
├── [11] וְ/תִדְעָ֖ל (tifcha, rank=2)
└── [12-13] GLUE מֶ֥לֶךְ גּוֹיִֽם (silluq (verse-end emperor), rank=1)
Gen.14.2 · parser unique · 21 words
PHRASE (binary 21w) עָשׂ֣וּ מִלְחָמָ֗ה אֶת בֶּ֨רַע֙ מֶ֣לֶךְ סְדֹ֔ם …
├── PHRASE (binary 10w) עָשׂ֣וּ מִלְחָמָ֗ה אֶת בֶּ֨רַע֙ מֶ֣לֶךְ סְדֹ֔ם …
│ ├── PHRASE (binary 6w) עָשׂ֣וּ מִלְחָמָ֗ה אֶת בֶּ֨רַע֙ מֶ֣לֶךְ סְדֹ֔ם
│ │ ├── [0-1] GLUE עָשׂ֣וּ מִלְחָמָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) אֶת בֶּ֨רַע֙ מֶ֣לֶךְ סְדֹ֔ם
│ │ ├── [2-3] GLUE אֶת בֶּ֨רַע֙ (pashta, rank=3)
│ │ └── [4-5] GLUE מֶ֣לֶךְ סְדֹ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וְ/אֶת בִּרְשַׁ֖ע מֶ֣לֶךְ עֲמֹרָ֑ה
│ ├── [6-7] GLUE וְ/אֶת בִּרְשַׁ֖ע (tifcha, rank=2)
│ └── [8-9] GLUE מֶ֣לֶךְ עֲמֹרָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) שִׁנְאָ֣ב מֶ֣לֶךְ אַדְמָ֗ה וְ/שֶׁמְאֵ֨בֶר֙ מֶ֣ל…
├── PHRASE (binary 7w) שִׁנְאָ֣ב מֶ֣לֶךְ אַדְמָ֗ה וְ/שֶׁמְאֵ֨בֶר֙ מֶ֣ל…
│ ├── [10-12] GLUE שִׁנְאָ֣ב מֶ֣לֶךְ אַדְמָ֗ה (revia, rank=3)
│ └── PHRASE (binary 4w) וְ/שֶׁמְאֵ֨בֶר֙ מֶ֣לֶךְ צביים צְבוֹיִ֔ים
│ ├── [13] וְ/שֶׁמְאֵ֨בֶר֙ (pashta, rank=3)
│ └── [14-16] GLUE מֶ֣לֶךְ צביים צְבוֹיִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וּ/מֶ֥לֶךְ בֶּ֖לַע הִיא צֹֽעַר
├── [17-18] GLUE וּ/מֶ֥לֶךְ בֶּ֖לַע (tifcha, rank=2)
└── [19-20] GLUE הִיא צֹֽעַר (silluq (verse-end emperor), rank=1)
Gen.14.3 · parser unique · 9 words
PHRASE (binary 9w) כָּל אֵ֨לֶּה֙ חָֽבְר֔וּ אֶל עֵ֖מֶק הַ/שִּׂדִּ֑י…
├── PHRASE (binary 6w) כָּל אֵ֨לֶּה֙ חָֽבְר֔וּ אֶל עֵ֖מֶק הַ/שִּׂדִּ֑ים
│ ├── PHRASE (binary 3w) כָּל אֵ֨לֶּה֙ חָֽבְר֔וּ
│ │ ├── [0-1] GLUE כָּל אֵ֨לֶּה֙ (pashta, rank=3)
│ │ └── [2] חָֽבְר֔וּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֶל עֵ֖מֶק הַ/שִּׂדִּ֑ים
│ ├── [3-4] GLUE אֶל עֵ֖מֶק (tifcha, rank=2)
│ └── [5] הַ/שִּׂדִּ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) ה֖וּא יָ֥ם הַ/מֶּֽלַח
├── [6] ה֖וּא (tifcha, rank=2)
└── [7-8] GLUE יָ֥ם הַ/מֶּֽלַח (silluq (verse-end emperor), rank=1)
Gen.14.4 · parser unique · 10 words
PHRASE (binary 10w) שְׁתֵּ֤ים עֶשְׂרֵה֙ שָׁנָ֔ה עָבְד֖וּ אֶת כְּדָר…
├── PHRASE (binary 6w) שְׁתֵּ֤ים עֶשְׂרֵה֙ שָׁנָ֔ה עָבְד֖וּ אֶת כְּדָר…
│ ├── PHRASE (binary 3w) שְׁתֵּ֤ים עֶשְׂרֵה֙ שָׁנָ֔ה
│ │ ├── [0-1] GLUE שְׁתֵּ֤ים עֶשְׂרֵה֙ (pashta, rank=3)
│ │ └── [2] שָׁנָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) עָבְד֖וּ אֶת כְּדָרְלָעֹ֑מֶר
│ ├── [3] עָבְד֖וּ (tifcha, rank=2)
│ └── [4-5] GLUE אֶת כְּדָרְלָעֹ֑מֶר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וּ/שְׁלֹשׁ עֶשְׂרֵ֥ה שָׁנָ֖ה מָרָֽדוּ
├── [6-8] GLUE וּ/שְׁלֹשׁ עֶשְׂרֵ֥ה שָׁנָ֖ה (tifcha, rank=2)
└── [9] מָרָֽדוּ (silluq (verse-end emperor), rank=1)
Gen.14.5 · parser unique · 20 words
PHRASE (binary 20w) וּ/בְ/אַרְבַּע֩ עֶשְׂרֵ֨ה שָׁנָ֜ה בָּ֣א כְדָרְל…
├── PHRASE (binary 16w) וּ/בְ/אַרְבַּע֩ עֶשְׂרֵ֨ה שָׁנָ֜ה בָּ֣א כְדָרְל…
│ ├── PHRASE (binary 8w) וּ/בְ/אַרְבַּע֩ עֶשְׂרֵ֨ה שָׁנָ֜ה בָּ֣א כְדָרְל…
│ │ ├── PHRASE (binary 5w) וּ/בְ/אַרְבַּע֩ עֶשְׂרֵ֨ה שָׁנָ֜ה בָּ֣א כְדָרְל…
│ │ │ ├── [0-2] GLUE וּ/בְ/אַרְבַּע֩ עֶשְׂרֵ֨ה שָׁנָ֜ה (geresh, rank=4)
│ │ │ └── [3-4] GLUE בָּ֣א כְדָרְלָעֹ֗מֶר (revia, rank=3)
│ │ └── PHRASE (binary 3w) וְ/הַ/מְּלָכִים֙ אֲשֶׁ֣ר אִתּ֔/וֹ
│ │ ├── [5] וְ/הַ/מְּלָכִים֙ (pashta, rank=3)
│ │ └── [6-7] GLUE אֲשֶׁ֣ר אִתּ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) וַ/יַּכּ֤וּ אֶת רְפָאִים֙ בְּ/עַשְׁתְּרֹ֣ת קַרְ…
│ ├── PHRASE (binary 5w) וַ/יַּכּ֤וּ אֶת רְפָאִים֙ בְּ/עַשְׁתְּרֹ֣ת קַרְ…
│ │ ├── [8-10] GLUE וַ/יַּכּ֤וּ אֶת רְפָאִים֙ (pashta, rank=3)
│ │ └── [11-12] GLUE בְּ/עַשְׁתְּרֹ֣ת קַרְנַ֔יִם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אֶת הַ/זּוּזִ֖ים בְּ/הָ֑ם
│ ├── [13-14] GLUE וְ/אֶת הַ/זּוּזִ֖ים (tifcha, rank=2)
│ └── [15] בְּ/הָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/אֵת֙ הָֽ/אֵימִ֔ים בְּ/שָׁוֵ֖ה קִרְיָתָֽיִם
├── PHRASE (binary 2w) וְ/אֵת֙ הָֽ/אֵימִ֔ים
│ ├── [16] וְ/אֵת֙ (pashta, rank=3)
│ └── [17] הָֽ/אֵימִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 2w) בְּ/שָׁוֵ֖ה קִרְיָתָֽיִם
├── [18] בְּ/שָׁוֵ֖ה (tifcha, rank=2)
└── [19] קִרְיָתָֽיִם (silluq (verse-end emperor), rank=1)
Gen.14.6 · parser unique · 10 words
PHRASE (binary 10w) וְ/אֶת הַ/חֹרִ֖י בְּ/הַרְרָ֣/ם שֵׂעִ֑יר עַ֚ד אֵ…
├── PHRASE (binary 4w) וְ/אֶת הַ/חֹרִ֖י בְּ/הַרְרָ֣/ם שֵׂעִ֑יר
│ ├── [0-1] GLUE וְ/אֶת הַ/חֹרִ֖י (tifcha, rank=2)
│ └── [2-3] GLUE בְּ/הַרְרָ֣/ם שֵׂעִ֑יר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) עַ֚ד אֵ֣יל פָּארָ֔ן אֲשֶׁ֖ר עַל הַ/מִּדְבָּֽר
├── PHRASE (binary 3w) עַ֚ד אֵ֣יל פָּארָ֔ן
│ ├── [4] עַ֚ד (yetiv, rank=3)
│ └── [5-6] GLUE אֵ֣יל פָּארָ֔ן (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֲשֶׁ֖ר עַל הַ/מִּדְבָּֽר
├── [7] אֲשֶׁ֖ר (tifcha, rank=2)
└── [8-9] GLUE עַל הַ/מִּדְבָּֽר (silluq (verse-end emperor), rank=1)
Gen.14.7 · parser unique · 18 words
PHRASE (binary 18w) וַ֠/יָּשֻׁבוּ וַ/יָּבֹ֜אוּ אֶל עֵ֤ין מִשְׁפָּט֙…
├── PHRASE (binary 12w) וַ֠/יָּשֻׁבוּ וַ/יָּבֹ֜אוּ אֶל עֵ֤ין מִשְׁפָּט֙…
│ ├── PHRASE (binary 7w) וַ֠/יָּשֻׁבוּ וַ/יָּבֹ֜אוּ אֶל עֵ֤ין מִשְׁפָּט֙…
│ │ ├── PHRASE (binary 5w) וַ֠/יָּשֻׁבוּ וַ/יָּבֹ֜אוּ אֶל עֵ֤ין מִשְׁפָּט֙
│ │ │ ├── [0] וַ֠/יָּשֻׁבוּ (telisha gedola, rank=4)
│ │ │ └── PHRASE (binary 4w) וַ/יָּבֹ֜אוּ אֶל עֵ֤ין מִשְׁפָּט֙
│ │ │ ├── [1] וַ/יָּבֹ֜אוּ (geresh, rank=4)
│ │ │ └── [2-4] GLUE אֶל עֵ֤ין מִשְׁפָּט֙ (pashta, rank=3)
│ │ └── [5-6] GLUE הִ֣וא קָדֵ֔שׁ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וַ/יַּכּ֕וּ אֶֽת כָּל שְׂדֵ֖ה הָ/עֲמָלֵקִ֑י
│ ├── [7] וַ/יַּכּ֕וּ (zaqef gadol, rank=2)
│ └── PHRASE (binary 4w) אֶֽת כָּל שְׂדֵ֖ה הָ/עֲמָלֵקִ֑י
│ ├── [8-10] GLUE אֶֽת כָּל שְׂדֵ֖ה (tifcha, rank=2)
│ └── [11] הָ/עֲמָלֵקִ֑י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/גַם֙ אֶת הָ֣/אֱמֹרִ֔י הַ/יֹּשֵׁ֖ב בְּ/חַֽצְצ…
├── PHRASE (binary 3w) וְ/גַם֙ אֶת הָ֣/אֱמֹרִ֔י
│ ├── [12] וְ/גַם֙ (pashta, rank=3)
│ └── [13-14] GLUE אֶת הָ֣/אֱמֹרִ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 3w) הַ/יֹּשֵׁ֖ב בְּ/חַֽצְצֹ֥ן תָּמָֽר
├── [15] הַ/יֹּשֵׁ֖ב (tifcha, rank=2)
└── [16-17] GLUE בְּ/חַֽצְצֹ֥ן תָּמָֽר (silluq (verse-end emperor), rank=1)
Gen.14.8 · parser unique · 19 words
PHRASE (binary 19w) וַ/יֵּצֵ֨א מֶֽלֶךְ סְדֹ֜ם וּ/מֶ֣לֶךְ עֲמֹרָ֗ה ו…
├── PHRASE (binary 14w) וַ/יֵּצֵ֨א מֶֽלֶךְ סְדֹ֜ם וּ/מֶ֣לֶךְ עֲמֹרָ֗ה ו…
│ ├── PHRASE (binary 10w) וַ/יֵּצֵ֨א מֶֽלֶךְ סְדֹ֜ם וּ/מֶ֣לֶךְ עֲמֹרָ֗ה ו…
│ │ ├── PHRASE (binary 5w) וַ/יֵּצֵ֨א מֶֽלֶךְ סְדֹ֜ם וּ/מֶ֣לֶךְ עֲמֹרָ֗ה
│ │ │ ├── [0-2] GLUE וַ/יֵּצֵ֨א מֶֽלֶךְ סְדֹ֜ם (geresh, rank=4)
│ │ │ └── [3-4] GLUE וּ/מֶ֣לֶךְ עֲמֹרָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 5w) וּ/מֶ֤לֶךְ אַדְמָה֙ וּ/מֶ֣לֶךְ צביים צְבוֹיִ֔ם
│ │ ├── [5-6] GLUE וּ/מֶ֤לֶךְ אַדְמָה֙ (pashta, rank=3)
│ │ └── [7-9] GLUE וּ/מֶ֣לֶךְ צביים צְבוֹיִ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וּ/מֶ֥לֶךְ בֶּ֖לַע הִוא צֹ֑עַר
│ ├── [10-11] GLUE וּ/מֶ֥לֶךְ בֶּ֖לַע (tifcha, rank=2)
│ └── [12-13] GLUE הִוא צֹ֑עַר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יַּֽעַרְכ֤וּ אִתָּ/ם֙ מִלְחָמָ֔ה בְּ/עֵ֖מֶק …
├── PHRASE (binary 3w) וַ/יַּֽעַרְכ֤וּ אִתָּ/ם֙ מִלְחָמָ֔ה
│ ├── [14-15] GLUE וַ/יַּֽעַרְכ֤וּ אִתָּ/ם֙ (pashta, rank=3)
│ └── [16] מִלְחָמָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 2w) בְּ/עֵ֖מֶק הַ/שִּׂדִּֽים
├── [17] בְּ/עֵ֖מֶק (tifcha, rank=2)
└── [18] הַ/שִּׂדִּֽים (silluq (verse-end emperor), rank=1)
Gen.14.9 · parser unique · 17 words
PHRASE (binary 17w) אֵ֣ת כְּדָרְלָעֹ֜מֶר מֶ֣לֶךְ עֵילָ֗ם וְ/תִדְעָל…
├── PHRASE (binary 13w) אֵ֣ת כְּדָרְלָעֹ֜מֶר מֶ֣לֶךְ עֵילָ֗ם וְ/תִדְעָל…
│ ├── PHRASE (binary 7w) אֵ֣ת כְּדָרְלָעֹ֜מֶר מֶ֣לֶךְ עֵילָ֗ם וְ/תִדְעָל…
│ │ ├── PHRASE (binary 4w) אֵ֣ת כְּדָרְלָעֹ֜מֶר מֶ֣לֶךְ עֵילָ֗ם
│ │ │ ├── [0-1] GLUE אֵ֣ת כְּדָרְלָעֹ֜מֶר (geresh, rank=4)
│ │ │ └── [2-3] GLUE מֶ֣לֶךְ עֵילָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 3w) וְ/תִדְעָל֙ מֶ֣לֶךְ גּוֹיִ֔ם
│ │ ├── [4] וְ/תִדְעָל֙ (pashta, rank=3)
│ │ └── [5-6] GLUE מֶ֣לֶךְ גּוֹיִ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וְ/אַמְרָפֶל֙ מֶ֣לֶךְ שִׁנְעָ֔ר וְ/אַרְי֖וֹךְ מ…
│ ├── PHRASE (binary 3w) וְ/אַמְרָפֶל֙ מֶ֣לֶךְ שִׁנְעָ֔ר
│ │ ├── [7] וְ/אַמְרָפֶל֙ (pashta, rank=3)
│ │ └── [8-9] GLUE מֶ֣לֶךְ שִׁנְעָ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אַרְי֖וֹךְ מֶ֣לֶךְ אֶלָּסָ֑ר
│ ├── [10] וְ/אַרְי֖וֹךְ (tifcha, rank=2)
│ └── [11-12] GLUE מֶ֣לֶךְ אֶלָּסָ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) אַרְבָּעָ֥ה מְלָכִ֖ים אֶת הַ/חֲמִשָּֽׁה
├── [13-14] GLUE אַרְבָּעָ֥ה מְלָכִ֖ים (tifcha, rank=2)
└── [15-16] GLUE אֶת הַ/חֲמִשָּֽׁה (silluq (verse-end emperor), rank=1)
Gen.14.10 · parser unique · 14 words
PHRASE (binary 14w) וְ/עֵ֣מֶק הַ/שִׂדִּ֗ים בֶּֽאֱרֹ֤ת בֶּאֱרֹת֙ חֵמ…
├── PHRASE (binary 11w) וְ/עֵ֣מֶק הַ/שִׂדִּ֗ים בֶּֽאֱרֹ֤ת בֶּאֱרֹת֙ חֵמ…
│ ├── PHRASE (binary 5w) וְ/עֵ֣מֶק הַ/שִׂדִּ֗ים בֶּֽאֱרֹ֤ת בֶּאֱרֹת֙ חֵמ…
│ │ ├── [0-1] GLUE וְ/עֵ֣מֶק הַ/שִׂדִּ֗ים (revia, rank=3)
│ │ └── PHRASE (binary 3w) בֶּֽאֱרֹ֤ת בֶּאֱרֹת֙ חֵמָ֔ר
│ │ ├── [2-3] GLUE בֶּֽאֱרֹ֤ת בֶּאֱרֹת֙ (pashta, rank=3)
│ │ └── [4] חֵמָ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וַ/יָּנֻ֛סוּ מֶֽלֶךְ סְדֹ֥ם וַ/עֲמֹרָ֖ה וַ/יִּפ…
│ ├── PHRASE (binary 4w) וַ/יָּנֻ֛סוּ מֶֽלֶךְ סְדֹ֥ם וַ/עֲמֹרָ֖ה
│ │ ├── [5] וַ/יָּנֻ֛סוּ (tevir, rank=3)
│ │ └── [6-8] GLUE מֶֽלֶךְ סְדֹ֥ם וַ/עֲמֹרָ֖ה (tifcha, rank=2)
│ └── [9-10] GLUE וַ/יִּפְּלוּ שָׁ֑מָּ/ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/הַ/נִּשְׁאָרִ֖ים הֶ֥רָ/ה נָּֽסוּ
├── [11] וְ/הַ/נִּשְׁאָרִ֖ים (tifcha, rank=2)
└── [12-13] GLUE הֶ֥רָ/ה נָּֽסוּ (silluq (verse-end emperor), rank=1)
Gen.14.11 · parser unique · 10 words
PHRASE (binary 10w) וַ֠/יִּקְחוּ אֶת כָּל רְכֻ֨שׁ סְדֹ֧ם וַ/עֲמֹרָ֛… ├── PHRASE (binary 9w) וַ֠/יִּקְחוּ אֶת כָּל רְכֻ֨שׁ סְדֹ֧ם וַ/עֲמֹרָ֛… │ ├── PHRASE (binary 6w) וַ֠/יִּקְחוּ אֶת כָּל רְכֻ֨שׁ סְדֹ֧ם וַ/עֲמֹרָ֛ה │ │ ├── [0] וַ֠/יִּקְחוּ (telisha gedola, rank=4) │ │ └── [1-5] GLUE אֶת כָּל רְכֻ֨שׁ סְדֹ֧ם וַ/עֲמֹרָ֛ה (tevir, rank=3) │ └── [6-8] GLUE וְ/אֶת כָּל אָכְלָ֖/ם (tifcha, rank=2) └── [9] וַ/יֵּלֵֽכוּ (silluq (verse-end emperor), rank=1)
Gen.14.12 · parser unique · 12 words
PHRASE (binary 12w) וַ/יִּקְח֨וּ אֶת ל֧וֹט וְ/אֶת רְכֻשׁ֛/וֹ בֶּן א…
├── PHRASE (binary 9w) וַ/יִּקְח֨וּ אֶת ל֧וֹט וְ/אֶת רְכֻשׁ֛/וֹ בֶּן א…
│ ├── PHRASE (binary 8w) וַ/יִּקְח֨וּ אֶת ל֧וֹט וְ/אֶת רְכֻשׁ֛/וֹ בֶּן א…
│ │ ├── [0-4] GLUE וַ/יִּקְח֨וּ אֶת ל֧וֹט וְ/אֶת רְכֻשׁ֛/וֹ (tevir, rank=3)
│ │ └── [5-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.14.13 · parser unique · 18 words
PHRASE (binary 18w) וַ/יָּבֹא֙ הַ/פָּלִ֔יט וַ/יַּגֵּ֖ד לְ/אַבְרָ֣ם …
├── PHRASE (binary 5w) וַ/יָּבֹא֙ הַ/פָּלִ֔יט וַ/יַּגֵּ֖ד לְ/אַבְרָ֣ם …
│ ├── PHRASE (binary 2w) וַ/יָּבֹא֙ הַ/פָּלִ֔יט
│ │ ├── [0] וַ/יָּבֹא֙ (pashta, rank=3)
│ │ └── [1] הַ/פָּלִ֔יט (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יַּגֵּ֖ד לְ/אַבְרָ֣ם הָ/עִבְרִ֑י
│ ├── [2] וַ/יַּגֵּ֖ד (tifcha, rank=2)
│ └── [3-4] GLUE לְ/אַבְרָ֣ם הָ/עִבְרִ֑י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) וְ/הוּא֩ שֹׁכֵ֨ן בְּ/אֵֽלֹנֵ֜י מַמְרֵ֣א הָ/אֱמֹ…
├── PHRASE (binary 9w) וְ/הוּא֩ שֹׁכֵ֨ן בְּ/אֵֽלֹנֵ֜י מַמְרֵ֣א הָ/אֱמֹ…
│ ├── PHRASE (binary 5w) וְ/הוּא֩ שֹׁכֵ֨ן בְּ/אֵֽלֹנֵ֜י מַמְרֵ֣א הָ/אֱמֹ…
│ │ ├── [5-7] GLUE וְ/הוּא֩ שֹׁכֵ֨ן בְּ/אֵֽלֹנֵ֜י (geresh, rank=4)
│ │ └── [8-9] GLUE מַמְרֵ֣א הָ/אֱמֹרִ֗י (revia, rank=3)
│ └── PHRASE (binary 4w) אֲחִ֤י אֶשְׁכֹּל֙ וַ/אֲחִ֣י עָנֵ֔ר
│ ├── [10-11] GLUE אֲחִ֤י אֶשְׁכֹּל֙ (pashta, rank=3)
│ └── [12-13] GLUE וַ/אֲחִ֣י עָנֵ֔ר (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/הֵ֖ם בַּעֲלֵ֥י בְרִית אַבְרָֽם
├── [14] וְ/הֵ֖ם (tifcha, rank=2)
└── [15-17] GLUE בַּעֲלֵ֥י בְרִית אַבְרָֽם (silluq (verse-end emperor), rank=1)
Gen.14.14 · parser unique · 17 words
PHRASE (binary 17w) וַ/יִּשְׁמַ֣ע אַבְרָ֔ם כִּ֥י נִשְׁבָּ֖ה אָחִ֑י/…
├── 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 12w) וַ/יָּ֨רֶק אֶת חֲנִיכָ֜י/ו יְלִידֵ֣י בֵית֗/וֹ ש…
├── PHRASE (binary 9w) וַ/יָּ֨רֶק אֶת חֲנִיכָ֜י/ו יְלִידֵ֣י בֵית֗/וֹ ש…
│ ├── PHRASE (binary 5w) וַ/יָּ֨רֶק אֶת חֲנִיכָ֜י/ו יְלִידֵ֣י בֵית֗/וֹ
│ │ ├── [5-7] GLUE וַ/יָּ֨רֶק אֶת חֲנִיכָ֜י/ו (geresh, rank=4)
│ │ └── [8-9] GLUE יְלִידֵ֣י בֵית֗/וֹ (revia, rank=3)
│ └── PHRASE (binary 4w) שְׁמֹנָ֤ה עָשָׂר֙ וּ/שְׁלֹ֣שׁ מֵא֔וֹת
│ ├── [10-11] GLUE שְׁמֹנָ֤ה עָשָׂר֙ (pashta, rank=3)
│ └── [12-13] GLUE וּ/שְׁלֹ֣שׁ מֵא֔וֹת (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/יִּרְדֹּ֖ף עַד דָּֽן
├── [14] וַ/יִּרְדֹּ֖ף (tifcha, rank=2)
└── [15-16] GLUE עַד דָּֽן (silluq (verse-end emperor), rank=1)
Gen.14.15 · parser unique · 12 words
PHRASE (binary 12w) וַ/יֵּחָלֵ֨ק עֲלֵי/הֶ֧ם לַ֛יְלָה ה֥וּא וַ/עֲבָד…
├── PHRASE (binary 6w) וַ/יֵּחָלֵ֨ק עֲלֵי/הֶ֧ם לַ֛יְלָה ה֥וּא וַ/עֲבָד…
│ ├── PHRASE (binary 5w) וַ/יֵּחָלֵ֨ק עֲלֵי/הֶ֧ם לַ֛יְלָה ה֥וּא וַ/עֲבָד…
│ │ ├── [0-2] GLUE וַ/יֵּחָלֵ֨ק עֲלֵי/הֶ֧ם לַ֛יְלָה (tevir, rank=3)
│ │ └── [3-4] GLUE ה֥וּא וַ/עֲבָדָ֖י/ו (tifcha, rank=2)
│ └── [5] וַ/יַּכֵּ֑/ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַֽ/יִּרְדְּפֵ/ם֙ עַד חוֹבָ֔ה אֲשֶׁ֥ר מִ/שְּׂמֹ…
├── PHRASE (binary 3w) וַֽ/יִּרְדְּפֵ/ם֙ עַד חוֹבָ֔ה
│ ├── [6] וַֽ/יִּרְדְּפֵ/ם֙ (pashta, rank=3)
│ └── [7-8] GLUE עַד חוֹבָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֲשֶׁ֥ר מִ/שְּׂמֹ֖אל לְ/דַמָּֽשֶׂק
├── [9-10] GLUE אֲשֶׁ֥ר מִ/שְּׂמֹ֖אל (tifcha, rank=2)
└── [11] לְ/דַמָּֽשֶׂק (silluq (verse-end emperor), rank=1)
Gen.14.16 · parser unique · 15 words
PHRASE (binary 15w) וַ/יָּ֕שֶׁב אֵ֖ת כָּל הָ/רְכֻ֑שׁ וְ/גַם֩ אֶת ל֨…
├── PHRASE (binary 4w) וַ/יָּ֕שֶׁב אֵ֖ת כָּל הָ/רְכֻ֑שׁ
│ ├── [0] וַ/יָּ֕שֶׁב (zaqef gadol, rank=2)
│ └── PHRASE (binary 3w) אֵ֖ת כָּל הָ/רְכֻ֑שׁ
│ ├── [1] אֵ֖ת (tifcha, rank=2)
│ └── [2-3] GLUE כָּל הָ/רְכֻ֑שׁ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וְ/גַם֩ אֶת ל֨וֹט אָחִ֤י/ו וּ/רְכֻשׁ/וֹ֙ הֵשִׁ֔…
├── PHRASE (binary 6w) וְ/גַם֩ אֶת ל֨וֹט אָחִ֤י/ו וּ/רְכֻשׁ/וֹ֙ הֵשִׁ֔…
│ ├── [4-8] GLUE וְ/גַם֩ אֶת ל֨וֹט אָחִ֤י/ו וּ/רְכֻשׁ/וֹ֙ (pashta, rank=3)
│ └── [9] הֵשִׁ֔יב (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וְ/גַ֥ם אֶת הַ/נָּשִׁ֖ים וְ/אֶת הָ/עָֽם
├── [10-12] GLUE וְ/גַ֥ם אֶת הַ/נָּשִׁ֖ים (tifcha, rank=2)
└── [13-14] GLUE וְ/אֶת הָ/עָֽם (silluq (verse-end emperor), rank=1)
Gen.14.17 · parser unique · 19 words
PHRASE (binary 19w) וַ/יֵּצֵ֣א מֶֽלֶךְ סְדֹם֮ לִ/קְרָאת/וֹ֒ אַחֲרֵ֣…
├── PHRASE (binary 13w) וַ/יֵּצֵ֣א מֶֽלֶךְ סְדֹם֮ לִ/קְרָאת/וֹ֒ אַחֲרֵ֣…
│ ├── PHRASE (binary 4w) וַ/יֵּצֵ֣א מֶֽלֶךְ סְדֹם֮ לִ/קְרָאת/וֹ֒
│ │ ├── [0-2] GLUE וַ/יֵּצֵ֣א מֶֽלֶךְ סְדֹם֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [3] לִ/קְרָאת/וֹ֒ (segol, rank=2)
│ └── PHRASE (binary 9w) אַחֲרֵ֣י שׁוּב֗/וֹ מֵֽ/הַכּוֹת֙ אֶת כְּדָרלָעֹ֔…
│ ├── PHRASE (binary 5w) אַחֲרֵ֣י שׁוּב֗/וֹ מֵֽ/הַכּוֹת֙ אֶת כְּדָרלָעֹ֔…
│ │ ├── [4-5] GLUE אַחֲרֵ֣י שׁוּב֗/וֹ (revia, rank=3)
│ │ └── PHRASE (binary 3w) מֵֽ/הַכּוֹת֙ אֶת כְּדָרלָעֹ֔מֶר
│ │ ├── [6] מֵֽ/הַכּוֹת֙ (pashta, rank=3)
│ │ └── [7-8] GLUE אֶת כְּדָרלָעֹ֔מֶר (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וְ/אֶת הַ/מְּלָכִ֖ים אֲשֶׁ֣ר אִתּ֑/וֹ
│ ├── [9-10] GLUE וְ/אֶת הַ/מְּלָכִ֖ים (tifcha, rank=2)
│ └── [11-12] GLUE אֲשֶׁ֣ר אִתּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אֶל עֵ֣מֶק שָׁוֵ֔ה ה֖וּא עֵ֥מֶק הַ/מֶּֽלֶךְ
├── [13-15] GLUE אֶל עֵ֣מֶק שָׁוֵ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) ה֖וּא עֵ֥מֶק הַ/מֶּֽלֶךְ
├── [16] ה֖וּא (tifcha, rank=2)
└── [17-18] GLUE עֵ֥מֶק הַ/מֶּֽלֶךְ (silluq (verse-end emperor), rank=1)
Gen.14.18 · parser unique · 11 words
PHRASE (binary 11w) וּ/מַלְכִּי צֶ֨דֶק֙ מֶ֣לֶךְ שָׁלֵ֔ם הוֹצִ֖יא לֶ…
├── PHRASE (binary 7w) וּ/מַלְכִּי צֶ֨דֶק֙ מֶ֣לֶךְ שָׁלֵ֔ם הוֹצִ֖יא לֶ…
│ ├── PHRASE (binary 4w) וּ/מַלְכִּי צֶ֨דֶק֙ מֶ֣לֶךְ שָׁלֵ֔ם
│ │ ├── [0-1] GLUE וּ/מַלְכִּי צֶ֨דֶק֙ (pashta, rank=3)
│ │ └── [2-3] GLUE מֶ֣לֶךְ שָׁלֵ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) הוֹצִ֖יא לֶ֣חֶם וָ/יָ֑יִן
│ ├── [4] הוֹצִ֖יא (tifcha, rank=2)
│ └── [5-6] GLUE לֶ֣חֶם וָ/יָ֑יִן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/ה֥וּא כֹהֵ֖ן לְ/אֵ֥ל עֶלְיֽוֹן
├── [7-8] GLUE וְ/ה֥וּא כֹהֵ֖ן (tifcha, rank=2)
└── [9-10] GLUE לְ/אֵ֥ל עֶלְיֽוֹן (silluq (verse-end emperor), rank=1)
Gen.14.19 · parser unique · 9 words
PHRASE (binary 9w) וַֽ/יְבָרְכֵ֖/הוּ וַ/יֹּאמַ֑ר בָּר֤וּךְ אַבְרָם…
├── PHRASE (binary 2w) וַֽ/יְבָרְכֵ֖/הוּ וַ/יֹּאמַ֑ר
│ ├── [0] וַֽ/יְבָרְכֵ֖/הוּ (tifcha, rank=2)
│ └── [1] וַ/יֹּאמַ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) בָּר֤וּךְ אַבְרָם֙ לְ/אֵ֣ל עֶלְי֔וֹן קֹנֵ֖ה שָׁ…
├── PHRASE (binary 4w) בָּר֤וּךְ אַבְרָם֙ לְ/אֵ֣ל עֶלְי֔וֹן
│ ├── [2-3] GLUE בָּר֤וּךְ אַבְרָם֙ (pashta, rank=3)
│ └── [4-5] GLUE לְ/אֵ֣ל עֶלְי֔וֹן (zaqef qatan, rank=2)
└── PHRASE (binary 3w) קֹנֵ֖ה שָׁמַ֥יִם וָ/אָֽרֶץ
├── [6] קֹנֵ֖ה (tifcha, rank=2)
└── [7-8] GLUE שָׁמַ֥יִם וָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.14.20 · parser unique · 11 words
PHRASE (binary 11w) וּ/בָרוּךְ֙ אֵ֣ל עֶלְי֔וֹן אֲשֶׁר מִגֵּ֥ן צָרֶ֖…
├── PHRASE (binary 7w) וּ/בָרוּךְ֙ אֵ֣ל עֶלְי֔וֹן אֲשֶׁר מִגֵּ֥ן צָרֶ֖…
│ ├── PHRASE (binary 3w) וּ/בָרוּךְ֙ אֵ֣ל עֶלְי֔וֹן
│ │ ├── [0] וּ/בָרוּךְ֙ (pashta, rank=3)
│ │ └── [1-2] GLUE אֵ֣ל עֶלְי֔וֹן (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אֲשֶׁר מִגֵּ֥ן צָרֶ֖י/ךָ בְּ/יָדֶ֑/ךָ
│ ├── [3-5] GLUE אֲשֶׁר מִגֵּ֥ן צָרֶ֖י/ךָ (tifcha, rank=2)
│ └── [6] בְּ/יָדֶ֑/ךָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יִּתֶּן ל֥/וֹ מַעֲשֵׂ֖ר מִ/כֹּֽל
├── [7-9] GLUE וַ/יִּתֶּן ל֥/וֹ מַעֲשֵׂ֖ר (tifcha, rank=2)
└── [10] מִ/כֹּֽל (silluq (verse-end emperor), rank=1)
Gen.14.21 · parser unique · 11 words
PHRASE (binary 11w) וַ/יֹּ֥אמֶר מֶֽלֶךְ סְדֹ֖ם אֶל אַבְרָ֑ם תֶּן לִ…
├── PHRASE (binary 5w) וַ/יֹּ֥אמֶר מֶֽלֶךְ סְדֹ֖ם אֶל אַבְרָ֑ם
│ ├── [0-2] GLUE וַ/יֹּ֥אמֶר מֶֽלֶךְ סְדֹ֖ם (tifcha, rank=2)
│ └── [3-4] GLUE אֶל אַבְרָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) תֶּן לִ֣/י הַ/נֶּ֔פֶשׁ וְ/הָ/רְכֻ֖שׁ קַֽח לָֽ/ךְ
├── [5-7] GLUE תֶּן לִ֣/י הַ/נֶּ֔פֶשׁ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/הָ/רְכֻ֖שׁ קַֽח לָֽ/ךְ
├── [8] וְ/הָ/רְכֻ֖שׁ (tifcha, rank=2)
└── [9-10] GLUE קַֽח לָֽ/ךְ (silluq (verse-end emperor), rank=1)
Gen.14.22 · parser unique · 14 words
PHRASE (binary 14w) וַ/יֹּ֥אמֶר אַבְרָ֖ם אֶל מֶ֣לֶךְ סְדֹ֑ם הֲרִימֹ…
├── PHRASE (binary 5w) וַ/יֹּ֥אמֶר אַבְרָ֖ם אֶל מֶ֣לֶךְ סְדֹ֑ם
│ ├── [0-1] GLUE וַ/יֹּ֥אמֶר אַבְרָ֖ם (tifcha, rank=2)
│ └── [2-4] GLUE אֶל מֶ֣לֶךְ סְדֹ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) הֲרִימֹ֨תִי יָדִ֤/י אֶל יְהוָה֙ אֵ֣ל עֶלְי֔וֹן …
├── PHRASE (binary 6w) הֲרִימֹ֨תִי יָדִ֤/י אֶל יְהוָה֙ אֵ֣ל עֶלְי֔וֹן
│ ├── [5-8] GLUE הֲרִימֹ֨תִי יָדִ֤/י אֶל יְהוָה֙ (pashta, rank=3)
│ └── [9-10] GLUE אֵ֣ל עֶלְי֔וֹן (zaqef qatan, rank=2)
└── PHRASE (binary 3w) קֹנֵ֖ה שָׁמַ֥יִם וָ/אָֽרֶץ
├── [11] קֹנֵ֖ה (tifcha, rank=2)
└── [12-13] GLUE שָׁמַ֥יִם וָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.14.23 · parser unique · 16 words
PHRASE (binary 16w) אִם מִ/חוּט֙ וְ/עַ֣ד שְׂרֽוֹךְ נַ֔עַל וְ/אִם אֶ…
├── PHRASE (binary 10w) אִם מִ/חוּט֙ וְ/עַ֣ד שְׂרֽוֹךְ נַ֔עַל וְ/אִם אֶ…
│ ├── PHRASE (binary 5w) אִם מִ/חוּט֙ וְ/עַ֣ד שְׂרֽוֹךְ נַ֔עַל
│ │ ├── [0-1] GLUE אִם מִ/חוּט֙ (pashta, rank=3)
│ │ └── [2-4] GLUE וְ/עַ֣ד שְׂרֽוֹךְ נַ֔עַל (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/אִם אֶקַּ֖ח מִ/כָּל אֲשֶׁר לָ֑/ךְ
│ ├── [5-6] GLUE וְ/אִם אֶקַּ֖ח (tifcha, rank=2)
│ └── [7-9] GLUE מִ/כָּל אֲשֶׁר לָ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וְ/לֹ֣א תֹאמַ֔ר אֲנִ֖י הֶעֱשַׁ֥רְתִּי אֶת אַבְר…
├── [10-11] GLUE וְ/לֹ֣א תֹאמַ֔ר (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אֲנִ֖י הֶעֱשַׁ֥רְתִּי אֶת אַבְרָֽם
├── [12] אֲנִ֖י (tifcha, rank=2)
└── [13-15] GLUE הֶעֱשַׁ֥רְתִּי אֶת אַבְרָֽם (silluq (verse-end emperor), rank=1)
Gen.14.24 · parser unique · 16 words
PHRASE (binary 16w) בִּלְעָדַ֗/י רַ֚ק אֲשֶׁ֣ר אָֽכְל֣וּ הַ/נְּעָרִ֔…
├── PHRASE (binary 10w) בִּלְעָדַ֗/י רַ֚ק אֲשֶׁ֣ר אָֽכְל֣וּ הַ/נְּעָרִ֔…
│ ├── PHRASE (binary 5w) בִּלְעָדַ֗/י רַ֚ק אֲשֶׁ֣ר אָֽכְל֣וּ הַ/נְּעָרִ֔…
│ │ ├── [0] בִּלְעָדַ֗/י (revia, rank=3)
│ │ └── PHRASE (binary 4w) רַ֚ק אֲשֶׁ֣ר אָֽכְל֣וּ הַ/נְּעָרִ֔ים
│ │ ├── [1] רַ֚ק (yetiv, rank=3)
│ │ └── [2-4] GLUE אֲשֶׁ֣ר אָֽכְל֣וּ הַ/נְּעָרִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/חֵ֨לֶק֙ הָֽ/אֲנָשִׁ֔ים אֲשֶׁ֥ר הָלְכ֖וּ אִתּ…
│ ├── PHRASE (binary 2w) וְ/חֵ֨לֶק֙ הָֽ/אֲנָשִׁ֔ים
│ │ ├── [5] וְ/חֵ֨לֶק֙ (pashta, rank=3)
│ │ └── [6] הָֽ/אֲנָשִׁ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֥ר הָלְכ֖וּ אִתִּ֑/י
│ ├── [7-8] GLUE אֲשֶׁ֥ר הָלְכ֖וּ (tifcha, rank=2)
│ └── [9] אִתִּ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) עָנֵר֙ אֶשְׁכֹּ֣ל וּ/מַמְרֵ֔א הֵ֖ם יִקְח֥וּ חֶל…
├── PHRASE (binary 3w) עָנֵר֙ אֶשְׁכֹּ֣ל וּ/מַמְרֵ֔א
│ ├── [10] עָנֵר֙ (pashta, rank=3)
│ └── [11-12] GLUE אֶשְׁכֹּ֣ל וּ/מַמְרֵ֔א (zaqef qatan, rank=2)
└── PHRASE (binary 3w) הֵ֖ם יִקְח֥וּ חֶלְקָֽ/ם
├── [13] הֵ֖ם (tifcha, rank=2)
└── [14-15] GLUE יִקְח֥וּ חֶלְקָֽ/ם (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_30_war_of_kings — The war of the kings: the annal, the rescue, the priest, the refused spoils (14:1-24) [frozen]
final state: WORLD=[] (+23 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install', 'read_before_install']
=== S1 — The coalition musters: after STEP_Gn_14_1_3
כָּל־אֵלֶּה חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים (kol-eleh chavru el-emeq ha-sidim)
PASS Facts chavru HOLD (1 facts)
PASS Facts yam-ha-melach HOLD (1 facts)
PASS flags shinar/elasar/elam/sedom/amora/admah/tzevoyim/tzoar/emeq_ha_sidim/yam_ha_melach as read-before-install (flagged=['admah', 'amora', 'elam', 'elasar', 'emeq_ha_sidim', 'sedom', 'shinar', 'tzevoyim', 'tzoar', 'yam_ha_melach'])
PASS SPECS empty. (queue=0)
=== S2 — The clock and the sweep: after STEP_Gn_14_4_7
שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ … וּשְׁלֹשׁ־עֶשְׂרֵה שָׁנָה מָרָדוּ (shtem esreh shanah avdu … u-shelosh-esreh shanah maradu)
PASS Facts avdu-maradu HOLD (2 facts)
PASS flags ashterot_qarnayim/ham/shaveh_qiryatayim/har_seir/el_paran/en_mishpat_qadesh/chatzetzon_tamar as read-before-install (flagged=['admah', 'amora', 'ashterot_qarnayim', 'chatzetzon_tamar', 'el_paran', 'elam', 'elasar', 'emeq_ha_sidim', 'en_mishpat_qadesh', 'ham', 'har_seir', 'sedom', 'shaveh_qiryatayim', 'shinar', 'tzevoyim', 'tzoar', 'yam_ha_melach'])
PASS SPECS empty. (queue=0)
=== S3 — The battle, the pits, the plunder: after STEP_Gn_14_8_11
אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה (arbaah melakhim et-ha-chamishah)
PASS Facts arbaah-melakhim HOLD (4 facts)
PASS Facts beerot-chemar HOLD (4 facts)
PASS SPECS empty. (queue=0)
=== S4 — Lot taken with the goods: after STEP_Gn_14_12
וְהוּא יֹשֵׁב בִּסְדֹם (ve-hu yoshev bi-sedom)
PASS Facts yoshev-bi-sedom HOLD (5 facts)
PASS SPECS empty. (queue=0)
=== S5 — The Hebrew and the covenant-masters: after STEP_Gn_14_13
וְהֵם בַּעֲלֵי בְרִית־אַבְרָם (ve-hem baalei verit-avram)
PASS Facts baalei-verit HOLD (6 facts)
PASS no test, no name. (tests=0 names=0)
=== S6 — Everything back before anyone asks: after STEP_Gn_14_16
וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ … הֵשִׁיב (va-yashev et kol-ha-rekhush … heshiv)
PASS Facts shmonah-asar HOLD (7 facts)
PASS SPECS empty. (queue=0)
=== S7 — The priest of El Elyon: after STEP_Gn_14_18
וְהוּא כֹהֵן לְאֵל עֶלְיוֹן (ve-hu khohen le-el elyon)
PASS Facts khohen-elyon HOLD (8 facts)
PASS no test, no name. (tests=0 names=0)
=== S8 — Two blessings and a hidden-handed tenth: after STEP_Gn_14_20
בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן (barukh avram le-el elyon)
PASS Facts barukh-avram HOLD (10 facts)
PASS Facts miggen-tzarekha HOLD (10 facts)
PASS SPECS empty. (queue=0)
=== S9 — The king's pair pushed: after STEP_Gn_14_21
תֶּן־לִי הַנֶּפֶשׁ וְהָרְכֻשׁ קַח־לָךְ (ten-li ha-nefesh ve-ha-rekhush qach-lakh)
PASS LET(ten(avram, ha_nefesh)) pushed and OPEN (queue=['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)'])
PASS LET(qach(avram, ha_rekhush)) pushed and OPEN. (queue=['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)'])
=== S10 — Refused aloud, open on the books: after STEP_Gn_14_24
הֲרִימֹתִי יָדִי אֶל־יְהוָה … הֵם יִקְחוּ חֶלְקָם (harimoti yadi el-YHWH … hem yiqchu chelqam)
PASS LET(ten(avram, ha_nefesh)) pushed and OPEN (queue=['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)', 'yiqchu(aner_eshkol_mamre, chelqam)'])
PASS LET(qach(avram, ha_rekhush)) pushed and OPEN (queue=['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)', 'yiqchu(aner_eshkol_mamre, chelqam)'])
PASS LET(yiqchu(aner_eshkol_mamre, chelqam)) pushed and OPEN (queue=['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)', 'yiqchu(aner_eshkol_mamre, chelqam)'])
PASS Facts harimoti-yadi HOLD (14 facts)
PASS Facts im-mi-chut HOLD (14 facts)
PASS no test, no name (tests=0 names=0)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S11_negative — Negative: the LET? contract guard
קַח־לָךְ (qach-lakh)
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_30_war_of_kings — 14:1-24
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_30_war_of_kings.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 war of the kings: the annal, the rescue, the priest, the refused spoils (14:1-24)"""
from machine import Machine
m = Machine("gen_30_war_of_kings")
# -------------------------- Gen.14.1 · THE_COALITION_AND_THE_VALE ----------
# וַיְהִי בִּימֵי אַמְרָפֶל מֶלֶךְ־שִׁנְעָר אַרְיוֹךְ מֶלֶךְ אֶלָּסָר
# כְּדָרְלָעֹמֶר מֶלֶךְ עֵילָם וְתִדְעָל מֶלֶךְ גּוֹיִם … כָּל־אֵלֶּה
# חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים הוּא יָם הַמֶּלַח
# "[EN-AID/JPS 14:1-3] And it came to pass in the days of Amraphel king of
# Shinar, Arioch king of Ellasar, Chedorlaomer king of Elam, and Tidal king
# of Goiim, that they made war with Bera king of Sodom, and with Birsha king
# of Gomorrah, Shinab king of Admah, and Shemeber king of Zeboiim, and the
# king of Bela — the same is Zoar. All these came as allies unto the vale of
# Siddim — the same is the Salt Sea."
m.step("Gen.14.1")
# ‹עָשׂוּ מִלְחָמָה אֶת־בֶּרַע מֶלֶךְ סְדֹם› (“Esau battle obj-marker in-bad
# king Sodom”) — event: make-war — agent arbaat-the-king
m.event("make_war", agent="arbaat_ha_melakhim")
# ‹כָּל־אֵלֶּה חָבְרוּ אֶל־עֵמֶק הַשִּׂדִּים הוּא יָם הַמֶּלַח› (“all these
# join to deep the-Siddim he/it seas the-powder”) — fact holds: all-these-
# chavru-to-vale-the-Siddim-he/it-yam-the-melach
m.fact("kol_eleh_chavru_el_emeq_ha_sidim_hu_yam_ha_melach")
# reads without prior install (flag, not fix): Shinar, Ellasar, Elam, Sodom,
# Gomorrah, admah, Zeboiim, Zoar, vale-the-Siddim, yam-the-melach
m.presupposed("shinar", "elasar", "elam", "sedom", "amora", "admah", "tzevoyim", "tzoar", "emeq_ha_sidim", "yam_ha_melach")
# -------------------------- Gen.14.4 · THE_CLOCK_AND_THE_SWEEP -------------
# שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ אֶת־כְּדָרְלָעֹמֶר וּשְׁלֹשׁ־עֶשְׂרֵה
# שָׁנָה מָרָדוּ … וַיַּכּוּ אֶת־כָּל־שְׂדֵה הָעֲמָלֵקִי וְגַם אֶת־הָאֱמֹרִי
# הַיֹּשֵׁב בְּחַצְצֹן תָּמָר
# "[EN-AID/JPS 14:4-7] Twelve years they served Chedorlaomer, and in the
# thirteenth year they rebelled. And in the fourteenth year came
# Chedorlaomer and the kings that were with him, and smote the Rephaim in
# Ashteroth-karnaim, and the Zuzim in Ham, and the Emim in Shaveh-
# kiriathaim, and the Horites in their mount Seir, unto El-paran, which is
# by the wilderness. And they turned back, and came to En-mishpat — the same
# is Kadesh — and smote all the country of the Amalekites, and also the
# Amorites, that dwelt in Hazazon-tamar."
m.step("Gen.14.4")
# ‹שְׁתֵּים עֶשְׂרֵה שָׁנָה עָבְדוּ … וּשְׁלֹשׁ־עֶשְׂרֵה שָׁנָה מָרָדוּ›
# (“two -teen years work/serve … and-three -teen years rebel”) — fact holds:
# shtem--teen-year-work/serve-obj-marker-Chedorlaomer-and-three--teen-rebel
m.fact("shtem_esreh_shanah_avdu_et_kedarlaomer_u_shelosh_esreh_maradu")
# ‹וַיַּכּוּ אֶת־רְפָאִים … וְאֶת־הַזּוּזִים … וְאֵת הָאֵימִים …
# וְאֶת־הַחֹרִי … אֶת־כָּל־שְׂדֵה הָעֲמָלֵקִי וְגַם אֶת־הָאֱמֹרִי› (“and-
# strike obj-marker Rapha' … and-obj-marker the-Zuzites … and-obj-marker
# the-Emims … and-obj-marker the-Chorite … obj-marker all field the-
# Amalekite and-also obj-marker the-Emorite”) — event: strike — agent
# Chedorlaomer-and-the-king; theme refaim-zuzim-emim-chori-amaleqi-Emorite
m.event("strike", agent="kedarlaomer_ve_ha_melakhim", themes=["refaim_zuzim_emim_chori_amaleqi_emori"])
# reads without prior install (flag, not fix): ashterot-qarnayim, ham,
# shaveh-qiryatayim, har-seir, to-paran, en-mishpat-qadesh, chatzetzon-tamar
m.presupposed("ashterot_qarnayim", "ham", "shaveh_qiryatayim", "har_seir", "el_paran", "en_mishpat_qadesh", "chatzetzon_tamar")
# -------------------------- Gen.14.8 · THE_BATTLE_THE_PITS_THE_PLUNDER -----
# וַיֵּצֵא מֶלֶךְ־סְדֹם … וַיַּעַרְכוּ אִתָּם מִלְחָמָה בְּעֵמֶק הַשִּׂדִּים
# … אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה … וַיִּקְחוּ אֶת־כָּל־רְכֻשׁ סְדֹם
# וַעֲמֹרָה וְאֶת־כָּל־אָכְלָם וַיֵּלֵכוּ
# "[EN-AID/JPS 14:8-11] And there went out the king of Sodom... and they set
# the battle in array against them in the vale of Siddim; against
# Chedorlaomer... four kings against the five. Now the vale of Siddim was
# full of slime pits; and the kings of Sodom and Gomorrah fled, and they
# fell there, and they that remained fled to the mountain. And they took all
# the goods of Sodom and Gomorrah, and all their victuals, and went their
# way."
m.step("Gen.14.8")
# ‹וַיַּעַרְכוּ אִתָּם מִלְחָמָה› (“and-set-in-a-row with-them/their
# battle”) — event: array-battle — agent chameshet-the-king
m.event("array_battle", agent="chameshet_ha_melakhim")
# ‹אַרְבָּעָה מְלָכִים אֶת־הַחֲמִשָּׁה … וְעֵמֶק הַשִׂדִּים בֶּאֱרֹת
# בֶּאֱרֹת חֵמָר› (“four king obj-marker the-five … and-vale the-Siddim pit
# pit male-ass”) — fact holds: four-king-obj-marker-the-chamishah; vale-the-
# Siddim-beerot-beerot-chemar
m.fact("arbaah_melakhim_et_ha_chamishah",
"emeq_ha_sidim_beerot_beerot_chemar")
# ‹וַיָּנֻסוּ מֶלֶךְ־סְדֹם וַעֲמֹרָה וַיִּפְּלוּ־שָׁמָּה› (“and-flit king
# Sodom and-Gomorrah and-fall there-ward”) — event: flee — agent king-Sodom-
# and-amorah
m.event("flee", agent="melekh_sedom_va_amorah")
# ‹וַיִּקְחוּ אֶת־כָּל־רְכֻשׁ סְדֹם וַעֲמֹרָה וְאֶת־כָּל־אָכְלָם וַיֵּלֵכוּ›
# (“and-take obj-marker all lay-up Sodom and-Gomorrah and-obj-marker all
# food-them/their and-go”) — event: take — agent arbaat-the-king; theme all-
# property-Sodom-and-amorah
m.event("take", agent="arbaat_ha_melakhim", themes=["kol_rekhush_sedom_va_amorah"])
# reads without prior install (flag, not fix): Gentile-land
m.presupposed("goyim_land")
# -------------------------- Gen.14.12 · THE_TAKING_OF_LOT ------------------
# וַיִּקְחוּ אֶת־לוֹט וְאֶת־רְכֻשׁוֹ בֶּן־אֲחִי אַבְרָם וַיֵּלֵכוּ וְהוּא
# יֹשֵׁב בִּסְדֹם
# "And they took Lot, Abram's brother's son, who dwelt in Sodom, and his
# goods, and departed."
m.step("Gen.14.12")
# ‹וַיִּקְחוּ אֶת־לוֹט וְאֶת־רְכֻשׁוֹ› (“and-take obj-marker Lot and-obj-
# marker property-him/its”) — event: take — agent arbaat-the-king; theme Lot
m.event("take", agent="arbaat_ha_melakhim", themes=["lot"])
# ‹וְהוּא יֹשֵׁב בִּסְדֹם› (“and-he/it dwell/sit in-Sodom”) — fact holds:
# and-he/it-dwell/sit-bi-Sodom
m.fact("ve_hu_yoshev_bi_sedom")
# -------------------------- Gen.14.13 · THE_REFUGEE_AND_THE_HEBREW ---------
# וַיָּבֹא הַפָּלִיט וַיַּגֵּד לְאַבְרָם הָעִבְרִי וְהוּא שֹׁכֵן בְּאֵלֹנֵי
# מַמְרֵא הָאֱמֹרִי אֲחִי אֶשְׁכֹּל וַאֲחִי עָנֵר וְהֵם בַּעֲלֵי
# בְרִית־אַבְרָם
# "And there came one that had escaped, and told Abram the Hebrew — now he
# dwelt by the terebinths of Mamre the Amorite, brother of Eshcol, and
# brother of Aner; and these were confederate with Abram."
m.step("Gen.14.13")
# ‹וַיָּבֹא הַפָּלִיט› (“and-come/bring the-refugee”) — event: come — agent
# the-refugee
m.event("come", agent="ha_palit")
# ‹וַיַּגֵּד לְאַבְרָם הָעִבְרִי› (“and-tell to-Abram the-Hebrew”) — event:
# tell — agent the-refugee
m.event("tell", agent="ha_palit")
# ‹וְהֵם בַּעֲלֵי בְרִית־אַבְרָם› (“and-they master covenant Abram”) — fact
# holds: and-they-baalei-covenant-Abram
m.fact("ve_hem_baalei_verit_avram")
# -------------------------- Gen.14.14 · THE_MUSTER_OF_THE_318 --------------
# וַיִּשְׁמַע אַבְרָם כִּי נִשְׁבָּה אָחִיו וַיָּרֶק אֶת־חֲנִיכָיו יְלִידֵי
# בֵיתוֹ שְׁמֹנָה עָשָׂר וּשְׁלֹשׁ מֵאוֹת וַיִּרְדֹּף עַד־דָּן
# "And when Abram heard that his brother was taken captive, he led forth his
# trained men, born in his house, three hundred and eighteen, and pursued as
# far as Dan."
m.step("Gen.14.14")
# ‹וַיִּשְׁמַע אַבְרָם כִּי נִשְׁבָּה אָחִיו› (“and-hear Abram that
# transport-into-captivity brother-him/its”) — event: hear — agent Abram
m.event("hear", agent="avram")
# ‹וַיָּרֶק אֶת־חֲנִיכָיו יְלִידֵי בֵיתוֹ› (“and-pour-out obj-marker
# initiated-him/its born house-him/its”) — event: muster — agent Abram;
# theme chanikhav
m.event("muster", agent="avram", themes=["chanikhav"])
# ‹שְׁמֹנָה עָשָׂר וּשְׁלֹשׁ מֵאוֹת› (“number -teen and-three hundred”) —
# fact holds: chanikhav-yelidei-veito-shmonah--teen-and-three-hundred
m.fact("chanikhav_yelidei_veito_shmonah_asar_u_shelosh_meot")
# ‹וַיִּרְדֹּף עַד־דָּן› (“and-run-after-gone-by) until Daniel”) — event:
# pursue — agent Abram
m.event("pursue", agent="avram")
# reads without prior install (flag, not fix): Daniel
m.presupposed("dan")
# -------------------------- Gen.14.15 · THE_NIGHT_SPLIT --------------------
# וַיֵּחָלֵק עֲלֵיהֶם לַיְלָה הוּא וַעֲבָדָיו וַיַּכֵּם וַיִּרְדְּפֵם
# עַד־חוֹבָה אֲשֶׁר מִשְּׂמֹאל לְדַמָּשֶׂק
# "And he divided himself against them by night, he and his servants, and
# smote them, and pursued them unto Hobah, which is on the left hand of
# Damascus."
m.step("Gen.14.15")
# ‹וַיֵּחָלֵק עֲלֵיהֶם לַיְלָה› (“and-be-smooth over-them/their night”) —
# event: split — agent Abram-and-avadav
m.event("split", agent="avram_va_avadav")
# ‹וַיַּכֵּם› (“and-strike-them/their”) — event: strike — agent Abram-and-
# avadav
m.event("strike", agent="avram_va_avadav")
# ‹וַיִּרְדְּפֵם עַד־חוֹבָה אֲשֶׁר מִשְּׂמֹאל לְדַמָּשֶׂק› (“and-run-after-
# gone-by)-them/their until Hobah which from-dark to-Damascus”) — event:
# pursue — agent Abram-and-avadav
m.event("pursue", agent="avram_va_avadav")
# reads without prior install (flag, not fix): chovah, Damascus
m.presupposed("chovah", "damaseq")
# -------------------------- Gen.14.16 · THE_BRINGING_BACK ------------------
# וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ וְגַם אֶת־לוֹט אָחִיו וּרְכֻשׁוֹ הֵשִׁיב וְגַם
# אֶת־הַנָּשִׁים וְאֶת־הָעָם
# "And he brought back all the goods, and also brought back his brother Lot,
# and his goods, and the women also, and the people."
m.step("Gen.14.16")
# ‹וַיָּשֶׁב אֵת כָּל־הָרְכֻשׁ … הֵשִׁיב› (“and-return obj-marker all the-
# property … return”) — event: bring-back — agent Abram; theme all-the-
# property-and-Lot-and-the-woman-and-the-people
m.event("bring_back", agent="avram", themes=["kol_ha_rekhush_ve_lot_ve_ha_nashim_ve_ha_am"])
# -------------------------- Gen.14.17 · THE_KINGS_MEETING ------------------
# וַיֵּצֵא מֶלֶךְ־סְדֹם לִקְרָאתוֹ אַחֲרֵי שׁוּבוֹ מֵהַכּוֹת
# אֶת־כְּדָרלָעֹמֶר וְאֶת־הַמְּלָכִים אֲשֶׁר אִתּוֹ אֶל־עֵמֶק שָׁוֵה הוּא
# עֵמֶק הַמֶּלֶךְ
# "And the king of Sodom went out to meet him, after his return from the
# slaughter of Chedorlaomer and the kings that were with him, at the vale of
# Shaveh — the same is the King's Vale."
m.step("Gen.14.17")
# ‹וַיֵּצֵא מֶלֶךְ־סְדֹם לִקְרָאתוֹ› (“and-bring-forth king Sodom to-
# encountering-him/its”) — event: go-out — agent king-Sodom
m.event("go_out", agent="melekh_sedom")
# reads without prior install (flag, not fix): vale-shaveh
m.presupposed("emeq_shaveh")
# -------------------------- Gen.14.18 · BREAD_WINE_AND_A_PRIEST ------------
# וּמַלְכִּי־צֶדֶק מֶלֶךְ שָׁלֵם הוֹצִיא לֶחֶם וָיָיִן וְהוּא כֹהֵן לְאֵל
# עֶלְיוֹן
# "And Melchizedek king of Salem brought forth bread and wine; and he was
# priest of God the Most High."
m.step("Gen.14.18")
# ‹הוֹצִיא לֶחֶם וָיָיִן› (“bring-forth food and-wine”) — event: bring-out —
# agent I-Melchizedek; theme food-and-wine
m.event("bring_out", agent="malki_tzedeq", themes=["lechem_va_yayin"])
# ‹וְהוּא כֹהֵן לְאֵל עֶלְיוֹן› (“and-he/it priest to-God Most-High”) — fact
# holds: and-he/it-priest-to-to-Most-High
m.fact("ve_hu_khohen_le_el_elyon")
# reads without prior install (flag, not fix): Salem
m.presupposed("shalem")
# -------------------------- Gen.14.19 · THE_BLESSING_OF_ABRAM --------------
# וַיְבָרְכֵהוּ וַיֹּאמַר בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן קֹנֵה שָׁמַיִם
# וָאָרֶץ
# "And he blessed him, and said: 'Blessed be Abram of God Most High, Maker
# of heaven and earth;"
m.step("Gen.14.19")
# ‹וַיְבָרְכֵהוּ› (“and-bless-him/its”) — blessing: I-Melchizedek blesses
# Abram
m.bless("malki_tzedeq", "avram")
# ‹בָּרוּךְ אַבְרָם לְאֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ› (“bless Abram to-
# God Most-High possessor heavens and-earth”) — fact holds: bless-Abram-to-
# to-Most-High-qoneh-heavens-and-earth
m.fact("barukh_avram_le_el_elyon_qoneh_shamayim_va_aretz")
# -------------------------- Gen.14.20 · THE_BLESSING_OF_EL_ELYON_AND_THE_TENTH -
# וּבָרוּךְ אֵל עֶלְיוֹן אֲשֶׁר־מִגֵּן צָרֶיךָ בְּיָדֶךָ וַיִּתֶּן־לוֹ
# מַעֲשֵׂר מִכֹּל
# "and blessed be God the Most High, who hath delivered thine enemies into
# thy hand.' And he gave him a tenth of all."
m.step("Gen.14.20")
# ‹וּבָרוּךְ אֵל עֶלְיוֹן› (“and-bless strength Most-High”) — blessing:
# I-Melchizedek blesses to-Most-High
m.bless("malki_tzedeq", "el_elyon")
# ‹אֲשֶׁר־מִגֵּן צָרֶיךָ בְּיָדֶךָ› (“which shield narrow-you/your in-hand-
# you/your”) — fact holds: which-miggen-tzarekha-in-yadekha
m.fact("asher_miggen_tzarekha_be_yadekha")
# ‹וַיִּתֶּן־לוֹ מַעֲשֵׂר מִכֹּל› (“and-set to-him/its tenth from-all”) —
# event: give — theme tenth-from-all
m.event("give", themes=["maaser_mi_kol"])
# -------------------------- Gen.14.21 · THE_KINGS_DEMANDS ------------------
# וַיֹּאמֶר מֶלֶךְ־סְדֹם אֶל־אַבְרָם תֶּן־לִי הַנֶּפֶשׁ וְהָרְכֻשׁ קַח־לָךְ
# "And the king of Sodom said unto Abram: 'Give me the persons, and take the
# goods to thyself.'"
m.step("Gen.14.21")
# ‹וַיֹּאמֶר מֶלֶךְ־סְדֹם אֶל־אַבְרָם› (“and-say king Sodom to Abram”) —
# event: say — agent king-Sodom
m.event("say", agent="melekh_sedom")
# ‹תֶּן־לִי הַנֶּפֶשׁ› (“set to-me/my the-living-being”) — king-Sodom speaks
# a demand — LET: set(Abram, the-living-being)
m.declare("melekh_sedom", "LET",
"ten(avram, ha_nefesh)")
# ‹וְהָרְכֻשׁ קַח־לָךְ› (“and-the-property take to-you/your”) — king-Sodom
# speaks a demand — LET: take(Abram, the-property)
m.declare("melekh_sedom", "LET",
"qach(avram, ha_rekhush)")
# -------------------------- Gen.14.22 · THE_RAISED_HAND --------------------
# וַיֹּאמֶר אַבְרָם אֶל־מֶלֶךְ סְדֹם הֲרִימֹתִי יָדִי אֶל־יְהוָה אֵל
# עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ
# "And Abram said to the king of Sodom: 'I have lifted up my hand unto the
# LORD, God Most High, Maker of heaven and earth,"
m.step("Gen.14.22")
# ‹וַיֹּאמֶר אַבְרָם אֶל־מֶלֶךְ סְדֹם› (“and-say Abram to king Sodom”) —
# event: say — agent Abram
m.event("say", agent="avram")
# ‹הֲרִימֹתִי יָדִי אֶל־יְהוָה אֵל עֶלְיוֹן קֹנֵה שָׁמַיִם וָאָרֶץ› (“rise-
# high hand-me/my to YHWH strength Most-High possessor heavens and-earth”) —
# fact holds: rise-high-yadi-to-the-LORD-to-Most-High-qoneh-heavens-and-
# earth
m.fact("harimoti_yadi_el_YHWH_el_elyon_qoneh_shamayim_va_aretz")
# -------------------------- Gen.14.23 · THE_THREAD_AND_THE_THONG -----------
# אִם־מִחוּט וְעַד שְׂרוֹךְ־נַעַל וְאִם־אֶקַּח מִכָּל־אֲשֶׁר־לָךְ וְלֹא
# תֹאמַר אֲנִי הֶעֱשַׁרְתִּי אֶת־אַבְרָם
# "that I will not take a thread nor a shoe-latchet nor aught that is thine,
# lest thou shouldest say: I have made Abram rich;"
m.step("Gen.14.23")
# ‹אִם־מִחוּט וְעַד שְׂרוֹךְ־נַעַל וְאִם־אֶקַּח … וְלֹא תֹאמַר אֲנִי
# הֶעֱשַׁרְתִּי אֶת־אַבְרָם› (“if from-string and-until thong sandal-tongue
# and-if take … and-not say accumulate obj-marker Abram”) — fact holds: if-
# from-string-and-until-thong-sandal-tongue-and-if-take-from-all-which-to-
# you; and-not-say-ani-accumulate-obj-marker-Abram
m.fact("im_mi_chut_ve_ad_serokh_naal_ve_im_eqach_mi_kol_asher_lakh",
"ve_lo_tomar_ani_heesharti_et_avram")
# -------------------------- Gen.14.24 · THE_EXCEPTION_AND_THE_PORTION ------
# בִּלְעָדַי רַק אֲשֶׁר אָכְלוּ הַנְּעָרִים וְחֵלֶק הָאֲנָשִׁים אֲשֶׁר
# הָלְכוּ אִתִּי עָנֵר אֶשְׁכֹּל וּמַמְרֵא הֵם יִקְחוּ חֶלְקָם
# "save only that which the young men have eaten, and the portion of the men
# which went with me, Aner, Eshcol, and Mamre, let them take their
# portion.'"
m.step("Gen.14.24")
# ‹בִּלְעָדַי רַק אֲשֶׁר אָכְלוּ הַנְּעָרִים› (“except-me/my leanness which
# eat the-boy”) — fact holds: biladai-leanness-which-eat-the-boy
m.fact("biladai_raq_asher_akhlu_ha_nearim")
# ‹עָנֵר אֶשְׁכֹּל וּמַמְרֵא הֵם יִקְחוּ חֶלְקָם› (“Aner Eshcol and-Mamre
# they take smoothness-them/their”) — Abram speaks a demand — LET:
# take(Aner-Eshcol-Mamre, chelqam)
m.declare("avram", "LET",
"yiqchu(aner_eshkol_mamre, chelqam)")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'yam_ha_melach', 'tzevoyim', 'goyim_land', 'emeq_shaveh', 'emeq_ha_sidim', 'shinar', 'dan', 'en_mishpat_qadesh', 'amora', 'elam', 'tzoar', 'elasar', 'chatzetzon_tamar', 'shaveh_qiryatayim', 'damaseq', 'har_seir', 'sedom', 'ham', 'admah', 'ashterot_qarnayim', 'chovah', 'shalem', 'el_paran'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == ['ten(avram, ha_nefesh)', 'qach(avram, ha_rekhush)', 'yiqchu(aner_eshkol_mamre, chelqam)']
assert len(m.SPECS["log"]) == 3
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 23}
assert sorted(m.WORLD["facts"]) == sorted(['kol_eleh_chavru_el_emeq_ha_sidim_hu_yam_ha_melach', 'shtem_esreh_shanah_avdu_et_kedarlaomer_u_shelosh_esreh_maradu', 'arbaah_melakhim_et_ha_chamishah', 'emeq_ha_sidim_beerot_beerot_chemar', 've_hu_yoshev_bi_sedom', 've_hem_baalei_verit_avram', 'chanikhav_yelidei_veito_shmonah_asar_u_shelosh_meot', 've_hu_khohen_le_el_elyon', 'barukh_avram_le_el_elyon_qoneh_shamayim_va_aretz', 'asher_miggen_tzarekha_be_yadekha', 'harimoti_yadi_el_YHWH_el_elyon_qoneh_shamayim_va_aretz', 'im_mi_chut_ve_ad_serokh_naal_ve_im_eqach_mi_kol_asher_lakh', 've_lo_tomar_ani_heesharti_et_avram', 'biladai_raq_asher_akhlu_ha_nearim'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 25
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")