Bethel again: Israel written, three deaths on the road (35:1-29) FROZEN
וַיִּקְרָא אֶת־שְׁמוֹ יִשְׂרָאֵל · va-yiqra et-shemo yisrael · 'And He called his name Israel'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Reconstruction notice (2026-08-08) | This unit was frozen in the lean era (meta + scenarios + boot steps; no step table was written at freeze). The steps below were reconstructed on 2026-08-08 from the freeze-era draft note (meta.draft_note_en, displayed on the unit page), the era's continue-docs, and git history. No new derivation claims are introduced: every entry restates recorded decisions, and the full per-verse machine record is the boot steps below. | established |
| B | Source + span + structure | Genesis 35:1-29, the whole chapter: 29 verses, 378 tokens, source-verified. Twenty-six verses carry the mid-verse rest; the three without (35:15, 35:24, 35:25) split at the strongest-disjunctive fallback. No written/read variants in span. Evidence: the SNAPSHOT database plus the debut-map attachment. | reconstructed |
| C | Draft path + review | Solo-era unit #12: Claude as coordinator and deriver, with an external fresh-context adversarial review before freeze per the standing law. Frozen 2026-08-07. | reconstructed |
| D | Care-point ledger (distilled) | Six crowns govern the record. THE DECREE AND THE FORMULA IN ONE VERSE (35:10): the decree grammar — which writes nothing, per the frozen law — stands beside the narrative naming formula, which writes: the registry takes Jacob := Israel three chapters after the wrestling decree withheld it, and only the formula moves the machine; the countersign is that the narrator's first Israel comes only AFTER the write, while Jacob keeps being written — last-write-wins, not erasure. THE PURITY-PAIR BORN IN CONSECUTIVE CHAPTERS: the defile-verb entered on Dinah, the purify-verb enters one chapter later in the purge command — the codebook's defining pair, back to back. LAST-WRITE-WINS, TWICE: the El-prefixed Bethel name reduced to the plain one; and the dying mother's son-of-my-sorrow overwritten by the father's Benjamin — the machine's own law enacting the story's grief. THE CULT KIT SEEDED AT BETHEL: the libation-noun born on the pillar; the pour-verb's first two tokens are the same man's two Bethel anointings twenty years apart; the pillar's career ends BANNED by the law. GOD-GOES-UP, EXACTLY TWICE: only the two renaming theophanies end with God ascending. BETHLEHEM EXISTS ONLY AT RACHEL'S GRAVE: the death-scene's entire rare vocabulary recurs nowhere but the dying Jacob's own retelling. Also filed: God NAMES the flight — the flee-verb Jacob never performed is the verb God uses for that journey; the earring's ledger walks bride-gift, buried idol-freight, the golden calf, the sanctuary offering; the nurse who traveled anonymous since the bride-scenes receives her name IN HER DEATH-VERSE — a hapax person under a hapax tree with a hapax name, standing where Rebekah's never-narrated death never will; the hardness-verb is born in Rachel's labor and spent on hearts and necks; the midwife's office debuts losing a mother; the wished jussives of the send-off blessing return as commands from the wished God; and the brother-pair burial repeats with its order FLIPPED — Esau precedes Jacob where Isaac preceded Ishmael. | reconstructed |
| E | Machine design | NINE pushes, ZERO pops — a second nine-open wall, back to back with the previous unit's, and they are OPPOSITES: those nine died refused and unperformed; these nine die OBEYED. Every commanded thing happens, and not one commanded VERB ever returns as the demandee's narrated deed: arise-and-go-up is answered by journeying and coming; dwell by the other abide-root; make-an-altar by BUILDING it; remove-the-gods by giving and hiding; purify and change-garments are never narrated at all; the Torah's ONLY SINGULAR be-fruitful-and-multiply (a full form-census: one singular imperative of each root, both in this verse, against the plural blessings of creation and Noah) waits on a people-horizon; and the midwife's fear-not is followed by the mother's death. The one commanded root that does narrate has GOD, not the demandee, as subject — ascending FROM Jacob, the opposite direction. Under the standing other-root law all nine cards stand open over a chapter of visible obedience: the mismatch family gains its COMPLIANCE class. The volitive census (twelve) is fully accounted — nine cards, zero fenced. Registry: six formula-writes on four objects (two overwrites) — the ledger ends Bethel, the Oak of Weeping, Israel, Benjamin. Zero tests. | reconstructed |
| F | Freeze + later history | Frozen at commit 4a1eb5e (2026-08-07, "Freeze gen_58: Israel written, three deaths on the road"). Oral audit 2026-08-08 folded same day (run 7 block 7): 7 VERIFIED, 0 FAILED, 1 UNCHECKABLE; headline: the double-cantillation Reuben verse (new gap class), Benjamin born full, and the terror-verse spelling discrepancy. | reconstructed |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_35_1 · Gen.35.1 · THE_COMMAND_CHAIN
וַיֹּאמֶר אֱלֹהִים אֶל־יַעֲקֹב קוּם עֲלֵה בֵית־אֵל וְשֶׁב־שָׁם וַעֲשֵׂה־שָׁם מִזְבֵּחַ לָאֵל הַנִּרְאֶה אֵלֶיךָ בְּבָרְחֲךָ מִפְּנֵי עֵשָׂו אָחִיךָ · va-yomer Elohim el-yaaqov qum ale vet-el ve-shev-sham va-ase-sham mizbecha la-el ha-nire elekha be-varchakha mi-pene esav achikha · And God said to Jacob: Arise, go up to Bethel and dwell there; and make there an altar to the El who appeared to you when you fled from Esau your brother.
וַיֹּ֤אמֶר אֱלֹהִים֙ אֶֽל יַעֲקֹ֔ב ק֛וּם עֲלֵ֥ה בֵֽית אֵ֖ל וְשֶׁב שָׁ֑ם · va-yomer Elohim el-yaaqov qum ale vet-el ve-shev-sham · God said to Jacob: arise, go up to Bethel and dwell there (etnachta on sham) [VERIFIED: SNAPSHOT Gen.35.1 idx9 mark_id=etnachta]
וַעֲשֵׂה שָׁ֣ם מִזְבֵּ֔חַ לָאֵל֙ הַנִּרְאֶ֣ה אֵלֶ֔יךָ בְּבָרְחֲךָ֔ מִפְּנֵ֖י עֵשָׂ֥ו אָחִֽיךָ · va-ase-sham mizbecha la-el ha-nire elekha be-varchakha mi-pene esav achikha · make there an altar to the El who appeared when you fled from Esau (verse-final achikha) [VERIFIED: SNAPSHOT Gen.35.1 idx10-19]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(Elohim, LET(qum_ale(yaaqov, bet_el))) = DECLARE(God, LET(qum-ale(yaaqov, bet-to))) THE GO-UP THAT NEVER NARRATES [UNIT SHAPE (1)]. qum ale vet-el (6965 tok39/145 HVqv2ms; 5927 tok17/201 HVqv2ms) [VERIFIED: SNAPSHOT Gen.35.1 idx4-5 morphs] — God's arise-and-ascend on Jacob: the arise-aux rides the travel-verb as one card (gen_47's qum-chains; gen_56's nisa-ve-nelekha pair class). And the ascend-verb alah will narrate exactly once in this span — at 35:13, with GOD as its subject, going up FROM Jacob: the demanded verb's only narrated token is the wrong performer in the opposite direction; Jacob himself COMES (bo, 35:6). Card OPEN. PUSH LET(qum_ale(yaaqov, bet_el)). Depth 1. | קוּם עֲלֵה בֵית־אֵל · qum ale vet-el = qum ale vet-to | — | tested |
| DECLARE | DECLARE(Elohim, LET(shev_sham(yaaqov, bet_el))) = DECLARE(God, LET(shev-there(yaaqov, bet-to))) THE DWELL-CARD [UNIT SHAPE (1-3)]. ve-shev sham (3427 tok50/199, HC/Vqv2ms) [VERIFIED: idx8 morph] — the dwell-obligation, its own card (gen_57's settlement-triple class: distinct obligations split). The dwell-verb yashav never returns in-span [VERIFIED: 3427 in-span census = this imperative only]; when the narrator needs Jacob abiding he writes bi-SHEKON (35:22) — shakhan, the near-synonym in the other root [OPEN OBSERVATIONS (d)]. Card OPEN. PUSH LET(shev_sham(yaaqov, bet_el)). Depth 2. | וְשֶׁב־שָׁם · ve-shev-sham = and-shev-there | — | tested |
| DECLARE | DECLARE(Elohim, LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire))) = DECLARE(God, LET(ase-there-altar(yaaqov, to-to-the-nire))) MAKE, ANSWERED BY BUILD [UNIT SHAPE (1-3)]. va-ase sham mizbecha (6213 tok115/860, HC/Vqv2ms; 4196 tok11/198) [VERIFIED: idx10-12] — the altar-task: at 35:7 the altar EXISTS — va-YIVEN sham mizbecha — but the verb is bana ("build"), not the commanded asa ("make"): the thing made, the verb swapped — gen_45's other-root law holds the card OPEN over a completed altar (the unit's compliance-class thesis). la-el ha-nire elekha BE-VARCHAKHA mi-pene esav (410 tok12/50; 1272 tok8/14) — GOD NAMES THE FLIGHT [care 1]: gen_53's arm lands — the flee-verb Jacob never performed in gen_47's span is the verb God uses for that journey ("when you FLED"), and the narrator will echo it at 35:7 (be-varcho, tok9/14). PUSH LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)). Depth 3. | וַעֲשֵׂה־שָׁם מִזְבֵּחַ לָאֵל · va-ase-sham mizbecha la-el = and-ase-there mizbecha to-to | — | tested |
STEP_Gn_35_2 · Gen.35.2 · THE_PURGE_TRIPLE
וַיֹּאמֶר יַעֲקֹב אֶל־בֵּיתוֹ וְאֶל כָּל־אֲשֶׁר עִמּוֹ הָסִרוּ אֶת־אֱלֹהֵי הַנֵּכָר אֲשֶׁר בְּתֹכְכֶם וְהִטַּהֲרוּ וְהַחֲלִיפוּ שִׂמְלֹתֵיכֶם · va-yomer yaaqov el-beto ve-el kal-asher imo hasiru et-elohe ha-nekhar asher be-tokhkhem ve-hitaharu ve-hachalifu simlote-khem · And Jacob said to his house and to all who were with him: Remove the foreign gods that are in your midst, and purify yourselves, and change your garments.
וַיֹּ֤אמֶר יַעֲקֹב֙ אֶל בֵּית֔וֹ וְאֶ֖ל כָּל אֲשֶׁ֣ר עִמּ֑וֹ · va-yomer yaaqov el-beto ve-el kal-asher imo · Jacob said to his house and all with him (etnachta on imo) [VERIFIED: SNAPSHOT Gen.35.2 idx7 mark_id=etnachta]
הָסִ֜רוּ אֶת אֱלֹהֵ֤י הַנֵּכָר֙ אֲשֶׁ֣ר בְּתֹכְכֶ֔ם וְהִֽטַּהֲר֔וּ וְהַחֲלִ֖יפוּ שִׂמְלֹתֵיכֶֽם · hasiru et-elohe ha-nekhar asher be-tokhkhem ve-hitaharu ve-hachalifu simlote-khem · remove the foreign gods; purify yourselves; change your garments (verse-final khem) [VERIFIED: SNAPSHOT Gen.35.2 idx8-16]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(yaaqov, LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar))) = DECLARE(yaaqov, LET(hasiru(bet-yaaqov, elohe-the-nekhar))) THE REMOVE-DEMAND [UNIT SHAPE (4-6)]. hasiru et elohe ha-nekhar (5493 tok6/55, HVhv2mp) [VERIFIED: SNAPSHOT Gen.35.2 idx8 morph] — remove the foreign gods: at 35:4 the gods leave the household's hands — by GIVING (va-yitnu) and HIDING (va-yitmon): two other roots do the removing and sur never returns in-span. Card OPEN over a completed purge [compliance class]. ha-nekhar (5236 tok3/8) — the foreign-noun's career: Exod 12:43 (the Passover's ben-nekhar exclusion), Deut 31:16 (elohe nekhar, the covenant-breach phrase) — the purge's object becomes apostasy law's vocabulary. PUSH LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)). Depth 4. | הָסִרוּ אֶת־אֱלֹהֵי הַנֵּכָר · hasiru et-elohe ha-nekhar = hasiru elohe the-nekhar | — | tested |
| DECLARE | DECLARE(yaaqov, LET(hitaharu(bet_yaaqov))) = DECLARE(yaaqov, LET(hitaharu(bet-yaaqov))) THE PURIFY-VERB IS BORN [CROWN 2]. ve-hitaharu (2891 tok1/54 DEBUT, HC/Vtv2mp) [VERIFIED: SNAPSHOT Gen.35.2 idx14 ordinal=1/54] — taher, the purify-verb, enters the Torah in Jacob's purge command — ONE CHAPTER after its opposite: tamei ("defile") debuted at 34:5, on Dinah. The codebook's axis-pair is born back to back in these two family chapters; taher's toks 2+ are Lev 11:32 onward — the purification system entire. No purification is ever narrated in-span: the debut-card stays OPEN. PUSH LET(hitaharu(bet_yaaqov)). Depth 5. | וְהִטַּהֲרוּ · ve-hitaharu = and-hitaharu | — | tested |
| DECLARE | DECLARE(yaaqov, LET(hachalifu(bet_yaaqov, simlotekhem))) = DECLARE(yaaqov, LET(hachalifu(bet-yaaqov, simlotekhem))) THE GARMENT-CARD [UNIT SHAPE (4-6)]. ve-hachalifu simlotekhem (2498 tok3/5, HC/Vhv2mp) [VERIFIED: idx15 morph] — the change-verb is Laban's wage-switch verb (31:7,41 — the only prior tokens), now aimed at garments; no change is narrated. simla (8071 tok2/19) — the garment-noun's NEXT token is 37:34: Jacob TEARING his garments over Joseph's tunic — ordered changed here, torn there; career → the borrowed garments of the Exodus (Exod 3:22, 12:34-35) and the garment-laws (Deut 22). Card OPEN. PUSH LET(hachalifu(bet_yaaqov, simlotekhem)). Depth 6. | וְהַחֲלִיפוּ שִׂמְלֹתֵיכֶם · ve-hachalifu simlote-khem = and-hachalifu simlote-khem | — | tested |
STEP_Gn_35_3 · Gen.35.3 · THE_COHORTATIVE_PAIR
וְנָקוּמָה וְנַעֲלֶה בֵּית־אֵל וְאֶעֱשֶׂה־שָּׁם מִזְבֵּחַ לָאֵל הָעֹנֶה אֹתִי בְּיוֹם צָרָתִי וַיְהִי עִמָּדִי בַּדֶּרֶךְ אֲשֶׁר הָלָכְתִּי · ve-naquma ve-naale bet-el ve-eese-sham mizbecha la-el ha-one oti be-yom tzarati va-yehi imadi ba-derekh asher halakhti · And let us arise and go up to Bethel; and I will make there an altar to the El who answered me in the day of my distress, and was with me on the way that I walked.
וְנָק֥וּמָה וְנַעֲלֶ֖ה בֵּֽית אֵ֑ל · ve-naquma ve-naale bet-el · let us arise and go up to Bethel (etnachta on el) [VERIFIED: SNAPSHOT Gen.35.3 idx3 mark_id=etnachta]
וְאֶֽעֱשֶׂה שָּׁ֣ם מִזְבֵּ֗חַ לָאֵ֞ל הָעֹנֶ֤ה אֹתִי֙ בְּי֣וֹם צָֽרָתִ֔י וַיְהִי֙ עִמָּדִ֔י בַּדֶּ֖רֶךְ אֲשֶׁ֥ר הָלָֽכְתִּי · ve-eese-sham mizbecha la-el ha-one oti be-yom tzarati va-yehi imadi ba-derekh asher halakhti · an altar to the El who answered me in my distress, with me on my way (verse-final halakhti) [VERIFIED: SNAPSHOT Gen.35.3 idx4-16]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(yaaqov, CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el))) = DECLARE(yaaqov, CMD-US?(naquma-and-naale(bet-yaaqov, bet-to))) THE JOINT ASCENT [UNIT SHAPE (7)]. ve-naquma ve-naale bet-el (6965 tok40/145 + 5927 tok18/201, both HC/Vqh1cp true 1cp cohortatives) [VERIFIED: SNAPSHOT Gen.35.3 idx0-1 morphs] — Jacob turns God's 2ms chain into a first-plural pair: one card per gen_56's nisa-ve-nelekha travel-pair precedent, TIR-033's ?-guard while open. The group then JOURNEYS — va-yisu (35:5, nasa) — and neither qum nor alah narrates for them: other root, card OPEN [compliance class]. la-el ha-one oti be-yom TZARATI (6030 tok14/48; 6869 tok1/5 DEBUT) [VERIFIED: idx11 ordinal=1/5] — the distress-noun born in Jacob's testimony; toks 2-3 = 42:21, the brothers' Joseph-guilt confession ("we saw the distress of his soul... therefore this distress") — the word passes father to sons with the guilt attached. va-yehi imadi ba-derekh (5978 tok12/19) — 28:20's vow-formula ("if God will be WITH ME on this way") quoted back as history. PUSH CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)). Depth 7. | וְנָקוּמָה וְנַעֲלֶה בֵּית־אֵל · ve-naquma ve-naale bet-el = and-naquma and-naale bet-to | — | tested |
STEP_Gn_35_4 · Gen.35.4 · THE_HANDOVER
וַיִּתְּנוּ אֶל־יַעֲקֹב אֵת כָּל־אֱלֹהֵי הַנֵּכָר אֲשֶׁר בְּיָדָם וְאֶת־הַנְּזָמִים אֲשֶׁר בְּאָזְנֵיהֶם וַיִּטְמֹן אֹתָם יַעֲקֹב תַּחַת הָאֵלָה אֲשֶׁר עִם־שְׁכֶם · va-yitnu el-yaaqov et kal-elohe ha-nekhar asher be-yadam ve-et-ha-nezamim asher be-aznehem va-yitmon otam yaaqov tachat ha-ela asher im-shekhem · And they gave to Jacob all the foreign gods that were in their hand, and the rings that were in their ears; and Jacob hid them under the terebinth that is by Shechem.
וַיִּתְּנ֣וּ אֶֽל יַעֲקֹ֗ב אֵ֣ת כָּל אֱלֹהֵ֤י הַנֵּכָר֙ אֲשֶׁ֣ר בְּיָדָ֔ם וְאֶת הַנְּזָמִ֖ים אֲשֶׁ֣ר בְּאָזְנֵיהֶ֑ם · va-yitnu el-yaaqov et kal-elohe ha-nekhar asher be-yadam ve-et-ha-nezamim asher be-aznehem · they gave Jacob the foreign gods and the rings in their ears (etnachta on aznehem) [VERIFIED: SNAPSHOT Gen.35.4 idx12 mark_id=etnachta]
וַיִּטְמֹ֤ן אֹתָם֙ יַעֲקֹ֔ב תַּ֥חַת הָאֵלָ֖ה אֲשֶׁ֥ר עִם שְׁכֶֽם · va-yitmon otam yaaqov tachat ha-ela asher im-shekhem · Jacob hid them under the terebinth by Shechem (verse-final shekhem) [VERIFIED: SNAPSHOT Gen.35.4 idx13-20]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yitnu_va_yitmon(elohe_ha_nekhar_ve_ha_nezamim, tachat_ha_ela), t7) = HOLDS(and-yitnu-and-yitmon(elohe-the-nekhar-and-the-nezamim, tachat-the-ela), t7) GIVEN AND HIDDEN, NOT REMOVED [UNIT SHAPE (4); care 4]. va-yitnu el yaaqov (5414 tok94/647) [VERIFIED: SNAPSHOT Gen.35.4 idx0 ordinal=94/647] — the give-verb's first narrated performance since gen_57's negotiation: eight tokens haggled over a daughter and gave nothing; token 94 hands over gods. ve-et ha-NEZAMIM asher be-aznehem (5141 tok4/7) [VERIFIED: idx10 ordinal=4/7] — THE EARRING'S LEDGER: toks 1-3 = the bride-ring on Rebekah (24:22,30,47); tok4 = buried idol-freight; toks 5-6 = Exod 32:2-3, THE CALF'S RINGS ("break off the rings in your ears" — the same in-their-ears phrase); tok7 = Exod 35:22, the Mishkan offering — bride-gift, buried, calf, sanctuary. va-YITMON (2934 tok1/3 DEBUT) [VERIFIED: idx13 ordinal=1/3] — the hide-verb's three tokens: Jacob hides gods, Moses hides the Egyptian (Exod 2:12), Deut 33:19's hidden treasures. tachat ha-ELA (424 tok1/1 HAPAX) — the terebinth appears once in the Torah, here, holding the gods; the hasiru-card stays OPEN — the purge is done in verbs the demand never used. Depth 7. | וַיִּתְּנוּ אֶל־יַעֲקֹב · va-yitnu el-yaaqov = and-yitnu to-yaaqov | — | tested |
STEP_Gn_35_5 · Gen.35.5 · THE_UN_PURSUIT
וַיִּסָּעוּ וַיְהִי חִתַּת אֱלֹהִים עַל־הֶעָרִים אֲשֶׁר סְבִיבֹתֵיהֶם וְלֹא רָדְפוּ אַחֲרֵי בְּנֵי יַעֲקֹב · va-yisau va-yehi chitat Elohim al-he-arim asher sevivotehem ve-lo radfu achare bene yaaqov · And they journeyed; and a terror of God was upon the cities that were around them, and they did not pursue after the sons of Jacob.
וַיִּסָּ֑עוּ · va-yisau · and they journeyed (etnachta on yisau) [VERIFIED: SNAPSHOT Gen.35.5 idx0 mark_id=etnachta]
וַיְהִ֣י חִתַּ֣ת אֱלֹהִ֗ים עַל הֶֽעָרִים֙ אֲשֶׁר֙ סְבִיבֹ֣תֵיהֶ֔ם וְלֹ֣א רָֽדְפ֔וּ אַחֲרֵ֖י בְּנֵ֥י יַעֲקֹֽב · va-yehi chitat Elohim al-he-arim asher sevivotehem ve-lo radfu achare bene yaaqov · a God-terror on the cities around; they did not pursue Jacob's sons (verse-final yaaqov) [VERIFIED: SNAPSHOT Gen.35.5 idx1-12]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(chitat_Elohim_ve_lo_radfu(he_arim), t7) = HOLDS(chitat-God-and-not-radfu(he-arim), t7) THE TERROR AND THE NEGATED VERB [care 5]. va-yisau — and the etnachta sits on the verse's FIRST TOKEN: 35:5 is one of the Torah's TWELVE first-word splits [VERIFIED: corpus mark census, gen_57 CROWN 2d] — and the previous unit closed on another (34:31): two of the twelve in consecutive units, a question hanging and a journey landing. chitat Elohim (2847 tok1/1 HAPAX) [VERIFIED: SNAPSHOT Gen.35.5 idx2 ordinal=1/1] — the God-terror, said once in the Torah, answering 34:30's fear ("they will gather against me and strike me"); ve-lo RADFU (7291 tok4/25) [VERIFIED: idx9 ordinal=4/25] — the pursue-verb: tok3 was LABAN'S pursuit (31:23); tok4 is the pursuit that does NOT happen; career → Pharaoh's sea-pursuit (Exod 14:4-23, 15:9) and Lev 26's seven pursue-tokens — Israel pursuing in the blessing (26:7-8), pursued and phantom-pursued in the curse (26:17,36-37) — with Deut 28's pursuing curses — the feared verb is spent here on a negation. Depth 7. | וַיִּסָּעוּ · va-yisau = and-yisau | — | tested |
STEP_Gn_35_6 · Gen.35.6 · THE_ARRIVAL
וַיָּבֹא יַעֲקֹב לוּזָה אֲשֶׁר בְּאֶרֶץ כְּנַעַן הִוא בֵּית־אֵל הוּא וְכָל־הָעָם אֲשֶׁר־עִמּוֹ · va-yavo yaaqov luzah asher be-eretz kenaan hiv bet-el hu ve-khal-ha-am asher-imo · And Jacob came to Luz, which is in the land of Canaan — it is Bethel — he and all the people who were with him.
וַיָּבֹ֨א יַעֲקֹ֜ב ל֗וּזָה אֲשֶׁר֙ בְּאֶ֣רֶץ כְּנַ֔עַן הִ֖וא בֵּֽית אֵ֑ל · va-yavo yaaqov luzah asher be-eretz kenaan hiv bet-el · Jacob came to Luz in the land of Canaan — it is Bethel (etnachta on el) [VERIFIED: SNAPSHOT Gen.35.6 idx8 mark_id=etnachta]
ה֖וּא וְכָל הָעָ֥ם אֲשֶׁר עִמּֽוֹ · hu ve-khal-ha-am asher-imo · he and all the people who were with him (verse-final imo) [VERIFIED: SNAPSHOT Gen.35.6 idx9-13]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yavo_luzah_hiv_bet_el(yaaqov_ve_ha_am), t7) = HOLDS(and-yavo-luzah-hiv-bet-to(yaaqov-and-the-am), t7) HE COMES WHERE HE WAS TOLD TO GO UP [UNIT SHAPE (1)]. va-yavo yaaqov luzah (935 tok123/619; 3870 tok2/3) [VERIFIED: SNAPSHOT Gen.35.6 idx0-2] — the arrival lands in the COME-verb, not the commanded ascend-verb: the qum_ale card holds OPEN over a completed journey [compliance class]. luz — the pre-name from 28:19's etiology (tok1), re-glossed by the narrator (hiv bet-el); tok3 = 48:3, Jacob's own deathbed retell ("El Shaddai appeared to me at LUZ"). ve-khal ha-am asher im-o (5971 tok20/445) — the household that will hear the twelve-count. Depth 7. | וַיָּבֹא יַעֲקֹב לוּזָה · va-yavo yaaqov luzah = and-yavo yaaqov luzah | — | tested |
STEP_Gn_35_7 · Gen.35.7 · THE_ALTAR_BUILT_AND_NAMED
וַיִּבֶן שָׁם מִזְבֵּחַ וַיִּקְרָא לַמָּקוֹם אֵל בֵּית־אֵל כִּי שָׁם נִגְלוּ אֵלָיו הָאֱלֹהִים בְּבָרְחוֹ מִפְּנֵי אָחִיו · va-yiven sham mizbecha va-yiqra la-maqom el bet-el ki sham niglu elav ha-Elohim be-varcho mi-pene achi-v · And he built there an altar, and called the place El-Bethel; for there the Elohim were revealed to him when he fled from before his brother.
וַיִּ֤בֶן שָׁם֙ מִזְבֵּ֔חַ וַיִּקְרָא֙ לַמָּק֔וֹם אֵ֖ל בֵּֽית אֵ֑ל · va-yiven sham mizbecha va-yiqra la-maqom el bet-el · he built an altar and called the place El-Bethel (etnachta on el) [VERIFIED: SNAPSHOT Gen.35.7 idx7 mark_id=etnachta]
כִּ֣י שָׁ֗ם נִגְל֤וּ אֵלָיו֙ הָֽאֱלֹהִ֔ים בְּבָרְח֖וֹ מִפְּנֵ֥י אָחִֽיו · ki sham niglu elav ha-Elohim be-varcho mi-pene achi-v · for there God was revealed to him when he fled from his brother (verse-final v) [VERIFIED: SNAPSHOT Gen.35.7 idx8-15]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {ha_maqom} = WORLD += {the-maqom} BUILD FOR MAKE [UNIT SHAPE (3)]. va-YIVEN sham mizbecha (1129 tok16/41) [VERIFIED: SNAPSHOT Gen.35.7 idx0 ordinal=16/41] — the altar the command said MAKE (asa) is BUILT (bana): the thing exists, the verb swapped, the ase-card OPEN — the unit's compliance-thesis in one token. WORLD += ha_maqom. | וַיִּבֶן שָׁם מִזְבֵּחַ · va-yiven sham mizbecha = and-yiven there mizbecha | — | tested |
| NAME | name(ha_maqom) := el_bet_el = name(the-maqom) := to-bet-to WRITE #1 — EL RIDES THE NAME. va-yiqra la-maqom EL BET-EL (7121 tok83/193; 410 tok14/50) [VERIFIED: SNAPSHOT Gen.35.7 idx3-7] — the naming formula (la-maqom class) writes a name with El inside it — 33:20's el-elohe-yisrael altar-title class, now on the place itself; 35:15 will overwrite it [CROWN 3(a)]. ki sham NIGLU elav ha-Elohim (1540 tok2/33) [VERIFIED: idx10 ordinal=2/33] — the reveal-verb: tok1 = 9:21, Noah UNCOVERED drunk in his tent; tok2 = the Elohim REVEALED at Bethel; career → Lev 18-20's uncover-nakedness cluster — shame, theophany, prohibition share one root. The verb is PLURAL (niglu, HVNp3cp) with ha-Elohim — morph fact, filed as observation [OPEN OBSERVATIONS (b)]. be-varcho mi-pene achiv (1272 tok9/14) — the narrator repeats God's flight-naming [care 1]. REGISTRY 1. | וַיִּקְרָא לַמָּקוֹם אֵל · va-yiqra la-maqom el = and-yiqra to-maqom to | — | tested |
STEP_Gn_35_8 · Gen.35.8 · THE_NURSE_NAMED_AT_DEATH
וַתָּמָת דְּבֹרָה מֵינֶקֶת רִבְקָה וַתִּקָּבֵר מִתַּחַת לְבֵית־אֵל תַּחַת הָאַלּוֹן וַיִּקְרָא שְׁמוֹ אַלּוֹן בָּכוּת · va-tamat devora meneqet rivqa va-tiqaver mi-tachat le-vet-el tachat ha-alon va-yiqra shemo alon bakhut · And Devorah, Rebekah's nurse, died, and she was buried below Bethel, under the oak; and he called its name Oak of Weeping.
וַתָּ֤מָת דְּבֹרָה֙ מֵינֶ֣קֶת רִבְקָ֔ה וַתִּקָּבֵ֛ר מִתַּ֥חַת לְבֵֽית אֵ֖ל תַּ֣חַת הָֽאַלּ֑וֹן · va-tamat devora meneqet rivqa va-tiqaver mi-tachat le-vet-el tachat ha-alon · Devorah, Rebekah's nurse, died and was buried under the oak (etnachta on alon) [VERIFIED: SNAPSHOT Gen.35.8 idx9 mark_id=etnachta]
וַיִּקְרָ֥א שְׁמ֖וֹ אַלּ֥וֹן בָּכֽוּת · va-yiqra shemo alon bakhut · and he called its name Oak of Weeping (verse-final bakhut) [VERIFIED: SNAPSHOT Gen.35.8 idx10-13]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {ha_alon} = WORLD += {the-alon} DEATH #1 — THE ANONYMOUS NURSE GETS A NAME [care 7]. va-tamat DEVORA meneqet rivqa (1683 tok1/1 HAPAX; 4191 tok41/303; 3243 tok4/11) [VERIFIED: SNAPSHOT Gen.35.8 idx0-3] — Rebekah's nurse traveled nameless since 24:59 (meniqtah — "her nurse") and is named in her death-verse: the Torah's only devora. And rivqa (7259 tok29/30) — Rebekah's last living-narrative token: her own death is never narrated; the nurse's death stands where the mistress's never will (tok30 = 49:31's grave-list). WORLD += ha_alon. | וַתָּמָת דְּבֹרָה מֵינֶקֶת רִבְקָה · va-tamat devora meneqet rivqa = and-tamat devora meneqet rivqa | — | tested |
| NAME | name(ha_alon) := alon_bakhut = name(the-alon) := alon-bakhut WRITE #2 — A HAPAX NAME ON A HAPAX TREE. va-yiqra shemo ALON BAKHUT (7121 tok84/193; 439+ tok1/1; 439 tok1/1; the tree: 437 tok1/1) [VERIFIED: SNAPSHOT Gen.35.8 idx9-13 — all three ordinals 1/1] — the Oak of Weeping: a hapax person buried under a hapax tree that takes a hapax name — with 35:4's terebinth (424, also 1/1) the chapter holds two tree-hapaxes [OPEN OBSERVATIONS (f)]. mi-tachat le-vet-el — below Bethel; the weeping-name is the chapter's first grief-write; two more deaths follow. REGISTRY 2. | וַיִּקְרָא שְׁמוֹ אַלּוֹן בָּכוּת · va-yiqra shemo alon bakhut = and-yiqra shemo alon bakhut | — | tested |
STEP_Gn_35_9 · Gen.35.9 · THE_SECOND_APPEARANCE
וַיֵּרָא אֱלֹהִים אֶל־יַעֲקֹב עוֹד בְּבֹאוֹ מִפַּדַּן אֲרָם וַיְבָרֶךְ אֹתוֹ · va-yera Elohim el-yaaqov od be-voo mi-padan aram va-yevarekh et-o · And God appeared to Jacob again, in his coming from Paddan-aram; and He blessed him.
וַיֵּרָ֨א אֱלֹהִ֤ים אֶֽל יַעֲקֹב֙ ע֔וֹד בְּבֹא֖וֹ מִפַּדַּ֣ן אֲרָ֑ם · va-yera Elohim el-yaaqov od be-voo mi-padan aram · God appeared to Jacob again, coming from Paddan-aram (etnachta on aram) [VERIFIED: SNAPSHOT Gen.35.9 idx7 mark_id=etnachta]
וַיְבָ֖רֶךְ אֹתֽוֹ · va-yevarekh et-o · and He blessed him (verse-final o) [VERIFIED: SNAPSHOT Gen.35.9 idx8-9]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yera_Elohim_od_va_yevarekh(el_yaaqov), t7) = HOLDS(and-yera-God-od-and-yevarekh(to-yaaqov), t7) AGAIN, COUNTED [care 8]. va-yera Elohim el yaaqov OD (7200 tok89/396; 5750 tok29/95) [VERIFIED: SNAPSHOT Gen.35.9 idx0-4] — the second Bethel theophany, marked by the letter's own "again" (od); be-vo-o mi-padan aram (6307 tok8/11) — the return-frame; va-yevarekh et-o (1288 tok61/137) — the bless-verb's Jacob-walk (Laban's farewell 58 → demanded 59 → granted 60 → God's own 61). The naming and the package follow. Depth 7. | וַיֵּרָא אֱלֹהִים אֶל־יַעֲקֹב עוֹד · va-yera Elohim el-yaaqov od = and-yera God to-yaaqov od | — | tested |
STEP_Gn_35_10 · Gen.35.10 · THE_DECREE_AND_THE_FORMULA
וַיֹּאמֶר־לוֹ אֱלֹהִים שִׁמְךָ יַעֲקֹב לֹא־יִקָּרֵא שִׁמְךָ עוֹד יַעֲקֹב כִּי אִם־יִשְׂרָאֵל יִהְיֶה שְׁמֶךָ וַיִּקְרָא אֶת־שְׁמוֹ יִשְׂרָאֵל · va-yomer-lo Elohim shimkha yaaqov lo-yiqare shimkha od yaaqov ki im-yisrael yihye shemekha va-yiqra et-shemo yisrael · And God said to him: Your name is Jacob; your name shall no more be called Jacob, but Israel shall be your name. And He called his name Israel.
וַיֹּֽאמֶר ל֥וֹ אֱלֹהִ֖ים שִׁמְךָ֣ יַעֲקֹ֑ב · va-yomer-lo Elohim shimkha yaaqov · God said to him: your name is Jacob (etnachta on yaaqov) [VERIFIED: SNAPSHOT Gen.35.10 idx4 mark_id=etnachta]
לֹֽא יִקָּרֵא֩ שִׁמְךָ֨ ע֜וֹד יַעֲקֹ֗ב כִּ֤י אִם יִשְׂרָאֵל֙ יִהְיֶ֣ה שְׁמֶ֔ךָ וַיִּקְרָ֥א אֶת שְׁמ֖וֹ יִשְׂרָאֵֽל · lo-yiqare shimkha od yaaqov ki im-yisrael yihye shemekha va-yiqra et-shemo yisrael · no more Jacob — Israel your name; and He called his name Israel (verse-final yisrael) [VERIFIED: SNAPSHOT Gen.35.10 idx5-18]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {yaaqov} THE STATEMENT [CROWN 1]. shimkha yaaqov — God begins from the registry's standing value: "your name is Jacob" (8034 tok85/252) [VERIFIED: SNAPSHOT Gen.35.10 idx3-4] — the label 25:26 wrote and gen_55's decree left standing. WORLD += yaaqov (the bearer enters this unit's world for the write). | שִׁמְךָ יַעֲקֹב · shimkha yaaqov = shimkha yaaqov | — | tested |
| NAME | name(yaaqov) := yisrael WRITE #3 — THE DECREE AND THE FORMULA IN ONE VERSE [CROWN 1]. lo yiqare shimkha od yaaqov ki im yisrael yihye shemekha — DECREE grammar (yiqare, HVNi3ms negated imperfect + nominal clause) [VERIFIED: SNAPSHOT Gen.35.10 idx5-14 morphs]: the exact class of 17:5, 17:15, and 32:29 — which WRITES NOTHING (gen_33's frozen law; gen_55's care 13). Then, same verse: VA-YIQRA et shemo YISRAEL (7121 tok86/193) — the narrative formula, which WRITES. The registry takes name(yaaqov) := yisrael three chapters after the decree withheld it — decree and formula stand side by side in one verse and only the formula moves the machine. THE COUNTERSIGN: the narrator's first Israel-for-the-man is 35:21 (3478 tok7/587 — AFTER the write, never before [VERIFIED: toks 1-6 census]); and yaaqov keeps appearing in-span after the write (3290 toks 132-139 — the last in the burial-verse itself, 35:29) — a write begins a usage; it erases nothing (the inverse of 17:5's avram-retirement letter-proof). REGISTRY 3. | וַיִּקְרָא אֶת־שְׁמוֹ יִשְׂרָאֵל · va-yiqra et-shemo yisrael = and-yiqra shemo yisrael | — | tested |
STEP_Gn_35_11 · Gen.35.11 · THE_SINGULAR_BLESSING_COMMAND
וַיֹּאמֶר לוֹ אֱלֹהִים אֲנִי אֵל שַׁדַּי פְּרֵה וּרְבֵה גּוֹי וּקְהַל גּוֹיִם יִהְיֶה מִמֶּךָּ וּמְלָכִים מֵחֲלָצֶיךָ יֵצֵאוּ · va-yomer lo Elohim ani el shaday pere u-reve goy u-qehal goyim yihye mimeka u-melakhim me-chalatzekha yetzeu · And God said to him: I am El Shaddai. Be fruitful and multiply — a nation and an assembly of nations shall be from you; and kings shall go out from your loins.
וַיֹּאמֶר֩ ל֨וֹ אֱלֹהִ֜ים אֲנִ֨י אֵ֤ל שַׁדַּי֙ פְּרֵ֣ה וּרְבֵ֔ה גּ֛וֹי וּקְהַ֥ל גּוֹיִ֖ם יִהְיֶ֣ה מִמֶּ֑ךָּ · va-yomer lo Elohim ani el shaday pere u-reve goy u-qehal goyim yihye mimeka · I am El Shaddai: be fruitful and multiply — a nation, an assembly of nations (etnachta on mimeka) [VERIFIED: SNAPSHOT Gen.35.11 idx12 mark_id=etnachta]
וּמְלָכִ֖ים מֵחֲלָצֶ֥יךָ יֵצֵֽאוּ · u-melakhim me-chalatzekha yetzeu · and kings shall go out from your loins (verse-final yetzeu) [VERIFIED: SNAPSHOT Gen.35.11 idx13-15]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(el_shaday, LET(pere_u_reve(yisrael))) = DECLARE(to-shaday, LET(pere-and-reve(yisrael))) THE ONLY SINGULAR BE-FRUITFUL-AND-MULTIPLY [UNIT SHAPE (8); care 9]. ani el shaday (7706 tok3/9) — gen_47's frozen horizon LANDS: Isaac's send-off wished "ve-EL SHADAY yevarekh otekha... ve-YAFREKHA ve-YARBEKHA... li-qehal AMIM" (28:3, jussives) [VERIFIED: token scan]; God now speaks AS El Shaddai and turns the wished jussives into commanded imperatives: PERE u-REVE (6509 tok10/19 HVqv2ms; 7235 tok24/66 HC/Vqv2ms) [VERIFIED: morphs] — and these are the fruit-verb's and multiply-verb's ONLY singular imperatives in the Torah [VERIFIED: full morph census — every other imperative token is plural: 1:22, 1:28, 9:1, 9:7]: the creation-blessing spoken to seas, humanity, and Noah as plural benediction arrives once as a command to one man — the man just named Israel. One card (the fixed merism, gen_56's pair class); horizon 47:27 (va-yifru va-yirbu — the people, in Goshen). u-qehal GOYIM (6951 tok2/34 — 28:3's qehal AMIM shifted; career → Exod 12:6's qahal of Israel); u-melakhim ME-CHALATZEKHA yetzeu — 17:6's kings-promise ("u-melakhim MIM-KHA yetzeu" [VERIFIED: token scan]) requoted with one delta: from-YOU → from-your-LOINS, and chalatzayim (2504 tok1/1 HAPAX) exists only inside the delta. PUSH LET(pere_u_reve(yisrael)). Depth 8. | פְּרֵה וּרְבֵה · pere u-reve = pere and-reve | — | tested |
STEP_Gn_35_12 · Gen.35.12 · THE_LAND_GRANT_TRIPLE
וְאֶת־הָאָרֶץ אֲשֶׁר נָתַתִּי לְאַבְרָהָם וּלְיִצְחָק לְךָ אֶתְּנֶנָּה וּלְזַרְעֲךָ אַחֲרֶיךָ אֶתֵּן אֶת־הָאָרֶץ · ve-et-ha-aretz asher natati le-avraham u-le-yitzchaq lekha etnena u-le-zarakha acharekha eten et-ha-aretz · And the land that I gave to Abraham and to Isaac — to you I will give it; and to your seed after you I will give the land.
וְאֶת הָאָ֗רֶץ אֲשֶׁ֥ר נָתַ֛תִּי לְאַבְרָהָ֥ם וּלְיִצְחָ֖ק לְךָ֣ אֶתְּנֶ֑נָּה · ve-et-ha-aretz asher natati le-avraham u-le-yitzchaq lekha etnena · the land I gave to Abraham and Isaac — to you I give it (etnachta on etnena) [VERIFIED: SNAPSHOT Gen.35.12 idx7 mark_id=etnachta]
וּֽלְזַרְעֲךָ֥ אַחֲרֶ֖יךָ אֶתֵּ֥ן אֶת הָאָֽרֶץ · u-le-zarakha acharekha eten et-ha-aretz · and to your seed after you I will give the land (verse-final aretz) [VERIFIED: SNAPSHOT Gen.35.12 idx8-12]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(natati_etnena_eten(ha_aretz, le_yisrael_u_le_zaro), t8) = HOLDS(natati-etnena-eten(the-earth, to-yisrael-and-to-zaro), t8) ONE VERSE, THREE TENSES OF GIVE [care 9]. natati... etnena... eten (5414 toks 95-97/647) [VERIFIED: SNAPSHOT Gen.35.12 idx3,7,10] — the grant conjugated past (gave to Abraham and Isaac), singular-future (to you I WILL GIVE IT), and future (to your seed I WILL GIVE): the give-verb that performed at 35:4 now carries the whole land-promise in three forms — God's self-commits, fenced by class (promise-content, no push). u-le-zarakha acharekha (2233 tok48/112) — the seed-formula's Jacob-station between 28:14 and 48:4. Depth 8. | וְאֶת־הָאָרֶץ אֲשֶׁר נָתַתִּי · ve-et-ha-aretz asher natati = and-the-earth which natati | — | tested |
STEP_Gn_35_13 · Gen.35.13 · GOD_GOES_UP
וַיַּעַל מֵעָלָיו אֱלֹהִים בַּמָּקוֹם אֲשֶׁר־דִּבֶּר אִתּוֹ · va-yaal me-alav Elohim ba-maqom asher-diber et-o · And God went up from him, in the place where He had spoken with him.
וַיַּ֥עַל מֵעָלָ֖יו אֱלֹהִ֑ים · va-yaal me-alav Elohim · God went up from him (etnachta on Elohim) [VERIFIED: SNAPSHOT Gen.35.13 idx2 mark_id=etnachta]
בַּמָּק֖וֹם אֲשֶׁר דִּבֶּ֥ר אִתּֽוֹ · ba-maqom asher-diber et-o · in the place where He had spoken with him (verse-final o) [VERIFIED: SNAPSHOT Gen.35.13 idx3-6]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yaal_me_alav_Elohim(ba_maqom), t8) = HOLDS(and-yaal-from-alav-God(in-the-maqom), t8) THE ASCEND-VERB'S ONLY DEED — GOD'S [CROWN 5; UNIT SHAPE (1)]. va-yaal me-alav Elohim (5927 tok19/201) [VERIFIED: SNAPSHOT Gen.35.13 idx0-2] — the verb God commanded Jacob (ale, 35:1) performs its only in-span narration with GOD as subject, ascending FROM Jacob: wrong performer, opposite direction; the qum_ale card holds. And the God-ascends formula occurs exactly TWICE in the Torah [VERIFIED: full 5927 census against adjacent Elohim]: 17:22 (from ABRAHAM — closing the chapter whose renames were DECREES that wrote nothing) and here (closing the theophany whose formula WROTE): the two renaming theophanies, and only they, end with God going up. ba-maqom asher diber et-o — the spoke-with-him refrain opens its three-verse run (1696 toks 45-47/415). Depth 8. | וַיַּעַל מֵעָלָיו אֱלֹהִים · va-yaal me-alav Elohim = and-yaal from-alav God | — | tested |
STEP_Gn_35_14 · Gen.35.14 · THE_PILLAR_AND_THE_LIBATION
וַיַּצֵּב יַעֲקֹב מַצֵּבָה בַּמָּקוֹם אֲשֶׁר־דִּבֶּר אִתּוֹ מַצֶּבֶת אָבֶן וַיַּסֵּךְ עָלֶיהָ נֶסֶךְ וַיִּצֹק עָלֶיהָ שָׁמֶן · va-yatzev yaaqov matzeva ba-maqom asher-diber et-o matzevet aven va-yasekh aleha nesekh va-yitzoq aleha shamen · And Jacob set up a pillar in the place where He had spoken with him, a pillar of stone; and he poured on it a libation, and poured on it oil.
וַיַּצֵּ֨ב יַעֲקֹ֜ב מַצֵּבָ֗ה בַּמָּק֛וֹם אֲשֶׁר דִּבֶּ֥ר אִתּ֖וֹ מַצֶּ֣בֶת אָ֑בֶן · va-yatzev yaaqov matzeva ba-maqom asher-diber et-o matzevet aven · Jacob set a stone pillar where He had spoken with him (etnachta on aven) [VERIFIED: SNAPSHOT Gen.35.14 idx8 mark_id=etnachta]
וַיַּסֵּ֤ךְ עָלֶ֨יהָ֙ נֶ֔סֶךְ וַיִּצֹ֥ק עָלֶ֖יהָ שָֽׁמֶן · va-yasekh aleha nesekh va-yitzoq aleha shamen · he poured on it a libation, and poured on it oil (verse-final shamen) [VERIFIED: SNAPSHOT Gen.35.14 idx9-14]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yatzev_matzeva_va_yasekh_nesekh(yaaqov, shamen), t8) = HOLDS(and-yatzev-matzeva-and-yasekh-nesekh(yaaqov, shamen), t8) THE CULT KIT SEEDED [CROWN 4]. va-yatzev yaaqov matzeva (5324 tok9/28; 4676 tok8/16) [VERIFIED: SNAPSHOT Gen.35.14 idx0-2] — gen_54's arm lands (va-yatzev toks 9-10 = this pillar and Rachel's, 35:20); the pillar-noun's career ends BANNED (Lev 26:1; Deut 16:22 — "a pillar, which YHWH your God hates"): the stone Jacob raises becomes the stone the law forbids. matzevet aven (4678 tok1/2 — the construct form's whole career is in-span: this stone and the grave-stone). va-yasekh aleha NESEKH (5258 tok1/5; 5262 tok1/41 DEBUT) [VERIFIED: idx9-11 ordinals] — THE LIBATION-NOUN IS BORN on Jacob's pillar; toks 2+ = Exod 29:40 onward, the tamid and festival libations entire. va-yitzoq aleha SHAMEN (3332 tok2/19; 8081 tok2/106) [VERIFIED: idx12-14] — the pour-verb and the oil-noun each stand at tok2, and BOTH their tok1s are 28:18 — the same man, the same pillar, twenty years apart: Jacob's two Bethel anointings are the entire pre-history of the verbs that will anoint Aaron (Exod 29:7; Lev 8:12) and fill its lamps (Exod 27:20). Depth 8. | וַיַּצֵּב יַעֲקֹב מַצֵּבָה בַּמָּקוֹם · va-yatzev yaaqov matzeva ba-maqom = and-yatzev yaaqov matzeva in-the-maqom | — | tested |
STEP_Gn_35_15 · Gen.35.15 · THE_NAME_REWRITTEN
וַיִּקְרָא יַעֲקֹב אֶת־שֵׁם הַמָּקוֹם אֲשֶׁר דִּבֶּר אִתּוֹ שָׁם אֱלֹהִים בֵּית־אֵל · va-yiqra yaaqov et-shem ha-maqom asher diber et-o sham Elohim bet-el · And Jacob called the name of the place where God had spoken with him — Bethel.
וַיִּקְרָ֨א יַעֲקֹ֜ב אֶת שֵׁ֣ם הַמָּק֗וֹם אֲשֶׁר֩ דִּבֶּ֨ר אִתּ֥וֹ שָׁ֛ם אֱלֹהִ֖ים · va-yiqra yaaqov et-shem ha-maqom asher diber et-o sham Elohim · Jacob called the name of the place where God spoke with him (NO etnachta in verse: split at tifcha on Elohim) [VERIFIED: SNAPSHOT Gen.35.15 idx9 mark_id=tifcha rank=2; no etnachta token]
בֵּֽית אֵֽל · bet-el · Bethel (verse-final el) [VERIFIED: SNAPSHOT Gen.35.15 idx10-11]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NAME | name(ha_maqom) := bet_el = name(the-maqom) := bet-to WRITE #4 — LAST-WRITE-WINS, PAIR (a) [CROWN 3]. va-yiqra yaaqov et shem ha-maqom... BET-EL (7121 tok87/193; 8034 tok89/252) [VERIFIED: SNAPSHOT Gen.35.15] — the same namer writes the same place-key a second time: 35:7's EL-BET-EL reduces to BET-EL; h_name overwrites, the counter increments, the registry ends on the plain name — the ledger keeps both acts and shows only the last. The verse carries NO etnachta — the split rides its tifcha (idx9, prestage fallback; the span's first of three fallback verses). REGISTRY 4. | וַיִּקְרָא יַעֲקֹב אֶת־שֵׁם הַמָּקוֹם · va-yiqra yaaqov et-shem ha-maqom = and-yiqra yaaqov shem the-maqom | — | tested |
STEP_Gn_35_16 · Gen.35.16 · THE_HARD_BIRTH_BEGINS
וַיִּסְעוּ מִבֵּית אֵל וַיְהִי־עוֹד כִּבְרַת־הָאָרֶץ לָבוֹא אֶפְרָתָה וַתֵּלֶד רָחֵל וַתְּקַשׁ בְּלִדְתָּהּ · va-yisu mi-bet el va-yehi-od kivrat-ha-aretz la-vo efrata va-teled rachel va-teqash be-lidtah · And they journeyed from Bethel, and there was still a stretch of land to come to Efrat; and Rachel gave birth, and her birthing was hard.
וַיִּסְעוּ֙ מִבֵּ֣ית אֵ֔ל וַֽיְהִי ע֥וֹד כִּבְרַת הָאָ֖רֶץ לָב֣וֹא אֶפְרָ֑תָה · va-yisu mi-bet el va-yehi-od kivrat-ha-aretz la-vo efrata · from Bethel, still a stretch of land to come to Efrat (etnachta on efrata) [VERIFIED: SNAPSHOT Gen.35.16 idx8 mark_id=etnachta]
וַתֵּ֥לֶד רָחֵ֖ל וַתְּקַ֥שׁ בְּלִדְתָּֽהּ · va-teled rachel va-teqash be-lidtah · Rachel gave birth, and her birthing was hard (verse-final lidtah) [VERIFIED: SNAPSHOT Gen.35.16 idx9-12]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_teqash_be_lidtah(rachel, kivrat_ha_aretz_efrata), t8) = HOLDS(and-teqash-in-lidtah(rachel, kivrat-the-earth-efrata), t8) THE HARDNESS-VERB IS BORN [care 12; CROWN 6]. va-yisu mi-bet-el va-yehi od KIVRAT HA-ARETZ la-vo EFRATA (3530 tok1/2; 672 tok1/4) [VERIFIED: SNAPSHOT Gen.35.16 idx5,8] — the death- scene's rare words (the stretch-of-land measure, the place-name) will recur ONLY in Jacob's deathbed retelling of this death (48:7 — kivrat tok2/2, efrata toks 3-4/4): event and memory, nothing between [CROWN 6]. va-TEQASH be-lidtah (7185 tok1/9 DEBUT) [VERIFIED: idx11 ordinal=1/9] — qashah, the hardness-verb, enters the Torah in Rachel's labor; tok3 = 49:7 (the curse on Simeon-Levi's anger — qashata), then the career hardens hearts and necks: Pharaoh (Exod 7:3, 13:15), Sihon (Deut 2:30), Israel's neck (Deut 10:16), beside the law's two hard-case tokens (Deut 1:17, 15:18) — born in birth-pang, mostly spent on obstinacy. Depth 8. | וַתְּקַשׁ בְּלִדְתָּהּ · va-teqash be-lidtah = and-teqash in-lidtah | — | tested |
STEP_Gn_35_17 · Gen.35.17 · THE_MIDWIFE_AND_THE_FEAR_NOT
וַיְהִי בְהַקְשֹׁתָהּ בְּלִדְתָּהּ וַתֹּאמֶר לָהּ הַמְיַלֶּדֶת אַל־תִּירְאִי כִּי־גַם־זֶה לָךְ בֵּן · va-yehi ve-haqshotah be-lidtah va-tomer lah ha-meyaledet el-tiri ki-gam ze lakh ben · And it was, in her hard birthing, that the midwife said to her: Fear not, for this one too is a son for you.
וַיְהִ֥י בְהַקְשֹׁתָ֖הּ בְּלִדְתָּ֑הּ · va-yehi ve-haqshotah be-lidtah · in her hard birthing (etnachta on lidtah) [VERIFIED: SNAPSHOT Gen.35.17 idx2 mark_id=etnachta]
וַתֹּ֨אמֶר לָ֤הּ הַמְיַלֶּ֨דֶת֙ אַל תִּ֣ירְאִ֔י כִּֽי גַם זֶ֥ה לָ֖ךְ בֵּֽן · va-tomer lah ha-meyaledet el-tiri ki-gam ze lakh ben · the midwife said: fear not — this one too is a son for you (verse-final ben) [VERIFIED: SNAPSHOT Gen.35.17 idx3-12]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(ha_meyaledet, LET-NOT(tiri(rachel))) = DECLARE(the-meyaledet, LET-NOT(tiri(rachel))) THE FEAR-NOT AT THE DEATHBED [UNIT SHAPE (9); care 12]. al-TIRI (408 + 3372 tok13/81, HVqj2fs true jussive) [VERIFIED: SNAPSHOT Gen.35.17 idx6-7 morphs] — the negative particle with a true jussive: LET-NOT push (gen_54's yichar class; gen_35's al-pair). The fear-verb never returns in-span; the next verse is Rachel's death — the card stands OPEN over a comfort that could not land. ha-MEYALEDET (3205 tok142/205) [VERIFIED: idx5] — THE MIDWIFE enters the Torah at this deathbed; the office's next bearer is 38:28 (Tamar's midwife at the twins' birth, tok156), then Exod 1:15-21's midwives who defy Pharaoh — the role debuts losing a mother and ends saving the sons. ki GAM ZE lakh ben — "this one TOO": the letter's receipt of 30:24's yosef-etiology — Rachel's fenced wish "may YHWH ADD me ANOTHER son" (gen_51's yosef-class, the fence's namesake) lands at her death: the added son arrives and the adding costs the asker her life (landing-note; gen_51's ledger untouched). PUSH LET-NOT(tiri(rachel)). Depth 9. | אַל־תִּירְאִי · el-tiri = to-tiri | — | tested |
STEP_Gn_35_18 · Gen.35.18 · THE_TWO_NAMES
וַיְהִי בְּצֵאת נַפְשָׁהּ כִּי מֵתָה וַתִּקְרָא שְׁמוֹ בֶּן־אוֹנִי וְאָבִיו קָרָא־לוֹ בִנְיָמִין · va-yehi be-tzet nafshah ki meta va-tiqra shemo ben-oni ve-avi-v qara-lo vinyamin · And it was, as her soul went out — for she died — that she called his name Ben-oni [son of my sorrow]; and his father called him Binyamin [son of the right hand].
וַיְהִ֞י בְּצֵ֤את נַפְשָׁהּ֙ כִּ֣י מֵ֔תָה וַתִּקְרָ֥א שְׁמ֖וֹ בֶּן אוֹנִ֑י · va-yehi be-tzet nafshah ki meta va-tiqra shemo ben-oni · as her soul went out — for she died — she named him Ben-oni (etnachta on oni) [VERIFIED: SNAPSHOT Gen.35.18 idx8 mark_id=etnachta]
וְאָבִ֖יו קָֽרָא ל֥וֹ בִנְיָמִֽין · ve-avi-v qara-lo vinyamin · and his father called him Binyamin (verse-final vinyamin) [VERIFIED: SNAPSHOT Gen.35.18 idx9-12]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| REGISTRY_INSTALL | WORLD += {ha_ben} = WORLD += {the-ben} DEATH #2 BEGINS [CROWN 3(b)]. va-yehi be-tzet nafshah ki meta (3318 tok60/348; 5315 tok29/205; 4191 tok42/303) [VERIFIED: SNAPSHOT Gen.35.18 idx0-4] — the exit-verb of gen_57's bracket now carries a soul out. WORLD += ha_ben (the twelfth son enters the world his mother is leaving). | בְּצֵאת נַפְשָׁהּ כִּי · be-tzet nafshah ki = in-tzet nafshah when | — | tested |
| NAME | name(ha_ben) := ben_oni = name(the-ben) := ben-oni WRITE #5 — THE DYING MOTHER'S NAME. va-tiqra shemo BEN-ONI (7121 tok88/193; 1126+/1126 tok1/1 each) [VERIFIED: SNAPSHOT Gen.35.18 idx5-8 — both ordinals 1/1] — "son of my sorrow": Rachel's naming formula (va-tiqra — the same form that named most of the twelve in gen_51) writes her last word into the registry; the name is a Torah hapax — the ledger holds it one write deep and the text never says it again. REGISTRY 5. | וַתִּקְרָא שְׁמוֹ בֶּן־אוֹנִי · va-tiqra shemo ben-oni = and-tiqra shemo ben-oni | — | tested |
| NAME | name(ha_ben) := vinyamin = name(the-ben) := vinyamin WRITE #6 — THE FATHER'S OVERWRITE [CROWN 3(b)]. ve-aviv qara lo VINYAMIN (7121 tok89/193; 1144 tok1/31 DEBUT) [VERIFIED: idx9-12] — the father's qara-lo write (gen_54's 31:47 class: plain narrative naming writes) lands on the same key: last-write-wins — the registry ends binyamin, and every later token of the child is Binyamin (1144 toks 2-31): the machine's overwrite law enacting the story's grief — the mother's name exists only in the write-history. REGISTRY 6. | וְאָבִיו קָרָא־לוֹ בִנְיָמִין · ve-avi-v qara-lo vinyamin = and-avi-v qara-not vinyamin | — | tested |
STEP_Gn_35_19 · Gen.35.19 · RACHEL_DIES
וַתָּמָת רָחֵל וַתִּקָּבֵר בְּדֶרֶךְ אֶפְרָתָה הִוא בֵּית לָחֶם · va-tamat rachel va-tiqaver be-derekh efrata hiv bet lachem · And Rachel died; and she was buried on the way to Efrat — it is Bethlehem.
וַתָּ֖מָת רָחֵ֑ל · va-tamat rachel · and Rachel died (etnachta on rachel) [VERIFIED: SNAPSHOT Gen.35.19 idx1 mark_id=etnachta]
וַתִּקָּבֵר֙ בְּדֶ֣רֶךְ אֶפְרָ֔תָה הִ֖וא בֵּ֥ית לָֽחֶם · va-tiqaver be-derekh efrata hiv bet lachem · buried on the way to Efrat — it is Bethlehem (verse-final lachem) [VERIFIED: SNAPSHOT Gen.35.19 idx2-7]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_tamat_va_tiqaver(rachel, be_derekh_efrata_bet_lachem), t9) = HOLDS(and-tamat-and-tiqaver(rachel, in-derekh-efrata-bet-lachem), t9) BETHLEHEM EXISTS ONLY HERE [CROWN 6]. va-tamat rachel (4191 tok43/303; 7354 tok37/44) va-tiqaver be-derekh efrata (6912 tok13/35; 672 tok2/4) hiv BET LACHEM (1035+ tok1/2; 1035 tok1/2) [VERIFIED: SNAPSHOT Gen.35.19] — Bethlehem's only other Torah appearance is 48:7, Jacob's deathbed retelling of this very verse: in the Torah, Bethlehem is Rachel's grave and its memory — nothing else. The mother of the just-counted house dies on the road between the write and the list. Depth 9. | וַתָּמָת רָחֵל · va-tamat rachel = and-tamat rachel | — | tested |
STEP_Gn_35_20 · Gen.35.20 · THE_GRAVE_PILLAR
וַיַּצֵּב יַעֲקֹב מַצֵּבָה עַל־קְבֻרָתָהּ הִוא מַצֶּבֶת קְבֻרַת־רָחֵל עַד־הַיּוֹם · va-yatzev yaaqov matzeva al-qevuratah hiv matzevet qevurat-rachel ad-ha-yom · And Jacob set up a pillar upon her grave — it is the pillar of Rachel's grave to this day.
וַיַּצֵּ֧ב יַעֲקֹ֛ב מַצֵּבָ֖ה עַל קְבֻרָתָ֑הּ · va-yatzev yaaqov matzeva al-qevuratah · Jacob set a pillar on her grave (etnachta on qevuratah) [VERIFIED: SNAPSHOT Gen.35.20 idx4 mark_id=etnachta]
הִ֛וא מַצֶּ֥בֶת קְבֻֽרַת רָחֵ֖ל עַד הַיּֽוֹם · hiv matzevet qevurat-rachel ad-ha-yom · it is the pillar of Rachel's grave to this day (verse-final yom) [VERIFIED: SNAPSHOT Gen.35.20 idx5-10]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(matzevet_qevurat_rachel(ad_ha_yom), t9) = HOLDS(matzevet-qevurat-rachel(until-the-day), t9) THE MARKED GRAVE AND THE UNFINDABLE ONE [care 14]. va-yatzev yaaqov matzeva al qevuratah (5324 tok10/28; 4676 tok9/16; 4678 tok2/2 — the construct pillar-form CLOSES its two-token career: Bethel's stone and Rachel's) [VERIFIED: SNAPSHOT Gen.35.20] — qevura (6900 toks 1-2/4) — the burial-noun debuts twice on this marked grave; its LAST token is Deut 34:6: MOSES' burial-place, which "no man knows to this day" — the noun runs from the grave marked ad-ha-yom to the grave unfindable ad-ha-yom. hiv matzevet qevurat rachel AD HA-YOM — a standing-object report: fact-class, not PATTERN (no al-ken, no practice) [OPEN OBSERVATIONS (c)]. Depth 9. | וַיַּצֵּב יַעֲקֹב מַצֵּבָה · va-yatzev yaaqov matzeva = and-yatzev yaaqov matzeva | — | tested |
STEP_Gn_35_21 · Gen.35.21 · ISRAEL_MOVES
וַיִּסַּע יִשְׂרָאֵל וַיֵּט אָהֳלֹה מֵהָלְאָה לְמִגְדַּל־עֵדֶר · va-yisa yisrael va-yet aholo me-hala le-migdal-eder · And Israel journeyed, and pitched his tent beyond Migdal-eder.
וַיִּסַּ֖ע יִשְׂרָאֵ֑ל · va-yisa yisrael · and Israel journeyed (etnachta on yisrael) [VERIFIED: SNAPSHOT Gen.35.21 idx1 mark_id=etnachta]
וַיֵּ֣ט אָֽהֳלֹ֔ה מֵהָ֖לְאָה לְמִגְדַּל עֵֽדֶר · va-yet aholo me-hala le-migdal-eder · and pitched his tent beyond the Tower of the Flock (verse-final eder) [VERIFIED: SNAPSHOT Gen.35.21 idx2-6]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yisa_yisrael(me_hala_le_migdal_eder), t9) = HOLDS(and-yisa-yisrael(from-hala-to-migdal-eder), t9) THE COUNTERSIGN LANDS [CROWN 1]. va-yisa YISRAEL (3478 tok7/587; 5265 tok10/120) [VERIFIED: SNAPSHOT Gen.35.21 idx0-1] — the narrator's FIRST Israel-for-the-man, eleven verses after the formula wrote it and never once before [VERIFIED: toks 1-6 census — decree speech, people-law, altar-title, jurisdiction, formula]: the write begins the usage. va-yet aholo (5186 tok5/50; 168 tok24/215) me-hala LE-MIGDAL EDER (4029+/4029 tok1/1 each — the Tower of the Flock, once in the Torah) [VERIFIED: ordinals 1/1]. Depth 9. | וַיִּסַּע יִשְׂרָאֵל · va-yisa yisrael = and-yisa yisrael | — | tested |
STEP_Gn_35_22 · Gen.35.22 · REUBEN_AND_THE_COUNT
וַיְהִי בִּשְׁכֹּן יִשְׂרָאֵל בָּאָרֶץ הַהִוא וַיֵּלֶךְ רְאוּבֵן וַיִּשְׁכַּב אֶת־בִּלְהָה פִּילֶגֶשׁ אָבִיו וַיִּשְׁמַע יִשְׂרָאֵל וַיִּהְיוּ בְנֵי־יַעֲקֹב שְׁנֵים עָשָׂר · va-yehi bi-shekon yisrael ba-aretz ha-hiv va-yelekh reuven va-yishkav et-bilhah pilegesh aviv va-yishma yisrael va-yihyu vene-yaaqov shenem asar · And it was, while Israel dwelt in that land, that Reuben went and lay with Bilhah, his father's concubine; and Israel heard. And the sons of Jacob were twelve.
וַיְהִ֗י בִּשְׁכֹּ֤ן יִשְׂרָאֵל֙ בָּאָ֣רֶץ הַהִ֔וא וַיֵּ֣לֶךְ רְאוּבֵ֔ן וַיִּשְׁכַּב֙ אֶת בִּלְהָה֙ פִּילֶ֣גֶשׁ אָבִ֔יו וַיִּשְׁמַ֖ע יִשְׂרָאֵ֑ל · va-yehi bi-shekon yisrael ba-aretz ha-hiv va-yelekh reuven va-yishkav et-bilhah pilegesh aviv va-yishma yisrael · while Israel dwelt there, Reuben lay with Bilhah, his father's concubine; and Israel heard (etnachta on yisrael) [VERIFIED: SNAPSHOT Gen.35.22 idx13 mark_id=etnachta]
וַיִּֽהְי֥וּ בְנֵֽי יַעֲקֹ֖ב שְׁנֵ֥ים עָשָֽׂר · va-yihyu vene-yaaqov shenem asar · and the sons of Jacob were twelve (verse-final asar) [VERIFIED: SNAPSHOT Gen.35.22 idx14-18]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yishkav_reuven_va_yishma_yisrael(shenem_asar), t9) = HOLDS(and-yishkav-reuven-and-yishma-yisrael(shenem-asar), t9) HEARD, AND NOTHING MORE [care 15]. va-yehi bi-SHEKON yisrael (7931 tok7/35 — shakhan: the abide-verb the narrator uses where the shev-card's yashav never returns [OPEN OBSERVATIONS (d)]); va-yelekh reuven va-YISHKAV et bilha pilegesh aviv (7901 tok16/62; 1090 tok6/9; 6370 tok3/4) [VERIFIED: SNAPSHOT Gen.35.22] — gen_57's armed next-violation lands: the lie-verb's next narrative token after Shechem is Reuben; its next after this is Potiphar's wife's imperative (39:7). va-YISHMA yisrael (8085 tok43/241) — Israel HEARD — and the verse turns to arithmetic: the hear-then-silence of 34:5, this time without even a silence-verb; the reckoning waits for 49:3-4 ("you went UP your father's bed" — the ascend-verb again [watch]). va-yihyu vene yaaqov SHENEM ASAR — the twelve-count lands immediately after the violation: the house is whole on the letter the moment it breaks in the story. Depth 9. | וַיִּשְׁכַּב אֶת־בִּלְהָה פִּילֶגֶשׁ · va-yishkav et-bilhah pilegesh = and-yishkav bilhah pilegesh | — | tested |
STEP_Gn_35_23 · Gen.35.23 · LEAH_S_SIX
בְּנֵי לֵאָה בְּכוֹר יַעֲקֹב רְאוּבֵן וְשִׁמְעוֹן וְלֵוִי וִיהוּדָה וְיִשָּׂשכָר וּזְבוּלֻן · bene leah bekhor yaaqov reuven ve-shimon ve-levi vi-yhuda ve-yisashkhar u-zevulun · The sons of Leah: Jacob's firstborn Reuben, and Simeon and Levi and Judah and Issachar and Zebulun.
בְּנֵ֣י לֵאָ֔ה בְּכ֥וֹר יַעֲקֹ֖ב רְאוּבֵ֑ן · bene leah bekhor yaaqov reuven · Leah's sons: Jacob's firstborn Reuben (etnachta on reuven) [VERIFIED: SNAPSHOT Gen.35.23 idx4 mark_id=etnachta]
וְשִׁמְעוֹן֙ וְלֵוִ֣י וִֽיהוּדָ֔ה וְיִשָּׂשכָ֖ר וּזְבוּלֻֽן · ve-shimon ve-levi vi-yhuda ve-yisashkhar u-zevulun · Simeon, Levi, Judah, Issachar, Zebulun (verse-final zevulun) [VERIFIED: SNAPSHOT Gen.35.23 idx5-9]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(bene_lea_shisha(reuven_ad_zevulun), t9) = HOLDS(bene-lea-shisha(reuven-until-zevulun), t9) THE TITLE THE LETTER KEEPS [care 16]. bene lea BEKHOR yaaqov reuven (3812 tok29/33; 1060 tok6/69) [VERIFIED: SNAPSHOT Gen.35.23 idx0-4] — one verse after the violation the letter still titles Reuben FIRSTBORN: the census keeps the rank the story has just undermined; the reckoning is 49:3-4's, outside the span. The six in birth order (gen_51's names, re-listed by mother). Depth 9. | בְּנֵי לֵאָה בְּכוֹר · bene leah bekhor = bene leah bekhor | — | tested |
STEP_Gn_35_24 · Gen.35.24 · RACHEL_S_TWO
בְּנֵי רָחֵל יוֹסֵף וּבִנְיָמִן · bene rachel yosef u-vinyamin · The sons of Rachel: Joseph and Binyamin.
בְּנֵ֣י רָחֵ֔ל · bene rachel · the sons of Rachel (NO etnachta in verse: split at zaqef_qatan on rachel) [VERIFIED: SNAPSHOT Gen.35.24 idx1 mark_id=zaqef_qatan rank=2; no etnachta token]
יוֹסֵ֖ף וּבִנְיָמִֽן · yosef u-vinyamin · Joseph and Binyamin (verse-final vinyamin) [VERIFIED: SNAPSHOT Gen.35.24 idx2-3]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(bene_rachel(yosef_u_vinyamin), t9) = HOLDS(bene-rachel(yosef-and-vinyamin), t9) THE DEAD MOTHER'S LINE [care 16]. bene RACHEL yosef u-vinyamin (7354 tok39/44; 3130 tok5/175; 1144 tok2/31) [VERIFIED: SNAPSHOT Gen.35.24] — Rachel's list, five verses after Rachel's grave; Binyamin's second token ever is his census entry, already under the father's name [CROWN 3(b)]. The verse has no etnachta — the split rides its zaqef qatan (idx1, prestage fallback). Depth 9. | בְּנֵי רָחֵל יוֹסֵף וּבִנְיָמִן · bene rachel yosef u-vinyamin = bene rachel yosef and-vinyamin | — | tested |
STEP_Gn_35_25 · Gen.35.25 · BILHAH_S_TWO
וּבְנֵי בִלְהָה שִׁפְחַת רָחֵל דָּן וְנַפְתָּלִי · u-vene vilhah shifchat rachel dan ve-naftali · And the sons of Bilhah, Rachel's maid: Dan and Naphtali.
וּבְנֵ֤י בִלְהָה֙ שִׁפְחַ֣ת רָחֵ֔ל · u-vene vilhah shifchat rachel · the sons of Bilhah, Rachel's maid (NO etnachta in verse: split at zaqef_qatan on rachel) [VERIFIED: SNAPSHOT Gen.35.25 idx3 mark_id=zaqef_qatan rank=2; no etnachta token]
דָּ֖ן וְנַפְתָּלִֽי · dan ve-naftali · Dan and Naphtali (verse-final naftali) [VERIFIED: SNAPSHOT Gen.35.25 idx4-5]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(bene_vilha(dan_ve_naftali), t9) = HOLDS(bene-vilha(dan-and-naftali), t9) THE MAID STILL RACHEL'S [care 16]. u-vene vilha SHIFCHAT RACHEL (1090 tok7/9; 8198 tok27/31) [VERIFIED: SNAPSHOT Gen.35.25] — the census still writes Bilhah as Rachel's maid, three verses after Rachel died and three after Reuben's violation named Bilhah the father's concubine: the list keeps the older grammar of the house. dan ve-naftali (1835 tok3/27; 5321 tok2/20). No etnachta — zaqef qatan split (idx3, fallback). Depth 9. | וּבְנֵי בִלְהָה שִׁפְחַת רָחֵל · u-vene vilhah shifchat rachel = and-vene vilhah shifchat rachel | — | tested |
STEP_Gn_35_26 · Gen.35.26 · ZILPAH_S_TWO_AND_THE_SUMMARY
וּבְנֵי זִלְפָּה שִׁפְחַת לֵאָה גָּד וְאָשֵׁר אֵלֶּה בְּנֵי יַעֲקֹב אֲשֶׁר יֻלַּד־לוֹ בְּפַדַּן אֲרָם · u-vene zilpah shifchat leah gad ve-asher ele bene yaaqov asher yulad-lo be-fadan aram · And the sons of Zilpah, Leah's maid: Gad and Asher. These are the sons of Jacob who were born to him in Paddan-aram.
וּבְנֵ֥י זִלְפָּ֛ה שִׁפְחַ֥ת לֵאָ֖ה גָּ֣ד וְאָשֵׁ֑ר · u-vene zilpah shifchat leah gad ve-asher · the sons of Zilpah, Leah's maid: Gad and Asher (etnachta on asher) [VERIFIED: SNAPSHOT Gen.35.26 idx5 mark_id=etnachta]
אֵ֚לֶּה בְּנֵ֣י יַעֲקֹ֔ב אֲשֶׁ֥ר יֻלַּד ל֖וֹ בְּפַדַּ֥ן אֲרָֽם · ele bene yaaqov asher yulad-lo be-fadan aram · these are Jacob's sons, born to him in Paddan-aram (verse-final aram) [VERIFIED: SNAPSHOT Gen.35.26 idx6-13]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(ele_vene_yaaqov(yulad_lo_be_fadan_aram), t9) = HOLDS(ele-vene-yaaqov(yulad-not-in-fadan-aram), t9) THE SUMMARY AND THE ROAD [OPEN OBSERVATIONS (a)]. u-vene zilpa shifchat lea gad ve-asher (2153 tok5/7; 1410 tok2/28; 836 tok2/20); ele vene yaaqov asher YULAD lo BE-FADAN ARAM (3205 tok143/205; 6307 tok9/11) [VERIFIED: SNAPSHOT Gen.35.26] — the summary places all twelve births in Paddan-aram, eleven verses after this same chapter set Binyamin's birth on the Efrat road (35:16-18): the two tokens stand as the letter gives them — filed as an open observation, adjudicated by no one. Depth 9. | אֵלֶּה בְּנֵי יַעֲקֹב אֲשֶׁר יֻלַּד · ele bene yaaqov asher yulad = ele bene yaaqov which yulad | — | tested |
STEP_Gn_35_27 · Gen.35.27 · THE_RETURN_TO_THE_FATHER
וַיָּבֹא יַעֲקֹב אֶל־יִצְחָק אָבִיו מַמְרֵא קִרְיַת הָאַרְבַּע הִוא חֶבְרוֹן אֲשֶׁר־גָּר־שָׁם אַבְרָהָם וְיִצְחָק · va-yavo yaaqov el-yitzchaq aviv mamre qiryat haarba hiv chevron asher-gar sham avraham ve-yitzchaq · And Jacob came to Isaac his father, to Mamre, Kiryat-Arba — it is Hebron — where Abraham and Isaac had sojourned.
וַיָּבֹ֤א יַעֲקֹב֙ אֶל יִצְחָ֣ק אָבִ֔יו מַמְרֵ֖א קִרְיַ֣ת הָֽאַרְבַּ֑ע · va-yavo yaaqov el-yitzchaq aviv mamre qiryat haarba · Jacob came to Isaac his father at Mamre, Kiryat-Arba (etnachta on haarba) [VERIFIED: SNAPSHOT Gen.35.27 idx7 mark_id=etnachta]
הִ֣וא חֶבְר֔וֹן אֲשֶׁר גָּֽר שָׁ֥ם אַבְרָהָ֖ם וְיִצְחָֽק · hiv chevron asher-gar sham avraham ve-yitzchaq · it is Hebron, where Abraham and Isaac sojourned (verse-final yitzchaq) [VERIFIED: SNAPSHOT Gen.35.27 idx8-14]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yavo_el_yitzchaq(mamre_qiryat_haarba_hiv_chevron), t9) = HOLDS(and-yavo-to-yitzchaq(mamre-qiryat-haarba-hiv-chevron), t9) THE FOUR-FOLD CITY, TWICE [care 17]. va-yavo yaaqov el yitzchaq aviv (935 tok126/619; 3327 tok72/98) mamre QIRYAT HAARBA (4471 tok8/10; 7153+ tok2/2; 7153 tok2/2) [VERIFIED: SNAPSHOT Gen.35.27 — both Kiryat-Arba ordinals 2/2] — the name Kiryat-Arba appears exactly twice in the Torah: 23:2 (SARAH dies at Kiryat-Arba) and here (Jacob reaches Isaac to bury him): both tokens stand at a patriarchal household's death-station. hiv chevron (2275 tok4/9); asher GAR sham avraham ve-yitzchaq (1481 tok8/37) — the sojourn-verb over both fathers, one clause. Depth 9. | וַיָּבֹא יַעֲקֹב אֶל־יִצְחָק אָבִיו · va-yavo yaaqov el-yitzchaq aviv = and-yavo yaaqov to-yitzchaq aviv | — | tested |
STEP_Gn_35_28 · Gen.35.28 · ISAAC_S_DAYS
וַיִּהְיוּ יְמֵי יִצְחָק מְאַת שָׁנָה וּשְׁמֹנִים שָׁנָה · va-yihyu yeme yitzchaq meat shana u-shemonim shana · And the days of Isaac were a hundred years and eighty years.
וַיִּֽהְי֖וּ יְמֵ֣י יִצְחָ֑ק · va-yihyu yeme yitzchaq · and the days of Isaac were (etnachta on yitzchaq) [VERIFIED: SNAPSHOT Gen.35.28 idx2 mark_id=etnachta]
מְאַ֥ת שָׁנָ֖ה וּשְׁמֹנִ֥ים שָׁנָֽה · meat shana u-shemonim shana · a hundred years and eighty years (verse-final shana) [VERIFIED: SNAPSHOT Gen.35.28 idx3-6]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(yeme_yitzchaq(meat_u_shemonim_shana), t9) = HOLDS(yeme-yitzchaq(meat-and-shemonim-shana), t9) THE LONGEST PATRIARCH SPAN [care 17]. va-yihyu yeme yitzchaq meat shana u-shemonim shana (3117 tok112/668; 3967 tok59/194; 8084 tok5/9) [VERIFIED: SNAPSHOT Gen.35.28] — 180: longer than Abraham's 175 (25:7) and Jacob's 147 (47:28) — the quietest patriarch holds the longest ledger-line (DB arithmetic). Depth 9. | וַיִּהְיוּ יְמֵי יִצְחָק · va-yihyu yeme yitzchaq = and-yihyu yeme yitzchaq | — | tested |
STEP_Gn_35_29 · Gen.35.29 · THE_BROTHERS_AT_THE_GRAVE
וַיִּגְוַע יִצְחָק וַיָּמָת וַיֵּאָסֶף אֶל־עַמָּיו זָקֵן וּשְׂבַע יָמִים וַיִּקְבְּרוּ אֹתוֹ עֵשָׂו וְיַעֲקֹב בָּנָיו · va-yigva yitzchaq va-yamat va-yeasef el-amav zaqen u-seva yamim va-yiqbru et-o esav ve-yaaqov banav · And Isaac expired and died, and was gathered to his people, old and full of days; and Esau and Jacob his sons buried him.
וַיִּגְוַ֨ע יִצְחָ֤ק וַיָּ֨מָת֙ וַיֵּאָ֣סֶף אֶל עַמָּ֔יו זָקֵ֖ן וּשְׂבַ֣ע יָמִ֑ים · va-yigva yitzchaq va-yamat va-yeasef el-amav zaqen u-seva yamim · Isaac expired, died, was gathered to his people, old and full of days (etnachta on yamim) [VERIFIED: SNAPSHOT Gen.35.29 idx8 mark_id=etnachta]
וַיִּקְבְּר֣וּ אֹת֔וֹ עֵשָׂ֥ו וְיַעֲקֹ֖ב בָּנָֽיו · va-yiqbru et-o esav ve-yaaqov banav · and Esau and Jacob his sons buried him (verse-final banav) [VERIFIED: SNAPSHOT Gen.35.29 idx9-13]
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_yigva_va_yeasef_va_yiqbru(yitzchaq, esav_ve_yaaqov), t9) = HOLDS(and-yigva-and-yeasef-and-yiqbru(yitzchaq, esav-and-yaaqov), t9) DEATH #3, AND THE ORDER FLIPS [care 17]. va-yigva yitzchaq va-yamat (1478 tok5/11 — the expire-verb belongs to the flood ×2 and the patriarchs: Abraham, Ishmael, Isaac, then Jacob at 49:33) va-YEASEF el amav (622 tok10/50) [VERIFIED: SNAPSHOT Gen.35.29] — asaf: tok9 was 34:30's feared hostile gathering (ve-neesfu alay, "they will gather against me"); tok10 is the peaceful gathering-to-his-people — dread and homecoming on consecutive career tokens. zaqen u-SEVA yamim (2205 tok5/54; 7649 tok2/3 — the sated-word: Abraham ve-savea 25:8, Isaac here, Naphtali seva ratzon Deut 33:23 — two sated fathers, one sated tribe). va-yiqbru oto ESAV VE-YAAQOV banav (6912 tok14/35) — the brother-pair burial repeats 25:9's (va-yiqbru oto YITZCHAQ VE-YISHMAEL banav) with the order FLIPPED [VERIFIED: token order both verses]: there the chosen younger stood first; here the elder Esau precedes — the first two patriarch burials are matching plural bury-tokens, each by an estranged pair, and the letter swaps the precedence (the third, 50:13's burial of Jacob by his sons, has no pair to order). UNIT END: SPECS depth 9 OPEN (qum_ale · shev_sham · ase_sham_mizbeach · hasiru · hitaharu · hachalifu · naquma_ve_naale? · pere_u_reve · tiri-NOT) — NINE pushed, ZERO popped: the second nine-open wall, back to back with gen_57's — refusal there, compliance here, and the letter holds both open. REGISTRY 6 writes (el_bet_el→bet_el; alon_bakhut; yisrael; ben_oni→vinyamin). TESTS 0 [VERIFIED: zero tov-adjective (2896) tokens in Gen 35]. | וַיִּגְוַע יִצְחָק וַיָּמָת · va-yigva yitzchaq va-yamat = and-yigva yitzchaq and-yamat | — | tested |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | after STEP_Gn_35_1 — the command-chain: three cards; depth 3 | Arise, go up to Bethel, dwell there, make there an altar. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; no test, no name. | ק֛וּם עֲלֵ֥ה בֵֽית אֵ֖ל · qum ale vet-el = qum ale vet-to |
| S2 | after STEP_Gn_35_2 — the purge-triple; depth 6 | Remove the foreign gods, purify yourselves, change your garments. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; no test, no name. | הָסִ֜רוּ אֶת אֱלֹהֵ֤י הַנֵּכָר֙ · hasiru et-elohe ha-nekhar = hasiru elohe the-nekhar |
| S3 | after STEP_Gn_35_3 — the cohortative pair pushed guarded; depth 7 | Let us arise and go up to Bethel. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; no test, no name. | וְנָק֥וּמָה וְנַעֲלֶ֖ה בֵּֽית אֵ֑ל · ve-naquma ve-naale bet-el = and-naquma and-naale bet-to |
| S4 | after STEP_Gn_35_4 — gods given and hidden, not removed; depth 7 | They gave the gods and rings; Jacob hid them under the terebinth. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; no test, no name. | וַיִּתְּנ֣וּ אֶֽל יַעֲקֹ֗ב · va-yitnu el-yaaqov = and-yitnu to-yaaqov |
| S5 | after STEP_Gn_35_5 — the terror; no pursuit; depth 7 | A terror of God was on the cities; they did not pursue. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; no test, no name. | וַיִּסָּ֑עוּ · va-yisau = and-yisau |
| S6 | after STEP_Gn_35_6 — arrival by the come-verb; depth 7 | Jacob came to Luz — it is Bethel. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; no test, no name. = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; no test, no name. | וַיָּבֹ֨א יַעֲקֹ֜ב ל֗וּזָה · va-yavo yaaqov luzah = and-yavo yaaqov luzah |
| S7 | after STEP_Gn_35_7 — altar built; El-Bethel written; REGISTRY 1 | He built an altar and called the place El-Bethel. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; WORLD += ha_maqom; REGISTRY 1 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; WORLD += the-maqom; REGISTRY 1 writes | וַיִּקְרָא֙ לַמָּק֔וֹם אֵ֖ל · va-yiqra la-maqom el = and-yiqra to-maqom to |
| S8 | after STEP_Gn_35_8 — Devorah dead; the weeping-oak written; REGISTRY 2 | Devorah died; he called its name Oak of Weeping. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; WORLD += ha_alon; REGISTRY 2 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; WORLD += the-alon; REGISTRY 2 writes | וַיִּקְרָ֥א שְׁמ֖וֹ אַלּ֥וֹן בָּכֽוּת · va-yiqra shemo alon bakhut = and-yiqra shemo alon bakhut |
| S9 | after STEP_Gn_35_9 — the second appearance; depth 7 | God appeared to Jacob again and blessed him. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; REGISTRY 2 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; REGISTRY 2 writes | וַיֵּרָ֨א אֱלֹהִ֤ים אֶֽל יַעֲקֹב֙ ע֔וֹד · va-yera Elohim el-yaaqov od = and-yera God to-yaaqov od |
| S10 | after STEP_Gn_35_10 — decree writes nothing; formula writes Israel; REGISTRY 3 | No more Jacob — Israel; and He called his name Israel. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; WORLD += yaaqov; REGISTRY 3 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; WORLD += yaaqov; REGISTRY 3 writes | וַיִּקְרָ֥א אֶת שְׁמ֖וֹ יִשְׂרָאֵֽל · va-yiqra et-shemo yisrael = and-yiqra shemo yisrael |
| S11 | after STEP_Gn_35_11 — the singular be-fruitful-and-multiply; depth 8 | I am El Shaddai: be fruitful and multiply. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 3 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 3 writes | פְּרֵ֣ה וּרְבֵ֔ה · pere u-reve = pere and-reve |
| S12 | after STEP_Gn_35_12 — the land-grant in three tenses; depth 8 | The land I gave to Abraham and Isaac — to you I will give it. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 3 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 3 writes | וְאֶת הָאָ֗רֶץ אֲשֶׁ֥ר נָתַ֛תִּי · ve-et-ha-aretz asher natati = and-the-earth which natati |
| S13 | after STEP_Gn_35_13 — God performs the ascend-verb, away; depth 8 | God went up from him in the place where He spoke with him. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 3 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 3 writes | וַיַּ֥עַל מֵעָלָ֖יו אֱלֹהִ֑ים · va-yaal me-alav Elohim = and-yaal from-alav God |
| S14 | after STEP_Gn_35_14 — pillar, libation, oil; depth 8 | He poured on it a libation and poured on it oil. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 3 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 3 writes | וַיַּצֵּ֨ב יַעֲקֹ֜ב מַצֵּבָ֗ה בַּמָּק֛וֹם · va-yatzev yaaqov matzeva ba-maqom = and-yatzev yaaqov matzeva in-the-maqom |
| S15 | after STEP_Gn_35_15 — Bethel over El-Bethel; REGISTRY 4 | Jacob called the name of the place Bethel. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 4 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 4 writes | וַיִּקְרָ֨א יַעֲקֹ֜ב אֶת שֵׁ֣ם הַמָּק֗וֹם · va-yiqra yaaqov et-shem ha-maqom = and-yiqra yaaqov shem the-maqom |
| S16 | after STEP_Gn_35_16 — the hard birth begins; depth 8 | Rachel gave birth, and her birthing was hard. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; REGISTRY 4 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; REGISTRY 4 writes | וַתְּקַ֥שׁ בְּלִדְתָּֽהּ · va-teqash be-lidtah = and-teqash in-lidtah |
| S17 | after STEP_Gn_35_17 — fear-not pushed at the deathbed; depth 9 | Fear not, for this one too is a son for you. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 4 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 4 writes | אַל תִּ֣ירְאִ֔י · el-tiri = to-tiri |
| S18 | after STEP_Gn_35_18 — Ben-oni written, Binyamin overwrites; REGISTRY 6 | She called him Ben-oni; his father called him Binyamin. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; WORLD += ha_ben; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; WORLD += the-ben; REGISTRY 6 writes | וַתִּקְרָ֥א שְׁמ֖וֹ בֶּן אוֹנִ֑י · va-tiqra shemo ben-oni = and-tiqra shemo ben-oni |
| S19 | after STEP_Gn_35_19 — Rachel dies; Bethlehem enters as a grave-gloss; depth 9 | Rachel died and was buried on the way to Efrat — it is Bethlehem. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַתָּ֖מָת רָחֵ֑ל · va-tamat rachel = and-tamat rachel |
| S20 | after STEP_Gn_35_20 — the grave-pillar to this day; depth 9 | It is the pillar of Rachel's grave to this day. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיַּצֵּ֧ב יַעֲקֹ֛ב מַצֵּבָ֖ה · va-yatzev yaaqov matzeva = and-yatzev yaaqov matzeva |
| S21 | after STEP_Gn_35_21 — the narrator's first Israel; depth 9 | And Israel journeyed and pitched his tent beyond Migdal-eder. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיִּסַּ֖ע יִשְׂרָאֵ֑ל · va-yisa yisrael = and-yisa yisrael |
| S22 | after STEP_Gn_35_22 — Reuben; Israel heard; the twelve counted; depth 9 | Reuben lay with Bilhah; Israel heard; the sons were twelve. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיִּשְׁכַּב֙ אֶת בִּלְהָה֙ פִּילֶ֣גֶשׁ · va-yishkav et-bilhah pilegesh = and-yishkav bilhah pilegesh |
| S23 | after STEP_Gn_35_23 — Leah's six; the firstborn title kept; depth 9 | Leah's sons: Jacob's firstborn Reuben, and five brothers. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | בְּנֵ֣י לֵאָ֔ה בְּכ֥וֹר · bene leah bekhor = bene leah bekhor |
| S24 | after STEP_Gn_35_24 — Rachel's two, past her grave; depth 9 | The sons of Rachel: Joseph and Binyamin. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | בְּנֵ֣י רָחֵ֔ל יוֹסֵ֖ף וּבִנְיָמִֽן · bene rachel yosef u-vinyamin = bene rachel yosef and-vinyamin |
| S25 | after STEP_Gn_35_25 — Bilhah's two, still Rachel's maid; depth 9 | The sons of Bilhah, Rachel's maid: Dan and Naphtali. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וּבְנֵ֤י בִלְהָה֙ שִׁפְחַ֣ת רָחֵ֔ל · u-vene vilhah shifchat rachel = and-vene vilhah shifchat rachel |
| S26 | after STEP_Gn_35_26 — the Paddan-aram summary; observation filed; depth 9 | These are Jacob's sons, born to him in Paddan-aram. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | אֵ֚לֶּה בְּנֵ֣י יַעֲקֹ֔ב אֲשֶׁ֥ר יֻלַּד · ele bene yaaqov asher yulad = ele bene yaaqov which yulad |
| S27 | after STEP_Gn_35_27 — to Isaac at Kiryat-Arba; depth 9 | Jacob came to Isaac his father — it is Hebron. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיָּבֹ֤א יַעֲקֹב֙ אֶל יִצְחָ֣ק אָבִ֔יו · va-yavo yaaqov el-yitzchaq aviv = and-yavo yaaqov to-yitzchaq aviv |
| S28 | after STEP_Gn_35_28 — one hundred and eighty; depth 9 | The days of Isaac were a hundred and eighty years. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיִּֽהְי֖וּ יְמֵ֣י יִצְחָ֑ק · va-yihyu yeme yitzchaq = and-yihyu yeme yitzchaq |
| S29 | after STEP_Gn_35_29 — Isaac gathered; the brothers bury; nine open at the wall | Esau and Jacob his sons buried him. | LET(qum_ale(yaaqov, bet_el)) pushed and OPEN; LET(shev_sham(yaaqov, bet_el)) pushed and OPEN; LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN; LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN; LET(hitaharu(bet_yaaqov)) pushed and OPEN; LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN; LET(pere_u_reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes = LET(qum-ale(yaaqov, bet-to)) pushed and OPEN; LET(shev-there(yaaqov, bet-to)) pushed and OPEN; LET(ase-there-altar(yaaqov, to-to-the-nire)) pushed and OPEN; LET(hasiru(bet-yaaqov, elohe-the-nekhar)) pushed and OPEN; LET(hitaharu(bet-yaaqov)) pushed and OPEN; LET(hachalifu(bet-yaaqov, simlotekhem)) pushed and OPEN; CMD-US?(naquma-and-naale(bet-yaaqov, bet-to)) pushed and OPEN; LET(pere-and-reve(yisrael)) pushed and OPEN; LET-NOT(tiri(rachel)) pushed and OPEN; REGISTRY 6 writes | וַיִּגְוַ֨ע יִצְחָ֤ק וַיָּ֨מָת֙ · va-yigva yitzchaq va-yamat = and-yigva yitzchaq and-yamat |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_58_israel_written_three_deaths — Bethel again: Israel written, three deaths on the road (35:1-29) [frozen]
final state: WORLD=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'] (+0 presupposed) | REGISTRY={'ha_maqom': 'bet_el', 'ha_alon': 'alon_bakhut', 'yaaqov': 'yisrael', 'ha_ben': 'vinyamin'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=[]
=== S1 — after STEP_Gn_35_1 — the command-chain: three cards; depth 3
ק֛וּם עֲלֵ֥ה בֵֽית אֵ֖ל (qum ale vet-el)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)'])
PASS no test, no name. (tests=0 names=0)
=== S2 — after STEP_Gn_35_2 — the purge-triple; depth 6
הָסִ֜רוּ אֶת אֱלֹהֵ֤י הַנֵּכָר֙ (hasiru et-elohe ha-nekhar)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)'])
PASS no test, no name. (tests=0 names=0)
=== S3 — after STEP_Gn_35_3 — the cohortative pair pushed guarded; depth 7
וְנָק֥וּמָה וְנַעֲלֶ֖ה בֵּֽית אֵ֑ל (ve-naquma ve-naale bet-el)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS no test, no name. (tests=0 names=0)
=== S4 — after STEP_Gn_35_4 — gods given and hidden, not removed; depth 7
וַיִּתְּנ֣וּ אֶֽל יַעֲקֹ֗ב (va-yitnu el-yaaqov)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS no test, no name. (tests=0 names=0)
=== S5 — after STEP_Gn_35_5 — the terror; no pursuit; depth 7
וַיִּסָּ֑עוּ (va-yisau)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS no test, no name. (tests=0 names=0)
=== S6 — after STEP_Gn_35_6 — arrival by the come-verb; depth 7
וַיָּבֹ֨א יַעֲקֹ֜ב ל֗וּזָה (va-yavo yaaqov luzah)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS no test, no name. (tests=0 names=0)
=== S7 — after STEP_Gn_35_7 — altar built; El-Bethel written; REGISTRY 1
וַיִּקְרָא֙ לַמָּק֔וֹם אֵ֖ל (va-yiqra la-maqom el)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS WORLD += ha_maqom (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.35.7'})
PASS REGISTRY 1 writes (writes=1 names=['ha_maqom'])
=== S8 — after STEP_Gn_35_8 — Devorah dead; the weeping-oak written; REGISTRY 2
וַיִּקְרָ֥א שְׁמ֖וֹ אַלּ֥וֹן בָּכֽוּת (va-yiqra shemo alon bakhut)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS WORLD += ha_alon (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.35.8'})
PASS REGISTRY 2 writes (writes=2 names=['ha_alon', 'ha_maqom'])
=== S9 — after STEP_Gn_35_9 — the second appearance; depth 7
וַיֵּרָ֨א אֱלֹהִ֤ים אֶֽל יַעֲקֹב֙ ע֔וֹד (va-yera Elohim el-yaaqov od)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS REGISTRY 2 writes (writes=2 names=['ha_alon', 'ha_maqom'])
=== S10 — after STEP_Gn_35_10 — decree writes nothing; formula writes Israel; REGISTRY 3
וַיִּקְרָ֥א אֶת שְׁמ֖וֹ יִשְׂרָאֵֽל (va-yiqra et-shemo yisrael)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)'])
PASS WORLD += yaaqov (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.35.10'})
PASS REGISTRY 3 writes (writes=3 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S11 — after STEP_Gn_35_11 — the singular be-fruitful-and-multiply; depth 8
פְּרֵ֣ה וּרְבֵ֔ה (pere u-reve)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 3 writes (writes=3 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S12 — after STEP_Gn_35_12 — the land-grant in three tenses; depth 8
וְאֶת הָאָ֗רֶץ אֲשֶׁ֥ר נָתַ֛תִּי (ve-et-ha-aretz asher natati)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 3 writes (writes=3 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S13 — after STEP_Gn_35_13 — God performs the ascend-verb, away; depth 8
וַיַּ֥עַל מֵעָלָ֖יו אֱלֹהִ֑ים (va-yaal me-alav Elohim)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 3 writes (writes=3 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S14 — after STEP_Gn_35_14 — pillar, libation, oil; depth 8
וַיַּצֵּ֨ב יַעֲקֹ֜ב מַצֵּבָ֗ה בַּמָּק֛וֹם (va-yatzev yaaqov matzeva ba-maqom)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 3 writes (writes=3 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S15 — after STEP_Gn_35_15 — Bethel over El-Bethel; REGISTRY 4
וַיִּקְרָ֨א יַעֲקֹ֜ב אֶת שֵׁ֣ם הַמָּק֗וֹם (va-yiqra yaaqov et-shem ha-maqom)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 4 writes (writes=4 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S16 — after STEP_Gn_35_16 — the hard birth begins; depth 8
וַתְּקַ֥שׁ בְּלִדְתָּֽהּ (va-teqash be-lidtah)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)'])
PASS REGISTRY 4 writes (writes=4 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S17 — after STEP_Gn_35_17 — fear-not pushed at the deathbed; depth 9
אַל תִּ֣ירְאִ֔י (el-tiri)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 4 writes (writes=4 names=['ha_alon', 'ha_maqom', 'yaaqov'])
=== S18 — after STEP_Gn_35_18 — Ben-oni written, Binyamin overwrites; REGISTRY 6
וַתִּקְרָ֥א שְׁמ֖וֹ בֶּן אוֹנִ֑י (va-tiqra shemo ben-oni)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS WORLD += ha_ben (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.35.18'})
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S19 — after STEP_Gn_35_19 — Rachel dies; Bethlehem enters as a grave-gloss; depth 9
וַתָּ֖מָת רָחֵ֑ל (va-tamat rachel)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S20 — after STEP_Gn_35_20 — the grave-pillar to this day; depth 9
וַיַּצֵּ֧ב יַעֲקֹ֛ב מַצֵּבָ֖ה (va-yatzev yaaqov matzeva)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S21 — after STEP_Gn_35_21 — the narrator's first Israel; depth 9
וַיִּסַּ֖ע יִשְׂרָאֵ֑ל (va-yisa yisrael)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S22 — after STEP_Gn_35_22 — Reuben; Israel heard; the twelve counted; depth 9
וַיִּשְׁכַּב֙ אֶת בִּלְהָה֙ פִּילֶ֣גֶשׁ (va-yishkav et-bilhah pilegesh)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S23 — after STEP_Gn_35_23 — Leah's six; the firstborn title kept; depth 9
בְּנֵ֣י לֵאָ֔ה בְּכ֥וֹר (bene leah bekhor)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S24 — after STEP_Gn_35_24 — Rachel's two, past her grave; depth 9
בְּנֵ֣י רָחֵ֔ל יוֹסֵ֖ף וּבִנְיָמִֽן (bene rachel yosef u-vinyamin)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S25 — after STEP_Gn_35_25 — Bilhah's two, still Rachel's maid; depth 9
וּבְנֵ֤י בִלְהָה֙ שִׁפְחַ֣ת רָחֵ֔ל (u-vene vilhah shifchat rachel)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S26 — after STEP_Gn_35_26 — the Paddan-aram summary; observation filed; depth 9
אֵ֚לֶּה בְּנֵ֣י יַעֲקֹ֔ב אֲשֶׁ֥ר יֻלַּד (ele bene yaaqov asher yulad)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S27 — after STEP_Gn_35_27 — to Isaac at Kiryat-Arba; depth 9
וַיָּבֹ֤א יַעֲקֹב֙ אֶל יִצְחָ֣ק אָבִ֔יו (va-yavo yaaqov el-yitzchaq aviv)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S28 — after STEP_Gn_35_28 — one hundred and eighty; depth 9
וַיִּֽהְי֖וּ יְמֵ֣י יִצְחָ֑ק (va-yihyu yeme yitzchaq)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
=== S29 — after STEP_Gn_35_29 — Isaac gathered; the brothers bury; nine open at the wall
וַיִּגְוַ֨ע יִצְחָ֤ק וַיָּ֨מָת֙ (va-yigva yitzchaq va-yamat)
PASS LET(qum_ale(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(shev_sham(yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(ase_sham_mizbeach(yaaqov, la_el_ha_nire)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hasiru(bet_yaaqov, et_elohe_ha_nekhar)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hitaharu(bet_yaaqov)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(hachalifu(bet_yaaqov, simlotekhem)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS CMD-US?(naquma_ve_naale(bet_yaaqov, bet_el)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET(pere_u_reve(yisrael)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS LET-NOT(tiri(rachel)) pushed and OPEN (queue=['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)'])
PASS REGISTRY 6 writes (writes=6 names=['ha_alon', 'ha_ben', 'ha_maqom', 'yaaqov'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_58_israel_written_three_deaths — 35:1-29
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_58_israel_written_three_deaths.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.
# =============================================================================
"""Bethel again: Israel written, three deaths on the road (35:1-29)"""
from machine import Machine
m = Machine("gen_58_israel_written_three_deaths")
# -------------------------- Gen.35.1 · THE_COMMAND_CHAIN -------------------
# וַיֹּאמֶר אֱלֹהִים אֶל־יַעֲקֹב קוּם עֲלֵה בֵית־אֵל וְשֶׁב־שָׁם
# וַעֲשֵׂה־שָׁם מִזְבֵּחַ לָאֵל הַנִּרְאֶה אֵלֶיךָ בְּבָרְחֲךָ מִפְּנֵי
# עֵשָׂו אָחִיךָ
# "[EN-AID] And God said to Jacob: Arise, go up to Bethel and dwell there;
# and make there an altar to the El who appeared to you when you fled from
# Esau your brother."
m.step("Gen.35.1")
# ‹קוּם עֲלֵה בֵית־אֵל› (“arise go-up Beth-el”) — God speaks a demand — LET:
# arise-go-up(Jacob, from-to)
m.declare("Elohim", "LET",
"qum_ale(yaaqov, bet_el)")
# ‹וְשֶׁב־שָׁם› (“and-dwell/sit there”) — God speaks a demand — LET:
# dwell/sit-there(Jacob, from-to)
m.declare("Elohim", "LET",
"shev_sham(yaaqov, bet_el)")
# ‹וַעֲשֵׂה־שָׁם מִזְבֵּחַ לָאֵל› (“and-make there altar to-God”) — God
# speaks a demand — LET: make-there-altar(Jacob, to-to-the-see)
m.declare("Elohim", "LET",
"ase_sham_mizbeach(yaaqov, la_el_ha_nire)")
# -------------------------- Gen.35.2 · THE_PURGE_TRIPLE --------------------
# וַיֹּאמֶר יַעֲקֹב אֶל־בֵּיתוֹ וְאֶל כָּל־אֲשֶׁר עִמּוֹ הָסִרוּ אֶת־אֱלֹהֵי
# הַנֵּכָר אֲשֶׁר בְּתֹכְכֶם וְהִטַּהֲרוּ וְהַחֲלִיפוּ שִׂמְלֹתֵיכֶם
# "[EN-AID] And Jacob said to his house and to all who were with him: Remove
# the foreign gods that are in your midst, and purify yourselves, and change
# your garments."
m.step("Gen.35.2")
# ‹הָסִרוּ אֶת־אֱלֹהֵי הַנֵּכָר› (“turn-aside obj-marker God the-foreign”) —
# Jacob speaks a demand — LET: turn-aside(from-Jacob, obj-marker-God-the-
# foreign)
m.declare("yaaqov", "LET",
"hasiru(bet_yaaqov, et_elohe_ha_nekhar)")
# ‹וְהִטַּהֲרוּ› (“and-be-pure”) — Jacob speaks a demand — LET: be-
# pure(from-Jacob)
m.declare("yaaqov", "LET",
"hitaharu(bet_yaaqov)")
# ‹וְהַחֲלִיפוּ שִׂמְלֹתֵיכֶם› (“and-slide-by dress-you/your(pl)”) — Jacob
# speaks a demand — LET: slide-by(from-Jacob, simlotekhem)
m.declare("yaaqov", "LET",
"hachalifu(bet_yaaqov, simlotekhem)")
# -------------------------- Gen.35.3 · THE_COHORTATIVE_PAIR ----------------
# וְנָקוּמָה וְנַעֲלֶה בֵּית־אֵל וְאֶעֱשֶׂה־שָּׁם מִזְבֵּחַ לָאֵל הָעֹנֶה
# אֹתִי בְּיוֹם צָרָתִי וַיְהִי עִמָּדִי בַּדֶּרֶךְ אֲשֶׁר הָלָכְתִּי
# "[EN-AID] And let us arise and go up to Bethel; and I will make there an
# altar to the El who answered me in the day of my distress, and was with me
# on the way that I walked."
m.step("Gen.35.3")
# ‹וְנָקוּמָה וְנַעֲלֶה בֵּית־אֵל› (“and-arise and-go-up Beth-el”) — Jacob
# speaks a demand — CMD-US?: arise-and-go-up(from-Jacob, from-to)
m.declare("yaaqov", "CMD-US?",
"naquma_ve_naale(bet_yaaqov, bet_el)")
# -------------------------- Gen.35.4 · THE_HANDOVER ------------------------
# וַיִּתְּנוּ אֶל־יַעֲקֹב אֵת כָּל־אֱלֹהֵי הַנֵּכָר אֲשֶׁר בְּיָדָם
# וְאֶת־הַנְּזָמִים אֲשֶׁר בְּאָזְנֵיהֶם וַיִּטְמֹן אֹתָם יַעֲקֹב תַּחַת
# הָאֵלָה אֲשֶׁר עִם־שְׁכֶם
# "[EN-AID] And they gave to Jacob all the foreign gods that were in their
# hand, and the rings that were in their ears; and Jacob hid them under the
# terebinth that is by Shechem."
m.step("Gen.35.4")
# ‹וַיִּתְּנוּ אֶל־יַעֲקֹב› (“and-set to Jacob”) — fact holds: and-set-and-
# hide(God-the-foreign-and-the-nose-ring, under-the-oak)
m.fact("va_yitnu_va_yitmon(elohe_ha_nekhar_ve_ha_nezamim, tachat_ha_ela)")
# -------------------------- Gen.35.5 · THE_UN_PURSUIT ----------------------
# וַיִּסָּעוּ וַיְהִי חִתַּת אֱלֹהִים עַל־הֶעָרִים אֲשֶׁר סְבִיבֹתֵיהֶם
# וְלֹא רָדְפוּ אַחֲרֵי בְּנֵי יַעֲקֹב
# "[EN-AID] And they journeyed; and a terror of God was upon the cities that
# were around them, and they did not pursue after the sons of Jacob."
m.step("Gen.35.5")
# ‹וַיִּסָּעוּ› (“and-journey”) — fact holds: fear-God-and-not-run-after-
# gone-by)(city)
m.fact("chitat_Elohim_ve_lo_radfu(he_arim)")
# -------------------------- Gen.35.6 · THE_ARRIVAL -------------------------
# וַיָּבֹא יַעֲקֹב לוּזָה אֲשֶׁר בְּאֶרֶץ כְּנַעַן הִוא בֵּית־אֵל הוּא
# וְכָל־הָעָם אֲשֶׁר־עִמּוֹ
# "[EN-AID] And Jacob came to Luz, which is in the land of Canaan — it is
# Bethel — he and all the people who were with him."
m.step("Gen.35.6")
# ‹וַיָּבֹא יַעֲקֹב לוּזָה› (“and-come/bring Jacob Luz-ward”) — fact holds:
# and-come/bring-luzah-he/it-from-to(Jacob-and-the-people)
m.fact("va_yavo_luzah_hiv_bet_el(yaaqov_ve_ha_am)")
# -------------------------- Gen.35.7 · THE_ALTAR_BUILT_AND_NAMED -----------
# וַיִּבֶן שָׁם מִזְבֵּחַ וַיִּקְרָא לַמָּקוֹם אֵל בֵּית־אֵל כִּי שָׁם
# נִגְלוּ אֵלָיו הָאֱלֹהִים בְּבָרְחוֹ מִפְּנֵי אָחִיו
# "[EN-AID] And he built there an altar, and called the place El-Bethel; for
# there the Elohim were revealed to him when he fled from before his
# brother."
m.step("Gen.35.7")
# ‹וַיִּבֶן שָׁם מִזְבֵּחַ› (“and-build there altar”) — the world gains:
# the-place
m.install("ha_maqom")
# ‹וַיִּקְרָא לַמָּקוֹם אֵל› (“and-call to-place strength”) — named: the-
# place := to-from-to
m.name("ha_maqom", "el_bet_el")
# -------------------------- Gen.35.8 · THE_NURSE_NAMED_AT_DEATH ------------
# וַתָּמָת דְּבֹרָה מֵינֶקֶת רִבְקָה וַתִּקָּבֵר מִתַּחַת לְבֵית־אֵל תַּחַת
# הָאַלּוֹן וַיִּקְרָא שְׁמוֹ אַלּוֹן בָּכוּת
# "[EN-AID] And Devorah, Rebekah's nurse, died, and she was buried below
# Bethel, under the oak; and he called its name Oak of Weeping."
m.step("Gen.35.8")
# ‹וַתָּמָת דְּבֹרָה מֵינֶקֶת רִבְקָה› (“and-die Deborah suck Rebekah”) —
# the world gains: the-oak
m.install("ha_alon")
# ‹וַיִּקְרָא שְׁמוֹ אַלּוֹן בָּכוּת› (“and-call name-him/its Allon-
# bachuth”) — named: the-oak := oak-Allon-bachuth
m.name("ha_alon", "alon_bakhut")
# -------------------------- Gen.35.9 · THE_SECOND_APPEARANCE ---------------
# וַיֵּרָא אֱלֹהִים אֶל־יַעֲקֹב עוֹד בְּבֹאוֹ מִפַּדַּן אֲרָם וַיְבָרֶךְ
# אֹתוֹ
# "[EN-AID] And God appeared to Jacob again, in his coming from Paddan-aram;
# and He blessed him."
m.step("Gen.35.9")
# ‹וַיֵּרָא אֱלֹהִים אֶל־יַעֲקֹב עוֹד› (“and-see God to Jacob still/again”)
# — fact holds: and-see-God-still/again-and-bless(to-Jacob)
m.fact("va_yera_Elohim_od_va_yevarekh(el_yaaqov)")
# -------------------------- Gen.35.10 · THE_DECREE_AND_THE_FORMULA ---------
# וַיֹּאמֶר־לוֹ אֱלֹהִים שִׁמְךָ יַעֲקֹב לֹא־יִקָּרֵא שִׁמְךָ עוֹד יַעֲקֹב
# כִּי אִם־יִשְׂרָאֵל יִהְיֶה שְׁמֶךָ וַיִּקְרָא אֶת־שְׁמוֹ יִשְׂרָאֵל
# "[EN-AID] And God said to him: Your name is Jacob; your name shall no more
# be called Jacob, but Israel shall be your name. And He called his name
# Israel."
m.step("Gen.35.10")
# ‹שִׁמְךָ יַעֲקֹב› (“name-you/your Jacob”) — the world gains: Jacob
m.install("yaaqov")
# ‹וַיִּקְרָא אֶת־שְׁמוֹ יִשְׂרָאֵל› (“and-call obj-marker name-him/its
# Israel”) — named: Jacob := Israel
m.name("yaaqov", "yisrael")
# -------------------------- Gen.35.11 · THE_SINGULAR_BLESSING_COMMAND ------
# וַיֹּאמֶר לוֹ אֱלֹהִים אֲנִי אֵל שַׁדַּי פְּרֵה וּרְבֵה גּוֹי וּקְהַל
# גּוֹיִם יִהְיֶה מִמֶּךָּ וּמְלָכִים מֵחֲלָצֶיךָ יֵצֵאוּ
# "[EN-AID] And God said to him: I am El Shaddai. Be fruitful and multiply —
# a nation and an assembly of nations shall be from you; and kings shall go
# out from your loins."
m.step("Gen.35.11")
# ‹פְּרֵה וּרְבֵה› (“be-fruitful and-multiply”) — to-Almighty speaks a
# demand — LET: be-fruitful-and-multiply(Israel)
m.declare("el_shaday", "LET",
"pere_u_reve(yisrael)")
# -------------------------- Gen.35.12 · THE_LAND_GRANT_TRIPLE --------------
# וְאֶת־הָאָרֶץ אֲשֶׁר נָתַתִּי לְאַבְרָהָם וּלְיִצְחָק לְךָ אֶתְּנֶנָּה
# וּלְזַרְעֲךָ אַחֲרֶיךָ אֶתֵּן אֶת־הָאָרֶץ
# "[EN-AID] And the land that I gave to Abraham and to Isaac — to you I will
# give it; and to your seed after you I will give the land."
m.step("Gen.35.12")
# ‹וְאֶת־הָאָרֶץ אֲשֶׁר נָתַתִּי› (“and-obj-marker the-earth which set”) —
# fact holds: set-etnena-set(the-earth, to-Israel-and-to-zaro)
m.fact("natati_etnena_eten(ha_aretz, le_yisrael_u_le_zaro)")
# -------------------------- Gen.35.13 · GOD_GOES_UP ------------------------
# וַיַּעַל מֵעָלָיו אֱלֹהִים בַּמָּקוֹם אֲשֶׁר־דִּבֶּר אִתּוֹ
# "[EN-AID] And God went up from him, in the place where He had spoken with
# him."
m.step("Gen.35.13")
# ‹וַיַּעַל מֵעָלָיו אֱלֹהִים› (“and-go-up from-over-him/its God”) — fact
# holds: and-go-up-from-alav-God(place)
m.fact("va_yaal_me_alav_Elohim(ba_maqom)")
# -------------------------- Gen.35.14 · THE_PILLAR_AND_THE_LIBATION --------
# וַיַּצֵּב יַעֲקֹב מַצֵּבָה בַּמָּקוֹם אֲשֶׁר־דִּבֶּר אִתּוֹ מַצֶּבֶת אָבֶן
# וַיַּסֵּךְ עָלֶיהָ נֶסֶךְ וַיִּצֹק עָלֶיהָ שָׁמֶן
# "[EN-AID] And Jacob set up a pillar in the place where He had spoken with
# him, a pillar of stone; and he poured on it a libation, and poured on it
# oil."
m.step("Gen.35.14")
# ‹וַיַּצֵּב יַעֲקֹב מַצֵּבָה בַּמָּקוֹם› (“and-stand Jacob pillar in-
# place”) — fact holds: and-stand-pillar-and-pour-out-libation(Jacob, oil)
m.fact("va_yatzev_matzeva_va_yasekh_nesekh(yaaqov, shamen)")
# -------------------------- Gen.35.15 · THE_NAME_REWRITTEN -----------------
# וַיִּקְרָא יַעֲקֹב אֶת־שֵׁם הַמָּקוֹם אֲשֶׁר דִּבֶּר אִתּוֹ שָׁם אֱלֹהִים
# בֵּית־אֵל
# "[EN-AID] And Jacob called the name of the place where God had spoken with
# him — Bethel."
m.step("Gen.35.15")
# ‹וַיִּקְרָא יַעֲקֹב אֶת־שֵׁם הַמָּקוֹם› (“and-call Jacob obj-marker name
# the-place”) — named: the-place := from-to
m.name("ha_maqom", "bet_el")
# -------------------------- Gen.35.16 · THE_HARD_BIRTH_BEGINS --------------
# וַיִּסְעוּ מִבֵּית אֵל וַיְהִי־עוֹד כִּבְרַת־הָאָרֶץ לָבוֹא אֶפְרָתָה
# וַתֵּלֶד רָחֵל וַתְּקַשׁ בְּלִדְתָּהּ
# "[EN-AID] And they journeyed from Bethel, and there was still a stretch of
# land to come to Efrat; and Rachel gave birth, and her birthing was hard."
m.step("Gen.35.16")
# ‹וַתְּקַשׁ בְּלִדְתָּהּ› (“and-be-dense in-bear-young-her/its”) — fact
# holds: and-be-dense-in-lidtah(Rachel, length-the-earth-'Ephrath)
m.fact("va_teqash_be_lidtah(rachel, kivrat_ha_aretz_efrata)")
# -------------------------- Gen.35.17 · THE_MIDWIFE_AND_THE_FEAR_NOT -------
# וַיְהִי בְהַקְשֹׁתָהּ בְּלִדְתָּהּ וַתֹּאמֶר לָהּ הַמְיַלֶּדֶת
# אַל־תִּירְאִי כִּי־גַם־זֶה לָךְ בֵּן
# "[EN-AID] And it was, in her hard birthing, that the midwife said to her:
# Fear not, for this one too is a son for you."
m.step("Gen.35.17")
# ‹אַל־תִּירְאִי› (“do-not fear”) — the-bear-young speaks a demand — LET-
# NOT: fear(Rachel)
m.declare("ha_meyaledet", "LET-NOT",
"tiri(rachel)")
# -------------------------- Gen.35.18 · THE_TWO_NAMES ----------------------
# וַיְהִי בְּצֵאת נַפְשָׁהּ כִּי מֵתָה וַתִּקְרָא שְׁמוֹ בֶּן־אוֹנִי
# וְאָבִיו קָרָא־לוֹ בִנְיָמִין
# "[EN-AID] And it was, as her soul went out — for she died — that she
# called his name Ben-oni [son of my sorrow]; and his father called him
# Binyamin [son of the right hand]."
m.step("Gen.35.18")
# ‹בְּצֵאת נַפְשָׁהּ כִּי› (“in-bring-forth living-being-her/its that”) —
# the world gains: the-son
m.install("ha_ben")
# ‹וַתִּקְרָא שְׁמוֹ בֶּן־אוֹנִי› (“and-call name-him/its Ben-oni”) — named:
# the-son := son-Ben-oni
m.name("ha_ben", "ben_oni")
# ‹וְאָבִיו קָרָא־לוֹ בִנְיָמִין› (“and-father-him/its call to-him/its
# Benjamin”) — named: the-son := Benjamin
m.name("ha_ben", "vinyamin")
# -------------------------- Gen.35.19 · RACHEL_DIES ------------------------
# וַתָּמָת רָחֵל וַתִּקָּבֵר בְּדֶרֶךְ אֶפְרָתָה הִוא בֵּית לָחֶם
# "[EN-AID] And Rachel died; and she was buried on the way to Efrat — it is
# Bethlehem."
m.step("Gen.35.19")
# ‹וַתָּמָת רָחֵל› (“and-die Rachel”) — fact holds: and-die-and-bury(Rachel,
# in-way/road-'Ephrath-from-Bethlehem)
m.fact("va_tamat_va_tiqaver(rachel, be_derekh_efrata_bet_lachem)")
# -------------------------- Gen.35.20 · THE_GRAVE_PILLAR -------------------
# וַיַּצֵּב יַעֲקֹב מַצֵּבָה עַל־קְבֻרָתָהּ הִוא מַצֶּבֶת קְבֻרַת־רָחֵל
# עַד־הַיּוֹם
# "[EN-AID] And Jacob set up a pillar upon her grave — it is the pillar of
# Rachel's grave to this day."
m.step("Gen.35.20")
# ‹וַיַּצֵּב יַעֲקֹב מַצֵּבָה› (“and-stand Jacob pillar”) — fact holds:
# something-stationary-sepulture-Rachel(until-the-day)
m.fact("matzevet_qevurat_rachel(ad_ha_yom)")
# -------------------------- Gen.35.21 · ISRAEL_MOVES -----------------------
# וַיִּסַּע יִשְׂרָאֵל וַיֵּט אָהֳלֹה מֵהָלְאָה לְמִגְדַּל־עֵדֶר
# "[EN-AID] And Israel journeyed, and pitched his tent beyond Migdal-eder."
m.step("Gen.35.21")
# ‹וַיִּסַּע יִשְׂרָאֵל› (“and-journey Israel”) — fact holds: and-journey-
# Israel(from-distance-to-to-Migdal-eder)
m.fact("va_yisa_yisrael(me_hala_le_migdal_eder)")
# -------------------------- Gen.35.22 · REUBEN_AND_THE_COUNT ---------------
# וַיְהִי בִּשְׁכֹּן יִשְׂרָאֵל בָּאָרֶץ הַהִוא וַיֵּלֶךְ רְאוּבֵן
# וַיִּשְׁכַּב אֶת־בִּלְהָה פִּילֶגֶשׁ אָבִיו וַיִּשְׁמַע יִשְׂרָאֵל
# וַיִּהְיוּ בְנֵי־יַעֲקֹב שְׁנֵים עָשָׂר
# "[EN-AID] And it was, while Israel dwelt in that land, that Reuben went
# and lay with Bilhah, his father's concubine; and Israel heard. And the
# sons of Jacob were twelve."
m.step("Gen.35.22")
# ‹וַיִּשְׁכַּב אֶת־בִּלְהָה פִּילֶגֶשׁ› (“and-lie-down with Bilhah
# concubine”) — fact holds: and-lie-down-Reuben-and-hear-Israel(two--teen)
m.fact("va_yishkav_reuven_va_yishma_yisrael(shenem_asar)")
# -------------------------- Gen.35.23 · LEAH_S_SIX -------------------------
# בְּנֵי לֵאָה בְּכוֹר יַעֲקֹב רְאוּבֵן וְשִׁמְעוֹן וְלֵוִי וִיהוּדָה
# וְיִשָּׂשכָר וּזְבוּלֻן
# "[EN-AID] The sons of Leah: Jacob's firstborn Reuben, and Simeon and Levi
# and Judah and Issachar and Zebulun."
m.step("Gen.35.23")
# ‹בְּנֵי לֵאָה בְּכוֹר› (“son Leah firstborn”) — fact holds: son-Leah-
# shisha(Reuben-until-Zebulun)
m.fact("bene_lea_shisha(reuven_ad_zevulun)")
# -------------------------- Gen.35.24 · RACHEL_S_TWO -----------------------
# בְּנֵי רָחֵל יוֹסֵף וּבִנְיָמִן
# "[EN-AID] The sons of Rachel: Joseph and Binyamin."
m.step("Gen.35.24")
# ‹בְּנֵי רָחֵל יוֹסֵף וּבִנְיָמִן› (“son Rachel Joseph and-Benjamin”) —
# fact holds: son-Rachel(Joseph-and-Benjamin)
m.fact("bene_rachel(yosef_u_vinyamin)")
# -------------------------- Gen.35.25 · BILHAH_S_TWO -----------------------
# וּבְנֵי בִלְהָה שִׁפְחַת רָחֵל דָּן וְנַפְתָּלִי
# "[EN-AID] And the sons of Bilhah, Rachel's maid: Dan and Naphtali."
m.step("Gen.35.25")
# ‹וּבְנֵי בִלְהָה שִׁפְחַת רָחֵל› (“and-son Bilhah female-slave Rachel”) —
# fact holds: son-Bilhah(Daniel-and-Naphtali)
m.fact("bene_vilha(dan_ve_naftali)")
# -------------------------- Gen.35.26 · ZILPAH_S_TWO_AND_THE_SUMMARY -------
# וּבְנֵי זִלְפָּה שִׁפְחַת לֵאָה גָּד וְאָשֵׁר אֵלֶּה בְּנֵי יַעֲקֹב אֲשֶׁר
# יֻלַּד־לוֹ בְּפַדַּן אֲרָם
# "[EN-AID] And the sons of Zilpah, Leah's maid: Gad and Asher. These are
# the sons of Jacob who were born to him in Paddan-aram."
m.step("Gen.35.26")
# ‹אֵלֶּה בְּנֵי יַעֲקֹב אֲשֶׁר יֻלַּד› (“these son Jacob which bear-young”)
# — fact holds: these-son-Jacob(bear-young-not-in-in-Padan)
m.fact("ele_vene_yaaqov(yulad_lo_be_fadan_aram)")
# -------------------------- Gen.35.27 · THE_RETURN_TO_THE_FATHER -----------
# וַיָּבֹא יַעֲקֹב אֶל־יִצְחָק אָבִיו מַמְרֵא קִרְיַת הָאַרְבַּע הִוא
# חֶבְרוֹן אֲשֶׁר־גָּר־שָׁם אַבְרָהָם וְיִצְחָק
# "[EN-AID] And Jacob came to Isaac his father, to Mamre, Kiryat-Arba — it
# is Hebron — where Abraham and Isaac had sojourned."
m.step("Gen.35.27")
# ‹וַיָּבֹא יַעֲקֹב אֶל־יִצְחָק אָבִיו› (“and-come/bring Jacob to Isaac
# father-him/its”) — fact holds: and-come/bring-to-Isaac(Mamre-qiryat-
# Kirjath-Arba-he/it-Hebron)
m.fact("va_yavo_el_yitzchaq(mamre_qiryat_haarba_hiv_chevron)")
# -------------------------- Gen.35.28 · ISAAC_S_DAYS -----------------------
# וַיִּהְיוּ יְמֵי יִצְחָק מְאַת שָׁנָה וּשְׁמֹנִים שָׁנָה
# "[EN-AID] And the days of Isaac were a hundred years and eighty years."
m.step("Gen.35.28")
# ‹וַיִּהְיוּ יְמֵי יִצְחָק› (“and-be day Isaac”) — fact holds: day-
# Isaac(hundred-and-eighty-years)
m.fact("yeme_yitzchaq(meat_u_shemonim_shana)")
# -------------------------- Gen.35.29 · THE_BROTHERS_AT_THE_GRAVE ----------
# וַיִּגְוַע יִצְחָק וַיָּמָת וַיֵּאָסֶף אֶל־עַמָּיו זָקֵן וּשְׂבַע יָמִים
# וַיִּקְבְּרוּ אֹתוֹ עֵשָׂו וְיַעֲקֹב בָּנָיו
# "[EN-AID] And Isaac expired and died, and was gathered to his people, old
# and full of days; and Esau and Jacob his sons buried him."
m.step("Gen.35.29")
# ‹וַיִּגְוַע יִצְחָק וַיָּמָת› (“and-breathe-out Isaac and-die”) — fact
# holds: and-breathe-out-and-gather-for-any-purpose-and-bury(Isaac, Esau-
# and-Jacob)
m.fact("va_yigva_va_yeasef_va_yiqbru(yitzchaq, esav_ve_yaaqov)")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'yaaqov', 'ha_alon', 'ha_ben', 'ha_maqom'}
assert m.presupposed_set() == set()
assert m.REGISTRY["names"] == {'ha_maqom': 'bet_el', 'ha_alon': 'alon_bakhut', 'yaaqov': 'yisrael', 'ha_ben': 'vinyamin'}
assert m.REGISTRY["writes"] == 6
assert m.tests_list() == []
assert m.open_demands() == ['qum_ale(yaaqov, bet_el)', 'shev_sham(yaaqov, bet_el)', 'ase_sham_mizbeach(yaaqov, la_el_ha_nire)', 'hasiru(bet_yaaqov, et_elohe_ha_nekhar)', 'hitaharu(bet_yaaqov)', 'hachalifu(bet_yaaqov, simlotekhem)', 'naquma_ve_naale(bet_yaaqov, bet_el)', 'pere_u_reve(yisrael)', 'tiri(rachel)']
assert len(m.SPECS["log"]) == 9
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {}
assert sorted(m.WORLD["facts"]) == sorted(['va_yitnu_va_yitmon(elohe_ha_nekhar_ve_ha_nezamim, tachat_ha_ela)', 'chitat_Elohim_ve_lo_radfu(he_arim)', 'va_yavo_luzah_hiv_bet_el(yaaqov_ve_ha_am)', 'va_yera_Elohim_od_va_yevarekh(el_yaaqov)', 'natati_etnena_eten(ha_aretz, le_yisrael_u_le_zaro)', 'va_yaal_me_alav_Elohim(ba_maqom)', 'va_yatzev_matzeva_va_yasekh_nesekh(yaaqov, shamen)', 'va_teqash_be_lidtah(rachel, kivrat_ha_aretz_efrata)', 'va_tamat_va_tiqaver(rachel, be_derekh_efrata_bet_lachem)', 'matzevet_qevurat_rachel(ad_ha_yom)', 'va_yisa_yisrael(me_hala_le_migdal_eder)', 'va_yishkav_reuven_va_yishma_yisrael(shenem_asar)', 'bene_lea_shisha(reuven_ad_zevulun)', 'bene_rachel(yosef_u_vinyamin)', 'bene_vilha(dan_ve_naftali)', 'ele_vene_yaaqov(yulad_lo_be_fadan_aram)', 'va_yavo_el_yitzchaq(mamre_qiryat_haarba_hiv_chevron)', 'yeme_yitzchaq(meat_u_shemonim_shana)', 'va_yigva_va_yeasef_va_yiqbru(yitzchaq, esav_ve_yaaqov)'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 15
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")