Gerar: the dream-court, the prophet's prayer, the shut wombs (20:1-18) MODEL · REV 4 · GATES GREEN
הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא · hashev eshet-ha-ish ki-navi hu · 'Return the man's wife, for he is a prophet'
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: 282 tokens / 18 verses / 113 normalized strongs / 70 scan-flagged — the compact relief after 437 and 563 [flag 16]. Onkelos Genesis 20:1-18 fetched Tier-A, sequential, 0.5s — cache MISS x18 (the shortest run of this tenure), all appended to Data/FETCHLOG.md 2026-08-05. | established |
| B | Census battery | Two batched scripts (pre-stage + finishing battery). THE FOURFOLD DEBUT verified: navi 1/14 (20:7), palal 1-2/8 (20:7, 20:17), rapha 1/14 (20:17), chalom 1-2/37 (20:3, 20:6). PAIR- AND HAPAX-CLASSES verified census-exact: MOT TAMUT adjacency — exactly TWO Torah tokens (2:17, 20:7); CHATAAH GEDOLAH — exactly FOUR (20:9 + the golden calf x3: Exod 32:21/30/31); NIQAYON a Torah hapax (20:5); TOM ('integrity') tokens 1-2 both this exchange; YIRAT ('fear-of', construct noun) 1/3 (20:11; token 2 is Exod 20:20 — SINAI's stated purpose); RECHEM ('womb') 1/11 — born SHUT at 20:18 (career: Leah, Rachel, the Exod 13 consecrations); KESUT ('covering') 1/5 (career: the law's garment-covers). Careers: chata-verb tokens 1-2 both in-span (God's against-ME, the king's what-have-I); chasakh ('withhold') 1/4 (20:6 -> the Aqedah x2 -> Joseph); naga ('touch') token 3 (Eden's fence, Pharaoh's plague, Gerar's restraint; token 4 = 26:11's third episode); atzar tokens 2-3 (token 1 = 16:2's atzarani, frozen gen_32); harag tokens 6-8 binding the two sister-episodes (12:12, 20:4, 20:11); achot tokens 4-6 in-span (tokens 2-3 = 12:13/19, the frozen first round; token 1 = 4:22's Naamah); tzaddiq token 10 (the frozen gen_34 line lands); gerar tokens 2-3 (token 1 = 10:19's boundary — the presupposition's basis; tokens 4-5 = 26:1/6, the THIRD episode waits at Gerar too); yakhach ('set right') 1/8 at 20:16's ve-nokhachat (token 2 = 21:25 — Abraham REPROVES Avimelech next chapter, watch); hitu coded HVhp3cp (the plural verb on elohim — flag 15). Mood census: FIVE volitives only (hashev, ve-cheyeh, da, imri-in-quote, shev) — the lightest demand-field of the era; interrogatives x6; say-tokens 14; instrument: tov x1 (idiom), tzaddiq x1 (question), shaah/nichoach x0. | established |
| C | Structure choice | PER-VERSE x18 per the ratified pre-stage (no grouping; the dream-dialogue reads cleanly verse by verse). Tree anchors from mark_rank=1 for all 18 verses; notable thrones: 20:3's arms split the verdict (etnachta on ha-layla; the verse ends on baal 'husband' — hinkha met... ve-hi beulat BAAL: the sentence rests on the marriage); 20:4's etnachta ON taharog ('will You slay' — the question's kill-verb takes the rest); 20:7's etnachta on VE-CHEYEH ('and live') — the life-imperative at the rest, the death-doubling in the silluq arm [tree twin for flag 3-4]; 20:16's silluq on ve-nokhachat ('and she was RIGHTED') — the chapter's vindication-word closes its longest verse; 20:18's frame: etnachta on avimelekh, silluq on avraham — the two houses hold the closer's two arms. | established |
| D | Say-roster + speech map | 14 say-tokens, four voices: the narrated claim (20:2 — achoti hi, the frozen arrangement's nth execution), God's two dream-speeches (20:3 the verdict; 20:6-7 the concession, the return-command, the alternative), the king's three-question rebuke (20:9-10) and his quote-back defense (20:5), the prophet's only speech — the excuse (20:11-13: the fear-of-God guess, the half-truth, the wandering-clause, the quoted demand), the grant (20:15) and the damages-speech to SARAH (20:16 — the only speech addressed to her in the span; she speaks nothing: the contested woman is the chapter's silent center [prose]). GOD SPEAKS ONLY IN THE DREAM; the narrator holds the frame [structure]. | established |
| E | Logic format choice | Operator lines; NO ledger row. THE DEMAND FIELD [flags 2-6]: TWO pushes only — DECLARE(elohim, LET(hashev(eshet_ha_ish))) [20:7; the first divine push since gen_33] and DECLARE(avimelekh, LET(shev(ba_tov_be_einekha))) [20:15; gen_29's offer-imperative class]. ONE pop — RESULT at 20:14: SETTLED CYCLE #13 (root+stem echo, demandee compliance; 'SPECS empty' machine-asserted at the gate — the frozen-preferred device). The consequence-imperative (ve-cheyeh), the conditional death-sentence (da ki-mot tamut), and the QUOTED imri all hold as facts with flags 3-5. Final queue: ONE open. TESTS x0 [flags 7-8]. NAME x0, ASSIGN x0 — registry silent. WORLD: avimelekh only [flag 16] + 3 presupposed geography reads. LEDGER empty. | tested |
| F | Operator derivations + flags | Every operator quotes its class from frozen YAML opened this session: gen_31 (cycle #8's divine qechah — the counterexample that shapes the #13 claim; the flag-5 question law), gen_29 (13:9's offer-imperative, cycle #7's parent), gen_28 (the imri original, pushed and OPEN — the quoted-demand fence), gen_25 via session (the echo-receipt class), gen_33 (law-grammar futures), gen_34 (the tzaddiq-count line — LANDS; the question-law fence), gen_35 (the attribute-idiom NO-TEST class), gen_32 (atzarani — LANDS at 20:18), gen_12 (instrument discipline). Sixteen flags; the boldest are 2 (cycle #13 and its precisely-cut 'first'), 3-4 (the consequence- imperative and the conditional sentence held as facts), 6 (the grant-imperative push). | tested |
| G | Onkelos dual-track (Tier-A) | 18 verses fetched (all MISS). HEADLINE — THE TZALI VINDICATION: the letter's first pray-verb (20:7 ve-yitpalel; 20:17 va-yitpalel) is received by the buffer in ITS OWN root — VI-TZALEI alakh ('and he will PRAY for you'), VE-TZALI avraham ('and Abraham PRAYED'): the same tzali the buffer wrote OVER the stand-verb at frozen 18:22 and 19:27, two chapters before the Hebrew said pray — the anticipation vindicated in the debut verses [dual-track crown]. Second: THE MEMRA ENTERS THE DREAM — 20:3's va-yavo elohim ('God came') -> VA-ATA MEIMAR MIN QODAM YYY ('a WORD from before YHWH came'), and 20:6 again: the dream-court is a Memra-court (the Memra-arc's next firing after the frozen 15:1/15:6/17:2-11 chain). Third: THE 20:13 RECOMPOSITION — hitu oti elohim (the plural crux) rebuilt wholesale: 'when the PEOPLES went astray after the works of their hands, ME did YHWH bring NEAR to His fear' — the wandering transferred to idolaters, the prophet not wandered but drawn, the fear-of-God noun threaded back in [the buffer's boldest intervention of the tenure; named-only]. Repeat buffers consistent with frozen records: Qadesh -> REQAM and Shur -> CHAGRA (the identification class, exact); lead-for-take on the person (u-DVAR yat sarah x2 — 12:15's class); kodam-distancing (sinning BEFORE Me; revealed BEFORE Me for 'I know'); the zakkai-family carrying both the king's innocence (20:4's zakkai for goy-tzaddiq; 20:5's zakaut for clean hands) — the same root the buffer gave the plea's righteous; the shut-verb weld: 20:18's atzor-atzar -> MEICHAD ACHAD — the SAME achad the buffer used for Lot's door (19:6/10): doors and wombs close in one Aramaic verb [delta find]. Also: kesut einayim -> KESUT DIQAR ('a covering of HONOR' — the yeqara-root dignifying the hapax idiom); rapha -> ASI (the heal-family); ve-nokhachat -> ITOKHACHAT ('vindicated'); chataah gedolah -> CHOVA RABBA (the din-family's debt-word). Deltas recorded, never merged. | tested |
| H | TESTS / instrument discipline | ZERO TESTS [flags 7-8]: tov x1 as the grant's idiom (gen_35's frozen class), tzaddiq x1 as the king's question (gen_31's flag-5 law; the 15:6 and demand-on-God triages fenced a third time), shaah/nichoach x0 — machine-checked. The chapter runs a full trial and grades it entirely in speech [prose]. | established |
| I | Chain + oral queue | Tier-A queue named (oral_notes): Bereshit Rabbah 52; Rashi at 20:1 (the journey's why), 20:7 (navi), 20:13 (hitu's plural), 20:16 (kesut einayim); Bavli Makkot 9b (the ben-noach and the near-sin); Bava Qamma 92a (the prayed-for healed first — the chain's rule minted FROM 20:17 beside 21:1's seam); Berakhot 34b (prayer for others); the ten-trials frame. ALL NAMED ONLY — ein adam dan me-atzmo ('one may not derive on his own'). | established |
| J | Pre-flight + draft ship | Pre-flight 2026-08-05 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen36.py; draft guard bypassed for preview only). Ships as STATUS: DRAFT by the gen-6 block agent (mechanics only, third unit of its tenure); the main loop verifies quotes, re-runs censuses, rules on flags 1-16, and freezes through the standard gate chain. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_20_1 · Gen.20.1 · THE_JOURNEY_TO_GERAR
וַיִּסַּע מִשָּׁם אַבְרָהָם אַרְצָה הַנֶּגֶב וַיֵּשֶׁב בֵּין־קָדֵשׁ וּבֵין שׁוּר וַיָּגָר בִּגְרָר · va-yisa mi-sham avraham artzah ha-negev va-yeshev bein-qadesh u-vein shur va-yagor bi-gerar · [EN-AID/JPS] And Abraham journeyed from thence toward the land of the South, and dwelt between Kadesh and Shur; and he sojourned in Gerar.
ויסע משם אברהם ארצה הנגב וישב בין־קדש ובין שור · va-yisa mi-sham avraham artzah ha-negev va-yeshev bein-qadesh u-vein shur · journeyed south, settled between Qadesh and Shur (etnachta arm)
ויגר בגרר · va-yagor bi-gerar · and SOJOURNED in Gerar (verse-final bi-gerar)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | journey_sojourn(e1) ∧ Agent(e1, avraham) ∧ Goal(e1, gerar) = journey-sojourn(e1) ∧ Agent(e1, avraham) ∧ Goal(e1, gerar) MI-SHAM ('from THERE') — the letter's unnamed there is the frozen prayer-place of 19:27 [cross-unit prose, nothing crosses]. VA-YAGOR ('and he SOJOURNED') — the gur-verb of the sojourner-covenant (15:13's ger-clause; the mob's taunt 'he came to SOJOURN', frozen gen_35's 19:9): the taunted status is now Abraham's address [career, prose]. | וַיִּסַּע מִשָּׁם אַבְרָהָם … וַיָּגָר בִּגְרָר · va-yisa mi-sham avraham … va-yagor bi-gerar = and-yisa from-there avraham and-yagor bi-gerar | TIR-014 | tested |
| NOTE_PRESUPPOSED | gerar, qadesh, shur are READ without prior install (known geography) gen_29's frozen class [flag 16]: GERAR's token 1 is 10:19's nations-boundary (the letter drew the line before the story); QADESH and SHUR are frozen spans' geography (the war-annal, Hagar's road). Onkelos: Qadesh -> REQAM, Shur -> CHAGRA — the frozen identification-class buffers repeating exactly [dual-track]. | בֵּין־קָדֵשׁ וּבֵין שׁוּר … בִּגְרָר · bein-qadesh u-vein shur … bi-gerar = between-qadesh and-vein shur bi-gerar | TIR-026 | tested |
STEP_Gn_20_2 · Gen.20.2 · THE_SECOND_CLAIM_AND_THE_TAKING
וַיֹּאמֶר אַבְרָהָם אֶל־שָׂרָה אִשְׁתּוֹ אֲחֹתִי הִוא וַיִּשְׁלַח אֲבִימֶלֶךְ מֶלֶךְ גְּרָר וַיִּקַּח אֶת־שָׂרָה · va-yomer avraham el-sarah ishto achoti hi va-yishlach avimelekh melekh gerar va-yiqach et-sarah · [EN-AID/JPS] And Abraham said of Sarah his wife: 'She is my sister.' And Abimelech king of Gerar sent, and took Sarah.
ויאמר אברהם אל־שרה אשתו אחתי הוא · va-yomer avraham el-sarah ishto achoti hi · Abraham said OF Sarah his wife: she is my SISTER (etnachta arm)
וישלח אבימלך מלך גרר ויקח את־שרה · va-yishlach avimelekh melekh gerar va-yiqach et-sarah · Avimelech king of Gerar sent and TOOK Sarah (verse-final et-sarah)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(achoti_hi, t0) = HOLDS(achoti-hi, t0) THE SECOND CLAIM: achot ('sister') token 4 — tokens 2-3 are the FROZEN first episode (12:13's demand, 12:19's confession — gen_28's span; token 1 is 4:22's Naamah): the sister-word's whole narrative career so far is this ruse [census]. The claim executes the frozen standing arrangement RETOLD at 20:13 ('at every place we come, say of me') — the demand behind two walls, its nth execution here [flag 5's fence; cross-unit prose]. | אֲחֹתִי הִוא · achoti hi = achoti hi | — | tested |
| REGISTRY_INSTALL | WORLD += {avimelekh} Avimelech king of Gerar — the unit's only install (the court lives in his suffixes; the letter individuates no one else new) [flag 16]. | אֲבִימֶלֶךְ מֶלֶךְ גְּרָר · avimelekh melekh gerar = avimelekh melekh gerar | TIR-014 | tested |
| EVENT | take(e2) ∧ Agent(e2, avimelekh) ∧ Theme(e2, sarah) THE SECOND TAKING: va-yiqach — active where 12:15 was the rare passive (frozen gen_34's census note quoted: 'the take-verb carries that passive stem exactly TWICE in the Torah: 12:15 (va-tuqach — Sarai TAKEN into Pharaoh's house...)'): Pharaoh's house received her in the hidden-agent stem; Gerar's king takes in his own name [census, prose]. Onkelos: U-DVAR yat sarah ('and he LED Sarah') — the lead-for-take policy on the person, the frozen animacy class again [dual-track]. | וַיִּשְׁלַח … וַיִּקַּח אֶת־שָׂרָה · va-yishlach … va-yiqach et-sarah = and-yishlach and-yiqach sarah | TIR-014 | tested |
STEP_Gn_20_3 · Gen.20.3 · THE_DREAM_VERDICT
וַיָּבֹא אֱלֹהִים אֶל־אֲבִימֶלֶךְ בַּחֲלוֹם הַלָּיְלָה וַיֹּאמֶר לוֹ הִנְּךָ מֵת עַל־הָאִשָּׁה אֲשֶׁר־לָקַחְתָּ וְהִוא בְּעֻלַת בָּעַל · va-yavo elohim el-avimelekh ba-chalom ha-lailah va-yomer lo hinkha met al-ha-ishah asher-laqachta ve-hi beulat baal · [EN-AID/JPS] But God came to Abimelech in a dream of the night, and said to him: 'Behold, thou shalt die, because of the woman whom thou hast taken; for she is a man's wife.'
ויבא אלהים אל־אבימלך בחלום הלילה · va-yavo elohim el-avimelekh ba-chalom ha-lailah · God CAME to Avimelech in the night's DREAM (etnachta on ha-lailah)
ויאמר לו הנך מת על־האשה אשר־לקחת והוא בעלת בעל · va-yomer lo hinkha met al-ha-ishah asher-laqachta ve-hi beulat baal · behold — you are DEAD, over the taken woman: a husband's wife (verse-final baal)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | dream_say(e3) ∧ Agent(e3, elohim) ∧ Goal(e3, avimelekh) = dream-say(e3) ∧ Agent(e3, God) ∧ Goal(e3, avimelekh) CHALOM ('dream') TORAH DEBUT [flag 9]: the dream- revelation class opens — and on a GENTILE KING (its next tokens are Jacob's flocks and LABAN's warning: the class stays fond of outsiders) [census]. The device is the interior-speech class's outward twin: there speech stays inside a person (frozen gen_20/33/ 34's ladder); here God enters a person's sleep — the say-event carries the dream-frame, no new operator [device boundary]. Onkelos: VA-ATA MEIMAR MIN QODAM YYY ('a WORD from before YHWH came') — THE MEMRA ENTERS THE DREAM: the buffer's Word-arc (the frozen 15:1/15:6/17-chain) takes the night shift [dual-track]. | וַיָּבֹא אֱלֹהִים אֶל־אֲבִימֶלֶךְ בַּחֲלוֹם הַלָּיְלָה · va-yavo elohim el-avimelekh ba-chalom ha-lailah = and-yavo God to-avimelekh in-the-chalom the-lailah | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(hinkha_met_al_ha_ishah, t0) ∧ HOLDS(ve_hi_beulat_baal, t0) = HOLDS(hinkha-met-upon-the-woman, t0) ∧ HOLDS(and-hi-beulat-baal, t0) THE VERDICT OPENS THE TRIAL: hinkha met ('behold, you are DEAD') — a participial death-sentence on a sleeping man, grounded in one legal fact: BEULAT BAAL ('a husband's wife' — the beulat-idiom's debut; the verse RESTS on baal) [morph + tree fact]. The court convenes before the defense is heard — and the whole trial (verdict, defense, concession, alternative sentence) happens inside the dream [structure, prose]. | הִנְּךָ מֵת עַל־הָאִשָּׁה אֲשֶׁר־לָקַחְתָּ וְהִוא בְּעֻלַת בָּעַל · hinkha met al-ha-ishah asher-laqachta ve-hi beulat baal = hinkha met upon-the-woman which-laqachta and-hi beulat baal | — | tested |
| WITNESS_READ | WITNESS-READ(gentile_dream, prophecy_grade_carried_by_both_spine_members) = WITNESS-READ(gentile-dream, prophecy-grade-carried-by-both-spine-members) BOTH SPINE MEMBERS ENCODE THE SAME GRADE, NEITHER CITING THE OTHER [claim G36-13]. Bereshit Rabbah states the machine outright: the prophets of the nations receive at NIGHT, by half-speech, from behind a curtain, as one speaks to a concubine - this king enrolled in the census beside Balaam and Laban - where Israel's prophets receive in full and direct speech. Onkelos carries the identical distinction by a different device, routing this revelation through the WORD - 'the Word from before the LORD came to Avimelech' - where Abraham's revelations in these units come direct. The chain says it; the translation encodes it. [folded shape: dual-track translation] | — | Bereshit Rabbah 52:5, Bereshit Rabbah 74:7, Onkelos Genesis 20:3 | witnessed |
STEP_Gn_20_4 · Gen.20.4 · THE_KINGS_COUNT_QUESTION
וַאֲבִימֶלֶךְ לֹא קָרַב אֵלֶיהָ וַיֹּאמַר אֲדֹנָי הֲגוֹי גַּם־צַדִּיק תַּהֲרֹג · va-avimelekh lo qarav eleha va-yomar adonai ha-goy gam-tzaddiq taharog · [EN-AID/JPS] Now Abimelech had not come near her; and he said: 'Lord, wilt Thou slay even a righteous nation?
ואבימלך לא קרב אליה · va-avimelekh lo qarav eleha · and Avimelech had NOT come near her (etnachta arm — the narrator's alibi)
ויאמר אדני הגוי גם־צדיק תהרג · va-yomar adonai ha-goy gam-tzaddiq taharog · my Lord — will You slay a nation even RIGHTEOUS? (verse-final taharog)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(lo_qarav_eleha, t0) ∧ HOLDS(ha_goy_gam_tzaddiq_taharog, t0) = HOLDS(not-qarav-eleha, t0) ∧ HOLDS(the-goy-also-tzaddiq-taharog, t0) THE COUNT-ARGUMENT RE-RUN BY A KING [flag 8]: TZADDIQ token 10 — frozen gen_34's line LANDS, quoted: 'Token 10 is 20:4 — Avimelech's wilt Thou slay even a righteous nation? — the count-argument's next token is the same argument' [LANDED]. And the discipline holds a THIRD time: the sentence is INTERROGATIVE- coded (HTi on ha-goy) — gen_31's flag-5 law, quoted: 'no DECLARE mood exists for questions and none is invented' — NO TEST fires (the instrument-word is a question's noun), NO demand-on-God (the open owner triage sits one word away, untouched). ADONAI — Strong 136, token 8: the HOLY my-Lord's first token in a FOREIGN mouth (tokens 1-6 Abraham, 7 Lot — the word's widening circle: patriarch, nephew, Philistine king) [census; the dispute-file's calm token: DB and context agree here]. HARAG token 7 — the kill-verb binds the episodes: feared in Egypt (12:12, frozen gen_28), protested at Gerar, confessed at 20:11 [census]. The narrator's alibi-clause (lo qarav 'he had not come NEAR') holds the etnachta arm — the approach-vocabulary negated where Sodom's was battering [prose]. | לֹא קָרַב אֵלֶיהָ … הֲגוֹי גַּם־צַדִּיק תַּהֲרֹג · lo qarav eleha … ha-goy gam-tzaddiq taharog = not qarav eleha the-goy also-tzaddiq taharog | — | tested |
STEP_Gn_20_5 · Gen.20.5 · THE_INTEGRITY_DEFENSE
הֲלֹא הוּא אָמַר־לִי אֲחֹתִי הִוא וְהִיא־גַם־הִוא אָמְרָה אָחִי הוּא בְּתָם־לְבָבִי וּבְנִקְיֹן כַּפַּי עָשִׂיתִי זֹאת · ha-lo hu amar-li achoti hi ve-hi-gam-hi amrah achi hu be-tom-levavi u-ve-niqyon kapai asiti zot · [EN-AID/JPS] Said he not himself unto me: She is my sister? and she, even she herself said: He is my brother. In the simplicity of my heart and the innocency of my hands have I done this.'
הלא הוא אמר־לי אחתי הוא והיא־גם־הוא אמרה אחי הוא · ha-lo hu amar-li achoti hi ve-hi-gam-hi amrah achi hu · did HE not say sister — and SHE, she too, said brother (etnachta arm)
בתם־לבבי ובנקין כפי עשיתי זאת · be-tom-levavi u-ve-niqyon kapai asiti zot · in my heart's INTEGRITY and my hands' CLEANNESS I did this (verse-final zot)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(hu_amar_li_ve_hi_gam_hi_amrah, t0) ∧ HOLDS(be_tom_levavi_u_ve_niqyon_kapai, t0) = HOLDS(that-amar-to-me-and-hi-also-hi-amrah, t0) ∧ HOLDS(in-tom-levavi-and-and-niqyon-kapai, t0) THE INNOCENCE LEXICON IS BORN AND SPENT HERE [flag 12; census-exact]: TOM ('integrity') token 1 — its only narrative tokens are this claim and God's echo (20:6); NIQAYON ('cleanness') a TORAH HAPAX — the clean-hands word exists once, in a Philistine's mouth, and Sarah's own voice is the defense's second witness (ve-hi-gam-hi amrah 'and SHE, she too, said' — her only reported speech of the span, quoted by the defendant) [census, prose]. Onkelos: be-QASHITUT libbi u-ve-ZAKAUT yedai — the innocence rendered in the zakkai-family, the same root the buffer gave the plea's righteous [dual-track]. | הֲלֹא הוּא אָמַר־לִי … בְּתָם־לְבָבִי וּבְנִקְיֹן כַּפַּי · ha-lo hu amar-li … be-tom-levavi u-ve-niqyon kapai = the-not that amar-to-me in-tom-levavi and-and-niqyon kapai | — | tested |
STEP_Gn_20_6 · Gen.20.6 · THE_CONCESSION_AND_THE_WITHHOLDING
וַיֹּאמֶר אֵלָיו הָאֱלֹהִים בַּחֲלֹם גַּם אָנֹכִי יָדַעְתִּי כִּי בְתָם־לְבָבְךָ עָשִׂיתָ זֹּאת וָאֶחְשֹׂךְ גַּם־אָנֹכִי אוֹתְךָ מֵחֲטוֹ־לִי עַל־כֵּן לֹא־נְתַתִּיךָ לִנְגֹּעַ אֵלֶיהָ · va-yomer elav ha-elohim ba-chalom gam anokhi yadati ki ve-tom-levavkha asita zot va-echsokh gam-anokhi otkha me-chato-li al-ken lo-netatikha lingoa eleha · [EN-AID/JPS] And God said unto him in the dream: 'Yea, I know that in the simplicity of thy heart thou hast done this, and I also withheld thee from sinning against Me. Therefore suffered I thee not to touch her.
ויאמר אליו האלהים בחלם גם אנכי ידעתי כי בתם־לבבך עשית זאת ואחשך גם־אנכי אותך מחטו־לי · va-yomer elav ha-elohim ba-chalom gam anokhi yadati ki ve-tom-levavkha asita zot va-echsokh gam-anokhi otkha me-chato-li · I KNOW your integrity — and I WITHHELD you from sinning AGAINST ME (etnachta arm)
על־כן לא־נתתיך לנגע אליה · al-ken lo-netatikha lingoa eleha · therefore I did not let you TOUCH her (verse-final eleha)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(gam_anokhi_yadati_ve_tom_levavkha, t0) ∧ HOLDS(va_echsokh_otkha_me_chato_li, t0) ∧ HOLDS(lo_netatikha_lingoa, t0) = HOLDS(also-anokhi-yadati-and-tom-levavkha, t0) ∧ HOLDS(and-echsokh-otkha-from-chato-to-me, t0) ∧ HOLDS(not-netatikha-lingoa, t0) THE CONCESSION: God grants the integrity-claim in the claimant's own idiom (be-tom-levavkha — tom token 2, the word's last narrative token) [census]. CHASAKH ('withhold') TORAH DEBUT [flag 13]: GOD withholds the king from sin — the verb's four Torah tokens run to the AQEDAH's crown (22:12/16's 'you did not WITHHOLD your son') and Joseph's refusal (39:9): divine restraint becomes human surrender [census arc, prose]. CHATA-VERB token 1: me-chato-LI ('from sinning AGAINST ME') — the wronged party is GOD, not the husband: the letter's moral geometry in one suffix [census; token 2 is the king's chatati at 20:9 — the sin-verb's debut pair is this court]. NAGA ('touch') token 3 — the touch-chain: Eden's fence (3:3), the plague on Pharaoh's house (12:17, the FIRST sister-court, frozen gen_28's span), Gerar's restraint ('I did not LET you touch') — and token 4 is 26:11: Avimelech's own decree in the THIRD episode [census]. Onkelos: AF QODAMAI GELEI ('before Me also it is REVEALED') for yadati — the know-verb kodam-distanced (the frozen 18:19 policy); me-chato-li -> 'sinning BEFORE Me' [dual-track]. | יָדַעְתִּי … וָאֶחְשֹׂךְ … מֵחֲטוֹ־לִי … לֹא־נְתַתִּיךָ לִנְגֹּעַ · yadati … va-echsokh … me-chato-li … lo-netatikha lingoa = yadati and-echsokh from-chato-to-me not-netatikha lingoa | — | tested |
| WITNESS_READ | WITNESS-READ(withheld_sin, agency_assigned_away_from_the_subject) = WITNESS-READ(withheld-sin, agency-assigned-away-from-the-subject) THE RESTRAINT WAS NOT HIS [claim G36-15]. 'I also withheld you from sinning against Me' is read with the phrase turned - your inclination is MINE - and argued by the horse-and-rider parable: the restraint was Mine, so the praise is Mine. The machine's withheld-sin operator is given an explicit agency reading that takes the credit away from its own subject. [folded shape: kept record] | — | Bereshit Rabbah 52:7 | witnessed |
STEP_Gn_20_7 · Gen.20.7 · THE_PROPHET_AND_THE_RETURN_COMMAND
וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא וְיִתְפַּלֵּל בַּעַדְךָ וֶחְיֵה וְאִם־אֵינְךָ מֵשִׁיב דַּע כִּי־מוֹת תָּמוּת אַתָּה וְכָל־אֲשֶׁר־לָךְ · ve-atah hashev eshet-ha-ish ki-navi hu ve-yitpalel baadkha ve-cheyeh ve-im-einkha meshiv da ki-mot tamut atah ve-khol-asher-lakh · [EN-AID/JPS] Now therefore restore the man's wife; for he is a prophet, and he shall pray for thee, and thou shalt live; and if thou restore her not, know thou that thou shalt surely die, thou, and all that are thine.'
ועתה השב אשת־האיש כי־נביא הוא ויתפלל בעדך וחיה · ve-atah hashev eshet-ha-ish ki-navi hu ve-yitpalel baadkha ve-cheyeh · RETURN the man's wife — a PROPHET: he will PRAY for you — and LIVE (etnachta ON ve-cheyeh)
ואם־אינך משיב דע כי־מות תמות אתה וכל־אשר־לך · ve-im-einkha meshiv da ki-mot tamut atah ve-khol-asher-lakh · and if you do not return her — DYING YOU SHALL DIE, you and all yours (verse-final lakh)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(elohim, LET(hashev(eshet_ha_ish))) = DECLARE(God, LET(hashev(wife-of-the-man))) THE FIRST DIVINE PUSH SINCE gen_33 [flag 2]: hashev ('RETURN') — imperative Vhv2ms, in the dream: after a chapter where God commanded nothing (frozen gen_34) and a chapter where the divine traffic ran through agents (frozen gen_35), the divine mood returns in two syllables. Pushed; its receipt is seven verses ahead in its own root [the pop at STEP_Gn_20_14 — cycle #13]. NAVI ('prophet') TORAH DEBUT [flag 10]: the prophet-word is born as the REASON for the return — ki-navi hu — and its stated function is INTERCESSION: ve-yitpalel baadkha ('and he will PRAY for you') — PALAL token 1, a law-grammar future (no push, gen_33's reframe): the office debuts not as foreteller but as pray-er [census, prose]. Onkelos: VI-TZALEI alakh — the buffer receives the letter's first pray-verb in ITS OWN tzali root, the verb it wrote over Abraham's standing at frozen 18:22/19:27 two chapters early: the anticipation vindicated [dual-track headline]. | וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ · ve-atah hashev eshet-ha-ish = you hashev wife-of-the-man | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(ve_yitpalel_baadkha_ve_cheyeh, t0) = HOLDS(and-yitpalel-baadkha-and-cheyeh, t0) VE-CHEYEH ('and LIVE') — A CONSEQUENCE-IMPERATIVE HELD AS FACT [flag 3, the staged weigh]: the imperative rides AFTER the interposed intercession-future — not one breath with hashev (the compound law's one-breath test fails); classical result-imperative ('that you may live'). The etnachta RESTS on it: the verse's two arms are live-or-die [tree fact]. The push-alternative (the bare mood-decides reading) is named for the owner. | וְיִתְפַּלֵּל בַּעַדְךָ וֶחְיֵה · ve-yitpalel baadkha ve-cheyeh = and-yitpalel baadkha and-cheyeh | — | tested |
| PRECONDITION_STATE | HOLDS(im_einkha_meshiv_da_ki_mot_tamut, t0) = HOLDS(if-einkha-meshiv-da-when-dying-you-shall-die, t0) THE CONDITIONAL DEATH-SENTENCE AS ONE FACT [flag 4, the staged weigh]: the da-imperative ('know!') sits INSIDE the if-branch — a conditional demand whose protasis DIES at 20:14's return: no conditional- demand device exists and none is invented; the whole im-clause is one fact (case-speech on one man — lev_13's HANDLER class declined; the sa_u_ree attention-imperative push-alternative named). THE PAIR-CLASS FIND [census-exact]: MOT TAMUT ('dying you shall DIE') has exactly TWO Torah tokens — Eden's ban (2:17) and this dream: the death-doubling exists at the tree and at Gerar, nowhere else in the Torah — and both tokens guard another man's boundary [census; the letter's own echo, prose]. | וְאִם־אֵינְךָ מֵשִׁיב דַּע כִּי־מוֹת תָּמוּת · ve-im-einkha meshiv da ki-mot tamut = and-if-einkha meshiv da when-dying you-shall-die | — | tested |
| WITNESS_READ | WITNESS-READ(know_you_shall_die, second_leg_of_no_forewarning) = WITNESS-READ(know-you-shall-die, second-leg-fowl-no-forewarning) THE SECOND LEG OF A NOAHIDE PROCEDURAL RULE [claim G36-14]. From 'know that you shall surely die' - spoken with no prior warning given - the chain takes a second derivation that the descendants of Noah are liable WITHOUT forewarning; both legs of that law sit inside this parashah's own spans. The same verse answers two questions at once: who will placate him - HE IS A PROPHET; and who will tell the world - he will PRAY for you. [folded shape: priced law] | — | Bereshit Rabbah 52:8 | witnessed |
STEP_Gn_20_8 · Gen.20.8 · THE_COURT_FEARS
וַיַּשְׁכֵּם אֲבִימֶלֶךְ בַּבֹּקֶר וַיִּקְרָא לְכָל־עֲבָדָיו וַיְדַבֵּר אֶת־כָּל־הַדְּבָרִים הָאֵלֶּה בְּאָזְנֵיהֶם וַיִּירְאוּ הָאֲנָשִׁים מְאֹד · va-yashkem avimelekh ba-boqer va-yiqra le-khol-avadav va-yedaber et-kol-ha-devarim ha-eleh be-ozneihem va-yiru ha-anashim meod · [EN-AID/JPS] And Abimelech rose early in the morning, and called all his servants, and told all these things in their ears; and the men were sore afraid.
וישכם אבימלך בבקר ויקרא לכל־עבדיו וידבר את־כל־הדברים האלה באזניהם · va-yashkem avimelekh ba-boqer va-yiqra le-khol-avadav va-yedaber et-kol-ha-devarim ha-eleh be-ozneihem · he rose early, told all these words in his servants' ears (etnachta arm)
וייראו האנשים מאד · va-yiru ha-anashim meod · and the men FEARED greatly (verse-final meod)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | report_fear(e4) ∧ Agent(e4, avimelekh) = report-fear(e4) ∧ Agent(e4, avimelekh) VA-YASHKEM ba-boqer ('rose EARLY in the morning') — the dawn-rise formula one chapter after Abraham's smoke-watch dawn (frozen gen_35's 19:27): two mornings, two men rising to face a verdict [cross-unit echo, prose]. The whole dream read into the court's ears — and the FEAR the prophet said the place lacked (20:11's guess, three verses ahead) is the first thing the place shows: va-yiru meod [prose; the letter's own rebuttal, held flat]. | וַיַּשְׁכֵּם … וַיְדַבֵּר … וַיִּירְאוּ הָאֲנָשִׁים מְאֹד · va-yashkem … va-yedaber … va-yiru ha-anashim meod = and-yashkem and-yedaber and-yiru the-anashim very | TIR-014 | tested |
STEP_Gn_20_9 · Gen.20.9 · THE_GREAT_SIN_REBUKE
וַיִּקְרָא אֲבִימֶלֶךְ לְאַבְרָהָם וַיֹּאמֶר לוֹ מֶה־עָשִׂיתָ לָּנוּ וּמֶה־חָטָאתִי לָךְ כִּי־הֵבֵאתָ עָלַי וְעַל־מַמְלַכְתִּי חֲטָאָה גְדֹלָה מַעֲשִׂים אֲשֶׁר לֹא־יֵעָשׂוּ עָשִׂיתָ עִמָּדִי · va-yiqra avimelekh le-avraham va-yomer lo meh-asita lanu u-meh-chatati lakh ki-heveta alai ve-al-mamlakhti chataah gedolah maasim asher lo-yeasu asita imadi · [EN-AID/JPS] Then Abimelech called Abraham, and said unto him: 'What hast thou done unto us? and wherein have I sinned against thee, that thou hast brought on me and on my kingdom a great sin? thou hast done deeds unto me that ought not to be done.'
ויקרא אבימלך לאברהם ויאמר לו מה־עשית לנו ומה־חטאתי לך כי־הבאת עלי ועל־ממלכתי חטאה גדלה · va-yiqra avimelekh le-avraham va-yomer lo meh-asita lanu u-meh-chatati lakh ki-heveta alai ve-al-mamlakhti chataah gedolah · what have you DONE to us — a GREAT SIN on me and my kingdom (etnachta arm)
מעשים אשר לא־יעשו עשית עמדי · maasim asher lo-yeasu asita imadi · deeds that are NOT DONE you have done with me (verse-final imadi)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(meh_asita_lanu_u_meh_chatati, t0) ∧ HOLDS(chataah_gedolah_al_mamlakhti, t0) = HOLDS(meh-asita-lanu-and-meh-chatati, t0) ∧ HOLDS(chataah-gedolah-upon-mamlakhti, t0) THE REBUKE-QUESTION AGAIN: meh-asita ('what have you DONE') — the recurring arraignment-question of the corpus (the garden, the field, Pharaoh's palace — 12:18's mah-zot asita in the FIRST sister-court, frozen gen_28's span — and now Gerar) [named chain-familiar prose; questions push nothing, flag-5 law]. CHATA-verb token 2: u-meh-CHATATI ('what have I SINNED against you') — the sin-verb's debut pair completes: God's against-Me (20:6), the king's against-you [census; flag 11]. CHATAAH GEDOLAH ('a GREAT SIN') — exactly FOUR Torah tokens: this rebuke and the GOLDEN CALF x3 (Exod 32:21/30/31): Gerar's phrase waits for Sinai's worst morning [census-exact]. MAASIM ASHER LO-YEASU ('deeds that are not done') — the impersonal-norm clause: the king appeals to a standard no statute has yet stated [prose]. | מֶה־עָשִׂיתָ לָּנוּ … חֲטָאָה גְדֹלָה … מַעֲשִׂים אֲשֶׁר לֹא־יֵעָשׂוּ · meh-asita lanu … chataah gedolah … maasim asher lo-yeasu = meh-asita lanu chataah gedolah maasim which not-yeasu | — | tested |
STEP_Gn_20_10 · Gen.20.10 · THE_SECOND_QUESTION
וַיֹּאמֶר אֲבִימֶלֶךְ אֶל־אַבְרָהָם מָה רָאִיתָ כִּי עָשִׂיתָ אֶת־הַדָּבָר הַזֶּה · va-yomer avimelekh el-avraham mah raita ki asita et-ha-davar ha-zeh · [EN-AID/JPS] And Abimelech said unto Abraham: 'What sawest thou, that thou hast done this thing?'
ויאמר אבימלך אל־אברהם · va-yomer avimelekh el-avraham · the say-frame takes the first rest (the frame-cut class)
מה ראית כי עשית את־הדבר הזה · mah raita ki asita et-ha-davar ha-zeh · what did you SEE, that you did this thing? (verse-final ha-zeh)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(mah_raita_ki_asita, t0) = HOLDS(mah-raita-when-asita, t0) MAH RAITA ('what did you SEE') — the king's second question turns epistemic: not what you did but what you PERCEIVED — the see-verb interrogated (the verb of every appearance and inspection now asked of a man's private risk-assessment) [prose; question class, no push]. The answer it draws (20:11) is a confession of inference, not observation [prose]. | מָה רָאִיתָ כִּי עָשִׂיתָ · mah raita ki asita = mah raita when asita | — | tested |
STEP_Gn_20_11 · Gen.20.11 · THE_FEAR_OF_GOD_GUESS
וַיֹּאמֶר אַבְרָהָם כִּי אָמַרְתִּי רַק אֵין־יִרְאַת אֱלֹהִים בַּמָּקוֹם הַזֶּה וַהֲרָגוּנִי עַל־דְּבַר אִשְׁתִּי · va-yomer avraham ki amarti raq ein-yirat elohim ba-maqom ha-zeh va-haraguni al-devar ishti · [EN-AID/JPS] And Abraham said: 'Because I thought: Surely the fear of God is not in this place; and they will slay me for my wife's sake.
ויאמר אברהם כי אמרתי רק אין־יראת אלהים במקום הזה · va-yomer avraham ki amarti raq ein-yirat elohim ba-maqom ha-zeh · I said: surely no FEAR OF GOD in this place (etnachta arm)
והרגוני על־דבר אשתי · va-haraguni al-devar ishti · and they will KILL me over my wife (verse-final ishti)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(amarti_ein_yirat_elohim, t0) ∧ HOLDS(va_haraguni_al_devar_ishti, t0) = HOLDS(amarti-ein-yirat-God, t0) ∧ HOLDS(and-haraguni-upon-devar-ishti, t0) YIRAT ('fear-of') TORAH DEBUT — the fear-of-God construct is born NEGATED, in a guess, about a place — and the letter has already falsified it (20:8's va-yiru meod, the fearing court) [census; the noun's three Torah tokens: this doubt, SINAI's stated purpose (Exod 20:20 'that His FEAR be upon you'), the nations' dread (Deut 2:25) — born wrong at Gerar, installed right at Sinai; prose]. The amarti-frame ('I SAID') — the inference reported as inner speech: the interior-speech family's plain cousin (no heart-frame; testimony of past thought) [device boundary]. HARAG token 8 — the confessed fear completes the kill-verb's episode-binding (12:12 feared, 20:4 protested, 20:11 confessed) [census]. | אֵין־יִרְאַת אֱלֹהִים בַּמָּקוֹם הַזֶּה וַהֲרָגוּנִי · ein-yirat elohim ba-maqom ha-zeh va-haraguni = ein-yirat God in-the-maqom this and-haraguni | — | tested |
STEP_Gn_20_12 · Gen.20.12 · THE_HALF_TRUTH
וְגַם־אָמְנָה אֲחֹתִי בַת־אָבִי הִוא אַךְ לֹא בַת־אִמִּי וַתְּהִי־לִי לְאִשָּׁה · ve-gam-omnah achoti vat-avi hi akh lo vat-imi va-tehi-li le-ishah · [EN-AID/JPS] And moreover she is indeed my sister, the daughter of my father, but not the daughter of my mother; and so she became my wife.
וגם־אמנה אחתי בת־אבי הוא אך לא בת־אמי · ve-gam-omnah achoti vat-avi hi akh lo vat-imi · and truly my sister she is — my father's daughter, not my mother's (etnachta arm)
ותהי־לי לאשה · va-tehi-li le-ishah · and she became my wife (verse-final le-ishah)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(achoti_vat_avi_akh_lo_vat_imi, t0) = HOLDS(achoti-vat-avi-akh-not-vat-imi, t0) THE HALF-TRUTH DISCLOSED: achot token 6 — the sister-word's sixth token finally carries its genealogical defense (father's daughter, not mother's), a kinship-claim the letter neither confirms nor maps (11:29's roster named no Sarah- parentage — the chain's Yiskah file, named-only) [census, prose]. OMNAH ('truly') — the truly-word's rare adverb [morph]. The disclosure comes only under arraignment: the arrangement's first full statement in the corpus is a defense exhibit [prose; the quoted-demand step completes it next]. | אֲחֹתִי בַת־אָבִי הִוא אַךְ לֹא בַת־אִמִּי · achoti vat-avi hi akh lo vat-imi = achoti vat-avi hi akh not vat-imi | — | tested |
STEP_Gn_20_13 · Gen.20.13 · THE_WANDERING_AND_THE_QUOTED_DEMAND
וַיְהִי כַּאֲשֶׁר הִתְעוּ אֹתִי אֱלֹהִים מִבֵּית אָבִי וָאֹמַר לָהּ זֶה חַסְדֵּךְ אֲשֶׁר תַּעֲשִׂי עִמָּדִי אֶל כָּל־הַמָּקוֹם אֲשֶׁר נָבוֹא שָׁמָּה אִמְרִי־לִי אָחִי הוּא · va-yehi ka-asher hitu oti elohim mi-beit avi va-omar lah zeh chasdekh asher taasi imadi el kol-ha-maqom asher navo shamah imri-li achi hu · [EN-AID/JPS] And it came to pass, when God caused me to wander from my father's house, that I said unto her: This is thy kindness which thou shalt show unto me; at every place whither we shall come, say of me: He is my brother.'
ויהי כאשר התעו אתי אלהים מבית אבי ואמר לה זה חסדך אשר תעשי עמדי · va-yehi ka-asher hitu oti elohim mi-beit avi va-omar lah zeh chasdekh asher taasi imadi · when God caused-me-to-wander from my father's house — this is your kindness (etnachta arm)
אל כל־המקום אשר נבוא שמה אמרי־לי אחי הוא · el kol-ha-maqom asher navo shamah imri-li achi hu · at EVERY place we come: say of me — he is my brother (verse-final hu)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(hitu_oti_elohim_mi_beit_avi, t0) ∧ HOLDS(imri_li_achi_hu, t0) = HOLDS(hitu-me-God-from-beit-avi, t0) ∧ HOLDS(imri-to-me-my-brother-that, t0) THE PLURAL VERB ON ELOHIM [flag 15, named-only]: hitu is coded PLURAL (HVhp3cp) — 'the gods CAUSED-ME-TO- WANDER'? the letter's grammar-crux held flat, no harmonizing; the chain's files ride the queue. Onkelos RECOMPOSES wholesale: 'when the PEOPLES went astray after the works of their hands, ME did YHWH bring NEAR to His fear from my father's house' — the wandering transferred to idolaters, the prophet not wandered but drawn [dual-track; the buffer's boldest intervention of the tenure]. THE QUOTED DEMAND PUSHES NOTHING [flag 5, the staged weigh]: imri-li achi hu ('say of me: he is my brother') — an imperative INSIDE a retrospective: testimony, not speech-act. The ORIGINAL is frozen gen_28's, quoted: 'imri(saray, achoti_hi) at 12:13' — 'imri-demand pushed and OPEN' — standing open BEHIND TWO WALLS; the letter's own arrangement-clause (el kol-ha-maqom 'at EVERY place') makes 20:2's claim that frozen demand's nth execution [cross-unit prose; nothing re-pushes, nothing crosses]. CHESED asked of a wife (zeh chasdekh 'this is your KINDNESS') — the kindness-word bent to the ruse's service [census, prose]. | הִתְעוּ אֹתִי אֱלֹהִים … אִמְרִי־לִי אָחִי הוּא · hitu oti elohim … imri-li achi hu = hitu me God imri-to-me my-brother that | — | tested |
| WITNESS_READ | WITNESS-READ(plural_verb_crux, re_subjected_in_translation) = WITNESS-READ(plural-verb-crux, re-subjected-in-translation) A GRAMMATICAL CRUX RESOLVED BY CHANGING WHO ACTS [claim G36-16]. The received ink reads a plural verb governed by the divine name - the verse's standing difficulty - and Onkelos rewrites the clause entire: 'when the NATIONS STRAYED after the works of their hands, God brought me NEAR to His fear from my father's house'. The plural is reassigned from God to the nations and the wandering becomes their straying. A translation-layer decision on a known crux, carried dual-track against the received text, which stands. [folded shape: dual-track translation] | — | Onkelos Genesis 20:13 | witnessed |
STEP_Gn_20_14 · Gen.20.14 · THE_RETURN_CYCLE_CLOSES
וַיִּקַּח אֲבִימֶלֶךְ צֹאן וּבָקָר וַעֲבָדִים וּשְׁפָחֹת וַיִּתֵּן לְאַבְרָהָם וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ · va-yiqach avimelekh tzon u-vaqar va-avadim u-shfachot va-yiten le-avraham va-yashev lo et sarah ishto · [EN-AID/JPS] And Abimelech took sheep and oxen, and men-servants and women-servants, and gave them unto Abraham, and restored him Sarah his wife.
ויקח אבימלך צאן ובקר ועבדים ושפחת ויתן לאברהם · va-yiqach avimelekh tzon u-vaqar va-avadim u-shfachot va-yiten le-avraham · took flock, herd, servants — and GAVE to Abraham (etnachta arm)
וישב לו את שרה אשתו · va-yashev lo et sarah ishto · and RETURNED him Sarah his wife (verse-final ishto)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| RESULT | HOLDS(hashev(eshet_ha_ish), t1) = HOLDS(hashev(wife-of-the-man), t1) SETTLED CYCLE #13 CLAIMED [flag 2; numbering for main-loop verification]: VA-YASHEV ('and he RETURNED') — the demand's own ROOT AND STEM (shuv hiphil), foreground narrative deed, performed BY THE DEMANDEE: the echo-receipt class's textbook token (the class per frozen gen_25's law, quoted this session: the pop fires when 'the demand's own root returns as deed'). THE 'FIRST' PRECISELY CUT [counterexample hunted]: divine pops exist in the roster — frozen gen_31's cycle #8 quoted: 'LET(qechah(avram, eglah_ez_ayil_tor_ve_gozal))' with 'GOD says take next' — so #13 is the first divine-demand pop SINCE #8, and the first divine PUSH since gen_33's covenant pair. The queue held ONLY this demand: the pop is machine-asserted by SPECS-empty at the gate (the frozen-preferred device). The taking gives back: va-yiqach... va-yiten ('took... GAVE') — the take-verb's restitution-turn, flock and servants the damages [prose; the Egypt-parallel's gifts came BEFORE the truth (12:16, frozen gen_28's span); here AFTER it — the two courts' order inverted, cross-unit prose]. | וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ · va-yashev lo et sarah ishto = and-yashev not et sarah his-wife | TIR-028 | tested |
STEP_Gn_20_15 · Gen.20.15 · THE_DWELL_GRANT
וַיֹּאמֶר אֲבִימֶלֶךְ הִנֵּה אַרְצִי לְפָנֶיךָ בַּטּוֹב בְּעֵינֶיךָ שֵׁב · va-yomer avimelekh hinneh artzi lefanekha ba-tov be-einekha shev · [EN-AID/JPS] And Abimelech said: 'Behold, my land is before thee: dwell where it pleaseth thee.'
ויאמר אבימלך הנה ארצי לפניך · va-yomer avimelekh hinneh artzi lefanekha · behold — my land is BEFORE you (etnachta arm)
בטוב בעיניך שב · ba-tov be-einekha shev · in the GOOD of your eyes, DWELL (verse-final shev)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(avimelekh, LET(shev(ba_tov_be_einekha))) = DECLARE(avimelekh, LET(shev(in-the-good-in-einekha))) THE GRANT-IMPERATIVE PUSHES [flag 6, the staged weigh]: shev ('DWELL') — an OFFER in the imperative, and offer-imperatives push by frozen law: gen_29's 13:9 quoted ('SETTLED CYCLE #7 ... 13:9's hipared na me-alai (separate, please...; niphal imperative, human issuer)') — the parting-offer class pushed and even popped there. Pushed here; OPEN — no dwelling in the demand's verb is narrated in-span (21:34's sojourn is another verb behind the next seam). The verse RESTS on shev: the silluq under the grant [tree fact]. BA-TOV BE-EINEKHA ('in the GOOD of your eyes') — the attribute-idiom class, frozen gen_35 quoted: 'an attribute-idiom inside reported speech: NO TEST' (19:8's ka-tov, its flag 9): the instrument-word rides a courtesy-formula and the roster stays shut [flag 7]. The inversion beside it: Egypt EXPELLED (12:20's va-yeshalchu, frozen gen_28's span); Gerar INVITES — the two sister- courts end in opposite prepositions [cross-unit prose]. | בַּטּוֹב בְּעֵינֶיךָ שֵׁב · ba-tov be-einekha shev = good in-einekha shev | TIR-027 | tested |
STEP_Gn_20_16 · Gen.20.16 · THE_COVERING_AND_THE_VINDICATION
וּלְשָׂרָה אָמַר הִנֵּה נָתַתִּי אֶלֶף כֶּסֶף לְאָחִיךְ הִנֵּה הוּא־לָךְ כְּסוּת עֵינַיִם לְכֹל אֲשֶׁר אִתָּךְ וְאֵת כֹּל וְנֹכָחַת · u-le-sarah amar hinneh natati elef kesef le-achikh hinneh hu-lakh kesut einayim le-khol asher itakh ve-et kol ve-nokhachat · [EN-AID/JPS] And unto Sarah he said: 'Behold, I have given thy brother a thousand pieces of silver; behold, it is for thee a covering of the eyes to all that are with thee; and before all men thou art righted.'
ולשרה אמר הנה נתתי אלף כסף לאחיך הנה הוא־לך כסות עינים לכל אשר אתך · u-le-sarah amar hinneh natati elef kesef le-achikh hinneh hu-lakh kesut einayim le-khol asher itakh · to SARAH he said: a thousand silver — a COVERING OF EYES for all with you (etnachta arm)
ואת כל ונכחת · ve-et kol ve-nokhachat · and before all — you are RIGHTED (verse-final ve-nokhachat)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(elef_kesef_kesut_einayim, t0) ∧ HOLDS(ve_nokhachat, t0) = HOLDS(elef-kesef-kesut-einayim, t0) ∧ HOLDS(and-nokhachat, t0) THE ONLY SPEECH TO SARAH: the king addresses the silent center of the chapter — with damages (elef kesef 'a thousand silver'), an idiom (KESUT EINAYIM 'a covering of eyes' — kesut token 1/5; its career is the law's garment-covers: the wife's covering, the pledged cloak, the tasseled garment — born here as honor- money's metaphor; the idiom's meaning is the chain's old dispute, named-only), and a verdict: VE-NOKHACHAT ('and you are RIGHTED/vindicated') — YAKHACH ('set right/reprove') TOKEN 1: the vindication-verb debuts ON SARAH, and its token 2 is 21:25 — Abraham REPROVING AVIMELECH over the well, one chapter ahead: the verb born clearing her will next indict him [census; watch]. The verse rests on the vindication [tree fact]. Onkelos: KESUT DIQAR ('a covering of HONOR' — the yeqara-root dignifying the idiom); ITOKHACHAT ('vindicated') [dual-track]. | אֶלֶף כֶּסֶף … כְּסוּת עֵינַיִם … וְנֹכָחַת · elef kesef … kesut einayim … ve-nokhachat = elef kesef kesut einayim and-nokhachat | — | tested |
| WITNESS_READ | WITNESS-READ(thousand_silver, read_as_compensation_with_a_right) = WITNESS-READ(thousand-silver, read-as-compensation-with-a-right) AN OBSCURE PAYMENT READ AS A STATED COMPENSATION [claim G36-17]. Onkelos reads the thousand pieces as a GARMENT OF HONOUR given in return for the taking, and the vindication clause as a granted right to REPROVE. The chain separately maps the exchange of accusations reciprocally onto the earlier verses, reading the offence-word as PUNISHMENT and taking the womb-closure of 20:18 back into the charge at 20:9. [folded shape: priced law] | — | Bereshit Rabbah 52:10, Onkelos Genesis 20:16 | witnessed |
STEP_Gn_20_17 · Gen.20.17 · THE_PRAYER_AND_THE_HEALING
וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים וַיִּרְפָּא אֱלֹהִים אֶת־אֲבִימֶלֶךְ וְאֶת־אִשְׁתּוֹ וְאַמְהֹתָיו וַיֵּלֵדוּ · va-yitpalel avraham el-ha-elohim va-yirpa elohim et-avimelekh ve-et-ishto ve-amhotav va-yeledu · [EN-AID/JPS] And Abraham prayed unto God; and God healed Abimelech, and his wife, and his maid-servants; and they bore children.
ויתפלל אברהם אל־האלהים · va-yitpalel avraham el-ha-elohim · and Abraham PRAYED to God (etnachta arm — the debut deed)
וירפא אלהים את־אבימלך ואת־אשתו ואמהתיו וילדו · va-yirpa elohim et-avimelekh ve-et-ishto ve-amhotav va-yeledu · and God HEALED the king, his wife, his maids — and they bore (verse-final va-yeledu)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | pray(e5) ∧ Agent(e5, avraham) ∧ Goal(e5, ha_elohim) = pray(e5) ∧ Agent(e5, avraham) ∧ Goal(e5, the-God) THE PROMISE PERFORMED [flag 10]: PALAL token 2 — the pray-verb's narrative debut pays 20:7's ve-yitpalel in its own root (a law-grammar future met by its deed: the letter's promise-performance pair, held as prose — nothing was pushed, nothing pops; the echo is the letter's own). The prophet's first prophetic ACT in the corpus is intercession for the court that took his wife [prose]. Onkelos: VE-TZALI avraham qodam YYY — the tzali-family receives the letter's verb [dual-track headline]. | וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים · va-yitpalel avraham el-ha-elohim = and-yitpalel avraham to-the-God | TIR-014 | tested |
| EVENT | heal(e6) ∧ Agent(e6, elohim) ∧ Theme(e6, beit_avimelekh) = heal(e6) ∧ Agent(e6, God) ∧ Theme(e6, beit-avimelekh) RAPHA ('heal') TORAH DEBUT — the heal-verb is born answering the debut prayer (its career: Joseph's physicians, ani YHWH rofekha 'I am YHWH your healer', Exod 15:26) [census]. VA-YELEDU ('and they BORE') — the healing is fertility: the shut house reopens [the closer explains what was shut; prose]. Onkelos: ve-ASI ('healed') + VE-ITREVACHU ('and they were RELIEVED') — the buffer adds ease to the bearing [dual-track delta]. | וַיִּרְפָּא אֱלֹהִים … וַיֵּלֵדוּ · va-yirpa elohim … va-yeledu = and-yirpa God and-yeledu | TIR-014 | tested |
STEP_Gn_20_18 · Gen.20.18 · THE_SHUT_WOMB_CLOSER
כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם לְבֵית אֲבִימֶלֶךְ עַל־דְּבַר שָׂרָה אֵשֶׁת אַבְרָהָם · ki-atzor atzar YHWH bead kol-rechem le-veit avimelekh al-devar sarah eshet avraham · [EN-AID/JPS] For the LORD had fast closed up all the wombs of the house of Abimelech, because of Sarah Abraham's wife.
כי־עצר עצר יהוה בעד כל־רחם לבית אבימלך · ki-atzor atzar YHWH bead kol-rechem le-veit avimelekh · for SHUTTING YHWH had SHUT every womb of Avimelech's house (etnachta arm)
על־דבר שרה אשת אברהם · al-devar sarah eshet avraham · over the matter of Sarah, Abraham's WIFE (verse-final avraham)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(atzor_atzar_YHWH_bead_kol_rechem, t0) = HOLDS(atzor-atzar-the-LORD-bead-all-rechem, t0) THE CLOSER EXPLAINS [flag 14]: ATZOR ATZAR ('shutting He had SHUT') — the restrain-verb doubled in the infinitive absolute; atzar tokens 2-3, and TOKEN 1 is frozen gen_32's line, quoted: 'ATZARANI (He has RESTRAINED me) — atzar TORAH' [DEBUT — 16:2, Sarai's own complaint]: the shut-verb's first two contexts are Sarah's barrenness and the court that took her — the word keeps her file [census + cross-unit arc, LANDED]. RECHEM ('womb') TORAH DEBUT — the womb-word enters the corpus SHUT (career: Leah opened, Rachel remembered-and-opened, every womb consecrated at Exod 13) [census]. The frame's last words are SARAH ESHET AVRAHAM ('Sarah, Abraham's WIFE') — the verse, the chapter, and the ruse end on the noun the claim denied [tree fact: the silluq arm; prose]. THE SEAM IS THE LETTER'S HINGE: 20:18 shuts every womb of the house; 21:1 opens Sarah's (u-YHWH paqad et-sarah) — across the wall, gen_37's first landing [watch; nothing crosses]. Onkelos: MEICHAD ACHAD — the SAME Aramaic shut-verb the buffer used for Lot's DOOR (19:6/10): doors and wombs close in one word [dual-track weld]. | כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם · ki-atzor atzar YHWH bead kol-rechem = when-atzor atzar the-LORD bead all-rechem | — | tested |
| NOTE_ZERO_EVENTS | zero events in Gen.20.18 A ki-clause state-frame — the narrator's explanatory coda: the machine certifies no event fired [the stative-verse device]. | כִּי־עָצֹר עָצַר יְהוָה · ki-atzor atzar YHWH = when-atzor atzar the-LORD | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 20:1 — all registers empty (standalone unit; the smoke-watch behind the frame) |
| S_sojourned | After 20:1 — the journey south; three known names read |
| S_taken | After 20:2 — the second claim; Avimelech installed; Sarah taken in the active voice |
| S_arraigned | After 20:3-4 — the dream-court opens (chalom debut; the Memra in the buffer); the verdict-participle; the king's count-question (tzaddiq token 10 lands; no test, no push) |
| S_defended | After 20:5-6 — the integrity defense (tom + the niqayon hapax); the concession and the withholding (chasakh debut; the touch-chain) |
| S_commanded | After 20:7 — the era's first divine push: LET(hashev) pushed and OPEN; navi + palal debut; mot-tamut's second and last Torah token |
| S_feared | After 20:8 — the court fears greatly (the letter's rebuttal of 20:11's guess, pre-placed) |
| S_rebuked | After 20:9-13 — the great-sin arraignment (the calf's phrase); the fear-of-God guess; the half-truth; the quoted demand (pushes nothing — gen_28's original behind two walls) |
| S_returned | After 20:14 — SETTLED CYCLE #13: va-yashev pays hashev in root and stem; SPECS EMPTY (machine-asserted) |
| S_granted | After 20:15 — the dwell-grant pushed (gen_29's offer-class); the queue holds one |
| S_vindicated | After 20:16 — the covering of eyes; ve-nokhachat — the vindication-verb debuts on Sarah |
| S_healed | After 20:17 — the pray-verb and the heal-verb born as cause and effect; the promise of 20:7 performed in its own root (prose pair) |
| S_explained | After 20:18 — the shut-womb coda (atzor atzar; rechem born shut); the seam hands to 21:1's visitation |
| from | to | via |
|---|---|---|
| S_boot | S_sojourned | STEP_Gn_20_1 |
| S_sojourned | S_taken | STEP_Gn_20_2 |
| S_taken | S_arraigned | STEP_Gn_20_3 |
| S_arraigned | S_defended | STEP_Gn_20_5 |
| S_defended | S_commanded | STEP_Gn_20_7 |
| S_commanded | S_feared | STEP_Gn_20_8 |
| S_feared | S_rebuked | STEP_Gn_20_9 |
| S_rebuked | S_returned | STEP_Gn_20_14 |
| S_returned | S_granted | STEP_Gn_20_15 |
| S_granted | S_vindicated | STEP_Gn_20_16 |
| S_vindicated | S_healed | STEP_Gn_20_17 |
| S_healed | S_explained | STEP_Gn_20_18 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The claim and the taking: after STEP_Gn_20_2 | All registers empty (standalone unit). (The frozen arrangement's nth execution — gen_28's imri-original behind two walls; the take-verb active where 12:15 was the rare passive.) | WORLD += avimelekh; Facts achoti-hi HOLD; flags gerar/qadesh/shur as read-before-install. | אֲחֹתִי הִוא … וַיִּקַּח אֶת־שָׂרָה · achoti hi … va-yiqach et-sarah = achoti hi and-yiqach sarah |
| S2 | The dream-court and the defense: after STEP_Gn_20_6 | S1 state plus 20:3-5 (chalom's debut; the verdict-participle; the king's count-question — tzaddiq token 10 landed, question-law held, the triages fenced; the integrity defense with its hapax). (The concession: the withhold-verb born; the touch-chain's court-token.) | Facts hinkha-met HOLD; Facts tom-levavi HOLD; Facts echsokh-chato HOLD; no test, no name. | וָאֶחְשֹׂךְ גַּם־אָנֹכִי אוֹתְךָ מֵחֲטוֹ־לִי · va-echsokh gam-anokhi otkha me-chato-li = and-echsokh also-anokhi otkha from-chato-to-me |
| S3 | The era's first divine push: after STEP_Gn_20_7 | S2 state. (navi and palal debut in the command's own verse; the consequence-imperative and the conditional death-sentence held as facts — flags 3-4; mot-tamut's second and last Torah token.) | LET(hashev(eshet_ha_ish)) pushed and OPEN; Facts mot-tamut HOLD. = LET(hashev(wife-of-the-man)) pushed and OPEN; Facts dying-you-shall-die HOLD. | וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא · ve-atah hashev eshet-ha-ish ki-navi hu = you hashev wife-of-the-man when-navi that |
| S4 | The arraignment holds nothing new on the queue: after STEP_Gn_20_13 | S3 state plus 20:8-12 (the fearing court; the great-sin phrase — the calf's four-token census; the fear-of-God guess born negated; the half-truth). (The QUOTED demand pushes nothing — flag 5: the clause below proves the queue unchanged through five verses of speech.) | LET(hashev(eshet_ha_ish)) pushed and OPEN; Facts imri-li HOLD; Facts yirat-elohim HOLD; no test, no name. = LET(hashev(wife-of-the-man)) pushed and OPEN; Facts imri-to-me HOLD; Facts yirat-God HOLD; no test, no name. | אִמְרִי־לִי אָחִי הוּא · imri-li achi hu = imri-to-me my-brother that |
| S5 | Settled cycle #13 — the queue touches zero: after STEP_Gn_20_14 | S4 state. (va-yashev pays hashev in root and stem, demandee compliance — the echo-receipt class; the first divine-demand pop since cycle #8, counterexample hunted; flag 2. The clause below is the frozen-preferred pop-assert: the popped demand was the only entry.) | SPECS empty. | וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ · va-yashev lo et sarah ishto = and-yashev not et sarah his-wife |
| S6 | The dwell-grant: after STEP_Gn_20_15 | S5 state. (The offer-imperative pushes — gen_29's 13:9 class, flag 6; ba-tov rides the attribute-idiom class, no TEST — gen_35's flag-9 law, flag 7.) | LET(shev(ba_tov_be_einekha)) pushed and OPEN; no test, no name. = LET(shev(in-the-good-in-einekha)) pushed and OPEN; no test, no name. | בַּטּוֹב בְּעֵינֶיךָ שֵׁב · ba-tov be-einekha shev = good in-einekha shev |
| S7 | The prayer performed: after STEP_Gn_20_17 | S6 state plus 20:16 (the covering of eyes; ve-nokhachat — the vindication-verb debuting on Sarah). (palal token 2 pays 20:7's future in prose — nothing was pushed, nothing pops; rapha debuts answering it; the tzali vindication in the buffer.) | LET(shev(ba_tov_be_einekha)) pushed and OPEN; Facts nokhachat HOLD; no test, no name. = LET(shev(in-the-good-in-einekha)) pushed and OPEN; Facts nokhachat HOLD; no test, no name. | וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים וַיִּרְפָּא אֱלֹהִים · va-yitpalel avraham el-ha-elohim va-yirpa elohim = and-yitpalel avraham to-the-God and-yirpa God |
| S8 | The shut-womb close: after STEP_Gn_20_18 | S7 state. (atzor atzar — atzar tokens 2-3 landing frozen gen_32's atzarani line; rechem born shut; the chapter ends on 'Sarah, Abraham's WIFE'; the seam hands to 21:1's visitation — gen_37's first landing.) | LET(shev(ba_tov_be_einekha)) pushed and OPEN; Facts atzor-atzar HOLD; WORLD = {avimelekh}; no test, no name; LEDGER stays EMPTY (open transaction); flags gerar/qadesh/shur as read-before-install. = LET(shev(in-the-good-in-einekha)) pushed and OPEN; Facts atzor-atzar HOLD; WORLD = {avimelekh}; no test, no name; LEDGER stays EMPTY (open transaction); flags gerar/qadesh/shur as read-before-install. | כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם · ki-atzor atzar YHWH bead kol-rechem = when-atzor atzar the-LORD bead all-rechem |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_cycle_13_and_the_precise_first | הָשֵׁב אֵשֶׁת־הָאִישׁ … וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ · hashev eshet-ha-ish … va-yashev lo et sarah ishto · SETTLED CYCLE #13 CLAIMED [flag 2]: 20:7's divine imperative (hashev 'return' — the FIRST DIVINE PUSH since gen_33's covenant pair, both of whose demands still stand open) is paid at 20:14 in its own root and stem (va-yashev, hiphil shuv) by the demandee — the echo-receipt class's textbook token; the 'first' cut precisely after the counterexample hunt: divine pops exist (frozen gen_31's cycle #8 — 'GOD says take next' — quoted), so #13 is the first divine-demand pop SINCE #8. The pop rides the frozen-preferred machine-assert: the queue held only this demand, and 'SPECS empty' fires at the gate. Around it the consequence-imperative (ve-cheyeh 'and live') and the conditional death-sentence (da ki-MOT TAMUT — the death-doubling's second and LAST Torah token; its only sibling is Eden's 2:17) hold as facts with flags 3-4 — case-speech, not installed law |
| EXPORT_the_fourfold_debut_and_the_tzali_vindication | כִּי־נָבִיא הוּא וְיִתְפַּלֵּל בַּעַדְךָ … וַיִּתְפַּלֵּל אַבְרָהָם … וַיִּרְפָּא אֱלֹהִים … בַּחֲלוֹם · ki-navi hu ve-yitpalel baadkha … va-yitpalel avraham … va-yirpa elohim … ba-chalom · FOUR TORAH DEBUTS IN ONE COMPACT SPAN [flags 9-10]: navi ('prophet' — born naming Abraham an INTERCESSOR, by God, to a foreign king), palal ('pray' — promised at 20:7 in law-grammar, PERFORMED at 20:17 in narrative: the letter's own promise-performance pair, prose), rapha ('heal' — born answering the debut prayer), chalom ('dream' — the revelation-class opening on a gentile; the interior-speech device's outward twin, no new operator). THE DUAL-TRACK CROWN: Onkelos wrote PRAYER over Abraham's standing at frozen 18:22 and 19:27 (meshamesh bi-tzlo) two chapters before the Hebrew had a pray-verb — at 20:7/17 the buffer receives the letter's palal in its own root (VI-TZALEI / VE-TZALI): the anticipation vindicated in the debut verses; and the MEMRA takes the dream-shift (va-ata MEIMAR min qodam YYY, 20:3/6) |
| EXPORT_the_trial_lexicon | הֲגוֹי גַּם־צַדִּיק תַּהֲרֹג … בְּתָם־לְבָבִי וּבְנִקְיֹן כַּפַּי … חֲטָאָה גְדֹלָה … וְנֹכָחַת · ha-goy gam-tzaddiq taharog … be-tom-levavi u-ve-niqyon kapai … chataah gedolah … ve-nokhachat · THE COURT'S WORDS ARE BORN AND SPENT AT GERAR [flags 8, 11-12; census-exact]: tzaddiq token 10 as a KING'S QUESTION (frozen gen_34's line landed; the discipline's third consecutive chapter — no test, no demand-on-God, the triages fenced); the sin-VERB's debut pair both in-span (God's against-ME, the king's what-have-I); CHATAAH GEDOLAH ('great sin') — four Torah tokens: Gerar and the golden calf x3; TOM ('integrity') spent in one exchange; NIQAYON ('cleanness') a hapax; YIRAT ELOHIM ('fear of God') born NEGATED in a wrong guess (the court had feared at 20:8) and installed right at Sinai (Exod 20:20 — token 2); YAKHACH ('set right') debuting ON SARAH's vindication with token 2 waiting at 21:25 to reprove the vindicator; CHASAKH ('withhold') born in God's mercy, crowned at the Aqedah; the touch-chain (Eden's fence -> Pharaoh's plague -> Gerar's restraint -> 26:11); and the closer's pair: ATZOR ATZAR (atzar tokens 2-3; token 1 = frozen gen_32's atzarani — Sarai's own word) over RECHEM born SHUT — the seam handing every closed womb to 21:1's visitation |
| EXPORT_the_second_sister_court | אֲחֹתִי הִוא … אִמְרִי־לִי אָחִי הוּא … וַיָּשֶׁב … שָׂרָה אֵשֶׁת אַבְרָהָם · achoti hi … imri-li achi hu … va-yashev … sarah eshet avraham · THE EPISODE-PAIR HELD ACROSS WALLS [flags 5, 16; nothing crosses]: the sister-word's tokens 4-6 complete a career that is all ruse (tokens 2-3 = frozen gen_28's 12:13/19); the QUOTED demand (20:13's imri-li — testimony inside a retrospective) pushes nothing while gen_28's original stands open behind two walls, its 'at every place' clause making 20:2 an nth execution; the take-verb active where 12:15 was the rare passive (gen_34's census note quoted); the gifts AFTER the truth where Egypt's came before; expulsion inverted to invitation (shev — the grant-imperative pushed by gen_29's offer-class, the unit's one open demand); the kill-fear tokens binding the courts (12:12/20:4/20:11); and the chapter's last three words giving the ruse its verdict: sarah ESHET AVRAHAM ('Sarah, Abraham's WIFE'). The third episode is pre-seeded: gerar tokens 4-5 and the touch-decree wait at 26:1-11 [watch] |
Oral notes (named, tiered, dual-track — never merged)
כִּי־נָבִיא הוּא · (queue — named only) · The chain's files: the prophet-title's scope, the plural verb's grammar, the covering-of-eyes dispute, the half-truth's genealogy, and the rule that one who prays for another while needing the same thing is answered first — minted exactly at this unit's seam. ALL NAMED ONLY — ein adam dan me-atzmo ('one may not derive on his own').
וִיצַלֵּי עֲלָךְ … וְצַלִּי אַבְרָהָם · vi-tzalei alakh … ve-tzali avraham · Buffer-record summary for the frozen ledger: THE TZALI VINDICATION (20:7/17 — the letter's first pray-verb received in the root the buffer wrote over the frozen standing-places two chapters early); the MEMRA in the dream (20:3/6); the 20:13 RECOMPOSITION (the plural wandering transferred to the astray peoples; the prophet brought near to His fear — the tenure's boldest buffer intervention); Reqam/Chagra (the identification class, exact); lead-for-take on Sarah x2; kodam-distancing (know -> revealed-before; against-Me -> before-Me); the zakkai-family on the king's innocence; kesut DIQAR (the honor-covering); ASI for the heal-debut; CHOVA RABBA for the great sin; and the shut-verb weld — atzor atzar -> MEICHAD ACHAD, the same Aramaic achad that shut Lot's door: doors and wombs close in one word. Deltas recorded, never merged.
נקרא כולו · nikra kulo (read in full — the declared spine) · The v1 queue above is DISCHARGED: the declared spine read end to end. HEADLINES: the PROPHECY-GRADES machine at its seat (night, half-speech, behind the curtain — with Onkelos's MEMRA buffer carrying the same grade in translation); NO FOREWARNING FOR NOAHIDES derived twice from our 20:3/20:7 (into gen_21's Noachide procedure corpus); SARAH THE MASTER parse of be'ulat baal ("everywhere the man commands — here, heed her voice"); the divine-prevention op ("your inclination is MINE" — the horse-rider); THE FIRST PRAYER-FOR-ANOTHER in the book at 20:17 ("once Abraham prayed, the knot was untied") with ATZOR-ATZAR read as total obstruction; the AL-DEVAR verbal analogy exchanging Pharaoh's and Avimelech's plagues; the NOAHIDE MARRIAGE battery riding our verses (married-only liability, intercourse acquires, the divorce rules); the OATH THAT BINDS THE EXODUS ROUTE (Exodus 13:17 avoids Philistia because the grandson lived — read at its 21:22 link-seat); THE 20:13 PLURAL-VERB REWRITE in Onkelos ("when the nations strayed... God brought me near") — the sweep's largest translation delta; the thousand-silver compensation reading; Rekem/Chagra identifications. Findings in the ledger; dual-track; no machine ops changed.
Reading-pass record; the stamp and ritual remain the owner's word (batch, per parashah). Outside-scope primaries recorded in the ledger await the exam (testing shelf) or depth orders.
Binary trees (ta'amim v3, glue bricks)
Gen.20.1 · parser unique · 12 words
PHRASE (binary 12w) וַ/יִּסַּ֨ע מִ/שָּׁ֤ם אַבְרָהָם֙ אַ֣רְצָ/ה הַ/נ…
├── PHRASE (binary 10w) וַ/יִּסַּ֨ע מִ/שָּׁ֤ם אַבְרָהָם֙ אַ֣רְצָ/ה הַ/נ…
│ ├── PHRASE (binary 5w) וַ/יִּסַּ֨ע מִ/שָּׁ֤ם אַבְרָהָם֙ אַ֣רְצָ/ה הַ/נ…
│ │ ├── [0-2] GLUE וַ/יִּסַּ֨ע מִ/שָּׁ֤ם אַבְרָהָם֙ (pashta, rank=3)
│ │ └── [3-4] GLUE אַ֣רְצָ/ה הַ/נֶּ֔גֶב (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וַ/יֵּ֥שֶׁב בֵּין קָדֵ֖שׁ וּ/בֵ֣ין שׁ֑וּר
│ ├── [5-7] GLUE וַ/יֵּ֥שֶׁב בֵּין קָדֵ֖שׁ (tifcha, rank=2)
│ └── [8-9] GLUE וּ/בֵ֣ין שׁ֑וּר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וַ/יָּ֖גָר בִּ/גְרָֽר
├── [10] וַ/יָּ֖גָר (tifcha, rank=2)
└── [11] בִּ/גְרָֽר (silluq (verse-end emperor), rank=1)
Gen.20.2 · parser unique · 14 words
PHRASE (binary 14w) וַ/יֹּ֧אמֶר אַבְרָהָ֛ם אֶל שָׂרָ֥ה אִשְׁתּ֖/וֹ …
├── PHRASE (binary 7w) וַ/יֹּ֧אמֶר אַבְרָהָ֛ם אֶל שָׂרָ֥ה אִשְׁתּ֖/וֹ …
│ ├── PHRASE (binary 5w) וַ/יֹּ֧אמֶר אַבְרָהָ֛ם אֶל שָׂרָ֥ה אִשְׁתּ֖/וֹ
│ │ ├── [0-1] GLUE וַ/יֹּ֧אמֶר אַבְרָהָ֛ם (tevir, rank=3)
│ │ └── [2-4] GLUE אֶל שָׂרָ֥ה אִשְׁתּ֖/וֹ (tifcha, rank=2)
│ └── [5-6] GLUE אֲחֹ֣תִ/י הִ֑וא (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וַ/יִּשְׁלַ֗ח אֲבִימֶ֨לֶךְ֙ מֶ֣לֶךְ גְּרָ֔ר וַ/…
├── PHRASE (binary 4w) וַ/יִּשְׁלַ֗ח אֲבִימֶ֨לֶךְ֙ מֶ֣לֶךְ גְּרָ֔ר
│ ├── [7] וַ/יִּשְׁלַ֗ח (revia, rank=3)
│ └── PHRASE (binary 3w) אֲבִימֶ֨לֶךְ֙ מֶ֣לֶךְ גְּרָ֔ר
│ ├── [8] אֲבִימֶ֨לֶךְ֙ (pashta, rank=3)
│ └── [9-10] GLUE מֶ֣לֶךְ גְּרָ֔ר (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/יִּקַּ֖ח אֶת שָׂרָֽה
├── [11] וַ/יִּקַּ֖ח (tifcha, rank=2)
└── [12-13] GLUE אֶת שָׂרָֽה (silluq (verse-end emperor), rank=1)
Gen.20.3 · parser unique · 17 words
PHRASE (binary 17w) וַ/יָּבֹ֧א אֱלֹהִ֛ים אֶל אֲבִימֶ֖לֶךְ בַּ/חֲל֣ו…
├── PHRASE (binary 6w) וַ/יָּבֹ֧א אֱלֹהִ֛ים אֶל אֲבִימֶ֖לֶךְ בַּ/חֲל֣ו…
│ ├── PHRASE (binary 4w) וַ/יָּבֹ֧א אֱלֹהִ֛ים אֶל אֲבִימֶ֖לֶךְ
│ │ ├── [0-1] GLUE וַ/יָּבֹ֧א אֱלֹהִ֛ים (tevir, rank=3)
│ │ └── [2-3] GLUE אֶל אֲבִימֶ֖לֶךְ (tifcha, rank=2)
│ └── [4-5] GLUE בַּ/חֲל֣וֹם הַ/לָּ֑יְלָה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וַ/יֹּ֣אמֶר ל֗/וֹ הִנְּ/ךָ֥ מֵת֙ עַל הָ/אִשָּׁ֣…
├── PHRASE (binary 8w) וַ/יֹּ֣אמֶר ל֗/וֹ הִנְּ/ךָ֥ מֵת֙ עַל הָ/אִשָּׁ֣…
│ ├── [6-7] GLUE וַ/יֹּ֣אמֶר ל֗/וֹ (revia, rank=3)
│ └── PHRASE (binary 6w) הִנְּ/ךָ֥ מֵת֙ עַל הָ/אִשָּׁ֣ה אֲשֶׁר לָקַ֔חְתָּ
│ ├── [8-9] GLUE הִנְּ/ךָ֥ מֵת֙ (pashta, rank=3)
│ └── [10-13] GLUE עַל הָ/אִשָּׁ֣ה אֲשֶׁר לָקַ֔חְתָּ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/הִ֖וא בְּעֻ֥לַת בָּֽעַל
├── [14] וְ/הִ֖וא (tifcha, rank=2)
└── [15-16] GLUE בְּעֻ֥לַת בָּֽעַל (silluq (verse-end emperor), rank=1)
Gen.20.4 · parser unique · 10 words
PHRASE (binary 10w) וַ/אֲבִימֶ֕לֶךְ לֹ֥א קָרַ֖ב אֵלֶ֑י/הָ וַ/יֹּאמַ…
├── PHRASE (binary 4w) וַ/אֲבִימֶ֕לֶךְ לֹ֥א קָרַ֖ב אֵלֶ֑י/הָ
│ ├── [0] וַ/אֲבִימֶ֕לֶךְ (zaqef gadol, rank=2)
│ └── PHRASE (binary 3w) לֹ֥א קָרַ֖ב אֵלֶ֑י/הָ
│ ├── [1-2] GLUE לֹ֥א קָרַ֖ב (tifcha, rank=2)
│ └── [3] אֵלֶ֑י/הָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/יֹּאמַ֕ר אֲדֹנָ֕/י הֲ/ג֥וֹי גַּם צַדִּ֖יק תּ…
├── [4] וַ/יֹּאמַ֕ר (zaqef gadol, rank=2)
└── PHRASE (binary 5w) אֲדֹנָ֕/י הֲ/ג֥וֹי גַּם צַדִּ֖יק תַּהֲרֹֽג
├── [5] אֲדֹנָ֕/י (zaqef gadol, rank=2)
└── PHRASE (binary 4w) הֲ/ג֥וֹי גַּם צַדִּ֖יק תַּהֲרֹֽג
├── [6-8] GLUE הֲ/ג֥וֹי גַּם צַדִּ֖יק (tifcha, rank=2)
└── [9] תַּהֲרֹֽג (silluq (verse-end emperor), rank=1)
Gen.20.5 · parser unique · 18 words
PHRASE (binary 18w) הֲ/לֹ֨א ה֤וּא אָֽמַר לִ/י֙ אֲחֹ֣תִ/י הִ֔וא וְ/ה…
├── PHRASE (binary 12w) הֲ/לֹ֨א ה֤וּא אָֽמַר לִ/י֙ אֲחֹ֣תִ/י הִ֔וא וְ/ה…
│ ├── PHRASE (binary 6w) הֲ/לֹ֨א ה֤וּא אָֽמַר לִ/י֙ אֲחֹ֣תִ/י הִ֔וא
│ │ ├── [0-3] GLUE הֲ/לֹ֨א ה֤וּא אָֽמַר לִ/י֙ (pashta, rank=3)
│ │ └── [4-5] GLUE אֲחֹ֣תִ/י הִ֔וא (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וְ/הִֽיא גַם הִ֥וא אָֽמְרָ֖ה אָחִ֣/י ה֑וּא
│ ├── [6-9] GLUE וְ/הִֽיא גַם הִ֥וא אָֽמְרָ֖ה (tifcha, rank=2)
│ └── [10-11] GLUE אָחִ֣/י ה֑וּא (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) בְּ/תָם לְבָבִ֛/י וּ/בְ/נִקְיֹ֥ן כַּפַּ֖/י עָשׂ…
├── PHRASE (binary 4w) בְּ/תָם לְבָבִ֛/י וּ/בְ/נִקְיֹ֥ן כַּפַּ֖/י
│ ├── [12-13] GLUE בְּ/תָם לְבָבִ֛/י (tevir, rank=3)
│ └── [14-15] GLUE וּ/בְ/נִקְיֹ֥ן כַּפַּ֖/י (tifcha, rank=2)
└── [16-17] GLUE עָשִׂ֥יתִי זֹֽאת (silluq (verse-end emperor), rank=1)
Gen.20.6 · parser unique · 24 words
PHRASE (binary 24w) וַ/יֹּאמֶר֩ אֵלָ֨י/ו הָֽ/אֱלֹהִ֜ים בַּ/חֲלֹ֗ם ג…
├── PHRASE (binary 18w) וַ/יֹּאמֶר֩ אֵלָ֨י/ו הָֽ/אֱלֹהִ֜ים בַּ/חֲלֹ֗ם ג…
│ ├── PHRASE (binary 12w) וַ/יֹּאמֶר֩ אֵלָ֨י/ו הָֽ/אֱלֹהִ֜ים בַּ/חֲלֹ֗ם ג…
│ │ ├── PHRASE (binary 4w) וַ/יֹּאמֶר֩ אֵלָ֨י/ו הָֽ/אֱלֹהִ֜ים בַּ/חֲלֹ֗ם
│ │ │ ├── [0-2] GLUE וַ/יֹּאמֶר֩ אֵלָ֨י/ו הָֽ/אֱלֹהִ֜ים (geresh, rank=4)
│ │ │ └── [3] בַּ/חֲלֹ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 8w) גַּ֣ם אָנֹכִ֤י יָדַ֨עְתִּי֙ כִּ֤י בְ/תָם לְבָבְ…
│ │ ├── [4-6] GLUE גַּ֣ם אָנֹכִ֤י יָדַ֨עְתִּי֙ (pashta, rank=3)
│ │ └── PHRASE (binary 5w) כִּ֤י בְ/תָם לְבָבְ/ךָ֙ עָשִׂ֣יתָ זֹּ֔את
│ │ ├── [7-9] GLUE כִּ֤י בְ/תָם לְבָבְ/ךָ֙ (pashta, rank=3)
│ │ └── [10-11] GLUE עָשִׂ֣יתָ זֹּ֔את (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וָ/אֶחְשֹׂ֧ךְ גַּם אָנֹכִ֛י אֽוֹתְ/ךָ֖ מֵ/חֲטוֹ…
│ ├── PHRASE (binary 4w) וָ/אֶחְשֹׂ֧ךְ גַּם אָנֹכִ֛י אֽוֹתְ/ךָ֖
│ │ ├── [12-14] GLUE וָ/אֶחְשֹׂ֧ךְ גַּם אָנֹכִ֛י (tevir, rank=3)
│ │ └── [15] אֽוֹתְ/ךָ֖ (tifcha, rank=2)
│ └── [16-17] GLUE מֵ/חֲטוֹ לִ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) עַל כֵּ֥ן לֹא נְתַתִּ֖י/ךָ לִ/נְגֹּ֥עַ אֵלֶֽי/הָ
├── [18-21] GLUE עַל כֵּ֥ן לֹא נְתַתִּ֖י/ךָ (tifcha, rank=2)
└── [22-23] GLUE לִ/נְגֹּ֥עַ אֵלֶֽי/הָ (silluq (verse-end emperor), rank=1)
Gen.20.7 · parser unique · 21 words
PHRASE (binary 21w) וְ/עַתָּ֗ה הָשֵׁ֤ב אֵֽשֶׁת הָ/אִישׁ֙ כִּֽי נָבִ…
├── PHRASE (binary 10w) וְ/עַתָּ֗ה הָשֵׁ֤ב אֵֽשֶׁת הָ/אִישׁ֙ כִּֽי נָבִ…
│ ├── PHRASE (binary 7w) וְ/עַתָּ֗ה הָשֵׁ֤ב אֵֽשֶׁת הָ/אִישׁ֙ כִּֽי נָבִ…
│ │ ├── [0] וְ/עַתָּ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 6w) הָשֵׁ֤ב אֵֽשֶׁת הָ/אִישׁ֙ כִּֽי נָבִ֣יא ה֔וּא
│ │ ├── [1-3] GLUE הָשֵׁ֤ב אֵֽשֶׁת הָ/אִישׁ֙ (pashta, rank=3)
│ │ └── [4-6] GLUE כִּֽי נָבִ֣יא ה֔וּא (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/יִתְפַּלֵּ֥ל בַּֽעַדְ/ךָ֖ וֶֽ/חְיֵ֑ה
│ ├── [7-8] GLUE וְ/יִתְפַּלֵּ֥ל בַּֽעַדְ/ךָ֖ (tifcha, rank=2)
│ └── [9] וֶֽ/חְיֵ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וְ/אִם אֵֽינְ/ךָ֣ מֵשִׁ֗יב דַּ֚ע כִּי מ֣וֹת תָּ…
├── PHRASE (binary 7w) וְ/אִם אֵֽינְ/ךָ֣ מֵשִׁ֗יב דַּ֚ע כִּי מ֣וֹת תָּ…
│ ├── [10-12] GLUE וְ/אִם אֵֽינְ/ךָ֣ מֵשִׁ֗יב (revia, rank=3)
│ └── PHRASE (binary 4w) דַּ֚ע כִּי מ֣וֹת תָּמ֔וּת
│ ├── [13] דַּ֚ע (yetiv, rank=3)
│ └── [14-16] GLUE כִּי מ֣וֹת תָּמ֔וּת (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אַתָּ֖ה וְ/כָל אֲשֶׁר לָֽ/ךְ
├── [17] אַתָּ֖ה (tifcha, rank=2)
└── [18-20] GLUE וְ/כָל אֲשֶׁר לָֽ/ךְ (silluq (verse-end emperor), rank=1)
Gen.20.8 · parser unique · 15 words
PHRASE (binary 15w) וַ/יַּשְׁכֵּ֨ם אֲבִימֶ֜לֶךְ בַּ/בֹּ֗קֶר וַ/יִּק…
├── PHRASE (binary 12w) וַ/יַּשְׁכֵּ֨ם אֲבִימֶ֜לֶךְ בַּ/בֹּ֗קֶר וַ/יִּק…
│ ├── PHRASE (binary 6w) וַ/יַּשְׁכֵּ֨ם אֲבִימֶ֜לֶךְ בַּ/בֹּ֗קֶר וַ/יִּק…
│ │ ├── PHRASE (binary 3w) וַ/יַּשְׁכֵּ֨ם אֲבִימֶ֜לֶךְ בַּ/בֹּ֗קֶר
│ │ │ ├── [0-1] GLUE וַ/יַּשְׁכֵּ֨ם אֲבִימֶ֜לֶךְ (geresh, rank=4)
│ │ │ └── [2] בַּ/בֹּ֗קֶר (revia, rank=3)
│ │ └── PHRASE (binary 3w) וַ/יִּקְרָא֙ לְ/כָל עֲבָדָ֔י/ו
│ │ ├── [3] וַ/יִּקְרָא֙ (pashta, rank=3)
│ │ └── [4-5] GLUE לְ/כָל עֲבָדָ֔י/ו (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וַ/יְדַבֵּ֛ר אֶת כָּל הַ/דְּבָרִ֥ים הָ/אֵ֖לֶּה …
│ ├── PHRASE (binary 5w) וַ/יְדַבֵּ֛ר אֶת כָּל הַ/דְּבָרִ֥ים הָ/אֵ֖לֶּה
│ │ ├── [6] וַ/יְדַבֵּ֛ר (tevir, rank=3)
│ │ └── [7-10] GLUE אֶת כָּל הַ/דְּבָרִ֥ים הָ/אֵ֖לֶּה (tifcha, rank=2)
│ └── [11] בְּ/אָזְנֵי/הֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יִּֽירְא֥וּ הָ/אֲנָשִׁ֖ים מְאֹֽד
├── [12-13] GLUE וַ/יִּֽירְא֥וּ הָ/אֲנָשִׁ֖ים (tifcha, rank=2)
└── [14] מְאֹֽד (silluq (verse-end emperor), rank=1)
Gen.20.9 · parser unique · 24 words
PHRASE (binary 24w) וַ/יִּקְרָ֨א אֲבִימֶ֜לֶךְ לְ/אַבְרָהָ֗ם וַ/יֹּ֨…
├── PHRASE (binary 18w) וַ/יִּקְרָ֨א אֲבִימֶ֜לֶךְ לְ/אַבְרָהָ֗ם וַ/יֹּ֨…
│ ├── PHRASE (binary 11w) וַ/יִּקְרָ֨א אֲבִימֶ֜לֶךְ לְ/אַבְרָהָ֗ם וַ/יֹּ֨…
│ │ ├── PHRASE (binary 3w) וַ/יִּקְרָ֨א אֲבִימֶ֜לֶךְ לְ/אַבְרָהָ֗ם
│ │ │ ├── [0-1] GLUE וַ/יִּקְרָ֨א אֲבִימֶ֜לֶךְ (geresh, rank=4)
│ │ │ └── [2] לְ/אַבְרָהָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 8w) וַ/יֹּ֨אמֶר ל֜/וֹ מֶֽה עָשִׂ֤יתָ לָּ֨/נוּ֙ וּ/מ…
│ │ ├── PHRASE (binary 5w) וַ/יֹּ֨אמֶר ל֜/וֹ מֶֽה עָשִׂ֤יתָ לָּ֨/נוּ֙
│ │ │ ├── [3-4] GLUE וַ/יֹּ֨אמֶר ל֜/וֹ (geresh, rank=4)
│ │ │ └── [5-7] GLUE מֶֽה עָשִׂ֤יתָ לָּ֨/נוּ֙ (pashta, rank=3)
│ │ └── [8-10] GLUE וּ/מֶֽה חָטָ֣אתִי לָ֔/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) כִּֽי הֵבֵ֧אתָ עָלַ֛/י וְ/עַל מַמְלַכְתִּ֖/י חֲ…
│ ├── PHRASE (binary 5w) כִּֽי הֵבֵ֧אתָ עָלַ֛/י וְ/עַל מַמְלַכְתִּ֖/י
│ │ ├── [11-13] GLUE כִּֽי הֵבֵ֧אתָ עָלַ֛/י (tevir, rank=3)
│ │ └── [14-15] GLUE וְ/עַל מַמְלַכְתִּ֖/י (tifcha, rank=2)
│ └── [16-17] GLUE חֲטָאָ֣ה גְדֹלָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) מַעֲשִׂים֙ אֲשֶׁ֣ר לֹא יֵֽעָשׂ֔וּ עָשִׂ֖יתָ עִמ…
├── PHRASE (binary 4w) מַעֲשִׂים֙ אֲשֶׁ֣ר לֹא יֵֽעָשׂ֔וּ
│ ├── [18] מַעֲשִׂים֙ (pashta, rank=3)
│ └── [19-21] GLUE אֲשֶׁ֣ר לֹא יֵֽעָשׂ֔וּ (zaqef qatan, rank=2)
└── PHRASE (binary 2w) עָשִׂ֖יתָ עִמָּדִֽ/י
├── [22] עָשִׂ֖יתָ (tifcha, rank=2)
└── [23] עִמָּדִֽ/י (silluq (verse-end emperor), rank=1)
Gen.20.10 · parser unique · 11 words
PHRASE (binary 11w) וַ/יֹּ֥אמֶר אֲבִימֶ֖לֶךְ אֶל אַבְרָהָ֑ם מָ֣ה רָ…
├── PHRASE (binary 4w) וַ/יֹּ֥אמֶר אֲבִימֶ֖לֶךְ אֶל אַבְרָהָ֑ם
│ ├── [0-1] GLUE וַ/יֹּ֥אמֶר אֲבִימֶ֖לֶךְ (tifcha, rank=2)
│ └── [2-3] GLUE אֶל אַבְרָהָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) מָ֣ה רָאִ֔יתָ כִּ֥י עָשִׂ֖יתָ אֶת הַ/דָּבָ֥ר הַ…
├── [4-5] GLUE מָ֣ה רָאִ֔יתָ (zaqef qatan, rank=2)
└── PHRASE (binary 5w) כִּ֥י עָשִׂ֖יתָ אֶת הַ/דָּבָ֥ר הַ/זֶּֽה
├── [6-7] GLUE כִּ֥י עָשִׂ֖יתָ (tifcha, rank=2)
└── [8-10] GLUE אֶת הַ/דָּבָ֥ר הַ/זֶּֽה (silluq (verse-end emperor), rank=1)
Gen.20.11 · parser unique · 14 words
PHRASE (binary 14w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם כִּ֣י אָמַ֗רְתִּי רַ֚ק …
├── PHRASE (binary 10w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם כִּ֣י אָמַ֗רְתִּי רַ֚ק …
│ ├── PHRASE (binary 2w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם
│ │ ├── [0] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
│ │ └── [1] אַבְרָהָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) כִּ֣י אָמַ֗רְתִּי רַ֚ק אֵין יִרְאַ֣ת אֱלֹהִ֔ים …
│ ├── PHRASE (binary 6w) כִּ֣י אָמַ֗רְתִּי רַ֚ק אֵין יִרְאַ֣ת אֱלֹהִ֔ים
│ │ ├── [2-3] GLUE כִּ֣י אָמַ֗רְתִּי (revia, rank=3)
│ │ └── PHRASE (binary 4w) רַ֚ק אֵין יִרְאַ֣ת אֱלֹהִ֔ים
│ │ ├── [4] רַ֚ק (yetiv, rank=3)
│ │ └── [5-7] GLUE אֵין יִרְאַ֣ת אֱלֹהִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) בַּ/מָּק֖וֹם הַ/זֶּ֑ה
│ ├── [8] בַּ/מָּק֖וֹם (tifcha, rank=2)
│ └── [9] הַ/זֶּ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/הֲרָג֖וּ/נִי עַל דְּבַ֥ר אִשְׁתִּֽ/י
├── [10] וַ/הֲרָג֖וּ/נִי (tifcha, rank=2)
└── [11-13] GLUE עַל דְּבַ֥ר אִשְׁתִּֽ/י (silluq (verse-end emperor), rank=1)
Gen.20.12 · parser unique · 13 words
PHRASE (binary 13w) וְ/גַם אָמְנָ֗ה אֲחֹתִ֤/י בַת אָבִ/י֙ הִ֔וא אַ֖…
├── PHRASE (binary 10w) וְ/גַם אָמְנָ֗ה אֲחֹתִ֤/י בַת אָבִ/י֙ הִ֔וא אַ֖…
│ ├── 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 4w) אַ֖ךְ לֹ֣א בַת אִמִּ֑/י
│ ├── [6] אַ֖ךְ (tifcha, rank=2)
│ └── [7-9] GLUE לֹ֣א בַת אִמִּ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/תְּהִי לִ֖/י לְ/אִשָּֽׁה
├── [10-11] GLUE וַ/תְּהִי לִ֖/י (tifcha, rank=2)
└── [12] לְ/אִשָּֽׁה (silluq (verse-end emperor), rank=1)
Gen.20.13 · parser unique · 24 words
PHRASE (binary 24w) וַ/יְהִ֞י כַּ/אֲשֶׁ֧ר הִתְע֣וּ אֹתִ֗/י אֱלֹהִים…
├── PHRASE (binary 14w) וַ/יְהִ֞י כַּ/אֲשֶׁ֧ר הִתְע֣וּ אֹתִ֗/י אֱלֹהִים…
│ ├── PHRASE (binary 7w) וַ/יְהִ֞י כַּ/אֲשֶׁ֧ר הִתְע֣וּ אֹתִ֗/י אֱלֹהִים…
│ │ ├── PHRASE (binary 4w) וַ/יְהִ֞י כַּ/אֲשֶׁ֧ר הִתְע֣וּ אֹתִ֗/י
│ │ │ ├── [0] וַ/יְהִ֞י (gershayim, rank=4)
│ │ │ └── [1-3] GLUE כַּ/אֲשֶׁ֧ר הִתְע֣וּ אֹתִ֗/י (revia, rank=3)
│ │ └── PHRASE (binary 3w) אֱלֹהִים֮ מִ/בֵּ֣ית אָבִ/י֒
│ │ ├── [4] אֱלֹהִים֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [5-6] GLUE מִ/בֵּ֣ית אָבִ/י֒ (segol, rank=2)
│ └── PHRASE (binary 7w) וָ/אֹמַ֣ר לָ֔/הּ זֶ֣ה חַסְדֵּ֔/ךְ אֲשֶׁ֥ר תַּעֲ…
│ ├── [7-8] GLUE וָ/אֹמַ֣ר לָ֔/הּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) זֶ֣ה חַסְדֵּ֔/ךְ אֲשֶׁ֥ר תַּעֲשִׂ֖י עִמָּדִ֑/י
│ ├── [9-10] GLUE זֶ֣ה חַסְדֵּ֔/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֥ר תַּעֲשִׂ֖י עִמָּדִ֑/י
│ ├── [11-12] GLUE אֲשֶׁ֥ר תַּעֲשִׂ֖י (tifcha, rank=2)
│ └── [13] עִמָּדִ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) אֶ֤ל כָּל הַ/מָּקוֹם֙ אֲשֶׁ֣ר נָב֣וֹא שָׁ֔מָּ/ה…
├── PHRASE (binary 6w) אֶ֤ל כָּל הַ/מָּקוֹם֙ אֲשֶׁ֣ר נָב֣וֹא שָׁ֔מָּ/ה
│ ├── [14-16] GLUE אֶ֤ל כָּל הַ/מָּקוֹם֙ (pashta, rank=3)
│ └── [17-19] GLUE אֲשֶׁ֣ר נָב֣וֹא שָׁ֔מָּ/ה (zaqef qatan, rank=2)
└── PHRASE (binary 4w) אִמְרִי לִ֖/י אָחִ֥/י הֽוּא
├── [20-21] GLUE אִמְרִי לִ֖/י (tifcha, rank=2)
└── [22-23] GLUE אָחִ֥/י הֽוּא (silluq (verse-end emperor), rank=1)
Gen.20.14 · parser unique · 13 words
PHRASE (binary 13w) וַ/יִּקַּ֨ח אֲבִימֶ֜לֶךְ צֹ֣אן וּ/בָקָ֗ר וַ/עֲב…
├── PHRASE (binary 8w) וַ/יִּקַּ֨ח אֲבִימֶ֜לֶךְ צֹ֣אן וּ/בָקָ֗ר וַ/עֲב…
│ ├── PHRASE (binary 6w) וַ/יִּקַּ֨ח אֲבִימֶ֜לֶךְ צֹ֣אן וּ/בָקָ֗ר וַ/עֲב…
│ │ ├── PHRASE (binary 4w) וַ/יִּקַּ֨ח אֲבִימֶ֜לֶךְ צֹ֣אן וּ/בָקָ֗ר
│ │ │ ├── [0-1] GLUE וַ/יִּקַּ֨ח אֲבִימֶ֜לֶךְ (geresh, rank=4)
│ │ │ └── [2-3] GLUE צֹ֣אן וּ/בָקָ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 2w) וַ/עֲבָדִים֙ וּ/שְׁפָחֹ֔ת
│ │ ├── [4] וַ/עֲבָדִים֙ (pashta, rank=3)
│ │ └── [5] וּ/שְׁפָחֹ֔ת (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וַ/יִּתֵּ֖ן לְ/אַבְרָהָ֑ם
│ ├── [6] וַ/יִּתֵּ֖ן (tifcha, rank=2)
│ └── [7] לְ/אַבְרָהָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יָּ֣שֶׁב ל֔/וֹ אֵ֖ת שָׂרָ֥ה אִשְׁתּֽ/וֹ
├── [8-9] GLUE וַ/יָּ֣שֶׁב ל֔/וֹ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֵ֖ת שָׂרָ֥ה אִשְׁתּֽ/וֹ
├── [10] אֵ֖ת (tifcha, rank=2)
└── [11-12] GLUE שָׂרָ֥ה אִשְׁתּֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.20.15 · parser unique · 8 words
PHRASE (binary 8w) וַ/יֹּ֣אמֶר אֲבִימֶ֔לֶךְ הִנֵּ֥ה אַרְצִ֖/י לְ/פ…
├── PHRASE (binary 5w) וַ/יֹּ֣אמֶר אֲבִימֶ֔לֶךְ הִנֵּ֥ה אַרְצִ֖/י לְ/פ…
│ ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֲבִימֶ֔לֶךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) הִנֵּ֥ה אַרְצִ֖/י לְ/פָנֶ֑י/ךָ
│ ├── [2-3] GLUE הִנֵּ֥ה אַרְצִ֖/י (tifcha, rank=2)
│ └── [4] לְ/פָנֶ֑י/ךָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) בַּ/טּ֥וֹב בְּ/עֵינֶ֖י/ךָ שֵֽׁב
├── [5-6] GLUE בַּ/טּ֥וֹב בְּ/עֵינֶ֖י/ךָ (tifcha, rank=2)
└── [7] שֵֽׁב (silluq (verse-end emperor), rank=1)
Gen.20.16 · parser unique · 18 words
PHRASE (binary 18w) וּ/לְ/שָׂרָ֣ה אָמַ֗ר הִנֵּ֨ה נָתַ֜תִּי אֶ֤לֶף כ…
├── PHRASE (binary 15w) וּ/לְ/שָׂרָ֣ה אָמַ֗ר הִנֵּ֨ה נָתַ֜תִּי אֶ֤לֶף כ…
│ ├── PHRASE (binary 7w) וּ/לְ/שָׂרָ֣ה אָמַ֗ר הִנֵּ֨ה נָתַ֜תִּי אֶ֤לֶף כ…
│ │ ├── [0-1] GLUE וּ/לְ/שָׂרָ֣ה אָמַ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 5w) הִנֵּ֨ה נָתַ֜תִּי אֶ֤לֶף כֶּ֨סֶף֙ לְ/אָחִ֔י/ךְ
│ │ ├── PHRASE (binary 4w) הִנֵּ֨ה נָתַ֜תִּי אֶ֤לֶף כֶּ֨סֶף֙
│ │ │ ├── [2-3] GLUE הִנֵּ֨ה נָתַ֜תִּי (geresh, rank=4)
│ │ │ └── [4-5] GLUE אֶ֤לֶף כֶּ֨סֶף֙ (pashta, rank=3)
│ │ └── [6] לְ/אָחִ֔י/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) הִנֵּ֤ה הוּא לָ/ךְ֙ כְּס֣וּת עֵינַ֔יִם לְ/כֹ֖ל …
│ ├── PHRASE (binary 5w) הִנֵּ֤ה הוּא לָ/ךְ֙ כְּס֣וּת עֵינַ֔יִם
│ │ ├── [7-9] GLUE הִנֵּ֤ה הוּא לָ/ךְ֙ (pashta, rank=3)
│ │ └── [10-11] GLUE כְּס֣וּת עֵינַ֔יִם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) לְ/כֹ֖ל אֲשֶׁ֣ר אִתָּ֑/ךְ
│ ├── [12] לְ/כֹ֖ל (tifcha, rank=2)
│ └── [13-14] GLUE אֲשֶׁ֣ר אִתָּ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/אֵ֥ת כֹּ֖ל וְ/נֹכָֽחַת
├── [15-16] GLUE וְ/אֵ֥ת כֹּ֖ל (tifcha, rank=2)
└── [17] וְ/נֹכָֽחַת (silluq (verse-end emperor), rank=1)
Gen.20.17 · parser unique · 12 words
PHRASE (binary 12w) וַ/יִּתְפַּלֵּ֥ל אַבְרָהָ֖ם אֶל הָ/אֱלֹהִ֑ים וַ…
├── PHRASE (binary 4w) וַ/יִּתְפַּלֵּ֥ל אַבְרָהָ֖ם אֶל הָ/אֱלֹהִ֑ים
│ ├── [0-1] GLUE וַ/יִּתְפַּלֵּ֥ל אַבְרָהָ֖ם (tifcha, rank=2)
│ └── [2-3] GLUE אֶל הָ/אֱלֹהִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַ/יִּרְפָּ֨א אֱלֹהִ֜ים אֶת אֲבִימֶ֧לֶךְ וְ/אֶת…
├── PHRASE (binary 7w) וַ/יִּרְפָּ֨א אֱלֹהִ֜ים אֶת אֲבִימֶ֧לֶךְ וְ/אֶת…
│ ├── PHRASE (binary 6w) וַ/יִּרְפָּ֨א אֱלֹהִ֜ים אֶת אֲבִימֶ֧לֶךְ וְ/אֶת…
│ │ ├── [4-5] GLUE וַ/יִּרְפָּ֨א אֱלֹהִ֜ים (geresh, rank=4)
│ │ └── [6-9] GLUE אֶת אֲבִימֶ֧לֶךְ וְ/אֶת אִשְׁתּ֛/וֹ (tevir, rank=3)
│ └── [10] וְ/אַמְהֹתָ֖י/ו (tifcha, rank=2)
└── [11] וַ/יֵּלֵֽדוּ (silluq (verse-end emperor), rank=1)
Gen.20.18 · parser unique · 14 words
PHRASE (binary 14w) כִּֽי עָצֹ֤ר עָצַר֙ יְהוָ֔ה בְּעַ֥ד כָּל רֶ֖חֶם…
├── PHRASE (binary 9w) כִּֽי עָצֹ֤ר עָצַר֙ יְהוָ֔ה בְּעַ֥ד כָּל רֶ֖חֶם…
│ ├── PHRASE (binary 4w) כִּֽי עָצֹ֤ר עָצַר֙ יְהוָ֔ה
│ │ ├── [0-2] GLUE כִּֽי עָצֹ֤ר עָצַר֙ (pashta, rank=3)
│ │ └── [3] יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) בְּעַ֥ד כָּל רֶ֖חֶם לְ/בֵ֣ית אֲבִימֶ֑לֶךְ
│ ├── [4-6] GLUE בְּעַ֥ד כָּל רֶ֖חֶם (tifcha, rank=2)
│ └── [7-8] GLUE לְ/בֵ֣ית אֲבִימֶ֑לֶךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) עַל דְּבַ֥ר שָׂרָ֖ה אֵ֥שֶׁת אַבְרָהָֽם
├── [9-11] GLUE עַל דְּבַ֥ר שָׂרָ֖ה (tifcha, rank=2)
└── [12-13] GLUE אֵ֥שֶׁת אַבְרָהָֽם (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_36_gerar_dream_prophet — Gerar: the dream-court, the prophet's prayer, the shut wombs (20:1-18) [frozen]
final state: WORLD=['avimelekh'] (+3 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install']
=== S1 — The claim and the taking: after STEP_Gn_20_2
אֲחֹתִי הִוא … וַיִּקַּח אֶת־שָׂרָה (achoti hi … va-yiqach et-sarah)
PASS WORLD += avimelekh (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.20.2'})
PASS Facts achoti-hi HOLD (1 facts)
PASS flags gerar/qadesh/shur as read-before-install. (flagged=['gerar', 'qadesh', 'shur'])
=== S2 — The dream-court and the defense: after STEP_Gn_20_6
וָאֶחְשֹׂךְ גַּם־אָנֹכִי אוֹתְךָ מֵחֲטוֹ־לִי (va-echsokh gam-anokhi otkha me-chato-li)
PASS Facts hinkha-met HOLD (10 facts)
PASS Facts tom-levavi HOLD (10 facts)
PASS Facts echsokh-chato HOLD (10 facts)
PASS no test, no name. (tests=0 names=0)
=== S3 — The era's first divine push: after STEP_Gn_20_7
וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא (ve-atah hashev eshet-ha-ish ki-navi hu)
PASS LET(hashev(eshet_ha_ish)) pushed and OPEN (queue=['hashev(eshet_ha_ish)'])
PASS Facts mot-tamut HOLD. (12 facts)
=== S4 — The arraignment holds nothing new on the queue: after STEP_Gn_20_13
אִמְרִי־לִי אָחִי הוּא (imri-li achi hu)
PASS LET(hashev(eshet_ha_ish)) pushed and OPEN (queue=['hashev(eshet_ha_ish)'])
PASS Facts imri-li HOLD (20 facts)
PASS Facts yirat-elohim HOLD (20 facts)
PASS no test, no name. (tests=0 names=0)
=== S5 — Settled cycle #13 — the queue touches zero: after STEP_Gn_20_14
וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ (va-yashev lo et sarah ishto)
PASS SPECS empty. (queue=0)
=== S6 — The dwell-grant: after STEP_Gn_20_15
בַּטּוֹב בְּעֵינֶיךָ שֵׁב (ba-tov be-einekha shev)
PASS LET(shev(ba_tov_be_einekha)) pushed and OPEN (queue=['shev(ba_tov_be_einekha)'])
PASS no test, no name. (tests=0 names=0)
=== S7 — The prayer performed: after STEP_Gn_20_17
וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים וַיִּרְפָּא אֱלֹהִים (va-yitpalel avraham el-ha-elohim va-yirpa elohim)
PASS LET(shev(ba_tov_be_einekha)) pushed and OPEN (queue=['shev(ba_tov_be_einekha)'])
PASS Facts nokhachat HOLD (22 facts)
PASS no test, no name. (tests=0 names=0)
=== S8 — The shut-womb close: after STEP_Gn_20_18
כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם (ki-atzor atzar YHWH bead kol-rechem)
PASS LET(shev(ba_tov_be_einekha)) pushed and OPEN (queue=['shev(ba_tov_be_einekha)'])
PASS Facts atzor-atzar HOLD (23 facts)
PASS WORLD = {avimelekh} (created=['avimelekh'])
PASS no test, no name (tests=0 names=0)
PASS LEDGER stays EMPTY (open transaction) (ledger_days=[])
PASS flags gerar/qadesh/shur as read-before-install. (flagged=['gerar', 'qadesh', 'shur'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# TorahSim — (c) 2026 Brian LeBlanc · MIT license (see LICENSE at repo root)
# =============================================================================
# gen_36_gerar_dream_prophet — 20:1-18
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_36_gerar_dream_prophet.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.
# =============================================================================
"""Gerar: the dream-court, the prophet's prayer, the shut wombs (20:1-18)"""
from machine import Machine
m = Machine("gen_36_gerar_dream_prophet")
# -------------------------- Gen.20.1 · THE_JOURNEY_TO_GERAR ----------------
# וַיִּסַּע מִשָּׁם אַבְרָהָם אַרְצָה הַנֶּגֶב וַיֵּשֶׁב בֵּין־קָדֵשׁ וּבֵין
# שׁוּר וַיָּגָר בִּגְרָר
# "And Abraham journeyed from thence toward the land of the South, and dwelt
# between Kadesh and Shur; and he sojourned in Gerar."
m.step("Gen.20.1")
# ‹וַיִּסַּע מִשָּׁם אַבְרָהָם … וַיָּגָר בִּגְרָר› (“and-journey from-there
# Abraham … and-turn-aside-from-the-road in-Gerar”) — event: journey-sojourn
# — agent Abraham
m.event("journey_sojourn", agent="avraham")
# ‹בֵּין־קָדֵשׁ וּבֵין שׁוּר … בִּגְרָר› (“between Kadesh and-between Shur …
# in-Gerar”) — reads without prior install (flag, not fix): Gerar, Kadesh,
# Shur
m.presupposed("gerar", "qadesh", "shur")
# -------------------------- Gen.20.2 · THE_SECOND_CLAIM_AND_THE_TAKING -----
# וַיֹּאמֶר אַבְרָהָם אֶל־שָׂרָה אִשְׁתּוֹ אֲחֹתִי הִוא וַיִּשְׁלַח
# אֲבִימֶלֶךְ מֶלֶךְ גְּרָר וַיִּקַּח אֶת־שָׂרָה
# "And Abraham said of Sarah his wife: 'She is my sister.' And Abimelech
# king of Gerar sent, and took Sarah."
m.step("Gen.20.2")
# ‹אֲחֹתִי הִוא› (“sister-me/my he/it”) — fact holds: achoti-he/it
m.fact("achoti_hi")
# ‹אֲבִימֶלֶךְ מֶלֶךְ גְּרָר› (“Abimelech king Gerar”) — the world gains:
# Abimelech
m.install("avimelekh")
# ‹וַיִּשְׁלַח … וַיִּקַּח אֶת־שָׂרָה› (“and-send … and-take obj-marker
# Sarah”) — event: take — agent Abimelech; theme sarah
m.event("take", agent="avimelekh", themes=["sarah"])
# -------------------------- Gen.20.3 · THE_DREAM_VERDICT -------------------
# וַיָּבֹא אֱלֹהִים אֶל־אֲבִימֶלֶךְ בַּחֲלוֹם הַלָּיְלָה וַיֹּאמֶר לוֹ
# הִנְּךָ מֵת עַל־הָאִשָּׁה אֲשֶׁר־לָקַחְתָּ וְהִוא בְּעֻלַת בָּעַל
# "But God came to Abimelech in a dream of the night, and said to him:
# 'Behold, thou shalt die, because of the woman whom thou hast taken; for
# she is a man's wife.'"
m.step("Gen.20.3")
# ‹וַיָּבֹא אֱלֹהִים אֶל־אֲבִימֶלֶךְ בַּחֲלוֹם הַלָּיְלָה› (“and-come/bring
# God to Abimelech in-dream the-night”) — event: dream-say — agent God
m.event("dream_say", agent="elohim")
# ‹הִנְּךָ מֵת עַל־הָאִשָּׁה אֲשֶׁר־לָקַחְתָּ וְהִוא בְּעֻלַת בָּעַל›
# (“behold-you/your die over the-woman which take and-he/it be-master
# master”) — fact holds: hinkha-die-over-the-woman; and-he/it-be-master-
# master
m.fact("hinkha_met_al_ha_ishah",
"ve_hi_beulat_baal")
# witness-tier presupposed read:
# prophecy_grade_carried_by_both_spine_members on gentile_dream — read, not
# installed
m.witness_read("gentile_dream", "prophecy_grade_carried_by_both_spine_members",
cites=["Bereshit Rabbah 52:5", "Bereshit Rabbah 74:7", "Onkelos Genesis 20:3"])
# -------------------------- Gen.20.4 · THE_KINGS_COUNT_QUESTION ------------
# וַאֲבִימֶלֶךְ לֹא קָרַב אֵלֶיהָ וַיֹּאמַר אֲדֹנָי הֲגוֹי גַּם־צַדִּיק
# תַּהֲרֹג
# "Now Abimelech had not come near her; and he said: 'Lord, wilt Thou slay
# even a righteous nation?"
m.step("Gen.20.4")
# ‹לֹא קָרַב אֵלֶיהָ … הֲגוֹי גַּם־צַדִּיק תַּהֲרֹג› (“not bring-near to-
# her/its … the-nation also just smite-with-deadly-intent”) — fact holds:
# not-bring-near-eleha; the-nation-also-tzaddiq-smite-with-deadly-intent
m.fact("lo_qarav_eleha",
"ha_goy_gam_tzaddiq_taharog")
# -------------------------- Gen.20.5 · THE_INTEGRITY_DEFENSE ---------------
# הֲלֹא הוּא אָמַר־לִי אֲחֹתִי הִוא וְהִיא־גַם־הִוא אָמְרָה אָחִי הוּא
# בְּתָם־לְבָבִי וּבְנִקְיֹן כַּפַּי עָשִׂיתִי זֹאת
# "Said he not himself unto me: She is my sister? and she, even she herself
# said: He is my brother. In the simplicity of my heart and the innocency of
# my hands have I done this.'"
m.step("Gen.20.5")
# ‹הֲלֹא הוּא אָמַר־לִי … בְּתָם־לְבָבִי וּבְנִקְיֹן כַּפַּי› (“is-it-not
# he/it say to-me/my … in-completeness heart-me/my and-in-clearness palm-of-
# hand-me/my”) — fact holds: he/it-say-to-me-and-he/it-also-he/it-amrah; in-
# tom-levavi-and-and-clearness-kapai
m.fact("hu_amar_li_ve_hi_gam_hi_amrah",
"be_tom_levavi_u_ve_niqyon_kapai")
# -------------------------- Gen.20.6 · THE_CONCESSION_AND_THE_WITHHOLDING --
# וַיֹּאמֶר אֵלָיו הָאֱלֹהִים בַּחֲלֹם גַּם אָנֹכִי יָדַעְתִּי כִּי
# בְתָם־לְבָבְךָ עָשִׂיתָ זֹּאת וָאֶחְשֹׂךְ גַּם־אָנֹכִי אוֹתְךָ מֵחֲטוֹ־לִי
# עַל־כֵּן לֹא־נְתַתִּיךָ לִנְגֹּעַ אֵלֶיהָ
# "And God said unto him in the dream: 'Yea, I know that in the simplicity
# of thy heart thou hast done this, and I also withheld thee from sinning
# against Me. Therefore suffered I thee not to touch her."
m.step("Gen.20.6")
# ‹יָדַעְתִּי … וָאֶחְשֹׂךְ … מֵחֲטוֹ־לִי … לֹא־נְתַתִּיךָ לִנְגֹּעַ› (“know
# … and-restrain … from-sin to-me/my … not set-you/your to-touch”) — fact
# holds: also-anokhi-know-and-tom-levavkha; and-restrain-otkha-what-sin-to-
# me; not-netatikha-lingoa
m.fact("gam_anokhi_yadati_ve_tom_levavkha",
"va_echsokh_otkha_me_chato_li",
"lo_netatikha_lingoa")
# witness-tier presupposed read: agency_assigned_away_from_the_subject on
# withheld_sin — read, not installed
m.witness_read("withheld_sin", "agency_assigned_away_from_the_subject",
cites=["Bereshit Rabbah 52:7"])
# -------------------------- Gen.20.7 · THE_PROPHET_AND_THE_RETURN_COMMAND --
# וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא וְיִתְפַּלֵּל בַּעַדְךָ
# וֶחְיֵה וְאִם־אֵינְךָ מֵשִׁיב דַּע כִּי־מוֹת תָּמוּת אַתָּה
# וְכָל־אֲשֶׁר־לָךְ
# "Now therefore restore the man's wife; for he is a prophet, and he shall
# pray for thee, and thou shalt live; and if thou restore her not, know thou
# that thou shalt surely die, thou, and all that are thine.'"
m.step("Gen.20.7")
# ‹וְעַתָּה הָשֵׁב אֵשֶׁת־הָאִישׁ› (“and-now return woman the-man”) — God
# speaks a demand — LET: return(woman-the-man)
m.declare("elohim", "LET",
"hashev(eshet_ha_ish)")
# ‹וְיִתְפַּלֵּל בַּעַדְךָ וֶחְיֵה› (“and-judge in-up-to-you/your and-live”)
# — fact holds: and-judge-baadkha-and-cheyeh
m.fact("ve_yitpalel_baadkha_ve_cheyeh")
# ‹וְאִם־אֵינְךָ מֵשִׁיב דַּע כִּי־מוֹת תָּמוּת› (“and-if there-is-not-
# you/your return know that die die”) — fact holds: if-einkha-return-know-
# that-die-die
m.fact("im_einkha_meshiv_da_ki_mot_tamut")
# witness-tier presupposed read: second_leg_of_no_forewarning on
# know_you_shall_die — read, not installed
m.witness_read("know_you_shall_die", "second_leg_of_no_forewarning",
cites=["Bereshit Rabbah 52:8"])
# -------------------------- Gen.20.8 · THE_COURT_FEARS ---------------------
# וַיַּשְׁכֵּם אֲבִימֶלֶךְ בַּבֹּקֶר וַיִּקְרָא לְכָל־עֲבָדָיו וַיְדַבֵּר
# אֶת־כָּל־הַדְּבָרִים הָאֵלֶּה בְּאָזְנֵיהֶם וַיִּירְאוּ הָאֲנָשִׁים מְאֹד
# "And Abimelech rose early in the morning, and called all his servants, and
# told all these things in their ears; and the men were sore afraid."
m.step("Gen.20.8")
# ‹וַיַּשְׁכֵּם … וַיְדַבֵּר … וַיִּירְאוּ הָאֲנָשִׁים מְאֹד› (“and-rise-
# early … and-speak … and-fear the-man very”) — event: report-fear — agent
# Abimelech
m.event("report_fear", agent="avimelekh")
# -------------------------- Gen.20.9 · THE_GREAT_SIN_REBUKE ----------------
# וַיִּקְרָא אֲבִימֶלֶךְ לְאַבְרָהָם וַיֹּאמֶר לוֹ מֶה־עָשִׂיתָ לָּנוּ
# וּמֶה־חָטָאתִי לָךְ כִּי־הֵבֵאתָ עָלַי וְעַל־מַמְלַכְתִּי חֲטָאָה גְדֹלָה
# מַעֲשִׂים אֲשֶׁר לֹא־יֵעָשׂוּ עָשִׂיתָ עִמָּדִי
# "Then Abimelech called Abraham, and said unto him: 'What hast thou done
# unto us? and wherein have I sinned against thee, that thou hast brought on
# me and on my kingdom a great sin? thou hast done deeds unto me that ought
# not to be done.'"
m.step("Gen.20.9")
# ‹מֶה־עָשִׂיתָ לָּנוּ … חֲטָאָה גְדֹלָה … מַעֲשִׂים אֲשֶׁר לֹא־יֵעָשׂוּ›
# (“what make to-us/our … offence great … deed/work which not make”) — fact
# holds: meh-make-lanu-and-meh-sin; chataah-gedolah-over-mamlakhti
m.fact("meh_asita_lanu_u_meh_chatati",
"chataah_gedolah_al_mamlakhti")
# -------------------------- Gen.20.10 · THE_SECOND_QUESTION ----------------
# וַיֹּאמֶר אֲבִימֶלֶךְ אֶל־אַבְרָהָם מָה רָאִיתָ כִּי עָשִׂיתָ אֶת־הַדָּבָר
# הַזֶּה
# "And Abimelech said unto Abraham: 'What sawest thou, that thou hast done
# this thing?'"
m.step("Gen.20.10")
# ‹מָה רָאִיתָ כִּי עָשִׂיתָ› (“what see that make”) — fact holds: mah-see-
# that-make
m.fact("mah_raita_ki_asita")
# -------------------------- Gen.20.11 · THE_FEAR_OF_GOD_GUESS --------------
# וַיֹּאמֶר אַבְרָהָם כִּי אָמַרְתִּי רַק אֵין־יִרְאַת אֱלֹהִים בַּמָּקוֹם
# הַזֶּה וַהֲרָגוּנִי עַל־דְּבַר אִשְׁתִּי
# "And Abraham said: 'Because I thought: Surely the fear of God is not in
# this place; and they will slay me for my wife's sake."
m.step("Gen.20.11")
# ‹אֵין־יִרְאַת אֱלֹהִים בַּמָּקוֹם הַזֶּה וַהֲרָגוּנִי› (“there-is-not fear
# God in-place the-this and-smite-with-deadly-intent-me/my”) — fact holds:
# say-ein-fear-God; and-haraguni-over-word/thing-ishti
m.fact("amarti_ein_yirat_elohim",
"va_haraguni_al_devar_ishti")
# -------------------------- Gen.20.12 · THE_HALF_TRUTH ---------------------
# וְגַם־אָמְנָה אֲחֹתִי בַת־אָבִי הִוא אַךְ לֹא בַת־אִמִּי וַתְּהִי־לִי
# לְאִשָּׁה
# "And moreover she is indeed my sister, the daughter of my father, but not
# the daughter of my mother; and so she became my wife."
m.step("Gen.20.12")
# ‹אֲחֹתִי בַת־אָבִי הִוא אַךְ לֹא בַת־אִמִּי› (“sister-me/my daughter
# father-me/my he/it indeed not daughter mother-me/my”) — fact holds:
# achoti-daughter-avi-indeed-not-daughter-imi
m.fact("achoti_vat_avi_akh_lo_vat_imi")
# -------------------------- Gen.20.13 · THE_WANDERING_AND_THE_QUOTED_DEMAND -
# וַיְהִי כַּאֲשֶׁר הִתְעוּ אֹתִי אֱלֹהִים מִבֵּית אָבִי וָאֹמַר לָהּ זֶה
# חַסְדֵּךְ אֲשֶׁר תַּעֲשִׂי עִמָּדִי אֶל כָּל־הַמָּקוֹם אֲשֶׁר נָבוֹא
# שָׁמָּה אִמְרִי־לִי אָחִי הוּא
# "And it came to pass, when God caused me to wander from my father's house,
# that I said unto her: This is thy kindness which thou shalt show unto me;
# at every place whither we shall come, say of me: He is my brother.'"
m.step("Gen.20.13")
# ‹הִתְעוּ אֹתִי אֱלֹהִים … אִמְרִי־לִי אָחִי הוּא› (“vacillate obj-marker-
# me/my God … say to-me/my brother-me/my he/it”) — fact holds: vacillate-me-
# God-from-beit-avi; say-to-me-my-brother-he/it
m.fact("hitu_oti_elohim_mi_beit_avi",
"imri_li_achi_hu")
# witness-tier presupposed read: re_subjected_in_translation on
# plural_verb_crux — read, not installed
m.witness_read("plural_verb_crux", "re_subjected_in_translation",
cites=["Onkelos Genesis 20:13"])
# -------------------------- Gen.20.14 · THE_RETURN_CYCLE_CLOSES ------------
# וַיִּקַּח אֲבִימֶלֶךְ צֹאן וּבָקָר וַעֲבָדִים וּשְׁפָחֹת וַיִּתֵּן
# לְאַבְרָהָם וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ
# "And Abimelech took sheep and oxen, and men-servants and women-servants,
# and gave them unto Abraham, and restored him Sarah his wife."
m.step("Gen.20.14")
# ‹וַיָּשֶׁב לוֹ אֵת שָׂרָה אִשְׁתּוֹ› (“and-return to-him/its obj-marker
# Sarah woman-him/its”) — demand settled (popped from the queue):
# return(woman-the-man)
m.result("hashev(eshet_ha_ish)", tmark="t1")
# -------------------------- Gen.20.15 · THE_DWELL_GRANT --------------------
# וַיֹּאמֶר אֲבִימֶלֶךְ הִנֵּה אַרְצִי לְפָנֶיךָ בַּטּוֹב בְּעֵינֶיךָ שֵׁב
# "And Abimelech said: 'Behold, my land is before thee: dwell where it
# pleaseth thee.'"
m.step("Gen.20.15")
# ‹בַּטּוֹב בְּעֵינֶיךָ שֵׁב› (“in-good in-eye-you/your dwell/sit”) —
# Abimelech speaks a demand — LET: dwell/sit(in-the-good-in-einekha)
m.declare("avimelekh", "LET",
"shev(ba_tov_be_einekha)")
# -------------------------- Gen.20.16 · THE_COVERING_AND_THE_VINDICATION ---
# וּלְשָׂרָה אָמַר הִנֵּה נָתַתִּי אֶלֶף כֶּסֶף לְאָחִיךְ הִנֵּה הוּא־לָךְ
# כְּסוּת עֵינַיִם לְכֹל אֲשֶׁר אִתָּךְ וְאֵת כֹּל וְנֹכָחַת
# "And unto Sarah he said: 'Behold, I have given thy brother a thousand
# pieces of silver; behold, it is for thee a covering of the eyes to all
# that are with thee; and before all men thou art righted.'"
m.step("Gen.20.16")
# ‹אֶלֶף כֶּסֶף … כְּסוּת עֵינַיִם … וְנֹכָחַת› (“thousand silver … cover
# eye … and-be-right”) — fact holds: thousand-silver-cover-einayim; and-be-
# right
m.fact("elef_kesef_kesut_einayim",
"ve_nokhachat")
# witness-tier presupposed read: read_as_compensation_with_a_right on
# thousand_silver — read, not installed
m.witness_read("thousand_silver", "read_as_compensation_with_a_right",
cites=["Bereshit Rabbah 52:10", "Onkelos Genesis 20:16"])
# -------------------------- Gen.20.17 · THE_PRAYER_AND_THE_HEALING ---------
# וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים וַיִּרְפָּא אֱלֹהִים
# אֶת־אֲבִימֶלֶךְ וְאֶת־אִשְׁתּוֹ וְאַמְהֹתָיו וַיֵּלֵדוּ
# "And Abraham prayed unto God; and God healed Abimelech, and his wife, and
# his maid-servants; and they bore children."
m.step("Gen.20.17")
# ‹וַיִּתְפַּלֵּל אַבְרָהָם אֶל־הָאֱלֹהִים› (“and-judge Abraham to the-God”)
# — event: pray — agent Abraham
m.event("pray", agent="avraham")
# ‹וַיִּרְפָּא אֱלֹהִים … וַיֵּלֵדוּ› (“and-mend God … and-bear-young”) —
# event: heal — agent God; theme beit-Abimelech
m.event("heal", agent="elohim", themes=["beit_avimelekh"])
# -------------------------- Gen.20.18 · THE_SHUT_WOMB_CLOSER ---------------
# כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם לְבֵית אֲבִימֶלֶךְ עַל־דְּבַר
# שָׂרָה אֵשֶׁת אַבְרָהָם
# "For the LORD had fast closed up all the wombs of the house of Abimelech,
# because of Sarah Abraham's wife."
m.step("Gen.20.18")
# ‹כִּי־עָצֹר עָצַר יְהוָה בְּעַד כָּל־רֶחֶם› (“that close close YHWH in-up-
# to all womb”) — fact holds: close-close-the-LORD-up-to-all-womb
m.fact("atzor_atzar_YHWH_bead_kol_rechem")
# ‹כִּי־עָצֹר עָצַר יְהוָה› (“that close close YHWH”) — note: zero events in
# this verse
m.note_zero_events()
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'avimelekh'}
assert m.presupposed_set() == {'gerar', 'qadesh', 'shur'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == ['shev(ba_tov_be_einekha)']
assert len(m.SPECS["log"]) == 2
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 3}
assert sorted(m.WORLD["facts"]) == sorted(['achoti_hi', 'hinkha_met_al_ha_ishah', 've_hi_beulat_baal', 'lo_qarav_eleha', 'ha_goy_gam_tzaddiq_taharog', 'hu_amar_li_ve_hi_gam_hi_amrah', 'be_tom_levavi_u_ve_niqyon_kapai', 'gam_anokhi_yadati_ve_tom_levavkha', 'va_echsokh_otkha_me_chato_li', 'lo_netatikha_lingoa', 've_yitpalel_baadkha_ve_cheyeh', 'im_einkha_meshiv_da_ki_mot_tamut', 'meh_asita_lanu_u_meh_chatati', 'chataah_gedolah_al_mamlakhti', 'mah_raita_ki_asita', 'amarti_ein_yirat_elohim', 'va_haraguni_al_devar_ishti', 'achoti_vat_avi_akh_lo_vat_imi', 'hitu_oti_elohim_mi_beit_avi', 'imri_li_achi_hu', 'elef_kesef_kesut_einayim', 've_nokhachat', 'atzor_atzar_YHWH_bead_kol_rechem'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 9
assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('gentile_dream', 'prophecy_grade_carried_by_both_spine_members'), ('withheld_sin', 'agency_assigned_away_from_the_subject'), ('know_you_shall_die', 'second_leg_of_no_forewarning'), ('plural_verb_crux', 're_subjected_in_translation'), ('thousand_silver', 'read_as_compensation_with_a_right')]
assert m.WITNESS_READS[0]["cites"] == ['Bereshit Rabbah 52:5', 'Bereshit Rabbah 74:7', 'Onkelos Genesis 20:3']
assert all('prophecy_grade_carried_by_both_spine_members' not in f for f in m.WORLD["facts"])
assert 'gentile_dream' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[1]["cites"] == ['Bereshit Rabbah 52:7']
assert all('agency_assigned_away_from_the_subject' not in f for f in m.WORLD["facts"])
assert 'withheld_sin' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[2]["cites"] == ['Bereshit Rabbah 52:8']
assert all('second_leg_of_no_forewarning' not in f for f in m.WORLD["facts"])
assert 'know_you_shall_die' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[3]["cites"] == ['Onkelos Genesis 20:13']
assert all('re_subjected_in_translation' not in f for f in m.WORLD["facts"])
assert 'plural_verb_crux' not in m.WORLD["witnessed"]
assert m.WITNESS_READS[4]["cites"] == ['Bereshit Rabbah 52:10', 'Onkelos Genesis 20:16']
assert all('read_as_compensation_with_a_right' not in f for f in m.WORLD["facts"])
assert 'thousand_silver' not in m.WORLD["witnessed"]
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")