Hagar: the maid given, the flight, the angel, the names (16:1-16) FROZEN
אַתָּה אֵל רֳאִי · atah El Roi · 'You are a God of seeing'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | Gen 16:1-16 as ONE UNIT (the owner's derive-order ratifying the staged recommendation), per-verse steps x16: the barren-wife notice (16:1), Sarai's initiative and Abram's listening (16:2), the take-and-give (16:3), the compliance and the contempt (16:4), the grievance and the demand-on-God (16:5), the permission and the affliction-flight (16:6), the angel finds her (16:7), the where-questions (16:8), the return-command (16:9), the multiply-promise (16:10), the annunciation (16:11), the wild-ass oracle (16:12), she names YHWH (16:13), the well named (16:14), the birth and the father's naming (16:15), the age-frame (16:16). The chapter is one household arc in two scenes bound by the maid-word (shifchah x6 in-span) and the afflict-root; 17:1 breaks on a thirteen-year jump and the El Shaddai covenant genre. 16 verses, 223 tokens. | established |
| B | Hebrew source + trees | All 16 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-05). Tree facts (accent positions DB-verified): 16:1 rests on LO ('bore no children TO HIM') and ends on u-shemah HAGAR (her name verse-final); 16:2 rests on MIMENAH ('built FROM HER') and ENDS ON LE-QOL SARAY — the listened-idiom on the silluq throne; 16:3 rests on be-eretz kenaan and ends on LO LE-ISHAH ('to him as WIFE' — the promotion verse-final); 16:4 rests on VA-TAHAR ALONE (a one-word etnachta arm — the conception is the rest) and ends on be-eineha ('in her eyes'); 16:5 RESTS on be-eineha — the contempt-phrase moves from 16:4's silluq to 16:5's etnachta, throne to throne — and ends on beini u-veinekha ('between me and you'; the written source carries one of the Torah's dotted-letter marks (puncta) on u-veinekha — noted, no claim, the chain's files are the chain's); 16:6 rests on ha-tov be-einayikh (the permission at the rest) and ends on MI-PANEHA ('from her face' — the flight verse-final); 16:7 rests on ba-midbar and ends on be-derekh SHUR; 16:8 rests on ve-anah telekhi (the whither-question at the rest) and ENDS ON BORACHAT ('FLEEING' — the participle on the throne); 16:9 rests on el-gevirtekh and ends on tachat yadeha ('under her hands'); 16:10 rests on et-zarekh and ends on ME-ROV ('for multitude'); 16:11 rests on ve-yoladt BEN and ENDS ON EL-ONYEKH ('your AFFLICTION' — the verse ends on the word the Name heard); 16:12 rests on BO ('all hands against HIM') and ends on the single word YISHKON ('he shall dwell'); 16:13 RESTS ON EL ROI (the new name on the etnachta) and ends on acharei ROI — with 16:14 resting on beer-lachai-ROI: the roi-skeleton on THREE consecutive thrones; 16:14 ends on u-vein BARED; 16:15 rests on BEN alone and ENDS ON YISHMAEL (the name verse-final); 16:16 ends on LE-AVRAM. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-05) and censuses run BEFORE drafting. THE DEMAND FIELD (the span's complete coded-mood census): 16:2 BO — imperative HVqv2ms with na (Sarai to Abram); 16:5 YISHPOT — jussive HVqj3ms (Sarai on YHWH — flag 2); 16:6 ASI — imperative HVqv2fs (Abram to Sarai); 16:9 SHUVI HVqv2fs + VE-HITANI HVtv2fs (the angel's pair — one compound demand); 16:10 HARBAH — inf-abs (the doubling, not a mood); NOTHING else: four volitive utterances, three issuers, one of them a woman (the corpus's first female issuer — flag 3), one aimed at God (flag 2). THE WEQATAL: 16:11's ve-qarat (HVqq2fs, TIR-029) — decree-chain, not command [flag 11]. THE NAME FIELD: qara tokens 23-26 ALL in-span — the angel's decree (16:11, weqatal-fact), Hagar's naming of YHWH (16:13, va-tiqra formula -> NAME, flag 1), the therefore-naming of the well (16:14, bare perfect -> PATTERN, flag 12), the father's naming of the son (16:15, va-yiqra -> NAME): four naming acts, four different grammars, and the machine gives each its own class [census]. CAREERS AND DEBUTS: hagar x7 (the name frames the chapter: absent from the angel-scene's address, which says shifchat saray; named three times at the birth); GEVIRAH ('mistress') debut x3 — ALL its Torah tokens are in this chapter [census]; shifchah tokens 2-7 (token 1 = 12:16, frozen gen_28's gift-list, quoted: 'maidservants (shifchah Torah debut — the title Hagar will carry [named-only])' — the frozen prediction LANDS: the title is hers six times here); BARACH ('flee') debut x2 (16:6, 16:8 — born on Hagar; tokens 3-5 are Yaakov's flights); MALAKH x4 (flag 6); PERE hapax + the oracle (25:18's al-penei completion named-only); ULAY + ATZAR + CHEQ ('bosom') + HALOM ('hither') + ROI debuts; HARAH-adjective debut (16:11; its other tokens: Tamar 38:24-25, the struck mother Exod 21:22); EI token 3 / ANAH-whither debut (flag 10); ONI token 1 (flag 11); QALAL tokens 5-6 (va-teqal/va-eqal — token 4 is 12:3's u-meqalelkha, frozen gen_27's guard-verse: the guard-clause's verb fires FIRST between the patriarch's two women, va-teqal at 16:4 and Sarai's own va-eqal at 16:5 [census, prose]); CHAMAS token 3 (flag 2); NATAN tokens 21-22 + LAQACH token 31 in-span — the give/take arc crosses the seam into Sarai's hands (va-tiqach... va-titen 16:3, natati 16:5): the covenant-grant's natati (frozen gen_31's 15:18, quoted at the step) is followed by give-tokens 21 and 22 BOTH in Sarai's transaction — predicted in the gen_31 prospective watch-list ONLY (not frozen precedent; stated as fresh census fact) [census]; MATZA token 7 (flag 10); DEREKH token 3; SHAMA tokens 7-8 (flag 8); QOL token 6 (flag 8); BANAH token 9 (flag 9); the eye/spring lemma split 5869 a/b (flag 10); MITZRIT tokens 3-4 (the letter tags Hagar Egyptian twice — with frozen gen_31's 15:13 decree standing one chapter back, the inversion is the letter's own: an Egyptian afflicted in Hebrew hands before Hebrews in Egyptian ones [cross-unit prose + [OPEN], nothing pops]). SAY-ROSTER (census-exact): eight narrative say-events — Sarai 16:2, Sarai 16:5, Abram 16:6 (his only line; his first words to his wife since frozen gen_28's 12:11-13 fear-speech), the angel 16:8, HAGAR 16:8 (the roster admits a slave), the angel 16:9, 16:10, 16:11 (the triple re-launch); + 16:13's amra as the naming's ki-ground. The chapter's second half has no patriarch line [letter fact]. The VA-TOMER female roster: tokens 4-6 of Gen 1-16 all in-span (flag 7). NO ktiv/qere pairs [census]. 223 tokens / 16 verses [census-exact]. | tested |
| D | Predicates & outcomes | The machine's queue is the household's ledger: FOUR demands from THREE issuers — the wife's bo (settled in its own verb one verse later — cycle #9, machine-asserted by SPECS empty), the wife's yishpot on GOD (open — no judging narrated; flag 2), the husband's do-good permission (open forever over an afflict-deed — the verb-swap, flag 4), and the angel's return-and-submit (open — no return narrated; flag 5). Around the queue: the REGISTRY takes its first writes since gen_13's era — TWO namings (a slave names GOD; a father names a son), with the pre-birth name-decree and the well-etiology each held in their own class (weqatal-fact; PATTERN); 18 standing fact-lines carry the barrenness notice, the restrained-womb theology (hers), the build-plea, the ten-years and the wife-promotion, the contempt, the grievance (the flood-word; the female natati), the where-questions and the runaway's answer, the multiply-promise and the uncountable seed, the annunciation triple, the wild-ass oracle pair, the naming-reason, the well's location, and the age-frame. TESTS: EMPTY (ha-tov is idiomatic; tov/shaah/tzaddik/nichoach zero as instruments — census). LEDGER empty; INSTALLS zero (a well is NAMED, not built — gen_25's unfinished-tower discipline: nothing enters WORLD); INVARIANT zero. | tested |
| E | Logic format choice | Operator lines; per-verse steps x16. DECLARE x4: LET(bo( avram, el_shifchati)) [16:2, Sarai — TIR-027; settled at 16:4 by RESULT — cycle #9]; LET(yishpot(YHWH, beini_u_veinekha)) [16:5, Sarai on God — jussive class, TIR-026; flag 2]; LET(asi(saray, la_hagar_ha_tov_be_ einayikh)) [16:6, Abram — TIR-027; the verb-swap leaves it OPEN, flag 4]; LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)) [16:9, the angel — compound device, TIR-027; flag 5]. RESULT x1 [16:4]. NAME x2: name(YHWH) := El_Roi [16:13 — flag 1, the boldest] and name(yishmael) := Yishmael [16:15 — gen_12/13's class]. PATTERN x1 [16:14 — gen_25's device]. EVENTs (17): say x8, hear (16:2 — the le-qol idiom), take + give (16:3), come (16:4 — the pop's deed), conceive (16:4), afflict + flee (16:6), find (16:7 — the angel), bear (16:15). Standing facts: 18 HOLDS lines + 1 PATTERN-fact. NOTE_PRESUPPOSED x2 ops / 3 names (shur; qadesh + bered). TESTS x0, LEDGER x0, REGISTRY_INSTALL x0, INVARIANT x0. Queue at rest: 3 OPEN, 1 settled. REGISTRY at rest: 2 writes (machine-asserted). Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: bo(avram, el_shifchati), yishpot(YHWH, beini_u_veinekha), asi(saray, la_hagar_ha_tov_be_einayikh), shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha), name(YHWH) := El_Roi, name(yishmael) := Yishmael, chamasi_alekha, ki_shama_YHWH_el_onyekh, al_ken_qara_la_beer_beer_lachai_roi. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (queue only — the cache middot scan is the main loop's gate): Bereshit Rabbah 45 (the span; the Sarai-verdict file; the five-angels count at the speeches; the Hagar-as-Pharaoh's-daughter class — the 12:16 gift-list identification); Rashi at 16:1 (the gift-class), 16:2 (the built-through-her class), 16:5 (chamasi's readings), 16:9-11 (the angel-per-speech count), 16:13 (the seeing-classes), 16:14 (the well); Ramban at 16:6 (the famous verdict on Sarai's affliction — 'our mother sinned in this affliction') and 16:12; Bavli Berakhot (the annunciation-formula field); Pirqei de-R. Eliezer's Hagar files. Tier-A Onkelos (16 fetches, Data/FETCHLOG.md 2026-08-05): findings in ORAL_onkelos_tier_a — headline: the PRAYER DOUBLE (affliction -> prayer at 16:11; the naming -> prayer at 16:13); the pere-oracle's economic softening; the repeat-buffer list (accepted-the-word at 16:2 = the 3:17 buffer exactly; lead-for-take on Sarai's taking; Qadesh -> Reqam; seed -> sons extended to Hagar). | tested |
| H | Scenarios | S1 the notice: facts hold, no test, no name. S2 the initiative: LET(bo) pushed and OPEN, the restraint and build-plea facts hold. S3 the compliance: SPECS EMPTY — the pop machine-asserted (cycle #9); the contempt-fact holds. S4 the grievance: LET(yishpot) pushed and OPEN (flag 2), the chamas and female-natati facts hold. S5 the permission: LET(asi) pushed and OPEN (the verb-swap — afflict fires, nothing pops). S6 the finding and the questions: facts hold, shur flagged, no test, no name. S7 the return-command: the compound LET pushed and OPEN. S8 the promise and annunciation: five decree-facts hold. S9 the oracle: facts hold. S10 the naming of YHWH: REGISTRY: YHWH->El_Roi (1 write) — machine-asserted (flag 1); the reason-fact holds. S11 the well: the PATTERN-fact holds, qadesh/bered flagged. S12 the close: REGISTRY: YHWH->El_Roi, yishmael->Yishmael (2 writes); three demands OPEN; the age-frame holds; LEDGER stays EMPTY. S13_negative LET? guard; S14_negative flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (the four volitives and their moods; the weqatal decree; the two va-yiqra naming formulas vs the bare-perfect etiology; the qal/piel/ hitpael afflict-forms; TIR-014/026/027/029) and censuses run BEFORE drafting (the female say-roster; the al-ken adjacency census; the le-qol idiom census; the harbah-arbeh doubling census; the where-ladder; shama 7-8; matza 7; qalal 5-6; chamas 3; natan 21-22; laqach 31; banah 9; the eye/spring lemma split; the instrument-absence check; the no-ktiv/qere check; 223/16 totals). NOT supplied: whether Sarai's affliction was sin (Ramban's verdict named-only); the angel's identity behind the divine first person (the letter's slide held as the letter's); Hagar's identification with 12:16's gift-list (the chain's); the pere-oracle's meaning (held raw; the buffer's softening dual-track); the 16:13 reason-clause's famously difficult syntax (held as spoken fact in the letter's own words); whether a NAME on YHWH needs new reverence-law (the owner's call — flag 1 staged both ways). | established |
| J | Pre-flight + draft ship | Pre-flight 2026-08-05 against the UNMODIFIED repo interpreter — zero injected prototypes (scratchpad preflight_gen32.py; draft guard bypassed for preview only). Ships as STATUS: DRAFT by the gen-5 block agent (mechanics only, second unit of its tenure); the main loop verifies quotes, re-runs censuses, rules on flags 1-15 (flags 1 and 2 are the staged-both-ways owner triages), and freezes through the standard gate chain. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_16_1 · Gen.16.1 · THE_BARREN_WIFE_AND_THE_MAID
וְשָׂרַי אֵשֶׁת אַבְרָם לֹא יָלְדָה לוֹ וְלָהּ שִׁפְחָה מִצְרִית וּשְׁמָהּ הָגָר · ve-saray eshet avram lo yaldah lo ve-lah shifchah mitzrit u-shemah hagar · [EN-AID/JPS] Now Sarai Abram's wife bore him no children; and she had a handmaid, an Egyptian, whose name was Hagar.
ושרי אשת אברם לא ילדה לו · ve-saray eshet avram lo yaldah lo · Sarai bore no children TO HIM (the etnachta throne is lo — 'to him')
ולה שפחה מצרית ושמה הגר · ve-lah shifchah mitzrit u-shemah hagar · and she had an Egyptian maid — the verse ends on her name: Hagar
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(saray_lo_yaldah_lo, t0) ∧ HOLDS(ve_lah_shifchah_mitzrit_u_shemah_hagar, t0) = HOLDS(saray-not-yaldah-not, t0) ∧ HOLDS(and-lah-shifchah-mitzrit-and-shemah-hagar, t0) THE BARRENNESS FILE REOPENS: frozen gen_26 recorded the debut, quoted: 'akarah ("barren") Torah token 1 at 11:30' with its doubled notice ('saray_akarah + ein_lah_valad ... the letter doubles') — five chapters and a covenant later the letter re-states it in verb form: LO YALDAH LO ('she bore no children TO HIM' — and the tree seats the rest on LO, 'to him': the childlessness is measured at the husband) [tree fact, cross-unit prose]. SHIFCHAH ('maidservant') tokens 2-7 all in-span — and FROZEN gen_28's gift-list prediction LANDS, quoted: 'maidservants (shifchah Torah debut — the title Hagar will carry [named-only])' — the title is hers six times in this chapter; the chain's identification of Hagar with 12:16's gift is the chain's [named-only]. MITZRIT ('Egyptian woman') token 3 — the letter tags her origin before her name [letter order]; HAGAR debut (x7 in-span). Her name arrives by narration (u-shemah — the report-form, no naming act; gen_24's report-naming rule) [decision recorded]. | לֹא יָלְדָה לוֹ וְלָהּ שִׁפְחָה מִצְרִית וּשְׁמָהּ הָגָר · lo yaldah lo ve-lah shifchah mitzrit u-shemah hagar = not yaldah not and-lah shifchah mitzrit and-shemah hagar | — | tested |
STEP_Gn_16_2 · Gen.16.2 · THE_INITIATIVE_AND_THE_LISTENING
וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם הִנֵּה־נָא עֲצָרַנִי יְהוָה מִלֶּדֶת בֹּא־נָא אֶל־שִׁפְחָתִי אוּלַי אִבָּנֶה מִמֶּנָּה וַיִּשְׁמַע אַבְרָם לְקוֹל שָׂרָי · va-tomer saray el-avram hineh-na atzarani YHWH mi-ledet bo-na el-shifchati ulay ibaneh mimenah va-yishma avram le-qol saray · [EN-AID/JPS] And Sarai said unto Abram: 'Behold now, the LORD hath restrained me from bearing; go in, I pray thee, unto my handmaid; it may be that I shall be builded up through her.' And Abram hearkened to the voice of Sarai.
ותאמר שרי אל־אברם הנה־נא עצרני יהוה מלדת בא־נא אל־שפחתי אולי אבנה ממנה · va-tomer saray el-avram hineh-na atzarani YHWH mi-ledet bo-na el-shifchati ulay ibaneh mimenah · the restraint, the command, the hope: perhaps I shall be built FROM HER (etnachta on mimenah)
וישמע אברם לקול שרי · va-yishma avram le-qol saray · and Abram listened to the voice of Sarai — the idiom ends the verse
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e1) ∧ Agent(e1, saray) ∧ Goal(e1, avram) THE FEMALE VOICE RETURNS [flag 7, census-exact]: the va-tomer (feminine narrative say) roster of Gen 1-16 is 3:2, 3:13, 4:1 — then silence for twelve chapters — then this verse: Sarai's first recorded words are the corpus's first female speech since Chavah's qaniti (4:1, frozen gen_12's step). She opens with HER theology: ATZARANI YHWH ('YHWH has RESTRAINED me' — atzar's TORAH DEBUT; its only other Genesis tokens are 20:18 x2, Avimelech's closed wombs): the letter's own record said only 'barren' (11:30) — the attribution to YHWH is hers, held as her speech [letter fact; census]. | וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם · va-tomer saray el-avram = and-tomer saray to-avram | — | tested |
| DECLARE | DECLARE(saray, LET(bo(avram, el_shifchati))) = DECLARE(saray, LET(in-it(avram, to-shifchati))) BO ('come in' — true imperative HVqv2ms with na; TIR-027, the human-demand class): SARAI IS THE CORPUS'S FIRST FEMALE DEMAND-ISSUER [flag 3, census-backed — every prior DECLARE speaker in the frozen corpus is male; frozen gen_13's Lemekh device, quoted: 'DECLARE(lemekh, LET(shema(neshei_lemekh, qol_lemekh)))', made wives the ADDRESSEES — here a wife issues]. Pushed; watch 16:4 — the demand's own verb answers one verse later [flag 3]. ULAY IBANEH MIMENAH ('perhaps I shall be BUILT from her') held below [flag 9]. | בֹּא־נָא אֶל־שִׁפְחָתִי · bo-na el-shifchati = in-it-na to-shifchati | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(atzarani_YHWH_mi_ledet, t0) ∧ HOLDS(ulay_ibaneh_mimenah, t0) = HOLDS(atzarani-the-LORD-from-ledet, t0) ∧ HOLDS(ulay-ibaneh-mimenah, t0) THE BUILD-PLEA [flag 9]: ULAY ('perhaps') — TORAH DEBUT, born carrying a childless hope; IBANEH — banah token 9, the build-verb's FIRST NIPHAL and FIRST FIRST PERSON: frozen gen_09's line is the root's birth, quoted: 'VA-YIVEN ("and He BUILT") — banah's first token' (the rib built into a woman) — after God's building of a wife and Babel's let-us-build, a wife asks to BE BUILT from her maid; the ben/banah ('son'/'build') skeleton-chime is held as sound-observation only [census, prose; gen_30's class]. The plea rests ON MIMENAH ('from HER') — the etnachta seats the hope on the maid [tree fact]. | עֲצָרַנִי יְהוָה מִלֶּדֶת … אוּלַי אִבָּנֶה מִמֶּנָּה · atzarani YHWH mi-ledet … ulay ibaneh mimenah = atzarani the-LORD from-ledet ulay ibaneh mimenah | — | tested |
| EVENT | hear(e2) ∧ Agent(e2, avram) ∧ Theme(e2, qol_saray) = hear(e2) ∧ Agent(e2, avram) ∧ Theme(e2, voice-saray) THE LISTENED-IDIOM RE-RUNS [flag 8, census-exact]: SHAMA + LE-QOL — the corpus's only prior le-qol listening is 3:17, quoted from frozen gen_11: 'The indictment names two counts: LISTENING (shamata le-qol ishtekha — the qol thread...)' — Adam listened to the voice of his wife and was indicted; Abram listens to the voice of Sarai and the letter passes NO comment — the idiom re-run, the verdict withheld [the letter's silence, held; the comparison is the chain's]. QOL token 6 (after the garden's three, the blood's cry 4:10, Lemekh's demand 4:23); SHAMA token 7 — its token 8 is 16:11: Abram hears the wife, YHWH hears the maid [census]. THE VERSE ENDS ON LE-QOL SARAY — the idiom on the silluq throne [tree fact]. Onkelos: VE-QABIL avram LE-MEIMAR saray ('Abram ACCEPTED the WORD of Sarai') — the SAME accept-the- word buffer frozen gen_11 recorded at 3:17 [repeat-buffer, dual-track]. | וַיִּשְׁמַע אַבְרָם לְקוֹל שָׂרָי · va-yishma avram le-qol saray = and-yishma avram voice saray | TIR-014 | tested |
STEP_Gn_16_3 · Gen.16.3 · THE_TAKE_AND_THE_GIVE
וַתִּקַּח שָׂרַי אֵשֶׁת־אַבְרָם אֶת־הָגָר הַמִּצְרִית שִׁפְחָתָהּ מִקֵּץ עֶשֶׂר שָׁנִים לְשֶׁבֶת אַבְרָם בְּאֶרֶץ כְּנָעַן וַתִּתֵּן אֹתָהּ לְאַבְרָם אִישָׁהּ לוֹ לְאִשָּׁה · va-tiqach saray eshet-avram et-hagar ha-mitzrit shifchatah mi-qetz eser shanim le-shevet avram be-eretz kenaan va-titen otah le-avram ishah lo le-ishah · [EN-AID/JPS] And Sarai Abram's wife took Hagar the Egyptian, her handmaid, after Abram had dwelt ten years in the land of Canaan, and gave her to Abram her husband to be his wife.
ותקח שרי אשת־אברם את־הגר המצרית שפחתה מקץ עשר שנים לשבת אברם בארץ כנען · va-tiqach saray eshet-avram et-hagar ha-mitzrit shifchatah mi-qetz eser shanim le-shevet avram be-eretz kenaan · Sarai TOOK Hagar, at the end of ten years in Canaan (etnachta arm)
ותתן אתה לאברם אישה לו לאשה · va-titen otah le-avram ishah lo le-ishah · and GAVE her to Abram her husband — as a WIFE: the verse ends on le-ishah
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | take(e3) ∧ Agent(e3, saray) ∧ Theme(e3, hagar) LAQACH TOKEN 31 — the take-verb's first FEMALE agent: the arc frozen gen_31 closed on God's command and Abram's compliance (tokens 29-30) hands the verb to Sarai, on a PERSON [census; this landing was predicted in the gen_31 prospective WATCH-LIST only — not frozen precedent — and is stated here as fresh census fact]. The ten-years timestamp held below. Onkelos: U-DEVARAT ('she LED her') — the lead-for-take buffer on a person-object, the same policy frozen gen_30 recorded for 11:31's Terach and the king's qach [repeat-buffer, dual-track]. | וַתִּקַּח שָׂרַי … אֶת־הָגָר · va-tiqach saray … et-hagar = and-tiqach saray hagar | TIR-014 | tested |
| EVENT | give(e4) ∧ Agent(e4, saray) ∧ Theme(e4, hagar) ∧ Goal(e4, avram) NATAN TOKEN 21 — the give-verb's very next token after frozen gen_31's covenant receipt (15:18's natati, token 20 — the frozen step quoted: 'the give-verb goes perfect (natan token 20...)'): the grant's verb passes from God's mouth to Sarai's hands in one token — and token 22 is her own natati two verses down [census; watch-list-predicted only, stated as census fact]. The object is a person; the dative is her HUSBAND (ishah) and the goal-phrase LE-ISHAH ('as a WIFE') — the ish/ishah pair-words of Eden on a surrogate transaction, and the verse ENDS on the promotion [tree fact, letter fact]. | וַתִּתֵּן אֹתָהּ לְאַבְרָם אִישָׁהּ לוֹ לְאִשָּׁה · va-titen otah le-avram ishah lo le-ishah = and-titen her to-avram woman not woman | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(mi_qetz_eser_shanim_le_shevet_avram_be_eretz_kenaan, t0) = HOLDS(from-qetz-eser-shanim-to-shevet-avram-in-earth-kenaan, t0) The clock held as fact: TEN YEARS in the land — the letter dates the initiative to the promise's delay [letter fact; the chain's ten-year rule is the chain's, named-only]. QETZ ('end') token 4 — token 1 was 6:13's 'the END of all flesh' [census, prose]. | מִקֵּץ עֶשֶׂר שָׁנִים לְשֶׁבֶת אַבְרָם בְּאֶרֶץ כְּנָעַן · mi-qetz eser shanim le-shevet avram be-eretz kenaan = from-qetz eser shanim to-shevet avram earth kenaan | — | tested |
STEP_Gn_16_4 · Gen.16.4 · THE_COMPLIANCE_AND_THE_CONTEMPT
וַיָּבֹא אֶל־הָגָר וַתַּהַר וַתֵּרֶא כִּי הָרָתָה וַתֵּקַל גְּבִרְתָּהּ בְּעֵינֶיהָ · va-yavo el-hagar va-tahar va-tere ki haratah va-teqal gevirtah be-eineha · [EN-AID/JPS] And he went in unto Hagar, and she conceived; and when she saw that she had conceived, her mistress was despised in her eyes.
ויבא אל־הגר ותהר · va-yavo el-hagar va-tahar · he came in, and she CONCEIVED (va-tahar alone on the etnachta)
ותרא כי הרתה ותקל גברתה בעיניה · va-tere ki haratah va-teqal gevirtah be-eineha · she saw she had conceived — and her mistress was LIGHT in her eyes (verse-final)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | come(e5) ∧ Agent(e5, avram) ∧ Goal(e5, hagar) VA-YAVO — the demand's own verb, one verse after the demand [flag 3]. | וַיָּבֹא אֶל־הָגָר · va-yavo el-hagar = and-yavo to-hagar | TIR-014 | tested |
| RESULT | RESULT: HOLDS(bo(avram, el_shifchati), t1) = RESULT: HOLDS(in-it(avram, to-shifchati), t1) THE POP — SETTLED CYCLE #9 CLAIMED [flag 3; numbering for main-loop verification, frozen gen_31's pattern quoted: '#8 CLAIMED [flag 2; numbering for main-loop verification, gen_27's pattern]']: the bo-demand is receipted by the bo-deed — frozen gen_17's class, quoted: 'the bo-demand — SETTLED CYCLE #2 (the demand's own verb' — THE SAME VERB: bo settled cycle #2 when God commanded Noach into the ark; it settles #9 for a wife commanding her husband. And because it is the only demand yet pushed, the pop is asserted MECHANICALLY at this step's scenario: SPECS EMPTY — the corpus's first machine-asserted settle since the creation week's receipts [decision recorded]. The corpus's first WOMAN-ISSUED demand is also its first woman-issued SETTLED demand [flag 3]. | וַיָּבֹא אֶל־הָגָר · va-yavo el-hagar = and-yavo to-hagar | — | tested |
| EVENT | conceive(e6) ∧ Agent(e6, hagar) VA-TAHAR — harah token 3 (tokens 1-2: Chavah 4:1, Cain's wife 4:17 — the mothers' verb reaches a maid), and the tree seats the conception ALONE on the etnachta: one word, then rest [tree fact, census]. | וַתַּהַר · va-tahar = and-tahar | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(va_teqal_gevirtah_be_eineha, t0) = HOLDS(and-teqal-gevirtah-in-eineha, t0) THE GUARD-VERB FIRES IN THE HOUSE: VA-TEQAL ('her mistress was LIGHT in her eyes') — QALAL token 5, and token 4 is 12:3's u-meqalelkha (frozen gen_27's guard-verse: 'u-meqalel-kha aor', 'him who makes light of you I will CURSE'): the guard-clause's verb fires first not on a foreign king but between the patriarch's two women — and the letter attaches no curse [census, prose; the application is the chain's, named-only]. GEVIRAH ('mistress') — TORAH DEBUT; ALL THREE of its Torah tokens are in this chapter: the mistress-word exists only in this crisis [census]. The verse ends on be-eineha ('in her eyes') — watch 16:5's thrones [tree fact]. | וַתֵּקַל גְּבִרְתָּהּ בְּעֵינֶיהָ · va-teqal gevirtah be-eineha = and-teqal gevirtah in-eineha | — | tested |
STEP_Gn_16_5 · Gen.16.5 · THE_GRIEVANCE_AND_THE_DEMAND_ON_GOD
וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם חֲמָסִי עָלֶיךָ אָנֹכִי נָתַתִּי שִׁפְחָתִי בְּחֵיקֶךָ וַתֵּרֶא כִּי הָרָתָה וָאֵקַל בְּעֵינֶיהָ יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ · va-tomer saray el-avram chamasi alekha anokhi natati shifchati be-cheqekha va-tere ki haratah va-eqal be-eineha yishpot YHWH beini u-veinekha · [EN-AID/JPS] And Sarai said unto Abram: 'My wrong be upon thee: I gave my handmaid into thy bosom; and when she saw that she had conceived, I was despised in her eyes: the LORD judge between me and thee.'
ותאמר שרי אל־אברם חמסי עליך אנכי נתתי שפחתי בחיקך ותרא כי הרתה ואקל בעיניה · va-tomer saray el-avram chamasi alekha anokhi natati shifchati be-cheqekha va-tere ki haratah va-eqal be-eineha · my wrong on you: I GAVE my maid to your bosom, and I am light in her eyes (etnachta on be-eineha)
ישפט יהוה ביני וביניך · yishpot YHWH beini u-veinekha · let YHWH JUDGE between me and you — the demand ends the verse
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e7) ∧ Agent(e7, saray) ∧ Goal(e7, avram) Sarai's second speech — the va-tomer roster's fifth token [flag 7]. The contempt-phrase moves throne to throne: 16:4 ENDED on be-eineha; this verse RESTS on it — the letter re-seats the grievance's ground [tree fact]. | וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם · va-tomer saray el-avram = and-tomer saray to-avram | — | tested |
| PRECONDITION_STATE | HOLDS(chamasi_alekha, t0) ∧ HOLDS(anokhi_natati_shifchati_be_cheqekha, t0) = HOLDS(chamasi-alekha, t0) ∧ HOLDS(anokhi-natati-shifchati-in-cheqekha, t0) THE FLOOD-WORD IN A HOUSEHOLD [census]: CHAMASI ('my WRONG/violence') — chamas token 3; tokens 1-2 are THE FLOOD-CAUSE, quoted from frozen gen_16: 'va-timale ha-aretz chamas' (6:11, held as HOLDS(va_timale_ha_aretz_chamas, t1)) and 'ki-malah ha-aretz chamas mi-pneihem' (6:13) — the word that filled the earth and ended it returns suffixed to one woman's grievance; token 4 is 49:5, Shimon and Levi's swords [census, prose]. AND SARAI SPEAKS THE RECEIPT-GRAMMAR: ANOKHI NATATI ('I HAVE GIVEN' — natan token 22): the performative perfect of frozen gen_21's class ('NATATI — performative perfect, held as fact') and of frozen gen_31's covenant receipt one chapter back — its first female speaker, its first grievance: I gave, and look what the gift did [census, prose]. CHEQ ('bosom') — TORAH DEBUT. ANOKHI token 7 — Sarai's I joins the ladder (the shield-I of 15:1, the decree-I of 15:14; census). | חֲמָסִי עָלֶיךָ אָנֹכִי נָתַתִּי שִׁפְחָתִי בְּחֵיקֶךָ · chamasi alekha anokhi natati shifchati be-cheqekha = chamasi alekha anokhi natati shifchati in-cheqekha | — | tested |
| DECLARE | DECLARE(saray, LET(yishpot(YHWH, beini_u_veinekha))) = DECLARE(saray, LET(yishpot(the-LORD, beini-and-veinekha))) THE DEMAND ON GOD [flag 2 — the unit's second-boldest, staged both ways; owner triages]: YISHPOT ('let-Him- JUDGE') — SHAFAT's TORAH DEBUT, and the DB codes a TRUE JUSSIVE (HVqj3ms): the jussive-LET class controls, frozen gen_30's device quoted ('YIQCHU is JUSSIVE (HVqj3mp, DB-verified), and the controlling class is frozen gen_23's... All four pushed and letter-faithfully OPEN') — pushed, with YHWH as the demanded agent: the corpus's FIRST HUMAN DEMAND ON GOD, aimed by a woman, from inside a marriage. OPEN letter-faithfully: no judging between them is ever narrated [the alternative — invocation-fact — staged in the note; the letter's mood decides and the mood is jussive]. The judge-verb's career: token 2 is 18:25 — ha-SHOFET kol-ha-aretz ('shall the JUDGE of all the earth...' — Abraham adopts the office Sarai invoked); token 3-4 are 19:9, Sodom's mob spitting the verb back at Lot [census, prose]. The demand ends the verse [tree fact]; the written source dots u-veinekha (one of the Torah's puncta marks — noted, no claim). Onkelos: chamasi -> DIN LI ALAKH ('I have a CASE against you') and yishpot -> yedin — the buffer harmonizes grievance and demand into one din-vocabulary [dual-track]. | יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ · yishpot YHWH beini u-veinekha = yishpot the-LORD beini and-veinekha | TIR-026 | tested |
STEP_Gn_16_6 · Gen.16.6 · THE_PERMISSION_THE_AFFLICTION_THE_FLIGHT
וַיֹּאמֶר אַבְרָם אֶל־שָׂרַי הִנֵּה שִׁפְחָתֵךְ בְּיָדֵךְ עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ וַתְּעַנֶּהָ שָׂרַי וַתִּבְרַח מִפָּנֶיהָ · va-yomer avram el-saray hineh shifchatekh be-yadekh asi-lah ha-tov be-einayikh va-teaneha saray va-tivrach mi-paneha · [EN-AID/JPS] But Abram said unto Sarai: 'Behold, thy maid is in thy hand; do to her that which is good in thine eyes.' And Sarai dealt harshly with her, and she fled from her face.
ויאמר אברם אל־שרי הנה שפחתך בידך עשי־לה הטוב בעיניך · va-yomer avram el-saray hineh shifchatekh be-yadekh asi-lah ha-tov be-einayikh · your maid is in your hand — do the GOOD in your eyes (etnachta on be-einayikh)
ותענה שרי ותברח מפניה · va-teaneha saray va-tivrach mi-paneha · and Sarai AFFLICTED her, and she FLED from her face (verse-final)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e8) ∧ Agent(e8, avram) ∧ Goal(e8, saray) Abram's ONLY line in the chapter — his first recorded words to his wife since the fear-speech of 12:11-13 (frozen gen_28's span): there he scripted her; here he hands her the script [say-roster, cross-unit prose]. HINEH SHIFCHATEKH BE-YADEKH ('behold, your maid is in your HAND') — the hand-word opens its in-span run: your hand (16:6), her hands (16:9), his hand against all (16:12) [census, prose]. | וַיֹּאמֶר אַבְרָם אֶל־שָׂרַי · va-yomer avram el-saray = and-yomer avram to-saray | — | tested |
| DECLARE | DECLARE(avram, LET(asi(saray, la_hagar_ha_tov_be_einayikh))) = DECLARE(avram, LET(asi(saray, to-hagar-the-good-in-einayikh))) ASI ('DO!') — true imperative HVqv2fs [TIR-027]: the permission pushed as demand — do to her THE GOOD in your eyes. HA-TOV is the span's only tov-token, idiomatic inside the permission, NOT an instrument (frozen gen_31's flag-12b class: attributive/idiomatic tov fires no TEST) [census]. Pushed; watch what the letter does next [flag 4]. | עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ · asi-lah ha-tov be-einayikh = asi-lah good in-einayikh | TIR-027 | tested |
| EVENT | afflict(e9) ∧ Agent(e9, saray) ∧ Theme(e9, hagar) THE VERB-SWAP [flag 4 — the demand stands OPEN]: the permission said ASAH ('do the good'); the deed is ANAH ('and she AFFLICTED her') — NO RESULT fires: RESULT pops only the demand's own string, and the letter's swap of good-verb for afflict-verb IS the finding — the machine does not equate what the letter distinguishes [decision recorded]. ANAH TOKEN 2 — FROZEN gen_31's staged landing, quoted verbatim: 'ANAH ("afflict") token 1 — tokens 2-3 are 16:6 (SARAI afflicts Hagar) and 16:9 (the angel's submit-command): the afflict-verb crosses the seam into the next chapter's house' — LANDED: the decree's verb (15:13, on Abram's seed under Egypt) fires first in Abram's tent, on an Egyptian [cross-unit prose + [OPEN], nothing pops; Ramban's verdict on Sarai is the chain's, named-only]. | וַתְּעַנֶּהָ שָׂרַי · va-teaneha saray = and-teaneha saray | TIR-014 | tested |
| EVENT | flee(e10) ∧ Agent(e10, hagar) BARACH ('flee') — TORAH DEBUT, born on Hagar (tokens 3-5 are Yaakov's flights: the flee-verb's early career is the household's underdogs) [census, prose]. MI-PANEHA ('from her FACE') — verse-final: the face-word opens its own run (her face 16:6, my mistress's face 16:8, the face of all his brothers 16:12) [tree fact; census, prose]. | וַתִּבְרַח מִפָּנֶיהָ · va-tivrach mi-paneha = and-tivrach from-paneha | TIR-014 | tested |
STEP_Gn_16_7 · Gen.16.7 · THE_ANGEL_FINDS_HER
וַיִּמְצָאָהּ מַלְאַךְ יְהוָה עַל־עֵין הַמַּיִם בַּמִּדְבָּר עַל־הָעַיִן בְּדֶרֶךְ שׁוּר · va-yimtzaah malakh YHWH al-ein ha-mayim ba-midbar al-ha-ayin be-derekh shur · [EN-AID/JPS] And the angel of the LORD found her by a fountain of water in the wilderness, by the fountain in the way to Shur.
וימצאה מלאך יהוה על־עין המים במדבר · va-yimtzaah malakh YHWH al-ein ha-mayim ba-midbar · the angel of YHWH found her at the water-spring in the wilderness (etnachta arm)
על־העין בדרך שור · al-ha-ayin be-derekh shur · at the spring on the road to Shur
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | find(e11) ∧ Agent(e11, malakh_YHWH) ∧ Theme(e11, hagar) = find(e11) ∧ Agent(e11, malakh-the-LORD) ∧ Theme(e11, hagar) THE ANGEL'S TORAH DEBUT [flag 6]: MALAKH YHWH ('the messenger/angel of YHWH', 4397 token 1; tokens 1-4 all in-span, tokens 5-6 are 19:1/19:15 — Sodom's pair): the messenger-class is born FINDING a runaway Egyptian slave. VA-YIMTZAAH — MATZA token 7: the find-verb's career (the failed helper-search of 2:20 — frozen gen_09's line quoted: 'lo matza ("did not find" — matza's first token, debuting in a FAILED search)'; Cain's feared finders 4:14-15; Noach's favor 6:8; the dove's no-rest 8:9; Babel's plain 11:2) arrives at its first divine-side finding OF A PERSON — the search that failed for Adam succeeds on Hagar [census, prose]. THE LEMMA SPLIT [flag 10]: the contempt of 16:4-6 ran through be-eineha (5869 a, 'eye'); the rescue sits al-EIN ha-mayim (5869 b, 'spring') — same skeleton, split lemma: contempt and rescue share one written word the lexicon divides [lemma-split class, held as observation]. DEREKH token 3 (be-derekh Shur) — tokens 1-2: the guarded WAY to the tree of life (3:24), all flesh corrupting its WAY (6:12): the way-word's third token is a slave's road to Egypt [census, prose]. | וַיִּמְצָאָהּ מַלְאַךְ יְהוָה · va-yimtzaah malakh YHWH = and-yimtzaah malakh the-LORD | TIR-014 | tested |
| NOTE_PRESUPPOSED | shur are READ without prior install (known geography) flag, not fix (the Egypt road; shur tokens 2-4 are 20:1, 25:18, Exod 15:22 — Abraham's sojourn, Yishmael's range, the sea's far shore; Onkelos maps it Chagra — identification class, dual-track) | — | — | tested |
STEP_Gn_16_8 · Gen.16.8 · THE_WHERE_QUESTIONS_AND_THE_RUNAWAY_ANSWER
וַיֹּאמַר הָגָר שִׁפְחַת שָׂרַי אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי וַתֹּאמֶר מִפְּנֵי שָׂרַי גְּבִרְתִּי אָנֹכִי בֹּרַחַת · va-yomar hagar shifchat saray ei-mizeh vat ve-anah telekhi va-tomer mi-pnei saray gevirti anokhi borachat · [EN-AID/JPS] And he said: 'Hagar, Sarai's handmaid, whence camest thou? and whither goest thou?' And she said: 'I flee from the face of my mistress Sarai.'
ויאמר הגר שפחת שרי אי־מזה באת ואנה תלכי · va-yomar hagar shifchat saray ei-mizeh vat ve-anah telekhi · Hagar, Sarai's maid — whence have you come, and WHERE are you going (etnachta on telekhi)
ותאמר מפני שרי גברתי אנכי ברחת · va-tomer mi-pnei saray gevirti anokhi borachat · from the face of Sarai my mistress I am FLEEING — the participle ends the verse
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e12) ∧ Agent(e12, malakh_YHWH) ∧ Goal(e12, hagar) = say(e12) ∧ Agent(e12, malakh-the-LORD) ∧ Goal(e12, hagar) THE WHERE-LADDER [flag 10, census]: EI token 3 — the divine-side where-question's three firings: ayeka ('where are YOU', 3:9, Adam hiding), ei hevel ('where is your brother', 4:9, Cain), ei-mizeh ('from where', 16:8, a runaway slave); and ANAH ('whither') debuts in the same breath — the corpus's first whither-question is asked of a woman with no destination [census, prose]. The angel addresses her by name AND BY BOND: hagar shifchat saray — the promotion of 16:3 (le-ishah) is absent from the angel's address [letter fact, held]. | וַיֹּאמַר הָגָר שִׁפְחַת שָׂרַי אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי · va-yomar hagar shifchat saray ei-mizeh vat ve-anah telekhi = and-yomar hagar shifchat saray ei-mizeh vat and-anah telekhi | — | tested |
| PRECONDITION_STATE | HOLDS(ei_mizeh_vat_ve_anah_telekhi, t0) = HOLDS(ei-mizeh-vat-and-anah-telekhi, t0) The question-pair held as spoken fact (interrogatives push nothing — frozen gen_31's flag-5 class): whence and whither, rest seated on the whither [tree fact]. | אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי · ei-mizeh vat ve-anah telekhi = ei-mizeh vat and-anah telekhi | — | tested |
| EVENT | say(e13) ∧ Agent(e13, hagar) ∧ Goal(e13, malakh_YHWH) = say(e13) ∧ Agent(e13, hagar) ∧ Goal(e13, malakh-the-LORD) HAGAR SPEAKS — the va-tomer roster's sixth token [flag 7]: the corpus's female voice, returned two verses in Sarai, now belongs to an Egyptian slave — the say-roster's first non-family, first foreign, first enslaved woman [census, letter fact]. | וַתֹּאמֶר · va-tomer = and-tomer | — | tested |
| PRECONDITION_STATE | HOLDS(mi_pnei_saray_gevirti_anokhi_borachat, t0) = HOLDS(from-face-of-saray-gevirti-anokhi-borachat, t0) Her whole testimony is seven words: a face, a title, an I, a participle — ANOKHI BORACHAT ('I am FLEEING'), the flight still in progress in the verb's aspect, seated verse-final [morph, tree fact]. She answers the whence and leaves the whither silent — the letter's own gap, held [letter fact]. ANOKHI token 8: the I-word's ladder (the shield-I, the decree-I, Sarai's giving-I) reaches a slave's fleeing-I [census, prose]. | מִפְּנֵי שָׂרַי גְּבִרְתִּי אָנֹכִי בֹּרַחַת · mi-pnei saray gevirti anokhi borachat = face-of saray gevirti anokhi borachat | — | tested |
STEP_Gn_16_9 · Gen.16.9 · THE_RETURN_AND_SUBMIT_COMMAND
וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי תַּחַת יָדֶיהָ · va-yomer lah malakh YHWH shuvi el-gevirtekh ve-hitani tachat yadeha · [EN-AID/JPS] And the angel of the LORD said unto her: 'Return to thy mistress, and submit thyself under her hands.'
ויאמר לה מלאך יהוה שובי אל־גברתך · va-yomer lah malakh YHWH shuvi el-gevirtekh · return to your MISTRESS (etnachta on gevirtekh)
והתעני תחת ידיה · ve-hitani tachat yadeha · and submit under her hands
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e14) ∧ Agent(e14, malakh_YHWH) ∧ Goal(e14, hagar) = say(e14) ∧ Agent(e14, malakh-the-LORD) ∧ Goal(e14, hagar) The first of THREE consecutive angel-speeches (16:9, 16:10, 16:11 — va-yomer x3 with no reply between: the triple re-launch, after gen_31's mirrored doubles) [say-roster census; the chain's one-angel-per-speech count is the chain's, named-only]. | וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה · va-yomer lah malakh YHWH = and-yomer lah malakh the-LORD | — | tested |
| DECLARE | DECLARE(malakh_YHWH, LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha))) = DECLARE(malakh-the-LORD, LET(shuvi-and-hitani(hagar, to-gevirtekh-tachat-yadeha))) THE COMPOUND RETURN-AND-SUBMIT [flag 5]: SHUVI (imperative HVqv2fs) + VE-HITANI (hitpael imperative HVtv2fs) ride ONE demand on the compound device — frozen gen_31's line quoted: 'DECLARE(YHWH, LET(habet_u_sefor(avram, ha_shamaymah_ve_ha_ kokhavim)))' (itself riding gen_29's sa_u_ree) [TIR-027]. Pushed; OPEN letter-faithfully: no return is narrated in-span — 16:15 has her bearing at Abram's house, an implication the letter never verbs [held]. SHUV TOKEN 13 — FROZEN gen_31's staged landing, quoted: 'token 13 is 16:9's SHUVI — the angel to Hagar, across the seam' — LANDED: the return-verb's first imperative is aimed at a runaway. VE-HITANI — ANAH TOKEN 3 (the gen_31 landing's second half, same frozen line): the afflict-root's third form in three chapters — decreed (15:13, pual-class future), done (16:6, piel), now COMMANDED ON THE VICTIM (hitpael, 'submit to affliction') — the angel's first recorded command in the corpus sends the afflicted back under the afflicting hands [held raw; the theology is the chain's]. Onkelos: ve-ISHTABEDI ('be ENSLAVED/subjugate yourself') — the buffer hardens submission to servitude-language [dual-track]. | שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי תַּחַת יָדֶיהָ · shuvi el-gevirtekh ve-hitani tachat yadeha = shuvi to-gevirtekh and-hitani tachat yadeha | TIR-027 | tested |
STEP_Gn_16_10 · Gen.16.10 · THE_UNCOUNTABLE_SEED
וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה הַרְבָּה אַרְבֶּה אֶת־זַרְעֵךְ וְלֹא יִסָּפֵר מֵרֹב · va-yomer lah malakh YHWH harbah arbeh et-zarekh ve-lo yisafer me-rov · [EN-AID/JPS] And the angel of the LORD said unto her: 'I will greatly multiply thy seed, that it shall not be numbered for multitude.'
ויאמר לה מלאך יהוה הרבה ארבה את־זרעך · va-yomer lah malakh YHWH harbah arbeh et-zarekh · multiplying I will multiply your SEED (etnachta on zarekh)
ולא יספר מרב · ve-lo yisafer me-rov · and it shall not be counted for multitude — me-rov verse-final
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e15) ∧ Agent(e15, malakh_YHWH) ∧ Goal(e15, hagar) = say(e15) ∧ Agent(e15, malakh-the-LORD) ∧ Goal(e15, hagar) The second re-launch — and THE MESSENGER SPEAKS THE DIVINE FIRST PERSON: ARBEH, 'I will multiply' [flag 6 — the letter's own slide from messenger to I, held as letter fact; no identity resolution; the chain's files named-only]. | וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה · va-yomer lah malakh YHWH = and-yomer lah malakh the-LORD | — | tested |
| PRECONDITION_STATE | HOLDS(harbah_arbeh_et_zarekh, t0) ∧ HOLDS(ve_lo_yisafer_me_rov, t0) = HOLDS(greatly-I-will-multiply-zarekh, t0) ∧ HOLDS(and-not-yisafer-from-rov, t0) THE DOUBLED MULTIPLY-FORMULA'S SECOND FIRING [census-exact]: HARBAH ARBEH (infinitive absolute + 1cs imperfect) — its only prior firing is 3:16 (rabah tokens 4-5: harbah arbeh itzvonekh ve-heronekh, CHAVAH's multiplied PAIN), its next is 22:17 (tokens 18-19, Abraham's oath-blessing): the doubling fires on two women before the patriarch — pain, seed, oath [census, prose]. Promise-FACT to a slave: the seed-word (zarekh — the covenant's word of frozen gen_31, now with a 2fs suffix) receives the promise-grammar OUTSIDE the covenant line [letter fact, held]. LO YISAFER — SAFAR TOKEN 3, and FROZEN gen_31's staged landing lands, quoted verbatim: 'token 3 is 16:10's lo yisafer, "shall NOT be counted" — count!, to-count, uncountable' — the count-verb born in the star-command completes its first triad in Hagar's promise: the uncountability promised to Abram's seed by stars is granted to the maid's seed without them [landed; census, prose]. | הַרְבָּה אַרְבֶּה אֶת־זַרְעֵךְ וְלֹא יִסָּפֵר מֵרֹב · harbah arbeh et-zarekh ve-lo yisafer me-rov = greatly I-will-multiply zarekh and-not yisafer from-rov | — | tested |
STEP_Gn_16_11 · Gen.16.11 · THE_ANNUNCIATION
וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת שְׁמוֹ יִשְׁמָעֵאל כִּי־שָׁמַע יְהוָה אֶל־עָנְיֵךְ · va-yomer lah malakh YHWH hinakh harah ve-yoladt ben ve-qarat shemo yishmael ki-shama YHWH el-onyekh · [EN-AID/JPS] And the angel of the LORD said unto her: 'Behold, thou art with child, and shalt bear a son; and thou shalt call his name Ishmael, because the LORD hath heard thy affliction.'
ויאמר לה מלאך יהוה הנך הרה וילדת בן · va-yomer lah malakh YHWH hinakh harah ve-yoladt ben · behold, you are pregnant and bearing a SON (etnachta on ben)
וקראת שמו ישמעאל כי־שמע יהוה אל־עניך · ve-qarat shemo yishmael ki-shama YHWH el-onyekh · you shall call him Yishmael, for YHWH has heard your AFFLICTION (verse-final onyekh)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e16) ∧ Agent(e16, malakh_YHWH) ∧ Goal(e16, hagar) = say(e16) ∧ Agent(e16, malakh-the-LORD) ∧ Goal(e16, hagar) The third re-launch — THE CORPUS'S FIRST ANNUNCIATION: the pregnant-you formula (hinakh harah — the harah ADJECTIVE's Torah debut; its other tokens: Tamar at 38:24-25, the struck mother of Exod 21:22) [census; the annunciation-class's later members named-only]. | וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה · va-yomer lah malakh YHWH = and-yomer lah malakh the-LORD | — | tested |
| PRECONDITION_STATE | HOLDS(hinakh_harah_ve_yoladt_ben, t0) ∧ HOLDS(ve_qarat_shemo_yishmael, t0) ∧ HOLDS(ki_shama_YHWH_el_onyekh, t0) = HOLDS(hinakh-harah-and-yoladt-ben, t0) ∧ HOLDS(and-qarat-shemo-yishmael, t0) ∧ HOLDS(when-shama-the-LORD-to-onyekh, t0) THE PRE-BIRTH NAME-DECREE AS FACT [flag 11]: VE-QARAT ('and you shall CALL his name') is WEQATAL (HVqq2fs — TIR-029's future-chain; frozen gen_31's va-avadum class): a decree-FACT, not a demand and not a NAME op — the corpus's first pre-birth naming, decreed to the MOTHER (its executor at 16:15 will be the father — the arc is prose; the class's next token is 17:19, God naming Yitzchak, named-only). THE NAME IS THE VERB'S MONUMENT: YISHMAEL ('God hears') — KI SHAMA YHWH EL-ONYEKH ('for YHWH has HEARD your affliction'): shama token 8, closing the in-span pair with 16:2's token 7 — Abram heard the wife's voice, YHWH heard the maid's affliction [flag 8, census]. ONI ('affliction') token 1 — the afflict-root nominalized; token 2 is 29:32, LEAH's be-onyi (the same heard-my-affliction naming-grammar at Reuben); the Exodus shape ('I have seen the affliction of My people', 3:7) is the formula's horizon [census, prose, named-only]. The verse ENDS on onyekh — the affliction verse-final, as 16:6 left it and 16:9 re-commanded it [tree fact]. Onkelos: arei QABIL YHWH TZELOTIKH ('YHWH has RECEIVED your PRAYER') — the affliction replaced by prayer: the headline's first half [dual-track, flagged]. | הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת שְׁמוֹ יִשְׁמָעֵאל כִּי־שָׁמַע יְהוָה אֶל־עָנְיֵךְ · hinakh harah ve-yoladt ben ve-qarat shemo yishmael ki-shama YHWH el-onyekh = hinakh harah and-yoladt ben and-qarat shemo yishmael when-shama the-LORD to-onyekh | — | tested |
STEP_Gn_16_12 · Gen.16.12 · THE_WILD_ASS_ORACLE
וְהוּא יִהְיֶה פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ וְעַל־פְּנֵי כָל־אֶחָיו יִשְׁכֹּן · ve-hu yihyeh pere adam yado va-khol ve-yad kol bo ve-al-pnei khol-echav yishkon · [EN-AID/JPS] And he shall be a wild ass of a man: his hand shall be against every man, and every man's hand against him; and he shall dwell in the face of all his brethren.'
והוא יהיה פרא אדם ידו בכל ויד כל בו · ve-hu yihyeh pere adam yado va-khol ve-yad kol bo · a wild-ass of a man: his hand in all, all hands in HIM (etnachta on bo)
ועל־פני כל־אחיו ישכן · ve-al-pnei khol-echav yishkon · and before the face of all his brothers he shall DWELL (one word verse-final)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(pere_adam_yado_va_khol_ve_yad_kol_bo, t0) ∧ HOLDS(al_pnei_khol_echav_yishkon, t0) = HOLDS(pere-human-his-hand-and-all-and-yad-all-in-it, t0) ∧ HOLDS(upon-face-of-all-echav-yishkon, t0) THE ORACLE HELD RAW: PERE ('wild ass') — TORAH HAPAX, in construct with adam ('a wild-ass OF a man') — the only human in the corpus the letter describes by an animal [census, letter fact]. The hand-pair (yado va-khol / yad kol bo) completes the chapter's hand-run: your hand (16:6), her hands (16:9), his hand and all hands (16:12) — possession, submission, war [in-span field, prose]. AL-PNEI KHOL-ECHAV YISHKON ('before the face of all his brothers he shall DWELL') — the face-run's third station (her face, my mistress's face, all his brothers' faces); the death-notice at 25:18 re-sounds this clause [named-only, career watch]. YISHKON — one word on the silluq [tree fact]; shakhan token 4 (token 1 = 3:24: the cherubim STATIONED at Eden's way — the dwell-verb's career began at a guarded road; this boy's road was 16:7's) [census, prose]. Onkelos re-builds the oracle: MAROD BE-ENASHA ('a REBEL among men'), his hand-clauses turned NEED ('he will need all; all will need him') — the wild-ass domesticated to commerce [dual-track, flagged]. | פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ וְעַל־פְּנֵי כָל־אֶחָיו יִשְׁכֹּן · pere adam yado va-khol ve-yad kol bo ve-al-pnei khol-echav yishkon = pere human his-hand all and-yad all in-it and-upon-face-of all-echav yishkon | — | tested |
STEP_Gn_16_13 · Gen.16.13 · SHE_NAMES_YHWH
וַתִּקְרָא שֵׁם־יְהוָה הַדֹּבֵר אֵלֶיהָ אַתָּה אֵל רֳאִי כִּי אָמְרָה הֲגַם הֲלֹם רָאִיתִי אַחֲרֵי רֹאִי · va-tiqra shem-YHWH ha-dover eleha atah el roi ki amrah hagam halom raiti acharei roi · [EN-AID/JPS] And she called the name of the LORD that spoke unto her, Thou art a God of seeing; for she said: 'Have I even here seen Him that seeth Me?'
ותקרא שם־יהוה הדבר אליה אתה אל ראי · va-tiqra shem-YHWH ha-dover eleha atah el roi · she called the name of YHWH who spoke to her: You are EL ROI (the name on the etnachta)
כי אמרה הגם הלם ראיתי אחרי ראי · ki amrah hagam halom raiti acharei roi · for she said: have I even HERE seen, after the One seeing me — roi verse-final
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NAME | name(YHWH) := El_Roi = name(the-LORD) := El-Roi THE CORPUS'S ONLY HUMAN-NAMES-YHWH EVENT [flag 1 — the unit's boldest; staged both ways, owner triages]: the letter uses the FULL narrative naming formula (VA-TIQRA SHEM- with an explicit agent), and frozen gen_25's rule cuts both ways, quoted: 'NO NAME op — KARA is a bare perfect with an indefinite subject ("one called") — no va-yiqra ("and-he-called") narrative formula... the REGISTRY takes nothing' — HERE the formula IS present, so the NAME class fires (frozen gen_12's 'name(kayin) := Kayin' and gen_13's 'name(shet) := Shet' quoted): the REGISTRY takes YHWH->El_Roi, written by an Egyptian slave-woman — the named_before_any_presence flag fires as EXPECTED DATA (YHWH is never an installed entity; flags never block). The letter equates the speaker with YHWH itself (shem-YHWH HA-DOVER ELEHA, 'the name of YHWH — the One SPEAKING to her') after four angel-frames: the slide is the letter's, held [flag 6]. EL TOKEN 5 — FROZEN gen_30's El-ladder line LANDS, quoted: 'el (the divine name 410) tokens 1-4 ALL in-span as El Elyon ("God Most High"), token 5 = 16:13 (the El-ladder confirmed)': after a priest-king's El Elyon, the ladder's second rung is a slave's EL ROI ('God of my SEEING') — ROI a TORAH HAPAX [landed; census]. Onkelos performs the headline's second half: VE-TZALLIAT BI-SHMA da-YHWH ('she PRAYED in the name of YHWH') — the buffer DISSOLVES the naming into prayer and universalizes the epithet (elaha de-chazei KHOLA, 'the God who sees ALL'): the tzali-family erases exactly the act the machine registers [dual-track tension, flagged]. | וַתִּקְרָא שֵׁם־יְהוָה הַדֹּבֵר אֵלֶיהָ אַתָּה אֵל רֳאִי · va-tiqra shem-YHWH ha-dover eleha atah el roi = and-tiqra shem-the-LORD the-dover eleha you to roi | — | tested |
| PRECONDITION_STATE | HOLDS(hagam_halom_raiti_acharei_roi, t0) = HOLDS(hagam-halom-raiti-acharei-roi, t0) The naming's ground, held in the letter's own hard words (the syntax is famously difficult — held as spoken fact, unresolved): HAGAM HALOM RAITI ACHAREI ROI ('have I even HERE seen, after the One seeing me') — HALOM ('here') debut; RAAH doubled (raiti / roi — she SEES the One who SEES her) after the chapter's seeing ran only through contempt-eyes (16:4-5) [census, prose]. THE ROI-SKELETON ON THREE CONSECUTIVE THRONES: 16:13's etnachta (EL ROI), 16:13's silluq (acharei ROI), 16:14's etnachta (beer-lachai-ROI) [tree fact]. KI AMRAH ('for she SAID') — the naming-reason form of the mothers' etymologies (4:25's class), here grounding a name for God [letter fact]. | כִּי אָמְרָה הֲגַם הֲלֹם רָאִיתִי אַחֲרֵי רֹאִי · ki amrah hagam halom raiti acharei roi = when amrah hagam halom raiti acharei roi | — | tested |
STEP_Gn_16_14 · Gen.16.14 · THE_WELL_OF_THE_LIVING_ONE_WHO_SEES
עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי הִנֵּה בֵין־קָדֵשׁ וּבֵין בָּרֶד · al-ken qara la-beer beer lachai roi hineh vein-qadesh u-vein bared · [EN-AID/JPS] Wherefore the well was called 'Beer-lahai-roi; behold, it is between Kadesh and Bered.
על־כן קרא לבאר באר לחי ראי · al-ken qara la-beer beer lachai roi · therefore one called the well: Well of the Living One who sees me (etnachta on roi)
הנה בין־קדש ובין ברד · hineh vein-qadesh u-vein bared · behold, between Kadesh and Bered
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PATTERN | PATTERN(al_ken_qara_la_beer_beer_lachai_roi) = PATTERN(upon-ken-qara-to-beer-beer-lachai-roi) THE AL-KEN ('therefore') FORMULA'S FOURTH TOKEN [census-exact: the adjacency census of Gen 1-17 is 2:24, 10:9, 11:9, 16:14] and its SECOND name-etiology — frozen gen_25's device controls, quoted [flag 12]: 'NO NAME op — KARA is a bare perfect with an indefinite subject ("one called") — no va-yiqra narrative formula: gen_24's report-naming rule holds; the REGISTRY takes nothing' — a standing PATTERN fact, the narrator's etiology: the well carries Hagar's verb (roi — the third throne) in a name the text says 'one called' [decision recorded]. The well-word's career: the compound's tokens 2-3 are 24:62 and 25:11 — YITZCHAK comes from and settles at Hagar's well [named-only, career prose]. GLOSS_FIX: the compound rows (883+) are DB-glossed '?' — 'well of the Living One who sees me'. Onkelos removes the Name from the well too: 'the well at which the ENDURING ANGEL APPEARED' [dual-track, the headline's coda]. | עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי · al-ken qara la-beer beer lachai roi = upon-ken qara to-beer beer lachai roi | — | tested |
| PRECONDITION_STATE | HOLDS(hineh_vein_qadesh_u_vein_bared, t0) = HOLDS(hineh-vein-qadesh-and-vein-bared, t0) The location held as fact — the narrator points at a map (hineh, 'behold': the deixis of a living landmark) [letter fact]. | הִנֵּה בֵין־קָדֵשׁ וּבֵין בָּרֶד · hineh vein-qadesh u-vein bared = hineh vein-qadesh and-vein bared | — | tested |
| NOTE_PRESUPPOSED | qadesh, bered are READ without prior install (known geography) flag, not fix (Qadesh token 2 after 14:7's En-mishpat gloss, frozen gen_30's span; Bered a Torah hapax; Onkelos: Reqam — the same identification frozen gen_30 recorded at 14:7 — and Chagra [repeat-buffer, dual-track]) | — | — | tested |
STEP_Gn_16_15 · Gen.16.15 · THE_BIRTH_AND_THE_FATHERS_NAMING
וַתֵּלֶד הָגָר לְאַבְרָם בֵּן וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ אֲשֶׁר־יָלְדָה הָגָר יִשְׁמָעֵאל · va-teled hagar le-avram ben va-yiqra avram shem-beno asher-yaldah hagar yishmael · [EN-AID/JPS] And Hagar bore Abram a son; and Abram called the name of his son, whom Hagar bore, Ishmael.
ותלד הגר לאברם בן · va-teled hagar le-avram ben · Hagar bore Abram a SON (the etnachta throne is ben)
ויקרא אברם שם־בנו אשר־ילדה הגר ישמעאל · va-yiqra avram shem-beno asher-yaldah hagar yishmael · and Abram named his son, whom Hagar bore: YISHMAEL (the name verse-final)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bear(e17) ∧ Agent(e17, hagar) ∧ Theme(e17, yishmael) The birth as EVENT (frozen gen_12's device: 'bear(e2) ∧ Agent(e2, chavah) ∧ Theme(e2, kayin)'): the verse's first arm is four words ending on BEN at the rest [tree fact]. The 16:1 negation answers: LO YALDAH LO ('she bore him none') -> VA-TELED LE-AVRAM ('she bore to Abram') — the bear-verb flips polarity across the chapter with the SAME dative [letter frame, prose]. | וַתֵּלֶד הָגָר לְאַבְרָם בֵּן · va-teled hagar le-avram ben = and-teled hagar to-avram ben | TIR-014 | tested |
| NAME | name(yishmael) := Yishmael THE FATHER PERFORMS THE MOTHER'S DECREE [flag 11]: va-yiqra AVRAM — the full naming formula, NAME per gen_12/13's class; frozen gen_13's alternation line continues, quoted: 'the naming alternates: mother, mother, father-for-a-city, mother, and 4:26's father' — Abram's FIRST naming act names the boy the angel decreed to HAGAR ('YOU shall call', 16:11): the decree's executor differs from its addressee, and NOTHING pops (a weqatal decree-fact was never a demand) — how Abram knew the name, the letter does not say [the gap held; the chain's harmonizations named-only]. The letter names HAGAR twice in this verse and once more in the next — three times at the birth, after the angel-scene called her only shifchat saray [letter fact]. The verse ENDS on YISHMAEL [tree fact]. | וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ … יִשְׁמָעֵאל · va-yiqra avram shem-beno … yishmael = and-yiqra avram shem-beno yishmael | — | tested |
STEP_Gn_16_16 · Gen.16.16 · THE_AGE_FRAME
וְאַבְרָם בֶּן־שְׁמֹנִים שָׁנָה וְשֵׁשׁ שָׁנִים בְּלֶדֶת־הָגָר אֶת־יִשְׁמָעֵאל לְאַבְרָם · ve-avram ben-shemonim shanah ve-shesh shanim be-ledet-hagar et-yishmael le-avram · [EN-AID/JPS] And Abram was fourscore and six years old, when Hagar bore Ishmael to Abram.
ואברם בן־שמנים שנה ושש שנים · ve-avram ben-shemonim shanah ve-shesh shanim · Abram eighty-six years old (etnachta arm)
בלדת־הגר את־ישמעאל לאברם · be-ledet-hagar et-yishmael le-avram · when Hagar bore Yishmael to Abram — the verse ends on le-avram
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(avram_ben_shemonim_shanah_ve_shesh_shanim, t0) = HOLDS(avram-ben-shemonim-year-and-shesh-shanim, t0) The frame: eighty-six — the ledger-style age-notice (gen_14's class) closes the chapter; the next verse the corpus speaks, Abram is ninety-nine (17:1): the seam carries THIRTEEN SILENT YEARS [letter frame; the seam-fact for the next unit, prose]. The verse names the triangle one last time — Hagar, Yishmael, le-AVRAM — and ends on the father [tree fact]. | וְאַבְרָם בֶּן־שְׁמֹנִים שָׁנָה וְשֵׁשׁ שָׁנִים · ve-avram ben-shemonim shanah ve-shesh shanim = and-avram ben-shemonim year and-shesh shanim | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 16:1 — all registers empty (standalone unit) |
| S_noticed | After 16:1 — the barrenness and the maid held as fact (gen_28's shifchah prediction lands); no demand yet |
| S_commanded_in | After 16:2 — the female voice returns; LET(bo) pushed (the corpus's first woman-issued demand); the listened-idiom re-runs |
| S_transacted | After 16:3 — take and give fire in Sarai's hands (laqach 31, natan 21); the ten-years clock and the wife-promotion hold |
| S_settled_in | After 16:4 — VA-YAVO pops the bo-demand (cycle #9 claimed; SPECS EMPTY — machine-asserted); the conception; the contempt-fact (qalal token 5 after the 12:3 guard) |
| S_grieved | After 16:5 — the flood-word grievance and the female natati hold; LET(yishpot) pushed ON GOD (flag 2) and OPEN |
| S_permitted_afflicted | After 16:6 — LET(asi) pushed and OPEN over an afflict-deed (the verb-swap, flag 4; anah token 2 lands gen_31's line); Hagar flees |
| S_found | After 16:7 — the ANGEL debuts and FINDS her (matza token 7); the eye/spring lemma split; shur flagged |
| S_questioned | After 16:8 — the where-ladder's third firing; Hagar speaks (the roster admits a slave); her testimony holds |
| S_sent_back | After 16:9 — LET(shuvi_ve_hitani) pushed and OPEN (the compound device; shuv 13 and anah 3 land gen_31's lines) |
| S_promised | After 16:10 — the doubled multiply-formula's second firing (3:16's grammar on the maid's seed); safar token 3 lands (uncountable) |
| S_annunciated | After 16:11 — the annunciation triple holds (weqatal decree-fact, not demand); Yishmael decreed; shama tokens 7-8 pair closed |
| S_oracled | After 16:12 — the wild-ass oracle held raw; the hand-run and face-run complete |
| S_God_named | After 16:13 — NAME: the REGISTRY takes YHWH->El_Roi from a slave's mouth (flag 1; el token 5 lands gen_30's ladder); the roi-thrones begin |
| S_well_named | After 16:14 — PATTERN: the al-ken formula's fourth token names the well (no NAME op — gen_25's rule); qadesh/bered flagged |
| S_born_named | After 16:15 — the birth EVENT and the father's NAME (yishmael->Yishmael): the decree's executor differs from its addressee; REGISTRY at 2 writes |
| S_framed | After 16:16 — the age-frame holds; QUEUE ENDS 3 OPEN (yishpot-on-God, the do-good permission, the return-command) + 1 SETTLED; TESTS and LEDGER empty |
| from | to | via |
|---|---|---|
| S_boot | S_noticed | STEP_Gn_16_1 |
| S_noticed | S_commanded_in | STEP_Gn_16_2 |
| S_commanded_in | S_transacted | STEP_Gn_16_3 |
| S_transacted | S_settled_in | STEP_Gn_16_4 |
| S_settled_in | S_grieved | STEP_Gn_16_5 |
| S_grieved | S_permitted_afflicted | STEP_Gn_16_6 |
| S_permitted_afflicted | S_found | STEP_Gn_16_7 |
| S_found | S_questioned | STEP_Gn_16_8 |
| S_questioned | S_sent_back | STEP_Gn_16_9 |
| S_sent_back | S_promised | STEP_Gn_16_10 |
| S_promised | S_annunciated | STEP_Gn_16_11 |
| S_annunciated | S_oracled | STEP_Gn_16_12 |
| S_oracled | S_God_named | STEP_Gn_16_13 |
| S_God_named | S_well_named | STEP_Gn_16_14 |
| S_well_named | S_born_named | STEP_Gn_16_15 |
| S_born_named | S_framed | STEP_Gn_16_16 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The barren wife and the maid: after STEP_Gn_16_1 | All registers empty (standalone unit). (The barrenness file reopens in verb form; gen_28's shifchah prediction lands.) | Facts lo-yaldah HOLD; Facts shemah-hagar HOLD; no test, no name. = Facts not-yaldah HOLD; Facts shemah-hagar HOLD; no test, no name. | וְשָׂרַי אֵשֶׁת אַבְרָם לֹא יָלְדָה לוֹ · ve-saray eshet avram lo yaldah lo = and-saray wife-of avram not yaldah not |
| S2 | The first woman-issued demand: after STEP_Gn_16_2 | S1 state. (The female voice returns — va-tomer token 4 of Gen 1-16; the listened-idiom re-runs; flag 3.) | LET(bo(avram, el_shifchati)) pushed and OPEN; Facts atzarani HOLD; Facts ibaneh HOLD. = LET(in-it(avram, to-shifchati)) pushed and OPEN; Facts atzarani HOLD; Facts ibaneh HOLD. | בֹּא־נָא אֶל־שִׁפְחָתִי אוּלַי אִבָּנֶה מִמֶּנָּה · bo-na el-shifchati ulay ibaneh mimenah = in-it-na to-shifchati ulay ibaneh mimenah |
| S3 | The demand settles in its own verb: after STEP_Gn_16_4 | S2 state plus 16:3 (the take-and-give). (VA-YAVO pops the bo-demand — RESULT, cycle #9 claimed, flag 3 — and the queue holds nothing else: the settle is machine-asserted below.) | SPECS empty; Facts va-teqal HOLD. = SPECS empty; Facts and-teqal HOLD. | וַיָּבֹא אֶל־הָגָר וַתַּהַר · va-yavo el-hagar va-tahar = and-yavo to-hagar and-tahar |
| S4 | The grievance and the demand on God: after STEP_Gn_16_5 | S3 state. (The flood-word and the female natati held; the jussive pushed with YHWH as demanded agent — flag 2.) | LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN; Facts chamasi HOLD; Facts natati-shifchati HOLD. = LET(yishpot(the-LORD, beini-and-veinekha)) pushed and OPEN; Facts chamasi HOLD; Facts natati-shifchati HOLD. | יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ · yishpot YHWH beini u-veinekha = yishpot the-LORD beini and-veinekha |
| S5 | The permission stands open over the affliction: after STEP_Gn_16_6 | S4 state. (LET(asi) pushed; the deed arrives in a DIFFERENT verb — va-teaneha — so nothing pops: the verb-swap, flag 4; anah token 2 lands gen_31's line; Hagar flees.) | LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN; LET(asi(saray, la_hagar_ha_tov_be_einayikh)) pushed and OPEN. = LET(yishpot(the-LORD, beini-and-veinekha)) pushed and OPEN; LET(asi(saray, to-hagar-the-good-in-einayikh)) pushed and OPEN. | עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ וַתְּעַנֶּהָ שָׂרַי · asi-lah ha-tov be-einayikh va-teaneha saray = asi-lah good in-einayikh and-teaneha saray |
| S6 | Found and questioned at the spring: after STEP_Gn_16_8 | S5 state plus 16:7 (the angel's debut finds her — matza token 7; the eye/spring lemma split). (The where-ladder's third firing; Hagar speaks.) | Facts ei-mizeh HOLD; Facts borachat HOLD; flags shur as read-before-install; no test, no name. | אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי … אָנֹכִי בֹּרַחַת · ei-mizeh vat ve-anah telekhi … anokhi borachat = ei-mizeh vat and-anah telekhi anokhi borachat |
| S7 | The return-and-submit pushed: after STEP_Gn_16_9 | S6 state. (The compound device — gen_31's habet_u_sefor class; shuv token 13 and anah token 3 land gen_31's lines; flag 5.) | LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)) pushed and OPEN. = LET(shuvi-and-hitani(hagar, to-gevirtekh-tachat-yadeha)) pushed and OPEN. | שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי תַּחַת יָדֶיהָ · shuvi el-gevirtekh ve-hitani tachat yadeha = shuvi to-gevirtekh and-hitani tachat yadeha |
| S8 | The promise and the annunciation: after STEP_Gn_16_11 | S7 state plus 16:10. (The doubled multiply-formula's second firing; safar token 3 lands; the weqatal name-decree is FACT, not demand — flag 11.) | Facts harbah-arbeh HOLD; Facts yisafer HOLD; Facts hinakh-harah HOLD; Facts qarat-yishmael HOLD; Facts shama-onyekh HOLD. = Facts greatly-I-will-multiply HOLD; Facts yisafer HOLD; Facts hinakh-harah HOLD; Facts qarat-yishmael HOLD; Facts shama-onyekh HOLD. | הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת שְׁמוֹ יִשְׁמָעֵאל · hinakh harah ve-yoladt ben ve-qarat shemo yishmael = hinakh harah and-yoladt ben and-qarat shemo yishmael |
| S9 | The wild-ass oracle: after STEP_Gn_16_12 | S8 state. (The oracle held raw; the hand-run and face-run complete; the buffer's softening dual-track.) | Facts pere-adam HOLD; Facts yishkon HOLD. = Facts pere-human HOLD; Facts yishkon HOLD. | פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ · pere adam yado va-khol ve-yad kol bo = pere human his-hand all and-yad all in-it |
| S10 | The registry takes a name for God: after STEP_Gn_16_13 | S9 state. (The full va-tiqra formula fires the NAME class — flag 1, the boldest, staged both ways; el token 5 lands gen_30's ladder; Onkelos dissolves the naming into prayer.) | REGISTRY: YHWH->El_Roi (1 write); Facts halom-raiti HOLD. = REGISTRY: the-LORD->El-Roi (1 write); Facts halom-raiti HOLD. | אַתָּה אֵל רֳאִי · atah el roi = you to roi |
| S11 | The well named by the therefore-formula: after STEP_Gn_16_14 | S10 state. (PATTERN — the al-ken formula's fourth token, census-exact; NO name-op per gen_25's bare-perfect rule; flag 12.) | Facts beer-lachai HOLD; Facts qadesh-bared HOLD; flags qadesh/bered as read-before-install. | עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי · al-ken qara la-beer beer lachai roi = upon-ken qara to-beer beer lachai roi |
| S12 | Birth, name, frame — the registry pair closes: after STEP_Gn_16_16 | S11 state plus 16:15 (the birth EVENT; the father performs the mother's decree — name(yishmael) := Yishmael; nothing pops, the weqatal was never a demand). | REGISTRY: YHWH->El_Roi, yishmael->Yishmael (2 writes); LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN; LET(asi(saray, la_hagar_ha_tov_be_einayikh)) pushed and OPEN; LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)) pushed and OPEN; Facts ben-shemonim HOLD; LEDGER stays EMPTY (open transaction). = REGISTRY: the-LORD->El-Roi, yishmael->Yishmael (2 writes); LET(yishpot(the-LORD, beini-and-veinekha)) pushed and OPEN; LET(asi(saray, to-hagar-the-good-in-einayikh)) pushed and OPEN; LET(shuvi-and-hitani(hagar, to-gevirtekh-tachat-yadeha)) pushed and OPEN; Facts ben-shemonim HOLD; LEDGER stays EMPTY (open transaction). | וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ … יִשְׁמָעֵאל · va-yiqra avram shem-beno … yishmael = and-yiqra avram shem-beno yishmael |
| S13_negative | Negative: the LET? contract guard | A synthetic LET? demand (the machine's own contract self-test). | LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — entries pop demands; nothing but citation moves a mood. | בֹּא־נָא · bo-na = in-it-na |
| S14_negative | Negative: flags never block | A synthetic commit with TESTS empty (the machine's own contract self-test). | Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_the_name_on_YHWH_and_the_registry_pair | וַתִּקְרָא שֵׁם־יְהוָה הַדֹּבֵר אֵלֶיהָ אַתָּה אֵל רֳאִי … וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ … יִשְׁמָעֵאל · va-tiqra shem-YHWH ha-dover eleha atah el roi … va-yiqra avram shem-beno … yishmael · THE NAME-ON-YHWH WEIGH [flag 1, boldest — staged both ways, owner triages]: 16:13 carries the FULL va-tiqra naming formula with an explicit agent, so the NAME class fires (gen_25's formula-rule quoted both ways; gen_12/13's name(kayin)/name(shet) class) — the REGISTRY takes YHWH->El_Roi from an Egyptian slave-woman, the corpus's ONLY human-names-God event (named_before_any_presence stands as expected data; the alternative — spoken-fact only, a reverence-exception — would be NEW LAW and is staged for the owner); EL token 5 lands frozen gen_30's El-ladder line verbatim (El Elyon's four, then a slave's El Roi); the roi-skeleton sits on three consecutive thrones (16:13 x2, 16:14); the al-ken well-naming takes PATTERN with NO name-op (the formula's fourth token census-exact: 2:24, 10:9, 11:9, 16:14 — gen_25's bare-perfect rule quoted); the pre-birth decree (16:11's weqatal ve-qarat) is FACT not demand; and the father performs the mother's decree at 16:15 (name(yishmael) := Yishmael — gen_13's alternation line continues): four naming acts, four grammars, four different machine classes — and Onkelos DISSOLVES the boldest one (ve-tzalliat, 'she PRAYED' — the buffer un-names exactly what the machine registers) [dual-track tension, flagged] |
| EXPORT_the_household_queue_and_cycle_9 | בֹּא־נָא אֶל־שִׁפְחָתִי … וַיָּבֹא אֶל־הָגָר … יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ … עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ … שׁוּבִי … וְהִתְעַנִּי · bo-na el-shifchati … va-yavo el-hagar … yishpot YHWH beini u-veinekha … asi-lah ha-tov be-einayikh … shuvi … ve-hitani · THE HOUSEHOLD QUEUE — four demands, three issuers, three verdicts of openness: SARAI IS THE CORPUS'S FIRST FEMALE DEMAND-ISSUER (bo — TIR-027; gen_13's Lemekh device made wives addressees, never issuers) and her demand SETTLES IN ITS OWN VERB one verse later (va-yavo — cycle #9 claimed on gen_17's class, the SAME verb bo that settled #2 for Noach's ark; and the pop is MACHINE-ASSERTED: SPECS empty at 16:4, the first mechanically-proven settle since the creation-week receipts); her SECOND demand aims AT GOD (yishpot — shafat's debut, true jussive HVqj3ms, the jussive-LET class per gen_30's yiqchu device: the corpus's first human demand on God, OPEN — no judging narrated; flag 2); Abram's do-good permission (asi — his only line) stands OPEN FOREVER over an afflict-deed — the VERB-SWAP: asah commanded, anah done, and RESULT pops only the demand's own string (the machine does not equate what the letter distinguishes; flag 4); the angel's compound shuvi_ve_hitani (gen_31's compound device) stands OPEN — no return narrated (flag 5); around the queue: chamas token 3 (the flood-cause word as household grievance — gen_16's lines quoted), the female natati (the receipt-grammar's first woman speaker, one chapter after gen_31's covenant natati), and the 12:3 guard-verb qalal firing first between the patriarch's two women (gen_27's verse) |
| EXPORT_the_angel_field_and_the_landings | וַיִּמְצָאָהּ מַלְאַךְ יְהוָה עַל־עֵין הַמַּיִם … כִּי־שָׁמַע יְהוָה אֶל־עָנְיֵךְ · va-yimtzaah malakh YHWH al-ein ha-mayim … ki-shama YHWH el-onyekh · THE ANGEL CLASS OPENS ON A SLAVE: malakh YHWH debut x4 (tokens 5-6 are Sodom's pair) — born FINDING (matza token 7: the verb of the failed helper-search, Cain's dreaded finders, Noach's favor, and the dove reaches its first divine finding of a person) a runaway at a spring the lexicon splits from the contempt-eyes (5869 a/b — the lemma-split class); the where-ladder's third firing (ayeka to Adam, ei to Cain, ei-mizeh to Hagar) with the whither-word's debut; THREE consecutive angel re-launches carrying a promise in the DIVINE FIRST PERSON (the letter's slide, held), the doubled multiply-formula's second firing (3:16 Chavah's pain -> 16:10 Hagar's seed -> 22:17 Abraham's oath — census-exact), and the corpus's first ANNUNCIATION (hinakh harah; the pre-birth name-decree; the name as the hear-verb's monument: shama tokens 7-8 in-span — Abram heard the wife, YHWH heard the maid, and the child is YISHMA-EL); FROZEN gen_31's three staged landings all land quoted (anah tokens 2-3 at 16:6/16:9; safar token 3 at 16:10; shuv token 13 at 16:9) — the afflict-decree of 15:13 fires FIRST in Abram's house, on an Egyptian, one chapter after it was spoken [cross-unit prose + [OPEN], nothing pops; Ramban's verdict named-only] |
| EXPORT_the_return_of_the_female_voice | וַתֹּאמֶר שָׂרַי … וַתֹּאמֶר … אָנֹכִי בֹּרַחַת · va-tomer saray … va-tomer … anokhi borachat · THE FEMALE VOICE RETURNS [census-exact]: the va-tomer roster of Gen 1-16 is 3:2, 3:13, 4:1 — twelve silent chapters — then 16:2, 16:5, 16:8: Sarai's initiative (with HER theology: atzarani YHWH — the letter said only 'barren', 11:30, gen_26's line), Sarai's grievance, and HAGAR — the say-roster's first foreign, first enslaved woman, whose whole testimony is a face, a title, an I, and a participle (anokhi borachat, 'I am fleeing' — verse-final); the listened-idiom census seals the frame: the corpus's only two le-qol listenings are 3:17's indictment (gen_11's line quoted; Onkelos: the same accepted-the-word buffer at both — repeat confirmed) and 16:2's compliance, verdict withheld; the build-plea (ulay ibaneh — banah's first niphal and first 1cs after the rib and Babel) and the barrenness-to-birth polarity flip (lo yaldah lo -> va-teled le-avram) bracket the chapter; GEVIRAH ('mistress') debuts x3 — all its Torah tokens in this crisis; the age-frame (86) hands the seam thirteen silent years |
Oral notes (named, tiered, dual-track — never merged)
וַיִּמְצָאָהּ מַלְאַךְ יְהוָה · (queue — named only) · Named, not read. The cache middot scan is the MAIN LOOP'S gate and is not claimed by this draft [flagged]. Predicted classes: the SARAI-VERDICT class (Ramban's censure of the affliction — the machine's raw anah-events are its dossier); the ANGELS-COUNT class (one angel per speech — the triple re-launch read as three visitors); the GIFT-IDENTIFICATION class (Hagar as Pharaoh's daughter/12:16's gift — gen_28's named-only line the anchor); the PRAYER class (the buffer already performs it twice — see Tier-A); the WELL-CONTINUITY class (Yitzchak at Beer-lachai-roi); the PERE-ORACLE class (rebel/robber/economic readings); the TEN-YEARS class (the barrenness-term rule).
Queue entry — no claim made beyond the naming.
וְצַלִּיאַת בִּשְׁמָא דַיְיָ … קַבִּיל יְיָ צְלוֹתִיךְ · ve-tzalliat bi-shma da-YHWH … qabil YHWH tzelotikh · The span's translation witness — HEADLINE: THE PRAYER DOUBLE THAT UN-NAMES GOD. At 16:11 ki-shama YHWH el-onyekh ('for YHWH has HEARD your AFFLICTION') becomes arei QABIL YHWH TZELOTIKH ('YHWH has RECEIVED your PRAYER' — the affliction itself replaced by prayer), and at 16:13 va-tiqra shem-YHWH ('she CALLED THE NAME of YHWH') becomes VE-TZALLIAT BI-SHMA da-YHWH ('she PRAYED in the name of YHWH') — the tzali-family (frozen record: gen_27's call-as-prayer, gen_29's ve-tzali, gen_30's oath-in-prayer) fires TWICE in one chapter and DISSOLVES the corpus's only human-naming-of- God exactly where the machine registers it; her epithet is universalized (elaha de-chazei KHOLA, 'the God who sees ALL') and her hard reason-clause rebuilt as revelation ('have I even here begun to see, AFTER HE WAS REVEALED to me'); the well too loses the Name — 16:14 -> 'the well at which the ENDURING ANGEL APPEARED' [find-class: systematic un-naming, flagged]. SECOND: the PERE-ORACLE SOFTENED — pere adam -> MAROD BE-ENASHA ('a REBEL among men') and the hand-clauses turned economy ('he will be NEEDY of all, and the hands of men will be NEEDY of him') — the wild-ass domesticated to mutual commerce [dual-track]. REPEAT BUFFERS CONSISTENT WITH FROZEN RECORDS: 16:2's va-yishma le-qol -> VE-QABIL le-MEIMAR ('accepted the WORD') — the EXACT buffer frozen gen_11 recorded at 3:17: the two wife-listenings get one rendering; 16:3's va-tiqach -> U-DEVARAT ('she LED') — the lead-for-take policy (gen_26's 11:31, gen_28's triad, gen_30's dvar) now on Sarai; Qadesh -> REQAM (gen_30's 14:7 identification verbatim) with Shur AND Bered both mapped to CHAGRA (identification class; the Hagar-echo in the toponym is the buffer's); zarekh -> BENAYKHI ('your SONS' — the seed-to-sons policy, gen_29/gen_31, extended to the maid's line); the doubling KEPT (harbah arbeh -> asgaa asgei — the buffer preserves the inf-abs pair); ve-hitani -> ve-ISHTABEDI ('be enslaved' — submission hardened to servitude); chamasi -> DIN LI ALAKH ('I have a CASE against you') with yishpot -> yedin — grievance and demand harmonized into din-vocabulary; ariri-class concretions continue (ben-mesheq precedent): shifchah -> amta throughout.
Read from Data/sefaria_texts/ (local; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.16.1 · parser unique · 11 words
PHRASE (binary 11w) וְ/שָׂרַי֙ אֵ֣שֶׁת אַבְרָ֔ם לֹ֥א יָלְדָ֖ה ל֑/וֹ…
├── PHRASE (binary 6w) וְ/שָׂרַי֙ אֵ֣שֶׁת אַבְרָ֔ם לֹ֥א יָלְדָ֖ה ל֑/וֹ
│ ├── PHRASE (binary 3w) וְ/שָׂרַי֙ אֵ֣שֶׁת אַבְרָ֔ם
│ │ ├── [0] וְ/שָׂרַי֙ (pashta, rank=3)
│ │ └── [1-2] GLUE אֵ֣שֶׁת אַבְרָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) לֹ֥א יָלְדָ֖ה ל֑/וֹ
│ ├── [3-4] GLUE לֹ֥א יָלְדָ֖ה (tifcha, rank=2)
│ └── [5] ל֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/לָ֛/הּ שִׁפְחָ֥ה מִצְרִ֖ית וּ/שְׁמָ֥/הּ הָגָ…
├── PHRASE (binary 3w) וְ/לָ֛/הּ שִׁפְחָ֥ה מִצְרִ֖ית
│ ├── [6] וְ/לָ֛/הּ (tevir, rank=3)
│ └── [7-8] GLUE שִׁפְחָ֥ה מִצְרִ֖ית (tifcha, rank=2)
└── [9-10] GLUE וּ/שְׁמָ֥/הּ הָגָֽר (silluq (verse-end emperor), rank=1)
Gen.16.2 · parser unique · 20 words
PHRASE (binary 20w) וַ/תֹּ֨אמֶר שָׂרַ֜י אֶל אַבְרָ֗ם הִנֵּה נָ֞א עֲ…
├── PHRASE (binary 16w) וַ/תֹּ֨אמֶר שָׂרַ֜י אֶל אַבְרָ֗ם הִנֵּה נָ֞א עֲ…
│ ├── PHRASE (binary 9w) וַ/תֹּ֨אמֶר שָׂרַ֜י אֶל אַבְרָ֗ם הִנֵּה נָ֞א עֲ…
│ │ ├── PHRASE (binary 4w) וַ/תֹּ֨אמֶר שָׂרַ֜י אֶל אַבְרָ֗ם
│ │ │ ├── [0-1] GLUE וַ/תֹּ֨אמֶר שָׂרַ֜י (geresh, rank=4)
│ │ │ └── [2-3] GLUE אֶל אַבְרָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 5w) הִנֵּה נָ֞א עֲצָרַ֤/נִי יְהוָה֙ מִ/לֶּ֔דֶת
│ │ ├── PHRASE (binary 4w) הִנֵּה נָ֞א עֲצָרַ֤/נִי יְהוָה֙
│ │ │ ├── [4-5] GLUE הִנֵּה נָ֞א (gershayim, rank=4)
│ │ │ └── [6-7] GLUE עֲצָרַ֤/נִי יְהוָה֙ (pashta, rank=3)
│ │ └── [8] מִ/לֶּ֔דֶת (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) בֹּא נָא֙ אֶל שִׁפְחָתִ֔/י אוּלַ֥י אִבָּנֶ֖ה מִ…
│ ├── PHRASE (binary 4w) בֹּא נָא֙ אֶל שִׁפְחָתִ֔/י
│ │ ├── [9-10] GLUE בֹּא נָא֙ (pashta, rank=3)
│ │ └── [11-12] GLUE אֶל שִׁפְחָתִ֔/י (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אוּלַ֥י אִבָּנֶ֖ה מִמֶּ֑/נָּה
│ ├── [13-14] GLUE אוּלַ֥י אִבָּנֶ֖ה (tifcha, rank=2)
│ └── [15] מִמֶּ֑/נָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יִּשְׁמַ֥ע אַבְרָ֖ם לְ/ק֥וֹל שָׂרָֽי
├── [16-17] GLUE וַ/יִּשְׁמַ֥ע אַבְרָ֖ם (tifcha, rank=2)
└── [18-19] GLUE לְ/ק֥וֹל שָׂרָֽי (silluq (verse-end emperor), rank=1)
Gen.16.3 · parser unique · 21 words
PHRASE (binary 21w) וַ/תִּקַּ֞ח שָׂרַ֣י אֵֽשֶׁת אַבְרָ֗ם אֶת הָגָ֤ר…
├── PHRASE (binary 15w) וַ/תִּקַּ֞ח שָׂרַ֣י אֵֽשֶׁת אַבְרָ֗ם אֶת הָגָ֤ר…
│ ├── PHRASE (binary 8w) וַ/תִּקַּ֞ח שָׂרַ֣י אֵֽשֶׁת אַבְרָ֗ם אֶת הָגָ֤ר…
│ │ ├── PHRASE (binary 4w) וַ/תִּקַּ֞ח שָׂרַ֣י אֵֽשֶׁת אַבְרָ֗ם
│ │ │ ├── [0] וַ/תִּקַּ֞ח (gershayim, rank=4)
│ │ │ └── [1-3] GLUE שָׂרַ֣י אֵֽשֶׁת אַבְרָ֗ם (revia, rank=3)
│ │ └── PHRASE (binary 4w) אֶת הָגָ֤ר הַ/מִּצְרִית֙ שִׁפְחָתָ֔/הּ
│ │ ├── [4-6] GLUE אֶת הָגָ֤ר הַ/מִּצְרִית֙ (pashta, rank=3)
│ │ └── [7] שִׁפְחָתָ֔/הּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 7w) מִ/קֵּץ֙ עֶ֣שֶׂר שָׁנִ֔ים לְ/שֶׁ֥בֶת אַבְרָ֖ם ב…
│ ├── PHRASE (binary 3w) מִ/קֵּץ֙ עֶ֣שֶׂר שָׁנִ֔ים
│ │ ├── [8] מִ/קֵּץ֙ (pashta, rank=3)
│ │ └── [9-10] GLUE עֶ֣שֶׂר שָׁנִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) לְ/שֶׁ֥בֶת אַבְרָ֖ם בְּ/אֶ֣רֶץ כְּנָ֑עַן
│ ├── [11-12] GLUE לְ/שֶׁ֥בֶת אַבְרָ֖ם (tifcha, rank=2)
│ └── [13-14] GLUE בְּ/אֶ֣רֶץ כְּנָ֑עַן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/תִּתֵּ֥ן אֹתָ֛/הּ לְ/אַבְרָ֥ם אִישָׁ֖/הּ ל֥/…
├── PHRASE (binary 4w) וַ/תִּתֵּ֥ן אֹתָ֛/הּ לְ/אַבְרָ֥ם אִישָׁ֖/הּ
│ ├── [15-16] GLUE וַ/תִּתֵּ֥ן אֹתָ֛/הּ (tevir, rank=3)
│ └── [17-18] GLUE לְ/אַבְרָ֥ם אִישָׁ֖/הּ (tifcha, rank=2)
└── [19-20] GLUE ל֥/וֹ לְ/אִשָּֽׁה (silluq (verse-end emperor), rank=1)
Gen.16.4 · parser unique · 10 words
PHRASE (binary 10w) וַ/יָּבֹ֥א אֶל הָגָ֖ר וַ/תַּ֑הַר וַ/תֵּ֨רֶא֙ כּ…
├── PHRASE (binary 4w) וַ/יָּבֹ֥א אֶל הָגָ֖ר וַ/תַּ֑הַר
│ ├── [0-2] GLUE וַ/יָּבֹ֥א אֶל הָגָ֖ר (tifcha, rank=2)
│ └── [3] וַ/תַּ֑הַר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/תֵּ֨רֶא֙ כִּ֣י הָרָ֔תָה וַ/תֵּקַ֥ל גְּבִרְתּ…
├── PHRASE (binary 3w) וַ/תֵּ֨רֶא֙ כִּ֣י הָרָ֔תָה
│ ├── [4] וַ/תֵּ֨רֶא֙ (pashta, rank=3)
│ └── [5-6] GLUE כִּ֣י הָרָ֔תָה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וַ/תֵּקַ֥ל גְּבִרְתָּ֖/הּ בְּ/עֵינֶֽי/הָ
├── [7-8] GLUE וַ/תֵּקַ֥ל גְּבִרְתָּ֖/הּ (tifcha, rank=2)
└── [9] בְּ/עֵינֶֽי/הָ (silluq (verse-end emperor), rank=1)
Gen.16.5 · parser unique · 19 words
PHRASE (binary 19w) וַ/תֹּ֨אמֶר שָׂרַ֣י אֶל אַבְרָם֮ חֲמָסִ֣/י עָלֶ…
├── PHRASE (binary 15w) וַ/תֹּ֨אמֶר שָׂרַ֣י אֶל אַבְרָם֮ חֲמָסִ֣/י עָלֶ…
│ ├── PHRASE (binary 6w) וַ/תֹּ֨אמֶר שָׂרַ֣י אֶל אַבְרָם֮ חֲמָסִ֣/י עָלֶ…
│ │ ├── [0-3] GLUE וַ/תֹּ֨אמֶר שָׂרַ֣י אֶל אַבְרָם֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [4-5] GLUE חֲמָסִ֣/י עָלֶי/ךָ֒ (segol, rank=2)
│ └── PHRASE (binary 9w) אָנֹכִ֗י נָתַ֤תִּי שִׁפְחָתִ/י֙ בְּ/חֵיקֶ֔/ךָ ו…
│ ├── PHRASE (binary 4w) אָנֹכִ֗י נָתַ֤תִּי שִׁפְחָתִ/י֙ בְּ/חֵיקֶ֔/ךָ
│ │ ├── [6] אָנֹכִ֗י (revia, rank=3)
│ │ └── PHRASE (binary 3w) נָתַ֤תִּי שִׁפְחָתִ/י֙ בְּ/חֵיקֶ֔/ךָ
│ │ ├── [7-8] GLUE נָתַ֤תִּי שִׁפְחָתִ/י֙ (pashta, rank=3)
│ │ └── [9] בְּ/חֵיקֶ֔/ךָ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וַ/תֵּ֨רֶא֙ כִּ֣י הָרָ֔תָה וָ/אֵקַ֖ל בְּ/עֵינֶ֑…
│ ├── PHRASE (binary 3w) וַ/תֵּ֨רֶא֙ כִּ֣י הָרָ֔תָה
│ │ ├── [10] וַ/תֵּ֨רֶא֙ (pashta, rank=3)
│ │ └── [11-12] GLUE כִּ֣י הָרָ֔תָה (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וָ/אֵקַ֖ל בְּ/עֵינֶ֑י/הָ
│ ├── [13] וָ/אֵקַ֖ל (tifcha, rank=2)
│ └── [14] בְּ/עֵינֶ֑י/הָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) יִשְׁפֹּ֥ט יְהוָ֖ה בֵּינִ֥/י וּ/בֵינֶֽיׄ/ךָ
├── [15-16] GLUE יִשְׁפֹּ֥ט יְהוָ֖ה (tifcha, rank=2)
└── [17-18] GLUE בֵּינִ֥/י וּ/בֵינֶֽיׄ/ךָ (silluq (verse-end emperor), rank=1)
Gen.16.6 · parser unique · 15 words
PHRASE (binary 15w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל שָׂרַ֗י הִנֵּ֤ה שִׁפְח…
├── PHRASE (binary 11w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל שָׂרַ֗י הִנֵּ֤ה שִׁפְח…
│ ├── PHRASE (binary 7w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל שָׂרַ֗י הִנֵּ֤ה שִׁפְח…
│ │ ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר אַבְרָ֜ם אֶל שָׂרַ֗י
│ │ │ ├── [0-1] GLUE וַ/יֹּ֨אמֶר אַבְרָ֜ם (geresh, rank=4)
│ │ │ └── [2-3] GLUE אֶל שָׂרַ֗י (revia, rank=3)
│ │ └── PHRASE (binary 3w) הִנֵּ֤ה שִׁפְחָתֵ/ךְ֙ בְּ/יָדֵ֔/ךְ
│ │ ├── [4-5] GLUE הִנֵּ֤ה שִׁפְחָתֵ/ךְ֙ (pashta, rank=3)
│ │ └── [6] בְּ/יָדֵ֔/ךְ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) עֲשִׂי לָ֖/הּ הַ/טּ֣וֹב בְּ/עֵינָ֑יִ/ךְ
│ ├── [7-8] GLUE עֲשִׂי לָ֖/הּ (tifcha, rank=2)
│ └── [9-10] GLUE הַ/טּ֣וֹב בְּ/עֵינָ֑יִ/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/תְּעַנֶּ֣/הָ שָׂרַ֔י וַ/תִּבְרַ֖ח מִ/פָּנֶֽי…
├── [11-12] GLUE וַ/תְּעַנֶּ֣/הָ שָׂרַ֔י (zaqef qatan, rank=2)
└── PHRASE (binary 2w) וַ/תִּבְרַ֖ח מִ/פָּנֶֽי/הָ
├── [13] וַ/תִּבְרַ֖ח (tifcha, rank=2)
└── [14] מִ/פָּנֶֽי/הָ (silluq (verse-end emperor), rank=1)
Gen.16.7 · parser unique · 11 words
PHRASE (binary 11w) וַֽ/יִּמְצָאָ֞/הּ מַלְאַ֧ךְ יְהוָ֛ה עַל עֵ֥ין ה…
├── PHRASE (binary 7w) וַֽ/יִּמְצָאָ֞/הּ מַלְאַ֧ךְ יְהוָ֛ה עַל עֵ֥ין ה…
│ ├── PHRASE (binary 6w) וַֽ/יִּמְצָאָ֞/הּ מַלְאַ֧ךְ יְהוָ֛ה עַל עֵ֥ין ה…
│ │ ├── PHRASE (binary 3w) וַֽ/יִּמְצָאָ֞/הּ מַלְאַ֧ךְ יְהוָ֛ה
│ │ │ ├── [0] וַֽ/יִּמְצָאָ֞/הּ (gershayim, rank=4)
│ │ │ └── [1-2] GLUE מַלְאַ֧ךְ יְהוָ֛ה (tevir, rank=3)
│ │ └── [3-5] GLUE עַל עֵ֥ין הַ/מַּ֖יִם (tifcha, rank=2)
│ └── [6] בַּ/מִּדְבָּ֑ר (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) עַל הָ/עַ֖יִן בְּ/דֶ֥רֶךְ שֽׁוּר
├── [7-8] GLUE עַל הָ/עַ֖יִן (tifcha, rank=2)
└── [9-10] GLUE בְּ/דֶ֥רֶךְ שֽׁוּר (silluq (verse-end emperor), rank=1)
Gen.16.8 · parser unique · 15 words
PHRASE (binary 15w) וַ/יֹּאמַ֗ר הָגָ֞ר שִׁפְחַ֥ת שָׂרַ֛י אֵֽי מִ/זּ…
├── PHRASE (binary 9w) וַ/יֹּאמַ֗ר הָגָ֞ר שִׁפְחַ֥ת שָׂרַ֛י אֵֽי מִ/זּ…
│ ├── PHRASE (binary 7w) וַ/יֹּאמַ֗ר הָגָ֞ר שִׁפְחַ֥ת שָׂרַ֛י אֵֽי מִ/זּ…
│ │ ├── [0] וַ/יֹּאמַ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 6w) הָגָ֞ר שִׁפְחַ֥ת שָׂרַ֛י אֵֽי מִ/זֶּ֥ה בָ֖את
│ │ ├── PHRASE (binary 3w) הָגָ֞ר שִׁפְחַ֥ת שָׂרַ֛י
│ │ │ ├── [1] הָגָ֞ר (gershayim, rank=4)
│ │ │ └── [2-3] GLUE שִׁפְחַ֥ת שָׂרַ֛י (tevir, rank=3)
│ │ └── [4-6] GLUE אֵֽי מִ/זֶּ֥ה בָ֖את (tifcha, rank=2)
│ └── [7-8] GLUE וְ/אָ֣נָה תֵלֵ֑כִי (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַ/תֹּ֕אמֶר מִ/פְּנֵי֙ שָׂרַ֣י גְּבִרְתִּ֔/י אָ…
├── [9] וַ/תֹּ֕אמֶר (zaqef gadol, rank=2)
└── PHRASE (binary 5w) מִ/פְּנֵי֙ שָׂרַ֣י גְּבִרְתִּ֔/י אָנֹכִ֖י בֹּרַ…
├── PHRASE (binary 3w) מִ/פְּנֵי֙ שָׂרַ֣י גְּבִרְתִּ֔/י
│ ├── [10] מִ/פְּנֵי֙ (pashta, rank=3)
│ └── [11-12] GLUE שָׂרַ֣י גְּבִרְתִּ֔/י (zaqef qatan, rank=2)
└── PHRASE (binary 2w) אָנֹכִ֖י בֹּרַֽחַת
├── [13] אָנֹכִ֖י (tifcha, rank=2)
└── [14] בֹּרַֽחַת (silluq (verse-end emperor), rank=1)
Gen.16.9 · parser unique · 10 words
PHRASE (binary 10w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה שׁ֖וּבִי א…
├── PHRASE (binary 7w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה שׁ֖וּבִי א…
│ ├── PHRASE (binary 4w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה
│ │ ├── [0-1] GLUE וַ/יֹּ֤אמֶר לָ/הּ֙ (pashta, rank=3)
│ │ └── [2-3] GLUE מַלְאַ֣ךְ יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) שׁ֖וּבִי אֶל גְּבִרְתֵּ֑/ךְ
│ ├── [4] שׁ֖וּבִי (tifcha, rank=2)
│ └── [5-6] GLUE אֶל גְּבִרְתֵּ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/הִתְעַנִּ֖י תַּ֥חַת יָדֶֽי/הָ
├── [7] וְ/הִתְעַנִּ֖י (tifcha, rank=2)
└── [8-9] GLUE תַּ֥חַת יָדֶֽי/הָ (silluq (verse-end emperor), rank=1)
Gen.16.10 · parser unique · 11 words
PHRASE (binary 11w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה הַרְבָּ֥ה …
├── PHRASE (binary 8w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה הַרְבָּ֥ה …
│ ├── PHRASE (binary 4w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה
│ │ ├── [0-1] GLUE וַ/יֹּ֤אמֶר לָ/הּ֙ (pashta, rank=3)
│ │ └── [2-3] GLUE מַלְאַ֣ךְ יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) הַרְבָּ֥ה אַרְבֶּ֖ה אֶת זַרְעֵ֑/ךְ
│ ├── [4-5] GLUE הַרְבָּ֥ה אַרְבֶּ֖ה (tifcha, rank=2)
│ └── [6-7] GLUE אֶת זַרְעֵ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/לֹ֥א יִסָּפֵ֖ר מֵ/רֹֽב
├── [8-9] GLUE וְ/לֹ֥א יִסָּפֵ֖ר (tifcha, rank=2)
└── [10] מֵ/רֹֽב (silluq (verse-end emperor), rank=1)
Gen.16.11 · parser unique · 16 words
PHRASE (binary 16w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה הִנָּ֥/ךְ …
├── PHRASE (binary 8w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה הִנָּ֥/ךְ …
│ ├── PHRASE (binary 4w) וַ/יֹּ֤אמֶר לָ/הּ֙ מַלְאַ֣ךְ יְהוָ֔ה
│ │ ├── [0-1] GLUE וַ/יֹּ֤אמֶר לָ/הּ֙ (pashta, rank=3)
│ │ └── [2-3] GLUE מַלְאַ֣ךְ יְהוָ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) הִנָּ֥/ךְ הָרָ֖ה וְ/יֹלַ֣דְתְּ בֵּ֑ן
│ ├── [4-5] GLUE הִנָּ֥/ךְ הָרָ֖ה (tifcha, rank=2)
│ └── [6-7] GLUE וְ/יֹלַ֣דְתְּ בֵּ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וְ/קָרָ֤את שְׁמ/וֹ֙ יִשְׁמָעֵ֔אל כִּֽי שָׁמַ֥ע …
├── PHRASE (binary 3w) וְ/קָרָ֤את שְׁמ/וֹ֙ יִשְׁמָעֵ֔אל
│ ├── [8-9] GLUE וְ/קָרָ֤את שְׁמ/וֹ֙ (pashta, rank=3)
│ └── [10] יִשְׁמָעֵ֔אל (zaqef qatan, rank=2)
└── PHRASE (binary 5w) כִּֽי שָׁמַ֥ע יְהוָ֖ה אֶל עָנְיֵֽ/ךְ
├── [11-13] GLUE כִּֽי שָׁמַ֥ע יְהוָ֖ה (tifcha, rank=2)
└── [14-15] GLUE אֶל עָנְיֵֽ/ךְ (silluq (verse-end emperor), rank=1)
Gen.16.12 · parser unique · 14 words
PHRASE (binary 14w) וְ/ה֤וּא יִהְיֶה֙ פֶּ֣רֶא אָדָ֔ם יָד֣/וֹ בַ/כֹּ…
├── PHRASE (binary 9w) וְ/ה֤וּא יִהְיֶה֙ פֶּ֣רֶא אָדָ֔ם יָד֣/וֹ בַ/כֹּ…
│ ├── PHRASE (binary 4w) וְ/ה֤וּא יִהְיֶה֙ פֶּ֣רֶא אָדָ֔ם
│ │ ├── [0-1] GLUE וְ/ה֤וּא יִהְיֶה֙ (pashta, rank=3)
│ │ └── [2-3] GLUE פֶּ֣רֶא אָדָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) יָד֣/וֹ בַ/כֹּ֔ל וְ/יַ֥ד כֹּ֖ל בּ֑/וֹ
│ ├── [4-5] GLUE יָד֣/וֹ בַ/כֹּ֔ל (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/יַ֥ד כֹּ֖ל בּ֑/וֹ
│ ├── [6-7] GLUE וְ/יַ֥ד כֹּ֖ל (tifcha, rank=2)
│ └── [8] בּ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/עַל פְּנֵ֥י כָל אֶחָ֖י/ו יִשְׁכֹּֽן
├── [9-12] GLUE וְ/עַל פְּנֵ֥י כָל אֶחָ֖י/ו (tifcha, rank=2)
└── [13] יִשְׁכֹּֽן (silluq (verse-end emperor), rank=1)
Gen.16.13 · parser unique · 15 words
PHRASE (binary 15w) וַ/תִּקְרָ֤א שֵׁם יְהוָה֙ הַ/דֹּבֵ֣ר אֵלֶ֔י/הָ …
├── PHRASE (binary 8w) וַ/תִּקְרָ֤א שֵׁם יְהוָה֙ הַ/דֹּבֵ֣ר אֵלֶ֔י/הָ …
│ ├── PHRASE (binary 5w) וַ/תִּקְרָ֤א שֵׁם יְהוָה֙ הַ/דֹּבֵ֣ר אֵלֶ֔י/הָ
│ │ ├── [0-2] GLUE וַ/תִּקְרָ֤א שֵׁם יְהוָה֙ (pashta, rank=3)
│ │ └── [3-4] GLUE הַ/דֹּבֵ֣ר אֵלֶ֔י/הָ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) אַתָּ֖ה אֵ֣ל רֳאִ֑י
│ ├── [5] אַתָּ֖ה (tifcha, rank=2)
│ └── [6-7] GLUE אֵ֣ל רֳאִ֑י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) כִּ֣י אָֽמְרָ֗ה הֲ/גַ֥ם הֲלֹ֛ם רָאִ֖יתִי אַחֲרֵ…
├── PHRASE (binary 5w) כִּ֣י אָֽמְרָ֗ה הֲ/גַ֥ם הֲלֹ֛ם רָאִ֖יתִי
│ ├── [8-9] GLUE כִּ֣י אָֽמְרָ֗ה (revia, rank=3)
│ └── PHRASE (binary 3w) הֲ/גַ֥ם הֲלֹ֛ם רָאִ֖יתִי
│ ├── [10-11] GLUE הֲ/גַ֥ם הֲלֹ֛ם (tevir, rank=3)
│ └── [12] רָאִ֖יתִי (tifcha, rank=2)
└── [13-14] GLUE אַחֲרֵ֥י רֹאִֽ/י (silluq (verse-end emperor), rank=1)
Gen.16.14 · parser unique · 12 words
PHRASE (binary 12w) עַל כֵּן֙ קָרָ֣א לַ/בְּאֵ֔ר בְּאֵ֥ר לַחַ֖י רֹאִ…
├── PHRASE (binary 7w) עַל כֵּן֙ קָרָ֣א לַ/בְּאֵ֔ר בְּאֵ֥ר לַחַ֖י רֹאִ…
│ ├── PHRASE (binary 4w) עַל כֵּן֙ קָרָ֣א לַ/בְּאֵ֔ר
│ │ ├── [0-1] GLUE עַל כֵּן֙ (pashta, rank=3)
│ │ └── [2-3] GLUE קָרָ֣א לַ/בְּאֵ֔ר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) בְּאֵ֥ר לַחַ֖י רֹאִ֑י
│ ├── [4-5] GLUE בְּאֵ֥ר לַחַ֖י (tifcha, rank=2)
│ └── [6] רֹאִ֑י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) הִנֵּ֥ה בֵין קָדֵ֖שׁ וּ/בֵ֥ין בָּֽרֶד
├── [7-9] GLUE הִנֵּ֥ה בֵין קָדֵ֖שׁ (tifcha, rank=2)
└── [10-11] GLUE וּ/בֵ֥ין בָּֽרֶד (silluq (verse-end emperor), rank=1)
Gen.16.15 · parser unique · 12 words
PHRASE (binary 12w) וַ/תֵּ֧לֶד הָגָ֛ר לְ/אַבְרָ֖ם בֵּ֑ן וַ/יִּקְרָ֨…
├── PHRASE (binary 4w) וַ/תֵּ֧לֶד הָגָ֛ר לְ/אַבְרָ֖ם בֵּ֑ן
│ ├── PHRASE (binary 3w) וַ/תֵּ֧לֶד הָגָ֛ר לְ/אַבְרָ֖ם
│ │ ├── [0-1] GLUE וַ/תֵּ֧לֶד הָגָ֛ר (tevir, rank=3)
│ │ └── [2] לְ/אַבְרָ֖ם (tifcha, rank=2)
│ └── [3] בֵּ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַ/יִּקְרָ֨א אַבְרָ֧ם שֶׁם בְּנ֛/וֹ אֲשֶׁר יָלְ…
├── PHRASE (binary 7w) וַ/יִּקְרָ֨א אַבְרָ֧ם שֶׁם בְּנ֛/וֹ אֲשֶׁר יָלְ…
│ ├── [4-7] GLUE וַ/יִּקְרָ֨א אַבְרָ֧ם שֶׁם בְּנ֛/וֹ (tevir, rank=3)
│ └── [8-10] GLUE אֲשֶׁר יָלְדָ֥ה הָגָ֖ר (tifcha, rank=2)
└── [11] יִשְׁמָעֵֽאל (silluq (verse-end emperor), rank=1)
Gen.16.16 · parser unique · 11 words
PHRASE (binary 11w) וְ/אַבְרָ֕ם בֶּן שְׁמֹנִ֥ים שָׁנָ֖ה וְ/שֵׁ֣שׁ ש…
├── PHRASE (binary 6w) וְ/אַבְרָ֕ם בֶּן שְׁמֹנִ֥ים שָׁנָ֖ה וְ/שֵׁ֣שׁ ש…
│ ├── [0] וְ/אַבְרָ֕ם (zaqef gadol, rank=2)
│ └── PHRASE (binary 5w) בֶּן שְׁמֹנִ֥ים שָׁנָ֖ה וְ/שֵׁ֣שׁ שָׁנִ֑ים
│ ├── [1-3] GLUE בֶּן שְׁמֹנִ֥ים שָׁנָ֖ה (tifcha, rank=2)
│ └── [4-5] GLUE וְ/שֵׁ֣שׁ שָׁנִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) בְּ/לֶֽדֶת הָגָ֥ר אֶת יִשְׁמָעֵ֖אל לְ/אַבְרָֽם
├── [6-9] GLUE בְּ/לֶֽדֶת הָגָ֥ר אֶת יִשְׁמָעֵ֖אל (tifcha, rank=2)
└── [10] לְ/אַבְרָֽם (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_32_hagar_angel — Hagar: the maid given, the flight, the angel, the names (16:1-16) [frozen]
final state: WORLD=[] (+3 presupposed) | REGISTRY={'YHWH': 'El_Roi', 'yishmael': 'Yishmael'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'named_before_any_presence', 'read_before_install', 'read_before_install', 'named_before_any_presence']
=== S1 — The barren wife and the maid: after STEP_Gn_16_1
וְשָׂרַי אֵשֶׁת אַבְרָם לֹא יָלְדָה לוֹ (ve-saray eshet avram lo yaldah lo)
PASS Facts lo-yaldah HOLD (2 facts)
PASS Facts shemah-hagar HOLD (2 facts)
PASS no test, no name. (tests=0 names=0)
=== S2 — The first woman-issued demand: after STEP_Gn_16_2
בֹּא־נָא אֶל־שִׁפְחָתִי אוּלַי אִבָּנֶה מִמֶּנָּה (bo-na el-shifchati ulay ibaneh mimenah)
PASS LET(bo(avram, el_shifchati)) pushed and OPEN (queue=['bo(avram, el_shifchati)'])
PASS Facts atzarani HOLD (4 facts)
PASS Facts ibaneh HOLD. (4 facts)
=== S3 — The demand settles in its own verb: after STEP_Gn_16_4
וַיָּבֹא אֶל־הָגָר וַתַּהַר (va-yavo el-hagar va-tahar)
PASS SPECS empty (queue=0)
PASS Facts va-teqal HOLD. (6 facts)
=== S4 — The grievance and the demand on God: after STEP_Gn_16_5
יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ (yishpot YHWH beini u-veinekha)
PASS LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN (queue=['yishpot(YHWH, beini_u_veinekha)'])
PASS Facts chamasi HOLD (8 facts)
PASS Facts natati-shifchati HOLD. (8 facts)
=== S5 — The permission stands open over the affliction: after STEP_Gn_16_6
עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ וַתְּעַנֶּהָ שָׂרַי (asi-lah ha-tov be-einayikh va-teaneha saray)
PASS LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)'])
PASS LET(asi(saray, la_hagar_ha_tov_be_einayikh)) pushed and OPEN. (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)'])
=== S6 — Found and questioned at the spring: after STEP_Gn_16_8
אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי … אָנֹכִי בֹּרַחַת (ei-mizeh vat ve-anah telekhi … anokhi borachat)
PASS Facts ei-mizeh HOLD (10 facts)
PASS Facts borachat HOLD (10 facts)
PASS flags shur as read-before-install (flagged=['shur'])
PASS no test, no name. (tests=0 names=0)
=== S7 — The return-and-submit pushed: after STEP_Gn_16_9
שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי תַּחַת יָדֶיהָ (shuvi el-gevirtekh ve-hitani tachat yadeha)
PASS LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)) pushed and OPEN. (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)', 'shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)'])
=== S8 — The promise and the annunciation: after STEP_Gn_16_11
הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת שְׁמוֹ יִשְׁמָעֵאל (hinakh harah ve-yoladt ben ve-qarat shemo yishmael)
PASS Facts harbah-arbeh HOLD (15 facts)
PASS Facts yisafer HOLD (15 facts)
PASS Facts hinakh-harah HOLD (15 facts)
PASS Facts qarat-yishmael HOLD (15 facts)
PASS Facts shama-onyekh HOLD. (15 facts)
=== S9 — The wild-ass oracle: after STEP_Gn_16_12
פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ (pere adam yado va-khol ve-yad kol bo)
PASS Facts pere-adam HOLD (17 facts)
PASS Facts yishkon HOLD. (17 facts)
=== S10 — The registry takes a name for God: after STEP_Gn_16_13
אַתָּה אֵל רֳאִי (atah el roi)
PASS REGISTRY: YHWH->El_Roi (1 write) (names={'YHWH': 'El_Roi'} writes=1)
PASS Facts halom-raiti HOLD. (18 facts)
=== S11 — The well named by the therefore-formula: after STEP_Gn_16_14
עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי (al-ken qara la-beer beer lachai roi)
PASS Facts beer-lachai HOLD (20 facts)
PASS Facts qadesh-bared HOLD (20 facts)
PASS flags qadesh/bered as read-before-install. (flagged=['bered', 'qadesh', 'shur'])
=== S12 — Birth, name, frame — the registry pair closes: after STEP_Gn_16_16
וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ … יִשְׁמָעֵאל (va-yiqra avram shem-beno … yishmael)
PASS REGISTRY: YHWH->El_Roi, yishmael->Yishmael (2 writes) (names={'YHWH': 'El_Roi', 'yishmael': 'Yishmael'} writes=2)
PASS LET(yishpot(YHWH, beini_u_veinekha)) pushed and OPEN (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)', 'shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)'])
PASS LET(asi(saray, la_hagar_ha_tov_be_einayikh)) pushed and OPEN (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)', 'shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)'])
PASS LET(shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)) pushed and OPEN (queue=['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)', 'shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)'])
PASS Facts ben-shemonim HOLD (21 facts)
PASS LEDGER stays EMPTY (open transaction). (ledger_days=[])
=== S13_negative — Negative: the LET? contract guard
בֹּא־נָא (bo-na)
PASS imperfect-in-command parsed as LET? (question mark kept) (mood=LET?)
PASS auto-upgrade REFUSED (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
PASS upgrade WITH citation allowed (cite=per-unit judgment (owner), TIR-028 resolution)
=== S14_negative — Negative: flags never block
PASS commit proceeded (not blocked) (LEDGER=[99])
PASS pattern deviation FLAGGED (flags=['commit_without_test'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_32_hagar_angel — 16:1-16
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_32_hagar_angel.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.
# =============================================================================
"""Hagar: the maid given, the flight, the angel, the names (16:1-16)"""
from machine import Machine
m = Machine("gen_32_hagar_angel")
# -------------------------- Gen.16.1 · THE_BARREN_WIFE_AND_THE_MAID --------
# וְשָׂרַי אֵשֶׁת אַבְרָם לֹא יָלְדָה לוֹ וְלָהּ שִׁפְחָה מִצְרִית וּשְׁמָהּ
# הָגָר
# "Now Sarai Abram's wife bore him no children; and she had a handmaid, an
# Egyptian, whose name was Hagar."
m.step("Gen.16.1")
# ‹לֹא יָלְדָה לוֹ וְלָהּ שִׁפְחָה מִצְרִית וּשְׁמָהּ הָגָר› (“not bear-
# young to-him/its and-to-her/its female-slave Egyptian and-name-her/its
# Hagar”) — fact holds: Sarai-not-yaldah-not; and-lah-shifchah-Egyptian-and-
# shemah-Hagar
m.fact("saray_lo_yaldah_lo",
"ve_lah_shifchah_mitzrit_u_shemah_hagar")
# -------------------------- Gen.16.2 · THE_INITIATIVE_AND_THE_LISTENING ----
# וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם הִנֵּה־נָא עֲצָרַנִי יְהוָה מִלֶּדֶת בֹּא־נָא
# אֶל־שִׁפְחָתִי אוּלַי אִבָּנֶה מִמֶּנָּה וַיִּשְׁמַע אַבְרָם לְקוֹל שָׂרָי
# "And Sarai said unto Abram: 'Behold now, the LORD hath restrained me from
# bearing; go in, I pray thee, unto my handmaid; it may be that I shall be
# builded up through her.' And Abram hearkened to the voice of Sarai."
m.step("Gen.16.2")
# ‹וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם› (“and-say Sarai to Abram”) — event: say —
# agent Sarai
m.event("say", agent="saray")
# ‹בֹּא־נָא אֶל־שִׁפְחָתִי› (“come/bring please to female-slave-me/my”) —
# Sarai speaks a demand — LET: come/bring(Abram, to-shifchati)
m.declare("saray", "LET",
"bo(avram, el_shifchati)")
# ‹עֲצָרַנִי יְהוָה מִלֶּדֶת … אוּלַי אִבָּנֶה מִמֶּנָּה› (“close-me/my YHWH
# from-bear-young … if-not build from-her/its”) — fact holds: atzarani-the-
# LORD-from-bear-young; if-not-ibaneh-mimenah
m.fact("atzarani_YHWH_mi_ledet",
"ulay_ibaneh_mimenah")
# ‹וַיִּשְׁמַע אַבְרָם לְקוֹל שָׂרָי› (“and-hear Abram to-voice/sound
# Sarai”) — event: hear — agent Abram; theme voice/sound-Sarai
m.event("hear", agent="avram", themes=["qol_saray"])
# -------------------------- Gen.16.3 · THE_TAKE_AND_THE_GIVE ---------------
# וַתִּקַּח שָׂרַי אֵשֶׁת־אַבְרָם אֶת־הָגָר הַמִּצְרִית שִׁפְחָתָהּ מִקֵּץ
# עֶשֶׂר שָׁנִים לְשֶׁבֶת אַבְרָם בְּאֶרֶץ כְּנָעַן וַתִּתֵּן אֹתָהּ
# לְאַבְרָם אִישָׁהּ לוֹ לְאִשָּׁה
# "And Sarai Abram's wife took Hagar the Egyptian, her handmaid, after Abram
# had dwelt ten years in the land of Canaan, and gave her to Abram her
# husband to be his wife."
m.step("Gen.16.3")
# ‹וַתִּקַּח שָׂרַי … אֶת־הָגָר› (“and-take Sarai … obj-marker Hagar”) —
# event: take — agent Sarai; theme Hagar
m.event("take", agent="saray", themes=["hagar"])
# ‹וַתִּתֵּן אֹתָהּ לְאַבְרָם אִישָׁהּ לוֹ לְאִשָּׁה› (“and-set obj-marker-
# her/its to-Abram man-her/its to-him/its to-woman”) — event: give — agent
# Sarai; theme Hagar
m.event("give", agent="saray", themes=["hagar"])
# ‹מִקֵּץ עֶשֶׂר שָׁנִים לְשֶׁבֶת אַבְרָם בְּאֶרֶץ כְּנָעַן› (“from-end ten
# years to-dwell/sit Abram in-earth Canaan”) — fact holds: from-end-ten-
# years-to-dwell/sit-Abram-in-earth-Canaan
m.fact("mi_qetz_eser_shanim_le_shevet_avram_be_eretz_kenaan")
# -------------------------- Gen.16.4 · THE_COMPLIANCE_AND_THE_CONTEMPT -----
# וַיָּבֹא אֶל־הָגָר וַתַּהַר וַתֵּרֶא כִּי הָרָתָה וַתֵּקַל גְּבִרְתָּהּ
# בְּעֵינֶיהָ
# "And he went in unto Hagar, and she conceived; and when she saw that she
# had conceived, her mistress was despised in her eyes."
m.step("Gen.16.4")
# ‹וַיָּבֹא אֶל־הָגָר› (“and-come/bring to Hagar”) — event: come — agent
# Abram
m.event("come", agent="avram")
# ‹וַיָּבֹא אֶל־הָגָר› (“and-come/bring to Hagar”) — demand settled (popped
# from the queue): come/bring(Abram, to-shifchati)
m.result("bo(avram, el_shifchati)", tmark="t1")
# ‹וַתַּהַר› (“and-be-pregnant”) — event: conceive — agent Hagar
m.event("conceive", agent="hagar")
# ‹וַתֵּקַל גְּבִרְתָּהּ בְּעֵינֶיהָ› (“and-be-light mistress-her/its in-
# eye-her/its”) — fact holds: and-be-light-gevirtah-in-eineha
m.fact("va_teqal_gevirtah_be_eineha")
# -------------------------- Gen.16.5 · THE_GRIEVANCE_AND_THE_DEMAND_ON_GOD -
# וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם חֲמָסִי עָלֶיךָ אָנֹכִי נָתַתִּי שִׁפְחָתִי
# בְּחֵיקֶךָ וַתֵּרֶא כִּי הָרָתָה וָאֵקַל בְּעֵינֶיהָ יִשְׁפֹּט יְהוָה
# בֵּינִי וּבֵינֶיךָ
# "And Sarai said unto Abram: 'My wrong be upon thee: I gave my handmaid
# into thy bosom; and when she saw that she had conceived, I was despised in
# her eyes: the LORD judge between me and thee.'"
m.step("Gen.16.5")
# ‹וַתֹּאמֶר שָׂרַי אֶל־אַבְרָם› (“and-say Sarai to Abram”) — event: say —
# agent Sarai
m.event("say", agent="saray")
# ‹חֲמָסִי עָלֶיךָ אָנֹכִי נָתַתִּי שִׁפְחָתִי בְּחֵיקֶךָ› (“violence-me/my
# over-you/your set female-slave-me/my in-bosom-you/your”) — fact holds:
# chamasi-alekha; anokhi-set-shifchati-in-cheqekha
m.fact("chamasi_alekha",
"anokhi_natati_shifchati_be_cheqekha")
# ‹יִשְׁפֹּט יְהוָה בֵּינִי וּבֵינֶיךָ› (“judge YHWH between-me/my and-
# between-you/your”) — Sarai speaks a demand — LET: judge(the-LORD, beini-
# and-veinekha)
m.declare("saray", "LET",
"yishpot(YHWH, beini_u_veinekha)")
# -------------------------- Gen.16.6 · THE_PERMISSION_THE_AFFLICTION_THE_FLIGHT -
# וַיֹּאמֶר אַבְרָם אֶל־שָׂרַי הִנֵּה שִׁפְחָתֵךְ בְּיָדֵךְ עֲשִׂי־לָהּ
# הַטּוֹב בְּעֵינָיִךְ וַתְּעַנֶּהָ שָׂרַי וַתִּבְרַח מִפָּנֶיהָ
# "But Abram said unto Sarai: 'Behold, thy maid is in thy hand; do to her
# that which is good in thine eyes.' And Sarai dealt harshly with her, and
# she fled from her face."
m.step("Gen.16.6")
# ‹וַיֹּאמֶר אַבְרָם אֶל־שָׂרַי› (“and-say Abram to Sarai”) — event: say —
# agent Abram
m.event("say", agent="avram")
# ‹עֲשִׂי־לָהּ הַטּוֹב בְּעֵינָיִךְ› (“make to-her/its the-good in-eye-
# you/your”) — Abram speaks a demand — LET: make(Sarai, to-Hagar-the-good-
# in-einayikh)
m.declare("avram", "LET",
"asi(saray, la_hagar_ha_tov_be_einayikh)")
# ‹וַתְּעַנֶּהָ שָׂרַי› (“and-afflict-literally-her/its Sarai”) — event:
# afflict — agent Sarai; theme Hagar
m.event("afflict", agent="saray", themes=["hagar"])
# ‹וַתִּבְרַח מִפָּנֶיהָ› (“and-bolt from-face-her/its”) — event: flee —
# agent Hagar
m.event("flee", agent="hagar")
# -------------------------- Gen.16.7 · THE_ANGEL_FINDS_HER -----------------
# וַיִּמְצָאָהּ מַלְאַךְ יְהוָה עַל־עֵין הַמַּיִם בַּמִּדְבָּר עַל־הָעַיִן
# בְּדֶרֶךְ שׁוּר
# "And the angel of the LORD found her by a fountain of water in the
# wilderness, by the fountain in the way to Shur."
m.step("Gen.16.7")
# ‹וַיִּמְצָאָהּ מַלְאַךְ יְהוָה› (“and-find-her/its messenger YHWH”) —
# event: find — agent messenger-the-LORD; theme Hagar
m.event("find", agent="malakh_YHWH", themes=["hagar"])
# reads without prior install (flag, not fix): Shur
m.presupposed("shur")
# -------------------------- Gen.16.8 · THE_WHERE_QUESTIONS_AND_THE_RUNAWAY_ANSWER -
# וַיֹּאמַר הָגָר שִׁפְחַת שָׂרַי אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי וַתֹּאמֶר
# מִפְּנֵי שָׂרַי גְּבִרְתִּי אָנֹכִי בֹּרַחַת
# "And he said: 'Hagar, Sarai's handmaid, whence camest thou? and whither
# goest thou?' And she said: 'I flee from the face of my mistress Sarai.'"
m.step("Gen.16.8")
# ‹וַיֹּאמַר הָגָר שִׁפְחַת שָׂרַי אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי› (“and-
# say Hagar female-slave Sarai how? from-this come/bring and-where? go”) —
# event: say — agent messenger-the-LORD
m.event("say", agent="malakh_YHWH")
# ‹אֵי־מִזֶּה בָאת וְאָנָה תֵלֵכִי› (“how? from-this come/bring and-where?
# go”) — fact holds: ei-mizeh-come/bring-and-anah-go
m.fact("ei_mizeh_vat_ve_anah_telekhi")
# ‹וַתֹּאמֶר› (“and-say”) — event: say — agent Hagar
m.event("say", agent="hagar")
# ‹מִפְּנֵי שָׂרַי גְּבִרְתִּי אָנֹכִי בֹּרַחַת› (“from-face Sarai mistress-
# me/my bolt”) — fact holds: from-face-of-Sarai-gevirti-anokhi-bolt
m.fact("mi_pnei_saray_gevirti_anokhi_borachat")
# -------------------------- Gen.16.9 · THE_RETURN_AND_SUBMIT_COMMAND -------
# וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי
# תַּחַת יָדֶיהָ
# "And the angel of the LORD said unto her: 'Return to thy mistress, and
# submit thyself under her hands.'"
m.step("Gen.16.9")
# ‹וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה› (“and-say to-her/its messenger YHWH”) —
# event: say — agent messenger-the-LORD
m.event("say", agent="malakh_YHWH")
# ‹שׁוּבִי אֶל־גְּבִרְתֵּךְ וְהִתְעַנִּי תַּחַת יָדֶיהָ› (“return to
# mistress-you/your and-afflict-literally under hand-her/its”) — messenger-
# the-LORD speaks a demand — LET: return-and-afflict-literally(Hagar, to-
# gevirtekh-under-yadeha)
m.declare("malakh_YHWH", "LET",
"shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)")
# -------------------------- Gen.16.10 · THE_UNCOUNTABLE_SEED ---------------
# וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה הַרְבָּה אַרְבֶּה אֶת־זַרְעֵךְ וְלֹא
# יִסָּפֵר מֵרֹב
# "And the angel of the LORD said unto her: 'I will greatly multiply thy
# seed, that it shall not be numbered for multitude.'"
m.step("Gen.16.10")
# ‹וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה› (“and-say to-her/its messenger YHWH”) —
# event: say — agent messenger-the-LORD
m.event("say", agent="malakh_YHWH")
# ‹הַרְבָּה אַרְבֶּה אֶת־זַרְעֵךְ וְלֹא יִסָּפֵר מֵרֹב› (“multiply multiply
# obj-marker seed-you/your and-not count from-abundance”) — fact holds:
# greatly-I-will-multiply-obj-marker-zarekh; and-not-count-from-abundance
m.fact("harbah_arbeh_et_zarekh",
"ve_lo_yisafer_me_rov")
# -------------------------- Gen.16.11 · THE_ANNUNCIATION -------------------
# וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת
# שְׁמוֹ יִשְׁמָעֵאל כִּי־שָׁמַע יְהוָה אֶל־עָנְיֵךְ
# "And the angel of the LORD said unto her: 'Behold, thou art with child,
# and shalt bear a son; and thou shalt call his name Ishmael, because the
# LORD hath heard thy affliction.'"
m.step("Gen.16.11")
# ‹וַיֹּאמֶר לָהּ מַלְאַךְ יְהוָה› (“and-say to-her/its messenger YHWH”) —
# event: say — agent messenger-the-LORD
m.event("say", agent="malakh_YHWH")
# ‹הִנָּךְ הָרָה וְיֹלַדְתְּ בֵּן וְקָרָאת שְׁמוֹ יִשְׁמָעֵאל כִּי־שָׁמַע
# יְהוָה אֶל־עָנְיֵךְ› (“behold-you/your pregnant and-bear-young son and-
# call name-him/its Ishmael that hear YHWH to affliction-you/your”) — fact
# holds: hinakh-harah-and-bear-young-son; and-call-shemo-Ishmael; that-hear-
# the-LORD-to-onyekh
m.fact("hinakh_harah_ve_yoladt_ben",
"ve_qarat_shemo_yishmael",
"ki_shama_YHWH_el_onyekh")
# -------------------------- Gen.16.12 · THE_WILD_ASS_ORACLE ----------------
# וְהוּא יִהְיֶה פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ וְעַל־פְּנֵי
# כָל־אֶחָיו יִשְׁכֹּן
# "And he shall be a wild ass of a man: his hand shall be against every man,
# and every man's hand against him; and he shall dwell in the face of all
# his brethren.'"
m.step("Gen.16.12")
# ‹פֶּרֶא אָדָם יָדוֹ בַכֹּל וְיַד כֹּל בּוֹ וְעַל־פְּנֵי כָל־אֶחָיו
# יִשְׁכֹּן› (“onager human hand-him/its in-all and-hand all in-him/its and-
# over face all brother-him/its reside”) — fact holds: onager-human-his-
# hand-and-all-and-hand-all-come/bring; over-face-of-all-echav-reside
m.fact("pere_adam_yado_va_khol_ve_yad_kol_bo",
"al_pnei_khol_echav_yishkon")
# -------------------------- Gen.16.13 · SHE_NAMES_YHWH ---------------------
# וַתִּקְרָא שֵׁם־יְהוָה הַדֹּבֵר אֵלֶיהָ אַתָּה אֵל רֳאִי כִּי אָמְרָה
# הֲגַם הֲלֹם רָאִיתִי אַחֲרֵי רֹאִי
# "And she called the name of the LORD that spoke unto her, Thou art a God
# of seeing; for she said: 'Have I even here seen Him that seeth Me?'"
m.step("Gen.16.13")
# ‹וַתִּקְרָא שֵׁם־יְהוָה הַדֹּבֵר אֵלֶיהָ אַתָּה אֵל רֳאִי› (“and-call name
# YHWH the-speak to-her/its you strength sight”) — named: the-LORD := El-Roi
m.name("YHWH", "El_Roi")
# ‹כִּי אָמְרָה הֲגַם הֲלֹם רָאִיתִי אַחֲרֵי רֹאִי› (“that say the-also
# hither see after see-me/my”) — fact holds: hagam-hither-see-acharei-sight
m.fact("hagam_halom_raiti_acharei_roi")
# -------------------------- Gen.16.14 · THE_WELL_OF_THE_LIVING_ONE_WHO_SEES -
# עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי הִנֵּה בֵין־קָדֵשׁ וּבֵין
# בָּרֶד
# "Wherefore the well was called 'Beer-lahai-roi; behold, it is between
# Kadesh and Bered."
m.step("Gen.16.14")
# ‹עַל־כֵּן קָרָא לַבְּאֵר בְּאֵר לַחַי רֹאִי› (“over so call to-pit Beer-
# lahai-roi”) — pattern recorded: over-so-call-to-pit-pit-lachai-sight
m.pattern("al_ken_qara_la_beer_beer_lachai_roi")
# ‹הִנֵּה בֵין־קָדֵשׁ וּבֵין בָּרֶד› (“behold between Kadesh and-between
# Bered”) — fact holds: hineh-vein-Kadesh-and-vein-Bered
m.fact("hineh_vein_qadesh_u_vein_bared")
# reads without prior install (flag, not fix): Kadesh, bered
m.presupposed("qadesh", "bered")
# -------------------------- Gen.16.15 · THE_BIRTH_AND_THE_FATHERS_NAMING ---
# וַתֵּלֶד הָגָר לְאַבְרָם בֵּן וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ
# אֲשֶׁר־יָלְדָה הָגָר יִשְׁמָעֵאל
# "And Hagar bore Abram a son; and Abram called the name of his son, whom
# Hagar bore, Ishmael."
m.step("Gen.16.15")
# ‹וַתֵּלֶד הָגָר לְאַבְרָם בֵּן› (“and-bear-young Hagar to-Abram son”) —
# event: bear — agent Hagar; theme Ishmael
m.event("bear", agent="hagar", themes=["yishmael"])
# ‹וַיִּקְרָא אַבְרָם שֶׁם־בְּנוֹ … יִשְׁמָעֵאל› (“and-call Abram name son-
# him/its … Ishmael”) — named: Ishmael := Yishmael
m.name("yishmael", "Yishmael")
# -------------------------- Gen.16.16 · THE_AGE_FRAME ----------------------
# וְאַבְרָם בֶּן־שְׁמֹנִים שָׁנָה וְשֵׁשׁ שָׁנִים בְּלֶדֶת־הָגָר
# אֶת־יִשְׁמָעֵאל לְאַבְרָם
# "And Abram was fourscore and six years old, when Hagar bore Ishmael to
# Abram."
m.step("Gen.16.16")
# ‹וְאַבְרָם בֶּן־שְׁמֹנִים שָׁנָה וְשֵׁשׁ שָׁנִים› (“and-Abram son eighty
# years and-six years”) — fact holds: Abram-son-eighty-year-and-six-years
m.fact("avram_ben_shemonim_shanah_ve_shesh_shanim")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == set()
assert m.presupposed_set() == {'bered', 'shur', 'qadesh'}
assert m.REGISTRY["names"] == {'YHWH': 'El_Roi', 'yishmael': 'Yishmael'}
assert m.REGISTRY["writes"] == 2
assert m.tests_list() == []
assert m.open_demands() == ['yishpot(YHWH, beini_u_veinekha)', 'asi(saray, la_hagar_ha_tov_be_einayikh)', 'shuvi_ve_hitani(hagar, el_gevirtekh_tachat_yadeha)']
assert len(m.SPECS["log"]) == 4
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 3, 'named_before_any_presence': 2}
assert sorted(m.WORLD["facts"]) == sorted(['saray_lo_yaldah_lo', 've_lah_shifchah_mitzrit_u_shemah_hagar', 'atzarani_YHWH_mi_ledet', 'ulay_ibaneh_mimenah', 'mi_qetz_eser_shanim_le_shevet_avram_be_eretz_kenaan', 'va_teqal_gevirtah_be_eineha', 'chamasi_alekha', 'anokhi_natati_shifchati_be_cheqekha', 'ei_mizeh_vat_ve_anah_telekhi', 'mi_pnei_saray_gevirti_anokhi_borachat', 'harbah_arbeh_et_zarekh', 've_lo_yisafer_me_rov', 'hinakh_harah_ve_yoladt_ben', 've_qarat_shemo_yishmael', 'ki_shama_YHWH_el_onyekh', 'pere_adam_yado_va_khol_ve_yad_kol_bo', 'al_pnei_khol_echav_yishkon', 'hagam_halom_raiti_acharei_roi', 'pattern: al_ken_qara_la_beer_beer_lachai_roi', 'hineh_vein_qadesh_u_vein_bared', 'avram_ben_shemonim_shanah_ve_shesh_shanim'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 25
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")