Sarah's death and the Machpelah purchase (23:1-20) FROZEN
גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם תְּנוּ לִי אֲחֻזַּת־קֶבֶר · ger-ve-toshav anokhi imakhem tenu li achuzat-qever · 'A stranger and a settler am I with you: give me a burial-holding'
Derivation from the Hebrew letter (DB snapshot source-snapshot.sqlite) with the frozen corpus gen_01..gen_38 as precedent; every frozen quote verified against the frozen YAML this session; censuses run fresh against the snapshot + debut map. JPS 1917 as English aid only.
DERIVATION RECORD — freeze-era draft note: DRAFT by the gen-7 block agent (third unit of its tenure; mechanics only; never freezes, never commits, never amends). Span per the coordinator-ratified pre-stage (this agent's own): ONE UNIT Gen 23:1-20, PER-VERSE x20, seam at 24:1. THE STANDING POLICY APPLIED THROUGHOUT (owner, 2026-08-05: unresolvable weighs stay OPEN): every owner-grade fork below is encoded SAFE, staged BOLD, and filed OPEN — no ruling is requested and none is awaited. THE DRAFT'S FLAGGED CHOICES (ratify-or-reverse, per flag): (1) NAME CHOICE: gen_39_machpelah_purchase. Alternatives: gen_39_sarah_death_machpelah, gen_39_hear_me_field. (2) TWO SETTLED-CYCLE CANDIDATES, CONTINGENT NUMBERING [per the coordinator's exact formula; numbering for main-loop record, NOT resolved here]: CYCLE A — 23:15's SHEMAENI ('HEAR me' — Efron's price-round imperative, demand-string shemaeni(adoni)) is POPPED at 23:16's VA-YISHMA avraham el-efron ('and Abraham HEEDED Efron') — the demand's own ROOT AND STEM (qal shama), foreground narrative, BY THE DEMANDEE: the echo-receipt standard whole. Label: "cycle #15-or-#16, contingent on the crown ruling." CYCLE B — 23:11's QEVOR et-metekha ('BURY your dead' — Efron's offer-imperative, the gen_29/36 offer-class) is POPPED at 23:19's QAVAR avraham et-sarah ishto — root and stem (qal qavar), foreground, by the demandee, and the OBJECT MATCHES (metekha 'your dead' = Sarah his dead — no substitution question arises). Label: "cycle #16-or-#17, contingent on the crown ruling." Both pops attested per frozen gen_35's flag-19 idiom (the RESULT executes; the scenarios re-assert every remaining open — S9 lists seven, S10 lists six; the preflight's printed SPECS count is the public receipt). (3) THE SIX OPEN DEMANDS ARE THE NEGOTIATION'S GAP-MAP [the unit's reading; each open is letter-meaningful]: (i) LET(tenu(achuzat_qever)) — the opening give-demand on the Chet-sons: the transfer completes at 23:17/20 in ANOTHER VERB (the legal qum — 'the field AROSE to Abraham'): the other-verb class (frozen gen_37's law) extended to a conveyance-formula; (ii) LET(shemaenu(adoni)) — the sons' hear-us: answered in BOWING (23:7), never in a hear-verb; (iii) LET(qevor(be_mivchar_qevareinu)) — the their-graves offer: REFUSED by the letter's own arc (Abraham buys his own; the open entry is the refusal); (iv) LET(shimuni_u_figu(be_efron)) — the entreaty-compound: BYPASSED — Efron sat among them and answered for himself (23:10): the intercession was never performed; (v) LET(shemaeni(lo_adoni)) — Efron's gift-round hear-me: the gift-plea DECLINED (Abraham insists on paying); (vi) LET(qach(kesef_ha_sadeh)) — take-my-silver: the letter never narrates Efron TAKING — the payment completes in the PAYER'S verb (va-yishqol 'he weighed'): the seller's hand is unwritten. SIX opens, each one a gap the letter kept; the machine keeps them too. (4) THE ENTREATY IS A COMPOUND PAIR: 23:8's SHEMAUNI U-FIGU-li ('hear me and ENTREAT for me') — two volitives, one breath, one addressee = ONE demand (the sa_u_ree compound class; frozen gen_31's habet_u_sefor the nearest shape). The bypass (Efron answering unbidden) is the chapter's quiet comedy [prose]. (5) THE LU-WRAPPED IMPERATIVE IS A WISH-FACT: 23:13's akh im-atah LU shemaeni ('if only you would HEAR me') — the imperative rides inside the wish-particle's frame: the lu-class (frozen gen_31 flag 5, extended gen_33 — wishes push nothing) governs; NO push. LU tokens 1-2 are BOTH Abraham's (17:18's lu-yishmael, 23:13) — the corpus's first two if-onlys: a father's for a son's life, a buyer's for a seller's ear [census-exact]. (6) THE MEDIATED JUSSIVES ARE CONTENT-FACTS [SAFE], THE MEDIATED-LET STAGED [BOLD, OPEN per the standing policy]: 23:9's ve-YITEN li... YITNENAH li ('that he may GIVE me... let him give it') — 3ms jussives about Efron spoken TO the sons: encoded as the entreaty-demand's CONTENT (facts); the bold alternative — a mediated LET on Efron through the assembly (the 1:3 yehi-class is the 3ms-jussive push's origin) — is staged verbatim and filed OPEN. (7) THE RE-SOUNDED DEMAND IS A FACT [SAFE], THE RE-PUSH STAGED [BOLD, OPEN]: 23:15's closing VE-ET-METKHA QEVOR repeats 23:11's standing open imperative VERBATIM in the price-frame: no re-push operator exists and none is invented — the re-sound is held as fact beside the open entry; the alternative (a second push with a distinct frame-string) is staged. The pop at 23:19 pays the ONE standing entry. (8) THE OFFER-IMPERATIVE CLASS CARRIES THE QEVOR-PUSHES: 'bury your dead' is a grant in the imperative — frozen law (gen_29's 13:9 hipared, quoted at frozen gen_36: 'the parting-OFFER pushed and popped as cycle #7'; gen_36's shev the second token): the sons' choice-graves offer and Efron's field-offer both push. (9) THE REGISTRY SLEEPS THROUGH TWO NAME-GLOSSES: no naming formula fires in the chapter — ZERO writes, ZERO patterns — while the letter twice glosses a name in apposition (qiryat arba HI chevron, 23:2/19: 'Qiryat-arba, THAT IS Chevron' — the identification-apposition class, gen_30's Bela-that-is- Tzoar shape): the letter glosses, never names [prose]. QIRYAT-ARBA debuts; its ONLY other Torah token is 35:27 — Jacob arriving to his dying father at the same address: the city-name exists at the two patriarch death-scenes [census-exact]. (10) PRESUPPOSED READS: chevron (token 1 = 13:18, frozen gen_29's install-span) and mamre (frozen geography) are READ; eretz_kenaan is NOT flagged — the later ratified practice (gen_32's 16:3 passed review unflagged; gen_33 followed and said so) governs, with frozen gen_29's older roster (' eretz_kenaan, mamre, chevron are READ without prior install') noted politely: the era's convention narrowed and this draft follows the narrow form [flag; both frozen tokens cited]. (11) FIVE FROZEN LANDINGS CARRIED (all quoted from frozen YAML opened this session): gen_31's pair-line LANDS WHOLE — 'ger token 2 = 23:4 — ABRAHAM's own mouth at Sarah's grave (ger ve-toshav anokhi), WITH the bury-verb beside it: QAVAR (bury) debuts at 15:15 and its tokens 2-3 are 23:4/23:6 — the decree's sojourn-and-bury pair recurs as a pair at Machpelah' [LANDED x2 — and tokens 2-9 are ALL in-span: the promise's verb spends its first narrative octave buying the promise's ground]; gen_33's achuzah line LANDS — 'ACHUZAH token 1 (17:8) — tokens 2-4 are ALL ch. 23 (Machpelah): the everlasting possession's first realized instance is a GRAVE' [LANDED — quoted, not re-derived]; gen_33's nasi line LANDS — 'token 2 is 23:6: the Chittites call ABRAHAM nesi elohim' [LANDED]; gen_37's bakhah watch LANDS ('token 2 = 23:2, Abraham weeping for Sarah'); gen_38's shaar line LANDS ('token 3 = 23:10' — and token 4 = 23:18: the gate-court frames the deed twice). Also LANDED-class: gen_33's miqnah line ('miqnah's whole debut field is persons') extends — token 5 buys LAND for the first time (23:18). (12) THE DIMINISHED NAME AT THE PAYMENT [letter-fact, he_plain-verified]: Efron is spelled plene (ayin-pe-resh- vav-nun) at every token in the chapter EXCEPT 23:16's le-efron — defective, without the vav — exactly at the verse where the silver is weighed: the name diminishes at the money. The DB's own letters carry the drop; the chain's reading of it is named-only [census-exact; prose]. (13) THE THIRD INSTRUMENT-SILENT CHAPTER: tov/shaah/tzaddiq/ nichoach ALL x0 (verified) — the TESTS register sleeps through the era's whole late arc (gen_37 -> gen_38 -> here); ZERO owner-triage contact for the third chapter running. The 15:6 weigh-triage is chashav ('reckon') — 23:16's shaqal ('weigh silver') is a different verb and a different neighborhood: stated and fenced anyway. (14) ONKELOS HEADLINES [dual-track, never merged]: (a) THE QABEL-STORM — every hear-imperative AND the narrative receipt render into the accept-family: QABEL minana (23:6), QABILU mini (23:8), QABEIL mini (23:11), QABEL mini (23:13, 23:15), and the pop itself — 23:16's va-yishma -> U-QABEL avraham min efron ('Abraham ACCEPTED from Efron') — with a SEVENTH firing on the silver (over la-socher -> MITQABEL SECHORA be-khol medinta 'ACCEPTED in trade in every province'): the listen-idiom's buffer-family (frozen gen_37's qabel minah; gen_38's qabelta le-memri) absorbs an entire legal negotiation. (b) THE QAM/QAYEM SPLIT — the legal qum stays QAM (ve-qam chaqal, 23:17/20) and the deed adds LI-ZVINOHI ('as his purchase'): the buffer keeps conveyance OUT of the qayem oath-family — property law and covenant-confirmation are two roots in the buffer's court [negative result, recorded]. (c) MAKHPELAH -> KAFELTA ('the DOUBLED one') — the identification class translates the name's etymology; (d) NESI ELOHIM -> RAV QODAM YYA ('a great one BEFORE the LORD') — kodam-distancing applied to a human honorific; (e) SHEQEL -> SILIN (selas — the currency updated to the buffer's own coin: the identification class on weights); ger ve-toshav -> dayar ve-totav (the totav-family, consistent with gen_37's itotav); achuzat- qever -> achsanat qevura (the inheritance-word); the mourning kept plain (le-mispedah... u-le-mivkah). (15) SEED-NUMBER NOTE: 275 tokens / 20 verses / 91 normalized strongs / 63 flagged VERIFIED census-exact. FOUR single-arm verses (23:5, 23:7, 23:12, 23:14 — the answer- frames and the bows: the letter's shortest verses are its courtesies) [tree fact; gen_35's flag-20 convention]. NAME-TEXTURE: the chapter carries ZERO divine-name tokens in narration — Elohim appears once, inside the Chittites' honorific (23:6): the first God-empty chapter of the era; the letter buries and buys without invoking [prose; the gen_20 name-texture class inverted]. (16) SARAH'S SILENCE-ARC AND INSTALL ROSTER [flag; the standalone convention]: Sarah token 27 is 21:12 (God's 'listen to her voice'); token 28 is 23:1's age-count — she has NO tokens between: the letter retires her at the height of being heeded, and the Aqedah chapter holds no Sarah at all [census-exact absence-arc]. Her five posthumous tokens (24:36, 24:67, 25:10, 25:12, 49:31) are all memory or grave. INSTALLS: sarah (23:1 — created for one verse of life-count and one of death: the machine has no removal operator; the register keeps her while the letter buries her [prose]), bnei_chet (23:5, the collective-voice device — gen_35's pair-install extended to an assembly), efron (23:10, first act). WORLD final = {sarah, bnei_chet, efron}. Cast note: TZOCHAR (Efron's father) is one skeleton, TWO men (23:8's Chittite; 46:10's son of Simeon) — the same-lemma class.
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; record: logic/oral_audit/AUDIT_gen_39_2026-08-08.md; manifest verified 20/20 checkable, zero FAILED, one builder-asserted manual row). CROWNS (chain-attested + DB-verified). THE MISER LOSES HIS LETTER [G39-01/02/03, Minchat Shai on 23:16; Bereshit Rabbah 58 + Shemot Rabbah 31; Kitzur]: Ephron's name stands EIGHT times in the purchase chapter — seven PLENE with vav, exactly ONE defective: לעפרן at the weighing ("Abraham weighed out TO EPHRON the silver," 23:16) — and it is the SECOND token in its own verse: full at the listening, lean at the payment; the vav drops between hearing and money inside one verse. The defective form is unique in the Torah, and the Kitzur's arithmetic rides it: עפרן lean = FOUR HUNDRED (70+80+200+50), the four hundred shekels he took; רע עין ("evil of eye") = four hundred likewise — the midrash's evil-eyed man priced into his own dropped letter. THE TEN NAMINGS OF THE SELLERS [G39-10/10b, Kitzur on 23:3]: בני חת ("the children of CHET") — exactly TEN times in the whole Torah: eight at the purchase (23:3, 5, 7, 10 twice, 16, 18, 20), two deed-echoes (25:10 at Abraham's burial, 49:32 in Jacob's charge); nine bare pairs plus the bowing-verse's prefixed tenth — the Kitzur's ten-utterances reading ("who clarifies a scholar's purchase is as one who fulfilled the Ten") censused whole. THE MIDST-WORD DIVIDES AS THE RAMAH RULES [G39-05/06, Minchat Shai on 23:9]: בתוככם ("a burial holding IN YOUR MIDST") plene with vav, TEN such in the Torah — and the only TWO defective midst-tokens are exactly the Ramah's sign-verses: "remove the foreign gods in your midst" (Gen 35:2) and the Transjordan condition (Num 32:30). THE BURY-WORD RUNS LEAN [G39-07, Minchat Shai on 23:6, the Ramah + Minchat Kohen]: every bury-form in the chapter defective (the rule that unmasked the Mikra Gedolah printer's false plene note) — and the Torah's ONE vav-written bury-form is the emphatic doubled קבור ("you shall SURELY BURY him" — the hanged man, Deut 21:23): the whole Torah buries lean except the verse that insists on burial itself. THE WITHHELD YOD OF THE DEAD [G39-04, Minchat Shai + Kitzur on 23:6]: מתך ("your DEAD") — four tokens in the Torah, all in this chapter (23:6 twice, 23:11, 23:15), ALL defective: Bereshit Rabbah's "many dead" derash rides the missing yod (the Yefeh Toar: "as if written with it") against the one plene resurrection-word — "your dead shall LIVE" (Isa 26:19; edge). THE SUN IN THE INITIALS [G39-11, Kitzur on 23:1]: שרה מאה שנה ("Sarah, a hundred years") — the three words open ש-מ-ש, the letters of שמש ("sun"): the Kitzur's seal on "the sun rises and the sun sets" — before Sarah's sun set, Rebecca's rose (her birth-notice stands one verse before the chapter). ESAU IN THE DEED [G39-12, Kitzur on 23:17]: ויקם שדה עפרון ("and the field of Ephron was ESTABLISHED") — initials ו-ש-ע, the letters of עשו ("Esau") reversed: the future contester of the cave hiding backwards in the verse that seals its purchase. THE WITHHOLD-VERB STANDS ALONE [G39-08/09, Kitzur on 23:6]: יכלה ("withhold" / "could") — three consonantal tokens in the Torah, split by pointing: the segol-pointed withhold ("none of us will WITHHOLD his grave from you," 23:6, unique) against the two qamatz could-verbs ("the land COULD not bear them," 36:7; "she COULD no longer hide him," Exod 2:3); the Kitzur's Masorah-moral: deny a grave and lack one (the failing rod, Prov 22:8; edge). THE CAVE FACES MAMRE DIRECTLY [G39-18, Minchat Shai on 23:19]: of the six Machpelah tokens in the Torah, only Sarah's burial-verse runs the cave straight onto על פני ממרא ("facing Mamre") with no אשר ("which") between — the Masorah's unique, verified by adjacency against Abraham's burial-notice (25:9) where the relative-word intervenes. MINUTIAE AS RULED [G39-13/14/15/16/17/19/20, Minchat Shai]: the lone tarsa (the postpositive ornament-accent) on ויען ("and Ephron ANSWERED," 23:10) and on ארץ ("a land of four hundred shekels," 23:15); the dageshed zayin of לאחזת ("burial HOLDING," 23:20); גר ("a STRANGER and a sojourner am I," 23:4) bare of the lengthener-stroke per the Ben Asher collation Minchat Shai confirmed in an early codex, leaning on the sojourner by maqqef; and the rise-verb's alternating accent — ויקם ("and Abraham ROSE") doubled-marked at 23:3 (stress drawn back before מעל "from before") and single-marked at the bowing (23:7), exactly per the mnemonic "at מעל — back; at the bowing — forward." INSTRUMENT GAPS: ולבכתה ("and to weep for her," 23:2) carries the SMALL KAF — the letter-size layer remains uninstrumented (the Kitzur's two readings named: he wept little, for she was old; or her own agency in her death — station note); the paseq dispute after the Name at נשיא אלהים אתה ("a prince of God are you," 23:6 — Lonzano against one ancient codex; the Yalkut-quoted Soferim "holy" ruling absent from our Soferim) — paseq uninstrumented, the holy/profane layer above the letter (station eight); חיי שרה (23:1) opens a parasha petucha (open paragraph break) — paragraph layer uninstrumented; 23:9's accent-choice splits (revia vs double geresh on ויתן לי "that he may give me"; qadma with azla (the paired ascending accents) vs wheel-and-revia on בכסף מלא "for full silver") — the accent-convention variance class, named-only. READINGS (named-only, unclaimed): R. Yitzchak's defective-ישב throne-reading at 23:10 ("that day they seated him as chief over them" — Bereshit Rabbah 58, the Zohar page named); the Kitzur's sun-juxtaposition (Rebecca born before Sarah's sun set); the ten-utterances moral; the "many dead" derash on the withheld yod.
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Source fetch + verification | Hebrew: Data/Gen.xml via the DB snapshot; pointed lines regenerated (gen_22's convention). English aid: JPS 1917. Span totals VERIFIED: 275 tokens / 20 verses / 91 normalized strongs / 63 scan-flagged [flag 15]. Onkelos Genesis 23:1-20 fetched Tier-A, sequential, 0.5s — cache MISS x20, all appended to Data/FETCHLOG.md 2026-08-05. | established |
| B | Census battery | Pre-stage scan plus ONE derive battery. THE PROMISE-PAYING FIELD: QAVAR ('bury') tokens 2-9 ALL in-span — token 1 is 15:15's TIQAVER promise (frozen gen_31's line LANDED whole, with the GER pair: 15:13's decree-noun returns in Abraham's mouth at 23:4, TOSHAV debuting beside it); token 10 = 25:9, Abraham himself into the same cave [census-exact]. QEVER ('grave'-noun) debut x5. ACHUZAH tokens 2-4 (token 1 = 17:8's everlasting-possession — frozen gen_33's line LANDED verbatim). MIQNAH token 5 — the persons-field buys LAND (gen_33's line extended). THE MONEY-FIELD: SHAQAL ('weigh') Torah debut — 2 tokens total (23:16 + Exod 22:16's bride-price: the weigh-verb's whole career is two payments); SHEQEL debut x2 (tokens 3-4: the goring-slave price, the half-shekel); KESEF tokens 7-11 (tokens 2-5 are ALL Gen 17's person-buying silver: the silver-career runs persons then land); MALE ('full') debut in the full-price formula; SOCHER ('merchant') debut; OZEN ('ear') tokens 2-4 (token 1 = 20:8's dream-report in the servants' ears, frozen gen_36's span; token 5 = 35:4's buried earrings) — the legal acts run 'in the EARS of' x3. THE MOURNING-FIELD: SAFAD ('mourn/lament') Torah debut — 2 tokens total: Sarah's funeral and Jacob's (50:10): the lament-verb exists only at the two patriarchal funerals [census-exact]; BAKHAH token 2 (frozen gen_37's watch LANDED); MUT ('die/dead') x9 in-span ('my dead' / 'your dead' passing back and forth — the negotiation's counter-word); CHAYEI SARAH — 23:1 counts 127 with shanah x4: the only matriarch whose age the letter counts; Sarah tokens 28-32 in-span, token 27 = 21:12 (the silence-arc, flag 16), posthumous tokens 33-37 all memory or grave. THE COURT-FIELD: NASI token 2 (frozen gen_33's line LANDED; tokens 3-4: the twelve fulfilled at 25:16, Shechem at 34:2); AM-HA-ARETZ ('people of the land') — the phrase's tokens 1-3 ALL in-span (23:7/12/13; token 4 = 42:6, Joseph as its master) [census-exact debut]; SHAAR tokens 3-4 (frozen gen_38's line LANDED); EFRON debut x8 (12 tokens; every out-of-span token a burial-echo: 25:9, 49:29-30, 50:13) with the DEFECTIVE spelling at 23:16 only [flag 12]; MAKHPELAH debut x3 (6 tokens; the rest are the three burial-returns); CHEVRON tokens 2-3 (token 1 = 13:18: he buys his grave where he built his third altar); QIRYAT-ARBA debut (only other token: 35:27 — the two patriarch death-scenes); TZOCHAR one-skeleton-two-men (23:8 / 46:10); SHACHAH ('bow') tokens 4-5 (the two bows to the assembly; tokens 1-3: the visitors, Lot, the Aqedah's worship-word); QUM tokens 21-24 (two bodily risings, two LEGAL risings — the conveyance-formula debut x2); LU tokens 1-2 both Abraham's (17:18 / 23:13) [flag 5]. MOOD CENSUS: FIFTEEN volitives — the era's densest field — resolving to EIGHT demands after compounding and the wish/content-fact rulings (flags 4-8): tenu; shemaenu; qevor-mivchar; shimuni_u_figu (compound); shemaeni-lo-adoni; qevor-metekha; qach; shemaeni-adoni — plus ve-eqbrah x2 (purpose- cohortatives, facts), ve-yiten/yitnenah (content-facts, flag 6), lu-shemaeni (wish-fact, flag 5). Say-tokens 6 + SPEAK (diber) x4 — the letter frames the legal rounds in the formal speak-verb; INSTRUMENT FIELD ALL-ZERO (third consecutive) [flag 13]. | established |
| C | Structure choice | PER-VERSE x20 per the ratified pre-stage. Tree anchors from mark_rank=1; FOUR single-arm verses (23:5, 23:7, 23:12, 23:14 — the answer-frames and the bows: the letter's courtesies are its shortest verses) [flag 15]. Notable thrones: 23:1's arms end shanim / sara (the count and the counted); 23:2's etnachta on kenaan, silluq on ve-livkotah ('and to WEEP for her' — the verse rests on the weeping, as 21:16 rested on va-tevk: the two weep-tokens both throne) [tree twin across units]; 23:6's etnachta on mete-kha — and 23:6/9/11/13/15/20 all rest an arm on a bury/grave/dead word: the chapter's rests are a cemetery [tree fact]; 23:9's etnachta on sade-hu, silluq on la-achuzat-qaver; 23:13's etnachta on shemae-ni (the hear-demand IS the rest), silluq on shama-ה ('THERE' — where the burying will be); 23:16's etnachta on vene-chet, silluq on la-socher (the merchant closes the payment-verse); 23:17's silluq on saviv ('round about' — the deed-roster closes on its own perimeter); 23:19's etnachta on chevron, silluq on kenaan — the burial rests on the map; 23:20's etnachta on la-achuzat-qaver (the purchase's purpose is the last rest). | established |
| D | Say-roster + speech map + name-texture | Six say-tokens and four diber-tokens, five voices in three rounds: Abraham's opening (23:4 — the ger-ve-toshav self-description and the give-demand), the sons' answer (23:6 — hear-us, the honorific, the choice-graves offer), Abraham's entreaty (23:8-9 — the compound, the mediated jussives, the full-price clause), Efron's gift-round (23:11 — hear-me, the triple performative natati), Abraham's price-insistence (23:13 — the lu-wish, the performative give, the take-demand), Efron's price-round (23:15 — hear-me, the four hundred, the what-is-that-between-us idiom, the re-sounded qevor). The letter answers each demand with a demand: the field's shape IS the bargaining. NAME-TEXTURE [flag 15]: ZERO divine-name tokens in narration — Elohim once, inside the Chittites' honorific: the era's first God-empty chapter; the letter buries and buys without invoking [prose]. | established |
| E | Onkelos read (Tier-A, dual-track) | Cache MISS x20. HEADLINE: the QABEL-STORM (flag 14a — the accept-family takes all five hear-imperatives, the narrative receipt, AND the merchant-silver: seven firings; the listen-idiom's family absorbs the whole negotiation). SECOND: the QAM/QAYEM SPLIT (flag 14b — conveyance kept OUT of the oath-family; li-zvinohi 'as his purchase' added: the buffer's own law-distinction, a negative result recorded). THIRD: KAFELTA (the Machpelah etymology translated), RAV QODAM YYA (kodam on a human honorific), SILIN (the currency updated). Repeat buffers consistent with frozen records: the totav-family on the sojourner-pair; achsanat qevura; the raava-insert at 23:8 ('if there is FAVOR in your soul'); the mourning kept plain. Deltas recorded, never merged. | established |
| F | Machine design | EIGHT demands pushed, TWO popped (cycles A and B — flag 2, contingent numbering, filed OPEN per the standing policy), SIX OPEN at close (flag 3 — the gap-map). ZERO registry writes, ZERO patterns (flag 9). THREE installs + TWO presupposed reads (flags 10, 16). TESTS: zero possible (flag 13). LEDGER: empty. TIME: t0 + t1 + t2 (the two pops' marks — the first two-pop unit since gen_35's triple). Scenario asserts designed with the facts; the pops attested per frozen gen_35's flag-19 idiom (S9 re-asserts all seven remaining; S10 all six; the printed SPECS counts 8 -> 7 -> 6 are the public receipts). | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_23_1 · Gen.23.1 · THE_LIFE_COUNT
וַיִּהְיוּ חַיֵּי שָׂרָה מֵאָה שָׁנָה וְעֶשְׂרִים שָׁנָה וְשֶׁבַע שָׁנִים שְׁנֵי חַיֵּי שָׂרָה · va-yihyu chayei sarah meah shanah ve-esrim shanah ve-sheva shanim shnei chayei sarah · [EN-AID/JPS] And the life of Sarah was a hundred and seven and twenty years; these were the years of the life of Sarah.
LEFT
ויהיו חיי שרה מאה שנה ועשרים שנה ושבע שנים · va-yihyu chaye sara mea shana ve-esrim shana ve-sheva shanim · Sarah's LIFE: a hundred years and twenty years and seven years (etnachta on shanim)
ויהיו חיי שרה מאה שנה ועשרים שנה ושבע שנים · va-yihyu chaye sara mea shana ve-esrim shana ve-sheva shanim · Sarah's LIFE: a hundred years and twenty years and seven years (etnachta on shanim)
RIGHT
שני חיי שרה · shene chaye sara · the years of Sarah's LIFE (verse-final sara — the counted closes her own count)
שני חיי שרה · shene chaye sara · the years of Sarah's LIFE (verse-final sara — the counted closes her own count)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {sarah} Sarah re-created behind the frozen walls for one verse of life-count and one of death [flag 16 — the standalone convention]: the machine has no removal operator; the register will keep her while the letter buries her [prose]. THE SILENCE-ARC [flag 16, census-exact]: her token 27 was 21:12 — God's 'listen to her voice'; token 28 is this count: NO Sarah tokens between — the letter retired her at the height of being heeded, and the binding chapter holds no Sarah at all. Her five posthumous tokens are all memory or grave (24:36, 24:67, 25:10, 25:12, 49:31) [census]. | חַיֵּי שָׂרָה · chayei sarah = chayei sarah | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(chayei_sarah_meah_ve_esrim_ve_sheva_shanim, t0) = HOLDS(chayei-sarah-hundred-and-esrim-and-seven-shanim, t0) THE ONLY MATRIARCH WHOSE AGE THE LETTER COUNTS: 127 in the three-part formula, shanah four times in one verse (tokens 102-105) — the year-word's densest verse; the verse opens AND closes on chayei sarah ('Sarah's life'): the count is framed by the life it counts [census; tree fact]. | מֵאָה שָׁנָה וְעֶשְׂרִים שָׁנָה וְשֶׁבַע שָׁנִים · meah shanah ve-esrim shanah ve-sheva shanim = hundred year and-esrim year seven shanim | — | tested |
STEP_Gn_23_2 · Gen.23.2 · THE_DEATH_AND_THE_MOURNING
וַתָּמָת שָׂרָה בְּקִרְיַת אַרְבַּע הִוא חֶבְרוֹן בְּאֶרֶץ כְּנָעַן וַיָּבֹא אַבְרָהָם לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ · va-tamat sarah be-qiryat arba hi chevron be-eretz kenaan va-yavo avraham li-sepod le-sarah ve-livkotah · [EN-AID/JPS] And Sarah died in Kiriatharba—the same is Hebron—in the land of Canaan; and Abraham came to mourn for Sarah, and to weep for her.
LEFT
ותמת שרה בקרית ארבע הוא חברון בארץ כנען · va-tamat sara be-qiryat arba hiv chevron be-eretz kenaan · Sarah DIED at Qiryat-arba — that is Chevron (etnachta on kenaan)
ותמת שרה בקרית ארבע הוא חברון בארץ כנען · va-tamat sara be-qiryat arba hiv chevron be-eretz kenaan · Sarah DIED at Qiryat-arba — that is Chevron (etnachta on kenaan)
RIGHT
ויבא אברהם לספד לשרה ולבכתה · va-yavo avraham li-sepod le-sara ve-li-vekota-ה · Abraham came to MOURN for Sarah and to WEEP for her (verse-final ve-livkotah — the weeping thrones)
ויבא אברהם לספד לשרה ולבכתה · va-yavo avraham li-sepod le-sara ve-li-vekota-ה · Abraham came to MOURN for Sarah and to WEEP for her (verse-final ve-livkotah — the weeping thrones)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | die(e1) ∧ Theme(e1, sarah) The first matriarch-death of the corpus: MUT ('die') opens a nine-token in-span run — 'my dead' and 'your dead' will pass back and forth through the whole negotiation as its counter-word [census]. QIRYAT-ARBA debuts, and the letter GLOSSES it in apposition — HI CHEVRON ('that is Chevron') — the identification- apposition class (frozen gen_30's Bela-that-is-Tzoar shape): the letter glosses, never names; the registry takes nothing [flag 9]. The city-name's ONLY other Torah token is 35:27 — Jacob arriving at his dying father's Mamre: the address exists at the two patriarch death-scenes [census-exact]. | וַתָּמָת שָׂרָה · va-tamat sarah = and-tamat sarah | TIR-014 | tested |
| EVENT | mourn_weep(e2) ∧ Agent(e2, avraham) ∧ Theme(e2, sarah) = mourn-weep(e2) ∧ Agent(e2, avraham) ∧ Theme(e2, sarah) SAFAD ('mourn/lament') — TORAH DEBUT, and the lexeme has TWO Torah tokens total: this funeral and Jacob's (50:10) — the lament-verb exists only at the two patriarchal-household funerals [census-exact]. BAKHAH ('weep') TOKEN 2 — FROZEN gen_37's watch LANDS, quoted: 'bakhah (weep) 1/29 born in Hagar (token 2 = 23:2, Abraham weeping for Sarah' [LANDED]: the weep-verb's first two tokens are a mother over a dying son and a widower over his wife — and BOTH tokens sit on their verse's final rest (21:16's va-tevk on the silluq; here ve-livkotah) [tree twin across units; census]. | לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ · li-sepod le-sarah ve-livkotah = to-me-sepod to-sarah and-livkotah | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(va_tamat_sarah_be_qiryat_arba_hi_chevron, t0) ∧ HOLDS(li_sepod_le_sarah_ve_livkotah, t0) = HOLDS(and-tamat-sarah-in-qiryat-arba-hi-chevron, t0) ∧ HOLDS(to-me-sepod-to-sarah-and-livkotah, t0) The death-fact and the mourning-fact held for the gate [prose]. | וַתָּמָת שָׂרָה … לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ · va-tamat sarah … li-sepod le-sarah ve-livkotah = and-tamat sarah to-me-sepod to-sarah and-livkotah | — | tested |
| NOTE_PRESUPPOSED | chevron are READ without prior install (known geography) CHEVRON token 2 — token 1 is 13:18 (frozen gen_29's span: the tent and the third altar by Mamre's oaks): Abraham buries where he once built [flag 10; census]. Eretz kenaan is NOT flagged — the later ratified practice (gen_32/33) governs; frozen gen_29's older wider roster is noted in flag 10 [both frozen tokens cited]. | הִוא חֶבְרוֹן · hi chevron = hi chevron | TIR-026 | tested |
STEP_Gn_23_3 · Gen.23.3 · THE_RISING_FROM_THE_DEAD_FACE
וַיָּקָם אַבְרָהָם מֵעַל פְּנֵי מֵתוֹ וַיְדַבֵּר אֶל־בְּנֵי־חֵת לֵאמֹר · va-yaqam avraham me-al pnei meto va-yedaber el-bnei-chet lemor · [EN-AID/JPS] And Abraham rose up from before his dead, and spoke unto the children of Heth, saying:
LEFT
ויקם אברהם מעל פני מתו · va-yaqam avraham me-al pene met-o · Abraham ROSE from before his dead (etnachta on meto)
ויקם אברהם מעל פני מתו · va-yaqam avraham me-al pene met-o · Abraham ROSE from before his dead (etnachta on meto)
RIGHT
וידבר אל־בני־חת לאמר · va-yedaber el-bene-chet le-mor · and SPOKE to the sons of Chet (verse-final lemor)
וידבר אל־בני־חת לאמר · va-yedaber el-bene-chet le-mor · and SPOKE to the sons of Chet (verse-final lemor)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | rise_speak(e3) ∧ Agent(e3, avraham) ∧ Goal(e3, bnei_chet) = rise-speak(e3) ∧ Agent(e3, avraham) ∧ Goal(e3, sons-of-chet) QUM token 21 opens the chapter's four-rise run: two bodily risings (from the dead's face, 23:3; to bow, 23:7) and two LEGAL risings of the field (23:17/20) — the arise-verb will end the chapter as a conveyance-formula [census; flag on the legal qum at its steps]. VA-YEDABER — the formal SPEAK-verb (diber x4 in-span) frames every negotiation round where the say-verb frames mere speech: the letter's own legal register [census; prose]. | וַיָּקָם … מֵעַל פְּנֵי מֵתוֹ וַיְדַבֵּר · va-yaqam … me-al pnei meto va-yedaber = and-yaqam from-upon face-of meto and-yedaber | TIR-014 | tested |
STEP_Gn_23_4 · Gen.23.4 · THE_SOJOURNER_ASKS_FOR_A_GRAVE
גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם וְאֶקְבְּרָה מֵתִי מִלְּפָנָי · ger-ve-toshav anokhi imakhem tenu li achuzat-qever imakhem ve-eqbrah meti milefanai · [EN-AID/JPS] 'I am a stranger and a sojourner with you: give me a possession of a burying-place with you, that I may bury my dead out of my sight.'
LEFT
גר־ותושב אנכי עמכם · ger-ve-toshav anokhi ima-khem · a STRANGER AND SETTLER am I with you (etnachta on imakhem)
גר־ותושב אנכי עמכם · ger-ve-toshav anokhi ima-khem · a STRANGER AND SETTLER am I with you (etnachta on imakhem)
RIGHT
תנו לי אחזת־קבר עמכם ואקברה מתי מלפני · tenu li-y achuzat-qever ima-khem ve-eqbra meti-y mi-le-fana-y · GIVE me a burial-holding, that I may BURY my dead (verse-final milefanai)
תנו לי אחזת־קבר עמכם ואקברה מתי מלפני · tenu li-y achuzat-qever ima-khem ve-eqbra meti-y mi-le-fana-y · GIVE me a burial-holding, that I may BURY my dead (verse-final milefanai)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ger_ve_toshav_anokhi_imakhem, t0) = HOLDS(ger-and-toshav-anokhi-imakhem, t0) THE DECREE'S NOUN IN THE FATHER'S MOUTH: GER ('sojourner') token 2 — FROZEN gen_31's pair-line LANDS WHOLE, quoted: 'ger token 2 = 23:4 — ABRAHAM's own mouth at Sarah's grave (ger ve-toshav anokhi), WITH the bury-verb beside it: QAVAR (bury) debuts at 15:15 and its tokens 2-3 are 23:4/23:6 — the decree's sojourn-and-bury pair recurs as a pair at Machpelah' [LANDED x2]: 15:13's your-seed-shall-be-a-ger and 15:15's you-shall-be-buried arrive together, as the frozen unit said they would. TOSHAV ('resident-settler') — TORAH DEBUT beside it: the landless pair opens a land purchase [census]. | גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם · ger-ve-toshav anokhi imakhem = ger-and-toshav anokhi imakhem | — | tested |
| DECLARE | DECLARE(avraham, LET(tenu(achuzat_qever))) = DECLARE(avraham, LET(tenu(achuzat-qever))) THE OPENING DEMAND [flags 2-3]: tenu ('GIVE') — imperative 2mp on the Chet-sons; it will stand OPEN FOREVER: the transfer completes at 23:17/20 in ANOTHER VERB — the legal qum ('the field AROSE') — the other-verb class (frozen gen_37's law) extended to a conveyance-formula [flag 3i]. ACHUZAT-QEVER ('burial-holding'): ACHUZAH token 2 — FROZEN gen_33's line LANDS verbatim, quoted: 'ACHUZAH token 1 (17:8) — tokens 2-4 are ALL ch. 23 (Machpelah): the everlasting possession's first realized instance is a GRAVE' [LANDED — quoted, not re-derived]. VE-EQBRAH ('that I may bury') — purpose-cohortative, fact (qavar token 2); the demanded thing is the RIGHT to perform a verb the letter will give him only at 23:19 [prose]. | תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם · tenu li achuzat-qever imakhem = tenu to-me achuzat-qever imakhem | TIR-027 | tested |
STEP_Gn_23_5 · Gen.23.5 · THE_ANSWER_FRAME
וַיַּעֲנוּ בְנֵי־חֵת אֶת־אַבְרָהָם לֵאמֹר לוֹ · va-yaanu vnei-chet et-avraham lemor lo · [EN-AID/JPS] And the children of Heth answered Abraham, saying unto him:
LEFT
ויענו בני־חת את־אברהם לאמר לו · va-yaanu vene-chet et-avraham le-mor l-o · the sons of Chet ANSWERED Abraham (single-arm verse — flag 15; verse-final lo)
ויענו בני־חת את־אברהם לאמר לו · va-yaanu vene-chet et-avraham le-mor l-o · the sons of Chet ANSWERED Abraham (single-arm verse — flag 15; verse-final lo)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {bnei_chet} = WORLD += {sons-of-chet} The sons of Chet installed as a COLLECTIVE VOICE [flag 16 — gen_35's pair-install device (shnei_ha_malakhim) extended to an assembly]: they answer as one, x2 (23:5, 23:14's Efron speaks from among them); chet runs x8 in-span [census]. ANAH ('answer') tokens 2-4 in-span — the answer-verb's first cluster: the negotiation is built of answers [census]. | בְנֵי־חֵת · bnei-chet = sons-of-chet | TIR-014 | tested |
STEP_Gn_23_6 · Gen.23.6 · THE_PRINCE_AND_THE_CHOICE_GRAVES
שְׁמָעֵנוּ אֲדֹנִי נְשִׂיא אֱלֹהִים אַתָּה בְּתוֹכֵנוּ בְּמִבְחַר קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ אִישׁ מִמֶּנּוּ אֶת־קִבְרוֹ לֹא־יִכְלֶה מִמְּךָ מִקְּבֹר מֵתֶךָ · shemaenu adoni nesi elohim atah be-tokhenu be-mivchar qevareinu qevor et-metekha ish mimenu et-qivro lo-yikhleh mimkha mi-qevor metekha · [EN-AID/JPS] 'Hear us, my lord: thou art a mighty prince among us; in the choice of our sepulchres bury thy dead; none of us shall withhold from thee his sepulchre, but that thou mayest bury thy dead.'
LEFT
שמענו אדני נשיא אלהים אתה בתוכנו במבחר קברינו קבר את־מתך · shemae-nu adoni-y nesi Elohim ata be-tokhe-nu be-mivchar qevare-nu qevor et-mete-kha · HEAR US, my lord — a PRINCE OF GOD among us: bury in our CHOICE graves (etnachta on metekha)
שמענו אדני נשיא אלהים אתה בתוכנו במבחר קברינו קבר את־מתך · shemae-nu adoni-y nesi Elohim ata be-tokhe-nu be-mivchar qevare-nu qevor et-mete-kha · HEAR US, my lord — a PRINCE OF GOD among us: bury in our CHOICE graves (etnachta on metekha)
RIGHT
איש ממנו את־קברו לא־יכלה ממך מקבר מתך · ish mime-nu et-qivr-o lo-yikhle mim-kha mi-qevor mete-kha · none of us will WITHHOLD his grave from you (verse-final metekha again)
איש ממנו את־קברו לא־יכלה ממך מקבר מתך · ish mime-nu et-qivr-o lo-yikhle mim-kha mi-qevor mete-kha · none of us will WITHHOLD his grave from you (verse-final metekha again)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(bnei_chet, LET(shemaenu(adoni))) = DECLARE(sons-of-chet, LET(shemaenu(adoni))) THE FIRST HEAR-DEMAND [flags 2-3]: shemaenu ('HEAR us') — the negotiation's every round opens in the hear-verb's imperative (five hear-demands in the chapter; shama tokens 17-22 in-span). This one stands OPEN FOREVER: Abraham answers in BOWING (23:7), never in a hear-verb [flag 3ii]. Onkelos: QABEL minana — the qabel-storm's first firing [flag 14a, dual-track]. | שְׁמָעֵנוּ אֲדֹנִי · shemaenu adoni = shemaenu adoni | TIR-027 | tested |
| DECLARE | DECLARE(bnei_chet, LET(qevor(be_mivchar_qevareinu))) = DECLARE(sons-of-chet, LET(qevor(in-mivchar-qevareinu))) THE CHOICE-GRAVES OFFER [flags 3, 8]: qevor ('BURY') — an offer-imperative (frozen law: gen_29's 13:9 parting-offer, quoted at frozen gen_36: 'the parting-OFFER pushed and popped as cycle #7'; gen_36's dwell-grant the second token): the grant pushes — and stands OPEN FOREVER: Abraham never buries in THEIR choice graves; he buys his own — the open entry IS the letter's refusal-arc [flag 3iii]. QAVAR token 3 (frozen gen_31's line: 'tokens 2-3 are 23:4/23:6' [LANDED complete]); MIVCHAR ('choice') debut; the verse's both arms END on metekha ('your dead') [tree fact]. | בְּמִבְחַר קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ · be-mivchar qevareinu qevor et-metekha = in-mivchar qevareinu qevor metekha | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(nesi_elohim_atah_be_tokhenu, t0) = HOLDS(nesi-God-you-in-tokhenu, t0) NESI ELOHIM ('a prince of GOD'): NASI TOKEN 2 — FROZEN gen_33's line LANDS, quoted: 'token 2 is 23:6: the Chittites call ABRAHAM nesi elohim' [LANDED]. The honorific carries the chapter's ONLY Elohim token — the era's first God-empty narration [flag 15; prose]. Tokens 3-4 ahead: the twelve princes fulfilled (25:16), Shechem (34:2) [census]. The self-styled stranger is answered as a prince: the negotiation's first exchange is two self-descriptions passing each other [prose]. Onkelos: RAV QODAM YYA ('a great one BEFORE the LORD') — kodam-distancing on a human honorific [flag 14d, dual-track]. | נְשִׂיא אֱלֹהִים אַתָּה בְּתוֹכֵנוּ · nesi elohim atah be-tokhenu = nesi God you in-tokhenu | — | tested |
STEP_Gn_23_7 · Gen.23.7 · THE_FIRST_BOW
וַיָּקָם אַבְרָהָם וַיִּשְׁתַּחוּ לְעַם־הָאָרֶץ לִבְנֵי־חֵת · va-yaqam avraham va-yishtachu le-am-ha-aretz livnei-chet · [EN-AID/JPS] And Abraham rose up, and bowed down to the people of the land, even to the children of Heth.
LEFT
ויקם אברהם וישתחו לעם־הארץ לבני־חת · va-yaqam avraham va-yishtachu le-am-ha-aretz li-vene-chet · Abraham rose and BOWED to the PEOPLE OF THE LAND (single-arm verse — flag 15)
ויקם אברהם וישתחו לעם־הארץ לבני־חת · va-yaqam avraham va-yishtachu le-am-ha-aretz li-vene-chet · Abraham rose and BOWED to the PEOPLE OF THE LAND (single-arm verse — flag 15)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bow(e4) ∧ Agent(e4, avraham) ∧ Goal(e4, bnei_chet) = bow(e4) ∧ Agent(e4, avraham) ∧ Goal(e4, sons-of-chet) AM-HA-ARETZ ('the people of the LAND') — the phrase's TORAH DEBUT: its tokens 1-3 are ALL this chapter (23:7/12/13; token 4 = 42:6 — Joseph as the land's master): the letter coins the land-people formula for the assembly that sells the landless man his first ground [census-exact]. SHACHAH ('bow') token 4 — Abraham's answer to the hear-us demand is a BOW: the demand stands open while courtesy answers it in another verb [flag 3ii; census: tokens 1-3 are the visitors, Lot's gate, the Aqedah's worship-word]. | וַיִּשְׁתַּחוּ לְעַם־הָאָרֶץ · va-yishtachu le-am-ha-aretz = and-yishtachu to-am-the-earth | TIR-014 | tested |
STEP_Gn_23_8 · Gen.23.8 · THE_ENTREATY_COMPOUND
וַיְדַבֵּר אִתָּם לֵאמֹר אִם־יֵשׁ אֶת־נַפְשְׁכֶם לִקְבֹּר אֶת־מֵתִי מִלְּפָנַי שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן בֶּן־צֹחַר · va-yedaber itam lemor im-yesh et-nafshekhem liqbor et-meti milefanai shemauni u-figu-li be-efron ben-tzochar · [EN-AID/JPS] And he spoke with them, saying: 'If it be your mind that I should bury my dead out of my sight, hear me, and entreat for me to Ephron the son of Zohar,
LEFT
וידבר אתם לאמר · va-yedaber et-m le-mor · he SPOKE with them (etnachta on lemor)
וידבר אתם לאמר · va-yedaber et-m le-mor · he SPOKE with them (etnachta on lemor)
RIGHT
אם־יש את־נפשכם לקבר את־מתי מלפני שמעוני ופגעו־לי בעפרון בן־צחר · im-yesh et-nafsh-khem li-qebor et-meti-y mi-le-fana-y shemau-ni u-figu-li-y be-efron ben-tzochar · if it is in your soul — HEAR ME and ENTREAT for me with Efron (verse-final ben-tzochar)
אם־יש את־נפשכם לקבר את־מתי מלפני שמעוני ופגעו־לי בעפרון בן־צחר · im-yesh et-nafsh-khem li-qebor et-meti-y mi-le-fana-y shemau-ni u-figu-li-y be-efron ben-tzochar · if it is in your soul — HEAR ME and ENTREAT for me with Efron (verse-final ben-tzochar)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(avraham, LET(shimuni_u_figu(be_efron))) = DECLARE(avraham, LET(shimuni-and-figu(in-efron))) THE ENTREATY IS A COMPOUND PAIR [flag 4]: shemauni ('hear me') + u-figu-li ('and ENTREAT for me') — two volitives, one breath, one addressee = ONE demand (the sa_u_ree compound class; frozen gen_31's habet_u_sefor the nearest shape). PAGA ('entreat/meet') debuts in its intercession sense [census]. It stands OPEN FOREVER [flag 3iv]: the letter BYPASSES the entreaty — 'Efron was SITTING among the sons of Chet' (23:10) and answers for himself, unentreated: the intercession Abraham requested is never performed; the man was in the room [the chapter's quiet comedy; prose]. TZOCHAR — one skeleton, TWO men (this Chittite; 46:10's son of Simeon) — the same-lemma class [flag 16; census]. | שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן · shemauni u-figu-li be-efron = shemauni and-figu-to-me in-efron | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(im_yesh_et_nafshekhem_liqbor_et_meti, t0) = HOLDS(if-yesh-nafshekhem-liqbor-meti, t0) The if-clause holds the sons' WILL as the deal's hinge — yesh ('there is') token 2, the existence-word applied to a soul's willingness [census]. QAVAR token 5 — the bury-verb threads every speech [census]. Onkelos: IM IT RAAVA VE-NAFSHEKHON ('if there is FAVOR in your soul') — the raava-insert; QABILU mini — the storm's second firing [flag 14, dual-track]. | אִם־יֵשׁ אֶת־נַפְשְׁכֶם לִקְבֹּר אֶת־מֵתִי · im-yesh et-nafshekhem liqbor et-meti = if-yesh nafshekhem liqbor meti | — | tested |
STEP_Gn_23_9 · Gen.23.9 · THE_FULL_PRICE_CLAUSE
וְיִתֶּן־לִי אֶת־מְעָרַת הַמַּכְפֵּלָה אֲשֶׁר־לוֹ אֲשֶׁר בִּקְצֵה שָׂדֵהוּ בְּכֶסֶף מָלֵא יִתְּנֶנָּה לִי בְּתוֹכְכֶם לַאֲחֻזַּת־קָבֶר · ve-yiten-li et-mearat ha-makhpelah asher-lo asher biqtzeh sadehu be-khesef male yitnenah li be-tokhekhem la-achuzat-qaver · [EN-AID/JPS] that he may give me the cave of Machpelah, which he hath, which is in the end of his field; for the full price let him give it to me in the midst of you for a possession of a burying-place.'
LEFT
ויתן־לי את־מערת המכפלה אשר־לו אשר בקצה שדהו · ve-yiten-li-y et-mearat ha-makhpela asher-l-o asher bi-qetze sade-hu · that he GIVE me the cave of MAKHPELAH at his field's edge (etnachta on sadehu)
ויתן־לי את־מערת המכפלה אשר־לו אשר בקצה שדהו · ve-yiten-li-y et-mearat ha-makhpela asher-l-o asher bi-qetze sade-hu · that he GIVE me the cave of MAKHPELAH at his field's edge (etnachta on sadehu)
RIGHT
בכסף מלא יתננה לי בתוככם לאחזת־קבר · be-khesef male yitne-na li-y be-tokh-khem la-achuzat-qaver · for FULL SILVER let him give it — a burial-holding (verse-final la-achuzat-qaver)
בכסף מלא יתננה לי בתוככם לאחזת־קבר · be-khesef male yitne-na li-y be-tokh-khem la-achuzat-qaver · for FULL SILVER let him give it — a burial-holding (verse-final la-achuzat-qaver)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ve_yiten_li_et_mearat_ha_makhpelah, t0) ∧ HOLDS(be_khesef_male_yitnenah_li, t0) = HOLDS(and-yiten-to-me-mearat-the-makhpelah, t0) ∧ HOLDS(in-khesef-male-yitnenah-to-me, t0) THE MEDIATED JUSSIVES ARE CONTENT-FACTS [flag 6 — SAFE; the bold mediated-LET staged and OPEN per the standing policy]: ve-YITEN... YITNENAH ('that he may GIVE... let him give it') — 3ms jussives about Efron spoken TO the assembly: held as the entreaty-demand's CONTENT (what they should entreat FOR), not a separate push; the alternative — a mediated LET on Efron (the 1:3 yehi-class is the 3ms-jussive push's origin) — is staged verbatim. MAKHPELAH — TORAH DEBUT (6 tokens; the other three are the three burial-returns: 25:9, 49:30, 50:13) [census]. BE-KHESEF MALE ('for FULL silver') — MALE debuts in the full-price formula; KESEF token 7 (tokens 2-5 were Gen 17's person-buying silver: the silver-career runs persons then land) [census]. MEARAH ('cave') tokens 2-6 in-span [census]. Onkelos: KAFELTA ('the DOUBLED one') — the identification class translates the name's etymology [flag 14c, dual-track]. | וְיִתֶּן־לִי אֶת־מְעָרַת הַמַּכְפֵּלָה … בְּכֶסֶף מָלֵא · ve-yiten-li et-mearat ha-makhpelah … be-khesef male = and-yiten-to-me mearat the-makhpelah in-khesef male | — | tested |
STEP_Gn_23_10 · Gen.23.10 · THE_ANSWER_FROM_INSIDE_THE_ROOM
וְעֶפְרוֹן יֹשֵׁב בְּתוֹךְ בְּנֵי־חֵת וַיַּעַן עֶפְרוֹן הַחִתִּי אֶת־אַבְרָהָם בְּאָזְנֵי בְנֵי־חֵת לְכֹל בָּאֵי שַׁעַר־עִירוֹ לֵאמֹר · ve-efron yoshev be-tokh bnei-chet va-yaan efron ha-chiti et-avraham be-oznei vnei-chet le-khol baei shaar-iro lemor · [EN-AID/JPS] Now Ephron was sitting in the midst of the children of Heth; and Ephron the Hittite answered Abraham in the hearing of the children of Heth, even of all that went in at the gate of his city, saying:
LEFT
ועפרון ישב בתוך בני־חת · ve-efron yoshev be-tokh bene-chet · and Efron was SITTING among the sons of Chet (etnachta on bnei-chet)
ועפרון ישב בתוך בני־חת · ve-efron yoshev be-tokh bene-chet · and Efron was SITTING among the sons of Chet (etnachta on bnei-chet)
RIGHT
ויען עפרון החתי את־אברהם באזני בני־חת לכל באי שער־עירו לאמר · va-yaan efron ha-chiti et-avraham be-azne vene-chet le-khol bae shaar-ir-o le-mor · Efron ANSWERED in the EARS of all who came in the GATE (verse-final lemor)
ויען עפרון החתי את־אברהם באזני בני־חת לכל באי שער־עירו לאמר · va-yaan efron ha-chiti et-avraham be-azne vene-chet le-khol bae shaar-ir-o le-mor · Efron ANSWERED in the EARS of all who came in the GATE (verse-final lemor)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {efron} EFRON — TORAH DEBUT (12 tokens; the eight in-span carry the sale, and EVERY out-of-span token is a burial-echo: 25:9, 49:29-30, 50:13 — the seller exists in the Torah only to sell this grave and be its landmark) [flag 16; census]. THE BYPASS [flag 4]: he was SITTING among them — the man Abraham asked to have entreated answers unentreated: the entreaty-demand's open entry is sealed by this participle [prose]. | וְעֶפְרוֹן יֹשֵׁב בְּתוֹךְ בְּנֵי־חֵת · ve-efron yoshev be-tokh bnei-chet = and-efron yoshev in-tokh sons-of-chet | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(be_oznei_vnei_chet_le_khol_baei_shaar_iro, t0) = HOLDS(in-oznei-vnei-chet-to-all-baei-shaar-iro, t0) THE GATE-COURT: SHAAR token 3 — FROZEN gen_38's line LANDS, quoted: 'SHAAR (gate) token 2 (token 1 = 19:1, Lot in Sodom's gate; token 3 = 23:10' [LANDED] — and token 4 is 23:18: the gate frames the deed at both ends [census]. OZEN ('ear') token 2 — the legal acts run 'in the EARS of' x3 (token 1 = 20:8's dream- report, frozen gen_36's span; token 5 = 35:4's buried earrings): the ear-word's early career is all courts and burials [census]. | בְּאָזְנֵי בְנֵי־חֵת לְכֹל בָּאֵי שַׁעַר־עִירוֹ · be-oznei vnei-chet le-khol baei shaar-iro = in-oznei vnei-chet all baei shaar-iro | — | tested |
STEP_Gn_23_11 · Gen.23.11 · THE_GIFT_ROUND
לֹא־אֲדֹנִי שְׁמָעֵנִי הַשָּׂדֶה נָתַתִּי לָךְ וְהַמְּעָרָה אֲשֶׁר־בּוֹ לְךָ נְתַתִּיהָ לְעֵינֵי בְנֵי־עַמִּי נְתַתִּיהָ לָּךְ קְבֹר מֵתֶךָ · lo-adoni shemaeni ha-sadeh natati lakh ve-ha-mearah asher-bo lekha netatiha le-einei vnei-ami netatiha lakh qevor metekha · [EN-AID/JPS] 'Nay, my lord, hear me: the field give I thee, and the cave that is therein, I give it thee; in the presence of the sons of my people give I it thee; bury thy dead.'
LEFT
לא־אדני שמעני השדה נתתי לך והמערה אשר־בו לך נתתיה · lo-adoni-y shemae-ni ha-sade natati la-khe ve-ha-meara asher-b-o le-kha netati-ha · NO, my lord — HEAR ME: the field I HAVE GIVEN you, and the cave (etnachta on netatiha)
לא־אדני שמעני השדה נתתי לך והמערה אשר־בו לך נתתיה · lo-adoni-y shemae-ni ha-sade natati la-khe ve-ha-meara asher-b-o le-kha netati-ha · NO, my lord — HEAR ME: the field I HAVE GIVEN you, and the cave (etnachta on netatiha)
RIGHT
לעיני בני־עמי נתתיה לך קבר מתך · le-ene vene-ami-y netati-ha la-khe qevor mete-kha · before my people's eyes I have given it — BURY your dead (verse-final metekha)
לעיני בני־עמי נתתיה לך קבר מתך · le-ene vene-ami-y netati-ha la-khe qevor mete-kha · before my people's eyes I have given it — BURY your dead (verse-final metekha)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(efron, LET(shemaeni(lo_adoni))) = DECLARE(efron, LET(shemaeni(not-adoni))) THE GIFT-ROUND HEAR-DEMAND [flags 2-3]: Efron's first shemaeni, framed by the letter's own lo-adoni ('NO, my lord' — the distinct frame that separates it from his 23:15 price-round shemaeni). It stands OPEN FOREVER [flag 3v]: the gift-plea is DECLINED — Abraham answers by insisting on payment; the heeding the letter grants at 23:16 belongs to the PRICE-round demand, not this one: the open entry is the refusal of the free field [prose]. Onkelos: QABEIL mini — the storm's third firing [flag 14a]. | לֹא־אֲדֹנִי שְׁמָעֵנִי · lo-adoni shemaeni = not-adoni shemaeni | TIR-027 | tested |
| DECLARE | DECLARE(efron, LET(qevor(et_metekha))) = DECLARE(efron, LET(qevor(metekha))) CYCLE CANDIDATE B OPENS [flag 2]: qevor et-metekha ('BURY your dead') — Efron's offer-imperative (the gen_29/36 offer-class, flag 8), pushed — and PAID at 23:19's QAVAR avraham et-sarah: root and stem, foreground, by the demandee, the OBJECT MATCHING (metekha = Sarah his dead). Label: 'cycle #16-or-#17, contingent on the crown ruling' [filed OPEN per the standing policy]. THE TRIPLE PERFORMATIVE: natati / netatiha / netatiha ('I HAVE GIVEN' x3 — speech- perfects, the performative give): the gift is spoken as already-done and will be UNDONE by a price; natan tokens 36-42 crowd the chapter [census; prose]. | קְבֹר מֵתֶךָ · qevor metekha = qevor metekha | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(ha_sadeh_natati_lakh_netatiha, t0) = HOLDS(the-field-natati-to-you-netatiha, t0) The triple performative held for the gate: given, given, given — in speech only [prose]. | הַשָּׂדֶה נָתַתִּי לָךְ … נְתַתִּיהָ · ha-sadeh natati lakh … netatiha = field natati to-you netatiha | — | tested |
STEP_Gn_23_12 · Gen.23.12 · THE_SECOND_BOW
וַיִּשְׁתַּחוּ אַבְרָהָם לִפְנֵי עַם הָאָרֶץ · va-yishtachu avraham lifnei am ha-aretz · [EN-AID/JPS] And Abraham bowed down before the people of the land.
LEFT
וישתחו אברהם לפני עם הארץ · va-yishtachu avraham li-fene am ha-aretz · Abraham BOWED before the people of the land (single-arm verse — flag 15)
וישתחו אברהם לפני עם הארץ · va-yishtachu avraham li-fene am ha-aretz · Abraham BOWED before the people of the land (single-arm verse — flag 15)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bow(e5) ∧ Agent(e5, avraham) ∧ Goal(e5, bnei_chet) = bow(e5) ∧ Agent(e5, avraham) ∧ Goal(e5, sons-of-chet) SHACHAH token 5 — the second bow (am-ha-aretz token 2): each round of the bargaining is sealed with the bowing-verb, and no hear-demand ever receives a hear-receipt from Abraham's side — his answers are all posture [flag 3ii; census; prose]. | וַיִּשְׁתַּחוּ … לִפְנֵי עַם הָאָרֶץ · va-yishtachu … lifnei am ha-aretz = and-yishtachu lifnei am earth | TIR-014 | tested |
STEP_Gn_23_13 · Gen.23.13 · THE_WISH_AND_THE_TAKE_DEMAND
וַיְדַבֵּר אֶל־עֶפְרוֹן בְּאָזְנֵי עַם־הָאָרֶץ לֵאמֹר אַךְ אִם־אַתָּה לוּ שְׁמָעֵנִי נָתַתִּי כֶּסֶף הַשָּׂדֶה קַח מִמֶּנִּי וְאֶקְבְּרָה אֶת־מֵתִי שָׁמָּה · va-yedaber el-efron be-oznei am-ha-aretz lemor akh im-atah lu shemaeni natati kesef ha-sadeh qach mimeni ve-eqbrah et-meti shamah · [EN-AID/JPS] And he spoke unto Ephron in the hearing of the people of the land, saying: 'But if thou wilt, I pray thee, hear me: I will give the price of the field; take it of me, and I will bury my dead there.'
LEFT
וידבר אל־עפרון באזני עם־הארץ לאמר אך אם־אתה לו שמעני · va-yedaber el-efron be-azne am-ha-aretz le-mor akh im-ata lu shemae-ni · IF ONLY you would hear me (etnachta ON shemaeni — the wished hearing is the rest)
וידבר אל־עפרון באזני עם־הארץ לאמר אך אם־אתה לו שמעני · va-yedaber el-efron be-azne am-ha-aretz le-mor akh im-ata lu shemae-ni · IF ONLY you would hear me (etnachta ON shemaeni — the wished hearing is the rest)
RIGHT
נתתי כסף השדה קח ממני ואקברה את־מתי שמה · natati kesef ha-sade qach mime-ni ve-eqbra et-meti-y shama-ה · I HAVE GIVEN the field's silver — TAKE it, and I will bury THERE (verse-final shamah)
נתתי כסף השדה קח ממני ואקברה את־מתי שמה · natati kesef ha-sade qach mime-ni ve-eqbra et-meti-y shama-ה · I HAVE GIVEN the field's silver — TAKE it, and I will bury THERE (verse-final shamah)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(akh_im_atah_lu_shemaeni, t0) ∧ HOLDS(natati_kesef_ha_sadeh, t0) = HOLDS(akh-if-you-lu-shemaeni, t0) ∧ HOLDS(natati-kesef-the-field, t0) THE LU-WRAPPED IMPERATIVE IS A WISH-FACT [flag 5]: akh im-atah LU shemaeni ('if only you would HEAR me') — the imperative rides inside the wish-particle's frame: the lu-class governs (frozen gen_31 flag 5, extended gen_33 — wishes push nothing); NO push fires. LU tokens 1-2 are BOTH Abraham's — 17:18's lu-yishmael (a father's wish for a son's life) and this (a buyer's wish for a seller's ear) [census-exact]. The etnachta RESTS on the wished shemaeni [tree fact]. THE COUNTER- PERFORMATIVE: natati kesef ha-sadeh ('I HAVE GIVEN the field's silver') — Abraham answers Efron's triple speech-give with a speech-give of his own: two performative perfects trading ownership before any hand moves [prose]. KESEF token 8 [census]. | אַךְ אִם־אַתָּה לוּ שְׁמָעֵנִי נָתַתִּי כֶּסֶף הַשָּׂדֶה · akh im-atah lu shemaeni natati kesef ha-sadeh = akh if-you lu shemaeni natati kesef field | — | tested |
| DECLARE | DECLARE(avraham, LET(qach(kesef_ha_sadeh))) = DECLARE(avraham, LET(qach(kesef-the-field))) THE TAKE-DEMAND [flags 2-3]: qach ('TAKE [the silver] from me') — Abraham's one imperative at Efron. It stands OPEN FOREVER [flag 3vi]: the letter never narrates Efron TAKING — the payment completes at 23:16 in the PAYER'S verb (va-yishqol 'and Abraham WEIGHED'): the seller's hand is unwritten; the other-verb class (frozen gen_37's law) holds the take-word open over a completed sale [prose]. VE-EQBRAH ('and I will bury') — the purpose- cohortative again (fact); QAVAR token 7 [census]. Onkelos: QABEL mini ('accept from me') + SAV mini ('take from me') — the storm's fourth firing wraps the take-demand itself [flag 14a, dual-track]. | קַח מִמֶּנִּי · qach mimeni = qach mimeni | TIR-027 | tested |
STEP_Gn_23_14 · Gen.23.14 · THE_SECOND_ANSWER_FRAME
וַיַּעַן עֶפְרוֹן אֶת־אַבְרָהָם לֵאמֹר לוֹ · va-yaan efron et-avraham lemor lo · [EN-AID/JPS] And Ephron answered Abraham, saying unto him:
LEFT
ויען עפרון את־אברהם לאמר לו · va-yaan efron et-avraham le-mor l-o · Efron ANSWERED Abraham (single-arm verse — flag 15; verse-final lo)
ויען עפרון את־אברהם לאמר לו · va-yaan efron et-avraham le-mor l-o · Efron ANSWERED Abraham (single-arm verse — flag 15; verse-final lo)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | answer(e6) ∧ Agent(e6, efron) ∧ Goal(e6, avraham) ANAH ('answer') token 4 — the chapter's third answer-frame, and the third single-arm verse: the letter's courtesies stay short [flag 15; census]. | וַיַּעַן עֶפְרוֹן · va-yaan efron = and-yaan efron | TIR-014 | tested |
STEP_Gn_23_15 · Gen.23.15 · THE_PRICE_ROUND
אֲדֹנִי שְׁמָעֵנִי אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף בֵּינִי וּבֵינְךָ מַה־הִוא וְאֶת־מֵתְךָ קְבֹר · adoni shemaeni eretz arba meot sheqel-kesef beini u-veinkha mah-hi ve-et-metkha qevor · [EN-AID/JPS] 'My lord, hearken unto me: a piece of land worth four hundred shekels of silver, what is that betwixt me and thee? bury therefore thy dead.'
LEFT
אדני שמעני ארץ ארבע מאת שקל־כסף ביני ובינך מה־הוא · adoni-y shemae-ni eretz arba meot sheqel-kesef beni-y u-ven-kha ma-hiv · my lord, HEAR ME: four hundred silver shekels — what is that between us? (etnachta on mah-hi)
אדני שמעני ארץ ארבע מאת שקל־כסף ביני ובינך מה־הוא · adoni-y shemae-ni eretz arba meot sheqel-kesef beni-y u-ven-kha ma-hiv · my lord, HEAR ME: four hundred silver shekels — what is that between us? (etnachta on mah-hi)
RIGHT
ואת־מתך קבר · ve-et-met-kha qevor · and your dead — BURY (the re-sounded imperative closes the verse)
ואת־מתך קבר · ve-et-met-kha qevor · and your dead — BURY (the re-sounded imperative closes the verse)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(efron, LET(shemaeni(adoni))) CYCLE CANDIDATE A OPENS [flag 2]: Efron's price-round shemaeni — framed adoni ('my lord', against 23:11's lo-adoni: the letter's own two frames keep the two demands distinct). THIS one is PAID one verse later: 23:16's va-yishma avraham el-efron — the demand's own root and stem, foreground, by the demandee. Label: 'cycle #15-or-#16, contingent on the crown ruling' [filed OPEN per the standing policy]. THE PRICE INSIDE A COURTESY: arba meot sheqel-kesef ('four hundred silver shekels') named while waving it away (beini u-veinkha mah-hi 'between me and you, what is it?' — the question class, fact); SHEQEL debuts here [census]. Onkelos: QABEL mini — the fifth firing; the shekels become SILIN (selas — the currency updated: the identification class on weights) [flag 14, dual-track]. | אֲדֹנִי שְׁמָעֵנִי · adoni shemaeni = adoni shemaeni | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(eretz_arba_meot_sheqel_kesef_beini_u_veinkha, t0) ∧ HOLDS(ve_et_metkha_qevor_resound, t0) = HOLDS(earth-arba-meot-sheqel-kesef-beini-and-veinkha, t0) ∧ HOLDS(and-metkha-qevor-resound, t0) THE RE-SOUNDED DEMAND IS A FACT [flag 7 — SAFE; the re-push staged and OPEN]: ve-et-metkha QEVOR repeats 23:11's standing open imperative VERBATIM in the price-frame: no re-push operator exists and none is invented — the re-sound is held as fact beside the open entry; the pop at 23:19 will pay the ONE standing entry. The verse CLOSES on the imperative [tree fact] — the seller's last word in the Torah's direct speech is 'bury' [prose; census: qavar token 8]. | אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף … וְאֶת־מֵתְךָ קְבֹר · eretz arba meot sheqel-kesef … ve-et-metkha qevor = earth arba meot sheqel-kesef and-metkha qevor | — | tested |
STEP_Gn_23_16 · Gen.23.16 · CYCLE_A_THE_HEARING_AND_THE_WEIGHING
וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן וַיִּשְׁקֹל אַבְרָהָם לְעֶפְרֹן אֶת־הַכֶּסֶף אֲשֶׁר דִּבֶּר בְּאָזְנֵי בְנֵי־חֵת אַרְבַּע מֵאוֹת שֶׁקֶל כֶּסֶף עֹבֵר לַסֹּחֵר · va-yishma avraham el-efron va-yishqol avraham le-efron et-ha-kesef asher diber be-oznei vnei-chet arba meot sheqel kesef over la-socher · [EN-AID/JPS] And Abraham hearkened unto Ephron; and Abraham weighed to Ephron the silver, which he had named in the hearing of the children of Heth, four hundred shekels of silver, current money with the merchant.
LEFT
וישמע אברהם אל־עפרון וישקל אברהם לעפרן את־הכסף אשר דבר באזני בני־חת · va-yishma avraham el-efron va-yishqol avraham le-efron et-ha-kesef asher diber be-azne vene-chet · Abraham HEEDED Efron and WEIGHED the silver in the sons' ears (etnachta on vnei-chet)
וישמע אברהם אל־עפרון וישקל אברהם לעפרן את־הכסף אשר דבר באזני בני־חת · va-yishma avraham el-efron va-yishqol avraham le-efron et-ha-kesef asher diber be-azne vene-chet · Abraham HEEDED Efron and WEIGHED the silver in the sons' ears (etnachta on vnei-chet)
RIGHT
ארבע מאות שקל כסף עבר לסחר · arba meot sheqel kesef over la-socher · four hundred shekels, current with the MERCHANT (verse-final la-socher)
ארבע מאות שקל כסף עבר לסחר · arba meot sheqel kesef over la-socher · four hundred shekels, current with the MERCHANT (verse-final la-socher)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| RESULT | HOLDS(shemaeni(adoni), t1) SETTLED CYCLE CANDIDATE A PAID [flag 2; label 'cycle #15-or-#16, contingent on the crown ruling' — filed OPEN, not resolved]: VA-YISHMA avraham el-efron ('and Abraham HEEDED Efron') — the demand's own ROOT AND STEM (qal shama), foreground narrative, BY THE DEMANDEE, one verse after the push: the echo-receipt standard whole. The gift-round shemaeni(lo_adoni) stays OPEN beside it — the letter heeded the PRICE, not the gift [flag 3v]. SHAMA token 22 closes the chapter's six-token hear-run [census]. Pop attested per frozen gen_35's flag-19 idiom: S9 re-asserts all SEVEN remaining opens; the printed SPECS count (7 of 8) is the public receipt. Onkelos: U-QABEL avraham min efron — the receipt itself joins the qabel-storm (the sixth firing) [flag 14a, dual-track]. | וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן · va-yishma avraham el-efron = and-yishma avraham to-efron | TIR-028 | tested |
| EVENT | weigh_silver(e7) ∧ Agent(e7, avraham) ∧ Beneficiary(e7, efron) = weigh-silver(e7) ∧ Agent(e7, avraham) ∧ Beneficiary(e7, efron) SHAQAL ('weigh') — TORAH DEBUT, and the lexeme has TWO tokens total (here + Exod 22:16's bride-price): the weigh-verb's whole Torah career is two payments [census-exact]. THE DIMINISHED NAME [flag 12, he_plain-verified]: le-EFRON here is the chapter's ONLY defective spelling (no vav) — the name loses a letter exactly where the silver is weighed; the chain's reading is named-only [census-exact; prose]. The take-demand does NOT pop — Efron's taking is never narrated; the payment completes in the payer's verb [flag 3vi]. OVER LA-SOCHER ('current with the MERCHANT') — socher debuts; kesef tokens 10-11; Onkelos: MITQABEL SECHORA be-khol medinta ('ACCEPTED in trade in every province') — the qabel-root's seventh firing, on the silver itself [flag 14a]. | וַיִּשְׁקֹל אַבְרָהָם לְעֶפְרֹן אֶת־הַכֶּסֶף · va-yishqol avraham le-efron et-ha-kesef = and-yishqol avraham to-efron the-kesef | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(va_yishqol_arba_meot_sheqel_over_la_socher, t0) = HOLDS(and-yishqol-arba-meot-sheqel-over-to-socher, t0) The payment-fact held for the gate: four hundred merchant-current shekels, weighed [prose]. | אַרְבַּע מֵאוֹת שֶׁקֶל כֶּסֶף עֹבֵר לַסֹּחֵר · arba meot sheqel kesef over la-socher = arba meot sheqel kesef over to-socher | — | tested |
STEP_Gn_23_17 · Gen.23.17 · THE_FIELD_ARISES
וַיָּקָם שְׂדֵה עֶפְרוֹן אֲשֶׁר בַּמַּכְפֵּלָה אֲשֶׁר לִפְנֵי מַמְרֵא הַשָּׂדֶה וְהַמְּעָרָה אֲשֶׁר־בּוֹ וְכָל־הָעֵץ אֲשֶׁר בַּשָּׂדֶה אֲשֶׁר בְּכָל־גְּבֻלוֹ סָבִיב · va-yaqam sdeh efron asher ba-makhpelah asher lifnei mamre ha-sadeh ve-ha-mearah asher-bo ve-khol-ha-etz asher ba-sadeh asher be-khol-gevulo saviv · [EN-AID/JPS] So the field of Ephron, which was in Machpelah, which was before Mamre, the field, and the cave which was therein, and all the trees that were in the field, that were in all the border thereof round about, were made sure
LEFT
ויקם שדה עפרון אשר במכפלה אשר לפני ממרא · va-yaqam sede efron asher ba-makhpela asher li-fene mamre · the field of Efron in Makhpelah AROSE (etnachta on mamre)
ויקם שדה עפרון אשר במכפלה אשר לפני ממרא · va-yaqam sede efron asher ba-makhpela asher li-fene mamre · the field of Efron in Makhpelah AROSE (etnachta on mamre)
RIGHT
השדה והמערה אשר־בו וכל־העץ אשר בשדה אשר בכל־גבלו סביב · ha-sade ve-ha-meara asher-b-o ve-khal-ha-etz asher ba-sade asher be-khal-gevul-o saviv · the field, the cave, and every tree in all its border ROUND ABOUT (verse-final saviv)
השדה והמערה אשר־בו וכל־העץ אשר בשדה אשר בכל־גבלו סביב · ha-sade ve-ha-meara asher-b-o ve-khal-ha-etz asher ba-sade asher be-khal-gevul-o saviv · the field, the cave, and every tree in all its border ROUND ABOUT (verse-final saviv)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yaqam_sdeh_efron_ba_makhpelah, t0) ∧ HOLDS(ha_sadeh_ve_ha_mearah_ve_khol_ha_etz_saviv, t0) = HOLDS(and-yaqam-sdeh-efron-in-the-makhpelah, t0) ∧ HOLDS(the-field-and-the-mearah-and-all-the-tree-saviv, t0) THE LEGAL QUM DEBUTS: va-YAQAM sdeh efron ('and the field of Efron AROSE/was established') — the arise-verb's first conveyance sense (qum token 23; token 24 repeats the formula at 23:20): the verb that lifted the mourner (23:3) and the bower (23:7) now lifts a FIELD into new ownership — the letter's own completion-formula, held as fact (no operator exists for conveyance and none is invented; the demand it answers — tenu — stays open in its own verb, flag 3i) [census; prose]. THE DEED-ROSTER: field, cave, every tree, all the border, round about — the letter writes like a contract (SAVIV 'round about' debuts; GEVUL 'border' token 2) [census]. Onkelos [flag 14b]: VE-QAM chaqla — the buffer keeps the legal arising in the QUM-root, NOT the qayem oath-family: conveyance and covenant-confirmation are two roots in the buffer's court [negative result, recorded; dual-track]. | וַיָּקָם שְׂדֵה עֶפְרוֹן … וְכָל־הָעֵץ … סָבִיב · va-yaqam sdeh efron … ve-khol-ha-etz … saviv = and-yaqam sdeh efron and-all-the-tree saviv | — | tested |
STEP_Gn_23_18 · Gen.23.18 · THE_PURCHASE_BEFORE_THE_GATE
לְאַבְרָהָם לְמִקְנָה לְעֵינֵי בְנֵי־חֵת בְּכֹל בָּאֵי שַׁעַר־עִירוֹ · le-avraham le-miqnah le-einei vnei-chet be-khol baei shaar-iro · [EN-AID/JPS] unto Abraham for a possession in the presence of the children of Heth, before all that went in at the gate of his city.
LEFT
לאברהם למקנה לעיני בני־חת · le-avraham le-miqna le-ene vene-chet · to Abraham as a PURCHASE before the sons' eyes (etnachta on vnei-chet)
לאברהם למקנה לעיני בני־חת · le-avraham le-miqna le-ene vene-chet · to Abraham as a PURCHASE before the sons' eyes (etnachta on vnei-chet)
RIGHT
בכל באי שער־עירו · be-khol bae shaar-ir-o · before all who came in the GATE of his city (verse-final shaar-iro)
בכל באי שער־עירו · be-khol bae shaar-ir-o · before all who came in the GATE of his city (verse-final shaar-iro)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(le_avraham_le_miqnah_le_einei_vnei_chet, t0) = HOLDS(to-avraham-to-miqnah-to-eyes-of-vnei-chet, t0) MIQNAH ('purchase') TOKEN 5 — frozen gen_33's line EXTENDS, quoted: 'miqnah's whole debut field is persons' (17:12-27's silver-bought men): token 5 buys LAND for the first time — the purchase-word steps from bodies to ground [LANDED-class; census]. SHAAR token 4 — the gate frames the deed at both ends (23:10/18) [flag 11; census]. The witnesses double: the sons' EYES here, their EARS at 23:16 — the deed is sealed into both senses [prose; ozen/ayin census]. Onkelos: LI-ZVINOHI ('as his PURCHASE') — the buy-word added [flag 14b]. | לְאַבְרָהָם לְמִקְנָה · le-avraham le-miqnah = to-avraham to-miqnah | — | tested |
STEP_Gn_23_19 · Gen.23.19 · CYCLE_B_THE_BURIAL
וְאַחֲרֵי־כֵן קָבַר אַבְרָהָם אֶת־שָׂרָה אִשְׁתּוֹ אֶל־מְעָרַת שְׂדֵה הַמַּכְפֵּלָה עַל־פְּנֵי מַמְרֵא הִוא חֶבְרוֹן בְּאֶרֶץ כְּנָעַן · ve-acharei-khen qavar avraham et-sarah ishto el-mearat sdeh ha-makhpelah al-pnei mamre hi chevron be-eretz kenaan · [EN-AID/JPS] And after this, Abraham buried Sarah his wife in the cave of the field of Machpelah before Mamre—the same is Hebron—in the land of Canaan.
LEFT
ואחרי־כן קבר אברהם את־שרה אשתו אל־מערת שדה המכפלה על־פני ממרא הוא חברון · ve-achare-khen qavar avraham et-sara isht-o el-mearat sede ha-makhpela al-pene mamre hiv chevron · and after this Abraham BURIED Sarah his wife in the cave of Makhpelah (etnachta on chevron)
ואחרי־כן קבר אברהם את־שרה אשתו אל־מערת שדה המכפלה על־פני ממרא הוא חברון · ve-achare-khen qavar avraham et-sara isht-o el-mearat sede ha-makhpela al-pene mamre hiv chevron · and after this Abraham BURIED Sarah his wife in the cave of Makhpelah (etnachta on chevron)
RIGHT
בארץ כנען · be-eretz kenaan · in the land of KENAAN (verse-final kenaan — the burial rests on the map)
בארץ כנען · be-eretz kenaan · in the land of KENAAN (verse-final kenaan — the burial rests on the map)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| RESULT | HOLDS(qevor(et_metekha), t2) = HOLDS(qevor(metekha), t2) SETTLED CYCLE CANDIDATE B PAID [flag 2; label 'cycle #16-or-#17, contingent on the crown ruling' — filed OPEN, not resolved]: QAVAR avraham et-sarah ishto — the demand's own ROOT AND STEM (qal qavar), foreground narrative, BY THE DEMANDEE, the OBJECT MATCHING (Efron's metekha 'your dead' = Sarah his dead): the echo-receipt standard whole, with no substitution question. The choice-graves qevor (23:6's refused terms) stays OPEN beside it [flag 3iii]. QAVAR token 9 closes the in-span octave — token 1 was 15:15's TIQAVER promise (frozen gen_31's line): the verb born as a promise pays its first deed into purchased ground; token 10 is 25:9, Abraham himself into the same cave [LANDED; census; watch]. Pop attested per the flag-19 idiom: S10 re-asserts all SIX remaining opens; the printed count (6 of 8) is the receipt. | קָבַר אַבְרָהָם אֶת־שָׂרָה אִשְׁתּוֹ · qavar avraham et-sarah ishto = qavar avraham sarah his-wife | TIR-028 | tested |
| NOTE_PRESUPPOSED | mamre are READ without prior install (known geography) MAMRE — frozen geography (the oaks of 13:18/18:1; tokens 5-6 in-span) [flag 10]; the letter repeats its apposition-gloss (HI CHEVRON — the second firing) and maps the grave fully: cave, field, Makhpelah, Mamre, Chevron, Kenaan — six place-terms for one burial: the letter files the deed by address [flag 9; prose]. | עַל־פְּנֵי מַמְרֵא הִוא חֶבְרוֹן · al-pnei mamre hi chevron = upon-face-of mamre hi chevron | TIR-026 | tested |
STEP_Gn_23_20 · Gen.23.20 · THE_CONVEYANCE_CODA
וַיָּקָם הַשָּׂדֶה וְהַמְּעָרָה אֲשֶׁר־בּוֹ לְאַבְרָהָם לַאֲחֻזַּת־קָבֶר מֵאֵת בְּנֵי־חֵת · va-yaqam ha-sadeh ve-ha-mearah asher-bo le-avraham la-achuzat-qaver me-et bnei-chet · [EN-AID/JPS] And the field, and the cave that is therein, were made sure unto Abraham for a possession of a burying-place by the children of Heth.
LEFT
ויקם השדה והמערה אשר־בו לאברהם לאחזת־קבר · va-yaqam ha-sade ve-ha-meara asher-b-o le-avraham la-achuzat-qaver · the field and cave AROSE to Abraham as a BURIAL-HOLDING (etnachta on la-achuzat-qaver)
ויקם השדה והמערה אשר־בו לאברהם לאחזת־קבר · va-yaqam ha-sade ve-ha-meara asher-b-o le-avraham la-achuzat-qaver · the field and cave AROSE to Abraham as a BURIAL-HOLDING (etnachta on la-achuzat-qaver)
RIGHT
מאת בני־חת · me-et bene-chet · from the sons of Chet (verse-final bnei-chet)
מאת בני־חת · me-et bene-chet · from the sons of Chet (verse-final bnei-chet)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yaqam_ha_sadeh_la_achuzat_qaver_me_et_bnei_chet, t0) = HOLDS(and-yaqam-the-field-to-achuzat-qaver-from-sons-of-chet, t0) The conveyance-formula REPEATS (qum token 24 — the letter seals twice, as the pact of frozen gen_37 cut twice) and closes on the phrase the whole chapter chased: LA-ACHUZAT-QAVER ('as a burial-holding') — ACHUZAH token 4 completes frozen gen_33's landed line; the everlasting-possession promise's first realized tokens end here, all three a grave [LANDED complete; census]. The opening demand (tenu) stands OPEN above the finished deed — the letter transferred in another verb, and the machine keeps both truths [flag 3i; prose]. | וַיָּקָם הַשָּׂדֶה … לַאֲחֻזַּת־קָבֶר · va-yaqam ha-sadeh … la-achuzat-qaver = and-yaqam field to-achuzat-qaver | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 23:1 — all registers empty (standalone unit; the Aqedah's return behind the frame) |
| S_counted | After 23:1 — sarah installed; the only counted matriarch-age (127); the silence-arc noted |
| S_mourned | After 23:2 — the death; safad's two-funeral career opens; bakhah token 2 lands frozen gen_37's watch; chevron read; the apposition-gloss (registry silent) |
| S_risen | After 23:3 — the mourner rises into a negotiator; the formal speak-verb frames the rounds |
| S_asked | After 23:4 — LET(tenu) pushed (open forever — the conveyance will come in another verb); frozen gen_31's ger/qavar pair-line and gen_33's achuzah line both land |
| S_answered_1 | After 23:5-6 — bnei_chet installed (the collective voice); LET(shemaenu) + LET(qevor-mivchar) pushed (both open forever: the bow-answer, the refused terms); nesi elohim lands gen_33's line |
| S_bowed_1 | After 23:7 — the first bow (am-ha-aretz debuts); the hear-us demand answered in the wrong verb |
| S_entreated | After 23:8-9 — the compound shimuni_u_figu pushed (open forever — the bypass); the mediated jussives held as content-facts (flag 6); makhpelah debuts |
| S_answered_2 | After 23:10-11 — efron installed (sitting among them); LET(shemaeni-lo-adoni) + LET(qevor-metekha) pushed; the triple performative give; the gate-court opens (gen_38's shaar line lands) |
| S_bowed_2 | After 23:12 — the second bow; the queue at seven, nothing paid |
| S_countered | After 23:13-14 — the lu-wish (fact, flag 5); LET(qach) pushed (the seller's hand will stay unwritten); the counter-performative; the third answer-frame |
| S_priced | After 23:15 — LET(shemaeni-adoni) pushed (cycle candidate A); the four hundred named inside a courtesy; the re-sounded qevor held as fact (flag 7); the queue at eight |
| S_heard | After 23:16 — CYCLE A PAID (va-yishma — contingent #15-or-#16); the weighing (shaqal's two-token career); the diminished name (flag 12); queue 8 -> 7 |
| S_conveyed | After 23:17-18 — the legal qum debuts doubled-start; the deed-roster; miqnah token 5 buys land; the gate seals; tenu still open above the transfer |
| S_buried | After 23:19 — CYCLE B PAID (qavar — contingent #16-or-#17); the 15:15 promise-verb's first deed; mamre read; queue 7 -> 6 |
| S_sealed | After 23:20 — the conveyance repeats; achuzat-qaver closes gen_33's landed line; SIX open forever — the negotiation's gap-map |
| from | to | via |
|---|---|---|
| S_boot | S_counted | STEP_Gn_23_1 |
| S_counted | S_mourned | STEP_Gn_23_2 |
| S_mourned | S_risen | STEP_Gn_23_3 |
| S_risen | S_asked | STEP_Gn_23_4 |
| S_asked | S_answered_1 | STEP_Gn_23_5 |
| S_answered_1 | S_bowed_1 | STEP_Gn_23_7 |
| S_bowed_1 | S_entreated | STEP_Gn_23_8 |
| S_entreated | S_answered_2 | STEP_Gn_23_10 |
| S_answered_2 | S_bowed_2 | STEP_Gn_23_12 |
| S_bowed_2 | S_countered | STEP_Gn_23_13 |
| S_countered | S_priced | STEP_Gn_23_15 |
| S_priced | S_heard | STEP_Gn_23_16 |
| S_heard | S_conveyed | STEP_Gn_23_17 |
| S_conveyed | S_buried | STEP_Gn_23_19 |
| S_buried | S_sealed | STEP_Gn_23_20 |
AFTER_S_sealed — TIME: t0 + t1 + t2 (two pops' marks — the first two-pop unit since gen_35's triple). WORLD: THREE installs (sarah — kept by a register that has no removal operator while the letter buries her; bnei_chet — the collective voice; efron) + TWO presupposed reads (chevron; mamre — flag 10; eretz_kenaan unflagged per the later ratified practice). REGISTRY: ZERO writes, ZERO patterns — the registry sleeps through two apposition-glosses (qiryat-arba HI chevron x2; the letter glosses, never names — flag 9). TESTS: ZERO — the THIRD consecutive instrument-silent chapter; zero triage contact (flag 13). SPECS: EIGHT pushed / TWO popped / SIX OPEN FOREVER. The two paid: CYCLE A — shemaeni(adoni) paid by va-yishma (contingent #15-or-#16); CYCLE B — qevor(et_metekha) paid by qavar (contingent #16-or-#17) — both labels filed OPEN per the standing policy, numbering awaiting the crown ruling that is itself deferred by design. The six open — the negotiation's gap-map (flag 3): tenu (transferred in the legal qum — another verb); shemaenu (answered in bows); qevor-mivchar (the refused free graves); shimuni_u_figu (the bypassed entreaty); shemaeni-lo-adoni (the declined gift); qach (the unwritten taking). LEDGER: EMPTY. EVENTS: the death, the mourning-weeping, the rising, two bows, the answer, the weighing. FLAGS: read_before_install x2. The chapter's grammar-lesson: a market where every demand is answered with a demand, courtesy pays in the wrong verbs, and the only receipts the machine can certify are a hearing and a burial — while the field itself changes hands in a verb nobody demanded.
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The life-count: after STEP_Gn_23_1 | All registers empty (standalone unit). (sarah installed for a count and a death; the silence-arc — flag 16; the only matriarch-age in the Torah.) | WORLD += sarah; Facts chayei-sarah HOLD; no test, no name. | וַיִּהְיוּ חַיֵּי שָׂרָה … שְׁנֵי חַיֵּי שָׂרָה · va-yihyu chayei sarah … shnei chayei sarah = and-yihyu chayei sarah shnei chayei sarah |
| S2 | The death and the mourning: after STEP_Gn_23_2 | S1 state. (safad's two-funeral career opens; bakhah token 2 lands frozen gen_37's watch on the silluq; the apposition-gloss writes nothing — flag 9; chevron read.) | Facts va-tamat-sarah / li-sepod-ve-livkotah HOLD; flags chevron as read-before-install; no test, no name. = Facts and-tamat-sarah / to-me-sepod-and-livkotah HOLD; flags chevron as read-before-install; no test, no name. | וַתָּמָת שָׂרָה … לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ · va-tamat sarah … li-sepod le-sarah ve-livkotah = and-tamat sarah to-me-sepod to-sarah and-livkotah |
| S3 | The opening demand: after STEP_Gn_23_4 | S2 state plus 23:3 (the rise; the formal speak-frame). (tenu pushed — open forever, flag 3i; frozen gen_31's ger/qavar pair-line and gen_33's achuzah line both land.) | LET(tenu(achuzat_qever)) pushed and OPEN; Facts ger-ve-toshav HOLD. = LET(tenu(achuzat-qever)) pushed and OPEN; Facts ger-and-toshav HOLD. | תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם · tenu li achuzat-qever imakhem = tenu to-me achuzat-qever imakhem |
| S4 | The sons' two imperatives: after STEP_Gn_23_6 | S3 state plus 23:5 (bnei_chet installed — the collective voice). (hear-us + the choice-graves offer both pushed — the offer-imperative class, flag 8; both will stand open forever; nesi elohim lands gen_33's line.) | LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(be_mivchar_qevareinu)) pushed and OPEN; LET(tenu(achuzat_qever)) pushed and OPEN; Facts nesi-elohim HOLD. = LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(in-mivchar-qevareinu)) pushed and OPEN; LET(tenu(achuzat-qever)) pushed and OPEN; Facts nesi-God HOLD. | שְׁמָעֵנוּ אֲדֹנִי … בְּמִבְחַר קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ · shemaenu adoni … be-mivchar qevareinu qevor et-metekha = shemaenu adoni in-mivchar qevareinu qevor metekha |
| S5 | The entreaty-compound: after STEP_Gn_23_9 | S4 state plus 23:7 (the first bow — am-ha-aretz debuts; the hear-us answered in the wrong verb). (shimuni_u_figu pushed as ONE compound demand — flag 4; the mediated jussives held as content-facts — flag 6, bold staged; makhpelah debuts.) | LET(shimuni_u_figu(be_efron)) pushed and OPEN; Facts ve-yiten-li-mearat-ha-makhpelah / be-khesef-male HOLD. = LET(shimuni-and-figu(in-efron)) pushed and OPEN; Facts and-yiten-to-me-mearat-the-makhpelah / in-khesef-male HOLD. | שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן · shemauni u-figu-li be-efron = shemauni and-figu-to-me in-efron |
| S6 | The gift-round: after STEP_Gn_23_11 | S5 state plus 23:10 (efron installed, sitting among them — the bypass, flag 4; the gate-court: gen_38's shaar line lands). (Efron's hear-me and bury-offer pushed; the triple performative give held as fact.) | LET(shemaeni(lo_adoni)) pushed and OPEN; LET(qevor(et_metekha)) pushed and OPEN; Facts ha-sadeh-natati-lakh HOLD. = LET(shemaeni(not-adoni)) pushed and OPEN; LET(qevor(metekha)) pushed and OPEN; Facts the-field-natati-to-you HOLD. | לֹא־אֲדֹנִי שְׁמָעֵנִי … קְבֹר מֵתֶךָ · lo-adoni shemaeni … qevor metekha = not-adoni shemaeni qevor metekha |
| S7 | The wish and the take-demand: after STEP_Gn_23_13 | S6 state plus 23:12 (the second bow). (The lu-wrapped imperative is a wish-fact — flag 5, no push; the counter-performative; qach pushed — the seller's hand will stay unwritten, flag 3vi. Queue at seven.) | LET(qach(kesef_ha_sadeh)) pushed and OPEN; Facts akh-im-atah-lu-shemaeni / natati-kesef-ha-sadeh HOLD. = LET(qach(kesef-the-field)) pushed and OPEN; Facts akh-if-you-lu-shemaeni / natati-kesef-the-field HOLD. | לוּ שְׁמָעֵנִי … קַח מִמֶּנִּי · lu shemaeni … qach mimeni = lu shemaeni qach mimeni |
| S8 | The price-round: after STEP_Gn_23_15 | S7 state plus 23:14 (the third answer-frame). (Efron's price-round shemaeni pushed — cycle candidate A opens; the re-sounded qevor held as fact — flag 7; the queue at EIGHT, the era's fullest.) | LET(shemaeni(adoni)) pushed and OPEN; Facts eretz-arba-meot-sheqel HOLD. = LET(shemaeni(adoni)) pushed and OPEN; Facts earth-arba-meot-sheqel HOLD. | אֲדֹנִי שְׁמָעֵנִי אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף · adoni shemaeni eretz arba meot sheqel-kesef = adoni shemaeni earth arba meot sheqel-kesef |
| S9 | Cycle A — the hearing paid: after STEP_Gn_23_16 | S8 state. (va-yishma pays the price-round hear-demand in root and stem — 'cycle #15-or-#16, contingent on the crown ruling', filed OPEN — flag 2; the pop attested per frozen gen_35's flag-19 idiom: the seven clauses below re-assert EVERY remaining open — the printed SPECS count 7-of-8 is the public receipt; the weighing; the diminished name — flag 12.) | LET(tenu(achuzat_qever)) pushed and OPEN; LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(be_mivchar_qevareinu)) pushed and OPEN; LET(shimuni_u_figu(be_efron)) pushed and OPEN; LET(shemaeni(lo_adoni)) pushed and OPEN; LET(qevor(et_metekha)) pushed and OPEN; LET(qach(kesef_ha_sadeh)) pushed and OPEN; Facts va-yishqol-arba-meot / over-la-socher HOLD. = LET(tenu(achuzat-qever)) pushed and OPEN; LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(in-mivchar-qevareinu)) pushed and OPEN; LET(shimuni-and-figu(in-efron)) pushed and OPEN; LET(shemaeni(not-adoni)) pushed and OPEN; LET(qevor(metekha)) pushed and OPEN; LET(qach(kesef-the-field)) pushed and OPEN; Facts and-yishqol-arba-meot / over-to-socher HOLD. | וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן וַיִּשְׁקֹל · va-yishma avraham el-efron va-yishqol = and-yishma avraham to-efron and-yishqol |
| S10 | Cycle B and the sealed field: after STEP_Gn_23_20 | S9 state plus 23:17-19 (the legal qum doubled; miqnah token 5 buys land; CYCLE B — qavar pays the bury-offer, object matching: 'cycle #16-or-#17, contingent', filed OPEN — flag 2; mamre read; the six clauses below re-assert every remaining open — the printed count 6-of-8 is the receipt). (The set-clause is created-only equality; the registry slept through the whole chapter.) | WORLD = {sarah, bnei_chet, efron}; LET(tenu(achuzat_qever)) pushed and OPEN; LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(be_mivchar_qevareinu)) pushed and OPEN; LET(shimuni_u_figu(be_efron)) pushed and OPEN; LET(shemaeni(lo_adoni)) pushed and OPEN; LET(qach(kesef_ha_sadeh)) pushed and OPEN; Facts va-yaqam-ha-sadeh-la-achuzat-qaver HOLD; LEDGER stays EMPTY (open transaction); no test, no name; flags chevron/mamre as read-before-install. = WORLD = {sarah, sons-of-chet, efron}; LET(tenu(achuzat-qever)) pushed and OPEN; LET(shemaenu(adoni)) pushed and OPEN; LET(qevor(in-mivchar-qevareinu)) pushed and OPEN; LET(shimuni-and-figu(in-efron)) pushed and OPEN; LET(shemaeni(not-adoni)) pushed and OPEN; LET(qach(kesef-the-field)) pushed and OPEN; Facts and-yaqam-the-field-to-achuzat-qaver HOLD; LEDGER stays EMPTY (open transaction); no test, no name; flags chevron/mamre as read-before-install. | וַיָּקָם הַשָּׂדֶה וְהַמְּעָרָה … לְאַבְרָהָם לַאֲחֻזַּת־קָבֶר · va-yaqam ha-sadeh ve-ha-mearah … le-avraham la-achuzat-qaver = and-yaqam field and-the-mearah to-avraham to-achuzat-qaver |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_the_two_contingent_cycles_and_the_gap_map | שְׁמָעֵנִי … וַיִּשְׁמַע אַבְרָהָם … קְבֹר מֵתֶךָ … קָבַר אַבְרָהָם · shemaeni … va-yishma avraham … qevor metekha … qavar avraham · TWO SETTLED-CYCLE CANDIDATES, CONTINGENT NUMBERING [flag 2; per the standing policy, filed OPEN]: CYCLE A — Efron's price-round hear-demand (23:15) paid at 23:16 in its own root and stem by the demandee (va-yishma avraham el-efron), labeled 'cycle #15-or-#16, contingent on the crown ruling'; CYCLE B — Efron's bury-offer (23:11, the gen_29/36 offer-imperative class) paid at 23:19 (qavar avraham et-sarah — object matching, no substitution question), labeled 'cycle #16-or-#17.' AROUND THEM SIX DEMANDS STAY OPEN FOREVER — the negotiation's gap-map, each one a gap the letter itself kept: the give-asked completed in the legal qum (another verb — gen_37's class extended to conveyance), the hear-us answered in bows, the choice-graves refused, the entreaty bypassed (Efron sat among them), the gift-plea declined, and the take-my-silver whose taking is never written (the payment completes in the payer's weighing). The era's densest demand-field: fifteen volitives resolving to eight pushes, with the lu-wrapped imperative held as wish-fact (lu tokens 1-2 both Abraham's) and the mediated jussives as entreaty-content [flags 4-8] |
| EXPORT_the_promise_paying_field | תִּקָּבֵר בְּשֵׂיבָה טוֹבָה … וְאֶקְבְּרָה מֵתִי … לַאֲחֻזַּת־קָבֶר · tiqaver be-seivah tovah … ve-eqbrah meti … la-achuzat-qaver · THREE FROZEN PROMISES LAND IN ONE PURCHASE [flag 11; all quoted from frozen YAML]: the bury-verb's token 1 is 15:15's TIQAVER promise and tokens 2-9 are ALL this chapter (frozen gen_31's pair-line landed whole — with GER token 2 at 23:4: the decree's sojourn-and-bury pair recurring as a pair, toshav debuting beside it); ACHUZAH's token 1 is 17:8's everlasting-possession and tokens 2-4 are all this chapter's burial-holding (frozen gen_33's line landed verbatim: 'the everlasting possession's first realized instance is a GRAVE'); NASI token 2 is the Chittites' nesi elohim (gen_33's line landed) — and MIQNAH token 5 extends gen_33's persons-line to land. The chapter pays 15:15 into ground bought under 17:8's word, by a man calling himself 15:13's noun |
| EXPORT_the_purchase_lexicon | וַיִּשְׁקֹל … אַרְבַּע מֵאוֹת שֶׁקֶל כֶּסֶף עֹבֵר לַסֹּחֵר … וַיָּקָם הַשָּׂדֶה · va-yishqol … arba meot sheqel kesef over la-socher … va-yaqam ha-sadeh · THE MONEY AND THE DEED [flags 12, 15; census-exact]: SHAQAL ('weigh') debuts with a two-token Torah career (this payment + Exod 22:16's bride-price); SHEQEL debuts x2; KESEF tokens 7-11 complete a career that ran persons-then-land (tokens 2-5 were Gen 17's silver-bought men); MALE debuts in the full-price formula, SOCHER in the merchant-clause; the LEGAL QUM debuts doubled (the field 'arises' at 23:17/20 — the conveyance-formula the buffer keeps OUT of the qayem oath-family); the deed runs 'in the EARS' x3 and 'before the EYES' x1 at the GATE x2 (gen_38's shaar line landed); EFRON is spelled defective exactly once — at the weighing (the name diminishes at the money; he_plain-verified); SAFAD ('mourn') debuts with a two-token career (Sarah's funeral, Jacob's); BAKHAH token 2 lands gen_37's watch ON THE SILLUQ (both weep-tokens throne); the four single-arm verses are all courtesies; the chapter is the era's first God-empty narration (Elohim once, inside an honorific) and its third instrument-silent span |
| EXPORT_the_first_owned_ground | גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם … וְאַחֲרֵי־כֵן קָבַר אַבְרָהָם · ger-ve-toshav anokhi imakhem … ve-acharei-khen qavar avraham · THE STRANGER BUYS A GRAVE [the unit's reading]: the man who holds the whole land's promise introduces himself with the decree's own stranger-word (ger ve-toshav) and acquires exactly one field — for a tomb; QIRYAT-ARBA's only two Torah tokens are the two patriarch death-scenes (23:2, 35:27); EFRON's every out-of-span token is a burial-echo (25:9, 49:29-30, 50:13) and MAKHPELAH's other three tokens are the three burial-returns; QAVAR token 10 is 25:9 — Abraham himself into the same cave [watch]; SARAH's silence-arc: no tokens between 21:12 (God's 'listen to her voice') and 23:1's count — the letter retired her at the height of being heeded, and her five posthumous tokens are all memory or grave; the sons of TZOCHAR: one skeleton, two men (the same-lemma class). The chapter's rests are a cemetery: six arms end on bury/grave/dead words |
Oral notes (named, tiered, dual-track — never merged)
observation Bereshit Rabbah 58 (the span; the 127 and Esther's 127); Rashi at 23:1 (the equal goodness of her years), 23:2 (the small kaf tradition; the death beside the binding), 23:9 (makhpelah's doublings), 23:13 (natati), 23:16 (over la-socher); Bavli Bava Batra 100a (walking a purchase); Qiddushin 2a (qichah-qichah from sdeh efron); Eruvin 53a (the doubled cave); Bereshit Rabbah 79 (the three undisputed sites) — gen_39 Tier-A queue
מְעָרַת הַמַּכְפֵּלָה · (queue — named only) · The chain's files on this span: the equalized years, why the death follows the binding, what is doubled in the doubled cave, the betrothal-law minted from this purchase's take-word, and the three plots scripture records as bought. ALL NAMED ONLY — ein adam dan me-atzmo ('one may not derive on his own').
מְעָרַת הַמַּכְפֵּלָה · (queue — named only) · The chain's files on this span: the equalized years, why the death follows the binding, what is doubled in the doubled cave, the betrothal-law minted from this purchase's take-word, and the three plots scripture records as bought. ALL NAMED ONLY — ein adam dan me-atzmo ('one may not derive on his own').
observation Targum Onkelos Genesis 23 (Sefaria, fetched 2026-08-05)
קַבֵּל מִנָּנָא … וְקַבֵּל אַבְרָהָם מִן עֶפְרוֹן … וְקָם חֲקַל עֶפְרוֹן · qabel minana … u-qabel avraham min efron … ve-qam chaqal efron · Buffer-record summary for the frozen ledger: THE QABEL-STORM (the accept-family takes all five hear-imperatives, the narrative receipt itself — u-qabel avraham min efron — and the merchant-silver: seven firings; the listen-idiom's family absorbs an entire legal negotiation, extending frozen gen_37's qabel minah and gen_38's qabelta le-memri); THE QAM/QAYEM SPLIT (the legal conveyance kept in the qum-root with li-zvinohi 'as his purchase' added — property law and covenant-confirmation are two roots in the buffer's court: a negative result recorded against the qayem-family's spread); KAFELTA (Machpelah's etymology translated — 'the DOUBLED one'); RAV QODAM YYA (kodam-distancing on a human honorific); SILIN (the shekels updated to selas — the identification class on currency); dayar ve-totav (the sojourner-pair in the totav-family); achsanat qevura (the possession as inheritance); the raava-insert (23:8); the mourning kept plain. Deltas recorded, never merged.
קַבֵּל מִנָּנָא … וְקַבֵּל אַבְרָהָם מִן עֶפְרוֹן … וְקָם חֲקַל עֶפְרוֹן · qabel minana … u-qabel avraham min efron … ve-qam chaqal efron · Buffer-record summary for the frozen ledger: THE QABEL-STORM (the accept-family takes all five hear-imperatives, the narrative receipt itself — u-qabel avraham min efron — and the merchant-silver: seven firings; the listen-idiom's family absorbs an entire legal negotiation, extending frozen gen_37's qabel minah and gen_38's qabelta le-memri); THE QAM/QAYEM SPLIT (the legal conveyance kept in the qum-root with li-zvinohi 'as his purchase' added — property law and covenant-confirmation are two roots in the buffer's court: a negative result recorded against the qayem-family's spread); KAFELTA (Machpelah's etymology translated — 'the DOUBLED one'); RAV QODAM YYA (kodam-distancing on a human honorific); SILIN (the shekels updated to selas — the identification class on currency); dayar ve-totav (the sojourner-pair in the totav-family); achsanat qevura (the possession as inheritance); the raava-insert (23:8); the mourning kept plain. Deltas recorded, never merged.
Binary trees (ta'amim v3, glue bricks)
Gen.23.1 · parser unique · 12 words
PHRASE (binary 12w) וַ/יִּהְיוּ֙ חַיֵּ֣י שָׂרָ֔ה מֵאָ֥ה שָׁנָ֛ה וְ/…
├── PHRASE (binary 9w) וַ/יִּהְיוּ֙ חַיֵּ֣י שָׂרָ֔ה מֵאָ֥ה שָׁנָ֛ה וְ/…
│ ├── PHRASE (binary 3w) וַ/יִּהְיוּ֙ חַיֵּ֣י שָׂרָ֔ה
│ │ ├── [0] וַ/יִּהְיוּ֙ (pashta, rank=3)
│ │ └── [1-2] GLUE חַיֵּ֣י שָׂרָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) מֵאָ֥ה שָׁנָ֛ה וְ/עֶשְׂרִ֥ים שָׁנָ֖ה וְ/שֶׁ֣בַע…
│ ├── PHRASE (binary 4w) מֵאָ֥ה שָׁנָ֛ה וְ/עֶשְׂרִ֥ים שָׁנָ֖ה
│ │ ├── [3-4] GLUE מֵאָ֥ה שָׁנָ֛ה (tevir, rank=3)
│ │ └── [5-6] GLUE וְ/עֶשְׂרִ֥ים שָׁנָ֖ה (tifcha, rank=2)
│ └── [7-8] GLUE וְ/שֶׁ֣בַע שָׁנִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) שְׁנֵ֖י חַיֵּ֥י שָׂרָֽה
├── [9] שְׁנֵ֖י (tifcha, rank=2)
└── [10-11] GLUE חַיֵּ֥י שָׂרָֽה (silluq (verse-end emperor), rank=1)
Gen.23.2 · parser unique · 13 words
PHRASE (binary 13w) וַ/תָּ֣מָת שָׂרָ֗ה בְּ/קִרְיַ֥ת אַרְבַּ֛ע הִ֥וא…
├── PHRASE (binary 8w) וַ/תָּ֣מָת שָׂרָ֗ה בְּ/קִרְיַ֥ת אַרְבַּ֛ע הִ֥וא…
│ ├── PHRASE (binary 6w) וַ/תָּ֣מָת שָׂרָ֗ה בְּ/קִרְיַ֥ת אַרְבַּ֛ע הִ֥וא…
│ │ ├── [0-1] GLUE וַ/תָּ֣מָת שָׂרָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) בְּ/קִרְיַ֥ת אַרְבַּ֛ע הִ֥וא חֶבְר֖וֹן
│ │ ├── [2-3] GLUE בְּ/קִרְיַ֥ת אַרְבַּ֛ע (tevir, rank=3)
│ │ └── [4-5] GLUE הִ֥וא חֶבְר֖וֹן (tifcha, rank=2)
│ └── [6-7] GLUE בְּ/אֶ֣רֶץ כְּנָ֑עַן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יָּבֹא֙ אַבְרָהָ֔ם לִ/סְפֹּ֥ד לְ/שָׂרָ֖ה וְ/…
├── PHRASE (binary 2w) וַ/יָּבֹא֙ אַבְרָהָ֔ם
│ ├── [8] וַ/יָּבֹא֙ (pashta, rank=3)
│ └── [9] אַבְרָהָ֔ם (zaqef qatan, rank=2)
└── PHRASE (binary 3w) לִ/סְפֹּ֥ד לְ/שָׂרָ֖ה וְ/לִ/בְכֹּתָֽ/הּ
├── [10-11] GLUE לִ/סְפֹּ֥ד לְ/שָׂרָ֖ה (tifcha, rank=2)
└── [12] וְ/לִ/בְכֹּתָֽ/הּ (silluq (verse-end emperor), rank=1)
Gen.23.3 · parser unique · 10 words
PHRASE (binary 10w) וַ/יָּ֨קָם֙ אַבְרָהָ֔ם מֵ/עַ֖ל פְּנֵ֣י מֵת֑/וֹ …
├── 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 5w) וַ/יְדַבֵּ֥ר אֶל בְּנֵי חֵ֖ת לֵ/אמֹֽר
├── [5-8] GLUE וַ/יְדַבֵּ֥ר אֶל בְּנֵי חֵ֖ת (tifcha, rank=2)
└── [9] לֵ/אמֹֽר (silluq (verse-end emperor), rank=1)
Gen.23.4 · parser unique · 12 words
PHRASE (binary 12w) גֵּר וְ/תוֹשָׁ֥ב אָנֹכִ֖י עִמָּ/כֶ֑ם תְּנ֨וּ לִ…
├── PHRASE (binary 4w) גֵּר וְ/תוֹשָׁ֥ב אָנֹכִ֖י עִמָּ/כֶ֑ם
│ ├── [0-2] GLUE גֵּר וְ/תוֹשָׁ֥ב אָנֹכִ֖י (tifcha, rank=2)
│ └── [3] עִמָּ/כֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) תְּנ֨וּ לִ֤/י אֲחֻזַּת קֶ֨בֶר֙ עִמָּ/כֶ֔ם וְ/אֶ…
├── PHRASE (binary 5w) תְּנ֨וּ לִ֤/י אֲחֻזַּת קֶ֨בֶר֙ עִמָּ/כֶ֔ם
│ ├── [4-7] GLUE תְּנ֨וּ לִ֤/י אֲחֻזַּת קֶ֨בֶר֙ (pashta, rank=3)
│ └── [8] עִמָּ/כֶ֔ם (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/אֶקְבְּרָ֥ה מֵתִ֖/י מִ/לְּ/פָנָֽ/י
├── [9-10] GLUE וְ/אֶקְבְּרָ֥ה מֵתִ֖/י (tifcha, rank=2)
└── [11] מִ/לְּ/פָנָֽ/י (silluq (verse-end emperor), rank=1)
Gen.23.5 · parser unique · 7 words
PHRASE (binary 7w) וַ/יַּעֲנ֧וּ בְנֵי חֵ֛ת אֶת אַבְרָהָ֖ם לֵ/אמֹ֥ר… ├── PHRASE (binary 5w) וַ/יַּעֲנ֧וּ בְנֵי חֵ֛ת אֶת אַבְרָהָ֖ם │ ├── [0-2] GLUE וַ/יַּעֲנ֧וּ בְנֵי חֵ֛ת (tevir, rank=3) │ └── [3-4] GLUE אֶת אַבְרָהָ֖ם (tifcha, rank=2) └── [5-6] GLUE לֵ/אמֹ֥ר לֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.23.6 · parser unique · 20 words
PHRASE (binary 20w) שְׁמָעֵ֣/נוּ אֲדֹנִ֗/י נְשִׂ֨יא אֱלֹהִ֤ים אַתָּ…
├── PHRASE (binary 11w) שְׁמָעֵ֣/נוּ אֲדֹנִ֗/י נְשִׂ֨יא אֱלֹהִ֤ים אַתָּ…
│ ├── PHRASE (binary 6w) שְׁמָעֵ֣/נוּ אֲדֹנִ֗/י נְשִׂ֨יא אֱלֹהִ֤ים אַתָּ…
│ │ ├── [0-1] GLUE שְׁמָעֵ֣/נוּ אֲדֹנִ֗/י (revia, rank=3)
│ │ └── PHRASE (binary 4w) נְשִׂ֨יא אֱלֹהִ֤ים אַתָּה֙ בְּ/תוֹכֵ֔/נוּ
│ │ ├── [2-4] GLUE נְשִׂ֨יא אֱלֹהִ֤ים אַתָּה֙ (pashta, rank=3)
│ │ └── [5] בְּ/תוֹכֵ֔/נוּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) בְּ/מִבְחַ֣ר קְבָרֵ֔י/נוּ קְבֹ֖ר אֶת מֵתֶ֑/ךָ
│ ├── [6-7] GLUE בְּ/מִבְחַ֣ר קְבָרֵ֔י/נוּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) קְבֹ֖ר אֶת מֵתֶ֑/ךָ
│ ├── [8] קְבֹ֖ר (tifcha, rank=2)
│ └── [9-10] GLUE אֶת מֵתֶ֑/ךָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) אִ֣ישׁ מִמֶּ֔/נּוּ אֶת קִבְר֛/וֹ לֹֽא יִכְלֶ֥ה …
├── [11-12] GLUE אִ֣ישׁ מִמֶּ֔/נּוּ (zaqef qatan, rank=2)
└── PHRASE (binary 7w) אֶת קִבְר֛/וֹ לֹֽא יִכְלֶ֥ה מִמְּ/ךָ֖ מִ/קְּבֹ֥…
├── PHRASE (binary 5w) אֶת קִבְר֛/וֹ לֹֽא יִכְלֶ֥ה מִמְּ/ךָ֖
│ ├── [13-14] GLUE אֶת קִבְר֛/וֹ (tevir, rank=3)
│ └── [15-17] GLUE לֹֽא יִכְלֶ֥ה מִמְּ/ךָ֖ (tifcha, rank=2)
└── [18-19] GLUE מִ/קְּבֹ֥ר מֵתֶֽ/ךָ (silluq (verse-end emperor), rank=1)
Gen.23.7 · parser unique · 7 words
PHRASE (binary 7w) וַ/יָּ֧קָם אַבְרָהָ֛ם וַ/יִּשְׁתַּ֥חוּ לְ/עַם ה… ├── PHRASE (binary 5w) וַ/יָּ֧קָם אַבְרָהָ֛ם וַ/יִּשְׁתַּ֥חוּ לְ/עַם ה… │ ├── [0-1] GLUE וַ/יָּ֧קָם אַבְרָהָ֛ם (tevir, rank=3) │ └── [2-4] GLUE וַ/יִּשְׁתַּ֥חוּ לְ/עַם הָ/אָ֖רֶץ (tifcha, rank=2) └── [5-6] GLUE לִ/בְנֵי חֵֽת (silluq (verse-end emperor), rank=1)
Gen.23.8 · parser unique · 17 words
PHRASE (binary 17w) וַ/יְדַבֵּ֥ר אִתָּ֖/ם לֵ/אמֹ֑ר אִם יֵ֣שׁ אֶֽת נ…
├── PHRASE (binary 3w) וַ/יְדַבֵּ֥ר אִתָּ֖/ם לֵ/אמֹ֑ר
│ ├── [0-1] GLUE וַ/יְדַבֵּ֥ר אִתָּ֖/ם (tifcha, rank=2)
│ └── [2] לֵ/אמֹ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 14w) אִם יֵ֣שׁ אֶֽת נַפְשְׁ/כֶ֗ם לִ/קְבֹּ֤ר אֶת מֵתִ…
├── PHRASE (binary 8w) אִם יֵ֣שׁ אֶֽת נַפְשְׁ/כֶ֗ם לִ/קְבֹּ֤ר אֶת מֵתִ…
│ ├── [3-6] GLUE אִם יֵ֣שׁ אֶֽת נַפְשְׁ/כֶ֗ם (revia, rank=3)
│ └── PHRASE (binary 4w) לִ/קְבֹּ֤ר אֶת מֵתִ/י֙ מִ/לְּ/פָנַ֔/י
│ ├── [7-9] GLUE לִ/קְבֹּ֤ר אֶת מֵתִ/י֙ (pashta, rank=3)
│ └── [10] מִ/לְּ/פָנַ֔/י (zaqef qatan, rank=2)
└── PHRASE (binary 6w) שְׁמָע֕וּ/נִי וּ/פִגְעוּ לִ֖/י בְּ/עֶפְר֥וֹן בּ…
├── [11] שְׁמָע֕וּ/נִי (zaqef gadol, rank=2)
└── PHRASE (binary 5w) וּ/פִגְעוּ לִ֖/י בְּ/עֶפְר֥וֹן בֶּן צֹֽחַר
├── [12-13] GLUE וּ/פִגְעוּ לִ֖/י (tifcha, rank=2)
└── [14-16] GLUE בְּ/עֶפְר֥וֹן בֶּן צֹֽחַר (silluq (verse-end emperor), rank=1)
Gen.23.9 · parser unique · 17 words
PHRASE (binary 17w) וְ/יִתֶּן לִ֗/י אֶת מְעָרַ֤ת הַ/מַּכְפֵּלָה֙ אֲ…
├── PHRASE (binary 10w) וְ/יִתֶּן לִ֗/י אֶת מְעָרַ֤ת הַ/מַּכְפֵּלָה֙ אֲ…
│ ├── PHRASE (binary 7w) וְ/יִתֶּן לִ֗/י אֶת מְעָרַ֤ת הַ/מַּכְפֵּלָה֙ אֲ…
│ │ ├── [0-1] GLUE וְ/יִתֶּן לִ֗/י (revia, rank=3)
│ │ └── PHRASE (binary 5w) אֶת מְעָרַ֤ת הַ/מַּכְפֵּלָה֙ אֲשֶׁר ל֔/וֹ
│ │ ├── [2-4] GLUE אֶת מְעָרַ֤ת הַ/מַּכְפֵּלָה֙ (pashta, rank=3)
│ │ └── [5-6] GLUE אֲשֶׁר ל֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֖ר בִּ/קְצֵ֣ה שָׂדֵ֑/הוּ
│ ├── [7] אֲשֶׁ֖ר (tifcha, rank=2)
│ └── [8-9] GLUE בִּ/קְצֵ֣ה שָׂדֵ֑/הוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) בְּ/כֶ֨סֶף מָלֵ֜א יִתְּנֶ֥/נָּה לִ֛/י בְּ/תוֹכְ…
├── PHRASE (binary 5w) בְּ/כֶ֨סֶף מָלֵ֜א יִתְּנֶ֥/נָּה לִ֛/י בְּ/תוֹכְ…
│ ├── PHRASE (binary 4w) בְּ/כֶ֨סֶף מָלֵ֜א יִתְּנֶ֥/נָּה לִ֛/י
│ │ ├── [10-11] GLUE בְּ/כֶ֨סֶף מָלֵ֜א (geresh, rank=4)
│ │ └── [12-13] GLUE יִתְּנֶ֥/נָּה לִ֛/י (tevir, rank=3)
│ └── [14] בְּ/תוֹכְ/כֶ֖ם (tifcha, rank=2)
└── [15-16] GLUE לַ/אֲחֻזַּת קָֽבֶר (silluq (verse-end emperor), rank=1)
Gen.23.10 · parser unique · 18 words
PHRASE (binary 18w) וְ/עֶפְר֥וֹן יֹשֵׁ֖ב בְּ/ת֣וֹךְ בְּנֵי חֵ֑ת וַ/…
├── PHRASE (binary 5w) וְ/עֶפְר֥וֹן יֹשֵׁ֖ב בְּ/ת֣וֹךְ בְּנֵי חֵ֑ת
│ ├── [0-1] GLUE וְ/עֶפְר֥וֹן יֹשֵׁ֖ב (tifcha, rank=2)
│ └── [2-4] GLUE בְּ/ת֣וֹךְ בְּנֵי חֵ֑ת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) וַ/יַּעַן֩ עֶפְר֨וֹן הַ/חִתִּ֤י אֶת אַבְרָהָם֙ …
├── PHRASE (binary 8w) וַ/יַּעַן֩ עֶפְר֨וֹן הַ/חִתִּ֤י אֶת אַבְרָהָם֙ …
│ ├── [5-9] GLUE וַ/יַּעַן֩ עֶפְר֨וֹן הַ/חִתִּ֤י אֶת אַבְרָהָם֙ (pashta, rank=3)
│ └── [10-12] GLUE בְּ/אָזְנֵ֣י בְנֵי חֵ֔ת (zaqef qatan, rank=2)
└── PHRASE (binary 5w) לְ/כֹ֛ל בָּאֵ֥י שַֽׁעַר עִיר֖/וֹ לֵ/אמֹֽר
├── PHRASE (binary 4w) לְ/כֹ֛ל בָּאֵ֥י שַֽׁעַר עִיר֖/וֹ
│ ├── [13] לְ/כֹ֛ל (tevir, rank=3)
│ └── [14-16] GLUE בָּאֵ֥י שַֽׁעַר עִיר֖/וֹ (tifcha, rank=2)
└── [17] לֵ/אמֹֽר (silluq (verse-end emperor), rank=1)
Gen.23.11 · parser unique · 18 words
PHRASE (binary 18w) לֹֽא אֲדֹנִ֣/י שְׁמָעֵ֔/נִי הַ/שָּׂדֶה֙ נָתַ֣תּ…
├── PHRASE (binary 11w) לֹֽא אֲדֹנִ֣/י שְׁמָעֵ֔/נִי הַ/שָּׂדֶה֙ נָתַ֣תּ…
│ ├── [0-2] GLUE לֹֽא אֲדֹנִ֣/י שְׁמָעֵ֔/נִי (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) הַ/שָּׂדֶה֙ נָתַ֣תִּי לָ֔/ךְ וְ/הַ/מְּעָרָ֥ה אֲ…
│ ├── PHRASE (binary 3w) הַ/שָּׂדֶה֙ נָתַ֣תִּי לָ֔/ךְ
│ │ ├── [3] הַ/שָּׂדֶה֙ (pashta, rank=3)
│ │ └── [4-5] GLUE נָתַ֣תִּי לָ֔/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/הַ/מְּעָרָ֥ה אֲשֶׁר בּ֖/וֹ לְ/ךָ֣ נְתַתִּ֑י/…
│ ├── [6-8] GLUE וְ/הַ/מְּעָרָ֥ה אֲשֶׁר בּ֖/וֹ (tifcha, rank=2)
│ └── [9-10] GLUE לְ/ךָ֣ נְתַתִּ֑י/הָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) לְ/עֵינֵ֧י בְנֵי עַמִּ֛/י נְתַתִּ֥י/הָ לָּ֖/ךְ …
├── PHRASE (binary 5w) לְ/עֵינֵ֧י בְנֵי עַמִּ֛/י נְתַתִּ֥י/הָ לָּ֖/ךְ
│ ├── [11-13] GLUE לְ/עֵינֵ֧י בְנֵי עַמִּ֛/י (tevir, rank=3)
│ └── [14-15] GLUE נְתַתִּ֥י/הָ לָּ֖/ךְ (tifcha, rank=2)
└── [16-17] GLUE קְבֹ֥ר מֵתֶֽ/ךָ (silluq (verse-end emperor), rank=1)
Gen.23.12 · parser unique · 5 words
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 עַ֥ם הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.23.13 · parser unique · 21 words
PHRASE (binary 21w) וַ/יְדַבֵּ֨ר אֶל עֶפְר֜וֹן בְּ/אָזְנֵ֤י עַם הָ/…
├── PHRASE (binary 12w) וַ/יְדַבֵּ֨ר אֶל עֶפְר֜וֹן בְּ/אָזְנֵ֤י עַם הָ/…
│ ├── PHRASE (binary 7w) וַ/יְדַבֵּ֨ר אֶל עֶפְר֜וֹן בְּ/אָזְנֵ֤י עַם הָ/…
│ │ ├── PHRASE (binary 6w) וַ/יְדַבֵּ֨ר אֶל עֶפְר֜וֹן בְּ/אָזְנֵ֤י עַם הָ/…
│ │ │ ├── [0-2] GLUE וַ/יְדַבֵּ֨ר אֶל עֶפְר֜וֹן (geresh, rank=4)
│ │ │ └── [3-5] GLUE בְּ/אָזְנֵ֤י עַם הָ/אָ֨רֶץ֙ (pashta, rank=3)
│ │ └── [6] לֵ/אמֹ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) אַ֛ךְ אִם אַתָּ֥ה ל֖וּ שְׁמָעֵ֑/נִי
│ ├── PHRASE (binary 4w) אַ֛ךְ אִם אַתָּ֥ה ל֖וּ
│ │ ├── [7] אַ֛ךְ (tevir, rank=3)
│ │ └── [8-10] GLUE אִם אַתָּ֥ה ל֖וּ (tifcha, rank=2)
│ └── [11] שְׁמָעֵ֑/נִי (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) נָתַ֜תִּי כֶּ֤סֶף הַ/שָּׂדֶה֙ קַ֣ח מִמֶּ֔/נִּי …
├── PHRASE (binary 5w) נָתַ֜תִּי כֶּ֤סֶף הַ/שָּׂדֶה֙ קַ֣ח מִמֶּ֔/נִּי
│ ├── PHRASE (binary 3w) נָתַ֜תִּי כֶּ֤סֶף הַ/שָּׂדֶה֙
│ │ ├── [12] נָתַ֜תִּי (geresh, rank=4)
│ │ └── [13-14] GLUE כֶּ֤סֶף הַ/שָּׂדֶה֙ (pashta, rank=3)
│ └── [15-16] GLUE קַ֣ח מִמֶּ֔/נִּי (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/אֶקְבְּרָ֥ה אֶת מֵתִ֖/י שָֽׁמָּ/ה
├── [17-19] GLUE וְ/אֶקְבְּרָ֥ה אֶת מֵתִ֖/י (tifcha, rank=2)
└── [20] שָֽׁמָּ/ה (silluq (verse-end emperor), rank=1)
Gen.23.14 · parser unique · 6 words
PHRASE (binary 6w) וַ/יַּ֧עַן עֶפְר֛וֹן אֶת אַבְרָהָ֖ם לֵ/אמֹ֥ר לֽ… ├── PHRASE (binary 4w) וַ/יַּ֧עַן עֶפְר֛וֹן אֶת אַבְרָהָ֖ם │ ├── [0-1] GLUE וַ/יַּ֧עַן עֶפְר֛וֹן (tevir, rank=3) │ └── [2-3] GLUE אֶת אַבְרָהָ֖ם (tifcha, rank=2) └── [4-5] GLUE לֵ/אמֹ֥ר לֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.23.15 · parser unique · 14 words
PHRASE (binary 14w) אֲדֹנִ֣/י שְׁמָעֵ֔/נִי אֶרֶץ֩ אַרְבַּ֨ע מֵאֹ֧ת …
├── PHRASE (binary 11w) אֲדֹנִ֣/י שְׁמָעֵ֔/נִי אֶרֶץ֩ אַרְבַּ֨ע מֵאֹ֧ת …
│ ├── [0-1] GLUE אֲדֹנִ֣/י שְׁמָעֵ֔/נִי (zaqef qatan, rank=2)
│ └── PHRASE (binary 9w) אֶרֶץ֩ אַרְבַּ֨ע מֵאֹ֧ת שֶֽׁקֶל כֶּ֛סֶף בֵּינִ֥…
│ ├── PHRASE (binary 7w) אֶרֶץ֩ אַרְבַּ֨ע מֵאֹ֧ת שֶֽׁקֶל כֶּ֛סֶף בֵּינִ֥…
│ │ ├── [2-6] GLUE אֶרֶץ֩ אַרְבַּ֨ע מֵאֹ֧ת שֶֽׁקֶל כֶּ֛סֶף (tevir, rank=3)
│ │ └── [7-8] GLUE בֵּינִ֥/י וּ/בֵֽינְ/ךָ֖ (tifcha, rank=2)
│ └── [9-10] GLUE מַה הִ֑וא (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/אֶת מֵתְ/ךָ֖ קְבֹֽר
├── [11-12] GLUE וְ/אֶת מֵתְ/ךָ֖ (tifcha, rank=2)
└── [13] קְבֹֽר (silluq (verse-end emperor), rank=1)
Gen.23.16 · parser unique · 20 words
PHRASE (binary 20w) וַ/יִּשְׁמַ֣ע אַבְרָהָם֮ אֶל עֶפְרוֹן֒ וַ/יִּשׁ…
├── PHRASE (binary 14w) וַ/יִּשְׁמַ֣ע אַבְרָהָם֮ אֶל עֶפְרוֹן֒ וַ/יִּשׁ…
│ ├── PHRASE (binary 4w) וַ/יִּשְׁמַ֣ע אַבְרָהָם֮ אֶל עֶפְרוֹן֒
│ │ ├── [0-1] GLUE וַ/יִּשְׁמַ֣ע אַבְרָהָם֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [2-3] GLUE אֶל עֶפְרוֹן֒ (segol, rank=2)
│ └── PHRASE (binary 10w) וַ/יִּשְׁקֹ֤ל אַבְרָהָם֙ לְ/עֶפְרֹ֔ן אֶת הַ/כֶּ…
│ ├── PHRASE (binary 3w) וַ/יִּשְׁקֹ֤ל אַבְרָהָם֙ לְ/עֶפְרֹ֔ן
│ │ ├── [4-5] GLUE וַ/יִּשְׁקֹ֤ל אַבְרָהָם֙ (pashta, rank=3)
│ │ └── [6] לְ/עֶפְרֹ֔ן (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) אֶת הַ/כֶּ֕סֶף אֲשֶׁ֥ר דִּבֶּ֖ר בְּ/אָזְנֵ֣י בְ…
│ ├── [7-8] GLUE אֶת הַ/כֶּ֕סֶף (zaqef gadol, rank=2)
│ └── PHRASE (binary 5w) אֲשֶׁ֥ר דִּבֶּ֖ר בְּ/אָזְנֵ֣י בְנֵי חֵ֑ת
│ ├── [9-10] GLUE אֲשֶׁ֥ר דִּבֶּ֖ר (tifcha, rank=2)
│ └── [11-13] GLUE בְּ/אָזְנֵ֣י בְנֵי חֵ֑ת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אַרְבַּ֤ע מֵאוֹת֙ שֶׁ֣קֶל כֶּ֔סֶף עֹבֵ֖ר לַ/סֹּ…
├── PHRASE (binary 4w) אַרְבַּ֤ע מֵאוֹת֙ שֶׁ֣קֶל כֶּ֔סֶף
│ ├── [14-15] GLUE אַרְבַּ֤ע מֵאוֹת֙ (pashta, rank=3)
│ └── [16-17] GLUE שֶׁ֣קֶל כֶּ֔סֶף (zaqef qatan, rank=2)
└── PHRASE (binary 2w) עֹבֵ֖ר לַ/סֹּחֵֽר
├── [18] עֹבֵ֖ר (tifcha, rank=2)
└── [19] לַ/סֹּחֵֽר (silluq (verse-end emperor), rank=1)
Gen.23.17 · parser unique · 20 words
PHRASE (binary 20w) וַ/יָּ֣קָם שְׂדֵ֣ה עֶפְר֗וֹן אֲשֶׁר֙ בַּ/מַּכְפ…
├── PHRASE (binary 8w) וַ/יָּ֣קָם שְׂדֵ֣ה עֶפְר֗וֹן אֲשֶׁר֙ בַּ/מַּכְפ…
│ ├── PHRASE (binary 5w) וַ/יָּ֣קָם שְׂדֵ֣ה עֶפְר֗וֹן אֲשֶׁר֙ בַּ/מַּכְפ…
│ │ ├── [0-2] GLUE וַ/יָּ֣קָם שְׂדֵ֣ה עֶפְר֗וֹן (revia, rank=3)
│ │ └── PHRASE (binary 2w) אֲשֶׁר֙ בַּ/מַּכְפֵּלָ֔ה
│ │ ├── [3] אֲשֶׁר֙ (pashta, rank=3)
│ │ └── [4] בַּ/מַּכְפֵּלָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֖ר לִ/פְנֵ֣י מַמְרֵ֑א
│ ├── [5] אֲשֶׁ֖ר (tifcha, rank=2)
│ └── [6-7] GLUE לִ/פְנֵ֣י מַמְרֵ֑א (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) הַ/שָּׂדֶה֙ וְ/הַ/מְּעָרָ֣ה אֲשֶׁר בּ֔/וֹ וְ/כָ…
├── PHRASE (binary 4w) הַ/שָּׂדֶה֙ וְ/הַ/מְּעָרָ֣ה אֲשֶׁר בּ֔/וֹ
│ ├── [8] הַ/שָּׂדֶה֙ (pashta, rank=3)
│ └── [9-11] GLUE וְ/הַ/מְּעָרָ֣ה אֲשֶׁר בּ֔/וֹ (zaqef qatan, rank=2)
└── PHRASE (binary 8w) וְ/כָל הָ/עֵץ֙ אֲשֶׁ֣ר בַּ/שָּׂדֶ֔ה אֲשֶׁ֥ר בְּ…
├── PHRASE (binary 4w) וְ/כָל הָ/עֵץ֙ אֲשֶׁ֣ר בַּ/שָּׂדֶ֔ה
│ ├── [12-13] GLUE וְ/כָל הָ/עֵץ֙ (pashta, rank=3)
│ └── [14-15] GLUE אֲשֶׁ֣ר בַּ/שָּׂדֶ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אֲשֶׁ֥ר בְּ/כָל גְּבֻל֖/וֹ סָבִֽיב
├── [16-18] GLUE אֲשֶׁ֥ר בְּ/כָל גְּבֻל֖/וֹ (tifcha, rank=2)
└── [19] סָבִֽיב (silluq (verse-end emperor), rank=1)
Gen.23.18 · parser unique · 9 words
PHRASE (binary 9w) לְ/אַבְרָהָ֥ם לְ/מִקְנָ֖ה לְ/עֵינֵ֣י בְנֵי חֵ֑ת…
├── PHRASE (binary 5w) לְ/אַבְרָהָ֥ם לְ/מִקְנָ֖ה לְ/עֵינֵ֣י בְנֵי חֵ֑ת
│ ├── [0-1] GLUE לְ/אַבְרָהָ֥ם לְ/מִקְנָ֖ה (tifcha, rank=2)
│ └── [2-4] GLUE לְ/עֵינֵ֣י בְנֵי חֵ֑ת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) בְּ/כֹ֖ל בָּאֵ֥י שַֽׁעַר עִירֽ/וֹ
├── [5] בְּ/כֹ֖ל (tifcha, rank=2)
└── [6-8] GLUE בָּאֵ֥י שַֽׁעַר עִירֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.23.19 · parser unique · 18 words
PHRASE (binary 18w) וְ/אַחֲרֵי כֵן֩ קָבַ֨ר אַבְרָהָ֜ם אֶת שָׂרָ֣ה א…
├── PHRASE (binary 16w) וְ/אַחֲרֵי כֵן֩ קָבַ֨ר אַבְרָהָ֜ם אֶת שָׂרָ֣ה א…
│ ├── PHRASE (binary 14w) וְ/אַחֲרֵי כֵן֩ קָבַ֨ר אַבְרָהָ֜ם אֶת שָׂרָ֣ה א…
│ │ ├── PHRASE (binary 7w) וְ/אַחֲרֵי כֵן֩ קָבַ֨ר אַבְרָהָ֜ם אֶת שָׂרָ֣ה א…
│ │ │ ├── [0-3] GLUE וְ/אַחֲרֵי כֵן֩ קָבַ֨ר אַבְרָהָ֜ם (geresh, rank=4)
│ │ │ └── [4-6] GLUE אֶת שָׂרָ֣ה אִשְׁתּ֗/וֹ (revia, rank=3)
│ │ └── PHRASE (binary 7w) אֶל מְעָרַ֞ת שְׂדֵ֧ה הַ/מַּכְפֵּלָ֛ה עַל פְּנֵ֥…
│ │ ├── PHRASE (binary 4w) אֶל מְעָרַ֞ת שְׂדֵ֧ה הַ/מַּכְפֵּלָ֛ה
│ │ │ ├── [7-8] GLUE אֶל מְעָרַ֞ת (gershayim, rank=4)
│ │ │ └── [9-10] GLUE שְׂדֵ֧ה הַ/מַּכְפֵּלָ֛ה (tevir, rank=3)
│ │ └── [11-13] GLUE עַל פְּנֵ֥י מַמְרֵ֖א (tifcha, rank=2)
│ └── [14-15] GLUE הִ֣וא חֶבְר֑וֹן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) בְּ/אֶ֖רֶץ כְּנָֽעַן
├── [16] בְּ/אֶ֖רֶץ (tifcha, rank=2)
└── [17] כְּנָֽעַן (silluq (verse-end emperor), rank=1)
Gen.23.20 · parser unique · 11 words
PHRASE (binary 11w) וַ/יָּ֨קָם הַ/שָּׂדֶ֜ה וְ/הַ/מְּעָרָ֧ה אֲשֶׁר ב…
├── PHRASE (binary 8w) וַ/יָּ֨קָם הַ/שָּׂדֶ֜ה וְ/הַ/מְּעָרָ֧ה אֲשֶׁר ב…
│ ├── PHRASE (binary 6w) וַ/יָּ֨קָם הַ/שָּׂדֶ֜ה וְ/הַ/מְּעָרָ֧ה אֲשֶׁר ב…
│ │ ├── PHRASE (binary 5w) וַ/יָּ֨קָם הַ/שָּׂדֶ֜ה וְ/הַ/מְּעָרָ֧ה אֲשֶׁר ב…
│ │ │ ├── [0-1] GLUE וַ/יָּ֨קָם הַ/שָּׂדֶ֜ה (geresh, rank=4)
│ │ │ └── [2-4] GLUE וְ/הַ/מְּעָרָ֧ה אֲשֶׁר בּ֛/וֹ (tevir, rank=3)
│ │ └── [5] לְ/אַבְרָהָ֖ם (tifcha, rank=2)
│ └── [6-7] GLUE לַ/אֲחֻזַּת קָ֑בֶר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) מֵ/אֵ֖ת בְּנֵי חֵֽת
├── [8] מֵ/אֵ֖ת (tifcha, rank=2)
└── [9-10] GLUE בְּנֵי חֵֽת (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_39_machpelah_purchase — Sarah's death and the Machpelah purchase (23:1-20) [frozen]
final state: WORLD=['bnei_chet', 'efron', 'sarah'] (+2 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install']
=== S1 — The life-count: after STEP_Gn_23_1
וַיִּהְיוּ חַיֵּי שָׂרָה … שְׁנֵי חַיֵּי שָׂרָה (va-yihyu chayei sarah … shnei chayei sarah)
PASS WORLD += sarah (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.23.1'})
PASS Facts chayei-sarah HOLD (1 facts)
PASS no test, no name. (tests=0 names=0)
=== S2 — The death and the mourning: after STEP_Gn_23_2
וַתָּמָת שָׂרָה … לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ (va-tamat sarah … li-sepod le-sarah ve-livkotah)
PASS Facts va-tamat-sarah / li-sepod-ve-livkotah HOLD (3 facts)
PASS flags chevron as read-before-install (flagged=['chevron'])
PASS no test, no name. (tests=0 names=0)
=== S3 — The opening demand: after STEP_Gn_23_4
תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם (tenu li achuzat-qever imakhem)
PASS LET(tenu(achuzat_qever)) pushed and OPEN (queue=['tenu(achuzat_qever)'])
PASS Facts ger-ve-toshav HOLD. (4 facts)
=== S4 — The sons' two imperatives: after STEP_Gn_23_6
שְׁמָעֵנוּ אֲדֹנִי … בְּמִבְחַר קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ (shemaenu adoni … be-mivchar qevareinu qevor et-metekha)
PASS LET(shemaenu(adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)'])
PASS LET(qevor(be_mivchar_qevareinu)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)'])
PASS LET(tenu(achuzat_qever)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)'])
PASS Facts nesi-elohim HOLD. (5 facts)
=== S5 — The entreaty-compound: after STEP_Gn_23_9
שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן (shemauni u-figu-li be-efron)
PASS LET(shimuni_u_figu(be_efron)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)'])
PASS Facts ve-yiten-li-mearat-ha-makhpelah / be-khesef-male HOLD. (8 facts)
=== S6 — The gift-round: after STEP_Gn_23_11
לֹא־אֲדֹנִי שְׁמָעֵנִי … קְבֹר מֵתֶךָ (lo-adoni shemaeni … qevor metekha)
PASS LET(shemaeni(lo_adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)'])
PASS LET(qevor(et_metekha)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)'])
PASS Facts ha-sadeh-natati-lakh HOLD. (10 facts)
=== S7 — The wish and the take-demand: after STEP_Gn_23_13
לוּ שְׁמָעֵנִי … קַח מִמֶּנִּי (lu shemaeni … qach mimeni)
PASS LET(qach(kesef_ha_sadeh)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS Facts akh-im-atah-lu-shemaeni / natati-kesef-ha-sadeh HOLD. (12 facts)
=== S8 — The price-round: after STEP_Gn_23_15
אֲדֹנִי שְׁמָעֵנִי אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף (adoni shemaeni eretz arba meot sheqel-kesef)
PASS LET(shemaeni(adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)', 'shemaeni(adoni)'])
PASS Facts eretz-arba-meot-sheqel HOLD. (14 facts)
=== S9 — Cycle A — the hearing paid: after STEP_Gn_23_16
וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן וַיִּשְׁקֹל (va-yishma avraham el-efron va-yishqol)
PASS LET(tenu(achuzat_qever)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(shemaenu(adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(qevor(be_mivchar_qevareinu)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(shimuni_u_figu(be_efron)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(shemaeni(lo_adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(qevor(et_metekha)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS LET(qach(kesef_ha_sadeh)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qevor(et_metekha)', 'qach(kesef_ha_sadeh)'])
PASS Facts va-yishqol-arba-meot / over-la-socher HOLD. (15 facts)
=== S10 — Cycle B and the sealed field: after STEP_Gn_23_20
וַיָּקָם הַשָּׂדֶה וְהַמְּעָרָה … לְאַבְרָהָם לַאֲחֻזַּת־קָבֶר (va-yaqam ha-sadeh ve-ha-mearah … le-avraham la-achuzat-qaver)
PASS WORLD = {sarah, bnei_chet, efron} (created=['bnei_chet', 'efron', 'sarah'])
PASS LET(tenu(achuzat_qever)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS LET(shemaenu(adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS LET(qevor(be_mivchar_qevareinu)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS LET(shimuni_u_figu(be_efron)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS LET(shemaeni(lo_adoni)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS LET(qach(kesef_ha_sadeh)) pushed and OPEN (queue=['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)'])
PASS Facts va-yaqam-ha-sadeh-la-achuzat-qaver HOLD (19 facts)
PASS LEDGER stays EMPTY (open transaction) (ledger_days=[])
PASS no test, no name (tests=0 names=0)
PASS flags chevron/mamre as read-before-install. (flagged=['chevron', 'mamre'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_39_machpelah_purchase — 23:1-20
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_39_machpelah_purchase.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.
# =============================================================================
"""Sarah's death and the Machpelah purchase (23:1-20)"""
from machine import Machine
m = Machine("gen_39_machpelah_purchase")
# -------------------------- Gen.23.1 · THE_LIFE_COUNT ----------------------
# וַיִּהְיוּ חַיֵּי שָׂרָה מֵאָה שָׁנָה וְעֶשְׂרִים שָׁנָה וְשֶׁבַע שָׁנִים
# שְׁנֵי חַיֵּי שָׂרָה
# "And the life of Sarah was a hundred and seven and twenty years; these
# were the years of the life of Sarah."
m.step("Gen.23.1")
# ‹חַיֵּי שָׂרָה› (“alive Sarah”) — the world gains: sarah
m.install("sarah")
# ‹מֵאָה שָׁנָה וְעֶשְׂרִים שָׁנָה וְשֶׁבַע שָׁנִים› (“hundred years and-
# twenty years and-seven years”) — fact holds: chayei-sarah-hundred-and-
# twenty-and-seven-years
m.fact("chayei_sarah_meah_ve_esrim_ve_sheva_shanim")
# -------------------------- Gen.23.2 · THE_DEATH_AND_THE_MOURNING ----------
# וַתָּמָת שָׂרָה בְּקִרְיַת אַרְבַּע הִוא חֶבְרוֹן בְּאֶרֶץ כְּנָעַן
# וַיָּבֹא אַבְרָהָם לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ
# "And Sarah died in Kiriatharba—the same is Hebron—in the land of Canaan;
# and Abraham came to mourn for Sarah, and to weep for her."
m.step("Gen.23.2")
# ‹וַתָּמָת שָׂרָה› (“and-die Sarah”) — event: die — theme sarah
m.event("die", themes=["sarah"])
# ‹לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ› (“to-tear-the-hair-and-beat-the-b to-
# Sarah and-to-weep-her/its”) — event: mourn-weep — agent Abraham; theme
# sarah
m.event("mourn_weep", agent="avraham", themes=["sarah"])
# ‹וַתָּמָת שָׂרָה … לִסְפֹּד לְשָׂרָה וְלִבְכֹּתָהּ› (“and-die Sarah … to-
# tear-the-hair-and-beat-the-b to-Sarah and-to-weep-her/its”) — fact holds:
# and-die-sarah-in-in-Kirjath-Arba-hi-Hebron; to-me-sepod-to-sarah-and-
# livkotah
m.fact("va_tamat_sarah_be_qiryat_arba_hi_chevron",
"li_sepod_le_sarah_ve_livkotah")
# ‹הִוא חֶבְרוֹן› (“he/it Hebron”) — reads without prior install (flag, not
# fix): Hebron
m.presupposed("chevron")
# -------------------------- Gen.23.3 · THE_RISING_FROM_THE_DEAD_FACE -------
# וַיָּקָם אַבְרָהָם מֵעַל פְּנֵי מֵתוֹ וַיְדַבֵּר אֶל־בְּנֵי־חֵת לֵאמֹר
# "And Abraham rose up from before his dead, and spoke unto the children of
# Heth, saying:"
m.step("Gen.23.3")
# ‹וַיָּקָם … מֵעַל פְּנֵי מֵתוֹ וַיְדַבֵּר› (“and-arise … from-over face
# die-him/its and-speak”) — event: rise-speak — agent Abraham
m.event("rise_speak", agent="avraham")
# -------------------------- Gen.23.4 · THE_SOJOURNER_ASKS_FOR_A_GRAVE ------
# גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם
# וְאֶקְבְּרָה מֵתִי מִלְּפָנָי
# "'I am a stranger and a sojourner with you: give me a possession of a
# burying-place with you, that I may bury my dead out of my sight.'"
m.step("Gen.23.4")
# ‹גֵּר־וְתוֹשָׁב אָנֹכִי עִמָּכֶם› (“sojourner and-resident-alien with-
# you/your(pl)”) — fact holds: sojourner-and-resident-alien-anokhi-imakhem
m.fact("ger_ve_toshav_anokhi_imakhem")
# ‹תְּנוּ לִי אֲחֻזַּת־קֶבֶר עִמָּכֶם› (“set to-me/my something-seized
# sepulchre with-you/your(pl)”) — Abraham speaks a demand — LET:
# set(something-seized-sepulchre)
m.declare("avraham", "LET",
"tenu(achuzat_qever)")
# -------------------------- Gen.23.5 · THE_ANSWER_FRAME --------------------
# וַיַּעֲנוּ בְנֵי־חֵת אֶת־אַבְרָהָם לֵאמֹר לוֹ
# "And the children of Heth answered Abraham, saying unto him:"
m.step("Gen.23.5")
# ‹בְנֵי־חֵת› (“son Heth”) — the world gains: sons-of-Heth
m.install("bnei_chet")
# -------------------------- Gen.23.6 · THE_PRINCE_AND_THE_CHOICE_GRAVES ----
# שְׁמָעֵנוּ אֲדֹנִי נְשִׂיא אֱלֹהִים אַתָּה בְּתוֹכֵנוּ בְּמִבְחַר
# קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ אִישׁ מִמֶּנּוּ אֶת־קִבְרוֹ לֹא־יִכְלֶה
# מִמְּךָ מִקְּבֹר מֵתֶךָ
# "'Hear us, my lord: thou art a mighty prince among us; in the choice of
# our sepulchres bury thy dead; none of us shall withhold from thee his
# sepulchre, but that thou mayest bury thy dead.'"
m.step("Gen.23.6")
# ‹שְׁמָעֵנוּ אֲדֹנִי› (“hear-us/our lord-me/my”) — sons-of-Heth speaks a
# demand — LET: shemaenu(adoni)
m.declare("bnei_chet", "LET",
"shemaenu(adoni)")
# ‹בְּמִבְחַר קְבָרֵינוּ קְבֹר אֶת־מֵתֶךָ› (“in-select sepulchre-us/our bury
# obj-marker die-you/your”) — sons-of-Heth speaks a demand — LET: bury(in-
# select-qevareinu)
m.declare("bnei_chet", "LET",
"qevor(be_mivchar_qevareinu)")
# ‹נְשִׂיא אֱלֹהִים אַתָּה בְּתוֹכֵנוּ› (“prince God you in-midst-us/our”) —
# fact holds: prince-God-you-in-tokhenu
m.fact("nesi_elohim_atah_be_tokhenu")
# -------------------------- Gen.23.7 · THE_FIRST_BOW -----------------------
# וַיָּקָם אַבְרָהָם וַיִּשְׁתַּחוּ לְעַם־הָאָרֶץ לִבְנֵי־חֵת
# "And Abraham rose up, and bowed down to the people of the land, even to
# the children of Heth."
m.step("Gen.23.7")
# ‹וַיִּשְׁתַּחוּ לְעַם־הָאָרֶץ› (“and-afflict to-people the-earth”) —
# event: bow — agent Abraham
m.event("bow", agent="avraham")
# -------------------------- Gen.23.8 · THE_ENTREATY_COMPOUND ---------------
# וַיְדַבֵּר אִתָּם לֵאמֹר אִם־יֵשׁ אֶת־נַפְשְׁכֶם לִקְבֹּר אֶת־מֵתִי
# מִלְּפָנַי שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן בֶּן־צֹחַר
# "And he spoke with them, saying: 'If it be your mind that I should bury my
# dead out of my sight, hear me, and entreat for me to Ephron the son of
# Zohar,"
m.step("Gen.23.8")
# ‹שְׁמָעוּנִי וּפִגְעוּ־לִי בְּעֶפְרוֹן› (“hear-me/my and-impinge to-me/my
# in-Ephron”) — Abraham speaks a demand — LET: shimuni-and-impinge(in-
# Ephron)
m.declare("avraham", "LET",
"shimuni_u_figu(be_efron)")
# ‹אִם־יֵשׁ אֶת־נַפְשְׁכֶם לִקְבֹּר אֶת־מֵתִי› (“if there-is with living-
# being-you/your(pl) to-inter obj-marker die-me/my”) — fact holds: if-there-
# is-obj-marker-nafshekhem-liqbor-obj-marker-meti
m.fact("im_yesh_et_nafshekhem_liqbor_et_meti")
# -------------------------- Gen.23.9 · THE_FULL_PRICE_CLAUSE ---------------
# וְיִתֶּן־לִי אֶת־מְעָרַת הַמַּכְפֵּלָה אֲשֶׁר־לוֹ אֲשֶׁר בִּקְצֵה שָׂדֵהוּ
# בְּכֶסֶף מָלֵא יִתְּנֶנָּה לִי בְּתוֹכְכֶם לַאֲחֻזַּת־קָבֶר
# "that he may give me the cave of Machpelah, which he hath, which is in the
# end of his field; for the full price let him give it to me in the midst of
# you for a possession of a burying-place.'"
m.step("Gen.23.9")
# ‹וְיִתֶּן־לִי אֶת־מְעָרַת הַמַּכְפֵּלָה … בְּכֶסֶף מָלֵא› (“and-set to-
# me/my obj-marker cavern the-Machpelah … in-silver full”) — fact holds:
# and-set-to-me-obj-marker-cavern-the-makhpelah; in-silver-full-yitnenah-to-
# me
m.fact("ve_yiten_li_et_mearat_ha_makhpelah",
"be_khesef_male_yitnenah_li")
# -------------------------- Gen.23.10 · THE_ANSWER_FROM_INSIDE_THE_ROOM ----
# וְעֶפְרוֹן יֹשֵׁב בְּתוֹךְ בְּנֵי־חֵת וַיַּעַן עֶפְרוֹן הַחִתִּי
# אֶת־אַבְרָהָם בְּאָזְנֵי בְנֵי־חֵת לְכֹל בָּאֵי שַׁעַר־עִירוֹ לֵאמֹר
# "Now Ephron was sitting in the midst of the children of Heth; and Ephron
# the Hittite answered Abraham in the hearing of the children of Heth, even
# of all that went in at the gate of his city, saying:"
m.step("Gen.23.10")
# ‹וְעֶפְרוֹן יֹשֵׁב בְּתוֹךְ בְּנֵי־חֵת› (“and-Ephron dwell/sit in-midst
# son Heth”) — the world gains: Ephron
m.install("efron")
# ‹בְּאָזְנֵי בְנֵי־חֵת לְכֹל בָּאֵי שַׁעַר־עִירוֹ› (“in-
# broadness.-i.e.-the-ear son Heth to-all come/bring gate city-him/its”) —
# fact holds: in-oznei-vnei-Heth-to-all-baei-gate-iro
m.fact("be_oznei_vnei_chet_le_khol_baei_shaar_iro")
# -------------------------- Gen.23.11 · THE_GIFT_ROUND ---------------------
# לֹא־אֲדֹנִי שְׁמָעֵנִי הַשָּׂדֶה נָתַתִּי לָךְ וְהַמְּעָרָה אֲשֶׁר־בּוֹ
# לְךָ נְתַתִּיהָ לְעֵינֵי בְנֵי־עַמִּי נְתַתִּיהָ לָּךְ קְבֹר מֵתֶךָ
# "'Nay, my lord, hear me: the field give I thee, and the cave that is
# therein, I give it thee; in the presence of the sons of my people give I
# it thee; bury thy dead.'"
m.step("Gen.23.11")
# ‹לֹא־אֲדֹנִי שְׁמָעֵנִי› (“not lord-me/my hear-me/my”) — Ephron speaks a
# demand — LET: shemaeni(not-adoni)
m.declare("efron", "LET",
"shemaeni(lo_adoni)")
# ‹קְבֹר מֵתֶךָ› (“bury die-you/your”) — Ephron speaks a demand — LET:
# bury(obj-marker-metekha)
m.declare("efron", "LET",
"qevor(et_metekha)")
# ‹הַשָּׂדֶה נָתַתִּי לָךְ … נְתַתִּיהָ› (“the-field set to-you/your … set-
# her/its”) — fact holds: the-field-set-to-you-netatiha
m.fact("ha_sadeh_natati_lakh_netatiha")
# -------------------------- Gen.23.12 · THE_SECOND_BOW ---------------------
# וַיִּשְׁתַּחוּ אַבְרָהָם לִפְנֵי עַם הָאָרֶץ
# "And Abraham bowed down before the people of the land."
m.step("Gen.23.12")
# ‹וַיִּשְׁתַּחוּ … לִפְנֵי עַם הָאָרֶץ› (“and-afflict … to-face people the-
# earth”) — event: bow — agent Abraham
m.event("bow", agent="avraham")
# -------------------------- Gen.23.13 · THE_WISH_AND_THE_TAKE_DEMAND -------
# וַיְדַבֵּר אֶל־עֶפְרוֹן בְּאָזְנֵי עַם־הָאָרֶץ לֵאמֹר אַךְ אִם־אַתָּה לוּ
# שְׁמָעֵנִי נָתַתִּי כֶּסֶף הַשָּׂדֶה קַח מִמֶּנִּי וְאֶקְבְּרָה אֶת־מֵתִי
# שָׁמָּה
# "And he spoke unto Ephron in the hearing of the people of the land,
# saying: 'But if thou wilt, I pray thee, hear me: I will give the price of
# the field; take it of me, and I will bury my dead there.'"
m.step("Gen.23.13")
# ‹אַךְ אִם־אַתָּה לוּ שְׁמָעֵנִי נָתַתִּי כֶּסֶף הַשָּׂדֶה› (“indeed if you
# conditional-particle hear-me/my set silver the-field”) — fact holds:
# indeed-if-you-conditional-particle-shemaeni; set-silver-the-field
m.fact("akh_im_atah_lu_shemaeni",
"natati_kesef_ha_sadeh")
# ‹קַח מִמֶּנִּי› (“take from-me/my”) — Abraham speaks a demand — LET:
# take(silver-the-field)
m.declare("avraham", "LET",
"qach(kesef_ha_sadeh)")
# -------------------------- Gen.23.14 · THE_SECOND_ANSWER_FRAME ------------
# וַיַּעַן עֶפְרוֹן אֶת־אַבְרָהָם לֵאמֹר לוֹ
# "And Ephron answered Abraham, saying unto him:"
m.step("Gen.23.14")
# ‹וַיַּעַן עֶפְרוֹן› (“and-eye Ephron”) — event: answer — agent Ephron
m.event("answer", agent="efron")
# -------------------------- Gen.23.15 · THE_PRICE_ROUND --------------------
# אֲדֹנִי שְׁמָעֵנִי אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף בֵּינִי וּבֵינְךָ
# מַה־הִוא וְאֶת־מֵתְךָ קְבֹר
# "'My lord, hearken unto me: a piece of land worth four hundred shekels of
# silver, what is that betwixt me and thee? bury therefore thy dead.'"
m.step("Gen.23.15")
# ‹אֲדֹנִי שְׁמָעֵנִי› (“lord-me/my hear-me/my”) — Ephron speaks a demand —
# LET: shemaeni(adoni)
m.declare("efron", "LET",
"shemaeni(adoni)")
# ‹אֶרֶץ אַרְבַּע מֵאֹת שֶׁקֶל־כֶּסֶף … וְאֶת־מֵתְךָ קְבֹר› (“earth four
# hundred weight silver … and-obj-marker die-you/your bury”) — fact holds:
# earth-Kirjath-Arba-hundred-weight-silver-beini-and-veinkha; and-obj-
# marker-metkha-bury-resound
m.fact("eretz_arba_meot_sheqel_kesef_beini_u_veinkha",
"ve_et_metkha_qevor_resound")
# -------------------------- Gen.23.16 · CYCLE_A_THE_HEARING_AND_THE_WEIGHING -
# וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן וַיִּשְׁקֹל אַבְרָהָם לְעֶפְרֹן
# אֶת־הַכֶּסֶף אֲשֶׁר דִּבֶּר בְּאָזְנֵי בְנֵי־חֵת אַרְבַּע מֵאוֹת שֶׁקֶל
# כֶּסֶף עֹבֵר לַסֹּחֵר
# "And Abraham hearkened unto Ephron; and Abraham weighed to Ephron the
# silver, which he had named in the hearing of the children of Heth, four
# hundred shekels of silver, current money with the merchant."
m.step("Gen.23.16")
# ‹וַיִּשְׁמַע אַבְרָהָם אֶל־עֶפְרוֹן› (“and-hear Abraham to Ephron”) —
# demand settled (popped from the queue): shemaeni(adoni)
m.result("shemaeni(adoni)", tmark="t1")
# ‹וַיִּשְׁקֹל אַבְרָהָם לְעֶפְרֹן אֶת־הַכֶּסֶף› (“and-suspend Abraham to-
# Ephron obj-marker the-silver”) — event: weigh-silver — agent Abraham
m.event("weigh_silver", agent="avraham")
# ‹אַרְבַּע מֵאוֹת שֶׁקֶל כֶּסֶף עֹבֵר לַסֹּחֵר› (“four hundred weight
# silver pass-over to-travel-round”) — fact holds: and-suspend-Kirjath-Arba-
# hundred-weight-pass-over-to-travel-round
m.fact("va_yishqol_arba_meot_sheqel_over_la_socher")
# -------------------------- Gen.23.17 · THE_FIELD_ARISES -------------------
# וַיָּקָם שְׂדֵה עֶפְרוֹן אֲשֶׁר בַּמַּכְפֵּלָה אֲשֶׁר לִפְנֵי מַמְרֵא
# הַשָּׂדֶה וְהַמְּעָרָה אֲשֶׁר־בּוֹ וְכָל־הָעֵץ אֲשֶׁר בַּשָּׂדֶה אֲשֶׁר
# בְּכָל־גְּבֻלוֹ סָבִיב
# "So the field of Ephron, which was in Machpelah, which was before Mamre,
# the field, and the cave which was therein, and all the trees that were in
# the field, that were in all the border thereof round about, were made
# sure"
m.step("Gen.23.17")
# ‹וַיָּקָם שְׂדֵה עֶפְרוֹן … וְכָל־הָעֵץ … סָבִיב› (“and-arise field Ephron
# … and-all the-tree … circle”) — fact holds: and-arise-sdeh-Ephron-in-the-
# makhpelah; the-field-and-the-mearah-and-all-the-tree-circle
m.fact("va_yaqam_sdeh_efron_ba_makhpelah",
"ha_sadeh_ve_ha_mearah_ve_khol_ha_etz_saviv")
# -------------------------- Gen.23.18 · THE_PURCHASE_BEFORE_THE_GATE -------
# לְאַבְרָהָם לְמִקְנָה לְעֵינֵי בְנֵי־חֵת בְּכֹל בָּאֵי שַׁעַר־עִירוֹ
# "unto Abraham for a possession in the presence of the children of Heth,
# before all that went in at the gate of his city."
m.step("Gen.23.18")
# ‹לְאַבְרָהָם לְמִקְנָה› (“to-Abraham to-buying”) — fact holds: to-Abraham-
# to-miqnah-to-eyes-of-vnei-Heth
m.fact("le_avraham_le_miqnah_le_einei_vnei_chet")
# -------------------------- Gen.23.19 · CYCLE_B_THE_BURIAL -----------------
# וְאַחֲרֵי־כֵן קָבַר אַבְרָהָם אֶת־שָׂרָה אִשְׁתּוֹ אֶל־מְעָרַת שְׂדֵה
# הַמַּכְפֵּלָה עַל־פְּנֵי מַמְרֵא הִוא חֶבְרוֹן בְּאֶרֶץ כְּנָעַן
# "And after this, Abraham buried Sarah his wife in the cave of the field of
# Machpelah before Mamre—the same is Hebron—in the land of Canaan."
m.step("Gen.23.19")
# ‹קָבַר אַבְרָהָם אֶת־שָׂרָה אִשְׁתּוֹ› (“bury Abraham obj-marker Sarah
# woman-him/its”) — demand settled (popped from the queue): bury(obj-marker-
# metekha)
m.result("qevor(et_metekha)", tmark="t2")
# ‹עַל־פְּנֵי מַמְרֵא הִוא חֶבְרוֹן› (“over face Mamre he/it Hebron”) —
# reads without prior install (flag, not fix): Mamre
m.presupposed("mamre")
# -------------------------- Gen.23.20 · THE_CONVEYANCE_CODA ----------------
# וַיָּקָם הַשָּׂדֶה וְהַמְּעָרָה אֲשֶׁר־בּוֹ לְאַבְרָהָם לַאֲחֻזַּת־קָבֶר
# מֵאֵת בְּנֵי־חֵת
# "And the field, and the cave that is therein, were made sure unto Abraham
# for a possession of a burying-place by the children of Heth."
m.step("Gen.23.20")
# ‹וַיָּקָם הַשָּׂדֶה … לַאֲחֻזַּת־קָבֶר› (“and-arise the-field … to-
# something-seized sepulchre”) — fact holds: and-arise-the-field-to-
# something-seized-sepulchre-from-obj-marker-sons-of-Heth
m.fact("va_yaqam_ha_sadeh_la_achuzat_qaver_me_et_bnei_chet")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'bnei_chet', 'sarah', 'efron'}
assert m.presupposed_set() == {'mamre', 'chevron'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == ['tenu(achuzat_qever)', 'shemaenu(adoni)', 'qevor(be_mivchar_qevareinu)', 'shimuni_u_figu(be_efron)', 'shemaeni(lo_adoni)', 'qach(kesef_ha_sadeh)']
assert len(m.SPECS["log"]) == 8
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 2}
assert sorted(m.WORLD["facts"]) == sorted(['chayei_sarah_meah_ve_esrim_ve_sheva_shanim', 'va_tamat_sarah_be_qiryat_arba_hi_chevron', 'li_sepod_le_sarah_ve_livkotah', 'ger_ve_toshav_anokhi_imakhem', 'nesi_elohim_atah_be_tokhenu', 'im_yesh_et_nafshekhem_liqbor_et_meti', 've_yiten_li_et_mearat_ha_makhpelah', 'be_khesef_male_yitnenah_li', 'be_oznei_vnei_chet_le_khol_baei_shaar_iro', 'ha_sadeh_natati_lakh_netatiha', 'akh_im_atah_lu_shemaeni', 'natati_kesef_ha_sadeh', 'eretz_arba_meot_sheqel_kesef_beini_u_veinkha', 've_et_metkha_qevor_resound', 'va_yishqol_arba_meot_sheqel_over_la_socher', 'va_yaqam_sdeh_efron_ba_makhpelah', 'ha_sadeh_ve_ha_mearah_ve_khol_ha_etz_saviv', 'le_avraham_le_miqnah_le_einei_vnei_chet', 'va_yaqam_ha_sadeh_la_achuzat_qaver_me_et_bnei_chet'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 17
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")