Gerar: the dream-court, the prophet's prayer, the shut wombs (20:1-18) FROZEN
הָשֵׁב אֵשֶׁת־הָאִישׁ כִּי־נָבִיא הוּא · 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 |
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 |
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 |
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 |
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 |
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.
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
# =============================================================================
# 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")
# -------------------------- 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")
# -------------------------- 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")
# -------------------------- 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")
# -------------------------- 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")
# -------------------------- 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() == {'shur', 'gerar', 'qadesh'}
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
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")