The test, the binding, the oath (22:1-24) FROZEN
וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם · ve-ha-elohim nisah et-avraham · 'And God tested Abraham'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Source fetch + verification | Hebrew: Data/Gen.xml via the DB snapshot; pointed lines regenerated (gen_22's convention). English aid: JPS 1917. Span totals VERIFIED: 367 tokens / 24 verses / 138 normalized strongs / 91 scan-flagged [flag 15]. Onkelos Genesis 22:1-24 fetched Tier-A, sequential, 0.5s — cache MISS x24, all appended to Data/FETCHLOG.md 2026-08-05. | established |
| B | Census battery | Pre-stage scan plus ONE derive battery. THE DEBUT FIELD: NISAH ('test') 1/15 (career: Marah, the manna, Massah, and Exod 20:20's 'God has come to TEST you' — the very verse frozen gen_36 linked as yirat-elohim token 2: the test-verb and the fear-title share a Sinai landing); AHAV ('love') 1/41 in the command (token 2 = 24:67, Isaac loving Rivqah — the love-verb's first two tokens are the father's and the son's); SHACHAT ('slaughter') 1/47 (career: Joseph's goat, then the Passover lamb x2 — the verb born over a bound son runs to the lamb that spares sons); NEUM ('oracle') 1/8 inside the first divine self-oath; MEUMA ('anything') 1/9 in the countermand; RACHOQ ('afar') 1/12; QEREN ('horn') 1/21; ACHAZ ('caught') 1/11; SE ('lamb') 1/28 x2 (the where-is-the-lamb exchange); CHOL ('sand') 1/5; OYEV ('enemy') 1/53; EQEV + YAAN (the because-words) both debut in the oath; CHAVASH ('saddle') 1/4; YERE-adjective ('fearing') 1/6 — the God-FEARING title CONFERRED at 22:12 where frozen gen_36's 20:11 line had it GUESSED as a noun [LANDED-class]; RIVQAH 1/30 (the coda's mint); PILEGESH ('concubine') 1/4; BETUEL 1/9. TORAH HAPAXES: MORIAH, AQAD ('bind' — the verb that names the event exists once, 22:9), SEVAKH ('thicket'); MAAKHELET ('knife') both Torah tokens in-span (22:6/10); YACHID ('only one') = 3 Torah tokens, ALL in-span (22:2/12/16) — the whole lexeme is this trial [census-exact]; plus the coda's TEN name- hapaxes [flag 12]. LANDINGS: lekh-lekha counterexample hunt (ANY go-imperative + l-pronoun, Torah-wide) returns EXACTLY 12:1 and 22:2 — frozen gen_27's two-token line confirmed; olah tokens 2-7 ALL in-span (token 1 = 8:20, Noach — frozen gen_20's line LANDS); chasakh tokens 2-3 (frozen gen_36's withhold-arc LANDS); shava token 4 = 22:16 (frozen gen_37's watch LANDS); malakh tokens 8-9 = 22:11/15 (frozen gen_37's census line LANDS x2); shakham ('rise early') token 5 = 22:3 (frozen gen_37's line LANDS — Abraham's three dawns: prayer-stand, expulsion, binding); AYIL ('ram') tokens 2-3 = 22:13 (token 1 = 15:9 INSIDE frozen gen_31's cycle-#8 demand string — the ram- word's first two appearances are both Abraham's offerings); qol ('voice') token 11 = 22:18's be-qoli — after the garden Voice, the indictment, the blood, Lemekh, Sarai, Sarah-commanded, Hagar-lifted, and the lad's doubled voice, the eleventh token is GOD'S OWN, credited to Abraham's ear; kokhav ('star') token 3 (1:16 creation, 15:5 the count-promise, 22:17 the oath); ESH ('fire') tokens 3-4 in-span — tokens 1-2 are the covenant torch (15:17) and Sodom's fire-rain (19:24); token 5 is the burning bush [census-exact fire-ladder]; YACHDAV ('together') tokens 3-5 — tokens 1-2 are BOTH 13:6 (the could-not-dwell-together, doubled), token 6 = 36:7 (Jacob-Esau's same clause): born doubled in a separation, spent tripled on the binding walk; SHAAR ('gate') token 2 (token 1 = 19:1, Lot in Sodom's gate; token 3 = 23:10, next unit); AYEH ('where?') token 3 — where-is-Sarah (18:9), where-are-the-men (19:5), where-is-the-lamb: promise, violence, sacrifice; NAGAD ('tell') tokens 5-6 adjacent — the denial (21:26 lo-higadta) and the news (22:20 va-yugad, the verb's FIRST PASSIVE, hophal); SHELISHI ('third') token 4 — the first third DAY of narrative time (tokens 1-3: creation's day, Eden's river, the ark's deck); BEKHOR token 2; UTZ one-skeleton-three- men; SHMONAH ('eight') tokens 10-11 adjacent (21:4's eighth-day circumcision, 22:23's eight sons); HINENI: the first HUMAN here-I-am (Genesis' only earlier token, 6:17, is God's flood-announcement), x3 in-span; DOUBLED- NAME CALL: 22:11 is the Torah's first (the 6:9/11:10/ 11:27/25:19 doublings are toledot-frame repetitions; the call-class: 22:11 -> 46:2 -> Exod 3:4) [both hunts census-exact, flag 8]; NA ('please') divine token 3 — 13:14 and 15:5 were both divine LOOK-commands at promises; 22:2 asks for the son the promises named. MOOD CENSUS: NINE volitives (qach-na + ve-lekh + ve-haalehu — the compound triple, flag 2; shevu — flag 5; nelkha + ve-nishtachaveh + ve-nashuvah — the exclusive-we trio, flag 6; al-tishlach + ve-al-taas — flag 4) = FOUR demands after compounding + three wish-facts; say-tokens 18 (22:7 alone carries FOUR); INSTRUMENT FIELD ALL-ZERO (tov/shaah/tzaddiq/nichoach x0) [flag 10]. | established |
| C | Structure choice | HYBRID 20 steps per the ratified pre-stage: per-verse 1-19 + grouped 20-24 (the coda). Tree anchors from mark_rank=1; ONE single-arm verse (22:4 — flag 15). Notable thrones: 22:1's arms END on avraham / hineni (the call and the answer are the two rests); 22:2's etnachta rests on ha-moriyah; 22:6 and 22:8 carry the IDENTICAL right arm — va-yelkhu shneihem yachdav ('and the two walked together'): the letter rests twice on the same three words around the lamb-exchange [tree twin]; 22:10's whole silluq arm is li-shechot et-beno ('to slaughter his son'); 22:11's silluq arm is va-yomer hineni (the answer alone); 22:12's etnachta on meuma ('anything'), silluq on mimeni ('from Me'); 22:14's two rests are YIREH / YERAEH — the active and passive of one see-verb hold the verse's arms; 22:16's etnachta on neum-YHWH (the newborn oracle-formula at the rest); 22:19's silluq arm is va-yeshev avraham bi-veer shava (the dwell-verb closes the trial); 22:23's etnachta rests on rivqah — the bride's first token is an arm-end. | established |
| D | Say-roster + speech map + name-texture | 18 say-tokens, five voices: the narrator's frame (nisa), God's command (22:1-2), Abraham to the lads (22:5), the father-son exchange (22:7-8 — FOUR say-tokens in the chapter's tenderest verse: said-said-said-said around avi/hineni-veni), the angel's two sky-calls (22:11-12, 22:15-18 — the second carrying God's oath in first person: the divine-first-person slide of frozen gen_32's angel-class), the coda's report (va-yugad... lemor). NAME-TEXTURE [flag 15]: Elohim tokens 114-118 vs YHWH tokens 100-104 — five and five, and the split is scenic: ha-Elohim tests and names the place (22:1-9), Elohim provides and is feared (22:8/12), YHWH owns every token of the rescue and the oath (22:11/14 x2/15/16): the knife is stayed under the covenant name [the gen_20 name-texture class, quoted this session]. | established |
| E | Onkelos read (Tier-A, dual-track) | Cache MISS x24. HEADLINE: the 22:14 WORSHIP-RECOMPOSITION (the era's boldest — the naming-verse dissolved into 'Abraham worshipped and PRAYED there... here shall the generations worship... on this mountain Abraham worshipped before the LORD'; no name given; the tzali prayer-family's third consecutive unit) [flag 14a]. SECOND: the MEMRA-OATH pair (be-memri qayemit / qabelta le-memri) extending frozen gen_37's qayem-weld and qabel-family into the divine mouth [flag 14b]. THIRD: the CHALAF-weld (the ram chalaf beno, the blessing chalaf di asita — substitute and recompense in one exchange-word) [flag 14c]. Repeat buffers consistent with frozen records: lead-for-take ON ISAAC (devar); the identification class (moriah -> ara pulchana); kodam- distancing + the reveal-family (22:8's provide, 22:20's news); goy->am (amemaya, 22:18); the sit-demand read as intent (orikhu 'wait'); nisa KEPT unbuffered — the letter's divine testing stands in Aramaic [flag 14d]. Deltas recorded, never merged. | established |
| F | Machine design | FOUR demands pushed, ZERO popped in the base encoding, FOUR OPEN at close: the compound triple (flag 2 — THE CROWN FORK, both ways staged, RESULT withheld per the base grounds; side A's cycle #15 named as consequence, not claimed), the stay-demand (flag 5), the two LET-NOTs (flag 4 — the countermand collision visible on the queue from S8 on). ONE registry write (22:14 NAME — flag 7, alternative staged) + ONE PATTERN (the saying-clause). THREE installs + ONE presupposed read (flag 16). TESTS: zero possible (flag 10 — the nisa-irony). LEDGER: empty. TIME: t0 only (no RESULT, no t1 mark — the first unit since gen_34 with an unmarked clock: the trial ends with nothing paid on the machine's terms and everything paid on the letter's). Scenario asserts designed with the facts; the queue's collision-state asserted directly (S8, S9). | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_22_1 · Gen.22.1 · THE_FRAME_AND_THE_TEST
וַיְהִי אַחַר הַדְּבָרִים הָאֵלֶּה וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם וַיֹּאמֶר אֵלָיו אַבְרָהָם וַיֹּאמֶר הִנֵּנִי · va-yehi achar ha-devarim ha-eleh ve-ha-elohim nisah et-avraham va-yomer elav avraham va-yomer hineni · [EN-AID/JPS] And it came to pass after these things, that God did prove Abraham, and said unto him: 'Abraham'; and he said: 'Here am I.'
ויהי אחר הדברים האלה והאלהים נסה את־אברהם · va-yehi achar ha-devarim ha-ele ve-ha-Elohim nisa et-avraham · after these things — GOD TESTED Abraham (etnachta on avraham)
ויאמר אליו אברהם ויאמר הנני · va-yomer elay-v avraham va-yomer hineni-y · He said: Abraham. He said: HERE I AM (verse-final hineni)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(achar_ha_devarim_ve_ha_elohim_nisah_et_avraham, t0) ∧ HOLDS(va_yomer_hineni, t0) = HOLDS(achar-the-devarim-and-the-God-nisah-avraham, t0) ∧ HOLDS(and-yomer-behold-I, t0) NISAH ('tested') — TORAH DEBUT 1/15, AND THE TESTS REGISTER CANNOT FIRE [flag 10, the machine irony]: the test-verb is born in a chapter whose instrument field is ALL-ZERO (the second such chapter running) — the letter's own test-word arrives exactly where the machine's TESTS cannot be tempted; nisa is held as narrative fact. Its career: Marah, the manna, Massah, and Exod 20:20's 'God has come to TEST you' — sharing a Sinai landing with frozen gen_36's yirat-elohim line [census]. HINENI ('here I am') — THE FIRST HUMAN HERE-I-AM in the Torah [flag 8, hunted]: Genesis' only earlier token (6:17) is God announcing the flood; the answer-word is born in Abraham and will sound three times this chapter (to God, to the son, to the angel). The verse's two arms END on avraham / hineni — the call and the answer are the two rests [tree fact]. Onkelos: NASI KEPT — the buffer does not soften the divine testing [flag 14d, dual-track]. | וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם … הִנֵּנִי · ve-ha-elohim nisah et-avraham … hineni = God nisah avraham behold-I | — | tested |
STEP_Gn_22_2 · Gen.22.2 · THE_CROWN_COMMAND
וַיֹּאמֶר קַח־נָא אֶת־בִּנְךָ אֶת־יְחִידְךָ אֲשֶׁר־אָהַבְתָּ אֶת־יִצְחָק וְלֶךְ־לְךָ אֶל־אֶרֶץ הַמֹּרִיָּה וְהַעֲלֵהוּ שָׁם לְעֹלָה עַל אַחַד הֶהָרִים אֲשֶׁר אֹמַר אֵלֶיךָ · va-yomer qach-na et-binkha et-yechidkha asher-ahavta et-yitzchaq ve-lekh-lekha el-eretz ha-moriyah ve-haalehu sham le-olah al achad he-harim asher omar elekha · [EN-AID/JPS] And He said: 'Take now thy son, thine only son, whom thou lovest, even Isaac, and get thee into the land of Moriah; and offer him there for a burnt-offering upon one of the mountains which I will tell thee of.'
ויאמר קח־נא את־בנך את־יחידך אשר־אהבת את־יצחק ולך־לך אל־ארץ המריה · va-yomer qach-na et-bin-kha et-yechid-kha asher-ahavta et-yitzchaq ve-lekh-le-kha el-eretz ha-moriya · TAKE your son, your only one, whom you LOVE — GO to the land of Moriah (etnachta on ha-moriyah)
והעלהו שם לעלה על אחד ההרים אשר אמר אליך · ve-haale-hu sham le-ola al achad he-harim asher omar ele-kha · and OFFER HIM UP there, on a mountain I will TELL you (verse-final elekha)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(elohim, LET(qach_lekh_ve_haalehu(et_binkha, le_olah))) = DECLARE(God, LET(qach-lekh-and-haalehu(binkha, to-burnt-offering))) THE COMPOUND TRIPLE'S FOURTH TOKEN — IN GOD'S MOUTH [flag 2, THE CROWN]: three volitives, one breath, one addressee (qach 'take' + lekh 'go' + haalehu 'offer him up' — Vqv, Vqv, Vhv with the object-suffix -hu, the son), riding ONE demand per the class (18:6 -> 19:2 -> 21:18 -> here; the first divine token of the class). NA ('please') — the THIRD divine na: 13:14 and 15:5 were both LOOK-commands at promises (the land, the stars); the third asks for the son the promises named [census]. LEKH-LEKHA — the summons' SECOND AND LAST Torah token: frozen gen_27's line LANDS, quoted: 'LEKH-LEKHA (go, you) — the doubled dative summons has exactly TWO Torah tokens: 12:1 and 22:2 (the binding)' — confirmed by a fresh Torah-wide hunt (any go- imperative + l-pronoun: exactly two) [LANDED]. And BOTH lekh-lekha commands DEFER their destination: 12:1's asher AREKA ('that I will SHOW you', frozen gen_27) / 22:2's asher OMAR elekha ('that I will TELL you') — the two-token summons carries a two-token mystery [flag 11]. The demand stands OPEN from here through the fork [flag 2]. Onkelos: DEVAR ('LEAD') — the lead-for-take animacy policy applied to the son; ha-moriyah -> ARA PULCHANA ('land of WORSHIP'); ve-asqeih QODAMAI ('offer him up BEFORE ME' — a kodam- insertion into the command itself) [flag 14, dual-track]. | קַח־נָא … וְלֶךְ־לְךָ … וְהַעֲלֵהוּ שָׁם לְעֹלָה · qach-na … ve-lekh-lekha … ve-haalehu sham le-olah = qach-na and-lekh-to-you and-haalehu there burnt-offering | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(et_binkha_et_yechidkha_asher_ahavta_et_yitzchaq, t0) ∧ HOLDS(el_eretz_ha_moriyah_asher_omar_elekha, t0) = HOLDS(binkha-yechidkha-which-ahavta-yitzchaq, t0) ∧ HOLDS(to-earth-the-moriyah-which-omar-to-you, t0) THE FOUR-STEP ADDRESS: your son — your only one — whom you LOVE — Isaac: AHAV ('love') makes its TORAH DEBUT inside the taking-command (token 2 = 24:67, Isaac loving Rivqah: the love-verb's first two tokens are the father's and the son's) and YACHID ('only one') opens a lexeme whose ENTIRE Torah life (3 tokens) is this trial [census-exact; flag 2's lexicon]. MORIAH — a Torah hapax, SPEECH-CONTENT only [flag 11]: the destination arrives marked unknown-to-the-hearer (asher omar elekha); no machine read fires. OLAH ('burnt-offering') token 2 — frozen gen_20's line LANDS, quoted: 'OLAH (burnt-offering) TOKEN 1 of 148 — tokens 2-7 are ALL the binding of Isaac' [LANDED]. | אֶת־בִּנְךָ אֶת־יְחִידְךָ אֲשֶׁר־אָהַבְתָּ אֶת־יִצְחָק · et-binkha et-yechidkha asher-ahavta et-yitzchaq = binkha yechidkha which-ahavta yitzchaq | — | tested |
STEP_Gn_22_3 · Gen.22.3 · THE_DAWN_OBEDIENCE_TWO_ROOTS_RETURN
וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר וַיַּחֲבֹשׁ אֶת־חֲמֹרוֹ וַיִּקַּח אֶת־שְׁנֵי נְעָרָיו אִתּוֹ וְאֵת יִצְחָק בְּנוֹ וַיְבַקַּע עֲצֵי עֹלָה וַיָּקָם וַיֵּלֶךְ אֶל־הַמָּקוֹם אֲשֶׁר־אָמַר־לוֹ הָאֱלֹהִים · va-yashkem avraham ba-boqer va-yachavosh et-chamoro va-yiqach et-shnei nearav ito ve-et yitzchaq beno va-yevaqa atzei olah va-yaqam va-yelekh el-ha-maqom asher-amar-lo ha-elohim · [EN-AID/JPS] And Abraham rose early in the morning, and saddled his ass, and took two of his young men with him, and Isaac his son; and he cleaved the wood for the burnt-offering, and rose up, and went unto the place of which God had told him.
וישכם אברהם בבקר ויחבש את־חמרו ויקח את־שני נעריו אתו ואת יצחק בנו · va-yashkem avraham ba-boqer va-yachavosh et-chamor-o va-yiqach et-shene nearay-v et-o ve-et yitzchaq ben-o · rose early, saddled, TOOK the lads and Isaac (etnachta on beno)
ויבקע עצי עלה ויקם וילך אל־המקום אשר־אמר־לו האלהים · va-yevaqa atze ola va-yaqam va-yelekh el-ha-maqom asher-amar-l-o ha-Elohim · split the wood, rose, WENT to the place God had said (verse-final ha-Elohim)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {yitzchaq} Isaac re-created behind frozen gen_37's wall [flag 16 — the standalone convention]: his birth, name-write, and weaning are the frozen unit's property; this unit's Isaac begins here — TAKEN, silent, carrying nothing yet [prose]. | וְאֵת יִצְחָק בְּנוֹ · ve-et yitzchaq beno = and yitzchaq beno | TIR-014 | tested |
| REGISTRY_INSTALL | WORLD += {shnei_nearav} = WORLD += {shnei-nearav} The two lads — the pair-device (frozen gen_35's shnei_ha_malakhim install): individuated as a pair, demandees-to-be of 22:5's stay-command [flag 16]. NAAR ('lad') tokens 10-14 run through the span — and the word covers BOTH the servants and Isaac-from-heaven's- view (22:12's ha-naar is the bound son) [census; prose]. | אֶת־שְׁנֵי נְעָרָיו · et-shnei nearav = shnei nearav | TIR-014 | tested |
| EVENT | dawn_journey(e1) ∧ Agent(e1, avraham) ∧ Companion(e1, yitzchaq) = dawn-journey(e1) ∧ Agent(e1, avraham) ∧ Companion(e1, yitzchaq) SHAKHAM ('rise early') TOKEN 5 — frozen gen_37's line LANDS, quoted: 'token 5 is 22:3, the Aqedah's saddle' — Abraham's three dawns are the prayer-stand, the expulsion, the binding [LANDED; census]. TWO OF THE THREE DEMANDED ROOTS RETURN SAME-VERSE [flag 3]: va-yiqach (the lads AND the son — qach's root, on the demanded object among others) and va-yelekh (lekh's root, toward the place) — PARTIAL ROOT-RETURNS NEVER POP A COMPOUND (frozen law, ratified twice in gen_35, applied in gen_37): the machine holds; the third root (alah 'offer up') is absent and will stay absent for ten verses. CHAVASH ('saddle') debut; BAQA ('split') token 2 — token 1 split the DEEP (7:11's maayanot): the cleave-verb's first two objects are the abyss and firewood [census]. The obedience is total and the receipt is zero — gen_37's chapter-grammar carried into the trial [prose]. | וַיַּשְׁכֵּם … וַיַּחֲבֹשׁ … וַיִּקַּח … וַיְבַקַּע … וַיָּקָם וַיֵּלֶךְ · va-yashkem … va-yachavosh … va-yiqach … va-yevaqa … va-yaqam va-yelekh = and-yashkem and-yachavosh and-yiqach and-yevaqa and-yaqam and-yelekh | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(va_yashkem_ba_boqer_va_yachavosh_et_chamoro, t0) = HOLDS(and-yashkem-in-the-morning-and-yachavosh-chamoro, t0) The dawn-fact held for the gate: rose-early and saddled — the trial's obedience begins in the same first motion as the expulsion's (frozen gen_37's 21:14) [cross-unit prose]. | וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר וַיַּחֲבֹשׁ אֶת־חֲמֹרוֹ · va-yashkem avraham ba-boqer va-yachavosh et-chamoro = and-yashkem avraham morning and-yachavosh chamoro | — | tested |
STEP_Gn_22_4 · Gen.22.4 · THE_THIRD_DAY_SIGHTING
בַּיּוֹם הַשְּׁלִישִׁי וַיִּשָּׂא אַבְרָהָם אֶת־עֵינָיו וַיַּרְא אֶת־הַמָּקוֹם מֵרָחֹק · ba-yom ha-shelishi va-yisa avraham et-einav va-yar et-ha-maqom me-rachoq · [EN-AID/JPS] On the third day Abraham lifted up his eyes, and saw the place afar off.
ביום השלישי וישא אברהם את־עיניו וירא את־המקום מרחק · ba-yom ha-shelishi va-yisa avraham et-enay-v va-yar et-ha-maqom me-rachoq · on the THIRD DAY he lifted his eyes and saw the place AFAR (single-arm verse — flag 15; verse-final me-rachoq)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ba_yom_ha_shelishi_va_yar_et_ha_maqom_me_rachoq, t0) = HOLDS(in-the-day-the-shelishi-and-yar-the-maqom-from-rachoq, t0) SHELISHI ('third') token 4 — the first third DAY of narrative time (tokens 1-3: creation's day, Eden's third river, the ark's third deck): three days of walking the letter never narrates — the silence is the letter's own [census; prose]. RACHOQ ('afar') TORAH DEBUT — the distance-word is born in the father's eye (its adverb-cousin harcheq debuted in frozen gen_37's bowshot: the two far-words of the corpus both measure a parent from a dying son) [census; cross-unit prose]. NASA ('lift') token 12 — the eye-lift; token 13 is 22:13's ram-sighting: the lift-verb's next two tokens are the two seeings of this chapter [census]. HA-MAQOM ('the place') tokens 16-19 run this span — thrice 'the place' unnamed, then named by a sentence at 22:14 [census]. | בַּיּוֹם הַשְּׁלִישִׁי … מֵרָחֹק · ba-yom ha-shelishi … me-rachoq = day the-shelishi from-rachoq | — | tested |
STEP_Gn_22_5 · Gen.22.5 · THE_STAY_DEMAND_AND_THE_EXCLUSIVE_WE
וַיֹּאמֶר אַבְרָהָם אֶל־נְעָרָיו שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר וַאֲנִי וְהַנַּעַר נֵלְכָה עַד־כֹּה וְנִשְׁתַּחֲוֶה וְנָשׁוּבָה אֲלֵיכֶם · va-yomer avraham el-nearav shevu-lakhem po im-ha-chamor va-ani ve-ha-naar nelkha ad-koh ve-nishtachaveh ve-nashuvah aleikhem · [EN-AID/JPS] And Abraham said unto his young men: 'Abide ye here with the ass, and I and the lad will go yonder; and we will worship, and come back to you.'
ויאמר אברהם אל־נעריו שבו־לכם פה עם־החמור ואני והנער נלכה עד־כה · va-yomer avraham el-nearay-v shevu-la-khem po im-ha-chamor va-ani ve-ha-naar nelkha ad-ko · SIT here with the donkey — I and the lad will go THUS FAR (etnachta on ad-ko)
ונשתחוה ונשובה אליכם · ve-nishtachave ve-nashuva ale-khem · and we will WORSHIP and we will RETURN to you (verse-final aleikhem)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(avraham, LET(shevu(po_im_ha_chamor))) = DECLARE(avraham, LET(shevu(po-if-the-chamor))) THE STAY-DEMAND [flag 5]: shevu ('SIT') — imperative 2mp on the two lads, pushed — and it will stand OPEN FOREVER: the letter never sits them; at 22:19 they RISE and WALK (va-yaqumu va-yelkhu) — the demanded root never returns on the demandees (gen_37's frozen other-verb class; the demand's own until-clause 'until we return to you' expires at 22:19 in the letter's structure, and the machine still holds the word unpaid per the verb-identity standard). Onkelos reads intent over verb: ORIKHU ('WAIT here') — the buffer performs the substitution the letter performs at 22:19 [flag 5; dual-track]. | שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר · shevu-lakhem po im-ha-chamor = shevu-lakhem po if-the-chamor | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(nelkha_ve_nishtachaveh_ve_nashuvah_aleikhem, t0) = HOLDS(nelkha-and-nishtachaveh-and-nashuvah-aleikhem, t0) THE EXCLUSIVE-WE TRIO IS FACT [flag 6]: three first- person-plural volitives spoken TO the lads ABOUT Abraham-and-Isaac — the we EXCLUDES the addressees: not the council CMD-US shape (there issuer and demandee-collective are one; gen_06's naaseh, gen_35's cave-councils); volitives on no one push nothing (gen_31/33's class). VE-NASHUVAH ('and WE will RETURN' — the plural over one returning) is held exactly as written; the chain's file is named-only. NISHTACHAVEH ('we will worship') — the bow-verb's token 3: the visitors bowed-to (18:2), Lot bowed (19:1), now 'worship' names the trial's act to the lads [census; prose]. | נֵלְכָה … וְנִשְׁתַּחֲוֶה וְנָשׁוּבָה אֲלֵיכֶם · nelkha … ve-nishtachaveh ve-nashuvah aleikhem = nelkha and-nishtachaveh and-nashuvah aleikhem | — | tested |
STEP_Gn_22_6 · Gen.22.6 · THE_LOADED_WALK_TOGETHER
וַיִּקַּח אַבְרָהָם אֶת־עֲצֵי הָעֹלָה וַיָּשֶׂם עַל־יִצְחָק בְּנוֹ וַיִּקַּח בְּיָדוֹ אֶת־הָאֵשׁ וְאֶת־הַמַּאֲכֶלֶת וַיֵּלְכוּ שְׁנֵיהֶם יַחְדָּו · va-yiqach avraham et-atzei ha-olah va-yasem al-yitzchaq beno va-yiqach be-yado et-ha-esh ve-et-ha-maakhelet va-yelkhu shneihem yachdav · [EN-AID/JPS] And Abraham took the wood of the burnt-offering, and laid it upon Isaac his son; and he took in his hand the fire and the knife; and they went both of them together.
ויקח אברהם את־עצי העלה וישם על־יצחק בנו ויקח בידו את־האש ואת־המאכלת · va-yiqach avraham et-atze ha-ola va-yasem al-yitzchaq ben-o va-yiqach be-yad-o et-ha-esh ve-et-ha-maakhelet · the wood SET on Isaac; the FIRE and the KNIFE in his hand (etnachta on ha-maakhelet)
וילכו שניהם יחדו · va-yelkhu shene-hem yachdav · and the two walked TOGETHER (verse-final yachdav)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | load_and_walk(e2) ∧ Agent(e2, avraham) ∧ Companion(e2, yitzchaq) = load-and-walk(e2) ∧ Agent(e2, avraham) ∧ Companion(e2, yitzchaq) THE LOAD SPLIT: the wood on the son, the FIRE and the KNIFE in the father's own hand — the letter keeps the dangerous things from the boy [prose]. ESH ('fire') token 3 — the fire-ladder: the covenant torch (15:17), Sodom's fire-rain (19:24), the father's hand; token 5 is the burning bush [census-exact]. MAAKHELET ('knife') — token 1 of 2: BOTH Torah tokens are this ascent [census-exact]. YACHDAV ('together') token 3 — tokens 1-2 are BOTH 13:6's could-not-dwell-TOGETHER (doubled in one verse): the together-word born in a separation spends its next three tokens on this walk [census]. SIM token 9 — the set-verb that loaded Hagar's shoulder (frozen gen_37's tokens 6-8) now loads the other son [census; cross-unit prose]. | וַיָּשֶׂם עַל־יִצְחָק בְּנוֹ … וַיֵּלְכוּ שְׁנֵיהֶם יַחְדָּו · va-yasem al-yitzchaq beno … va-yelkhu shneihem yachdav = and-yasem upon-yitzchaq beno and-yelkhu both-of-them yachdav | TIR-014 | tested |
STEP_Gn_22_7 · Gen.22.7 · THE_WHERE_IS_THE_LAMB
וַיֹּאמֶר יִצְחָק אֶל־אַבְרָהָם אָבִיו וַיֹּאמֶר אָבִי וַיֹּאמֶר הִנֶּנִּי בְנִי וַיֹּאמֶר הִנֵּה הָאֵשׁ וְהָעֵצִים וְאַיֵּה הַשֶּׂה לְעֹלָה · va-yomer yitzchaq el-avraham aviv va-yomer avi va-yomer hineni veni va-yomer hinneh ha-esh ve-ha-etzim ve-ayeh ha-seh le-olah · [EN-AID/JPS] And Isaac spoke unto Abraham his father, and said: 'My father.' And he said: 'Here am I, my son.' And he said: 'Behold the fire and the wood; but where is the lamb for a burnt-offering?'
ויאמר יצחק אל־אברהם אביו ויאמר אבי ויאמר הנני בני · va-yomer yitzchaq el-avraham avi-v va-yomer avi-y va-yomer hineni-y veni-y · MY FATHER — HERE I AM, MY SON (etnachta on veni)
ויאמר הנה האש והעצים ואיה השה לעלה · va-yomer hine ha-esh ve-ha-etzim ve-aye ha-se le-ola · the fire and the wood — but WHERE is the LAMB? (verse-final le-olah)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(avi_va_yomer_hineni_veni, t0) ∧ HOLDS(ve_ayeh_ha_seh_le_olah, t0) = HOLDS(avi-and-yomer-behold-I-veni, t0) ∧ HOLDS(and-ayeh-the-seh-to-burnt-offering, t0) FOUR SAY-TOKENS IN ONE VERSE — the chapter's tenderest exchange is nearly all speech-frames: said-said-said- said around two words each [census; prose]. HINENI #2 — the answer-word turns from God to the son: hineni VENI ('here I am, MY SON') [flag 8]. ISAAC'S ONLY SPEECH of the entire trial is one question; the question class pushes nothing (gen_31's law): AYEH ('where?') token 3 — the where-word's career: where is Sarah (18:9, the promise), where are the men (19:5, the violence), where is the lamb (the sacrifice) [census-exact]. SE ('lamb') TORAH DEBUT x2 (22:7/8) — the lamb-word is born in the son's question and answered in the father's next breath [census]. | אָבִי … הִנֶּנִּי בְנִי … וְאַיֵּה הַשֶּׂה לְעֹלָה · avi … hineni veni … ve-ayeh ha-seh le-olah = avi behold-I veni and-ayeh the-seh burnt-offering | — | tested |
STEP_Gn_22_8 · Gen.22.8 · THE_PROVIDE_ANSWER
וַיֹּאמֶר אַבְרָהָם אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי וַיֵּלְכוּ שְׁנֵיהֶם יַחְדָּו · va-yomer avraham elohim yireh-lo ha-seh le-olah beni va-yelkhu shneihem yachdav · [EN-AID/JPS] And Abraham said: 'God will provide Himself the lamb for a burnt-offering, my son.' So they went both of them together.
ויאמר אברהם אלהים יראה־לו השה לעלה בני · va-yomer avraham Elohim yire-l-o ha-se le-ola beni-y · God will SEE to the lamb, my son (etnachta on beni)
וילכו שניהם יחדו · va-yelkhu shene-hem yachdav · and the two walked TOGETHER (verse-final yachdav — the refrain twice)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(elohim_yireh_lo_ha_seh_le_olah_beni, t0) = HOLDS(God-yireh-not-the-seh-to-burnt-offering-beni, t0) THE PROVIDE-ANSWER: Elohim YIREH-lo ('God will SEE to' — the see-verb's future doing provision-work): the answer is prophecy-shaped fact, and its verb will name the place at 22:14 (yireh/yeraeh — the same root three more times) [census: raah tokens 47-51, five in-span]. The answer ends BENI ('my son') — the arm rests on the address, as 22:7's rested on veni: the two arms of the exchange both end in the son [tree fact]. THE TREE TWIN: 22:6 and 22:8 carry the IDENTICAL right arm — va-yelkhu shneihem yachdav: the letter rests twice on the same three words around the lamb-exchange [tree fact; census: yachdav token 4]. Onkelos: QODAM YYA GELEI leih imra ('before the LORD the lamb is REVEALED') — the reveal-family with kodam-distancing takes the provide-verb; the same family that opened Hagar's eyes (frozen gen_37's u-gela) now knows the lamb [flag 14, dual-track]. | אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי · elohim yireh-lo ha-seh le-olah beni = God yireh-not the-seh burnt-offering beni | — | tested |
STEP_Gn_22_9 · Gen.22.9 · THE_BINDING
וַיָּבֹאוּ אֶל־הַמָּקוֹם אֲשֶׁר אָמַר־לוֹ הָאֱלֹהִים וַיִּבֶן שָׁם אַבְרָהָם אֶת־הַמִּזְבֵּחַ וַיַּעֲרֹךְ אֶת־הָעֵצִים וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ מִמַּעַל לָעֵצִים · va-yavou el-ha-maqom asher amar-lo ha-elohim va-yiven sham avraham et-ha-mizbeach va-yaarokh et-ha-etzim va-yaaqod et-yitzchaq beno va-yasem oto al-ha-mizbeach mi-maal la-etzim · [EN-AID/JPS] And they came to the place which God had told him of; and Abraham built the altar there, and laid the wood in order, and bound Isaac his son, and laid him on the altar, upon the wood.
ויבאו אל־המקום אשר אמר־לו האלהים ויבן שם אברהם את־המזבח ויערך את־העצים · va-yavou el-ha-maqom asher amar-l-o ha-Elohim va-yiven sham avraham et-ha-mizbecha va-yaarokh et-ha-etzim · they came; he BUILT the altar, ARRANGED the wood (etnachta on ha-etzim)
ויעקד את־יצחק בנו וישם אתו על־המזבח ממעל לעצים · va-yaaqod et-yitzchaq ben-o va-yasem et-o al-ha-mizbecha mi-maal la-etzim · and BOUND Isaac his son and set him on the altar (verse-final la-etzim)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | bind(e3) ∧ Agent(e3, avraham) ∧ Theme(e3, yitzchaq) AQAD ('bind') — a TORAH HAPAX: the verb that names the whole event exists exactly once, here [census-exact]. MIZBEACH ('altar') tokens 7-8 BOTH in this verse — the altar-word doubles in the binding verse; frozen gen_20's career line LANDS, quoted: 'MIZBEACH (altar) tokens 1-2 of 198 both in-verse (career: Abram's altars, the binding's, the Tabernacle's)' — Noach's double-token verse and this one are the word's only doubled verses so far [LANDED; census]. HA-mizbeach — with the article: THE altar, on a mountain that never had one [prose; the chain's file named-only]. ARAKH ('arrange') token 2 — token 1 arranged nothing yet in Genesis but 14:8's battle-line: the arrange-verb's first two objects are war and wood [census]. The verse narrates FOUR deeds and not one is a demanded root — the compound holds through the binding itself [flag 3; prose]. | וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ · va-yaaqod et-yitzchaq beno va-yasem oto al-ha-mizbeach = and-yaaqod yitzchaq beno and-yasem it upon-the-altar | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(va_yaaqod_et_yitzchaq_va_yasem_al_ha_mizbeach, t0) = HOLDS(and-yaaqod-yitzchaq-and-yasem-upon-the-altar, t0) The binding-fact held for the gate: bound and set on the altar — the hapax's one firing recorded as standing state [prose]. | וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ · va-yaaqod et-yitzchaq beno va-yasem oto al-ha-mizbeach = and-yaaqod yitzchaq beno and-yasem it upon-the-altar | — | tested |
STEP_Gn_22_10 · Gen.22.10 · THE_HAND_AND_THE_KNIFE
וַיִּשְׁלַח אַבְרָהָם אֶת־יָדוֹ וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט אֶת־בְּנוֹ · va-yishlach avraham et-yado va-yiqach et-ha-maakhelet li-shechot et-beno · [EN-AID/JPS] And Abraham stretched forth his hand, and took the knife to slay his son.
וישלח אברהם את־ידו ויקח את־המאכלת · va-yishlach avraham et-yad-o va-yiqach et-ha-maakhelet · he SENT his hand and TOOK the knife (etnachta on ha-maakhelet)
לשחט את־בנו · li-shechot et-ben-o · TO SLAUGHTER HIS SON (the whole silluq arm is the purpose)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | reach_knife(e4) ∧ Agent(e4, avraham) ∧ Purpose(e4, shechitat_beno) = reach-knife(e4) ∧ Agent(e4, avraham) ∧ Purpose(e4, shechitat-beno) SHACHAT ('slaughter') — TORAH DEBUT, in the infinitive of purpose: the slaughter-verb is born in a father's reach and never fires as a finite deed here — its career runs to Joseph's goat and the PASSOVER lamb x2: the verb born over a bound son becomes the verb of the lamb that spares sons [census]. THE WHOLE SILLUQ ARM is the purpose-clause: li-shechot et-beno ('to slaughter his son') — the verse rests on the unfinished infinitive [tree fact]. VA-YISHLACH et-yado ('he SENT his hand') — the exact phrase the next verse's jussive will negate: al-TISHLACH yadkha — the letter builds the countermand from this verse's own words [prose]. MAAKHELET token 2 of 2 — the knife's Torah life ends mid-reach [census-exact]. | וַיִּשְׁלַח … אֶת־יָדוֹ וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט · va-yishlach … et-yado va-yiqach et-ha-maakhelet li-shechot = and-yishlach his-hand and-yiqach the-maakhelet to-me-shechot | TIR-014 | tested |
STEP_Gn_22_11 · Gen.22.11 · THE_FIRST_DOUBLED_NAME_CALL
וַיִּקְרָא אֵלָיו מַלְאַךְ יְהוָה מִן־הַשָּׁמַיִם וַיֹּאמֶר אַבְרָהָם אַבְרָהָם וַיֹּאמֶר הִנֵּנִי · va-yiqra elav malakh YHWH min-ha-shamayim va-yomer avraham avraham va-yomer hineni · [EN-AID/JPS] And the angel of the LORD called unto him out of heaven, and said: 'Abraham, Abraham.' And he said: 'Here am I.'
ויקרא אליו מלאך יהוה מן־השמים ויאמר אברהם אברהם · va-yiqra elay-v malakh YHWH min-ha-shamayim va-yomer avraham avraham · the angel of YHWH called from heaven: ABRAHAM, ABRAHAM (etnachta on the doubled name)
ויאמר הנני · va-yomer hineni-y · and he said: HERE I AM (the whole silluq arm is the answer)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {malakh_YHWH} = WORLD += {malakh-the-LORD} MALAKH ('angel') TOKEN 8 — frozen gen_37's census line LANDS, quoted: 'tokens 8-9 = 22:11/22:15 — BOTH Aqedah sky-calls, next unit' [LANDED]: the angel-class's second heaven-call, and the first under the YHWH-name since Hagar's spring — the name-texture turns at exactly this verse: every divine token from here to the oath is YHWH [flag 15; census]. Installed as the unit's sky-caller (the issuer of the countermand) [flag 16]. | מַלְאַךְ יְהוָה מִן־הַשָּׁמַיִם · malakh YHWH min-ha-shamayim = malakh the-LORD from-the-heavens | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(avraham_avraham_va_yomer_hineni, t0) = HOLDS(avraham-avraham-and-yomer-behold-I, t0) THE TORAH'S FIRST DOUBLED-NAME CALL [flag 8, hunted]: avraham avraham — the earlier adjacent doublings (6:9, 11:10, 11:27, 25:19) are toledot-frame repetitions across clause boundaries, not vocatives; the call- class runs 22:11 -> 46:2 (yaaqov yaaqov) -> Exod 3:4 (moshe moshe): the doubled call is born stopping a knife [census-exact]. HINENI #3 — the answer-word's third addressee: God, the son, the angel; the whole silluq arm is the one word [flag 8; tree fact]. | אַבְרָהָם אַבְרָהָם … הִנֵּנִי · avraham avraham … hineni = avraham avraham behold-I | — | tested |
STEP_Gn_22_12 · Gen.22.12 · THE_COUNTERMAND_AND_THE_CONFERRED_TITLE
וַיֹּאמֶר אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר וְאַל־תַּעַשׂ לוֹ מְאוּמָה כִּי עַתָּה יָדַעְתִּי כִּי־יְרֵא אֱלֹהִים אַתָּה וְלֹא חָשַׂכְתָּ אֶת־בִּנְךָ אֶת־יְחִידְךָ מִמֶּנִּי · va-yomer al-tishlach yadkha el-ha-naar ve-al-taas lo meumah ki atah yadati ki-yere elohim atah ve-lo chasakhta et-binkha et-yechidkha mimeni · [EN-AID/JPS] And he said: 'Lay not thy hand upon the lad, neither do thou any thing unto him; for now I know that thou art a God-fearing man, seeing thou hast not withheld thy son, thine only son, from Me.'
ויאמר אל־תשלח ידך אל־הנער ואל־תעש לו מאומה · va-yomer el-tishlach yad-kha el-ha-naar ve-el-taas l-o meuma · SEND NOT your hand — DO NOTHING to him (etnachta on meumah)
כי עתה ידעתי כי־ירא אלהים אתה ולא חשכת את־בנך את־יחידך ממני · ki ata yadati ki-yere Elohim ata ve-lo chasakhta et-bin-kha et-yechid-kha mime-ni · NOW I know you FEAR God — you did not WITHHOLD your only son from Me (verse-final mimeni)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(malakh_YHWH, LET-NOT(tishlach(yadkha_el_ha_naar))) = DECLARE(malakh-the-LORD, LET-NOT(tishlach(yadkha-to-the-naar))) THE ROSTER'S FIRST DIRECT COUNTERMAND [flag 2, second prong]: al + jussive negating the very deed the open demand requires — and the letter builds it from 22:10's own words (va-yishlach et-yado -> al-TISHLACH yadkha). Pushed as LET-NOT on frozen gen_35's 19:17 two-push shape [flag 4], stands OPEN forever (S10 contract). NO CANCEL OPERATOR EXISTS and none is invented: from this verse the queue holds the offer-up demand AND its countermand together — the collision IS the encoding; the machine does not adjudicate [flag 2; the owner does]. Note the fence: the LET-NOTs forbid harm to THE BOY — the ram-offering at 22:13 breaches neither (no violated-prohibition event fires). | אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר · al-tishlach yadkha el-ha-naar = upon-tishlach yadkha to-the-naar | TIR-034 | tested |
| DECLARE | DECLARE(malakh_YHWH, LET-NOT(taas(lo_meumah))) = DECLARE(malakh-the-LORD, LET-NOT(taas(not-meumah))) The second push [flag 4 — gen_35's frozen shape, quoted: two separate LET-NOT demands for one al-pair]: MEUMA ('anything') — Torah debut: the nothing-word is born in the widest prohibition the corpus has seen — do not do to him ANY thing [census]. The etnachta rests on it [tree fact]. | וְאַל־תַּעַשׂ לוֹ מְאוּמָה · ve-al-taas lo meumah = and-upon-taas not meumah | TIR-034 | tested |
| PRECONDITION_STATE | HOLDS(atah_yadati_ki_yere_elohim_atah, t0) ∧ HOLDS(ve_lo_chasakhta_et_binkha_et_yechidkha, t0) = HOLDS(you-yadati-when-yere-God-you, t0) ∧ HOLDS(and-not-chasakhta-binkha-yechidkha, t0) THE CONFERRED TITLE: YERE ELOHIM ('God-FEARING') — the adjective's TORAH DEBUT: frozen gen_36's line LANDS as its answer — 20:11's ein-YIRAT-elohim was Abraham's wrong GUESS about Gerar ('no fear of God in this place'); the quality he guessed absent is now CONFERRED on him from heaven, in the adjective [LANDED-class; census: token 2 = 32:12's Jacob... verified 1/6]. ATAH YADATI ('NOW I know') — the trial's stated yield is knowledge, spoken in the divine first person through the angel's mouth (frozen gen_32's slide-class) [prose]. LO CHASAKHTA ('you did not WITHHOLD') — chasakh token 2: frozen gen_36's withhold-arc LANDS, quoted: 'its four Torah tokens run to the AQEDAH's crown (22:12/16's lo chasakhta)' — God withheld a king from sin; the father withholds nothing [LANDED]. Onkelos: LO MENATA ('you did not deny'); the countermand pair rendered plain [dual-track]. | כִּי עַתָּה יָדַעְתִּי כִּי־יְרֵא אֱלֹהִים אַתָּה וְלֹא חָשַׂכְתָּ · ki atah yadati ki-yere elohim atah ve-lo chasakhta = when you yadati when-yere God you and-not chasakhta | — | tested |
STEP_Gn_22_13 · Gen.22.13 · THE_RAM_AND_THE_CROWN_FORK
וַיִּשָּׂא אַבְרָהָם אֶת־עֵינָיו וַיַּרְא וְהִנֵּה־אַיִל אַחַר נֶאֱחַז בַּסְּבַךְ בְּקַרְנָיו וַיֵּלֶךְ אַבְרָהָם וַיִּקַּח אֶת־הָאַיִל וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ · va-yisa avraham et-einav va-yar ve-hinneh-ayil achar neechaz ba-sevakh be-qarnav va-yelekh avraham va-yiqach et-ha-ayil va-yaalehu le-olah tachat beno · [EN-AID/JPS] And Abraham lifted up his eyes, and looked, and behold behind him a ram caught in the thicket by his horns. And Abraham went and took the ram, and offered him up for a burnt-offering in the stead of his son.
וישא אברהם את־עיניו וירא והנה־איל אחר נאחז בסבך בקרניו · va-yisa avraham et-enay-v va-yar ve-hine-ayil achar neechaz ba-sevakh be-qarnay-v · he lifted his eyes: a RAM, CAUGHT in the thicket by its horns (etnachta on be-qarnav)
וילך אברהם ויקח את־האיל ויעלהו לעלה תחת בנו · va-yelekh avraham va-yiqach et-ha-ayil va-yaale-hu le-ola tachat ben-o · he WENT and TOOK the ram and OFFERED IT UP — IN PLACE OF HIS SON (verse-final beno)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | see_ram(e5) ∧ Agent(e5, avraham) = see-ram(e5) ∧ Agent(e5, avraham) AYIL ('ram') tokens 2-3 — TOKEN 1 IS 15:9, inside frozen gen_31's cycle-#8 demand string ('LET(qechah (avram, eglah_ez_AYIL_tor_ve_gozal))', quoted): the ram-word's first two appearances are both Abraham's offerings — the pieces and the substitute [LANDED; census]. ACHAZ ('caught') debut + SEVAKH ('thicket') hapax + QEREN ('horn') debut — the seizure-vocabulary is born holding the substitute in place [census]. The ram is held as event-participant, not a WORLD entity [flag 13; alternative named]. NASA token 13 — the second eye-lift: the first saw THE PLACE, this one sees THE RAM [census; prose]. | וְהִנֵּה־אַיִל אַחַר נֶאֱחַז בַּסְּבַךְ בְּקַרְנָיו · ve-hinneh-ayil achar neechaz ba-sevakh be-qarnav = and-behold-ayil achar neechaz in-the-sevakh in-qarnav | TIR-014 | tested |
| EVENT | offer_substitute(e6) ∧ Agent(e6, avraham) ∧ Theme(e6, ha_ayil) ∧ Instead(e6, yitzchaq) = offer-substitute(e6) ∧ Agent(e6, avraham) ∧ Theme(e6, the-ayil) ∧ Instead(e6, yitzchaq) THE CROWN FORK'S VERSE [flag 2 — NO RESULT FIRES; the base encoding]: ALL THREE demanded roots return in sequence, in the demand's own order, as foreground deeds by the demandee — va-yeLEKH (go), va-yiQACH (take), va-yaALEHU (offer up: root and stem, alah hiphil, the same object-suffix -hu) — and the object is the RAM, marked by the letter's own substitution- word: TACHAT BENO ('in place of his son'). The machine withholds the pop: the RESULT contract matches exact demand-strings, the demand named the son, and no frozen precedent pops on a switched object [grounds in flag 2]. THE LETTER'S RESERVATION [side A's strongest card, stated here for the owner]: across 22:3-10 Abraham performs eleven deeds and NEVER the demanded alah — the demanded verb fires exactly ONCE in the span, in this verse, on the substitute: the letter saved the word for the ram. OLAH token 7 closes the six-token in-span run [census]. Onkelos: CHALAF beno ('in EXCHANGE for his son') — and 22:16's reward comes CHALAF DI ('in exchange for that') you did: substitute and recompense in one exchange-word — the buffer's own comment on this fork [flag 14c, dual-track]. | וַיֵּלֶךְ אַבְרָהָם וַיִּקַּח אֶת־הָאַיִל וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ · va-yelekh avraham va-yiqach et-ha-ayil va-yaalehu le-olah tachat beno = and-yelekh avraham and-yiqach the-ayil and-yaalehu burnt-offering tachat beno | TIR-014 | tested |
| PRECONDITION_STATE | HOLDS(ayil_neechaz_ba_sevakh_be_qarnav, t0) ∧ HOLDS(va_yaalehu_le_olah_tachat_beno, t0) = HOLDS(ayil-neechaz-in-the-sevakh-in-qarnav, t0) ∧ HOLDS(and-yaalehu-to-burnt-offering-tachat-beno, t0) The fork's two facts held for the gate: the ram caught, the substitute offered IN PLACE OF his son — the letter's tachat recorded as standing state beside the demand it may or may not pay [flag 2]. | אַיִל … נֶאֱחַז בַּסְּבַךְ … וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ · ayil … neechaz ba-sevakh … va-yaalehu le-olah tachat beno = ayil neechaz in-the-sevakh and-yaalehu burnt-offering tachat beno | — | tested |
STEP_Gn_22_14 · Gen.22.14 · THE_SENTENCE_NAME_AND_THE_SAYING
וַיִּקְרָא אַבְרָהָם שֵׁם־הַמָּקוֹם הַהוּא יְהוָה יִרְאֶה אֲשֶׁר יֵאָמֵר הַיּוֹם בְּהַר יְהוָה יֵרָאֶה · va-yiqra avraham shem-ha-maqom ha-hu YHWH yireh asher yeamer ha-yom be-har YHWH yeraeh · [EN-AID/JPS] And Abraham called the name of that place Adonai-jireh; as it is said to this day: 'In the mount where the LORD is seen.'
ויקרא אברהם שם־המקום ההוא יהוה יראה · va-yiqra avraham shem-ha-maqom ha-hu YHWH yire · he CALLED the place's name: YHWH-YIREH ('YHWH will see' — etnachta on yireh)
אשר יאמר היום בהר יהוה יראה · asher yeamer ha-yom be-har YHWH yerae · as it is SAID today: on YHWH's mount it is SEEN (verse-final yeraeh)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NAME | name(ha_maqom) := YHWH_Yireh = name(the-maqom) := the-LORD-Yireh THE NAMING-GRAMMAR HYBRID [flag 7, alternative staged]: a FULL formula on a PLACE — namer, name-word, object, name — fires the registry's one write (gen_12/13's class); the name is a SENTENCE (YHWH yireh 'YHWH will see' — Abraham's own 22:8 answer promoted to toponym), on gen_32's ratified sentence-name precedent (El_Roi). THE FENCE: the named entity is THE PLACE — the open NAME-on-YHWH triage is one word away and NOT touched. The report-only alternative (no write) is staged for the owner. Onkelos [flag 14a — the era's boldest recomposition]: the verse dissolves into worship — 'Abraham WORSHIPPED AND PRAYED there (u-felach VE-TZALI)... here shall the generations worship... on this mountain Abraham worshipped BEFORE THE LORD' — NO name given: the buffer's delta on this very op, recorded, never merged; the tzali prayer-family fires its third consecutive unit. | וַיִּקְרָא אַבְרָהָם שֵׁם־הַמָּקוֹם הַהוּא יְהוָה יִרְאֶה · va-yiqra avraham shem-ha-maqom ha-hu YHWH yireh = and-yiqra avraham shem-the-maqom the-that the-LORD yireh | — | tested |
| PATTERN | PATTERN(asher_yeamer_ha_yom_be_har_YHWH_yeraeh) = PATTERN(which-yeamer-the-day-in-har-the-LORD-yeraeh) THE SAYING-CLAUSE [flag 7]: asher YEAMER ha-yom ('as it is SAID to this day') — the proverb-PATTERN (gen_25's saying-genre), its first token WITHOUT the al-ken particle [flagged variant]: the letter attaches a standing proverb to the fresh name, active turned passive — YIREH ('He will see') / YERAEH ('He is seen') hold the verse's two rests: one verb, two voices, two arms [tree fact; census: raah tokens 50-51]. | אֲשֶׁר יֵאָמֵר הַיּוֹם בְּהַר יְהוָה יֵרָאֶה · asher yeamer ha-yom be-har YHWH yeraeh = which yeamer day in-har the-LORD yeraeh | — | tested |
STEP_Gn_22_15 · Gen.22.15 · THE_SECOND_SKY_CALL
וַיִּקְרָא מַלְאַךְ יְהוָה אֶל־אַבְרָהָם שֵׁנִית מִן־הַשָּׁמָיִם · va-yiqra malakh YHWH el-avraham shenit min-ha-shamayim · [EN-AID/JPS] And the angel of the LORD called unto Abraham a second time out of heaven,
ויקרא מלאך יהוה אל־אברהם · va-yiqra malakh YHWH el-avraham · the angel of YHWH called to Abraham (etnachta on avraham)
שנית מן־השמים · shenit min-ha-shamayim · a SECOND time from the heavens (verse-final ha-shamayim)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | sky_call(e7) ∧ Agent(e7, malakh_YHWH) ∧ Goal(e7, avraham) = sky-call(e7) ∧ Agent(e7, malakh-the-LORD) ∧ Goal(e7, avraham) MALAKH TOKEN 9 — frozen gen_37's census line completes its landing: the angel-class's three heaven-calls are tokens 7-8-9 (Hagar's rescue, the knife-stay, this) — all three interrupt or seal a dying-son scene [LANDED x2 complete; census]. SHENIT ('a second time') — the letter counts its own calls: the first stayed the hand, the second pays the trial [prose]. The say-verb waits for the next verse: this verse is all address [prose]. | וַיִּקְרָא … שֵׁנִית מִן־הַשָּׁמָיִם · va-yiqra … shenit min-ha-shamayim = and-yiqra second-time from-the-heavens | TIR-014 | tested |
STEP_Gn_22_16 · Gen.22.16 · THE_DIVINE_SELF_OATH
וַיֹּאמֶר בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה כִּי יַעַן אֲשֶׁר עָשִׂיתָ אֶת־הַדָּבָר הַזֶּה וְלֹא חָשַׂכְתָּ אֶת־בִּנְךָ אֶת־יְחִידֶךָ · va-yomer bi nishbati neum-YHWH ki yaan asher asita et-ha-davar ha-zeh ve-lo chasakhta et-binkha et-yechidekha · [EN-AID/JPS] and said: 'By Myself have I sworn, saith the LORD, because thou hast done this thing, and hast not withheld thy son, thine only son,
ויאמר בי נשבעתי נאם־יהוה · va-yomer bi-y nishbati neum-YHWH · BY MYSELF I have SWORN — oracle of YHWH (etnachta on neum-YHWH)
כי יען אשר עשית את־הדבר הזה ולא חשכת את־בנך את־יחידך · ki yaan asher asita et-ha-davar ha-ze ve-lo chasakhta et-bin-kha et-yechide-kha · because you have DONE this thing and not WITHHELD your only son (verse-final yechidekha)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(bi_nishbati_neum_YHWH, t0) ∧ HOLDS(yaan_asher_asita_ve_lo_chasakhta, t0) = HOLDS(bi-nishbati-neum-the-LORD, t0) ∧ HOLDS(yaan-which-asita-and-not-chasakhta, t0) THE SWEAR-VERB'S DIVINE TURN: SHAVA TOKEN 4 — frozen gen_37's watch LANDS, quoted: 'Token 4 is 22:16 — GOD swearing BY HIMSELF at the Aqedah: the swear-verb's divine turn, one unit ahead [watch]' — the verb whose whole debut field was the human well-pact (tokens 1-3) crosses to the divine mouth, BY HIMSELF, one chapter later [LANDED]. NEUM ('oracle') — TORAH DEBUT: the prophetic formula neum-YHWH is born inside the Torah's first divine self-oath, and the etnachta rests on it [census; tree fact]. THE RECEIPT-SPEECH [flag 2, side A's card]: yaan asher ASITA et-ha-davar ha-zeh ('because you have DONE this thing') — God's own declaration that the thing was done, while the machine's queue still holds the demand open: the letter's receipt and the machine's are not the same receipt — the fork's sharpest sentence, held as fact [flag 2]. LO CHASAKHTA doubled — chasakh token 3: the withhold-arc's second in-span token (frozen gen_36's line) [LANDED; census]. YACHID token 3 of 3 — the only-word's last Torah token [census-exact]. Onkelos: BE-MEMRI QAYEMIT ('by MY WORD I have sworn') — the Memra-oath: frozen gen_37's qayem-family (the human oath taken BY the Memra at 21:23) now carries the divine one [flag 14b, dual-track]. | בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה … יַעַן אֲשֶׁר עָשִׂיתָ · bi nishbati neum-YHWH … yaan asher asita = bi nishbati neum-the-LORD yaan which asita | — | tested |
STEP_Gn_22_17 · Gen.22.17 · THE_DOUBLED_BLESSINGS
כִּי־בָרֵךְ אֲבָרֶכְךָ וְהַרְבָּה אַרְבֶּה אֶת־זַרְעֲךָ כְּכוֹכְבֵי הַשָּׁמַיִם וְכַחוֹל אֲשֶׁר עַל־שְׂפַת הַיָּם וְיִרַשׁ זַרְעֲךָ אֵת שַׁעַר אֹיְבָיו · ki-varekh avarekhkha ve-harbah arbeh et-zarakha ke-khokhvei ha-shamayim ve-kha-chol asher al-sefat ha-yam ve-yirash zarakha et shaar oyvav · [EN-AID/JPS] that in blessing I will bless thee, and in multiplying I will multiply thy seed as the stars of the heaven, and as the sand which is upon the seashore; and thy seed shall possess the gate of his enemies;
כי־ברך אברכך והרבה ארבה את־זרעך ככוכבי השמים וכחול אשר על־שפת הים · ki-varekh avarekh-kha ve-harba arbe et-zara-kha ke-khokhve ha-shamayim ve-kha-chol asher al-sefat ha-yam · BLESSING I will BLESS, MULTIPLYING I will MULTIPLY — stars and sand (etnachta on ha-yam)
וירש זרעך את שער איביו · ve-yirash zara-kha et shaar oyvay-v · your seed shall POSSESS the GATE of his enemies (verse-final oyvav)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(varekh_avarekhkha_ve_harbah_arbeh, t0) ∧ HOLDS(ke_khokhvei_ve_kha_chol_ve_yirash_shaar_oyvav, t0) = HOLDS(varekh-avarekhkha-and-greatly-I-will-multiply, t0) ∧ HOLDS(like-khokhvei-and-kha-chol-and-yirash-shaar-oyvav, t0) TWO INFINITIVE-ABSOLUTE DOUBLINGS IN ONE BREATH — blessing-I-will-bless, multiplying-I-will-multiply: the emphatic class of mot-tamut and shov-ashuv, held as promise-FACTS (gen_27's rule; nothing demanded) [morph: Vpa+Vpi, Vha+Vhi]. KOKHAV ('star') token 3 — the count-promise re-cited under oath (1:16 creation, 15:5 the counting, 22:17 the swearing — frozen gen_31's star-command behind the wall) [census]; CHOL ('sand') debut — the second measure joins [census]; SHAAR ('gate') token 2 — token 1 was Lot IN Sodom's gate (19:1): the gate-word moves from the doomed city's seat to the enemies' possession; token 3 waits at 23:10, the purchase [census; watch]. OYEV ('enemy') debut — the enemy-word born inside a blessing [census]. Onkelos: QIRVEI sanaeihon ('the CITIES of their enemies') — the metonym generalized [flag 14d, dual-track]. | בָרֵךְ אֲבָרֶכְךָ וְהַרְבָּה אַרְבֶּה … כְּכוֹכְבֵי … וְכַחוֹל · varekh avarekhkha ve-harbah arbeh … ke-khokhvei … ve-kha-chol = varekh avarekhkha greatly I-will-multiply like-khokhvei and-kha-chol | — | tested |
STEP_Gn_22_18 · Gen.22.18 · THE_LISTENED_VOICE_GROUND
וְהִתְבָּרְכוּ בְזַרְעֲךָ כֹּל גּוֹיֵי הָאָרֶץ עֵקֶב אֲשֶׁר שָׁמַעְתָּ בְּקֹלִי · ve-hitbarakhu ve-zarakha kol goyei ha-aretz ekev asher shamata be-qoli · [EN-AID/JPS] and in thy seed shall all the nations of the earth be blessed; because thou hast hearkened to My voice.'
והתברכו בזרעך כל גויי הארץ · ve-hitbarakhu ve-zara-kha kol goye ha-aretz · all nations SHALL BLESS THEMSELVES in your seed (etnachta on ha-aretz)
עקב אשר שמעת בקלי · eqev asher shamata be-qoli-y · BECAUSE you LISTENED to MY VOICE (verse-final be-qoli)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ve_hitbarakhu_ve_zarakha_kol_goyei_ha_aretz, t0) ∧ HOLDS(ekev_asher_shamata_be_qoli, t0) = HOLDS(and-hitbarakhu-and-zarakha-all-goyei-the-earth, t0) ∧ HOLDS(ekev-which-shamata-in-qoli, t0) VE-HITBARAKHU — the bless-verb in HITPAEL where the call's venivrekhu (12:3, frozen gen_27's span) ran NIPHAL: the all-nations blessing returns with its stem shifted reflexive — the letter's own two-stem pair across the two lekh-lekha commands [morph; cross-unit prose, nothing crosses]. THE VOICE-LADDER'S ELEVENTH RUNG: QOL token 11 — be-QOLI ('MY voice'): after the garden Voice, the indictment's listened-voice (3:17), the blood, Lemekh, Sarai's voice, Sarah's voice COMMANDED (frozen gen_37's 21:12), Hagar's lifted voice, and the lad's heard voice x2 — the eleventh token is GOD'S OWN, credited to Abraham's ear: the idiom that indicted Adam and commanded Sarah's hearing now grounds the oath [census-exact; cross-unit prose]. EQEV + YAAN — the because-words both debut in this one oath [census]. Onkelos: QABELTA LE-MEMRI ('you ACCEPTED My WORD') — frozen gen_37's qabel-family (21:12's qabel minah) crossed with the Memra: the voice becomes the Word received [flag 14b, dual-track]. | וְהִתְבָּרְכוּ … עֵקֶב אֲשֶׁר שָׁמַעְתָּ בְּקֹלִי · ve-hitbarakhu … ekev asher shamata be-qoli = and-hitbarakhu ekev which shamata in-qoli | — | tested |
STEP_Gn_22_19 · Gen.22.19 · THE_RETURN_AND_THE_DWELL
וַיָּשָׁב אַבְרָהָם אֶל־נְעָרָיו וַיָּקֻמוּ וַיֵּלְכוּ יַחְדָּו אֶל־בְּאֵר שָׁבַע וַיֵּשֶׁב אַבְרָהָם בִּבְאֵר שָׁבַע · va-yashav avraham el-nearav va-yaqumu va-yelkhu yachdav el-beer shava va-yeshev avraham bi-veer shava · [EN-AID/JPS] So Abraham returned unto his young men, and they rose up and went together to Beer-sheba; and Abraham dwelt at Beer-sheba.
וישב אברהם אל־נעריו ויקמו וילכו יחדו אל־באר שבע · va-yashav avraham el-nearay-v va-yaqumu va-yelkhu yachdav el-beer shava · Abraham RETURNED to his lads; they ROSE and walked TOGETHER to Beer-sheva (etnachta on shava)
וישב אברהם בבאר שבע · va-yeshev avraham bi-veer shava · and Abraham DWELT at Beer-sheva (verse-final shava)
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | return_dwell(e8) ∧ Agent(e8, avraham) ∧ Goal(e8, beer_sheva) = return-dwell(e8) ∧ Agent(e8, avraham) ∧ Goal(e8, beer-seven) THE STAY-DEMAND'S NON-RECEIPT [flag 5]: the lads were told SIT; the letter narrates them RISING and WALKING (va-yaqumu va-yelkhu) — the demanded root never returns on the demandees; the demand's until-clause expires here and the word stays unpaid (gen_37's other-verb class) [prose; the queue holds]. YACHDAV token 5 — the third and last together of the span: the father and the LADS walk together where the father and the son walked twice; the letter counts who returns together, and the count is the chain's oldest question [census; the where-is-Isaac file named-only]. VA-YESHEV avraham bi-veer shava ('and Abraham DWELT at Beer-sheva') — the dwell-verb at the sworn well: frozen gen_36's dwell-grant (shev, OPEN behind two walls) meets its root in narrative at last — and NOTHING pops across a frozen wall (standing law): the letter-fact is named exactly as frozen gen_37's 21:34 step named its sojourn [cross-unit prose; nothing crosses]. | וַיָּשָׁב … וַיָּקֻמוּ וַיֵּלְכוּ יַחְדָּו … וַיֵּשֶׁב · va-yashav … va-yaqumu va-yelkhu yachdav … va-yeshev = and-yashav and-yaqumu and-yelkhu yachdav and-yeshev | TIR-014 | tested |
| NOTE_PRESUPPOSED | beer_sheva are READ without prior install (minted by frozen gen_37's report-naming, read as known geography) = beer-seven are READ without prior install (minted by frozen gen-37's report-naming, read as known geography) The name frozen gen_37's PATTERN minted (21:31, registry silent) is read here as known geography — the standalone convention's cleanest case: a name minted by a frozen unit, presupposed by its successor [flag 16; gen_36's gerar-basis class]. The verse carries the name TWICE — both arms end on shava [tree fact]. | אֶל־בְּאֵר שָׁבַע … בִּבְאֵר שָׁבַע · el-beer shava … bi-veer shava = to-beer shava bi-veer shava | TIR-026 | tested |
STEP_Gn_22_20_24 · Gen.22.20-24 · THE_CODA_REPORT_THE_BRIDE_MINTED
וַיְהִי אַחֲרֵי הַדְּבָרִים הָאֵלֶּה וַיֻּגַּד לְאַבְרָהָם לֵאמֹר הִנֵּה יָלְדָה מִלְכָּה גַם־הִוא בָּנִים לְנָחוֹר אָחִיךָ … וּבְתוּאֵל יָלַד אֶת־רִבְקָה … וּפִילַגְשׁוֹ וּשְׁמָהּ רְאוּמָה וַתֵּלֶד גַּם־הִוא · va-yehi acharei ha-devarim ha-eleh va-yugad le-avraham lemor hinneh yaldah milkah gam-hi vanim le-nachor achikha … u-vetuel yalad et-rivqah … u-filagsho u-shemah reumah va-teled gam-hi · [EN-AID/JPS] And it came to pass after these things, that it was told Abraham, saying: 'Behold, Milcah, she also hath borne children unto thy brother Nahor: Uz his first-born, and Buz his brother, and Kemuel the father of Aram; and Chesed, and Hazo, and Pildash, and Jidlaph, and Bethuel.' And Bethuel begot Rebekah; these eight Milcah bore to Nahor, Abraham's brother. And his concubine, whose name was Reumah, she also bore Tebah, and Gaham, and Tahash, and Maacah.
ויהי אחרי הדברים האלה ויגד לאברהם לאמר · va-yehi achare ha-devarim ha-ele va-yugad le-avraham le-mor · 22:20 arms: after these things it was TOLD to Abraham (etnachta on le-mor); the news of Milkah's sons
ובתואל ילד את־רבקה … ופילגשו ושמה ראומה ותלד גם־הוא · u-vetuel yalad et-rivqa … u-filagsh-o u-shema-ה reuma va-teled gam-hiv · 22:23's etnachta rests on rivqah — the bride's first token is an arm-end; 22:24 the concubine's four
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yugad_le_avraham_hinneh_yaldah_milkah_gam_hi, t0) ∧ HOLDS(u_vetuel_yalad_et_rivqah, t0) = HOLDS(and-yugad-to-avraham-behold-yaldah-milkah-also-hi, t0) ∧ HOLDS(and-vetuel-yalad-rivqah, t0) THE CODA IS REPORT-CONTENT [flag 12 — no installs, registry silent]: the whole roster sits inside VA-YUGAD ('it was TOLD') — the tell-verb's FIRST PASSIVE (hophal), and nagad tokens 5-6 are adjacent: 21:26's denial (lo-higadta 'you did NOT tell') and this news [census]. The frame-clause of 22:1 re-runs (achar ha-devarim — davar tokens 17/19 bracket the unit): the letter files the trial and the pedigree under one formula [prose]. GAM-HI ('she TOO has borne') — the letter pairs Nachor's house with Abraham's news: eight sons of Milkah answering the one son of Sarah [prose]. RIVQAH — TOKEN 1 of 30: the next matriarch is MINTED inside a genealogy report, eight verses after the knife (token 2 = 24:15, at the well with a pitcher); 22:23's etnachta rests on her name [census; tree fact]. U-shemah reumah is a shem-notice, not a naming formula — no write [flag 12]. | וַיֻּגַּד לְאַבְרָהָם … הִנֵּה יָלְדָה מִלְכָּה גַם־הִוא … וּבְתוּאֵל יָלַד אֶת־רִבְקָה · va-yugad le-avraham … hinneh yaldah milkah gam-hi … u-vetuel yalad et-rivqah = and-yugad to-avraham behold yaldah milkah also-hi and-vetuel yalad rivqah | — | tested |
| PRECONDITION_STATE | HOLDS(shmonah_ele_yaldah_milkah_u_filagsho_reumah_arbaah, t0) = HOLDS(shmonah-ele-yaldah-milkah-and-filagsho-reumah-four, t0) THE TWELVE OF NACHOR: eight of Milkah + four of Reumah — the letter counts the uncle's sons to twelve exactly where the expelled son's twelve princes stand promised behind the walls (17:20's frozen decree; 25:13-16 ahead): two twelves flank the one bound son [census; cross-unit prose, nothing crosses]. SHMONAH ('eight') tokens 10-11 adjacent: the eighth-day circumcision (21:4, frozen gen_37's span) and Milkah's eight [census]. PILEGESH ('concubine') TORAH DEBUT (career: Keturah's line, Bilhah, Timna) [census]. TEN NAME- HAPAXES ride the coda (Buz, Kesed, Chazo, Pildash, Yidlaf, Tevach, Gacham, Tachash, Maakhah, Reumah — 1/1 each); UTZ is one skeleton, THREE men (10:23 Shem's line, here Nachor's firstborn, 36:28 the Horite — the same-lemma-multiple-men class); QEMUEL 1/2; BEKHOR ('firstborn') token 2 — tokens 1-2 are both NON-line genealogies (Canaan's Sidon, Nachor's Utz); ARAM token 3 — named as Qemuel's son where 10:22 listed him as Shem's: the letter's two Arams, the chain's file [census; named-only]. Onkelos: VE-ITCHAVA ('it was SHOWN') — the reveal-family on the news; pilegesh -> LECHENATA [flag 14, dual-track]. | שְׁמֹנָה אֵלֶּה יָלְדָה מִלְכָּה … וּפִילַגְשׁוֹ … וַתֵּלֶד גַּם־הִוא · shmonah eleh yaldah milkah … u-filagsho … va-teled gam-hi = shmonah these yaldah milkah and-filagsho and-teled also-hi | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 22:1 — all registers empty (standalone unit; the sworn well behind the frame) |
| S_tested | After 22:1 — nisa's debut into an empty instrument field (the machine irony); the first human hineni |
| S_commanded | After 22:2 — THE CROWN: the compound triple's fourth token pushed (God's own; lekh-lekha's second and last Torah token; the love-debut; yachid's lexeme opens) |
| S_departed | After 22:3-4 — yitzchaq + shnei_nearav installed; the fifth dawn-rise; TWO demanded roots return (partials never pop); the third-day sighting |
| S_stayed | After 22:5 — LET(shevu) pushed on the lads (open forever); the exclusive-we trio held as fact |
| S_walking | After 22:6-8 — the load split by danger; the where-is-the-lamb question (fact); the provide-answer; the together-refrain twice |
| S_bound | After 22:9-10 — the aqad hapax fires; the altar-word doubles; the knife taken li-shechot — the queue unmoved through the binding itself |
| S_stayed_hand | After 22:11-12 — malakh_YHWH installed (sky-call token 8); the first doubled-name call; TWO LET-NOTs pushed against the live demand (THE COLLISION on the queue); yere-elohim conferred; chasakh token 2 lands |
| S_substituted | After 22:13 — THE FORK'S VERSE: all three demanded roots return on the RAM, tachat beno; NO RESULT fires (base encoding; side A staged); the demand stays open |
| S_named | After 22:14 — the registry's one write (NAME ha_maqom := YHWH_Yireh) + the saying-PATTERN; yireh/yeraeh hold the two rests |
| S_sworn | After 22:15-18 — sky-call token 9; the divine self-oath (shava token 4 lands; neum debuts); the doubled blessings; the listened-voice ground (qol token 11) |
| S_returned | After 22:19 — the return without the son named; the lads rise (the stay-demand stays open); Abraham DWELLS at Beer-sheva (the frozen grant's root, across two walls — nothing pops); beer_sheva read |
| S_reported | After 22:20-24 — the coda report (va-yugad, the first passive tell); Nachor's twelve; RIVQAH minted; ten name-hapaxes; registry silent |
| from | to | via |
|---|---|---|
| S_boot | S_tested | STEP_Gn_22_1 |
| S_tested | S_commanded | STEP_Gn_22_2 |
| S_commanded | S_departed | STEP_Gn_22_3 |
| S_departed | S_stayed | STEP_Gn_22_5 |
| S_stayed | S_walking | STEP_Gn_22_6 |
| S_walking | S_bound | STEP_Gn_22_9 |
| S_bound | S_stayed_hand | STEP_Gn_22_11 |
| S_stayed_hand | S_substituted | STEP_Gn_22_13 |
| S_substituted | S_named | STEP_Gn_22_14 |
| S_named | S_sworn | STEP_Gn_22_15 |
| S_sworn | S_returned | STEP_Gn_22_19 |
| S_returned | S_reported | STEP_Gn_22_20_24 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The test into an empty field: after STEP_Gn_22_1 | All registers empty (standalone unit; the sworn well behind the frame). (nisa debuts where no machine TEST can fire — flag 10; the first human hineni — flag 8.) | Facts achar-ha-devarim / ve-ha-elohim-nisah / va-yomer-hineni HOLD; no test, no name. = Facts achar-the-devarim / and-the-God-nisah / and-yomer-behold-I HOLD; no test, no name. | וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם … הִנֵּנִי · ve-ha-elohim nisah et-avraham … hineni = God nisah avraham behold-I |
| S2 | The crown command: after STEP_Gn_22_2 | S1 state. (The compound triple's fourth token — God's own, one demand; lekh-lekha's second and last Torah token, frozen gen_27's line landed; the love-debut; moriah as speech-content — flags 2, 11.) | LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; Facts yechidkha-asher-ahavta / asher-omar-elekha HOLD; no test, no name. = LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; Facts yechidkha-which-ahavta / which-omar-to-you HOLD; no test, no name. | קַח־נָא אֶת־בִּנְךָ אֶת־יְחִידְךָ … וְלֶךְ־לְךָ … וְהַעֲלֵהוּ · qach-na et-binkha et-yechidkha … ve-lekh-lekha … ve-haalehu = qach-na binkha yechidkha and-lekh-to-you and-haalehu |
| S3 | The dawn obedience — two roots, no pop: after STEP_Gn_22_3 | S2 state. (yitzchaq and the lad-pair installed; shakham token 5 lands frozen gen_37's line; TWO demanded roots return same-verse and partials never pop a compound — frozen gen_35's rule; flag 3. The clause below proves the compound held.) | WORLD += yitzchaq; WORLD += shnei_nearav; LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; Facts va-yashkem-va-yachavosh HOLD. = WORLD += yitzchaq; WORLD += shnei-nearav; LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; Facts and-yashkem-and-yachavosh HOLD. | וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר … וַיָּקָם וַיֵּלֶךְ · va-yashkem avraham ba-boqer … va-yaqam va-yelekh = and-yashkem avraham morning and-yaqam and-yelekh |
| S4 | The stay-demand and the exclusive we: after STEP_Gn_22_5 | S3 state plus 22:4 (the third-day sighting; rachoq debut). (shevu pushed on the lads — open forever, flag 5; the cohortative trio is fact — the we excludes the addressees, flag 6.) | LET(shevu(po_im_ha_chamor)) pushed and OPEN; LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; Facts nelkha-ve-nishtachaveh-ve-nashuvah HOLD. = LET(shevu(po-if-the-chamor)) pushed and OPEN; LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; Facts nelkha-and-nishtachaveh-and-nashuvah HOLD. | שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר … וְנָשׁוּבָה אֲלֵיכֶם · shevu-lakhem po im-ha-chamor … ve-nashuvah aleikhem = shevu-lakhem po if-the-chamor and-nashuvah aleikhem |
| S5 | The walk and the question: after STEP_Gn_22_8 | S4 state plus 22:6-7 (the load split by danger; the four-say verse; hineni to the son; the where-ladder's third token; the lamb-debut). (The provide-answer; the together-refrain twice — the tree twin.) | Facts avi-hineni-veni / ayeh-ha-seh HOLD; Facts elohim-yireh-lo HOLD; no test, no name. = Facts avi-behold-I-veni / ayeh-the-seh HOLD; Facts God-yireh-not HOLD; no test, no name. | אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי · elohim yireh-lo ha-seh le-olah beni = God yireh-not the-seh burnt-offering beni |
| S6 | The binding and the knife — the queue unmoved: after STEP_Gn_22_10 | S5 state plus 22:9 (the aqad hapax; the altar-word doubled; four deeds, none a demanded root). (The reach and the purpose-infinitive; the whole silluq arm is li-shechot et-beno. The clauses below prove the demand open with the knife in the hand — the machine's starkest picture.) | LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; LET(shevu(po_im_ha_chamor)) pushed and OPEN; Facts va-yaaqod-va-yasem-al-ha-mizbeach HOLD; no test, no name. = LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; LET(shevu(po-if-the-chamor)) pushed and OPEN; Facts and-yaaqod-and-yasem-upon-the-altar HOLD; no test, no name. | וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט אֶת־בְּנוֹ · va-yiqach et-ha-maakhelet li-shechot et-beno = and-yiqach the-maakhelet to-me-shechot beno |
| S7 | The doubled call: after STEP_Gn_22_11 | S6 state. (malakh_YHWH installed — sky-call token 8, frozen gen_37's census line landed; the Torah's first doubled-name call — flag 8; hineni's third addressee.) | WORLD += malakh_YHWH; Facts avraham-avraham HOLD. = WORLD += malakh-the-LORD; Facts avraham-avraham HOLD. | אַבְרָהָם אַבְרָהָם וַיֹּאמֶר הִנֵּנִי · avraham avraham va-yomer hineni = avraham avraham and-yomer behold-I |
| S8 | THE COLLISION — the countermand against the live demand: after STEP_Gn_22_12 | S7 state. (The roster's first direct countermand: two LET-NOTs per frozen gen_35's 19:17 two-push shape — flags 2, 4; no cancel operator exists and none is invented. The three clauses below show the queue holding the offer-up demand AND its countermand together — the collision IS the encoding. yere-elohim conferred; chasakh token 2 lands frozen gen_36's arc.) | LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; LET-NOT(tishlach(yadkha_el_ha_naar)) pushed and OPEN; LET-NOT(taas(lo_meumah)) pushed and OPEN; Facts atah-yadati-ki-yere-elohim / lo-chasakhta HOLD. = LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; LET-NOT(tishlach(yadkha-to-the-naar)) pushed and OPEN; LET-NOT(taas(not-meumah)) pushed and OPEN; Facts you-yadati-when-yere-God / not-chasakhta HOLD. | אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר … וְלֹא חָשַׂכְתָּ · al-tishlach yadkha el-ha-naar … ve-lo chasakhta = upon-tishlach yadkha to-the-naar and-not chasakhta |
| S9 | The fork's verse — the substitute, no pop fired: after STEP_Gn_22_14 | S8 state plus 22:13 (ALL THREE demanded roots return on the RAM, tachat beno — THE CROWN FORK: the base encoding withholds the RESULT, side A staged whole in flag 2; the first clause below proves the demand STILL OPEN over the performed substitute). (22:14: the sentence-name written — the registry's one write, flag 7; the saying-PATTERN; yireh/yeraeh on the two rests.) | LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; REGISTRY: ha_maqom->YHWH_Yireh (1 write); Facts ayil-neechaz-ba-sevakh / va-yaalehu-tachat-beno HOLD. = LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; REGISTRY: the-maqom->the-LORD-Yireh (1 write); Facts ayil-neechaz-in-the-sevakh / and-yaalehu-tachat-beno HOLD. | וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ … יְהוָה יִרְאֶה · va-yaalehu le-olah tachat beno … YHWH yireh = and-yaalehu burnt-offering tachat beno the-LORD yireh |
| S10 | The oath and the return: after STEP_Gn_22_19 | S9 state plus 22:15-18 (sky-call token 9; shava token 4 lands frozen gen_37's watch — the divine self-oath; neum debuts; the doubled blessings; qol token 11). (22:19: the lads RISE — the stay-demand's non-receipt, flag 5; the dwell-verb at the sworn well across two frozen walls — nothing pops; beer_sheva read.) | LET(shevu(po_im_ha_chamor)) pushed and OPEN; Facts bi-nishbati-neum-YHWH / varekh-avarekhkha / ekev-asher-shamata HOLD; flags beer_sheva as read-before-install. = LET(shevu(po-if-the-chamor)) pushed and OPEN; Facts bi-nishbati-neum-the-LORD / varekh-avarekhkha / ekev-which-shamata HOLD; flags beer-seven as read-before-install. | בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה … וַיֵּשֶׁב אַבְרָהָם בִּבְאֵר שָׁבַע · bi nishbati neum-YHWH … va-yeshev avraham bi-veer shava = bi nishbati neum-the-LORD and-yeshev avraham bi-veer shava |
| S11 | The coda and the final ledger: after STEP_Gn_22_20_24 | S10 state. (The coda inside the tell-verb's first passive — no installs, registry silent, flag 12; Rivqah minted as news; Nachor's twelve; the ten name-hapaxes. The set-clause below is created-only equality: three installs, one write, zero tests, zero pops, FOUR open forever, empty ledger — the trial's whole machine-residue.) | WORLD = {yitzchaq, shnei_nearav, malakh_YHWH}; REGISTRY: ha_maqom->YHWH_Yireh (1 write); LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN; LET(shevu(po_im_ha_chamor)) pushed and OPEN; LET-NOT(tishlach(yadkha_el_ha_naar)) pushed and OPEN; LET-NOT(taas(lo_meumah)) pushed and OPEN; Facts va-yugad-le-avraham / u-vetuel-yalad-et-rivqah HOLD; LEDGER stays EMPTY (open transaction); flags beer_sheva as read-before-install. = WORLD = {yitzchaq, shnei-nearav, malakh-the-LORD}; REGISTRY: the-maqom->the-LORD-Yireh (1 write); LET(qach-lekh-and-haalehu(binkha, to-burnt-offering)) pushed and OPEN; LET(shevu(po-if-the-chamor)) pushed and OPEN; LET-NOT(tishlach(yadkha-to-the-naar)) pushed and OPEN; LET-NOT(taas(not-meumah)) pushed and OPEN; Facts and-yugad-to-avraham / u-vetuel-yalad-et-rivqah HOLD; LEDGER stays EMPTY (open transaction); flags beer-seven as read-before-install. | וּבְתוּאֵל יָלַד אֶת־רִבְקָה · u-vetuel yalad et-rivqah = and-vetuel yalad rivqah |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_the_crown_fork | קַח־נָא … וְהַעֲלֵהוּ … אַל־תִּשְׁלַח יָדְךָ … וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ · qach-na … ve-haalehu … al-tishlach yadkha … va-yaalehu le-olah tachat beno · THE CROWN FORK — OWNER-GRADE, STAGED BOTH WAYS, UNRESOLVED [flag 2]: the compound triple's FOURTH token is God's own (qach-na + ve-lekh-lekha + ve-haalehu — take/go/offer-him-up, one breath, one demand; the class's first divine token, with the third divine na); at 22:12 the roster's FIRST DIRECT COUNTERMAND lands (two LET-NOTs per frozen gen_35's 19:17 two-push shape — no cancel operator exists, the demand and its countermand COEXIST on the queue from there on); at 22:13 ALL THREE demanded roots return in the demand's own order as foreground deeds by the demandee — va-yelekh, va-yiqach, va-yaalehu (root and stem, same object-suffix) — ON A SUBSTITUTE marked by the letter's own word: TACHAT BENO. The base encoding fires NO RESULT (the demand names the son; no frozen precedent pops a switched object; the pop is one edit away); side A's case is laid out whole: the echo-receipt standard met three-for-three, the demanded verb RESERVED by the letter for exactly this verse (eleven deeds in 22:3-10 and never alah), God's own receipt-speech at 22:16 (yaan asher ASITA 'because you have DONE'), and the buffer's chalaf-weld (the ram CHALAF the son, the blessing CHALAF the deed). If side A is ratified, cycle #15 is its consequence — named, not claimed. Queue at close: FOUR OPEN FOREVER |
| EXPORT_the_test_that_no_test_can_grade | וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם … כִּי עַתָּה יָדַעְתִּי כִּי־יְרֵא אֱלֹהִים אַתָּה · ve-ha-elohim nisah et-avraham … ki atah yadati ki-yere elohim atah · THE MACHINE IRONY [flag 10]: nisa ('test') makes its Torah debut in the SECOND consecutive instrument-silent chapter (tov/shaah/tzaddiq/nichoach all x0) — the letter's own test-word arrives exactly where the TESTS register cannot be tempted, and the trial runs entirely on the SPECS queue instead; its verdict is not a machine PASS but a CONFERRED TITLE — yere elohim ('God-FEARING', the adjective's debut) landing frozen gen_36's 20:11 guess-line right side up — and its yield is knowledge ('NOW I know'), spoken in the divine first person through the angel (gen_32's slide-class); the test-verb's career runs to Marah, the manna, Massah, and Exod 20:20 — the same Sinai verse frozen gen_36 linked for the fear-noun: test and fear share a landing twice |
| EXPORT_the_binding_lexicon | וַיַּעֲקֹד … הַמַּאֲכֶלֶת … יְחִידְךָ … הִנֵּנִי … אַבְרָהָם אַבְרָהָם … יַחְדָּו · va-yaaqod … ha-maakhelet … yechidkha … hineni … avraham avraham … yachdav · THE TRIAL SPENDS ONCE-WORDS [census-exact]: AQAD ('bind') — the verb that names the event exists ONCE in the Torah; YACHID ('only one') — the whole 3-token lexeme is this trial; MAAKHELET ('knife') — both Torah tokens on this ascent, ending mid-reach; MORIAH and SEVAKH ('thicket') hapaxes; the love-verb (ahav) debuts in the command (token 2 = Isaac loving Rivqah); HINENI — the first HUMAN here-I-am, three times (God, son, angel); AVRAHAM AVRAHAM — the Torah's first doubled-name CALL (the class: 22:11 -> 46:2 -> Exod 3:4; hunt shown); the fire-ladder (covenant torch, Sodom's rain, the father's hand, the bush); YACHDAV born doubled in 13:6's separation, spent tripled on this walk; the where-ladder (Sarah, the men of Sodom, the lamb); lekh-lekha exactly TWICE in the Torah — the call and the test, both deferring their destination (areka / omar elekha); shelishi's first narrative third day; and the see-verb naming the mountain in two voices — YIREH / YERAEH on the verse's two rests |
| EXPORT_the_oath_and_the_coda | בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה … בָרֵךְ אֲבָרֶכְךָ … וּבְתוּאֵל יָלַד אֶת־רִבְקָה · bi nishbati neum-YHWH … varekh avarekhkha … u-vetuel yalad et-rivqah · THE OATH AND THE BRIDE [flags 9, 12]: shava token 4 lands frozen gen_37's watch — the swear-verb's DIVINE turn (by Myself), one chapter after its human debut field, birthing NEUM ('oracle of YHWH' — the prophetic formula's Torah debut, seated on the etnachta); two infinitive-absolute doublings pay the trial in emphatic grammar (blessing-I-will-bless, multiplying-I-will-multiply — promise-facts, nothing demanded); the stars of 15:5 re-cited under oath with the sand-debut beside them; the bless-verb returns HITPAEL where 12:3 ran niphal — the two lekh-lekha commands wear two stems of one blessing; qol token 11 — the voice-ladder ends at God's own voice, credited to Abraham's ear (the idiom that indicted Adam, commanded Sarah's hearing, and heard the lad); the name-texture splits 5/5 (Elohim tests and provides, YHWH stays the knife and swears); and the coda — inside the tell-verb's first passive — counts Nachor's TWELVE (eight and four, flanking the bound son's promised twelve princes across the walls), spends TEN name-hapaxes, and rests an etnachta on RIVQAH: the next matriarch minted as news, eight verses after the knife |
Oral notes (named, tiered, dual-track — never merged)
וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ · (queue — named only) · The chain's files on this span: whose words the frame-clause follows, the ten trials' crown, the plural return, the ram waiting since twilight of the sixth day, the horn that became the shofar, the mountain that became the House, and the question the return-verse leaves open. ALL NAMED ONLY — ein adam dan me-atzmo ('one may not derive on his own').
וּפְלַח וְצַלִּי אַבְרָהָם תַּמָּן … בְּמֵימְרִי קַיֵּמִית · u-felach ve-tzali avraham tamman … be-memri qayemit · Buffer-record summary for the frozen ledger: THE 22:14 WORSHIP-RECOMPOSITION (the era's boldest — the naming-verse dissolved into 'Abraham worshipped and PRAYED there... here shall the generations worship... on this mountain Abraham worshipped before the LORD'; NO name given — the delta on this unit's NAME op; the tzali prayer-family's third consecutive unit); THE MEMRA-OATH PAIR (be-memri qayemit 'by My Word I have sworn' / qabelta le-memri 'you accepted My Word' — frozen gen_37's qayem-weld and qabel-family crossing into the divine mouth); THE CHALAF-WELD (the ram chalaf beno, the blessing chalaf di asita — substitute and recompense in one exchange-word: the buffer's comment on the crown fork); lead-for-take ON ISAAC (devar); moriah -> ara pulchana ('land of worship' — the identification class); the reveal-family with kodam on the provide-verb (22:8) and the news (22:20); shevu -> orikhu ('wait' — the buffer performs the other-verb substitution); goy->am; qirvei ('cities') for the gate; nisa KEPT — the divine testing stands unsoftened. Deltas recorded, never merged.
Binary trees (ta'amim v3, glue bricks)
Gen.22.1 · parser unique · 13 words
PHRASE (binary 13w) וַ/יְהִ֗י אַחַר֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה וְ/הָ…
├── PHRASE (binary 8w) וַ/יְהִ֗י אַחַר֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה וְ/הָ…
│ ├── PHRASE (binary 4w) וַ/יְהִ֗י אַחַר֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה
│ │ ├── [0] וַ/יְהִ֗י (revia, rank=3)
│ │ └── PHRASE (binary 3w) אַחַר֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה
│ │ ├── [1] אַחַר֙ (pashta, rank=3)
│ │ └── [2-3] GLUE הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וְ/הָ֣/אֱלֹהִ֔ים נִסָּ֖ה אֶת אַבְרָהָ֑ם
│ ├── [4] וְ/הָ֣/אֱלֹהִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) נִסָּ֖ה אֶת אַבְרָהָ֑ם
│ ├── [5] נִסָּ֖ה (tifcha, rank=2)
│ └── [6-7] GLUE אֶת אַבְרָהָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וַ/יֹּ֣אמֶר אֵלָ֔י/ו אַבְרָהָ֖ם וַ/יֹּ֥אמֶר הִנ…
├── [8-9] GLUE וַ/יֹּ֣אמֶר אֵלָ֔י/ו (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אַבְרָהָ֖ם וַ/יֹּ֥אמֶר הִנֵּֽנִ/י
├── [10] אַבְרָהָ֖ם (tifcha, rank=2)
└── [11-12] GLUE וַ/יֹּ֥אמֶר הִנֵּֽנִ/י (silluq (verse-end emperor), rank=1)
Gen.22.2 · parser unique · 25 words
PHRASE (binary 25w) וַ/יֹּ֡אמֶר קַח נָ֠א אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ…
├── PHRASE (binary 16w) וַ/יֹּ֡אמֶר קַח נָ֠א אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ…
│ ├── PHRASE (binary 11w) וַ/יֹּ֡אמֶר קַח נָ֠א אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ…
│ │ ├── PHRASE (binary 9w) וַ/יֹּ֡אמֶר קַח נָ֠א אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ…
│ │ │ ├── [0] וַ/יֹּ֡אמֶר (pazer, rank=4)
│ │ │ └── PHRASE (binary 8w) קַח נָ֠א אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ/ךָ֤ אֲשֶׁר …
│ │ │ ├── [1-2] GLUE קַח נָ֠א (telisha gedola, rank=4)
│ │ │ └── [3-8] GLUE אֶת בִּנְ/ךָ֨ אֶת יְחִֽידְ/ךָ֤ אֲשֶׁר אָהַ֨בְתָּ֙ (pashta, rank=3)
│ │ └── [9-10] GLUE אֶת יִצְחָ֔ק (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/לֶךְ לְ/ךָ֔ אֶל אֶ֖רֶץ הַ/מֹּרִיָּ֑ה
│ ├── [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 9w) וְ/הַעֲלֵ֤/הוּ שָׁם֙ לְ/עֹלָ֔ה עַ֚ל אַחַ֣ד הֶֽ/…
├── PHRASE (binary 3w) וְ/הַעֲלֵ֤/הוּ שָׁם֙ לְ/עֹלָ֔ה
│ ├── [16-17] GLUE וְ/הַעֲלֵ֤/הוּ שָׁם֙ (pashta, rank=3)
│ └── [18] לְ/עֹלָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) עַ֚ל אַחַ֣ד הֶֽ/הָרִ֔ים אֲשֶׁ֖ר אֹמַ֥ר אֵלֶֽי/ךָ
├── PHRASE (binary 3w) עַ֚ל אַחַ֣ד הֶֽ/הָרִ֔ים
│ ├── [19] עַ֚ל (yetiv, rank=3)
│ └── [20-21] GLUE אַחַ֣ד הֶֽ/הָרִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֲשֶׁ֖ר אֹמַ֥ר אֵלֶֽי/ךָ
├── [22] אֲשֶׁ֖ר (tifcha, rank=2)
└── [23-24] GLUE אֹמַ֥ר אֵלֶֽי/ךָ (silluq (verse-end emperor), rank=1)
Gen.22.3 · parser unique · 25 words
PHRASE (binary 25w) וַ/יַּשְׁכֵּ֨ם אַבְרָהָ֜ם בַּ/בֹּ֗קֶר וַֽ/יַּחֲ…
├── PHRASE (binary 14w) וַ/יַּשְׁכֵּ֨ם אַבְרָהָ֜ם בַּ/בֹּ֗קֶר וַֽ/יַּחֲ…
│ ├── PHRASE (binary 6w) וַ/יַּשְׁכֵּ֨ם אַבְרָהָ֜ם בַּ/בֹּ֗קֶר וַֽ/יַּחֲ…
│ │ ├── PHRASE (binary 3w) וַ/יַּשְׁכֵּ֨ם אַבְרָהָ֜ם בַּ/בֹּ֗קֶר
│ │ │ ├── [0-1] GLUE וַ/יַּשְׁכֵּ֨ם אַבְרָהָ֜ם (geresh, rank=4)
│ │ │ └── [2] בַּ/בֹּ֗קֶר (revia, rank=3)
│ │ └── PHRASE (binary 3w) וַֽ/יַּחֲבֹשׁ֙ אֶת חֲמֹר֔/וֹ
│ │ ├── [3] וַֽ/יַּחֲבֹשׁ֙ (pashta, rank=3)
│ │ └── [4-5] GLUE אֶת חֲמֹר֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 8w) וַ/יִּקַּ֞ח אֶת שְׁנֵ֤י נְעָרָי/ו֙ אִתּ֔/וֹ וְ/…
│ ├── PHRASE (binary 5w) וַ/יִּקַּ֞ח אֶת שְׁנֵ֤י נְעָרָי/ו֙ אִתּ֔/וֹ
│ │ ├── PHRASE (binary 4w) וַ/יִּקַּ֞ח אֶת שְׁנֵ֤י נְעָרָי/ו֙
│ │ │ ├── [6] וַ/יִּקַּ֞ח (gershayim, rank=4)
│ │ │ └── [7-9] GLUE אֶת שְׁנֵ֤י נְעָרָי/ו֙ (pashta, rank=3)
│ │ └── [10] אִתּ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/אֵ֖ת יִצְחָ֣ק בְּנ֑/וֹ
│ ├── [11] וְ/אֵ֖ת (tifcha, rank=2)
│ └── [12-13] GLUE יִצְחָ֣ק בְּנ֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וַ/יְבַקַּע֙ עֲצֵ֣י עֹלָ֔ה וַ/יָּ֣קָם וַ/יֵּ֔לֶ…
├── PHRASE (binary 3w) וַ/יְבַקַּע֙ עֲצֵ֣י עֹלָ֔ה
│ ├── [14] וַ/יְבַקַּע֙ (pashta, rank=3)
│ └── [15-16] GLUE עֲצֵ֣י עֹלָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 8w) וַ/יָּ֣קָם וַ/יֵּ֔לֶךְ אֶל הַ/מָּק֖וֹם אֲשֶׁר א…
├── [17-18] GLUE וַ/יָּ֣קָם וַ/יֵּ֔לֶךְ (zaqef qatan, rank=2)
└── PHRASE (binary 6w) אֶל הַ/מָּק֖וֹם אֲשֶׁר אָֽמַר ל֥/וֹ הָ/אֱלֹהִֽים
├── [19-20] GLUE אֶל הַ/מָּק֖וֹם (tifcha, rank=2)
└── [21-24] GLUE אֲשֶׁר אָֽמַר ל֥/וֹ הָ/אֱלֹהִֽים (silluq (verse-end emperor), rank=1)
Gen.22.4 · parser unique · 10 words
PHRASE (binary 10w) בַּ/יּ֣וֹם הַ/שְּׁלִישִׁ֗י וַ/יִּשָּׂ֨א אַבְרָה… ├── PHRASE (binary 9w) בַּ/יּ֣וֹם הַ/שְּׁלִישִׁ֗י וַ/יִּשָּׂ֨א אַבְרָה… │ ├── [0-1] GLUE בַּ/יּ֣וֹם הַ/שְּׁלִישִׁ֗י (revia, rank=3) │ └── PHRASE (binary 7w) וַ/יִּשָּׂ֨א אַבְרָהָ֧ם אֶת עֵינָ֛י/ו וַ/יַּ֥רְ… │ ├── [2-5] GLUE וַ/יִּשָּׂ֨א אַבְרָהָ֧ם אֶת עֵינָ֛י/ו (tevir, rank=3) │ └── [6-8] GLUE וַ/יַּ֥רְא אֶת הַ/מָּק֖וֹם (tifcha, rank=2) └── [9] מֵ/רָחֹֽק (silluq (verse-end emperor), rank=1)
Gen.22.5 · parser unique · 17 words
PHRASE (binary 17w) וַ/יֹּ֨אמֶר אַבְרָהָ֜ם אֶל נְעָרָ֗י/ו שְׁבוּ לָ…
├── PHRASE (binary 14w) וַ/יֹּ֨אמֶר אַבְרָהָ֜ם אֶל נְעָרָ֗י/ו שְׁבוּ לָ…
│ ├── PHRASE (binary 9w) וַ/יֹּ֨אמֶר אַבְרָהָ֜ם אֶל נְעָרָ֗י/ו שְׁבוּ לָ…
│ │ ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר אַבְרָהָ֜ם אֶל נְעָרָ֗י/ו
│ │ │ ├── [0-1] GLUE וַ/יֹּ֨אמֶר אַבְרָהָ֜ם (geresh, rank=4)
│ │ │ └── [2-3] GLUE אֶל נְעָרָ֗י/ו (revia, rank=3)
│ │ └── PHRASE (binary 5w) שְׁבוּ לָ/כֶ֥ם פֹּה֙ עִֽם הַ/חֲמ֔וֹר
│ │ ├── [4-6] GLUE שְׁבוּ לָ/כֶ֥ם פֹּה֙ (pashta, rank=3)
│ │ └── [7-8] GLUE עִֽם הַ/חֲמ֔וֹר (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וַ/אֲנִ֣י וְ/הַ/נַּ֔עַר נֵלְכָ֖ה עַד כֹּ֑ה
│ ├── [9-10] GLUE וַ/אֲנִ֣י וְ/הַ/נַּ֔עַר (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) נֵלְכָ֖ה עַד כֹּ֑ה
│ ├── [11] נֵלְכָ֖ה (tifcha, rank=2)
│ └── [12-13] GLUE עַד כֹּ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/נִֽשְׁתַּחֲוֶ֖ה וְ/נָשׁ֥וּבָה אֲלֵי/כֶֽם
├── [14] וְ/נִֽשְׁתַּחֲוֶ֖ה (tifcha, rank=2)
└── [15-16] GLUE וְ/נָשׁ֥וּבָה אֲלֵי/כֶֽם (silluq (verse-end emperor), rank=1)
Gen.22.6 · parser unique · 18 words
PHRASE (binary 18w) וַ/יִּקַּ֨ח אַבְרָהָ֜ם אֶת עֲצֵ֣י הָ/עֹלָ֗ה וַ/…
├── PHRASE (binary 15w) וַ/יִּקַּ֨ח אַבְרָהָ֜ם אֶת עֲצֵ֣י הָ/עֹלָ֗ה וַ/…
│ ├── PHRASE (binary 9w) וַ/יִּקַּ֨ח אַבְרָהָ֜ם אֶת עֲצֵ֣י הָ/עֹלָ֗ה וַ/…
│ │ ├── PHRASE (binary 5w) וַ/יִּקַּ֨ח אַבְרָהָ֜ם אֶת עֲצֵ֣י הָ/עֹלָ֗ה
│ │ │ ├── [0-1] GLUE וַ/יִּקַּ֨ח אַבְרָהָ֜ם (geresh, rank=4)
│ │ │ └── [2-4] GLUE אֶת עֲצֵ֣י הָ/עֹלָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) וַ/יָּ֨שֶׂם֙ עַל יִצְחָ֣ק בְּנ֔/וֹ
│ │ ├── [5] וַ/יָּ֨שֶׂם֙ (pashta, rank=3)
│ │ └── [6-8] GLUE עַל יִצְחָ֣ק בְּנ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וַ/יִּקַּ֣ח בְּ/יָד֔/וֹ אֶת הָ/אֵ֖שׁ וְ/אֶת הַֽ…
│ ├── [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 3w) וַ/יֵּלְכ֥וּ שְׁנֵי/הֶ֖ם יַחְדָּֽו
├── [15-16] GLUE וַ/יֵּלְכ֥וּ שְׁנֵי/הֶ֖ם (tifcha, rank=2)
└── [17] יַחְדָּֽו (silluq (verse-end emperor), rank=1)
Gen.22.7 · parser unique · 17 words
PHRASE (binary 17w) וַ/יֹּ֨אמֶר יִצְחָ֜ק אֶל אַבְרָהָ֤ם אָבִי/ו֙ וַ…
├── PHRASE (binary 10w) וַ/יֹּ֨אמֶר יִצְחָ֜ק אֶל אַבְרָהָ֤ם אָבִי/ו֙ וַ…
│ ├── PHRASE (binary 7w) וַ/יֹּ֨אמֶר יִצְחָ֜ק אֶל אַבְרָהָ֤ם אָבִי/ו֙ וַ…
│ │ ├── PHRASE (binary 5w) וַ/יֹּ֨אמֶר יִצְחָ֜ק אֶל אַבְרָהָ֤ם אָבִי/ו֙
│ │ │ ├── [0-1] GLUE וַ/יֹּ֨אמֶר יִצְחָ֜ק (geresh, rank=4)
│ │ │ └── [2-4] GLUE אֶל אַבְרָהָ֤ם אָבִי/ו֙ (pashta, rank=3)
│ │ └── [5-6] GLUE וַ/יֹּ֣אמֶר אָבִ֔/י (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יֹּ֖אמֶר הִנֶּ֣נִּֽ/י בְנִ֑/י
│ ├── [7] וַ/יֹּ֖אמֶר (tifcha, rank=2)
│ └── [8-9] GLUE הִנֶּ֣נִּֽ/י בְנִ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וַ/יֹּ֗אמֶר הִנֵּ֤ה הָ/אֵשׁ֙ וְ/הָ֣/עֵצִ֔ים וְ/…
├── PHRASE (binary 4w) וַ/יֹּ֗אמֶר הִנֵּ֤ה הָ/אֵשׁ֙ וְ/הָ֣/עֵצִ֔ים
│ ├── [10] וַ/יֹּ֗אמֶר (revia, rank=3)
│ └── PHRASE (binary 3w) הִנֵּ֤ה הָ/אֵשׁ֙ וְ/הָ֣/עֵצִ֔ים
│ ├── [11-12] GLUE הִנֵּ֤ה הָ/אֵשׁ֙ (pashta, rank=3)
│ └── [13] וְ/הָ֣/עֵצִ֔ים (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וְ/אַיֵּ֥ה הַ/שֶּׂ֖ה לְ/עֹלָֽה
├── [14-15] GLUE וְ/אַיֵּ֥ה הַ/שֶּׂ֖ה (tifcha, rank=2)
└── [16] לְ/עֹלָֽה (silluq (verse-end emperor), rank=1)
Gen.22.8 · parser unique · 11 words
PHRASE (binary 11w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם אֱלֹהִ֞ים יִרְאֶה לּ֥/ו…
├── PHRASE (binary 8w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם אֱלֹהִ֞ים יִרְאֶה לּ֥/ו…
│ ├── PHRASE (binary 2w) וַ/יֹּ֨אמֶר֙ אַבְרָהָ֔ם
│ │ ├── [0] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
│ │ └── [1] אַבְרָהָ֔ם (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) אֱלֹהִ֞ים יִרְאֶה לּ֥/וֹ הַ/שֶּׂ֛ה לְ/עֹלָ֖ה בּ…
│ ├── PHRASE (binary 5w) אֱלֹהִ֞ים יִרְאֶה לּ֥/וֹ הַ/שֶּׂ֛ה לְ/עֹלָ֖ה
│ │ ├── PHRASE (binary 4w) אֱלֹהִ֞ים יִרְאֶה לּ֥/וֹ הַ/שֶּׂ֛ה
│ │ │ ├── [2] אֱלֹהִ֞ים (gershayim, rank=4)
│ │ │ └── [3-5] GLUE יִרְאֶה לּ֥/וֹ הַ/שֶּׂ֛ה (tevir, rank=3)
│ │ └── [6] לְ/עֹלָ֖ה (tifcha, rank=2)
│ └── [7] בְּנִ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/יֵּלְכ֥וּ שְׁנֵי/הֶ֖ם יַחְדָּֽו
├── [8-9] GLUE וַ/יֵּלְכ֥וּ שְׁנֵי/הֶ֖ם (tifcha, rank=2)
└── [10] יַחְדָּֽו (silluq (verse-end emperor), rank=1)
Gen.22.9 · parser unique · 25 words
PHRASE (binary 25w) וַ/יָּבֹ֗אוּ אֶֽל הַ/מָּקוֹם֮ אֲשֶׁ֣ר אָֽמַר ל֣…
├── PHRASE (binary 15w) וַ/יָּבֹ֗אוּ אֶֽל הַ/מָּקוֹם֮ אֲשֶׁ֣ר אָֽמַר ל֣…
│ ├── PHRASE (binary 7w) וַ/יָּבֹ֗אוּ אֶֽל הַ/מָּקוֹם֮ אֲשֶׁ֣ר אָֽמַר ל֣…
│ │ ├── [0] וַ/יָּבֹ֗אוּ (revia, rank=3)
│ │ └── PHRASE (binary 6w) אֶֽל הַ/מָּקוֹם֮ אֲשֶׁ֣ר אָֽמַר ל֣/וֹ הָ/אֱלֹהִ…
│ │ ├── [1-2] GLUE אֶֽל הַ/מָּקוֹם֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [3-6] GLUE אֲשֶׁ֣ר אָֽמַר ל֣/וֹ הָ/אֱלֹהִים֒ (segol, rank=2)
│ └── PHRASE (binary 8w) וַ/יִּ֨בֶן שָׁ֤ם אַבְרָהָם֙ אֶת הַ/מִּזְבֵּ֔חַ …
│ ├── PHRASE (binary 5w) וַ/יִּ֨בֶן שָׁ֤ם אַבְרָהָם֙ אֶת הַ/מִּזְבֵּ֔חַ
│ │ ├── [7-9] GLUE וַ/יִּ֨בֶן שָׁ֤ם אַבְרָהָם֙ (pashta, rank=3)
│ │ └── [10-11] GLUE אֶת הַ/מִּזְבֵּ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַֽ/יַּעֲרֹ֖ךְ אֶת הָ/עֵצִ֑ים
│ ├── [12] וַֽ/יַּעֲרֹ֖ךְ (tifcha, rank=2)
│ └── [13-14] GLUE אֶת הָ/עֵצִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) וַֽ/יַּעֲקֹד֙ אֶת יִצְחָ֣ק בְּנ֔/וֹ וַ/יָּ֤שֶׂם…
├── PHRASE (binary 4w) וַֽ/יַּעֲקֹד֙ אֶת יִצְחָ֣ק בְּנ֔/וֹ
│ ├── [15] וַֽ/יַּעֲקֹד֙ (pashta, rank=3)
│ └── [16-18] GLUE אֶת יִצְחָ֣ק בְּנ֔/וֹ (zaqef qatan, rank=2)
└── PHRASE (binary 6w) וַ/יָּ֤שֶׂם אֹת/וֹ֙ עַל הַ/מִּזְבֵּ֔חַ מִ/מַּ֖ע…
├── PHRASE (binary 4w) וַ/יָּ֤שֶׂם אֹת/וֹ֙ עַל הַ/מִּזְבֵּ֔חַ
│ ├── [19-20] GLUE וַ/יָּ֤שֶׂם אֹת/וֹ֙ (pashta, rank=3)
│ └── [21-22] GLUE עַל הַ/מִּזְבֵּ֔חַ (zaqef qatan, rank=2)
└── PHRASE (binary 2w) מִ/מַּ֖עַל לָ/עֵצִֽים
├── [23] מִ/מַּ֖עַל (tifcha, rank=2)
└── [24] לָ/עֵצִֽים (silluq (verse-end emperor), rank=1)
Gen.22.10 · 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.22.11 · parser unique · 11 words
PHRASE (binary 11w) וַ/יִּקְרָ֨א אֵלָ֜י/ו מַלְאַ֤ךְ יְהוָה֙ מִן הַ/…
├── PHRASE (binary 9w) וַ/יִּקְרָ֨א אֵלָ֜י/ו מַלְאַ֤ךְ יְהוָה֙ מִן הַ/…
│ ├── PHRASE (binary 6w) וַ/יִּקְרָ֨א אֵלָ֜י/ו מַלְאַ֤ךְ יְהוָה֙ מִן הַ/…
│ │ ├── PHRASE (binary 4w) וַ/יִּקְרָ֨א אֵלָ֜י/ו מַלְאַ֤ךְ יְהוָה֙
│ │ │ ├── [0-1] GLUE וַ/יִּקְרָ֨א אֵלָ֜י/ו (geresh, rank=4)
│ │ │ └── [2-3] GLUE מַלְאַ֤ךְ יְהוָה֙ (pashta, rank=3)
│ │ └── [4-5] GLUE מִן הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וַ/יֹּ֖אמֶר אַבְרָהָ֣ם אַבְרָהָ֑ם
│ ├── [6] וַ/יֹּ֖אמֶר (tifcha, rank=2)
│ └── [7-8] GLUE אַבְרָהָ֣ם אַבְרָהָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וַ/יֹּ֖אמֶר הִנֵּֽנִ/י
├── [9] וַ/יֹּ֖אמֶר (tifcha, rank=2)
└── [10] הִנֵּֽנִ/י (silluq (verse-end emperor), rank=1)
Gen.22.12 · parser unique · 24 words
PHRASE (binary 24w) וַ/יֹּ֗אמֶר אַל תִּשְׁלַ֤ח יָֽדְ/ךָ֙ אֶל הַ/נַּ…
├── PHRASE (binary 10w) וַ/יֹּ֗אמֶר אַל תִּשְׁלַ֤ח יָֽדְ/ךָ֙ אֶל הַ/נַּ…
│ ├── PHRASE (binary 6w) וַ/יֹּ֗אמֶר אַל תִּשְׁלַ֤ח יָֽדְ/ךָ֙ אֶל הַ/נַּ…
│ │ ├── [0] וַ/יֹּ֗אמֶר (revia, rank=3)
│ │ └── PHRASE (binary 5w) אַל תִּשְׁלַ֤ח יָֽדְ/ךָ֙ אֶל הַ/נַּ֔עַר
│ │ ├── [1-3] GLUE אַל תִּשְׁלַ֤ח יָֽדְ/ךָ֙ (pashta, rank=3)
│ │ └── [4-5] GLUE אֶל הַ/נַּ֔עַר (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וְ/אַל תַּ֥עַשׂ ל֖/וֹ מְא֑וּמָּה
│ ├── [6-8] GLUE וְ/אַל תַּ֥עַשׂ ל֖/וֹ (tifcha, rank=2)
│ └── [9] מְא֑וּמָּה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 14w) כִּ֣י עַתָּ֣ה יָדַ֗עְתִּי כִּֽי יְרֵ֤א אֱלֹהִים…
├── PHRASE (binary 7w) כִּ֣י עַתָּ֣ה יָדַ֗עְתִּי כִּֽי יְרֵ֤א אֱלֹהִים…
│ ├── [10-12] GLUE כִּ֣י עַתָּ֣ה יָדַ֗עְתִּי (revia, rank=3)
│ └── PHRASE (binary 4w) כִּֽי יְרֵ֤א אֱלֹהִים֙ אַ֔תָּה
│ ├── [13-15] GLUE כִּֽי יְרֵ֤א אֱלֹהִים֙ (pashta, rank=3)
│ └── [16] אַ֔תָּה (zaqef qatan, rank=2)
└── PHRASE (binary 7w) וְ/לֹ֥א חָשַׂ֛כְתָּ אֶת בִּנְ/ךָ֥ אֶת יְחִידְ/ך…
├── PHRASE (binary 6w) וְ/לֹ֥א חָשַׂ֛כְתָּ אֶת בִּנְ/ךָ֥ אֶת יְחִידְ/ך…
│ ├── [17-18] GLUE וְ/לֹ֥א חָשַׂ֛כְתָּ (tevir, rank=3)
│ └── [19-22] GLUE אֶת בִּנְ/ךָ֥ אֶת יְחִידְ/ךָ֖ (tifcha, rank=2)
└── [23] מִמֶּֽ/נִּי (silluq (verse-end emperor), rank=1)
Gen.22.13 · parser unique · 20 words
PHRASE (binary 20w) וַ/יִּשָּׂ֨א אַבְרָהָ֜ם אֶת עֵינָ֗י/ו וַ/יַּרְא…
├── 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] וַ/יַּרְא֙ (pashta, rank=3)
│ │ └── [5-6] GLUE וְ/הִנֵּה אַ֔יִל (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) אַחַ֕ר נֶאֱחַ֥ז בַּ/סְּבַ֖ךְ בְּ/קַרְנָ֑י/ו
│ ├── [7] אַחַ֕ר (zaqef gadol, rank=2)
│ └── PHRASE (binary 3w) נֶאֱחַ֥ז בַּ/סְּבַ֖ךְ בְּ/קַרְנָ֑י/ו
│ ├── [8-9] GLUE נֶאֱחַ֥ז בַּ/סְּבַ֖ךְ (tifcha, rank=2)
│ └── [10] בְּ/קַרְנָ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַ/יֵּ֤לֶךְ אַבְרָהָם֙ וַ/יִּקַּ֣ח אֶת הָ/אַ֔יִ…
├── PHRASE (binary 5w) וַ/יֵּ֤לֶךְ אַבְרָהָם֙ וַ/יִּקַּ֣ח אֶת הָ/אַ֔יִל
│ ├── [11-12] GLUE וַ/יֵּ֤לֶךְ אַבְרָהָם֙ (pashta, rank=3)
│ └── [13-15] GLUE וַ/יִּקַּ֣ח אֶת הָ/אַ֔יִל (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וַ/יַּעֲלֵ֥/הוּ לְ/עֹלָ֖ה תַּ֥חַת בְּנֽ/וֹ
├── [16-17] GLUE וַ/יַּעֲלֵ֥/הוּ לְ/עֹלָ֖ה (tifcha, rank=2)
└── [18-19] GLUE תַּ֥חַת בְּנֽ/וֹ (silluq (verse-end emperor), rank=1)
Gen.22.14 · parser unique · 13 words
PHRASE (binary 13w) וַ/יִּקְרָ֧א אַבְרָהָ֛ם שֵֽׁם הַ/מָּק֥וֹם הַ/ה֖…
├── PHRASE (binary 7w) וַ/יִּקְרָ֧א אַבְרָהָ֛ם שֵֽׁם הַ/מָּק֥וֹם הַ/ה֖…
│ ├── PHRASE (binary 5w) וַ/יִּקְרָ֧א אַבְרָהָ֛ם שֵֽׁם הַ/מָּק֥וֹם הַ/ה֖…
│ │ ├── [0-1] GLUE וַ/יִּקְרָ֧א אַבְרָהָ֛ם (tevir, rank=3)
│ │ └── [2-4] GLUE שֵֽׁם הַ/מָּק֥וֹם הַ/ה֖וּא (tifcha, rank=2)
│ └── [5-6] GLUE יְהוָ֣ה יִרְאֶ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אֲשֶׁר֙ יֵאָמֵ֣ר הַ/יּ֔וֹם בְּ/הַ֥ר יְהוָ֖ה יֵר…
├── PHRASE (binary 3w) אֲשֶׁר֙ יֵאָמֵ֣ר הַ/יּ֔וֹם
│ ├── [7] אֲשֶׁר֙ (pashta, rank=3)
│ └── [8-9] GLUE יֵאָמֵ֣ר הַ/יּ֔וֹם (zaqef qatan, rank=2)
└── PHRASE (binary 3w) בְּ/הַ֥ר יְהוָ֖ה יֵרָאֶֽה
├── [10-11] GLUE בְּ/הַ֥ר יְהוָ֖ה (tifcha, rank=2)
└── [12] יֵרָאֶֽה (silluq (verse-end emperor), rank=1)
Gen.22.15 · parser unique · 8 words
PHRASE (binary 8w) וַ/יִּקְרָ֛א מַלְאַ֥ךְ יְהוָ֖ה אֶל אַבְרָהָ֑ם ש…
├── PHRASE (binary 5w) וַ/יִּקְרָ֛א מַלְאַ֥ךְ יְהוָ֖ה אֶל אַבְרָהָ֑ם
│ ├── PHRASE (binary 3w) וַ/יִּקְרָ֛א מַלְאַ֥ךְ יְהוָ֖ה
│ │ ├── [0] וַ/יִּקְרָ֛א (tevir, rank=3)
│ │ └── [1-2] GLUE מַלְאַ֥ךְ יְהוָ֖ה (tifcha, rank=2)
│ └── [3-4] GLUE אֶל אַבְרָהָ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) שֵׁנִ֖ית מִן הַ/שָּׁמָֽיִם
├── [5] שֵׁנִ֖ית (tifcha, rank=2)
└── [6-7] GLUE מִן הַ/שָּׁמָֽיִם (silluq (verse-end emperor), rank=1)
Gen.22.16 · parser unique · 18 words
PHRASE (binary 18w) וַ/יֹּ֕אמֶר בִּ֥/י נִשְׁבַּ֖עְתִּי נְאֻם יְהוָ֑…
├── PHRASE (binary 5w) וַ/יֹּ֕אמֶר בִּ֥/י נִשְׁבַּ֖עְתִּי נְאֻם יְהוָ֑ה
│ ├── [0] וַ/יֹּ֕אמֶר (zaqef gadol, rank=2)
│ └── PHRASE (binary 4w) בִּ֥/י נִשְׁבַּ֖עְתִּי נְאֻם יְהוָ֑ה
│ ├── [1-2] GLUE בִּ֥/י נִשְׁבַּ֖עְתִּי (tifcha, rank=2)
│ └── [3-4] GLUE נְאֻם יְהוָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) כִּ֗י יַ֚עַן אֲשֶׁ֤ר עָשִׂ֨יתָ֙ אֶת הַ/דָּבָ֣ר …
├── PHRASE (binary 7w) כִּ֗י יַ֚עַן אֲשֶׁ֤ר עָשִׂ֨יתָ֙ אֶת הַ/דָּבָ֣ר …
│ ├── [5] כִּ֗י (revia, rank=3)
│ └── PHRASE (binary 6w) יַ֚עַן אֲשֶׁ֤ר עָשִׂ֨יתָ֙ אֶת הַ/דָּבָ֣ר הַ/זֶּ…
│ ├── [6] יַ֚עַן (yetiv, rank=3)
│ └── PHRASE (binary 5w) אֲשֶׁ֤ר עָשִׂ֨יתָ֙ אֶת הַ/דָּבָ֣ר הַ/זֶּ֔ה
│ ├── [7-8] GLUE אֲשֶׁ֤ר עָשִׂ֨יתָ֙ (pashta, rank=3)
│ └── [9-11] GLUE אֶת הַ/דָּבָ֣ר הַ/זֶּ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) וְ/לֹ֥א חָשַׂ֖כְתָּ אֶת בִּנְ/ךָ֥ אֶת יְחִידֶֽ/…
├── [12-13] GLUE וְ/לֹ֥א חָשַׂ֖כְתָּ (tifcha, rank=2)
└── [14-17] GLUE אֶת בִּנְ/ךָ֥ אֶת יְחִידֶֽ/ךָ (silluq (verse-end emperor), rank=1)
Gen.22.17 · parser unique · 19 words
PHRASE (binary 19w) כִּֽי בָרֵ֣ךְ אֲבָרֶכְ/ךָ֗ וְ/הַרְבָּ֨ה אַרְבֶּ…
├── PHRASE (binary 14w) כִּֽי בָרֵ֣ךְ אֲבָרֶכְ/ךָ֗ וְ/הַרְבָּ֨ה אַרְבֶּ…
│ ├── PHRASE (binary 9w) כִּֽי בָרֵ֣ךְ אֲבָרֶכְ/ךָ֗ וְ/הַרְבָּ֨ה אַרְבֶּ…
│ │ ├── [0-2] GLUE כִּֽי בָרֵ֣ךְ אֲבָרֶכְ/ךָ֗ (revia, rank=3)
│ │ └── PHRASE (binary 6w) וְ/הַרְבָּ֨ה אַרְבֶּ֤ה אֶֽת זַרְעֲ/ךָ֙ כְּ/כוֹכ…
│ │ ├── [3-6] GLUE וְ/הַרְבָּ֨ה אַרְבֶּ֤ה אֶֽת זַרְעֲ/ךָ֙ (pashta, rank=3)
│ │ └── [7-8] GLUE כְּ/כוֹכְבֵ֣י הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/כַ/ח֕וֹל אֲשֶׁ֖ר עַל שְׂפַ֣ת הַ/יָּ֑ם
│ ├── [9] וְ/כַ/ח֕וֹל (zaqef gadol, rank=2)
│ └── PHRASE (binary 4w) אֲשֶׁ֖ר עַל שְׂפַ֣ת הַ/יָּ֑ם
│ ├── [10] אֲשֶׁ֖ר (tifcha, rank=2)
│ └── [11-13] GLUE עַל שְׂפַ֣ת הַ/יָּ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/יִרַ֣שׁ זַרְעֲ/ךָ֔ אֵ֖ת שַׁ֥עַר אֹיְבָֽי/ו
├── [14-15] GLUE וְ/יִרַ֣שׁ זַרְעֲ/ךָ֔ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) אֵ֖ת שַׁ֥עַר אֹיְבָֽי/ו
├── [16] אֵ֖ת (tifcha, rank=2)
└── [17-18] GLUE שַׁ֥עַר אֹיְבָֽי/ו (silluq (verse-end emperor), rank=1)
Gen.22.18 · parser unique · 9 words
PHRASE (binary 9w) וְ/הִתְבָּרֲכ֣וּ בְ/זַרְעֲ/ךָ֔ כֹּ֖ל גּוֹיֵ֣י ה…
├── PHRASE (binary 5w) וְ/הִתְבָּרֲכ֣וּ בְ/זַרְעֲ/ךָ֔ כֹּ֖ל גּוֹיֵ֣י ה…
│ ├── [0-1] GLUE וְ/הִתְבָּרֲכ֣וּ בְ/זַרְעֲ/ךָ֔ (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) כֹּ֖ל גּוֹיֵ֣י הָ/אָ֑רֶץ
│ ├── [2] כֹּ֖ל (tifcha, rank=2)
│ └── [3-4] GLUE גּוֹיֵ֣י הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) עֵ֕קֶב אֲשֶׁ֥ר שָׁמַ֖עְתָּ בְּ/קֹלִֽ/י
├── [5] עֵ֕קֶב (zaqef gadol, rank=2)
└── PHRASE (binary 3w) אֲשֶׁ֥ר שָׁמַ֖עְתָּ בְּ/קֹלִֽ/י
├── [6-7] GLUE אֲשֶׁ֥ר שָׁמַ֖עְתָּ (tifcha, rank=2)
└── [8] בְּ/קֹלִֽ/י (silluq (verse-end emperor), rank=1)
Gen.22.19 · parser unique · 14 words
PHRASE (binary 14w) וַ/יָּ֤שָׁב אַבְרָהָם֙ אֶל נְעָרָ֔י/ו וַ/יָּקֻ֛…
├── PHRASE (binary 10w) וַ/יָּ֤שָׁב אַבְרָהָם֙ אֶל נְעָרָ֔י/ו וַ/יָּקֻ֛…
│ ├── PHRASE (binary 4w) וַ/יָּ֤שָׁב אַבְרָהָם֙ אֶל נְעָרָ֔י/ו
│ │ ├── [0-1] GLUE וַ/יָּ֤שָׁב אַבְרָהָם֙ (pashta, rank=3)
│ │ └── [2-3] GLUE אֶל נְעָרָ֔י/ו (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) וַ/יָּקֻ֛מוּ וַ/יֵּלְכ֥וּ יַחְדָּ֖ו אֶל בְּאֵ֣ר…
│ ├── PHRASE (binary 3w) וַ/יָּקֻ֛מוּ וַ/יֵּלְכ֥וּ יַחְדָּ֖ו
│ │ ├── [4] וַ/יָּקֻ֛מוּ (tevir, rank=3)
│ │ └── [5-6] GLUE וַ/יֵּלְכ֥וּ יַחְדָּ֖ו (tifcha, rank=2)
│ └── [7-9] GLUE אֶל בְּאֵ֣ר שָׁ֑בַע (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יֵּ֥שֶׁב אַבְרָהָ֖ם בִּ/בְאֵ֥ר שָֽׁבַע
├── [10-11] GLUE וַ/יֵּ֥שֶׁב אַבְרָהָ֖ם (tifcha, rank=2)
└── [12-13] GLUE בִּ/בְאֵ֥ר שָֽׁבַע (silluq (verse-end emperor), rank=1)
Gen.22.20 · parser unique · 15 words
PHRASE (binary 15w) וַ/יְהִ֗י אַחֲרֵי֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה וַ/…
├── PHRASE (binary 7w) וַ/יְהִ֗י אַחֲרֵי֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה וַ/…
│ ├── PHRASE (binary 4w) וַ/יְהִ֗י אַחֲרֵי֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה
│ │ ├── [0] וַ/יְהִ֗י (revia, rank=3)
│ │ └── PHRASE (binary 3w) אַחֲרֵי֙ הַ/דְּבָרִ֣ים הָ/אֵ֔לֶּה
│ │ ├── [1] אַחֲרֵי֙ (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 8w) הִ֠נֵּה יָלְדָ֨ה מִלְכָּ֥ה גַם הִ֛וא בָּנִ֖ים ל…
├── PHRASE (binary 6w) הִ֠נֵּה יָלְדָ֨ה מִלְכָּ֥ה גַם הִ֛וא בָּנִ֖ים
│ ├── PHRASE (binary 5w) הִ֠נֵּה יָלְדָ֨ה מִלְכָּ֥ה גַם הִ֛וא
│ │ ├── [7] הִ֠נֵּה (telisha gedola, rank=4)
│ │ └── [8-11] GLUE יָלְדָ֨ה מִלְכָּ֥ה גַם הִ֛וא (tevir, rank=3)
│ └── [12] בָּנִ֖ים (tifcha, rank=2)
└── [13-14] GLUE לְ/נָח֥וֹר אָחִֽי/ךָ (silluq (verse-end emperor), rank=1)
Gen.22.21 · parser unique · 10 words
PHRASE (binary 10w) אֶת ע֥וּץ בְּכֹר֖/וֹ וְ/אֶת בּ֣וּז אָחִ֑י/ו וְ/…
├── PHRASE (binary 6w) אֶת ע֥וּץ בְּכֹר֖/וֹ וְ/אֶת בּ֣וּז אָחִ֑י/ו
│ ├── [0-2] GLUE אֶת ע֥וּץ בְּכֹר֖/וֹ (tifcha, rank=2)
│ └── [3-5] GLUE וְ/אֶת בּ֣וּז אָחִ֑י/ו (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/אֶת קְמוּאֵ֖ל אֲבִ֥י אֲרָֽם
├── [6-7] GLUE וְ/אֶת קְמוּאֵ֖ל (tifcha, rank=2)
└── [8-9] GLUE אֲבִ֥י אֲרָֽם (silluq (verse-end emperor), rank=1)
Gen.22.22 · parser unique · 10 words
PHRASE (binary 10w) וְ/אֶת כֶּ֣שֶׂד וְ/אֶת חֲז֔וֹ וְ/אֶת פִּלְדָּ֖ש…
├── PHRASE (binary 8w) וְ/אֶת כֶּ֣שֶׂד וְ/אֶת חֲז֔וֹ וְ/אֶת פִּלְדָּ֖ש…
│ ├── [0-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 2w) וְ/אֵ֖ת בְּתוּאֵֽל
├── [8] וְ/אֵ֖ת (tifcha, rank=2)
└── [9] בְּתוּאֵֽל (silluq (verse-end emperor), rank=1)
Gen.22.23 · parser unique · 11 words
PHRASE (binary 11w) וּ/בְתוּאֵ֖ל יָלַ֣ד אֶת רִבְקָ֑ה שְׁמֹנָ֥ה אֵ֨ל…
├── PHRASE (binary 4w) וּ/בְתוּאֵ֖ל יָלַ֣ד אֶת רִבְקָ֑ה
│ ├── [0] וּ/בְתוּאֵ֖ל (tifcha, rank=2)
│ └── [1-3] GLUE יָלַ֣ד אֶת רִבְקָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) שְׁמֹנָ֥ה אֵ֨לֶּה֙ יָלְדָ֣ה מִלְכָּ֔ה לְ/נָח֖וֹ…
├── PHRASE (binary 4w) שְׁמֹנָ֥ה אֵ֨לֶּה֙ יָלְדָ֣ה מִלְכָּ֔ה
│ ├── [4-5] GLUE שְׁמֹנָ֥ה אֵ֨לֶּה֙ (pashta, rank=3)
│ └── [6-7] GLUE יָלְדָ֣ה מִלְכָּ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 3w) לְ/נָח֖וֹר אֲחִ֥י אַבְרָהָֽם
├── [8] לְ/נָח֖וֹר (tifcha, rank=2)
└── [9-10] GLUE אֲחִ֥י אַבְרָהָֽם (silluq (verse-end emperor), rank=1)
Gen.22.24 · parser unique · 14 words
PHRASE (binary 14w) וּ/פִֽילַגְשׁ֖/וֹ וּ/שְׁמָ֣/הּ רְאוּמָ֑ה וַ/תֵּ…
├── PHRASE (binary 3w) וּ/פִֽילַגְשׁ֖/וֹ וּ/שְׁמָ֣/הּ רְאוּמָ֑ה
│ ├── [0] וּ/פִֽילַגְשׁ֖/וֹ (tifcha, rank=2)
│ └── [1-2] GLUE וּ/שְׁמָ֣/הּ רְאוּמָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) וַ/תֵּ֤לֶד גַּם הִוא֙ אֶת טֶ֣בַח וְ/אֶת גַּ֔חַם…
├── PHRASE (binary 7w) וַ/תֵּ֤לֶד גַּם הִוא֙ אֶת טֶ֣בַח וְ/אֶת גַּ֔חַם
│ ├── [3-5] GLUE וַ/תֵּ֤לֶד גַּם הִוא֙ (pashta, rank=3)
│ └── [6-9] GLUE אֶת טֶ֣בַח וְ/אֶת גַּ֔חַם (zaqef qatan, rank=2)
└── PHRASE (binary 4w) וְ/אֶת תַּ֖חַשׁ וְ/אֶֽת מַעֲכָֽה
├── [10-11] GLUE וְ/אֶת תַּ֖חַשׁ (tifcha, rank=2)
└── [12-13] GLUE וְ/אֶֽת מַעֲכָֽה (silluq (verse-end emperor), rank=1)
Machine verification — run_unit.py (computed live, not stored)
unit: gen_38_moriah_binding_oath — The test, the binding, the oath (22:1-24) [frozen]
final state: WORLD=['malakh_YHWH', 'shnei_nearav', 'yitzchaq'] (+1 presupposed) | REGISTRY={'ha_maqom': 'YHWH_Yireh'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['named_before_any_presence', 'read_before_install']
=== S1 — The test into an empty field: after STEP_Gn_22_1
וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם … הִנֵּנִי (ve-ha-elohim nisah et-avraham … hineni)
PASS Facts achar-ha-devarim / ve-ha-elohim-nisah / va-yomer-hineni HOLD (2 facts)
PASS no test, no name. (tests=0 names=0)
=== S2 — The crown command: after STEP_Gn_22_2
קַח־נָא אֶת־בִּנְךָ אֶת־יְחִידְךָ … וְלֶךְ־לְךָ … וְהַעֲלֵהוּ (qach-na et-binkha et-yechidkha … ve-lekh-lekha … ve-haalehu)
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)'])
PASS Facts yechidkha-asher-ahavta / asher-omar-elekha HOLD (4 facts)
PASS no test, no name. (tests=0 names=0)
=== S3 — The dawn obedience — two roots, no pop: after STEP_Gn_22_3
וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר … וַיָּקָם וַיֵּלֶךְ (va-yashkem avraham ba-boqer … va-yaqam va-yelekh)
PASS WORLD += yitzchaq (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.22.3'})
PASS WORLD += shnei_nearav (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.22.3'})
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)'])
PASS Facts va-yashkem-va-yachavosh HOLD. (5 facts)
=== S4 — The stay-demand and the exclusive we: after STEP_Gn_22_5
שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר … וְנָשׁוּבָה אֲלֵיכֶם (shevu-lakhem po im-ha-chamor … ve-nashuvah aleikhem)
PASS LET(shevu(po_im_ha_chamor)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)'])
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)'])
PASS Facts nelkha-ve-nishtachaveh-ve-nashuvah HOLD. (7 facts)
=== S5 — The walk and the question: after STEP_Gn_22_8
אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי (elohim yireh-lo ha-seh le-olah beni)
PASS Facts avi-hineni-veni / ayeh-ha-seh HOLD (10 facts)
PASS Facts elohim-yireh-lo HOLD (10 facts)
PASS no test, no name. (tests=0 names=0)
=== S6 — The binding and the knife — the queue unmoved: after STEP_Gn_22_10
וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט אֶת־בְּנוֹ (va-yiqach et-ha-maakhelet li-shechot et-beno)
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)'])
PASS LET(shevu(po_im_ha_chamor)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)'])
PASS Facts va-yaaqod-va-yasem-al-ha-mizbeach HOLD (11 facts)
PASS no test, no name. (tests=0 names=0)
=== S7 — The doubled call: after STEP_Gn_22_11
אַבְרָהָם אַבְרָהָם וַיֹּאמֶר הִנֵּנִי (avraham avraham va-yomer hineni)
PASS WORLD += malakh_YHWH (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.22.11'})
PASS Facts avraham-avraham HOLD. (12 facts)
=== S8 — THE COLLISION — the countermand against the live demand: after STEP_Gn_22_12
אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר … וְלֹא חָשַׂכְתָּ (al-tishlach yadkha el-ha-naar … ve-lo chasakhta)
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS LET-NOT(tishlach(yadkha_el_ha_naar)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS LET-NOT(taas(lo_meumah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS Facts atah-yadati-ki-yere-elohim / lo-chasakhta HOLD. (14 facts)
=== S9 — The fork's verse — the substitute, no pop fired: after STEP_Gn_22_14
וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ … יְהוָה יִרְאֶה (va-yaalehu le-olah tachat beno … YHWH yireh)
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS REGISTRY: ha_maqom->YHWH_Yireh (1 write) (names={'ha_maqom': 'YHWH_Yireh'} writes=1)
PASS Facts ayil-neechaz-ba-sevakh / va-yaalehu-tachat-beno HOLD. (17 facts)
=== S10 — The oath and the return: after STEP_Gn_22_19
בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה … וַיֵּשֶׁב אַבְרָהָם בִּבְאֵר שָׁבַע (bi nishbati neum-YHWH … va-yeshev avraham bi-veer shava)
PASS LET(shevu(po_im_ha_chamor)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS Facts bi-nishbati-neum-YHWH / varekh-avarekhkha / ekev-asher-shamata HOLD (23 facts)
PASS flags beer_sheva as read-before-install. (flagged=['beer_sheva'])
=== S11 — The coda and the final ledger: after STEP_Gn_22_20_24
וּבְתוּאֵל יָלַד אֶת־רִבְקָה (u-vetuel yalad et-rivqah)
PASS WORLD = {yitzchaq, shnei_nearav, malakh_YHWH} (created=['malakh_YHWH', 'shnei_nearav', 'yitzchaq'])
PASS REGISTRY: ha_maqom->YHWH_Yireh (1 write) (names={'ha_maqom': 'YHWH_Yireh'} writes=1)
PASS LET(qach_lekh_ve_haalehu(et_binkha, le_olah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS LET(shevu(po_im_ha_chamor)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS LET-NOT(tishlach(yadkha_el_ha_naar)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS LET-NOT(taas(lo_meumah)) pushed and OPEN (queue=['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)'])
PASS Facts va-yugad-le-avraham / u-vetuel-yalad-et-rivqah HOLD (26 facts)
PASS LEDGER stays EMPTY (open transaction) (ledger_days=[])
PASS flags beer_sheva as read-before-install. (flagged=['beer_sheva'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_38_moriah_binding_oath — 22:1-24
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_38_moriah_binding_oath.yaml) is CANONICAL (Pre-
# Code); this file is a derived, runnable rendering. Do not edit —
# regenerate. The assertion block at the bottom is baked from the Stage D
# interpreter's actual final state: running this file re-proves the unit.
# Experimental model — not binding religious law.
# =============================================================================
"""The test, the binding, the oath (22:1-24)"""
from machine import Machine
m = Machine("gen_38_moriah_binding_oath")
# -------------------------- Gen.22.1 · THE_FRAME_AND_THE_TEST --------------
# וַיְהִי אַחַר הַדְּבָרִים הָאֵלֶּה וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם
# וַיֹּאמֶר אֵלָיו אַבְרָהָם וַיֹּאמֶר הִנֵּנִי
# "And it came to pass after these things, that God did prove Abraham, and
# said unto him: 'Abraham'; and he said: 'Here am I.'"
m.step("Gen.22.1")
# ‹וְהָאֱלֹהִים נִסָּה אֶת־אַבְרָהָם … הִנֵּנִי› (“and-the-God test obj-
# marker Abraham … behold-me/my”) — fact holds: after-the-word/thing-and-
# the-God-nisah-obj-marker-Abraham; and-say-behold-I
m.fact("achar_ha_devarim_ve_ha_elohim_nisah_et_avraham",
"va_yomer_hineni")
# -------------------------- Gen.22.2 · THE_CROWN_COMMAND -------------------
# וַיֹּאמֶר קַח־נָא אֶת־בִּנְךָ אֶת־יְחִידְךָ אֲשֶׁר־אָהַבְתָּ אֶת־יִצְחָק
# וְלֶךְ־לְךָ אֶל־אֶרֶץ הַמֹּרִיָּה וְהַעֲלֵהוּ שָׁם לְעֹלָה עַל אַחַד
# הֶהָרִים אֲשֶׁר אֹמַר אֵלֶיךָ
# "And He said: 'Take now thy son, thine only son, whom thou lovest, even
# Isaac, and get thee into the land of Moriah; and offer him there for a
# burnt-offering upon one of the mountains which I will tell thee of.'"
m.step("Gen.22.2")
# ‹קַח־נָא … וְלֶךְ־לְךָ … וְהַעֲלֵהוּ שָׁם לְעֹלָה› (“take please … and-go
# to-you/your … and-go-up-him/its there to-burnt-offering”) — God speaks a
# demand — LET: take-go-and-haalehu(obj-marker-binkha, to-burnt-offering)
m.declare("elohim", "LET",
"qach_lekh_ve_haalehu(et_binkha, le_olah)")
# ‹אֶת־בִּנְךָ אֶת־יְחִידְךָ אֲשֶׁר־אָהַבְתָּ אֶת־יִצְחָק› (“obj-marker son-
# you/your obj-marker united-you/your which have-affection-for obj-marker
# Isaac”) — fact holds: obj-marker-binkha-obj-marker-yechidkha-which-have-
# affection-for-obj-marker-Isaac; to-earth-the-moriyah-which-say-to-you
m.fact("et_binkha_et_yechidkha_asher_ahavta_et_yitzchaq",
"el_eretz_ha_moriyah_asher_omar_elekha")
# -------------------------- Gen.22.3 · THE_DAWN_OBEDIENCE_TWO_ROOTS_RETURN -
# וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר וַיַּחֲבֹשׁ אֶת־חֲמֹרוֹ וַיִּקַּח
# אֶת־שְׁנֵי נְעָרָיו אִתּוֹ וְאֵת יִצְחָק בְּנוֹ וַיְבַקַּע עֲצֵי עֹלָה
# וַיָּקָם וַיֵּלֶךְ אֶל־הַמָּקוֹם אֲשֶׁר־אָמַר־לוֹ הָאֱלֹהִים
# "And Abraham rose early in the morning, and saddled his ass, and took two
# of his young men with him, and Isaac his son; and he cleaved the wood for
# the burnt-offering, and rose up, and went unto the place of which God had
# told him."
m.step("Gen.22.3")
# ‹וְאֵת יִצְחָק בְּנוֹ› (“and-obj-marker Isaac son-him/its”) — the world
# gains: Isaac
m.install("yitzchaq")
# ‹אֶת־שְׁנֵי נְעָרָיו› (“obj-marker two boy-him/its”) — the world gains:
# shnei-nearav
m.install("shnei_nearav")
# ‹וַיַּשְׁכֵּם … וַיַּחֲבֹשׁ … וַיִּקַּח … וַיְבַקַּע … וַיָּקָם וַיֵּלֶךְ›
# (“and-rise-early … and-wrap-firmly … and-take … and-cleave … and-arise
# and-go”) — event: dawn-journey — agent Abraham
m.event("dawn_journey", agent="avraham")
# ‹וַיַּשְׁכֵּם אַבְרָהָם בַּבֹּקֶר וַיַּחֲבֹשׁ אֶת־חֲמֹרוֹ› (“and-rise-
# early Abraham in-morning and-wrap-firmly obj-marker male-ass-him/its”) —
# fact holds: and-rise-early-in-the-morning-and-wrap-firmly-obj-marker-
# chamoro
m.fact("va_yashkem_ba_boqer_va_yachavosh_et_chamoro")
# -------------------------- Gen.22.4 · THE_THIRD_DAY_SIGHTING --------------
# בַּיּוֹם הַשְּׁלִישִׁי וַיִּשָּׂא אַבְרָהָם אֶת־עֵינָיו וַיַּרְא
# אֶת־הַמָּקוֹם מֵרָחֹק
# "On the third day Abraham lifted up his eyes, and saw the place afar off."
m.step("Gen.22.4")
# ‹בַּיּוֹם הַשְּׁלִישִׁי … מֵרָחֹק› (“in-day the-third … from-remote”) —
# fact holds: in-the-day-the-third-and-see-obj-marker-the-place-from-remote
m.fact("ba_yom_ha_shelishi_va_yar_et_ha_maqom_me_rachoq")
# -------------------------- Gen.22.5 · THE_STAY_DEMAND_AND_THE_EXCLUSIVE_WE -
# וַיֹּאמֶר אַבְרָהָם אֶל־נְעָרָיו שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר וַאֲנִי
# וְהַנַּעַר נֵלְכָה עַד־כֹּה וְנִשְׁתַּחֲוֶה וְנָשׁוּבָה אֲלֵיכֶם
# "And Abraham said unto his young men: 'Abide ye here with the ass, and I
# and the lad will go yonder; and we will worship, and come back to you.'"
m.step("Gen.22.5")
# ‹שְׁבוּ־לָכֶם פֹּה עִם־הַחֲמוֹר› (“dwell/sit to-you/your(pl) this-place
# with the-male-ass”) — Abraham speaks a demand — LET: dwell/sit(this-place-
# with-the-male-ass)
m.declare("avraham", "LET",
"shevu(po_im_ha_chamor)")
# ‹נֵלְכָה … וְנִשְׁתַּחֲוֶה וְנָשׁוּבָה אֲלֵיכֶם› (“go … and-afflict and-
# return to-you/your(pl)”) — fact holds: go-and-nishtachaveh-and-nashuvah-
# aleikhem
m.fact("nelkha_ve_nishtachaveh_ve_nashuvah_aleikhem")
# -------------------------- Gen.22.6 · THE_LOADED_WALK_TOGETHER ------------
# וַיִּקַּח אַבְרָהָם אֶת־עֲצֵי הָעֹלָה וַיָּשֶׂם עַל־יִצְחָק בְּנוֹ
# וַיִּקַּח בְּיָדוֹ אֶת־הָאֵשׁ וְאֶת־הַמַּאֲכֶלֶת וַיֵּלְכוּ שְׁנֵיהֶם
# יַחְדָּו
# "And Abraham took the wood of the burnt-offering, and laid it upon Isaac
# his son; and he took in his hand the fire and the knife; and they went
# both of them together."
m.step("Gen.22.6")
# ‹וַיָּשֶׂם עַל־יִצְחָק בְּנוֹ … וַיֵּלְכוּ שְׁנֵיהֶם יַחְדָּו› (“and-
# put/set over Isaac son-him/its … and-go two-them/their unit”) — event:
# load-and-walk — agent Abraham
m.event("load_and_walk", agent="avraham")
# -------------------------- Gen.22.7 · THE_WHERE_IS_THE_LAMB ---------------
# וַיֹּאמֶר יִצְחָק אֶל־אַבְרָהָם אָבִיו וַיֹּאמֶר אָבִי וַיֹּאמֶר הִנֶּנִּי
# בְנִי וַיֹּאמֶר הִנֵּה הָאֵשׁ וְהָעֵצִים וְאַיֵּה הַשֶּׂה לְעֹלָה
# "And Isaac spoke unto Abraham his father, and said: 'My father.' And he
# said: 'Here am I, my son.' And he said: 'Behold the fire and the wood; but
# where is the lamb for a burnt-offering?'"
m.step("Gen.22.7")
# ‹אָבִי … הִנֶּנִּי בְנִי … וְאַיֵּה הַשֶּׂה לְעֹלָה› (“father-me/my …
# behold-me/my son-me/my … and-where? the-member-of-a-flock to-burnt-
# offering”) — fact holds: father-and-say-behold-I-veni; and-ayeh-the-seh-
# to-burnt-offering
m.fact("avi_va_yomer_hineni_veni",
"ve_ayeh_ha_seh_le_olah")
# -------------------------- Gen.22.8 · THE_PROVIDE_ANSWER ------------------
# וַיֹּאמֶר אַבְרָהָם אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי
# וַיֵּלְכוּ שְׁנֵיהֶם יַחְדָּו
# "And Abraham said: 'God will provide Himself the lamb for a burnt-
# offering, my son.' So they went both of them together."
m.step("Gen.22.8")
# ‹אֱלֹהִים יִרְאֶה־לּוֹ הַשֶּׂה לְעֹלָה בְּנִי› (“God see to-him/its the-
# member-of-a-flock to-burnt-offering son-me/my”) — fact holds: God-yireh-
# not-the-seh-to-burnt-offering-beni
m.fact("elohim_yireh_lo_ha_seh_le_olah_beni")
# -------------------------- Gen.22.9 · THE_BINDING -------------------------
# וַיָּבֹאוּ אֶל־הַמָּקוֹם אֲשֶׁר אָמַר־לוֹ הָאֱלֹהִים וַיִּבֶן שָׁם
# אַבְרָהָם אֶת־הַמִּזְבֵּחַ וַיַּעֲרֹךְ אֶת־הָעֵצִים וַיַּעֲקֹד אֶת־יִצְחָק
# בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ מִמַּעַל לָעֵצִים
# "And they came to the place which God had told him of; and Abraham built
# the altar there, and laid the wood in order, and bound Isaac his son, and
# laid him on the altar, upon the wood."
m.step("Gen.22.9")
# ‹וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ› (“and-
# tie-with-thongs obj-marker Isaac son-him/its and-put/set obj-marker-
# him/its over the-altar”) — event: bind — agent Abraham; theme Isaac
m.event("bind", agent="avraham", themes=["yitzchaq"])
# ‹וַיַּעֲקֹד אֶת־יִצְחָק בְּנוֹ וַיָּשֶׂם אֹתוֹ עַל־הַמִּזְבֵּחַ› (“and-
# tie-with-thongs obj-marker Isaac son-him/its and-put/set obj-marker-
# him/its over the-altar”) — fact holds: and-tie-with-thongs-obj-marker-
# Isaac-and-put/set-over-the-altar
m.fact("va_yaaqod_et_yitzchaq_va_yasem_al_ha_mizbeach")
# -------------------------- Gen.22.10 · THE_HAND_AND_THE_KNIFE -------------
# וַיִּשְׁלַח אַבְרָהָם אֶת־יָדוֹ וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט
# אֶת־בְּנוֹ
# "And Abraham stretched forth his hand, and took the knife to slay his
# son."
m.step("Gen.22.10")
# ‹וַיִּשְׁלַח … אֶת־יָדוֹ וַיִּקַּח אֶת־הַמַּאֲכֶלֶת לִשְׁחֹט› (“and-send …
# obj-marker hand-him/its and-take obj-marker the-something-to-eat-with to-
# slaughter”) — event: reach-knife — agent Abraham
m.event("reach_knife", agent="avraham")
# -------------------------- Gen.22.11 · THE_FIRST_DOUBLED_NAME_CALL --------
# וַיִּקְרָא אֵלָיו מַלְאַךְ יְהוָה מִן־הַשָּׁמַיִם וַיֹּאמֶר אַבְרָהָם
# אַבְרָהָם וַיֹּאמֶר הִנֵּנִי
# "And the angel of the LORD called unto him out of heaven, and said:
# 'Abraham, Abraham.' And he said: 'Here am I.'"
m.step("Gen.22.11")
# ‹מַלְאַךְ יְהוָה מִן־הַשָּׁמַיִם› (“messenger YHWH from the-heavens”) —
# the world gains: messenger-the-LORD
m.install("malakh_YHWH")
# ‹אַבְרָהָם אַבְרָהָם … הִנֵּנִי› (“Abraham Abraham … behold-me/my”) — fact
# holds: Abraham-Abraham-and-say-behold-I
m.fact("avraham_avraham_va_yomer_hineni")
# -------------------------- Gen.22.12 · THE_COUNTERMAND_AND_THE_CONFERRED_TITLE -
# וַיֹּאמֶר אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר וְאַל־תַּעַשׂ לוֹ מְאוּמָה
# כִּי עַתָּה יָדַעְתִּי כִּי־יְרֵא אֱלֹהִים אַתָּה וְלֹא חָשַׂכְתָּ
# אֶת־בִּנְךָ אֶת־יְחִידְךָ מִמֶּנִּי
# "And he said: 'Lay not thy hand upon the lad, neither do thou any thing
# unto him; for now I know that thou art a God-fearing man, seeing thou hast
# not withheld thy son, thine only son, from Me.'"
m.step("Gen.22.12")
# ‹אַל־תִּשְׁלַח יָדְךָ אֶל־הַנַּעַר› (“do-not send hand-you/your to the-
# boy”) — messenger-the-LORD speaks a demand — LET-NOT: send(yadkha-to-the-
# boy)
m.declare("malakh_YHWH", "LET-NOT",
"tishlach(yadkha_el_ha_naar)")
# ‹וְאַל־תַּעַשׂ לוֹ מְאוּמָה› (“and-do-not make to-him/its speck”) —
# messenger-the-LORD speaks a demand — LET-NOT: make(not-meumah)
m.declare("malakh_YHWH", "LET-NOT",
"taas(lo_meumah)")
# ‹כִּי עַתָּה יָדַעְתִּי כִּי־יְרֵא אֱלֹהִים אַתָּה וְלֹא חָשַׂכְתָּ›
# (“that now know that fearing God you and-not restrain”) — fact holds: you-
# know-that-fearing-God-you; and-not-restrain-obj-marker-binkha-obj-marker-
# yechidkha
m.fact("atah_yadati_ki_yere_elohim_atah",
"ve_lo_chasakhta_et_binkha_et_yechidkha")
# -------------------------- Gen.22.13 · THE_RAM_AND_THE_CROWN_FORK ---------
# וַיִּשָּׂא אַבְרָהָם אֶת־עֵינָיו וַיַּרְא וְהִנֵּה־אַיִל אַחַר נֶאֱחַז
# בַּסְּבַךְ בְּקַרְנָיו וַיֵּלֶךְ אַבְרָהָם וַיִּקַּח אֶת־הָאַיִל
# וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ
# "And Abraham lifted up his eyes, and looked, and behold behind him a ram
# caught in the thicket by his horns. And Abraham went and took the ram, and
# offered him up for a burnt-offering in the stead of his son."
m.step("Gen.22.13")
# ‹וְהִנֵּה־אַיִל אַחַר נֶאֱחַז בַּסְּבַךְ בְּקַרְנָיו› (“and-behold ram
# after seize in-copse in-horn-him/its”) — event: see-ram — agent Abraham
m.event("see_ram", agent="avraham")
# ‹וַיֵּלֶךְ אַבְרָהָם וַיִּקַּח אֶת־הָאַיִל וַיַּעֲלֵהוּ לְעֹלָה תַּחַת
# בְּנוֹ› (“and-go Abraham and-take obj-marker the-ram and-go-up-him/its to-
# burnt-offering under son-him/its”) — event: offer-substitute — agent
# Abraham; theme the-ram
m.event("offer_substitute", agent="avraham", themes=["ha_ayil"])
# ‹אַיִל … נֶאֱחַז בַּסְּבַךְ … וַיַּעֲלֵהוּ לְעֹלָה תַּחַת בְּנוֹ› (“ram …
# seize in-copse … and-go-up-him/its to-burnt-offering under son-him/its”) —
# fact holds: ram-seize-in-the-sevakh-in-qarnav; and-yaalehu-to-burnt-
# offering-under-beno
m.fact("ayil_neechaz_ba_sevakh_be_qarnav",
"va_yaalehu_le_olah_tachat_beno")
# -------------------------- Gen.22.14 · THE_SENTENCE_NAME_AND_THE_SAYING ---
# וַיִּקְרָא אַבְרָהָם שֵׁם־הַמָּקוֹם הַהוּא יְהוָה יִרְאֶה אֲשֶׁר יֵאָמֵר
# הַיּוֹם בְּהַר יְהוָה יֵרָאֶה
# "And Abraham called the name of that place Adonai-jireh; as it is said to
# this day: 'In the mount where the LORD is seen.'"
m.step("Gen.22.14")
# ‹וַיִּקְרָא אַבְרָהָם שֵׁם־הַמָּקוֹם הַהוּא יְהוָה יִרְאֶה› (“and-call
# Abraham name the-place that YHWH see”) — named: the-place := the-LORD-
# Yireh
m.name("ha_maqom", "YHWH_Yireh")
# ‹אֲשֶׁר יֵאָמֵר הַיּוֹם בְּהַר יְהוָה יֵרָאֶה› (“which say the-day in-
# mountain YHWH see”) — pattern recorded: which-say-the-day-in-mountain-the-
# LORD-yeraeh
m.pattern("asher_yeamer_ha_yom_be_har_YHWH_yeraeh")
# -------------------------- Gen.22.15 · THE_SECOND_SKY_CALL ----------------
# וַיִּקְרָא מַלְאַךְ יְהוָה אֶל־אַבְרָהָם שֵׁנִית מִן־הַשָּׁמָיִם
# "And the angel of the LORD called unto Abraham a second time out of
# heaven,"
m.step("Gen.22.15")
# ‹וַיִּקְרָא … שֵׁנִית מִן־הַשָּׁמָיִם› (“and-call … second from the-
# heavens”) — event: sky-call — agent messenger-the-LORD
m.event("sky_call", agent="malakh_YHWH")
# -------------------------- Gen.22.16 · THE_DIVINE_SELF_OATH ---------------
# וַיֹּאמֶר בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה כִּי יַעַן אֲשֶׁר עָשִׂיתָ
# אֶת־הַדָּבָר הַזֶּה וְלֹא חָשַׂכְתָּ אֶת־בִּנְךָ אֶת־יְחִידֶךָ
# "and said: 'By Myself have I sworn, saith the LORD, because thou hast done
# this thing, and hast not withheld thy son, thine only son,"
m.step("Gen.22.16")
# ‹בִּי נִשְׁבַּעְתִּי נְאֻם־יְהוָה … יַעַן אֲשֶׁר עָשִׂיתָ› (“in-me/my
# swear oracle YHWH … heed which make”) — fact holds: bi-swear-oracle-the-
# LORD; heed-which-make-and-not-restrain
m.fact("bi_nishbati_neum_YHWH",
"yaan_asher_asita_ve_lo_chasakhta")
# -------------------------- Gen.22.17 · THE_DOUBLED_BLESSINGS --------------
# כִּי־בָרֵךְ אֲבָרֶכְךָ וְהַרְבָּה אַרְבֶּה אֶת־זַרְעֲךָ כְּכוֹכְבֵי
# הַשָּׁמַיִם וְכַחוֹל אֲשֶׁר עַל־שְׂפַת הַיָּם וְיִרַשׁ זַרְעֲךָ אֵת שַׁעַר
# אֹיְבָיו
# "that in blessing I will bless thee, and in multiplying I will multiply
# thy seed as the stars of the heaven, and as the sand which is upon the
# seashore; and thy seed shall possess the gate of his enemies;"
m.step("Gen.22.17")
# ‹בָרֵךְ אֲבָרֶכְךָ וְהַרְבָּה אַרְבֶּה … כְּכוֹכְבֵי … וְכַחוֹל› (“bless
# bless-you/your and-multiply multiply … like-stars … and-like-sand”) — fact
# holds: bless-avarekhkha-and-greatly-I-will-multiply; like-khokhvei-and-
# you/your-chol-and-possess/inherit-gate-oyvav
m.fact("varekh_avarekhkha_ve_harbah_arbeh",
"ke_khokhvei_ve_kha_chol_ve_yirash_shaar_oyvav")
# -------------------------- Gen.22.18 · THE_LISTENED_VOICE_GROUND ----------
# וְהִתְבָּרְכוּ בְזַרְעֲךָ כֹּל גּוֹיֵי הָאָרֶץ עֵקֶב אֲשֶׁר שָׁמַעְתָּ
# בְּקֹלִי
# "and in thy seed shall all the nations of the earth be blessed; because
# thou hast hearkened to My voice.'"
m.step("Gen.22.18")
# ‹וְהִתְבָּרְכוּ … עֵקֶב אֲשֶׁר שָׁמַעְתָּ בְּקֹלִי› (“and-bless … heel
# which hear in-voice/sound-me/my”) — fact holds: and-bless-and-zarakha-all-
# goyei-the-earth; ekev-which-hear-in-qoli
m.fact("ve_hitbarakhu_ve_zarakha_kol_goyei_ha_aretz",
"ekev_asher_shamata_be_qoli")
# -------------------------- Gen.22.19 · THE_RETURN_AND_THE_DWELL -----------
# וַיָּשָׁב אַבְרָהָם אֶל־נְעָרָיו וַיָּקֻמוּ וַיֵּלְכוּ יַחְדָּו אֶל־בְּאֵר
# שָׁבַע וַיֵּשֶׁב אַבְרָהָם בִּבְאֵר שָׁבַע
# "So Abraham returned unto his young men, and they rose up and went
# together to Beer-sheba; and Abraham dwelt at Beer-sheba."
m.step("Gen.22.19")
# ‹וַיָּשָׁב … וַיָּקֻמוּ וַיֵּלְכוּ יַחְדָּו … וַיֵּשֶׁב› (“and-return …
# and-arise and-go unit … and-return”) — event: return-dwell — agent Abraham
m.event("return_dwell", agent="avraham")
# ‹אֶל־בְּאֵר שָׁבַע … בִּבְאֵר שָׁבַע› (“to Beer-shebah … in Beer-shebah”)
# — reads without prior install (flag, not fix): beer-seven
m.presupposed("beer_sheva")
# -------------------------- Gen.22.20-24 · THE_CODA_REPORT_THE_BRIDE_MINTED -
# וַיְהִי אַחֲרֵי הַדְּבָרִים הָאֵלֶּה וַיֻּגַּד לְאַבְרָהָם לֵאמֹר הִנֵּה
# יָלְדָה מִלְכָּה גַם־הִוא בָּנִים לְנָחוֹר אָחִיךָ … וּבְתוּאֵל יָלַד
# אֶת־רִבְקָה … וּפִילַגְשׁוֹ וּשְׁמָהּ רְאוּמָה וַתֵּלֶד גַּם־הִוא
# "And it came to pass after these things, that it was told Abraham, saying:
# 'Behold, Milcah, she also hath borne children unto thy brother Nahor: Uz
# his first-born, and Buz his brother, and Kemuel the father of Aram; and
# Chesed, and Hazo, and Pildash, and Jidlaph, and Bethuel.' And Bethuel
# begot Rebekah; these eight Milcah bore to Nahor, Abraham's brother. And
# his concubine, whose name was Reumah, she also bore Tebah, and Gaham, and
# Tahash, and Maacah."
m.step("Gen.22.20-24")
# ‹וַיֻּגַּד לְאַבְרָהָם … הִנֵּה יָלְדָה מִלְכָּה גַם־הִוא … וּבְתוּאֵל
# יָלַד אֶת־רִבְקָה› (“and-tell to-Abraham … behold bear-young Milcah also
# he/it … and-Bethuel bear-young obj-marker Rebekah”) — fact holds: and-
# tell-to-Abraham-behold-yaldah-milkah-also-hi; and-Bethuel-bear-young-obj-
# marker-rivqah
m.fact("va_yugad_le_avraham_hinneh_yaldah_milkah_gam_hi",
"u_vetuel_yalad_et_rivqah")
# ‹שְׁמֹנָה אֵלֶּה יָלְדָה מִלְכָּה … וּפִילַגְשׁוֹ … וַתֵּלֶד גַּם־הִוא›
# (“number these bear-young Milcah … and-concubine-him/its … and-bear-young
# also he/it”) — fact holds: shmonah-these-yaldah-milkah-and-filagsho-
# reumah-four
m.fact("shmonah_ele_yaldah_milkah_u_filagsho_reumah_arbaah")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'yitzchaq', 'shnei_nearav', 'malakh_YHWH'}
assert m.presupposed_set() == {'beer_sheva'}
assert m.REGISTRY["names"] == {'ha_maqom': 'YHWH_Yireh'}
assert m.REGISTRY["writes"] == 1
assert m.tests_list() == []
assert m.open_demands() == ['qach_lekh_ve_haalehu(et_binkha, le_olah)', 'shevu(po_im_ha_chamor)', 'tishlach(yadkha_el_ha_naar)', 'taas(lo_meumah)']
assert len(m.SPECS["log"]) == 4
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'named_before_any_presence': 1, 'read_before_install': 1}
assert sorted(m.WORLD["facts"]) == sorted(['achar_ha_devarim_ve_ha_elohim_nisah_et_avraham', 'va_yomer_hineni', 'et_binkha_et_yechidkha_asher_ahavta_et_yitzchaq', 'el_eretz_ha_moriyah_asher_omar_elekha', 'va_yashkem_ba_boqer_va_yachavosh_et_chamoro', 'ba_yom_ha_shelishi_va_yar_et_ha_maqom_me_rachoq', 'nelkha_ve_nishtachaveh_ve_nashuvah_aleikhem', 'avi_va_yomer_hineni_veni', 've_ayeh_ha_seh_le_olah', 'elohim_yireh_lo_ha_seh_le_olah_beni', 'va_yaaqod_et_yitzchaq_va_yasem_al_ha_mizbeach', 'avraham_avraham_va_yomer_hineni', 'atah_yadati_ki_yere_elohim_atah', 've_lo_chasakhta_et_binkha_et_yechidkha', 'ayil_neechaz_ba_sevakh_be_qarnav', 'va_yaalehu_le_olah_tachat_beno', 'pattern: asher_yeamer_ha_yom_be_har_YHWH_yeraeh', 'bi_nishbati_neum_YHWH', 'yaan_asher_asita_ve_lo_chasakhta', 'varekh_avarekhkha_ve_harbah_arbeh', 'ke_khokhvei_ve_kha_chol_ve_yirash_shaar_oyvav', 've_hitbarakhu_ve_zarakha_kol_goyei_ha_aretz', 'ekev_asher_shamata_be_qoli', 'va_yugad_le_avraham_hinneh_yaldah_milkah_gam_hi', 'u_vetuel_yalad_et_rivqah', 'shmonah_ele_yaldah_milkah_u_filagsho_reumah_arbaah'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 14
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")