The two camps, the gift, and the wrestled name (32:1-33) FROZEN

unit gen_55_two_camps_wrestled_name · Genesis 32:1-33 · derive · phase

⇄ verse view — this span in the scroll (trees + morphology) · ☰ all derived units

שָׂרִיתָ עִם־אֱלֹהִים וַתּוּכָל · sarita im-Elohim va-tukhal · 'You have striven with God — and prevailed'

DERIVATION RECORD — freeze-era draft note: DRAFT 2026-08-07 · SOLO ERA unit #9 (Claude coordinator+deriver; external fresh-context adversarial review before freeze per standing law). Span: 32:1-33, from Laban's morning kiss to the sinew rule. 33 verses · 453 tokens (SNAPSHOT-verified). SNAPSHOT + debut_map. bar C. Conventions: step he: = plain (no accents/meteg; maqqef ־ per snapshot); tree halves = accents kept, slashes stripped; split at etnachta — ALL 33 verses carry one (token-map scan; second all-etnachta unit in a row). Onkelos BUFFER PENDING. UNIT SHAPE — SEVEN pushes, ZERO pops, SEVEN OPEN at the wall: the THIRD all-open seven in the corpus (gen_34's Mamre, gen_54's Gilead, now Peniel — final-scenario scan 2026-08-07; still exceeded only by gen_35's 13 and gen_46's 12). The seven, in queue order: (1) 32:5 LET?(tomrun) — the messengers' say-instruction, coded imperfect in a command frame (HVqi2mp + paragogic nun): TIR-028's mandatory ?-guard (gen_21's device, gen_33's 17:9 tishmor precedent); the delivery to Esau is NEVER narrated — the messengers return saying only banu ("we came") — an in-speech report, no narrated delivery anywhere in-span (a homograph-echo of gen_25's 11:5 banu ruling — build-verb there, come-verb here — background clause, not receipt; the operative letter-fact is that no say-performance to Esau is ever narrated); (2) 32:12 LET(hatzileni(YHWH, mi_yad_esav)) — the rescue-imperative pushed ON GOD (gen_40's haqreh-na imperative-on-YHWH precedent; gen_32's mood law) — and the rescue-verb natzal 5337 walks demand tok3/25 → performance tok4/25 = 32:31 va-tinatzel nafshi: delivered FROM THE WRONG DANGER — Jacob asks rescue from his brother's HAND, the career's next token rescues him from God's FACE (panim el panim), consecutive tokens, object mismatch (gen_50 class): card OPEN — the Esau-hand horizon is 33:4's embrace, outside the span; (3-4) 32:17 LET(ivru(avadav, le_fanai)) + LET?(tasimu(revach)) — pass-before-me demanded of the SERVANTS; the pass-verb returns at 32:22 with the GIFT as its subject (va-taavor HA-MINCHA, avar toks 13→14 consecutive; 3fs morph HC/Vqw3fs): same root, wrong performer (gen_51 class) — the spacing-order (revach 7305 1/1 HAPAX) is never narrated at all; (5) 32:20 LET?(tedabrun) — the second say-imperfect (HVpi2mp + nun), never narrated; the say-chain alternates moods and only the imperfects push: tomrun (LET?) → ve-amarta (weqatal duty-content, gen_40 class, no push) → tedabrun (LET?) → va-amartem (weqatal, no push); (6) 32:27 LET(shalcheni(yaaqov)) — THE WRESTLER'S SEND-ME: the exact piel imperative-with-1cs-suffix form occurs TWICE in the Torah [VERIFIED: full 7971 morph census] — 30:25 Jacob to Laban (gen_52's never-performed headline) and 32:27 the ish to Jacob: the send-me demand fails in BOTH directions across the corpus; here it is REFUSED with a condition (gen_35's refused-demand class): lo ashalechakha ki im berakhtani — and the refusal quotes the demand's own verb back (toks 37→38 consecutive); the blessing then COMES (32:30 va-yevarekh oto sham — the stated condition met on the letter), yet no sending is ever narrated — the ish simply is not there at sunrise: card OPEN; (7) 32:30 LET(hagida(ha_ish, et_shimkha)) — tell-me-your-name, REFUSED BY A QUESTION (la-ma ze tishal li-shemi — the ask-verb shaal answers its own token, 5/29 → 6/29 consecutive) and answered with a BLESSING instead of the name: wrong-response landing, card OPEN. FENCED, NO PUSH: 32:10's shuv + ve-etiva (RETELLING fence, gen_41 — see CROWN); 32:21's akhapra (1cs cohortative inside quoted inner speech, ki amar — gen_47's 27:41 no-addressee class); 32:9's contingency plan (self-addressed conditional, fact); 32:33's yokhlu (the law's imperfect rides the PATTERN op, not the queue). REGISTRY 2 writes (machanayim, peniel — both va-yiqra formula); the ISRAEL decree writes NOTHING (see care 13). TESTS 0 [VERIFIED: zero tov-adjective (2896) tokens in Gen 32 — the do-good VERB yatav 3190 ×3 is not the instrument]. CROWN — THE REQUOTE LADDER (32:10-13): Jacob's prayer re-speaks YHWH's 31:3 command and escalates it in three DB-anchored steps. (a) 31:3 shuv el-eretz AVOTEKHA ("to the land of your FATHERS") → 32:10 shuv LE-ARTZEKHA ("to YOUR land") — the letter-delta gen_53 filed for this unit, now landed; (b) 31:3 ve-EHYE imakh ("I will BE with you") → 32:10 ve-ETIVA imakh ("I will DO-GOOD with you") — the presence-promise upgraded to a benefit-promise in the requote; (c) 32:13 ve-ata amarta HETEV ETIV imakh ("You said: doing-good I will do you good") — an infinitive-absolute doublet CITED AS QUOTE with no source utterance anywhere in the corpus: the do-good verb (3190) has exactly four tokens before this unit — God's conditional warning to CAIN (4:7 ×2), Abram to Sarai (12:13), Pharaoh's court (12:16) — none a promise, none to Jacob [VERIFIED: career census]; and (d) the seed-simile: 32:13 ke-chol ha-yam ("as the SAND of the sea") — God's recorded word to Jacob was ka-afar ha-aretz ("as the DUST of the earth", 28:14 [VERIFIED: SNAPSHOT idx2-3]); the sand-simile belongs to the ABRAHAM promise (22:17), and chol 2344's career runs tok1 = 22:17 → tok2 = this requote, consecutive: Jacob quotes his grandfather's simile into his own promise. Four deltas, one prayer, every rung machine-checkable. CARE-POINTS (ordinals from debut_map via prestage unless tagged): (1) 32:1 THE KISS LANDS: va-yenasheq (5401 tok6/13) — gen_54's watch: the farewell kiss denied at 31:28 performs one verse past gen_54's wall — Laban kisses his grandsons and daughters and returns li-meqomo; va-yevarekh et-hem (1288 tok58/137) — the bless-verb walk this unit: Laban's farewell blessing (tok58) → the demanded blessing (berakhtani, tok59, 32:27) → the granted blessing (va-yevarekh oto sham, tok60, 32:30) — three tokens, farewell to wrestled. (2) 32:2 THE ENCOUNTER: va-yifgu vo malakhe Elohim (6293 tok3/8) — paga's Jacob-brackets: tok2 = 28:11 va-yifga ba-maqom (the Bethel-place ENCOUNTERED going out), tok3 = the angels encounter him coming back — the Laban years framed by two encounters; career → Exod 5:20 (meeting Moses and Aaron), Num 35's avenger-meets. (3) 32:3-4 THE UNMARKED WORD: machane Elohim ze (4264 tok1/104 DEBUT — the CAMP-noun born; toks 1-6 ALL in-span: the camp-word's whole opening run is this unit's) → NAME write #1: machanayim (4266 tok1/1 HAPAX place-name, dual form — "TWO CAMPS") — and five verses later Jacob SPLITS into shene machanot (32:8): the dual name precedes its own enactment. Then malakhe Elohim (4397 tok14) → va-yishlach yaaqov MALAKHIM (tok15) — GOD'S MESSENGERS and JACOB'S MESSENGERS are consecutive tokens of one noun, the word unmarked between angel and envoy. (4) 32:5-6 THE MESSAGE: garti (1481 tok7/37 — the sojourn-verb: gen_44/45's Gerar career word in Jacob's self-description); va-echar (309 tok2/6 — the tarry-verb); shor (7794 tok1/52 DEBUT — the OX-noun born in a gift-list; career → 49:6 Levi's ox-hamstring, Exod 21-23's ox-laws: the goring-ox statutes' noun debuts here); li-metzo chen be-enekha (2580 tok5/27 — the grace-formula: career runs to Exod 33-34's find-grace cluster, toks 18-23). (5) 32:7 THE UNDELIVERED REPORT: banu el achikha el esav — gen_25's 11:5 banu ruling, quoted at step 32:7 (a homograph-echo: build-verb there, come-verb here — background clause, not receipt); ve-arba meot ish — the 400 men (3967 tok54/194). (6) 32:8-9 THE SPLIT: va-yira yaaqov meod (3372 tok12/81 — the fear-pair: yareti 31:31 → va-yira 32:8, Laban-fear then Esau-fear); va-yetzer (3334 tok1/1 HAPAX — DISTRESS, spoken once ever); va-yachatz (2673 tok1/6 DEBUT — the DIVIDE-verb: tok2 = 33:1 dividing the children; career → Exod 21:35's split-the-ox, Num 31's spoil-division: the divide-verb debuts dividing a family); li-feleta (6413 tok1/3 DEBUT — the REMNANT-noun born in Jacob's escape-arithmetic; tok2 = 45:7 Joseph's "great remnant", tok3 = Exod 10:5 the locusts eat the peleta — the survival-word's whole career is remnant-math). (7) 32:10-13 THE PRAYER (see CROWN): qatonti (6994 tok1/1 HAPAX — "I am too small": the humility-verb spoken once in the Torah); mi-kol ha-chasadim u-mi-kal ha-emet (2617 tok8/21; 571 tok4/11) — the kindness-and-truth pair: chesed toks 6-7 = the SERVANT's journey-thanks (24:27,49), tok8 = Jacob's prayer; careers meet again at Exod 34:6-7 (chesed toks 14-15, emet tok8 — the Attributes formula: rav-chesed ve-emet); ki ve-maqli avarti et ha-yarden (4731 tok7/9 — the ROD-noun: toks 1-6 = gen_52's peeled rods; tok7 = the crossing-staff — the rod-word's whole Genesis career is Jacob's; ha-yarden 3383 tok3/52 — the Jordan's third token, first CROSSED); em al banim (517 tok23/63) — the mother-upon-children fear; Deut 22:6's nest-law forbids taking ha-em al ha-banim [VERIFIED: 517 tokens at Deut 22:6] — the phrase Jacob dreads becomes the phrase the law protects. (8) 32:14-16 THE GIFT-LIST'S CAREERS: mincha (4503 toks 4-7/113 — toks 1-3 are CAIN AND ABEL's offerings, 4:3-5: the gift-noun's first family story ended in a brother's rage; its second deployment is engineered to APPEASE a brother's rage — the mincha returns between brothers, purpose inverted); izim 200 (5795 tok8/56); teyashim 20 (8495 tok2/2 CLOSES — the he-goat noun: 30:35 the deal's he-goats, 32:15 the gift's — born in the wage, spent in the appeasement); rechelim 200 (7353 tok2/2 CLOSES — gen_54's ewe-noun pair completes: the audit's ewes and the gift's); elim 20 (352 tok5/117); gemalim meniqot (3243 tok3/11 — nursing); parot 40 (6510 tok1/17 DEBUT — the COW-noun born in the gift: toks 2-12 = PHARAOH'S DREAM-COWS (41:2-27), toks 13-17 = the RED HEIFER (Num 19): Jacob's cows → the dream's cows → the ash-heifer); parim 10 (6499 tok1/92 DEBUT — the BULL of the cult: career = the covenant bulls of Exod 24:5, then the consecration and sin-offering cluster, Exod 29 onward); atonot 20 (860 tok2/18 — toks 5-18 = BALAAM'S SHE-DONKEY, Num 22: fourteen of the noun's eighteen tokens are one talking donkey); eyarim 10 (5895 tok1/3 DEBUT — toks 2-3 = 49:11, Judah's colt bound to the vine). The appeasement-herd's nouns keep walking into dream, oracle, and cult. (9) 32:17-22 THE WAVES: eder (5739 toks 6-10/10 — FIVE drove-tokens close the career IN-SPAN: four in 32:17 alone, the fifth at 32:20 — the drove-noun is born at the well (29:2-8, toks 1-4), passes through the wage-flocks (30:40), and ENDS in the appeasement column); revach (7305 tok1/1 HAPAX — SPACE: the gap between droves is a word the Torah says once); yifgashkha (6298 tok1/4 DEBUT — the MEET-verb: tok2 = 33:8 Esau's own "all this camp I MET", tok3-4 = Exod 4:24,27 — YHWH meets Moses to kill him, Aaron meets Moses to kiss him: the meet-verb's four tokens are all loaded encounters); ha-rishon / ha-sheni / ha-shelishi — the ordinal chain (7223 tok6/55; 8145 tok10/62; 7992 tok6/31); akhapra fanav (3722 tok2/79 — THE ATONEMENT-VERB'S SECOND TOKEN: tok1 = 6:14, PITCHING the ark with pitch (kofer); tok2 = Jacob COVERING his brother's face with a gift; toks 3+ = the altar and Yom Kippur cluster (Exod 29:33-37 onward) — the kipper-career: hull-sealing → face-appeasing → sin-covering); ulay yisa fanay (5375 tok23/168 — lift-my-face, the pardon idiom); panim ×10 in-span [VERIFIED: 6440 count in Gen 32 = 10] — the FACE-WALK: messengers before-his-face → gift before-my-face → cover-his-face → lift-my-face → the gift passes al-panav → PANIM EL PANIM (32:31) — ten faces climbing to the Face. (10) 32:23-25 THE FORD AND THE ALONE: maavar yaboq (4569 tok1/1 HAPAX — the FORD-noun, once ever; 2999 yaboq tok1/4 — career = border-clauses, Num 21:24, Deut 2:37, 3:16: the wrestling-river becomes a boundary-marker); achad asar yeladav — ELEVEN children cross (the letter's count); va-yivater yaaqov LEVADO (905 tok7/90 — the ALONE-word: tok1 = 2:18 "it is NOT GOOD for the human to be ALONE" — the corpus's only failed TEST verdict (gen_09's 2:18 lo-tov [VERIFIED: corpus grep — FAIL verdicts exist in gen_09 alone]) sits on this word's debut; its seventh token strands Jacob alone at the ford, and there the name-changing struggle finds him); va-yeaveq (79 toks 1-2/2 — THE WRESTLE-VERB'S WHOLE TORAH CAREER lives in 32:25-26: two tokens, one night); ad alot ha-shachar (7837 tok2/3 — DAWN: tok1 = 19:15, the dawn that rushed Lot out of Sodom; toks 2-3 = the wrestling's dawn ×2 — the dawn-noun's Torah career CLOSES at 32:27: Sodom's escape-light and Peniel's release-light are all its mornings). (11) 32:26 THE TOUCH: va-yiga be-khaf yerekho (5060 tok7/54) — THE LADDER-ADJACENCY: naga's tok6 = 28:12 magia ha-shamayma — the LADDER TOUCHING heaven; tok7 = the ish touching Jacob's hip-socket: Bethel's touch and Peniel's touch are CONSECUTIVE career tokens — the two contacts between Jacob's world and God's sit side by side in the concordance; tok8 = 32:33 (the law's retell of this touch). va-teqa (3363 tok1/2 — WRENCHED; its only sibling is Num 25:4's grim hoqa); kaf yerekh (3409 toks 3-7/23 — the THIGH: toks 1-2 = the oath-thigh of 24:2,9 (gen_40's under-the-thigh oath): the thigh sworn upon and the thigh struck are adjacent in the career; toks 8-9 = 46:26/47:29 — the loins-of-descent and the NEXT thigh-oath). (12) 32:27-28 THE DEMAND AND THE NAME ASKED: shalcheni [UNIT SHAPE (6)]; ma shemekha → va-yomer yaaqov — Jacob hands over the name 25:26 wrote (gen_43's registry label spoken by its bearer); shaal (7592 toks 4-6/29 — vi-sheelkha 32:18 (the anticipated question), va-yishal 32:30, tishal 32:30 — the ask-verb clusters at the two name-askings). (13) 32:29 THE DECREE THAT WRITES NOTHING [gen_33's law]: lo yaaqov yeamer od shimkha ki im yisrael — negated imperfect (yeamer, HVNi3ms) + nominal clause: the DECREE-FACT class frozen at 17:5/17:15 (gen_33: "DECREES... NOT the va-yiqra narrative formula... the REGISTRY takes nothing"). The registry sleeps — AND THE COUNTERSIGN INVERTS: gen_33's letter-proof was that AVRAM dies in its own retirement verse (token 59/59 sits at 17:5) and the narrator obeys instantly; here the narrator writes YAAQOV three more times INSIDE THIS UNIT after the decree (32:30 idx1, 32:31 idx1, 32:33 idx20 [VERIFIED: SNAPSHOT]) and 106 more times in the Torah (3290 total 212, this decree at tok103): the Abram-decree retired its name, the Jacob-decree does not — same decree grammar, opposite letter-behavior, and the machine reads the difference straight off the census. yisrael (3478 tok1/587 DEBUT); ki sarita (8280 tok1/1 HAPAX — the STRIVE-verb lives only inside the name's own etiology) im Elohim ve-im anashim va-tukhal (3201 toks 10-11/64 — lo yakhol ("he could not prevail", 32:26) → va-tukhal ("and you PREVAILED") — the could-not and the prevailed are consecutive career tokens with opposite subjects: the loser of tok10 declares the winner of tok11). (14) 32:30 THE NAME REFUSED [UNIT SHAPE (7)]: hagida-na shemekha (5046 tok20/55 — gen_54's tell-chain: toks 16-18 were the flight's, tok19 = 32:6 the messengers' le-hagid, tok20 = the name-demand); la-ma ze tishal li-shemi — the question that answers a question; va-yevarekh oto sham — the blessing in the name's place (and 32:27's condition thereby met on the letter, with the send still unperformed). (15) 32:31-32 THE FACE AND THE LIMP: NAME write #2 peniel (6439 toks 1-2/2 — WHOLE CAREER: peniEl at 32:31, penuEl at 32:32 — the place-name's two tokens SHIFT SPELLING one verse apart, i to u, DB-visible in translit and he); ki raiti Elohim panim el panim (7200 tok81/396) va-tinatzel nafshi [UNIT SHAPE (2) — the wrong-danger rescue]; va-yizrach lo ha-shemesh (2224 tok1/3 DEBUT — the SUNRISE-verb: tok2 = Exod 22:2 "if the sun has RISEN on him" (the thief-law's daylight clause), tok3 = Deut 33:2 "YHWH came from Sinai... he SHONE from Seir" — the rise-verb's three tokens: Peniel's healing light, the law's daylight, Sinai's theophany); ve-hu tzolea al yerekho (6760 tok1/1 HAPAX — LIMPING, once ever); ha-shemesh (8121 tok5/23 — the sun that SET at 28:11 (tok4, Bethel) RISES at 32:32 (tok5): consecutive sun-tokens bracket the twenty years — set at the ladder, risen at the wrestling). (16) 32:33 THE FIRST NARRATOR LAW [PATTERN op, gen_09's 2:24 class]: al ken lo yokhlu vene yisrael et gid ha-nashe ad ha-yom ha-ze — the al-ken standing generalization (imperfect yokhlu, no trigger clause, narrator voice). The corpus's eight prior PATTERN ops [VERIFIED: corpus grep] are five name-etiologies (Babel, Tzoar, Beer-sheva, Beer-lachai-roi, the Moriah saying), one proverb (Nimrod), and two relation-generalizations (2:24 leave-and-cleave, 3:15 enmity): this is the FIRST whose subject is a named PEOPLE and whose content is a PRACTICE they keep — narrator law proper. And its subject is BENE YISRAEL: the nation-name's SECOND token ever (3478 tok2/587), four verses after the name was born — the name debuts at 32:29 and LEGISLATES at 32:33: init→law inside one unit, the thesis's cleanest specimen. gid (1517 toks 1-2/2) + ha-nashe (5384 toks 1-2/2) — the sinew-law's whole vocabulary lives in its own verse (four tokens, one verse, both careers complete); ki naga (5060 tok8/54) — the law cites the touch; ad ha-yom ha-ze — the narrator's own now. WATCHLIST ARMS (prospective, filed): 33:4's embrace (the hatzileni-card's Esau-hand horizon; nashaq tok7/13); 33:8's "all this machane I MET" (pagash tok2 + machane tok7); 33:10's "I have seen your face like seeing the face of God" (the face-walk's coda); 35:10's formula-backed Israel re-issue (va-yiqra — the write the decree withheld; gen_33's NAME-triage neighborhood stays OPEN); Exod 4:24's meet-to-kill (pagash tok3); Exod 22:2's sunrise clause (zarach tok2); Num 22's donkey (atonot toks 5-18); Num 19's heifer (parot toks 13-17); Deut 22:6's nest-law (em-al-banim); Deut 33:2's Sinai sunrise (zarach tok3); Exod 34:6's chesed-ve-emet Attributes (2617 toks 14-15, 571 tok8).

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; record: logic/oral_audit/AUDIT_gen_55_2026-08-08.md; manifest 12/12 checkable VERIFIED, zero FAILED, one manual row). CROWNS (chain-attested + DB-verified). THE FACE-NAME'S CHANGED LETTER [G55-01, Minchat Shai; the Masorah's ordered rule]: Jacob names the place פניאל ("the FACE OF GOD," 32:31) with a YOD at its heart; one verse later, as the sun rises on his limp, the Torah writes פנואל with a VAV (32:32) — the naming and the morning one letter apart, first yod then vav as ruled. THE GIFT-VERSE OF EIGHT MEMS [G55-02, Kitzur Baal HaTurim]: every word of "two hundred she-goats and twenty he-goats, two hundred ewes and twenty rams" (32:15) ends in the letter mem — eight closing mems (DB-checked), set by the Kitzur against the EIGHT KINGS who reigned in Edom before any king in Israel. THE TWO LEAN WHO-SAIDs [G55-03]: האמר ("YHWH, WHO SAID to me: return to your land," 32:10) stands exactly twice in the Torah, both lean — the prayer's quoted promise here, and Levi's "WHO SAID of his father and mother, I have not seen them" (Deut 33:9). THE ONE FULL CAN [G55-04]: the wrestler's "he saw that he COULD not prevail" (32:26) runs lean, as at Joseph's breakdown (45:1) and the cloud-barred Tabernacle (Exod 40:35, builder-checked); the Torah's ONE full יכול ("can") is Caleb's "we surely CAN go up" (Num 13:30) — every could-not lean, the one whole CAN a faith-cry. THE PROMISE WRITTEN OVERFULL [G55-05]: ואיטיבה ("and I WILL SURELY DO GOOD with you," 32:10) — full with BOTH yods, the Masorah's none-like-it, Hilleli and the Ramah against the Yerushalmi; the Kitzur reads Abraham's ten trials in the ten-letter yod. THE SENT-GIFT FULL, THE SENT-HIND LEAN [G55-06]: שלוחה ("a gift SENT to my lord," 32:19) full with its vav; Naphtali's hind SENT forth (49:21) lean (builder-checked); Ezekiel's outstretched hand named third — the Masorah's two-lean-one-full landing with the gift whole. THE ENEMY IN THE INITIALS [G55-07, Kitzur]: הצילני נא מיד ("DELIVER me, please, from the hand of my brother," 32:12) — the three initials carry the letters of המן (Haman, DB-checked), the striker of "mother with children" read inside Jacob's fear of exactly that fate. STRAW AT THE WRESTLING'S END [G55-08, Kitzur]: ויאבק איש עמו ("and a man WRESTLED with him," 32:25) — the final letters spell קשו ("straw"): Obadiah's "the house of Esau shall be straw" sealed at the clause's ends; and איש עמו sums to 427, the count of עשו אדום (builder-checked). THE BARE NIGHT, MEMBER THREE [G55-09]: הוא of "he rose THAT night" (32:23) — the sense expects the the-prefixed form, the letter writes it bare: the Masorah's four-list gains its third in-corpus member (after Lot's elder daughter's night, 19:33, and the mandrake night, 30:16). THE BREATHING-SPACE AND THE RELIEF [G55-10, Kitzur]: ורוח ("a SPACE you shall set between herd and herd," 32:17) — alone of the four Torah tokens of these letters the space-noun (the other three are winds: creation, locusts, quails — builder-checked); the Masorah pairs it with Esther's RELIEF (4:14): Jacob's space before Esau read on every later rescue. THE AYIN HOLDS THE LINE [G55-11]: ועירם ("and ten FOALS," 32:16) — plain sheva (the silent half-vowel) on the ayin per all the precise books: the half-vowel law's guttural boundary confirmed a second time (after 26:22), while resh, tzadi, lamed, and qof keep splitting. AS RULED [G55-12]: במקלי ("with MY STAFF") bet soft against Rav Pealim, its letters summing to 182 = יעקב (the Kitzur's "with my body alone"); אשלחך ("I will not LET YOU GO") carrying Ben Asher's meteg on the shin in the stream. INSTRUMENT GAPS: the camp's holy Name and the wrestler's disputed one [G55-13, manual] — Soferim rules "this is God's CAMP" (32:3) holy; at "you have striven WITH GOD" (32:29) the sages divide (Bereshit Rabbah; Chullin) — the classification layer's stations nine and ten, unsettled. READINGS (named-only): גרתי ("I sojourned") as the 613; the wrestle-dust to the Throne; the thigh-touch as priesthood-disqualification; the four kingdoms in the four object-words of 32:18; והכני with Goliath's; the split Jabbok (SNAPSHOT writes ויעברם lean against the Kitzur's cited full form, noted); the open paragraph at וישלח (paragraph layer gap).

confidence:

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 32:1-33, from Laban's morning kiss to the sinew rule: 33 verses, 453 tokens, source-verified; every verse carries the mid-verse rest — the second all-rest unit in a row. Evidence: the SNAPSHOT database plus the debut-map attachment.	reconstructed
C	Draft path + review	Solo-era unit #9: 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)	The crown: THE REQUOTE LADDER (32:10-13). Jacob's prayer re-speaks the return-command with four machine-checkable deltas: "the land of your FATHERS" becomes "YOUR land"; "I will BE with you" becomes "I will DO-GOOD with you"; a doubled do-good is CITED AS QUOTE with no source utterance anywhere in the corpus (the do-good verb's four prior tokens censused — none a promise, none to Jacob); and the seed-simile swaps his own dust-of-the-earth for his grandfather's sand-of-the-sea — the sand-word's first two tokens are the Abraham promise and this requote, consecutive. Among sixteen care-points: the camp-noun is born and the dual place-name "two camps" precedes its own enactment by five verses; one noun holds God's messengers and Jacob's messengers in consecutive tokens; the gift-nouns keep walking into dream, oracle, and cult (the cow to Pharaoh's dream and the red heifer, the bull to the covenant and consecration offerings, the she-donkey to Balaam); the atonement-verb's second token ever is Jacob covering his brother's face — hull-sealing, face-appeasing, sin-covering; ten face-tokens climb to face-to-face; the ladder's heaven-touch and the wrestler's hip-touch are CONSECUTIVE tokens of the touch-verb; the sun that set at Bethel rises at Peniel — consecutive sun-tokens bracketing the twenty years; the alone-word that carried the corpus's only failed test verdict strands Jacob at the ford; the wrestle-verb's whole Torah career is two tokens, one night.	reconstructed
E	Machine design	SEVEN pushes, ZERO pops — the third all-open seven (Mamre, Gilead, now Peniel). The queue: the messengers' two say-instructions (imperfects in command frames, the delivery to Esau NEVER narrated); rescue-me pushed ON GOD — and delivered from the WRONG DANGER: Jacob asks rescue from his brother's HAND, the career's next token rescues him from God's FACE, consecutive tokens, object mismatch; pass-before-me demanded of the servants — the pass-verb returns with the GIFT as its subject, wrong performer, and the spacing-order (a one-time word) is never narrated at all; the wrestler's SEND-ME — the exact suffixed imperative occurs TWICE in the Torah, Jacob to Laban and the wrestler to Jacob: the send-me demand fails in BOTH directions across the corpus; here it is refused with a condition, the condition is met on the letter (the blessing comes), and the sending is still never narrated; and tell-me-your-name, refused by a question and answered with a blessing in the name's place. Registry two writes (the two-camps name and the face-of-God name, whose own two tokens shift spelling one verse apart). The ISRAEL decree writes NOTHING per the frozen decree-fact class — and the countersign INVERTS: the Abram-decree retired its name in its own verse, while the narrator writes JACOB three more times inside this unit and a hundred more in the Torah — same decree grammar, opposite letter-behavior, read straight off the census. Then the name that debuts at 32:29 LEGISLATES at 32:33: the first narrator law whose subject is a named PEOPLE — birth to law inside one unit, the thesis's cleanest specimen. Zero tests.	reconstructed
F	Freeze + later history	Frozen at commit d6b6572 (2026-08-07, "Freeze gen_55: two camps, the gift, and the wrestled name"). Oral audit 2026-08-08 folded same day (run 7 block 4): 12 VERIFIED, 0 FAILED, 1 UNCHECKABLE; headline: the face-name's yod-to-vav shift, the eight-mem gift-verse, and the one full CAN at Caleb.	reconstructed

Boot steps — the operator lines (hand-derived, owner-approved)

STEP_Gn_32_1 · Gen.32.1 · THE_FAREWELL_KISS

וַיַּשְׁכֵּם לָבָן בַּבֹּקֶר וַיְנַשֵּׁק לְבָנָיו וְלִבְנוֹתָיו וַיְבָרֶךְ אֶתְהֶם וַיֵּלֶךְ וַיָּשָׁב לָבָן לִמְקֹמוֹ · va-yashkem lavan ba-boqer va-yenasheq le-vanav ve-li-venotav va-yevarekh othem va-yelekh va-yashav lavan li-meqomo · And Laban rose early in the morning and kissed his sons and his daughters and blessed them; and Laban went and returned to his place.

LEFT
וַיַּשְׁכֵּ֨ם לָבָ֜ן בַּבֹּ֗קֶר וַיְנַשֵּׁ֧ק לְבָנָ֛יו וְלִבְנוֹתָ֖יו וַיְבָ֣רֶךְ אֶתְהֶ֑ם · va-yashkem lavan ba-boqer va-yenasheq le-vanav ve-li-venotav va-yevarekh othem · Laban rose, kissed his sons and daughters, blessed them (etnachta on othem) [VERIFIED: SNAPSHOT Gen.32.1 idx7 mark_id=etnachta]

RIGHT
וַיֵּ֛לֶךְ וַיָּ֥שָׁב לָבָ֖ן לִמְקֹמֽוֹ · va-yelekh va-yashav lavan li-meqomo · and Laban returned to his place (verse-final meqomo) [VERIFIED: SNAPSHOT Gen.32.1 idx8-11]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yenasheq_va_yevarekh_va_yashav(lavan, li_meqomo), t0) = HOLDS(and-yenasheq-and-yevarekh-and-yashav(lavan, to-me-meqomo), t0) THE KISS LANDS [care 1]. va-yenasheq (5401 tok6/13) [VERIFIED: SNAPSHOT Gen.32.1 idx3 ordinal=6/13] — gen_54's watch-note performs: the farewell kiss denied at 31:28 ("you did not let me kiss my sons and daughters") is given one verse past gen_54's wall. va-yevarekh et-hem (1288 tok58/137) [VERIFIED: idx6] — the bless-verb's unit-walk opens: farewell blessing (tok58) → demanded blessing (tok59, 32:27) → granted blessing (tok60, 32:30). va-yashkem ba-boqer (7925 tok8/14) — the rise-early verb's Jacob cycle closes its Laban leg. Laban's LAST narrative scene: he returns li-meqomo and the cycle's antagonist leaves the corpus's stage — his remaining tokens are one quoted mention inside this unit's own message (32:5 im-lavan, tok52) and the genealogical/ retrospective trio (46:18,25; Deut 1:1 — toks 53-55) [debut_map 3837]. REGISTRY 0. TESTS 0. Onkelos BUFFER PENDING.	וַיַּשְׁכֵּם לָבָן בַּבֹּקֶר וַיְנַשֵּׁק · va-yashkem lavan ba-boqer va-yenasheq = and-yashkem lavan morning and-yenasheq	—	tested

Laban's denied kiss performed; the antagonist exits to his place.

STEP_Gn_32_2 · Gen.32.2 · THE_ANGEL_ENCOUNTER

וְיַעֲקֹב הָלַךְ לְדַרְכּוֹ וַיִּפְגְּעוּ־בוֹ מַלְאֲכֵי אֱלֹהִים · ve-yaaqov halakh le-darko va-yifgu-v-o malakhe Elohim · And Jacob went on his way, and messengers of God met him.

LEFT
וְיַעֲקֹ֖ב הָלַ֣ךְ לְדַרְכּ֑וֹ · ve-yaaqov halakh le-darko · Jacob went on his way (etnachta on darko) [VERIFIED: SNAPSHOT Gen.32.2 idx2 mark_id=etnachta]

RIGHT
וַיִּפְגְּעוּ ב֖וֹ מַלְאֲכֵ֥י אֱלֹהִֽים · va-yifgu-v-o malakhe Elohim · and messengers of God met him (verse-final Elohim) [VERIFIED: SNAPSHOT Gen.32.2 idx3-6]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yifgu_vo_malakhe_Elohim(yaaqov, ba_derekh), t0) = HOLDS(and-yifgu-vo-malakhe-God(yaaqov, in-the-derekh), t0) THE ENCOUNTER-BRACKET [care 2]. va-yifgu vo malakhe Elohim (6293 tok3/8; 4397 tok14/39) [VERIFIED: SNAPSHOT Gen.32.2 idx3-6] — paga's Jacob-brackets: tok2 = 28:11 va-yifga ba-maqom (the place ENCOUNTERED on the way out, Bethel), tok3 = the angels encounter him on the way back — the twenty Laban years framed by two encounter-tokens of one verb. malakhe Elohim — the phrase last stood at 28:12 (the ladder's climbers); the departure vision and the return meeting share their cast.	וַיִּפְגְּעוּ־בוֹ מַלְאֲכֵי אֱלֹהִים · va-yifgu-v-o malakhe Elohim = and-yifgu-v-o malakhe God	—	tested

The return-encounter mirrors Bethel's; facts only.

STEP_Gn_32_3 · Gen.32.3 · THE_DUAL_NAME

וַיֹּאמֶר יַעֲקֹב כַּאֲשֶׁר רָאָם מַחֲנֵה אֱלֹהִים זֶה וַיִּקְרָא שֵׁם־הַמָּקוֹם הַהוּא מַחֲנָיִם · va-yomer yaaqov ka-asher raam machane Elohim ze va-yiqra shem-ha-maqom ha-hu machanayim · And Jacob said when he saw them: This is God's camp. And he called the name of that place Machanayim [Two Camps].

LEFT
וַיֹּ֤אמֶר יַעֲקֹב֙ כַּאֲשֶׁ֣ר רָאָ֔ם מַחֲנֵ֥ה אֱלֹהִ֖ים זֶ֑ה · va-yomer yaaqov ka-asher raam machane Elohim ze · this is God's camp (etnachta on ze) [VERIFIED: SNAPSHOT Gen.32.3 idx6 mark_id=etnachta]

RIGHT
וַיִּקְרָ֛א שֵֽׁם הַמָּק֥וֹם הַה֖וּא מַֽחֲנָֽיִם · va-yiqra shem-ha-maqom ha-hu machanayim · he called the place Machanayim (Two Camps) (verse-final machanayim) [VERIFIED: SNAPSHOT Gen.32.3 idx7-11]

operator	expression	Hebrew anchor	cites	confidence
REGISTRY_INSTALL	WORLD += {maqom_machanayim} = WORLD += {maqom-machanayim} THE CAMP-NOUN IS BORN [care 3]. machane Elohim ze (4264 tok1/104 DEBUT) [VERIFIED: SNAPSHOT Gen.32.3 idx4 ordinal=1/104] — the CAMP-noun enters the Torah as GOD'S camp; its first six tokens are all this unit's [debut_map 4264 toks 1-6 in-span] — born divine, immediately doubled, then split, feared, lodged in; career → the camp of Israel (Exod 14:19-20 machane toks 9+, the sea's night). WORLD += maqom_machanayim.	מַחֲנֵה אֱלֹהִים זֶה · machane Elohim ze = machane God ze	—	tested
NAME	name(maqom_machanayim) := machanayim = name(maqom-machanayim) := machanayim WRITE #1 — THE NAME THAT PRECEDES ITS EVENT. va-yiqra shem ha-maqom ha-hu machanayim (7121 tok79/193; 4266 tok1/1 HAPAX) [VERIFIED: SNAPSHOT Gen.32.3 idx7-11; ordinal=1/1] — full narrative formula (gen_45's beer-well write class): the place-name is a Torah hapax and a DUAL FORM — "TWO CAMPS" — written five verses BEFORE Jacob splits anything: at 32:8 he divides the people li-shene machanot ("into two camps") — the name enacts itself after being written (name-then-event, the reverse of every etiology so far). REGISTRY 1.	וַיִּקְרָא שֵׁם־הַמָּקוֹם הַהוּא מַחֲנָיִם · va-yiqra shem-ha-maqom ha-hu machanayim = and-yiqra shem-the-maqom the-that machanayim	—	tested

God's camp seen, Two-Camps written; the split is still five verses away.

STEP_Gn_32_4 · Gen.32.4 · THE_ENVOYS

וַיִּשְׁלַח יַעֲקֹב מַלְאָכִים לְפָנָיו אֶל־עֵשָׂו אָחִיו אַרְצָה שֵׂעִיר שְׂדֵה אֱדוֹם · va-yishlach yaaqov malakhim le-fanay-v el-esav achi-v artzah seir sede edom · And Jacob sent messengers before him to Esau his brother, to the land of Seir, the field of Edom.

LEFT
וַיִּשְׁלַ֨ח יַעֲקֹ֤ב מַלְאָכִים֙ לְפָנָ֔יו אֶל עֵשָׂ֖ו אָחִ֑יו · va-yishlach yaaqov malakhim le-fanay-v el-esav achi-v · Jacob sent messengers to Esau his brother (etnachta on v) [VERIFIED: SNAPSHOT Gen.32.4 idx6 mark_id=etnachta]

RIGHT
אַ֥רְצָה שֵׂעִ֖יר שְׂדֵ֥ה אֱדֽוֹם · artzah seir sede edom · to Seir, the field of Edom (verse-final edom) [VERIFIED: SNAPSHOT Gen.32.4 idx7-10]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yishlach_malakhim_el_esav(yaaqov, artza_seir), t0) = HOLDS(and-yishlach-malakhim-to-esav(yaaqov, artza-seir), t0) THE UNMARKED WORD [care 3]. va-yishlach yaaqov MALAKHIM (4397 tok15/39) [VERIFIED: SNAPSHOT Gen.32.4 idx2 ordinal=15/39] — the messenger-noun's tokens 14 and 15 are GOD'S messengers (32:2) and JACOB'S messengers, consecutive: angel and envoy share one word and the letter marks no difference. esav (6215 tok36/82) — the brother's name returns to narrative after four chapters (toks 33-35 = 28:6-9, the Ishmael-wives scene); seir (8165 tok2/20), sede edom (123 tok2/23) — the anti-blessing's geography (27:39) now has an address. shalach tok34/201 — the send-career's post-gen_52 walk continues.	וַיִּשְׁלַח יַעֲקֹב מַלְאָכִים לְפָנָיו · va-yishlach yaaqov malakhim le-fanay-v = and-yishlach yaaqov malakhim to-fanay-v	—	tested

Messengers to the brother; the angel-word does double duty.

STEP_Gn_32_5 · Gen.32.5 · THE_SAY_INSTRUCTION

וַיְצַו אֹתָם לֵאמֹר כֹּה תֹאמְרוּן לַאדֹנִי לְעֵשָׂו כֹּה אָמַר עַבְדְּךָ יַעֲקֹב עִם־לָבָן גַּרְתִּי וָאֵחַר עַד־עָתָּה · va-yetzav otam le-mor ko tomrun la-doni-y le-esav ko amar avdekha yaaqov im-lavan garti va-echar ad-ata · And he commanded them, saying: Thus shall you say to my lord, to Esau: Thus said your servant Jacob: With Laban I have sojourned, and I have tarried until now.

LEFT
וַיְצַ֤ו אֹתָם֙ לֵאמֹ֔ר כֹּ֣ה תֹאמְר֔וּן לַֽאדֹנִ֖י לְעֵשָׂ֑ו · va-yetzav otam le-mor ko tomrun la-doni-y le-esav · thus shall you say to my lord, to Esau (etnachta on esav) [VERIFIED: SNAPSHOT Gen.32.5 idx6 mark_id=etnachta]

RIGHT
כֹּ֤ה אָמַר֙ עַבְדְּךָ֣ יַעֲקֹ֔ב עִם לָבָ֣ן גַּ֔רְתִּי וָאֵחַ֖ר עַד עָֽתָּה · ko amar avdekha yaaqov im-lavan garti va-echar ad-ata · your servant Jacob: with Laban I sojourned till now (verse-final ata) [VERIFIED: SNAPSHOT Gen.32.5 idx7-16]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(yaaqov, LET?(tomrun(ha_malakhim, la_doni_le_esav))) = DECLARE(yaaqov, LET?(tomrun(the-malakhim, to-doni-to-esav))) THE FIRST SAY-CARD [UNIT SHAPE (1)]. ko tomrun (559 tok358/1373, morph HVqi2mp/Sn) [VERIFIED: SNAPSHOT Gen.32.5 idx4 morph=HVqi2mp/Sn] — coded IMPERFECT in a live command frame, addressed (the messengers): TIR-028's mandatory ?-guard (gen_21's device; gen_33's 17:9 tishmor is the frozen precedent — "the imperfect in a command frame takes TIR-028's mandatory ?... the demand stays pushed and OPEN, mood guarded"). The delivery to Esau is never narrated anywhere in the span [see care 5]. THE SELF-DEMOTION: avdekha yaaqov ("your SERVANT Jacob", 5650 tok36/180) to la-doni le-esav ("my LORD Esau") — the blessing's grammar (27:29 "be lord to your brothers") spoken backwards by its holder. garti (1481 tok7/37 — "I have SOJOURNED": the Gerar-career's guest-verb in Jacob's mouth); va-echar (309 tok2/6). PUSH LET?(tomrun(...)). Depth 1.	כֹּה תֹאמְרוּן לַאדֹנִי לְעֵשָׂו · ko tomrun la-doni-y le-esav = ko tomrun to-doni-y to-esav	—	tested

The say-imperfect pushes guarded; the blessing-holder self-demotes.

STEP_Gn_32_6 · Gen.32.6 · THE_INVENTORY_MESSAGE

וַיְהִי־לִי שׁוֹר וַחֲמוֹר צֹאן וְעֶבֶד וְשִׁפְחָה וָאֶשְׁלְחָה לְהַגִּיד לַאדֹנִי לִמְצֹא־חֵן בְּעֵינֶיךָ · va-yehi-li shor va-chamor tzon ve-eved ve-shifcha va-eshlecha le-hagid la-doni-y li-metzo-chen be-enekha · And I have ox and donkey, flock and servant and maid; and I send to tell my lord, to find grace in your eyes.

LEFT
וַֽיְהִי לִי֙ שׁ֣וֹר וַחֲמ֔וֹר צֹ֖אן וְעֶ֣בֶד וְשִׁפְחָ֑ה · va-yehi-li shor va-chamor tzon ve-eved ve-shifcha · I have ox and donkey, flock, servant and maid (etnachta on shifcha) [VERIFIED: SNAPSHOT Gen.32.6 idx6 mark_id=etnachta]

RIGHT
וָֽאֶשְׁלְחָה֙ לְהַגִּ֣יד לַֽאדֹנִ֔י לִמְצֹא חֵ֖ן בְּעֵינֶֽיךָ · va-eshlecha le-hagid la-doni-y li-metzo-chen be-enekha · I send to tell my lord, to find grace in your eyes (verse-final enekha) [VERIFIED: SNAPSHOT Gen.32.6 idx7-12]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yehi_li_shor_va_chamor(divre_ha_shelichut), t1) = HOLDS(and-yehi-to-me-shor-and-chamor(divre-the-shelichut), t1) THE OX IS BORN [care 4]. shor (7794 tok1/52 DEBUT) [VERIFIED: SNAPSHOT Gen.32.6 idx2 ordinal=1/52] — the OX-noun enters the Torah in a conciliation inventory; tok2 = 49:6 (Levi's hamstrung ox), then the career is LAW: the goring ox, the fallen ox, the strayed ox (Exod 21-23 cluster) — the statute-book's most litigated animal debuts as a peace offering's line-item. chamor (2543 tok6/41), tzon, eved, shifcha — the wealth-list echoes 30:43's gain-list in singular collectives. le-hagid (5046 tok19/55 — the tell-chain's 19th link [gen_54 care 1]); li-metzo chen be-enekha (2580 tok5/27) — the find-grace formula: its career climbs to Moses' find-grace cluster at Exod 33-34 (toks 18-23) [debut_map 2580]. Depth 1.	וַיְהִי־לִי שׁוֹר וַחֲמוֹר צֹאן וְעֶבֶד וְשִׁפְחָה · va-yehi-li shor va-chamor tzon ve-eved ve-shifcha = and-yehi-to-me shor and-chamor tzon and-eved and-shifcha	—	tested

The ox-noun's legal career opens in a gift inventory.

STEP_Gn_32_7 · Gen.32.7 · THE_FOUR_HUNDRED

וַיָּשֻׁבוּ הַמַּלְאָכִים אֶל־יַעֲקֹב לֵאמֹר בָּאנוּ אֶל־אָחִיךָ אֶל־עֵשָׂו וְגַם הֹלֵךְ לִקְרָאתְךָ וְאַרְבַּע־מֵאוֹת אִישׁ עִמּוֹ · va-yashuvu ha-malakhim el-yaaqov le-mor banu el-achikha el-esav ve-gam holekh liqratkha ve-arba-meot ish imo · And the messengers returned to Jacob, saying: We came to your brother, to Esau — and he also is coming to meet you, and four hundred men with him.

LEFT
וַיָּשֻׁ֨בוּ֙ הַמַּלְאָכִ֔ים אֶֽל יַעֲקֹ֖ב לֵאמֹ֑ר · va-yashuvu ha-malakhim el-yaaqov le-mor · the messengers returned to Jacob, saying (etnachta on mor) [VERIFIED: SNAPSHOT Gen.32.7 idx4 mark_id=etnachta]

RIGHT
בָּ֤אנוּ אֶל אָחִ֨יךָ֙ אֶל עֵשָׂ֔ו וְגַם֙ הֹלֵ֣ךְ לִקְרָֽאתְךָ֔ וְאַרְבַּע מֵא֥וֹת אִ֖ישׁ עִמּֽוֹ · banu el-achikha el-esav ve-gam holekh liqratkha ve-arba-meot ish imo · we came to your brother — four hundred men with him (verse-final imo) [VERIFIED: SNAPSHOT Gen.32.7 idx5-16]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(banu_el_achikha_ve_arba_meot_ish(report), t1) = HOLDS(banu-to-your-brother-and-arba-meot-man(report), t1) THE CAME-REPORT [UNIT SHAPE (1); care 5]. va-yashuvu ha-malakhim ... banu el achikha el esav (935 tok109/619) [VERIFIED: SNAPSHOT Gen.32.7 idx5 ordinal=109/619] — the messengers report BANU ("we came") and nothing of the saying: gen_25's frozen banu-law ("11:5's banu was refused as the inspection's background relative clause, NOT a receipt") — the tomrun-card's delivery is never narrated; the card holds. ve-gam holekh liqratkha (7125 tok9/31 — the toward-verb: its next Jacob-token is 33:4's RUN to meet him) ve-arba meot ish im-o — four hundred men (3967 tok54/194): the answer to a gift-message is an army-count. Depth 1.	בָּאנוּ אֶל־אָחִיךָ אֶל־עֵשָׂו · banu el-achikha el-esav = banu to-your-brother to-esav	—	tested

A came-report, not a delivery; four hundred men answer the envoys.

STEP_Gn_32_8 · Gen.32.8 · THE_SPLIT

וַיִּירָא יַעֲקֹב מְאֹד וַיֵּצֶר לוֹ וַיַּחַץ אֶת־הָעָם אֲשֶׁר־אִתּוֹ וְאֶת־הַצֹּאן וְאֶת־הַבָּקָר וְהַגְּמַלִּים לִשְׁנֵי מַחֲנוֹת · va-yira yaaqov meod va-yetzer lo va-yachatz et-ha-am asher-et-o ve-et-ha-tzon ve-et-ha-baqar ve-ha-gemalim li-shene machanot · And Jacob feared greatly, and it distressed him; and he divided the people that were with him, and the flock and the herd and the camels, into two camps.

LEFT
וַיִּירָ֧א יַעֲקֹ֛ב מְאֹ֖ד וַיֵּ֣צֶר ל֑וֹ · va-yira yaaqov meod va-yetzer lo · Jacob feared greatly and was distressed (etnachta on lo) [VERIFIED: SNAPSHOT Gen.32.8 idx4 mark_id=etnachta]

RIGHT
וַיַּ֜חַץ אֶת הָעָ֣ם אֲשֶׁר אִתּ֗וֹ וְאֶת הַצֹּ֧אן וְאֶת הַבָּקָ֛ר וְהַגְּמַלִּ֖ים לִשְׁנֵ֥י מַחֲנֽוֹת · va-yachatz et-ha-am asher-et-o ve-et-ha-tzon ve-et-ha-baqar ve-ha-gemalim li-shene machanot · he divided the people and flocks into two camps (verse-final machanot) [VERIFIED: SNAPSHOT Gen.32.8 idx5-16]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yira_va_yachatz_li_shene_machanot(yaaqov), t1) = HOLDS(and-yira-and-yachatz-to-me-shene-machanot(yaaqov), t1) THE NAME ENACTED [care 6; care 3]. va-yira yaaqov meod (3372 tok12/81) [VERIFIED: SNAPSHOT Gen.32.8 idx0 ordinal=12/81] — the fear-pair: yareti (31:31, Laban-fear confessed) → va-yira (32:8, Esau-fear narrated), consecutive Jacob-tokens of the verb. va-yetzer lo (3334 tok1/1 HAPAX) [VERIFIED: idx3 ordinal=1/1] — DISTRESS, a verb the Torah conjugates once, here. va-yachatz (2673 tok1/6 DEBUT) [VERIFIED: idx5 ordinal=1/6] — the DIVIDE-verb born dividing a household (tok2 = 33:1, dividing the children among mothers; career → Exod 21:35 split-the-live-ox, Num 31 divide-the-spoil). li-shene machanot (4264 tok2/104) — 32:3's dual NAME performs: Machanayim ("Two Camps") was written five verses ago; now there are two camps. Depth 1.	וַיִּירָא יַעֲקֹב מְאֹד וַיֵּצֶר · va-yira yaaqov meod va-yetzer = and-yira yaaqov very and-yetzer	—	tested

The hapax distress; the dual name becomes two literal camps.

STEP_Gn_32_9 · Gen.32.9 · THE_REMNANT_ARITHMETIC

וַיֹּאמֶר אִם־יָבוֹא עֵשָׂו אֶל־הַמַּחֲנֶה הָאַחַת וְהִכָּהוּ וְהָיָה הַמַּחֲנֶה הַנִּשְׁאָר לִפְלֵיטָה · va-yomer im-yavo esav el-ha-machane ha-achat ve-hikahu ve-haya ha-machane ha-nishar li-feleta · And he said: If Esau comes to the one camp and strikes it, the remaining camp will become a remnant.

LEFT
וַיֹּ֕אמֶר אִם יָב֥וֹא עֵשָׂ֛ו אֶל הַמַּחֲנֶ֥ה הָאַחַ֖ת וְהִכָּ֑הוּ · va-yomer im-yavo esav el-ha-machane ha-achat ve-hikahu · if Esau comes to the one camp and strikes it (etnachta on hikahu) [VERIFIED: SNAPSHOT Gen.32.9 idx7 mark_id=etnachta]

RIGHT
וְהָיָ֛ה הַמַּחֲנֶ֥ה הַנִּשְׁאָ֖ר לִפְלֵיטָֽה · ve-haya ha-machane ha-nishar li-feleta · the remaining camp will escape as a remnant (verse-final feleta) [VERIFIED: SNAPSHOT Gen.32.9 idx8-11]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(im_yavo_ve_hikahu_ve_haya_li_feleta(tokhnit), t1) = HOLDS(if-yavo-and-hikahu-and-haya-to-me-feleta(tokhnit), t1) THE REMNANT-NOUN IS BORN [care 6]. im yavo esav... ve-hikahu (5221 tok8/99) — self-addressed contingency: conditional planning speech, no addressee, no push (fact class). ve-haya ha-machane ha-nishar li-feleta (7604 tok3/29; 6413 tok1/3 DEBUT) [VERIFIED: SNAPSHOT Gen.32.9 idx10-11; ordinal=1/3] — PELETA, the REMNANT-noun, debuts in Jacob's survival arithmetic; tok2 = 45:7 (Joseph: "to set for you a REMNANT in the land"), tok3 = Exod 10:5 (the locusts eat the remnant the hail left) — the noun's whole career is escape-math. Depth 1.	וְהָיָה הַמַּחֲנֶה הַנִּשְׁאָר לִפְלֵיטָה · ve-haya ha-machane ha-nishar li-feleta = and-haya the-machane the-nishar to-me-feleta	—	tested

Contingency splits the family into strike and remnant; facts only.

STEP_Gn_32_10 · Gen.32.10 · THE_REQUOTE_LADDER_OPENS

וַיֹּאמֶר יַעֲקֹב אֱלֹהֵי אָבִי אַבְרָהָם וֵאלֹהֵי אָבִי יִצְחָק יְהוָה הָאֹמֵר אֵלַי שׁוּב לְאַרְצְךָ וּלְמוֹלַדְתְּךָ וְאֵיטִיבָה עִמָּךְ · va-yomer yaaqov elohe avi avraham ve-lohe avi yitzchaq YHWH ha-omer elay shuv le-artzekha u-le-moladtekha ve-etiva imakh · And Jacob said: God of my father Abraham and God of my father Isaac, YHWH, who says to me: Return to your land and to your kindred, and I will do good with you.

LEFT
וַיֹּאמֶר֮ יַעֲקֹב֒ אֱלֹהֵי֙ אָבִ֣י אַבְרָהָ֔ם וֵאלֹהֵ֖י אָבִ֣י יִצְחָ֑ק · va-yomer yaaqov elohe avi avraham ve-lohe avi yitzchaq · God of Abraham, God of my father Isaac (etnachta on yitzchaq) [VERIFIED: SNAPSHOT Gen.32.10 idx7 mark_id=etnachta]

RIGHT
יְהוָ֞ה הָאֹמֵ֣ר אֵלַ֗י שׁ֧וּב לְאַרְצְךָ֛ וּלְמוֹלַדְתְּךָ֖ וְאֵיטִ֥יבָה עִמָּֽךְ · YHWH ha-omer elay shuv le-artzekha u-le-moladtekha ve-etiva imakh · YHWH who said: return — and I will do you good (verse-final imakh) [VERIFIED: SNAPSHOT Gen.32.10 idx8-15]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(retell_shuv_le_artzekha_ve_etiva(tefila, delta_x2), t1) = HOLDS(retell-shuv-to-artzekha-and-etiva(tefila, delta-x2), t1) TWO DELTAS IN ONE REQUOTE [CROWN (a),(b)]. The prayer re-speaks 31:3 under the RETELLING FENCE (gen_41: retold volitives are content-facts; no push) — and the requote shifts twice on the letter: 31:3 shuv el-eretz AVOTEKHA ("your FATHERS' land" [VERIFIED: SNAPSHOT 31:3 idx5-7]) → 32:10 shuv LE-ARTZEKHA ("YOUR land" [VERIFIED: SNAPSHOT Gen.32.10 idx11-12]) — the letter-delta gen_53 filed for this unit, landed; and 31:3 ve-EHYE imakh ("I will BE with you") → 32:10 ve-ETIVA imakh ("I will DO-GOOD with you", 3190 tok5/38, HC/Vhh1cs cohortative inside the quote) [VERIFIED: idx14 morph=HC/Vhh1cs] — presence upgraded to benefit in the quoting mouth. The invocation stacks elohe avi ×2 + YHWH (3068 tok151/1815 — the unit's only YHWH token). Depth 1.	שׁוּב לְאַרְצְךָ וּלְמוֹלַדְתְּךָ וְאֵיטִיבָה עִמָּךְ · shuv le-artzekha u-le-moladtekha ve-etiva imakh = shuv to-artzekha and-to-moladtekha and-etiva imakh	—	tested

The command requoted with the land and the promise both shifted.

STEP_Gn_32_11 · Gen.32.11 · THE_TOO_SMALL

קָטֹנְתִּי מִכֹּל הַחֲסָדִים וּמִכָּל־הָאֱמֶת אֲשֶׁר עָשִׂיתָ אֶת־עַבְדֶּךָ כִּי בְמַקְלִי עָבַרְתִּי אֶת־הַיַּרְדֵּן הַזֶּה וְעַתָּה הָיִיתִי לִשְׁנֵי מַחֲנוֹת · qatonti mi-kol ha-chasadim u-mi-kal-ha-emet asher asita et-avdekha ki ve-maqli avarti et-ha-yarden ha-ze ve-ata hayiti li-shene machanot · I am too small for all the kindnesses and all the truth that You have done for Your servant; for with my staff I crossed this Jordan, and now I have become two camps.

LEFT
קָטֹ֜נְתִּי מִכֹּ֤ל הַחֲסָדִים֙ וּמִכָּל הָ֣אֱמֶ֔ת אֲשֶׁ֥ר עָשִׂ֖יתָ אֶת עַבְדֶּ֑ךָ · qatonti mi-kol ha-chasadim u-mi-kal-ha-emet asher asita et-avdekha · I am too small for all the kindnesses and truth (etnachta on avdekha) [VERIFIED: SNAPSHOT Gen.32.11 idx8 mark_id=etnachta]

RIGHT
כִּ֣י בְמַקְלִ֗י עָבַ֨רְתִּי֙ אֶת הַיַּרְדֵּ֣ן הַזֶּ֔ה וְעַתָּ֥ה הָיִ֖יתִי לִשְׁנֵ֥י מַחֲנֽוֹת · ki ve-maqli avarti et-ha-yarden ha-ze ve-ata hayiti li-shene machanot · with my staff I crossed this Jordan — now two camps (verse-final machanot) [VERIFIED: SNAPSHOT Gen.32.11 idx9-18]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(qatonti_mi_kol_ha_chasadim(tefila), t1) = HOLDS(qatonti-from-all-the-chasadim(tefila), t1) THE HUMILITY-HAPAX [care 7]. qatonti (6994 tok1/1 HAPAX) [VERIFIED: SNAPSHOT Gen.32.11 idx0 ordinal=1/1] — "I am too small": the Torah conjugates smallness as a verb exactly once, in this prayer. mi-kol ha-chasadim u-mi-kal ha-emet (2617 tok8/21; 571 tok4/11) [VERIFIED: idx2,4] — the kindness-and-truth pair: chesed toks 6-7 = the servant's journey-thanks (24:27,49 — gen_41's road), tok8 = Jacob's; the two nouns meet again in the Attributes (Exod 34:6: chesed toks 14-15, emet tok8) — prayer vocabulary on its way to Sinai's self-description. ki ve-maqli avarti et ha-yarden (4731 tok7/9) [VERIFIED: idx10 ordinal=7/9] — MY STAFF: the rod-noun's toks 1-6 are gen_52's peeled rods; tok7 is the lone staff of the first crossing — the rod-word's entire Genesis career is Jacob's props. ha-yarden (3383 tok3/52) — the Jordan's third token, first crossed. ve-ata hayiti li-shene machanot — the staff-to-camps ledger: one prop out, two camps back. Depth 1.	קָטֹנְתִּי מִכֹּל הַחֲסָדִים וּמִכָּל־הָאֱמֶת · qatonti mi-kol ha-chasadim u-mi-kal-ha-emet = qatonti all the-chasadim and-from-kal-the-emet	—	tested

Smallness conjugated once; the staff-to-two-camps balance sheet.

STEP_Gn_32_12 · Gen.32.12 · THE_RESCUE_DEMAND

הַצִּילֵנִי נָא מִיַּד אָחִי מִיַּד עֵשָׂו כִּי־יָרֵא אָנֹכִי אֹתוֹ פֶּן־יָבוֹא וְהִכַּנִי אֵם עַל־בָּנִים · hatzileni na mi-yad achi-y mi-yad esav ki-yare anokhi et-o pen-yavo ve-hikani em al-banim · Rescue me, please, from the hand of my brother, from the hand of Esau; for I fear him, lest he come and strike me, mother upon children.

LEFT
הַצִּילֵ֥נִי נָ֛א מִיַּ֥ד אָחִ֖י מִיַּ֣ד עֵשָׂ֑ו · hatzileni na mi-yad achi-y mi-yad esav · rescue me from my brother's hand, from Esau's hand (etnachta on esav) [VERIFIED: SNAPSHOT Gen.32.12 idx5 mark_id=etnachta]

RIGHT
כִּֽי יָרֵ֤א אָנֹכִי֙ אֹת֔וֹ פֶּן יָב֣וֹא וְהִכַּ֔נִי אֵ֖ם עַל בָּנִֽים · ki-yare anokhi et-o pen-yavo ve-hikani em al-banim · lest he come and strike me, mother upon children (verse-final banim) [VERIFIED: SNAPSHOT Gen.32.12 idx6-15]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(yaaqov, LET(hatzileni(YHWH, mi_yad_esav))) = DECLARE(yaaqov, LET(hatzileni(the-LORD, from-yad-esav))) THE PUSH ON GOD [UNIT SHAPE (2)]. hatzileni na (5337 tok3/25, HVhv2ms/Sp1cs true imperative) [VERIFIED: SNAPSHOT Gen.32.12 idx0 morph=HVhv2ms/Sp1cs ordinal=3/25] — the rescue-imperative pushed ON YHWH: gen_40's haqreh-na class (imperatives on God push and stand) with gen_32's mood law. The verb is gen_53's va-yatzel (toks 1-2 = 31:9,16 — God rescuing the LIVESTOCK into Jacob's hands); tok3 asks the same rescue for the household; and tok4 = 32:31 va-tinatzel nafshi — the career's very next token DELIVERS FROM THE WRONG DANGER: asked from my brother's HAND (mi-yad esav), delivered from God's FACE (panim el panim) — object mismatch (gen_50's class), consecutive tokens; the card stays OPEN and the Esau-hand horizon is 33:4's embrace, outside the span. mi-yad ×2 (3027 toks 41-42/385); em al banim (517 tok23/63) — the dread-phrase; Deut 22:6's nest-law will forbid taking ha-em al ha-banim [VERIFIED: 517 at Deut 22:6] — what Jacob fears for his camp, the law later forbids for a bird's. PUSH LET(hatzileni(YHWH, mi_yad_esav)). Depth 2.	הַצִּילֵנִי נָא מִיַּד אָחִי מִיַּד עֵשָׂו · hatzileni na mi-yad achi-y mi-yad esav = hatzileni na from-yad my-brother-y from-yad esav	—	tested

Rescue-from-the-hand pushed on God; the career will answer from the face.

STEP_Gn_32_13 · Gen.32.13 · THE_UNSOURCED_DOUBLET

וְאַתָּה אָמַרְתָּ הֵיטֵב אֵיטִיב עִמָּךְ וְשַׂמְתִּי אֶת־זַרְעֲךָ כְּחוֹל הַיָּם אֲשֶׁר לֹא־יִסָּפֵר מֵרֹב · ve-ata amarta hetev etiv imakh ve-samti et-zarakha ke-chol ha-yam asher lo-yisafer me-rov · And You said: Doing good I will do good with you, and I will make your seed as the sand of the sea, which cannot be counted for multitude.

LEFT
וְאַתָּ֣ה אָמַ֔רְתָּ הֵיטֵ֥ב אֵיטִ֖יב עִמָּ֑ךְ · ve-ata amarta hetev etiv imakh · You said: doing-good I will do you good (etnachta on imakh) [VERIFIED: SNAPSHOT Gen.32.13 idx4 mark_id=etnachta]

RIGHT
וְשַׂמְתִּ֤י אֶֽת זַרְעֲךָ֙ כְּח֣וֹל הַיָּ֔ם אֲשֶׁ֥ר לֹא יִסָּפֵ֖ר מֵרֹֽב · ve-samti et-zarakha ke-chol ha-yam asher lo-yisafer me-rov · your seed as the sand of the sea, uncountable (verse-final rov) [VERIFIED: SNAPSHOT Gen.32.13 idx5-13]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(amarta_hetev_etiv_ke_chol_ha_yam(tefila, delta_x2), t2) = HOLDS(amarta-hetev-etiv-like-chol-the-yam(tefila, delta-x2), t2) THE LADDER'S TOP RUNGS [CROWN (c),(d)]. ve-ata amarta HETEV ETIV imakh (3190 toks 6-7/38, infinitive absolute + finite) [VERIFIED: SNAPSHOT Gen.32.13 idx2-3 ordinals=6-7/38] — a doubled do-good CITED AS GOD'S OWN WORDS ("You said") — and the do-good verb has NO prior promissory token and NONE addressed to Jacob anywhere in the corpus: its four earlier tokens are God's conditional warning to CAIN (4:7 ×2), Abram to Sarai (12:13), and Pharaoh's court (12:16) [VERIFIED: full 3190 census] — the quoted doublet has no source utterance; the requote's third shift, now with doubled emphasis on the word that was never said. ve-samti et zarakha KE-CHOL HA-YAM (7760 tok26/152; 2344 tok2/5) [VERIFIED: idx5-9; 2344 ordinal=2/5] — the SAND-simile: God's recorded seed-word to Jacob is ka-afar ha-aretz ("as the DUST of the earth", 28:14 [VERIFIED: SNAPSHOT 28:14 idx2-3]); the sand-of-the-sea belongs to the ABRAHAM oath (22:17), and chol's career runs tok1 = 22:17 → tok2 = this requote, consecutive: the grandson quotes the grandfather's simile into his own file. asher lo yisafer me-rov (5608 tok6/25 — the count-verb: 15:5's count-the-stars and 16:10's uncountable-seed formula re-keyed to sand). Depth 2.	וְאַתָּה אָמַרְתָּ הֵיטֵב אֵיטִיב עִמָּךְ · ve-ata amarta hetev etiv imakh = and-ata amarta hetev etiv imakh	—	tested

A doubled promise with no source token; Abraham's sand quoted into Jacob's file.

STEP_Gn_32_14 · Gen.32.14 · THE_GIFT_TAKEN

וַיָּלֶן שָׁם בַּלַּיְלָה הַהוּא וַיִּקַּח מִן־הַבָּא בְיָדוֹ מִנְחָה לְעֵשָׂו אָחִיו · va-yalen sham ba-layla ha-hu va-yiqach min-ha-ba ve-yado mincha le-esav achi-v · And he lodged there that night; and he took from what came to his hand a gift for Esau his brother.

LEFT
וַיָּ֥לֶן שָׁ֖ם בַּלַּ֣יְלָה הַה֑וּא · va-yalen sham ba-layla ha-hu · he lodged there that night (etnachta on hu) [VERIFIED: SNAPSHOT Gen.32.14 idx3 mark_id=etnachta]

RIGHT
וַיִּקַּ֞ח מִן הַבָּ֧א בְיָד֛וֹ מִנְחָ֖ה לְעֵשָׂ֥ו אָחִֽיו · va-yiqach min-ha-ba ve-yado mincha le-esav achi-v · took from what came to hand a gift for Esau (verse-final v) [VERIFIED: SNAPSHOT Gen.32.14 idx4-10]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yiqach_mincha_le_esav(yaaqov, min_ha_ba_ve_yado), t2) = HOLDS(and-yiqach-mincha-to-esav(yaaqov, from-the-in-the-and-his-hand), t2) THE MINCHA RETURNS BETWEEN BROTHERS [care 8]. va-yiqach... mincha le-esav achiv (3947 tok98/393; 4503 tok4/113) [VERIFIED: SNAPSHOT Gen.32.14 idx4,8 ordinals=98/393, 4/113] — the GIFT-noun's toks 1-3 are Cain and Abel's offerings (4:3-5): the word's first brother-story ignited the rage that killed; its fourth token is built to QUENCH a brother's rage — the mincha comes back between brothers with its purpose inverted, and the careers touch nothing in between. va-yalen sham ba-layla ha-hu (3885 tok8/31) — the first of the two lodgings that frame the gift-day (tok9 = 32:22). Depth 2.	וַיִּקַּח מִן־הַבָּא בְיָדוֹ מִנְחָה לְעֵשָׂו אָחִיו · va-yiqach min-ha-ba ve-yado mincha le-esav achi-v = and-yiqach from-the-in-the his-hand mincha to-esav my-brother-v	—	tested

The offering-noun's brother-career resumes, inverted; night one.

STEP_Gn_32_15 · Gen.32.15 · THE_HERD_LIST_ONE

עִזִּים מָאתַיִם וּתְיָשִׁים עֶשְׂרִים רְחֵלִים מָאתַיִם וְאֵילִים עֶשְׂרִים · izim matayim u-teyashim esrim rechelim matayim ve-elim esrim · Two hundred she-goats and twenty he-goats, two hundred ewes and twenty rams,

LEFT
עִזִּ֣ים מָאתַ֔יִם וּתְיָשִׁ֖ים עֶשְׂרִ֑ים · izim matayim u-teyashim esrim · two hundred she-goats, twenty he-goats (etnachta on esrim) [VERIFIED: SNAPSHOT Gen.32.15 idx3 mark_id=etnachta]

RIGHT
רְחֵלִ֥ים מָאתַ֖יִם וְאֵילִ֥ים עֶשְׂרִֽים · rechelim matayim ve-elim esrim · two hundred ewes and twenty rams (verse-final esrim) [VERIFIED: SNAPSHOT Gen.32.15 idx4-7]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(izim_teyashim_rechelim_elim(minchat_ha_tzon), t2) = HOLDS(izim-teyashim-rechelim-elim(minchat-the-tzon), t2) TWO CAREERS CLOSE IN THE COLUMN [care 8]. izim matayim (5795 tok8/56; 3967 tok55/194) [VERIFIED: SNAPSHOT Gen.32.15 idx0-1]; u-teyashim esrim (8495 tok2/2 CLOSES) [VERIFIED: idx2 ordinal=2/2] — the HE-GOAT noun's whole Torah career: 30:35 (the wage-deal's he-goats, gen_52's span) and this gift-line — born in the bargain, spent in the appeasement. rechelim matayim (7353 tok2/2 CLOSES) [VERIFIED: idx4 ordinal=2/2] — the EWE-noun completes gen_54's pair: the audit's un-miscarried ewes (31:38) and the gift's two hundred — the noun that shadows Rachel's name spends both its tokens on Laban-cycle livestock. ve-elim esrim (352 tok5/117). Depth 2.	עִזִּים מָאתַיִם וּתְיָשִׁים עֶשְׂרִים · izim matayim u-teyashim esrim = izim matayim and-teyashim esrim	—	tested

He-goats and ewes close their careers inside the appeasement column.

STEP_Gn_32_16 · Gen.32.16 · THE_HERD_LIST_TWO

גְּמַלִּים מֵינִיקוֹת וּבְנֵיהֶם שְׁלֹשִׁים פָּרוֹת אַרְבָּעִים וּפָרִים עֲשָׂרָה אֲתֹנֹת עֶשְׂרִים וַעְיָרִם עֲשָׂרָה · gemalim meniqot u-venehem sheloshim parot arbaim u-farim asara atonot esrim va-eyarim asara · Thirty nursing camels with their young, forty cows and ten bulls, twenty she-donkeys and ten colts.

LEFT
גְּמַלִּ֧ים מֵינִיק֛וֹת וּבְנֵיהֶ֖ם שְׁלֹשִׁ֑ים · gemalim meniqot u-venehem sheloshim · thirty nursing camels with their young (etnachta on sheloshim) [VERIFIED: SNAPSHOT Gen.32.16 idx3 mark_id=etnachta]

RIGHT
פָּר֤וֹת אַרְבָּעִים֙ וּפָרִ֣ים עֲשָׂרָ֔ה אֲתֹנֹ֣ת עֶשְׂרִ֔ים וַעְיָרִ֖ם עֲשָׂרָֽה · parot arbaim u-farim asara atonot esrim va-eyarim asara · forty cows, ten bulls, twenty she-donkeys, ten colts (verse-final asara) [VERIFIED: SNAPSHOT Gen.32.16 idx4-11]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(gemalim_parot_parim_atonot_eyarim(minchat_ha_beemot), t2) = HOLDS(gemalim-parot-parim-atonot-eyarim(minchat-the-beemot), t2) THE ORACLE-BOUND HERD [care 8]. gemalim meniqot u-venehem sheloshim (3243 tok3/11 — the NURSING participle; its career runs to Moses' "as the nurse carries the SUCKLING", Num 11:12). parot arbaim (6510 tok1/17 DEBUT) [VERIFIED: SNAPSHOT Gen.32.16 idx4 ordinal=1/17] — the COW-noun is born in the gift; toks 2-12 are PHARAOH'S DREAM-COWS (41:2-27) and toks 13-17 the RED HEIFER (Num 19): every later cow in the Torah is dream or rite. u-farim asara (6499 tok1/92 DEBUT) [VERIFIED: idx6 ordinal=1/92] — the BULL of the cult debuts here; career = Exod 24:5's covenant-ceremony bulls, then the consecration and sin-offering cluster (Exod 29 onward). atonot esrim (860 tok2/18) — fourteen of the she-donkey's eighteen tokens are BALAAM'S talking donkey (Num 22). va-eyarim asara (5895 tok1/3 DEBUT) [VERIFIED: idx10 ordinal=1/3] — toks 2-3 = 49:11, Judah's colt bound to the vine. The appeasement-herd's nouns walk into dream, oracle, blessing, and altar. Depth 2.	גְּמַלִּים מֵינִיקוֹת וּבְנֵיהֶם שְׁלֹשִׁים · gemalim meniqot u-venehem sheloshim = gemalim meniqot and-venehem sheloshim	—	tested

The gift's animal nouns all debut toward dream and cult careers.

STEP_Gn_32_17 · Gen.32.17 · THE_PASS_ORDER

וַיִּתֵּן בְּיַד־עֲבָדָיו עֵדֶר עֵדֶר לְבַדּוֹ וַיֹּאמֶר אֶל־עֲבָדָיו עִבְרוּ לְפָנַי וְרֶוַח תָּשִׂימוּ בֵּין עֵדֶר וּבֵין עֵדֶר · va-yiten be-yad-avadav eder eder levado va-yomer el-avadav ivru le-fanay ve-revach tasimu ben eder u-ven eder · And he gave them into the hand of his servants, drove by drove alone, and said to his servants: Pass over before me, and put a space between drove and drove.

LEFT
וַיִּתֵּן֙ בְּיַד עֲבָדָ֔יו עֵ֥דֶר עֵ֖דֶר לְבַדּ֑וֹ · va-yiten be-yad-avadav eder eder levado · drove by drove alone, into his servants' hands (etnachta on levado) [VERIFIED: SNAPSHOT Gen.32.17 idx5 mark_id=etnachta]

RIGHT
וַ֤יֹּאמֶר אֶל עֲבָדָיו֙ עִבְר֣וּ לְפָנַ֔י וְרֶ֣וַח תָּשִׂ֔ימוּ בֵּ֥ין עֵ֖דֶר וּבֵ֥ין עֵֽדֶר · va-yomer el-avadav ivru le-fanay ve-revach tasimu ben eder u-ven eder · pass before me; put space between drove and drove (verse-final eder) [VERIFIED: SNAPSHOT Gen.32.17 idx6-16]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(yaaqov, LET(ivru(avadav, le_fanai))) = DECLARE(yaaqov, LET(ivru(avadav, to-fanai))) THE PASS-DEMAND [UNIT SHAPE (3)]. ivru le-fanai (5674 tok13/130, HVqv2mp) [VERIFIED: SNAPSHOT Gen.32.17 idx9 morph=HVqv2mp ordinal=13/130] — the cross-verb's imperative, addressed to the SERVANTS; its performance arrives at 32:22 with a different subject [see step 32:22]. eder eder le-vado (5739 toks 6-9/10) [VERIFIED: idx3,4,14,16] — FOUR drove-tokens in one verse; the drove-noun (born at the well-mouth, 29:2-8) will close its whole career at 32:20 (tok10/10): from watering-queue to appeasement column, complete. PUSH LET(ivru(avadav, le_fanai)). Depth 3.	עִבְרוּ לְפָנַי · ivru le-fanay = ivru to-fanay	—	tested
DECLARE	DECLARE(yaaqov, LET?(tasimu(revach, ben_eder_u_ven_eder))) = DECLARE(yaaqov, LET?(tasimu(revach, ben-eder-and-ven-eder))) THE SPACE-CARD [UNIT SHAPE (4)]. ve-revach tasimu ben eder u-ven eder (7760 tok27/152, HVqi2mp) [VERIFIED: SNAPSHOT Gen.32.17 idx11-16 morph=HVqi2mp] — coded imperfect in the same command frame: TIR-028's mandatory ?-guard (gen_33's 17:9 class). revach (7305 tok1/1 HAPAX) [VERIFIED: idx11 ordinal=1/1] — SPACE: the gap between droves is a word the Torah says once, and the demand that says it is never narrated performed. The sim-verb continues its gen_54 afterlife (toks 24-27: Rachel hides, Jacob demands, the prayer promises, the spacing orders). PUSH LET?(tasimu(revach)). Depth 4.	וְרֶוַח תָּשִׂימוּ בֵּין עֵדֶר וּבֵין עֵדֶר · ve-revach tasimu ben eder u-ven eder = and-revach tasimu ben eder and-ven eder	—	tested

Pass-before-me and space-the-droves pushed; the drove-word nears its close.

STEP_Gn_32_18 · Gen.32.18 · THE_FIRST_WAVE_SCRIPT

וַיְצַו אֶת־הָרִאשׁוֹן לֵאמֹר כִּי יִפְגָּשְׁךָ עֵשָׂו אָחִי וִשְׁאֵלְךָ לֵאמֹר לְמִי־אַתָּה וְאָנָה תֵלֵךְ וּלְמִי אֵלֶּה לְפָנֶיךָ · va-yetzav et-ha-rishon le-mor ki yifgashkha esav achi-y vi-sheelkha le-mor le-mi-ata ve-ana telekh u-le-mi ele le-fanekha · And he commanded the first, saying: When Esau my brother meets you and asks you, saying: Whose are you, and where do you go, and whose are these before you?

LEFT
וַיְצַ֥ו אֶת הָרִאשׁ֖וֹן לֵאמֹ֑ר · va-yetzav et-ha-rishon le-mor · he commanded the first, saying (etnachta on mor) [VERIFIED: SNAPSHOT Gen.32.18 idx3 mark_id=etnachta]

RIGHT
כִּ֣י יִֽפְגָּשְׁךָ֞ עֵשָׂ֣ו אָחִ֗י וִשְׁאֵֽלְךָ֙ לֵאמֹ֔ר לְמִי אַ֨תָּה֙ וְאָ֣נָה תֵלֵ֔ךְ וּלְמִ֖י אֵ֥לֶּה לְפָנֶֽיךָ · ki yifgashkha esav achi-y vi-sheelkha le-mor le-mi-ata ve-ana telekh u-le-mi ele le-fanekha · when Esau meets you and asks: whose are you? (verse-final fanekha) [VERIFIED: SNAPSHOT Gen.32.18 idx4-16]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ki_yifgashkha_esav_u_sheelkha(tzav_rishon), t4) = HOLDS(when-yifgashkha-esav-and-sheelkha(tzav-rishon), t4) THE MEET-VERB IS BORN [care 9]. ki yifgashkha esav (6298 tok1/4 DEBUT) [VERIFIED: SNAPSHOT Gen.32.18 idx5 ordinal=1/4] — the MEET-verb's four tokens are all charged encounters: this anticipated meeting, 33:8 (Esau's own mouth: "all this camp I MET"), Exod 4:24 (YHWH meets Moses to kill him), Exod 4:27 (Aaron meets Moses to kiss him) — anticipation, camp, mortal threat, brotherly kiss: the verb's whole range is this family's range. The three questions (le-mi ata, ve-ana telekh, u-le-mi ele le-fanekha — 4310 toks 11-12/55; 575 tok2/7) script the encounter; ve-amarta (32:19) rides WEQATAL — duty-content (gen_40's class), NO push: the say-chain's moods alternate and only the imperfects push [UNIT SHAPE (5)]. Depth 4.	כִּי יִפְגָּשְׁךָ עֵשָׂו אָחִי וִשְׁאֵלְךָ · ki yifgashkha esav achi-y vi-sheelkha = when yifgashkha esav my-brother-y vi-sheelkha	—	tested

The dangerous meet-verb debuts in an anticipated question.

STEP_Gn_32_19 · Gen.32.19 · THE_SCRIPTED_ANSWER

וְאָמַרְתָּ לְעַבְדְּךָ לְיַעֲקֹב מִנְחָה הִוא שְׁלוּחָה לַאדֹנִי לְעֵשָׂו וְהִנֵּה גַם־הוּא אַחֲרֵינוּ · ve-amarta le-avdekha le-yaaqov mincha hiv shelucha la-doni-y le-esav ve-hine gam-hu acharenu · Then you shall say: Your servant Jacob's — it is a gift sent to my lord, to Esau; and behold, he also is behind us.

LEFT
וְאָֽמַרְתָּ֙ לְעַבְדְּךָ֣ לְיַעֲקֹ֔ב מִנְחָ֥ה הִוא֙ שְׁלוּחָ֔ה לַֽאדֹנִ֖י לְעֵשָׂ֑ו · ve-amarta le-avdekha le-yaaqov mincha hiv shelucha la-doni-y le-esav · your servant Jacob's — a gift sent to my lord Esau (etnachta on esav) [VERIFIED: SNAPSHOT Gen.32.19 idx7 mark_id=etnachta]

RIGHT
וְהִנֵּ֥ה גַם ה֖וּא אַחֲרֵֽינוּ · ve-hine gam-hu acharenu · and behold, he also is behind us (verse-final acharenu) [VERIFIED: SNAPSHOT Gen.32.19 idx8-11]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(mincha_hi_shelucha_ve_hine_hu_acharenu(maane), t4) = HOLDS(mincha-hi-shelucha-and-hine-that-acharenu(maane), t4) THE SENT-LABEL [care 9]. le-avdekha le-yaaqov mincha hi SHELUCHA la-doni le-esav (4503 tok5/113; 7971 tok36/201, passive participle) [VERIFIED: SNAPSHOT Gen.32.19 idx3-7; morph VqsFsa-class passive] — the send-verb's only in-span "sent" is the gift's own label: after gen_52's unperformed send and gen_54's irrealis sends, the participle finally says SENT — of property, not persons. ve-hine gam hu acharenu — the behind-us formula (310 tok60/198) that each wave repeats: the sender walks last. Depth 4.	מִנְחָה הִוא שְׁלוּחָה לַאדֹנִי · mincha hiv shelucha la-doni-y = mincha hiv shelucha to-doni-y	—	tested

The gift is labeled sent; the sender scripts himself last.

STEP_Gn_32_20 · Gen.32.20 · THE_SECOND_SAY_CARD

וַיְצַו גַּם אֶת־הַשֵּׁנִי גַּם אֶת־הַשְּׁלִישִׁי גַּם אֶת־כָּל־הַהֹלְכִים אַחֲרֵי הָעֲדָרִים לֵאמֹר כַּדָּבָר הַזֶּה תְּדַבְּרוּן אֶל־עֵשָׂו בְּמֹצַאֲכֶם אֹתוֹ · va-yetzav gam et-ha-sheni gam et-ha-shelishi gam et-kal ha-holkhim achare ha-adarim le-mor ka-davar ha-ze tedabrun el-esav be-motzaakhem et-o · And he commanded also the second, also the third, also all who walked behind the droves, saying: According to this word shall you speak to Esau when you find him.

LEFT
וַיְצַ֞ו גַּ֣ם אֶת הַשֵּׁנִ֗י גַּ֚ם אֶת הַשְּׁלִישִׁ֔י גַּ֚ם אֶת כָּל הַהֹ֣לְכִ֔ים אַחֲרֵ֥י הָעֲדָרִ֖ים לֵאמֹ֑ר · va-yetzav gam et-ha-sheni gam et-ha-shelishi gam et-kal ha-holkhim achare ha-adarim le-mor · he commanded the second, third, and all who followed (etnachta on mor) [VERIFIED: SNAPSHOT Gen.32.20 idx13 mark_id=etnachta]

RIGHT
כַּדָּבָ֤ר הַזֶּה֙ תְּדַבְּר֣וּן אֶל עֵשָׂ֔ו בְּמֹצַאֲכֶ֖ם אֹתֽוֹ · ka-davar ha-ze tedabrun el-esav be-motzaakhem et-o · according to this word shall you speak to Esau (verse-final o) [VERIFIED: SNAPSHOT Gen.32.20 idx14-20]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(yaaqov, LET?(tedabrun(kol_ha_holkhim, el_esav))) = DECLARE(yaaqov, LET?(tedabrun(all-the-holkhim, to-esav))) THE SPEAK-IMPERFECT [UNIT SHAPE (5)]. ka-davar ha-ze TEDABRUN el esav (1696 tok39/415, HVpi2mp/Sn) [VERIFIED: SNAPSHOT Gen.32.20 idx16 morph=HVpi2mp/Sn] — the second say-card: coded imperfect, command frame, addressed (all the drove-walkers): TIR-028 LET?. Like tomrun, no delivery to Esau is ever narrated — both say-cards stand at the wall. The speak-verb is the GUARD-ORDER's verb (31:24 pen tedaber / 31:29 mi-daber, gen_54's card): toks 37-39 = the banned speaking, the retold ban, the scripted speaking — Laban was forbidden to speak to Jacob good-to-bad; Jacob scripts speech to Esau wave by wave. gam ×3 (1571 toks 59-61/177); eder tok10/10 CLOSES [care 9]. PUSH LET?(tedabrun(...)). Depth 5.	כַּדָּבָר הַזֶּה תְּדַבְּרוּן אֶל־עֵשָׂו בְּמֹצַאֲכֶם אֹתוֹ · ka-davar ha-ze tedabrun el-esav be-motzaakhem et-o = like-davar the-ze tedabrun to-esav in-motzaakhem o	—	tested

The scripted speech pushes guarded; the drove-noun's career completes.

STEP_Gn_32_21 · Gen.32.21 · THE_ATONEMENT_VERB

וַאֲמַרְתֶּם גַּם הִנֵּה עַבְדְּךָ יַעֲקֹב אַחֲרֵינוּ כִּי־אָמַר אֲכַפְּרָה פָנָיו בַּמִּנְחָה הַהֹלֶכֶת לְפָנָי וְאַחֲרֵי־כֵן אֶרְאֶה פָנָיו אוּלַי יִשָּׂא פָנָי · va-amartem gam hine avdekha yaaqov acharenu ki-amar akhapra fanav ba-mincha ha-holekhet le-fanay ve-achare-khen ere fanav ulay yisa fanay · And you shall say: Also, behold, your servant Jacob is behind us. For he said: Let me cover his face with the gift that walks before my face; and afterwards I will see his face — perhaps he will lift my face.

LEFT
וַאֲמַרְתֶּ֕ם גַּ֗ם הִנֵּ֛ה עַבְדְּךָ֥ יַעֲקֹ֖ב אַחֲרֵ֑ינוּ · va-amartem gam hine avdekha yaaqov acharenu · say also: your servant Jacob is behind us (etnachta on acharenu) [VERIFIED: SNAPSHOT Gen.32.21 idx5 mark_id=etnachta]

RIGHT
כִּֽי אָמַ֞ר אֲכַפְּרָ֣ה פָנָ֗יו בַּמִּנְחָה֙ הַהֹלֶ֣כֶת לְפָנָ֔י וְאַחֲרֵי כֵן֙ אֶרְאֶ֣ה פָנָ֔יו אוּלַ֖י יִשָּׂ֥א פָנָֽי · ki-amar akhapra fanav ba-mincha ha-holekhet le-fanay ve-achare-khen ere fanav ulay yisa fanay · let me cover his face; perhaps he will lift my face (verse-final fanay) [VERIFIED: SNAPSHOT Gen.32.21 idx6-19]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(akhapra_fanav_ba_mincha(machshevet_yaaqov), t5) = HOLDS(akhapra-fanav-in-the-mincha(machshevet-yaaqov), t5) KIPPER'S SECOND TOKEN [care 9]. va-amartem — weqatal, duty-content (gen_40), no push. ki amar AKHAPRA fanav (3722 tok2/79, HVph1cs cohortative) [VERIFIED: SNAPSHOT Gen.32.21 idx8 ordinal=2/79 morph=HVph1cs] — the ATONEMENT-verb's second Torah token, inside quoted inner speech (ki amar — gen_47's 27:41 no-addressee class: no push): tok1 = 6:14, PITCH the ark with pitch; tok2 = COVER the brother's face with a gift; toks 3+ = the altar-atonement cluster (Exod 29:33 onward) and the kippurim freight — the verb that will carry Yom Kippur walks ark-hull → brother's face → altar. FOUR faces in one verse (6440 toks 82-85/627: fanav, le-fanai, fanav, fanay) + ulay yisa fanay (5375 tok23/168 — the lift-face pardon idiom): the face-walk accelerates [care 9's count: panim ×10 in-span, VERIFIED]. Depth 5.	אֲכַפְּרָה פָנָיו בַּמִּנְחָה הַהֹלֶכֶת לְפָנָי · akhapra fanav ba-mincha ha-holekhet le-fanay = akhapra fanav in-the-mincha the-holekhet to-fanay	—	tested

The kipper-verb covers a brother's face on its way to the altar.

STEP_Gn_32_22 · Gen.32.22 · THE_WRONG_SUBJECT_PASSES

וַתַּעֲבֹר הַמִּנְחָה עַל־פָּנָיו וְהוּא לָן בַּלַּיְלָה־הַהוּא בַּמַּחֲנֶה · va-taavor ha-mincha al-panav ve-hu lan ba-layla-ha-hu ba-machane · And the gift passed over before his face; and he lodged that night in the camp.

LEFT
וַתַּעֲבֹ֥ר הַמִּנְחָ֖ה עַל פָּנָ֑יו · va-taavor ha-mincha al-panav · the gift passed before his face (etnachta on panav) [VERIFIED: SNAPSHOT Gen.32.22 idx3 mark_id=etnachta]

RIGHT
וְה֛וּא לָ֥ן בַּלַּֽיְלָה הַה֖וּא בַּֽמַּחֲנֶֽה · ve-hu lan ba-layla-ha-hu ba-machane · he lodged that night in the camp (verse-final machane) [VERIFIED: SNAPSHOT Gen.32.22 idx4-8]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_taavor_ha_mincha_al_panav(hu_lan_ba_machane), t5) = HOLDS(and-taavor-the-mincha-upon-panav(that-lan-in-the-machane), t5) THE PASS-CARD'S LANDING [UNIT SHAPE (3)]. va-taavor HA-MINCHA al panav (5674 tok14/130, HC/Vqw3fs) [VERIFIED: SNAPSHOT Gen.32.22 idx0 morph=HC/Vqw3fs ordinal=14/130] — the demanded pass-verb returns as the very next career token — with THE GIFT as its subject: ivru was addressed to the SERVANTS (2mp), the performance is feminine singular, ha-mincha — same root, consecutive tokens, wrong performer (gen_51's class): the card stays OPEN; the letter sends the offering across, not the ordered men. ve-hu lan ba-layla ha-hu ba-machane (3885 tok9/31; 4264 tok6/104) — night two: the camp-noun's sixth and last in-span token beds the sender down alone-side of the line. Depth 5.	וַתַּעֲבֹר הַמִּנְחָה עַל־פָּנָיו · va-taavor ha-mincha al-panav = and-taavor the-mincha upon-panav	—	tested

The gift performs the servants' order; the pass-card holds open.

STEP_Gn_32_23 · Gen.32.23 · THE_NIGHT_CROSSING

וַיָּקָם בַּלַּיְלָה הוּא וַיִּקַּח אֶת־שְׁתֵּי נָשָׁיו וְאֶת־שְׁתֵּי שִׁפְחֹתָיו וְאֶת־אַחַד עָשָׂר יְלָדָיו וַיַּעֲבֹר אֵת מַעֲבַר יַבֹּק · va-yaqam ba-layla hu va-yiqach et-shete nashav ve-et-shete shifchotav ve-et-achad asar yeladav va-yaavor et maavar yaboq · And he rose that night and took his two wives and his two maids and his eleven children, and crossed the ford of the Jabbok.

LEFT
וַיָּ֣קָם בַּלַּ֣יְלָה ה֗וּא וַיִּקַּ֞ח אֶת שְׁתֵּ֤י נָשָׁיו֙ וְאֶת שְׁתֵּ֣י שִׁפְחֹתָ֔יו וְאֶת אַחַ֥ד עָשָׂ֖ר יְלָדָ֑יו · va-yaqam ba-layla hu va-yiqach et-shete nashav ve-et-shete shifchotav ve-et-achad asar yeladav · he rose that night: two wives, two maids, eleven children (etnachta on yeladav) [VERIFIED: SNAPSHOT Gen.32.23 idx13 mark_id=etnachta]

RIGHT
וַֽיַּעֲבֹ֔ר אֵ֖ת מַעֲבַ֥ר יַבֹּֽק · va-yaavor et maavar yaboq · and crossed the ford of the Jabbok (verse-final yaboq) [VERIFIED: SNAPSHOT Gen.32.23 idx14-17]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yaavor_et_maavar_yaboq(ba_layla, achad_asar_yeladav), t5) = HOLDS(and-yaavor-maavar-yaboq(in-the-night, achad-asar-yeladav), t5) THE FORD-HAPAX [care 10]. va-yaqam ba-layla hu (6965 tok38/145) — the night-rise; shete nashav, shete shifchotav, achad asar yeladav (8147 toks 47-48/329; 3206 tok7/31) — the letter counts ELEVEN children over the water. va-yaavor et MAAVAR yaboq (5674 tok15/130; 4569 tok1/1 HAPAX; 2999 tok1/4) [VERIFIED: SNAPSHOT Gen.32.23 idx14-17; maavar ordinal=1/1] — the FORD-noun exists once in the Torah, at the Jabbok; the river's remaining tokens (Num 21:24, Deut 2:37, 3:16) are all border-clauses — the wrestling-stream becomes a frontier-marker. Depth 5.	וַיַּעֲבֹר אֵת מַעֲבַר יַבֹּק · va-yaavor et maavar yaboq = and-yaavor et maavar yaboq	—	tested

Eleven children over the once-named ford; the crossing multiplies.

STEP_Gn_32_24 · Gen.32.24 · THE_FERRYING

וַיִּקָּחֵם וַיַּעֲבִרֵם אֶת־הַנָּחַל וַיַּעֲבֵר אֶת־אֲשֶׁר־לוֹ · va-yiqachem va-yaavirem et-ha-nachal va-yaaver et-asher lo · And he took them and crossed them over the stream, and crossed over what was his.

LEFT
וַיִּקָּחֵ֔ם וַיַּֽעֲבִרֵ֖ם אֶת הַנָּ֑חַל · va-yiqachem va-yaavirem et-ha-nachal · he took them and crossed them over the stream (etnachta on nachal) [VERIFIED: SNAPSHOT Gen.32.24 idx3 mark_id=etnachta]

RIGHT
וַֽיַּעֲבֵ֖ר אֶת אֲשֶׁר לוֹ · va-yaaver et-asher lo · and crossed over what was his (verse-final lo) [VERIFIED: SNAPSHOT Gen.32.24 idx4-7]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yaavirem_et_ha_nachal(kol_asher_lo), t5) = HOLDS(and-yaavirem-the-nachal(all-which-not), t5) THE HIPHIL FERRY [care 10]. va-yiqachem va-yaavirem et ha-nachal (3947 tok100/393; 5674 toks 16-17/130, hiphil ×2) [VERIFIED: SNAPSHOT Gen.32.24 idx0-1 morphs HC/Vqw3ms/Sp3mp, HC/Vhw3ms/Sp3mp] — the cross-verb turns causative: he CROSSES THEM over; the take-verb's hundredth token carries his family over the water. nachal (5158 tok3/34). Everything that is his goes across; the verse empties his side of the river for what 32:25 will say. Depth 5.	וַיִּקָּחֵם וַיַּעֲבִרֵם אֶת־הַנָּחַל · va-yiqachem va-yaavirem et-ha-nachal = and-yiqachem and-yaavirem the-nachal	—	tested

The causative crossings clear the stage; one man remains.

STEP_Gn_32_25 · Gen.32.25 · THE_ALONE_AND_THE_WRESTLE

וַיִּוָּתֵר יַעֲקֹב לְבַדּוֹ וַיֵּאָבֵק אִישׁ עִמּוֹ עַד עֲלוֹת הַשָּׁחַר · va-yivater yaaqov levado va-yeaveq ish imo ad alot ha-shachar · And Jacob was left alone; and a man wrestled with him until the rising of the dawn.

LEFT
וַיִּוָּתֵ֥ר יַעֲקֹ֖ב לְבַדּ֑וֹ · va-yivater yaaqov levado · Jacob was left alone (etnachta on levado) [VERIFIED: SNAPSHOT Gen.32.25 idx2 mark_id=etnachta]

RIGHT
וַיֵּאָבֵ֥ק אִישׁ֙ עִמּ֔וֹ עַ֖ד עֲל֥וֹת הַשָּֽׁחַר · va-yeaveq ish imo ad alot ha-shachar · a man wrestled with him until dawn rose (verse-final shachar) [VERIFIED: SNAPSHOT Gen.32.25 idx3-8]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yeaveq_ish_imo(yaaqov_levado, ad_alot_ha_shachar), t5) = HOLDS(and-yeaveq-man-imo(yaaqov-alone, until-alot-the-shachar), t5) THE WRESTLE-VERB'S WHOLE LIFE [care 10]. va-yivater yaaqov LEVADO (3498 tok2/33; 905 tok7/90) [VERIFIED: SNAPSHOT Gen.32.25 idx0-2] — the ALONE-word: its debut is 2:18, lo-tov heyot ha-adam LEVADO — the corpus's only failed TEST verdict (gen_09's 2:18 lo-tov [VERIFIED: corpus grep — FAIL verdicts in gen_09 alone]) sits on this word's first token; its seventh strands Jacob alone at the ford, and the name-changing struggle finds him there. va-yeaveq ish imo (79 tok1/2) [VERIFIED: idx3 ordinal=1/2] — the WRESTLE-verb's entire Torah career is two tokens in two verses (32:25,26), one night, one pair; ish (376 tok79/570) — the opponent is only ever "a man" on the letter. ad alot ha-shachar (5927 tok15/201; 7837 tok2/3) [VERIFIED: idx6-8] — DAWN: tok1 = 19:15 (the dawn that rushed Lot from Sodom), toks 2-3 = this night's ×2 — the dawn-noun's career closes at 32:27: the Torah's only dawns are Sodom's escape and Peniel's release. Depth 5.	וַיֵּאָבֵק אִישׁ עִמּוֹ עַד עֲלוֹת הַשָּׁחַר · va-yeaveq ish imo ad alot ha-shachar = and-yeaveq man imo until alot the-shachar	—	tested

The failed-test alone-word finds Jacob; the wrestle-verb lives one night.

STEP_Gn_32_26 · Gen.32.26 · THE_TOUCH

וַיַּרְא כִּי לֹא יָכֹל לוֹ וַיִּגַּע בְּכַף־יְרֵכוֹ וַתֵּקַע כַּף־יֶרֶךְ יַעֲקֹב בְּהֵאָבְקוֹ עִמּוֹ · va-yar ki lo yakhol lo va-yiga be-khaf-yerekho va-teqa kaf-yerekh yaaqov be-heavqo imo · And he saw that he could not prevail against him, and he touched the socket of his thigh; and the socket of Jacob's thigh was wrenched as he wrestled with him.

LEFT
וַיַּ֗רְא כִּ֣י לֹ֤א יָכֹל֙ ל֔וֹ וַיִּגַּ֖ע בְּכַף יְרֵכ֑וֹ · va-yar ki lo yakhol lo va-yiga be-khaf-yerekho · he could not prevail, and touched his hip-socket (etnachta on yerekho) [VERIFIED: SNAPSHOT Gen.32.26 idx7 mark_id=etnachta]

RIGHT
וַתֵּ֨קַע֙ כַּף יֶ֣רֶךְ יַעֲקֹ֔ב בְּהֵֽאָבְק֖וֹ עִמּֽוֹ · va-teqa kaf-yerekh yaaqov be-heavqo imo · Jacob's hip-socket wrenched in the wrestling (verse-final imo) [VERIFIED: SNAPSHOT Gen.32.26 idx8-13]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yiga_be_khaf_yerekho(va_teqa, be_heavqo), t5) = HOLDS(and-yiga-in-khaf-yerekho(and-teqa, in-heavqo), t5) THE LADDER-ADJACENCY [care 11]. va-yar ki lo yakhol lo (3201 tok10/64) — could-not-prevail: file this token [see 32:29]. va-yiga be-khaf yerekho (5060 tok7/54) [VERIFIED: SNAPSHOT Gen.32.26 idx5 ordinal=7/54] — THE TOUCH: naga's tok6 = 28:12, the ladder's top MAGIA ha-shamayma (TOUCHING heaven); tok7 = the ish touching Jacob's hip — Bethel's contact and Peniel's contact are CONSECUTIVE career tokens: the two touches between Jacob's world and God's sit side by side in the concordance; tok8 = 32:33, the law retelling this one. va-teqa (3363 tok1/2) [VERIFIED: idx8 ordinal=1/2] — WRENCHED. kaf yerekh (3709 tok4/58; 3409 tok3/23) — the THIGH: its career's toks 1-2 are the OATH-thigh (24:2,9 — gen_40's under-the-thigh swearing); tok3 is the struck thigh — sworn-on, then struck, adjacent tokens. be-heavqo (79 tok2/2 CLOSES) — the wrestle-verb completes. Depth 5.	וַתֵּקַע כַּף־יֶרֶךְ יַעֲקֹב בְּהֵאָבְקוֹ עִמּוֹ · va-teqa kaf-yerekh yaaqov be-heavqo imo = and-teqa kaf-yerekh yaaqov in-heavqo imo	—	tested

The ladder's touch and the thigh's oath both sit one token before this verse.

STEP_Gn_32_27 · Gen.32.27 · THE_WRESTLERS_SEND_ME

וַיֹּאמֶר שַׁלְּחֵנִי כִּי עָלָה הַשָּׁחַר וַיֹּאמֶר לֹא אֲשַׁלֵּחֲךָ כִּי אִם־בֵּרַכְתָּנִי · va-yomer shalcheni ki ala ha-shachar va-yomer lo ashalechakha ki im-berakhtani · And he said: Send me away, for the dawn has risen. And he said: I will not send you away unless you have blessed me.

LEFT
וַיֹּ֣אמֶר שַׁלְּחֵ֔נִי כִּ֥י עָלָ֖ה הַשָּׁ֑חַר · va-yomer shalcheni ki ala ha-shachar · send me away, for dawn has risen (etnachta on shachar) [VERIFIED: SNAPSHOT Gen.32.27 idx4 mark_id=etnachta]

RIGHT
וַיֹּ֨אמֶר֙ לֹ֣א אֲשַֽׁלֵּחֲךָ֔ כִּ֖י אִם בֵּרַכְתָּֽנִי · va-yomer lo ashalechakha ki im-berakhtani · I will not send you unless you have blessed me (verse-final berakhtani) [VERIFIED: SNAPSHOT Gen.32.27 idx5-10]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(ha_ish, LET(shalcheni(yaaqov))) = DECLARE(the-man, LET(shalcheni(yaaqov))) THE MIRRORED DEMAND [UNIT SHAPE (6)]. shalcheni (7971 tok37/201, HVpv2ms/Sp1cs) [VERIFIED: SNAPSHOT Gen.32.27 idx1 morph=HVpv2ms/Sp1cs] — the exact send-ME imperative form occurs TWICE in the Torah [VERIFIED: full morph census of 7971]: 30:25, Jacob to Laban — never performed (gen_52's headline) — and here, the ish to Jacob: the demander of the unanswered send now holds the send-demand in his own hands, and the letter fails it in both directions. THE CONDITIONAL REFUSAL (gen_35's refused-demand class): lo ASHALECHAKHA ki im berakhtani (tok38 — the refusal echoes the demand's own verb, consecutive tokens; 1288 tok59/137 — the bless-verb demanded). ki ala ha-shachar (7837 tok3/3 CLOSES) — the dawn-noun's last Torah token is the wrestler's curfew. PUSH LET(shalcheni(yaaqov)). Depth 6.	שַׁלְּחֵנִי כִּי עָלָה הַשָּׁחַר · shalcheni ki ala ha-shachar = shalcheni when ala the-shachar	—	tested

gen_52's demand-form returns aimed at its old demander; refused on condition.

STEP_Gn_32_28 · Gen.32.28 · THE_NAME_SURRENDERED

וַיֹּאמֶר אֵלָיו מַה־שְּׁמֶךָ וַיֹּאמֶר יַעֲקֹב · va-yomer elav ma-shemekha va-yomer yaaqov · And he said to him: What is your name? And he said: Jacob.

LEFT
וַיֹּ֥אמֶר אֵלָ֖יו מַה שְּׁמֶ֑ךָ · va-yomer elav ma-shemekha · what is your name? (etnachta on shemekha) [VERIFIED: SNAPSHOT Gen.32.28 idx3 mark_id=etnachta]

RIGHT
וַיֹּ֖אמֶר יַעֲקֹֽב · va-yomer yaaqov · and he said: Jacob (verse-final yaaqov) [VERIFIED: SNAPSHOT Gen.32.28 idx4-5]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(ma_shemekha_va_yomer_yaaqov(ha_ish_shoel), t6) = HOLDS(ma-shemekha-and-yomer-yaaqov(the-man-shoel), t6) THE NAME ASKED [care 12]. ma shemekha (4100 tok39/133; 8034 tok78/252) [VERIFIED: SNAPSHOT Gen.32.28 idx2-3] — the ish asks; va-yomer YAAQOV — the bearer hands over the label gen_43 wrote at 25:26 (name(yaaqov) := yaaqov, the heel-name): the registry entry spoken by its own carrier as the last act of the old name. The question is the setup for the decree (32:29) — asked not to learn but to retire. Depth 6.	מַה־שְּׁמֶךָ וַיֹּאמֶר יַעֲקֹב · ma-shemekha va-yomer yaaqov = ma-shemekha and-yomer yaaqov	—	tested

The old name spoken by its bearer, one verse before its decree.

STEP_Gn_32_29 · Gen.32.29 · THE_DECREE_THAT_WRITES_NOTHING

וַיֹּאמֶר לֹא יַעֲקֹב יֵאָמֵר עוֹד שִׁמְךָ כִּי אִם־יִשְׂרָאֵל כִּי־שָׂרִיתָ עִם־אֱלֹהִים וְעִם־אֲנָשִׁים וַתּוּכָל · va-yomer lo yaaqov yeamer od shimkha ki im-yisrael ki-sarita im-Elohim ve-im-anashim va-tukhal · And he said: No more Jacob shall your name be said, but Israel; for you have striven with God and with men, and have prevailed.

LEFT
וַיֹּ֗אמֶר לֹ֤א יַעֲקֹב֙ יֵאָמֵ֥ר עוֹד֙ שִׁמְךָ֔ כִּ֖י אִם יִשְׂרָאֵ֑ל · va-yomer lo yaaqov yeamer od shimkha ki im-yisrael · no more Jacob shall your name be said, but Israel (etnachta on yisrael) [VERIFIED: SNAPSHOT Gen.32.29 idx8 mark_id=etnachta]

RIGHT
כִּֽי שָׂרִ֧יתָ עִם אֱלֹהִ֛ים וְעִם אֲנָשִׁ֖ים וַתּוּכָֽל · ki-sarita im-Elohim ve-im-anashim va-tukhal · you strove with God and with men, and prevailed (verse-final tukhal) [VERIFIED: SNAPSHOT Gen.32.29 idx9-15]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(lo_yaaqov_yeamer_od_ki_im_yisrael(decree_fact), t6) = HOLDS(not-yaaqov-yeamer-od-when-if-yisrael(decree-fact), t6) THE INVERTED COUNTERSIGN [care 13; gen_33's law]. lo yaaqov YEAMER od shimkha ki im yisrael (559 tok377/1373, HVNi3ms negated imperfect) [VERIFIED: SNAPSHOT Gen.32.29 idx1-8 morph=HVNi3ms] — DECREE-FACT class, frozen at 17:5/17:15 (gen_33: decrees are lo-yiqare/lo-tiqra negated-imperfect clauses, NOT the va-yiqra narrative formula — "the REGISTRY takes nothing"): no NAME op fires; the write waits for 35:10's formula (watch armed; the gen_33 NAME-triage neighborhood stays OPEN). AND THE COUNTERSIGN INVERTS: gen_33's letter-proof was that AVRAM's census dies inside its own retirement verse (token 59/59 at 17:5) and the narrator obeys instantly; HERE the narrator writes YAAQOV three more times in this very unit after the decree — 32:30 idx1, 32:31 idx1, 32:33 idx20 [VERIFIED: SNAPSHOT] — and 106 more times in the Torah (the decree sits at 3290 tok103/212): the Abram-decree retired its name, the Jacob-decree does not — same grammar, opposite letter-behavior, readable straight off the census. yisrael (3478 tok1/587 DEBUT); ki SARITA (8280 tok1/1 HAPAX) [VERIFIED: idx10 ordinal=1/1] — the strive-verb's only Torah token lives inside the name's own etiology: the name explains itself with a word used nowhere else. im Elohim ve-im anashim VA-TUKHAL (3201 tok11/64) [VERIFIED: idx15 ordinal=11/64] — the prevail-pair: tok10 = "he could NOT prevail" (32:26, the ish), tok11 = "you HAVE prevailed" (the ish's own verdict) — could-not and prevailed, consecutive tokens, opposite subjects: the loser declares the winner. Depth 6.	לֹא יַעֲקֹב יֵאָמֵר עוֹד שִׁמְךָ כִּי אִם־יִשְׂרָאֵל · lo yaaqov yeamer od shimkha ki im-yisrael = not yaaqov yeamer od shimkha when if-yisrael	—	tested

Israel decreed, nothing written; the census keeps spelling Jacob.

STEP_Gn_32_30 · Gen.32.30 · THE_NAME_REFUSED

וַיִּשְׁאַל יַעֲקֹב וַיֹּאמֶר הַגִּידָה־נָּא שְׁמֶךָ וַיֹּאמֶר לָמָּה זֶּה תִּשְׁאַל לִשְׁמִי וַיְבָרֶךְ אֹתוֹ שָׁם · va-yishal yaaqov va-yomer hagida-na shemekha va-yomer la-ma ze tishal li-shemi va-yevarekh et-o sham · And Jacob asked and said: Tell, please, your name. And he said: Why is it that you ask my name? And he blessed him there.

LEFT
וַיִּשְׁאַ֣ל יַעֲקֹ֗ב וַיֹּ֨אמֶר֙ הַגִּֽידָה נָּ֣א שְׁמֶ֔ךָ וַיֹּ֕אמֶר לָ֥מָּה זֶּ֖ה תִּשְׁאַ֣ל לִשְׁמִ֑י · va-yishal yaaqov va-yomer hagida-na shemekha va-yomer la-ma ze tishal li-shemi · tell your name — why is it you ask my name? (etnachta on shemi) [VERIFIED: SNAPSHOT Gen.32.30 idx10 mark_id=etnachta]

RIGHT
וַיְבָ֥רֶךְ אֹת֖וֹ שָֽׁם · va-yevarekh et-o sham · and he blessed him there (verse-final sham) [VERIFIED: SNAPSHOT Gen.32.30 idx11-13]

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(yaaqov, LET(hagida(ha_ish, et_shimkha))) = DECLARE(yaaqov, LET(hagida(the-man, shimkha))) THE COUNTER-ASK [UNIT SHAPE (7)]. va-yishal yaaqov... hagida-na shemekha (7592 tok5/29; 5046 tok20/55, HVhv2ms/Sh) [VERIFIED: SNAPSHOT Gen.32.30 idx0,3 morphs; ordinal=20/55] — Jacob returns the name-question with the TELL-imperative (gen_54's tell-chain, twentieth link). REFUSED BY A QUESTION: la-ma ze TISHAL li-shemi (7592 tok6/29) — the ask-verb answers its own previous token, 5/29 → 6/29 consecutive: an ask met by an ask, no name given. va-yevarekh oto sham (1288 tok60/137) — the blessing arrives IN THE NAME'S PLACE (wrong-response landing; and it is the very condition 32:27's refusal named — berakhtani now holds on the letter — yet no sending is ever narrated: both wrestling-cards stand at the wall). PUSH LET(hagida(ha_ish, et_shimkha)). Depth 7.	הַגִּידָה־נָּא שְׁמֶךָ · hagida-na shemekha = hagida-na shemekha	—	tested

The name withheld, the blessing given; both night-demands stay open.

STEP_Gn_32_31 · Gen.32.31 · THE_FACE_AND_THE_WRONG_RESCUE

וַיִּקְרָא יַעֲקֹב שֵׁם הַמָּקוֹם פְּנִיאֵל כִּי־רָאִיתִי אֱלֹהִים פָּנִים אֶל־פָּנִים וַתִּנָּצֵל נַפְשִׁי · va-yiqra yaaqov shem ha-maqom peniel ki-raiti Elohim panim el-panim va-tinatzel nafshi · And Jacob called the name of the place Peniel: for I have seen God face to face, and my soul was delivered.

LEFT
וַיִּקְרָ֧א יַעֲקֹ֛ב שֵׁ֥ם הַמָּק֖וֹם פְּנִיאֵ֑ל · va-yiqra yaaqov shem ha-maqom peniel · Jacob called the place Peniel (Face of God) (etnachta on peniel) [VERIFIED: SNAPSHOT Gen.32.31 idx4 mark_id=etnachta]

RIGHT
כִּֽי רָאִ֤יתִי אֱלֹהִים֙ פָּנִ֣ים אֶל פָּנִ֔ים וַתִּנָּצֵ֖ל נַפְשִֽׁי · ki-raiti Elohim panim el-panim va-tinatzel nafshi · I saw God face to face, and my soul was delivered (verse-final nafshi) [VERIFIED: SNAPSHOT Gen.32.31 idx5-12]

operator	expression	Hebrew anchor	cites	confidence
REGISTRY_INSTALL	WORLD += {maqom_peniel} = WORLD += {maqom-peniel} THE PLACE OF THE FACE [care 15]. va-yiqra yaaqov shem ha-maqom (7121 tok80/193; 4725 tok37/133) [VERIFIED: SNAPSHOT Gen.32.31 idx0-3] — the narrator still says YAAQOV, one verse after the decree (3290 tok105/212). WORLD += maqom_peniel.	וַיִּקְרָא יַעֲקֹב שֵׁם הַמָּקוֹם פְּנִיאֵל · va-yiqra yaaqov shem ha-maqom peniel = and-yiqra yaaqov shem the-maqom peniel	—	tested
NAME	name(maqom_peniel) := peniel = name(maqom-peniel) := peniel WRITE #2 — PENIEL. peniel (6439 tok1/2) [VERIFIED: SNAPSHOT Gen.32.31 idx4 ordinal=1/2] — full va-yiqra formula: the write fires (contrast the decree that couldn't — the machine writes places this unit, not persons). ki raiti Elohim PANIM EL PANIM (7200 tok81/396; 6440 toks 87-88/627) — the face-walk's summit: ten face-tokens in the chapter [VERIFIED: count=10] climb from envoy-faces to the Face. va-tinatzel nafshi (5337 tok4/25) [VERIFIED: idx11 ordinal=4/25] — THE WRONG-DANGER RESCUE [UNIT SHAPE (2)]: the hatzileni-card asked rescue mi-yad esav (from the HAND); the rescue-verb's next token delivers from the FACE (panim el panim) — consecutive tokens, object mismatch, card OPEN; the hand-horizon waits at 33:4. nafshi (5315 tok26/205). REGISTRY 2 writes. Depth 7.	פְּנִיאֵל · peniel = peniel	—	tested

Peniel written by formula; the rescue lands on the wrong danger.

STEP_Gn_32_32 · Gen.32.32 · THE_SUNRISE_AND_THE_LIMP

וַיִּזְרַח־לוֹ הַשֶּׁמֶשׁ כַּאֲשֶׁר עָבַר אֶת־פְּנוּאֵל וְהוּא צֹלֵעַ עַל־יְרֵכוֹ · va-yizrach-lo ha-shemesh ka-asher avar et-penuel ve-hu tzolea al-yerekho · And the sun rose upon him as he passed Penuel, and he was limping on his thigh.

LEFT
וַיִּֽזְרַֽח ל֣וֹ הַשֶּׁ֔מֶשׁ כַּאֲשֶׁ֥ר עָבַ֖ר אֶת פְּנוּאֵ֑ל · va-yizrach-lo ha-shemesh ka-asher avar et-penuel · the sun rose as he passed Penuel (etnachta on penuel) [VERIFIED: SNAPSHOT Gen.32.32 idx6 mark_id=etnachta]

RIGHT
וְה֥וּא צֹלֵ֖עַ עַל יְרֵכֽוֹ · ve-hu tzolea al-yerekho · and he was limping on his thigh (verse-final yerekho) [VERIFIED: SNAPSHOT Gen.32.32 idx7-10]

operator	expression	Hebrew anchor	cites	confidence
PRECONDITION_STATE	HOLDS(va_yizrach_ha_shemesh_ve_hu_tzolea(over_et_penuel), t7) = HOLDS(and-yizrach-the-shemesh-and-that-tzolea(over-penuel), t7) THE SUN-BRACKET [care 15]. va-yizrach lo ha-shemesh (2224 tok1/3 DEBUT; 8121 tok5/23) [VERIFIED: SNAPSHOT Gen.32.32 idx0-2; ordinals 1/3, 5/23] — the SUNRISE-verb debuts, and the sun-noun's toks 4-5 are CONSECUTIVE: it SET at 28:11 (Bethel, the ladder night) and RISES here — one sunset and one sunrise bracket the twenty Laban years on the sun-word's own career; zarach's later tokens: Exod 22:2 (the thief-law's daylight clause), Deut 33:2 (YHWH SHONE from Seir — the Sinai theophany). ka-asher avar et PENUEL (5674 tok18/130; 6439 tok2/2 CLOSES) [VERIFIED: idx6 ordinal=2/2] — the place-name's second and last token SHIFTS SPELLING one verse after its first: peniEl → penuEl, i to u, in the DB's own letters. ve-hu TZOLEA al yerekho (6760 tok1/1 HAPAX) [VERIFIED: idx8 ordinal=1/1] — LIMPING: said once in the Torah, of the man just renamed prevail-er. Depth 7.	וַיִּזְרַח־לוֹ הַשֶּׁמֶשׁ · va-yizrach-lo ha-shemesh = and-yizrach-not the-shemesh	—	tested

The Bethel sunset's sun rises at Penuel; the prevailer limps.

STEP_Gn_32_33 · Gen.32.33 · THE_FIRST_NARRATOR_LAW

עַל־כֵּן לֹא־יֹאכְלוּ בְנֵי־יִשְׂרָאֵל אֶת־גִּיד הַנָּשֶׁה אֲשֶׁר עַל־כַּף הַיָּרֵךְ עַד הַיּוֹם הַזֶּה כִּי נָגַע בְּכַף־יֶרֶךְ יַעֲקֹב בְּגִיד הַנָּשֶׁה · al-ken lo-yokhlu vene-yisrael et-gid ha-nashe asher al-kaf ha-yarekh ad ha-yom ha-ze ki naga be-khaf-yerekh yaaqov be-gid ha-nashe · Therefore the children of Israel eat not the sinew of the thigh-vein which is upon the socket of the thigh, to this day; for he touched the socket of Jacob's thigh in the sinew of the thigh-vein.

LEFT
עַל כֵּ֡ן לֹֽא יֹאכְל֨וּ בְנֵֽי יִשְׂרָאֵ֜ל אֶת גִּ֣יד הַנָּשֶׁ֗ה אֲשֶׁר֙ עַל כַּ֣ף הַיָּרֵ֔ךְ עַ֖ד הַיּ֣וֹם הַזֶּ֑ה · al-ken lo-yokhlu vene-yisrael et-gid ha-nashe asher al-kaf ha-yarekh ad ha-yom ha-ze · therefore Israel's sons eat not the sinew, to this day (etnachta on ze) [VERIFIED: SNAPSHOT Gen.32.33 idx15 mark_id=etnachta]

RIGHT
כִּ֤י נָגַע֙ בְּכַף יֶ֣רֶךְ יַעֲקֹ֔ב בְּגִ֖יד הַנָּשֶֽׁה · ki naga be-khaf-yerekh yaaqov be-gid ha-nashe · for he touched Jacob's hip-socket in the sinew (verse-final nashe) [VERIFIED: SNAPSHOT Gen.32.33 idx16-22]

operator	expression	Hebrew anchor	cites	confidence
PATTERN	PATTERN(lo_yokhlu_bene_yisrael_et_gid_ha_nashe) = PATTERN(not-yokhlu-bene-yisrael-gid-the-nashe) THE NAME LEGISLATES [care 16; gen_09's 2:24 PATTERN class]. al ken lo yokhlu VENE YISRAEL et gid ha-nashe... ad ha-yom ha-ze (398 tok48/328, imperfect; 3478 tok2/587) [VERIFIED: SNAPSHOT Gen.32.33 idx0-15] — the al-ken standing generalization (narrator voice, no trigger clause: PATTERN, not HANDLER — the op introduced for 2:24's therefore-a-man-leaves). Of the corpus's eight prior PATTERNs (five name-etiologies, a proverb, two relation-generalizations [VERIFIED: corpus grep, care 16]) this is the FIRST with a people-subject and a kept practice: narrator law proper — and its legal subject is BENE YISRAEL: the nation-name's SECOND TOKEN EVER, four verses after the name was born at 32:29 — the name debuts, then legislates, inside one unit: the init→law thesis's cleanest specimen (narrative initializes the entity; the first narrator-law immediately consumes it). gid (1517 toks 1-2/2) + ha-nashe (5384 toks 1-2/2) [VERIFIED: ordinals — both careers complete in this verse] — the sinew-law's entire vocabulary lives inside its own statute: four tokens, one verse, nothing before, nothing after. ki NAGA be-khaf yerekh yaaqov (5060 tok8/54) — the law cites the touch (tok7) as its reason — consecutive tokens again — and says YAAQOV (3290 tok106/212): even the Torah's first narrator-law spells the decreed-away name. ad ha-yom ha-ze — the narrator's own now. UNIT END: SPECS depth 7 OPEN (tomrun? · hatzileni · ivru · tasimu? · tedabrun? · shalcheni · hagida) — SEVEN pushed, ZERO popped, SEVEN OPEN: the corpus's third all-open seven (gen_34 Mamre, gen_54 Gilead, gen_55 Peniel; final-scenario scan). REGISTRY 2 writes (machanayim, peniel). TESTS 0 [VERIFIED: zero tov-adjective tokens in Gen 32].	עַל־כֵּן לֹא־יֹאכְלוּ בְנֵי־יִשְׂרָאֵל אֶת־גִּיד הַנָּשֶׁה · al-ken lo-yokhlu vene-yisrael et-gid ha-nashe = upon-ken not-yokhlu vene-yisrael gid the-nashe	—	tested

The four-verse-old name receives the Torah's first narrator-law; seven stand open.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	after STEP_Gn_32_1 — the farewell kiss; queue empty	Laban kissed his sons and daughters and returned to his place.	SPECS empty; no test, no name.	וַיַּשְׁכֵּ֨ם לָבָ֜ן בַּבֹּ֗קֶר וַיְנַשֵּׁ֧ק · va-yashkem lavan ba-boqer va-yenasheq = and-yashkem lavan morning and-yenasheq
S2	after STEP_Gn_32_2 — the angel encounter; queue empty	Messengers of God met him on the way.	SPECS empty; no test, no name.	וַיִּפְגְּעוּ ב֖וֹ מַלְאֲכֵ֥י אֱלֹהִֽים · va-yifgu-v-o malakhe Elohim = and-yifgu-v-o malakhe God
S3	after STEP_Gn_32_3 — Two-Camps written; REGISTRY 1	He called the name of that place Machanayim.	SPECS empty; WORLD += maqom_machanayim; REGISTRY 1 writes = SPECS empty; WORLD += maqom-machanayim; REGISTRY 1 writes	וַיִּקְרָ֛א שֵֽׁם הַמָּק֥וֹם הַה֖וּא מַֽחֲנָֽיִם · va-yiqra shem-ha-maqom ha-hu machanayim = and-yiqra shem-the-maqom the-that machanayim
S4	after STEP_Gn_32_4 — envoys to Esau; queue still empty	Jacob sent messengers to Esau, to Seir.	SPECS empty; REGISTRY 1 writes	וַיִּשְׁלַ֨ח יַעֲקֹ֤ב מַלְאָכִים֙ לְפָנָ֔יו · va-yishlach yaaqov malakhim le-fanay-v = and-yishlach yaaqov malakhim to-fanay-v
S5	after STEP_Gn_32_5 — the say-instruction pushed guarded; depth 1	Thus shall you say to my lord, to Esau.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	כֹּ֣ה תֹאמְר֔וּן לַֽאדֹנִ֖י לְעֵשָׂ֑ו · ko tomrun la-doni-y le-esav = ko tomrun to-doni-y to-esav
S6	after STEP_Gn_32_6 — the ox-inventory message; depth 1	I have ox and donkey, flock and servant and maid.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	וַֽיְהִי לִי֙ שׁ֣וֹר וַחֲמ֔וֹר צֹ֖אן וְעֶ֣בֶד וְשִׁפְחָ֑ה · va-yehi-li shor va-chamor tzon ve-eved ve-shifcha = and-yehi-to-me shor and-chamor tzon and-eved and-shifcha
S7	after STEP_Gn_32_7 — the came-report and the four hundred; depth 1	We came to your brother — four hundred men with him.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	בָּ֤אנוּ אֶל אָחִ֨יךָ֙ אֶל עֵשָׂ֔ו · banu el-achikha el-esav = banu to-your-brother to-esav
S8	after STEP_Gn_32_8 — fear, distress, the split; depth 1	He divided the people into two camps.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	וַיִּירָ֧א יַעֲקֹ֛ב מְאֹ֖ד וַיֵּ֣צֶר · va-yira yaaqov meod va-yetzer = and-yira yaaqov very and-yetzer
S9	after STEP_Gn_32_9 — the remnant arithmetic; depth 1	The remaining camp will escape as a remnant.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	וְהָיָ֛ה הַמַּחֲנֶ֥ה הַנִּשְׁאָ֖ר לִפְלֵיטָֽה · ve-haya ha-machane ha-nishar li-feleta = and-haya the-machane the-nishar to-me-feleta
S10	after STEP_Gn_32_10 — the requote with two deltas; depth 1	Return to your land — and I will do good with you.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	שׁ֧וּב לְאַרְצְךָ֛ וּלְמוֹלַדְתְּךָ֖ וְאֵיטִ֥יבָה עִמָּֽךְ · shuv le-artzekha u-le-moladtekha ve-etiva imakh = shuv to-artzekha and-to-moladtekha and-etiva imakh
S11	after STEP_Gn_32_11 — the humility hapax; depth 1	I am too small for all the kindnesses and all the truth.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; REGISTRY 1 writes	קָטֹ֜נְתִּי מִכֹּ֤ל הַחֲסָדִים֙ וּמִכָּל הָ֣אֱמֶ֔ת · qatonti mi-kol ha-chasadim u-mi-kal-ha-emet = qatonti all the-chasadim and-from-kal-the-emet
S12	after STEP_Gn_32_12 — rescue-me pushed on YHWH; depth 2	Rescue me from the hand of my brother, from the hand of Esau.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; REGISTRY 1 writes	הַצִּילֵ֥נִי נָ֛א מִיַּ֥ד אָחִ֖י מִיַּ֣ד עֵשָׂ֑ו · hatzileni na mi-yad achi-y mi-yad esav = hatzileni na from-yad my-brother-y from-yad esav
S13	after STEP_Gn_32_13 — the unsourced doublet and the borrowed sand; depth 2	You said: doing-good I will do good with you.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; REGISTRY 1 writes	וְאַתָּ֣ה אָמַ֔רְתָּ הֵיטֵ֥ב אֵיטִ֖יב עִמָּ֑ךְ · ve-ata amarta hetev etiv imakh = and-ata amarta hetev etiv imakh
S14	after STEP_Gn_32_14 — the gift taken; night one; depth 2	He took from what came to his hand a gift for Esau.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; REGISTRY 1 writes	וַיִּקַּ֞ח מִן הַבָּ֧א בְיָד֛וֹ מִנְחָ֖ה לְעֵשָׂ֥ו אָחִֽיו · va-yiqach min-ha-ba ve-yado mincha le-esav achi-v = and-yiqach from-the-in-the his-hand mincha to-esav my-brother-v
S15	after STEP_Gn_32_15 — herd list one; two careers close; depth 2	Two hundred she-goats, twenty he-goats, two hundred ewes.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; REGISTRY 1 writes	עִזִּ֣ים מָאתַ֔יִם וּתְיָשִׁ֖ים עֶשְׂרִ֑ים · izim matayim u-teyashim esrim = izim matayim and-teyashim esrim
S16	after STEP_Gn_32_16 — herd list two; the cult-bound nouns; depth 2	Forty cows, ten bulls, twenty she-donkeys, ten colts.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; REGISTRY 1 writes	גְּמַלִּ֧ים מֵינִיק֛וֹת וּבְנֵיהֶ֖ם שְׁלֹשִׁ֑ים · gemalim meniqot u-venehem sheloshim = gemalim meniqot and-venehem sheloshim
S17	after STEP_Gn_32_17 — pass-order and space-order pushed; depth 4	Pass over before me; put a space between drove and drove.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; REGISTRY 1 writes	עִבְר֣וּ לְפָנַ֔י וְרֶ֣וַח תָּשִׂ֔ימוּ בֵּ֥ין עֵ֖דֶר וּבֵ֥ין עֵֽדֶר · ivru le-fanay ve-revach tasimu ben eder u-ven eder = ivru to-fanay and-revach tasimu ben eder and-ven eder
S18	after STEP_Gn_32_18 — the meet-verb born in the script; depth 4	When Esau my brother meets you and asks you.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; REGISTRY 1 writes	כִּ֣י יִֽפְגָּשְׁךָ֞ עֵשָׂ֣ו אָחִ֗י וִשְׁאֵֽלְךָ֙ · ki yifgashkha esav achi-y vi-sheelkha = when yifgashkha esav my-brother-y vi-sheelkha
S19	after STEP_Gn_32_19 — the gift labeled sent; depth 4	A gift sent to my lord, to Esau; behold, he is behind us.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; REGISTRY 1 writes	מִנְחָ֥ה הִוא֙ שְׁלוּחָ֔ה לַֽאדֹנִ֖י · mincha hiv shelucha la-doni-y = mincha hiv shelucha to-doni-y
S20	after STEP_Gn_32_20 — the speak-imperfect pushed; depth 5	According to this word shall you speak to Esau.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	כַּדָּבָ֤ר הַזֶּה֙ תְּדַבְּר֣וּן אֶל עֵשָׂ֔ו בְּמֹצַאֲכֶ֖ם אֹתֽוֹ · ka-davar ha-ze tedabrun el-esav be-motzaakhem et-o = like-davar the-ze tedabrun to-esav in-motzaakhem o
S21	after STEP_Gn_32_21 — the atonement-verb covers a face; depth 5	Let me cover his face with the gift; perhaps he will lift my face.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	אֲכַפְּרָ֣ה פָנָ֗יו בַּמִּנְחָה֙ הַהֹלֶ֣כֶת לְפָנָ֔י · akhapra fanav ba-mincha ha-holekhet le-fanay = akhapra fanav in-the-mincha the-holekhet to-fanay
S22	after STEP_Gn_32_22 — the gift passes, not the servants; depth 5	The gift passed over before his face.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	וַתַּעֲבֹ֥ר הַמִּנְחָ֖ה עַל פָּנָ֑יו · va-taavor ha-mincha al-panav = and-taavor the-mincha upon-panav
S23	after STEP_Gn_32_23 — the ford crossed by night; depth 5	He crossed the ford of the Jabbok.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	וַֽיַּעֲבֹ֔ר אֵ֖ת מַעֲבַ֥ר יַבֹּֽק · va-yaavor et maavar yaboq = and-yaavor et maavar yaboq
S24	after STEP_Gn_32_24 — the family ferried over; depth 5	He took them and crossed them over the stream.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	וַיִּקָּחֵ֔ם וַיַּֽעֲבִרֵ֖ם אֶת הַנָּ֑חַל · va-yiqachem va-yaavirem et-ha-nachal = and-yiqachem and-yaavirem the-nachal
S25	after STEP_Gn_32_25 — alone; the wrestle begins; depth 5	A man wrestled with him until the rising of the dawn.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	וַיֵּאָבֵ֥ק אִישׁ֙ עִמּ֔וֹ עַ֖ד עֲל֥וֹת הַשָּֽׁחַר · va-yeaveq ish imo ad alot ha-shachar = and-yeaveq man imo until alot the-shachar
S26	after STEP_Gn_32_26 — the touch and the wrenched thigh; depth 5	The socket of Jacob's thigh was wrenched in the wrestling.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; REGISTRY 1 writes	וַתֵּ֨קַע֙ כַּף יֶ֣רֶךְ יַעֲקֹ֔ב בְּהֵֽאָבְק֖וֹ עִמּֽוֹ · va-teqa kaf-yerekh yaaqov be-heavqo imo = and-teqa kaf-yerekh yaaqov in-heavqo imo
S27	after STEP_Gn_32_27 — the wrestler's send-me; refused; depth 6	Send me away — I will not send you unless you have blessed me.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes	שַׁלְּחֵ֔נִי כִּ֥י עָלָ֖ה הַשָּׁ֑חַר · shalcheni ki ala ha-shachar = shalcheni when ala the-shachar
S28	after STEP_Gn_32_28 — the old name surrendered; depth 6	What is your name? And he said: Jacob.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes	מַה שְּׁמֶ֑ךָ וַיֹּ֖אמֶר יַעֲקֹֽב · ma-shemekha va-yomer yaaqov = ma-shemekha and-yomer yaaqov
S29	after STEP_Gn_32_29 — Israel decreed, nothing written; depth 6	No more Jacob shall your name be said, but Israel.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; REGISTRY 1 writes	לֹ֤א יַעֲקֹב֙ יֵאָמֵ֥ר עוֹד֙ שִׁמְךָ֔ כִּ֖י אִם יִשְׂרָאֵ֑ל · lo yaaqov yeamer od shimkha ki im-yisrael = not yaaqov yeamer od shimkha when if-yisrael
S30	after STEP_Gn_32_30 — the name refused, the blessing given; depth 7	Why do you ask my name? And he blessed him there.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(ha_ish, et_shimkha)) pushed and OPEN; REGISTRY 1 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(the-man, shimkha)) pushed and OPEN; REGISTRY 1 writes	הַגִּֽידָה נָּ֣א שְׁמֶ֔ךָ · hagida-na shemekha = hagida-na shemekha
S31	after STEP_Gn_32_31 — Peniel written; the wrong-danger rescue; REGISTRY 2	I saw God face to face, and my soul was delivered.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(ha_ish, et_shimkha)) pushed and OPEN; WORLD += maqom_peniel; REGISTRY 2 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(the-man, shimkha)) pushed and OPEN; WORLD += maqom-peniel; REGISTRY 2 writes	וַיִּקְרָ֧א יַעֲקֹ֛ב שֵׁ֥ם הַמָּק֖וֹם פְּנִיאֵ֑ל · va-yiqra yaaqov shem ha-maqom peniel = and-yiqra yaaqov shem the-maqom peniel
S32	after STEP_Gn_32_32 — sunrise at Penuel; the limp; depth 7	The sun rose upon him, and he was limping on his thigh.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(ha_ish, et_shimkha)) pushed and OPEN; REGISTRY 2 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(the-man, shimkha)) pushed and OPEN; REGISTRY 2 writes	וַיִּֽזְרַֽח ל֣וֹ הַשֶּׁ֔מֶשׁ · va-yizrach-lo ha-shemesh = and-yizrach-not the-shemesh
S33	after STEP_Gn_32_33 — the first narrator law; seven open at the wall	Therefore the children of Israel eat not the sinew of the thigh.	LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN; LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN; LET(ivru(avadav, le_fanai)) pushed and OPEN; LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN; LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(ha_ish, et_shimkha)) pushed and OPEN; REGISTRY 2 writes = LET?(tomrun(the-malakhim, to-doni-to-esav)) pushed and OPEN; LET(hatzileni(the-LORD, from-yad-esav)) pushed and OPEN; LET(ivru(avadav, to-fanai)) pushed and OPEN; LET?(tasimu(revach, ben-eder-and-ven-eder)) pushed and OPEN; LET?(tedabrun(all-the-holkhim, to-esav)) pushed and OPEN; LET(shalcheni(yaaqov)) pushed and OPEN; LET(hagida(the-man, shimkha)) pushed and OPEN; REGISTRY 2 writes	עַל כֵּ֡ן לֹֽא יֹאכְל֨וּ בְנֵֽי יִשְׂרָאֵ֜ל אֶת גִּ֣יד הַנָּשֶׁ֗ה · al-ken lo-yokhlu vene-yisrael et-gid ha-nashe = upon-ken not-yokhlu vene-yisrael gid the-nashe

Machine verification — run_unit.py (computed live, not stored)

unit: gen_55_two_camps_wrestled_name — The two camps, the gift, and the wrestled name (32:1-33) [frozen]

final state: WORLD=['maqom_machanayim', 'maqom_peniel'] (+0 presupposed) | REGISTRY={'maqom_machanayim': 'machanayim', 'maqom_peniel': 'peniel'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=[]

=== S1 — after STEP_Gn_32_1 — the farewell kiss; queue empty
    וַיַּשְׁכֵּ֨ם לָבָ֜ן בַּבֹּ֗קֶר וַיְנַשֵּׁ֧ק (va-yashkem lavan ba-boqer va-yenasheq)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_32_2 — the angel encounter; queue empty
    וַיִּפְגְּעוּ ב֖וֹ מַלְאֲכֵ֥י אֱלֹהִֽים (va-yifgu-v-o malakhe Elohim)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_32_3 — Two-Camps written; REGISTRY 1
    וַיִּקְרָ֛א שֵֽׁם הַמָּק֥וֹם הַה֖וּא מַֽחֲנָֽיִם (va-yiqra shem-ha-maqom ha-hu machanayim)
    PASS  SPECS empty  (queue=0)
    PASS  WORLD += maqom_machanayim  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.32.3'})
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S4 — after STEP_Gn_32_4 — envoys to Esau; queue still empty
    וַיִּשְׁלַ֨ח יַעֲקֹ֤ב מַלְאָכִים֙ לְפָנָ֔יו (va-yishlach yaaqov malakhim le-fanay-v)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S5 — after STEP_Gn_32_5 — the say-instruction pushed guarded; depth 1
    כֹּ֣ה תֹאמְר֔וּן לַֽאדֹנִ֖י לְעֵשָׂ֑ו (ko tomrun la-doni-y le-esav)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S6 — after STEP_Gn_32_6 — the ox-inventory message; depth 1
    וַֽיְהִי לִי֙ שׁ֣וֹר וַחֲמ֔וֹר צֹ֖אן וְעֶ֣בֶד וְשִׁפְחָ֑ה (va-yehi-li shor va-chamor tzon ve-eved ve-shifcha)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S7 — after STEP_Gn_32_7 — the came-report and the four hundred; depth 1
    בָּ֤אנוּ אֶל אָחִ֨יךָ֙ אֶל עֵשָׂ֔ו (banu el-achikha el-esav)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S8 — after STEP_Gn_32_8 — fear, distress, the split; depth 1
    וַיִּירָ֧א יַעֲקֹ֛ב מְאֹ֖ד וַיֵּ֣צֶר (va-yira yaaqov meod va-yetzer)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S9 — after STEP_Gn_32_9 — the remnant arithmetic; depth 1
    וְהָיָ֛ה הַמַּחֲנֶ֥ה הַנִּשְׁאָ֖ר לִפְלֵיטָֽה (ve-haya ha-machane ha-nishar li-feleta)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S10 — after STEP_Gn_32_10 — the requote with two deltas; depth 1
    שׁ֧וּב לְאַרְצְךָ֛ וּלְמוֹלַדְתְּךָ֖ וְאֵיטִ֥יבָה עִמָּֽךְ (shuv le-artzekha u-le-moladtekha ve-etiva imakh)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S11 — after STEP_Gn_32_11 — the humility hapax; depth 1
    קָטֹ֜נְתִּי מִכֹּ֤ל הַחֲסָדִים֙ וּמִכָּל הָ֣אֱמֶ֔ת (qatonti mi-kol ha-chasadim u-mi-kal-ha-emet)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S12 — after STEP_Gn_32_12 — rescue-me pushed on YHWH; depth 2
    הַצִּילֵ֥נִי נָ֛א מִיַּ֥ד אָחִ֖י מִיַּ֣ד עֵשָׂ֑ו (hatzileni na mi-yad achi-y mi-yad esav)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S13 — after STEP_Gn_32_13 — the unsourced doublet and the borrowed sand; depth 2
    וְאַתָּ֣ה אָמַ֔רְתָּ הֵיטֵ֥ב אֵיטִ֖יב עִמָּ֑ךְ (ve-ata amarta hetev etiv imakh)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S14 — after STEP_Gn_32_14 — the gift taken; night one; depth 2
    וַיִּקַּ֞ח מִן הַבָּ֧א בְיָד֛וֹ מִנְחָ֖ה לְעֵשָׂ֥ו אָחִֽיו (va-yiqach min-ha-ba ve-yado mincha le-esav achi-v)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S15 — after STEP_Gn_32_15 — herd list one; two careers close; depth 2
    עִזִּ֣ים מָאתַ֔יִם וּתְיָשִׁ֖ים עֶשְׂרִ֑ים (izim matayim u-teyashim esrim)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S16 — after STEP_Gn_32_16 — herd list two; the cult-bound nouns; depth 2
    גְּמַלִּ֧ים מֵינִיק֛וֹת וּבְנֵיהֶ֖ם שְׁלֹשִׁ֑ים (gemalim meniqot u-venehem sheloshim)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S17 — after STEP_Gn_32_17 — pass-order and space-order pushed; depth 4
    עִבְר֣וּ לְפָנַ֔י וְרֶ֣וַח תָּשִׂ֔ימוּ בֵּ֥ין עֵ֖דֶר וּבֵ֥ין עֵֽדֶר (ivru le-fanay ve-revach tasimu ben eder u-ven eder)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S18 — after STEP_Gn_32_18 — the meet-verb born in the script; depth 4
    כִּ֣י יִֽפְגָּשְׁךָ֞ עֵשָׂ֣ו אָחִ֗י וִשְׁאֵֽלְךָ֙ (ki yifgashkha esav achi-y vi-sheelkha)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S19 — after STEP_Gn_32_19 — the gift labeled sent; depth 4
    מִנְחָ֥ה הִוא֙ שְׁלוּחָ֔ה לַֽאדֹנִ֖י (mincha hiv shelucha la-doni-y)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S20 — after STEP_Gn_32_20 — the speak-imperfect pushed; depth 5
    כַּדָּבָ֤ר הַזֶּה֙ תְּדַבְּר֣וּן אֶל עֵשָׂ֔ו בְּמֹצַאֲכֶ֖ם אֹתֽוֹ (ka-davar ha-ze tedabrun el-esav be-motzaakhem et-o)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S21 — after STEP_Gn_32_21 — the atonement-verb covers a face; depth 5
    אֲכַפְּרָ֣ה פָנָ֗יו בַּמִּנְחָה֙ הַהֹלֶ֣כֶת לְפָנָ֔י (akhapra fanav ba-mincha ha-holekhet le-fanay)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S22 — after STEP_Gn_32_22 — the gift passes, not the servants; depth 5
    וַתַּעֲבֹ֥ר הַמִּנְחָ֖ה עַל פָּנָ֑יו (va-taavor ha-mincha al-panav)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S23 — after STEP_Gn_32_23 — the ford crossed by night; depth 5
    וַֽיַּעֲבֹ֔ר אֵ֖ת מַעֲבַ֥ר יַבֹּֽק (va-yaavor et maavar yaboq)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S24 — after STEP_Gn_32_24 — the family ferried over; depth 5
    וַיִּקָּחֵ֔ם וַיַּֽעֲבִרֵ֖ם אֶת הַנָּ֑חַל (va-yiqachem va-yaavirem et-ha-nachal)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S25 — after STEP_Gn_32_25 — alone; the wrestle begins; depth 5
    וַיֵּאָבֵ֥ק אִישׁ֙ עִמּ֔וֹ עַ֖ד עֲל֥וֹת הַשָּֽׁחַר (va-yeaveq ish imo ad alot ha-shachar)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S26 — after STEP_Gn_32_26 — the touch and the wrenched thigh; depth 5
    וַתֵּ֨קַע֙ כַּף יֶ֣רֶךְ יַעֲקֹ֔ב בְּהֵֽאָבְק֖וֹ עִמּֽוֹ (va-teqa kaf-yerekh yaaqov be-heavqo imo)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S27 — after STEP_Gn_32_27 — the wrestler's send-me; refused; depth 6
    שַׁלְּחֵ֔נִי כִּ֥י עָלָ֖ה הַשָּׁ֑חַר (shalcheni ki ala ha-shachar)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S28 — after STEP_Gn_32_28 — the old name surrendered; depth 6
    מַה שְּׁמֶ֑ךָ וַיֹּ֖אמֶר יַעֲקֹֽב (ma-shemekha va-yomer yaaqov)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S29 — after STEP_Gn_32_29 — Israel decreed, nothing written; depth 6
    לֹ֤א יַעֲקֹב֙ יֵאָמֵ֥ר עוֹד֙ שִׁמְךָ֔ כִּ֖י אִם יִשְׂרָאֵ֑ל (lo yaaqov yeamer od shimkha ki im-yisrael)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S30 — after STEP_Gn_32_30 — the name refused, the blessing given; depth 7
    הַגִּֽידָה נָּ֣א שְׁמֶ֔ךָ (hagida-na shemekha)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hagida(ha_ish, et_shimkha)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  REGISTRY 1 writes  (writes=1 names=['maqom_machanayim'])

=== S31 — after STEP_Gn_32_31 — Peniel written; the wrong-danger rescue; REGISTRY 2
    וַיִּקְרָ֧א יַעֲקֹ֛ב שֵׁ֥ם הַמָּק֖וֹם פְּנִיאֵ֑ל (va-yiqra yaaqov shem ha-maqom peniel)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hagida(ha_ish, et_shimkha)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  WORLD += maqom_peniel  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.32.31'})
    PASS  REGISTRY 2 writes  (writes=2 names=['maqom_machanayim', 'maqom_peniel'])

=== S32 — after STEP_Gn_32_32 — sunrise at Penuel; the limp; depth 7
    וַיִּֽזְרַֽח ל֣וֹ הַשֶּׁ֔מֶשׁ (va-yizrach-lo ha-shemesh)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hagida(ha_ish, et_shimkha)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  REGISTRY 2 writes  (writes=2 names=['maqom_machanayim', 'maqom_peniel'])

=== S33 — after STEP_Gn_32_33 — the first narrator law; seven open at the wall
    עַל כֵּ֡ן לֹֽא יֹאכְל֨וּ בְנֵֽי יִשְׂרָאֵ֜ל אֶת גִּ֣יד הַנָּשֶׁ֗ה (al-ken lo-yokhlu vene-yisrael et-gid ha-nashe)
    PASS  LET?(tomrun(ha_malakhim, la_doni_le_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hatzileni(YHWH, mi_yad_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(ivru(avadav, le_fanai)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tasimu(revach, ben_eder_u_ven_eder)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET?(tedabrun(kol_ha_holkhim, el_esav)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(shalcheni(yaaqov)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  LET(hagida(ha_ish, et_shimkha)) pushed and OPEN  (queue=['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)'])
    PASS  REGISTRY 2 writes  (writes=2 names=['maqom_machanayim', 'maqom_peniel'])

ALL SCENARIOS GREEN

Python rendering — the unit as a program

Generated from the frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_55_two_camps_wrestled_name.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_55_two_camps_wrestled_name — 32:1-33
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_55_two_camps_wrestled_name.yaml) is CANONICAL
# (Pre-Code); this file is a derived, runnable rendering. Do not edit —
# regenerate. The assertion block at the bottom is baked from the Stage D
# interpreter's actual final state: running this file re-proves the unit.
# Experimental model — not binding religious law.
# =============================================================================
"""The two camps, the gift, and the wrestled name (32:1-33)"""
from machine import Machine

m = Machine("gen_55_two_camps_wrestled_name")

# -------------------------- Gen.32.1 · THE_FAREWELL_KISS -------------------
# וַיַּשְׁכֵּם לָבָן בַּבֹּקֶר וַיְנַשֵּׁק לְבָנָיו וְלִבְנוֹתָיו וַיְבָרֶךְ
# אֶתְהֶם וַיֵּלֶךְ וַיָּשָׁב לָבָן לִמְקֹמוֹ
# "[EN-AID] And Laban rose early in the morning and kissed his sons and his
# daughters and blessed them; and Laban went and returned to his place."
m.step("Gen.32.1")
# ‹וַיַּשְׁכֵּם לָבָן בַּבֹּקֶר וַיְנַשֵּׁק› (“and-rise-early Laban in-
# morning and-kiss”) — fact holds: and-kiss-and-bless-and-return(Laban, to-
# me-meqomo)
m.fact("va_yenasheq_va_yevarekh_va_yashav(lavan, li_meqomo)")

# -------------------------- Gen.32.2 · THE_ANGEL_ENCOUNTER -----------------
# וְיַעֲקֹב הָלַךְ לְדַרְכּוֹ וַיִּפְגְּעוּ־בוֹ מַלְאֲכֵי אֱלֹהִים
# "[EN-AID] And Jacob went on his way, and messengers of God met him."
m.step("Gen.32.2")
# ‹וַיִּפְגְּעוּ־בוֹ מַלְאֲכֵי אֱלֹהִים› (“and-impinge in-him/its messenger
# God”) — fact holds: and-impinge-vo-messenger-God(Jacob, come/bring-derekh)
m.fact("va_yifgu_vo_malakhe_Elohim(yaaqov, ba_derekh)")

# -------------------------- Gen.32.3 · THE_DUAL_NAME -----------------------
# וַיֹּאמֶר יַעֲקֹב כַּאֲשֶׁר רָאָם מַחֲנֵה אֱלֹהִים זֶה וַיִּקְרָא
# שֵׁם־הַמָּקוֹם הַהוּא מַחֲנָיִם
# "[EN-AID] And Jacob said when he saw them: This is God's camp. And he
# called the name of that place Machanayim [Two Camps]."
m.step("Gen.32.3")
# ‹מַחֲנֵה אֱלֹהִים זֶה› (“camp God this”) — the world gains: place-Mahanaim
m.install("maqom_machanayim")
# ‹וַיִּקְרָא שֵׁם־הַמָּקוֹם הַהוּא מַחֲנָיִם› (“and-call name the-place
# that Mahanaim”) — named: place-Mahanaim := Mahanaim
m.name("maqom_machanayim", "machanayim")

# -------------------------- Gen.32.4 · THE_ENVOYS --------------------------
# וַיִּשְׁלַח יַעֲקֹב מַלְאָכִים לְפָנָיו אֶל־עֵשָׂו אָחִיו אַרְצָה שֵׂעִיר
# שְׂדֵה אֱדוֹם
# "[EN-AID] And Jacob sent messengers before him to Esau his brother, to the
# land of Seir, the field of Edom."
m.step("Gen.32.4")
# ‹וַיִּשְׁלַח יַעֲקֹב מַלְאָכִים לְפָנָיו› (“and-send Jacob messenger to-
# face-him/its”) — fact holds: and-send-messenger-to-Esau(Jacob, artza-Seir)
m.fact("va_yishlach_malakhim_el_esav(yaaqov, artza_seir)")

# -------------------------- Gen.32.5 · THE_SAY_INSTRUCTION -----------------
# וַיְצַו אֹתָם לֵאמֹר כֹּה תֹאמְרוּן לַאדֹנִי לְעֵשָׂו כֹּה אָמַר עַבְדְּךָ
# יַעֲקֹב עִם־לָבָן גַּרְתִּי וָאֵחַר עַד־עָתָּה
# "[EN-AID] And he commanded them, saying: Thus shall you say to my lord, to
# Esau: Thus said your servant Jacob: With Laban I have sojourned, and I
# have tarried until now."
m.step("Gen.32.5")
# ‹כֹּה תֹאמְרוּן לַאדֹנִי לְעֵשָׂו› (“like-this say-ward to-lord-me/my to-
# Esau”) — Jacob speaks a demand — LET?: tomrun(the-messenger, to-doni-to-
# Esau)
m.declare("yaaqov", "LET?",
          "tomrun(ha_malakhim, la_doni_le_esav)")

# -------------------------- Gen.32.6 · THE_INVENTORY_MESSAGE ---------------
# וַיְהִי־לִי שׁוֹר וַחֲמוֹר צֹאן וְעֶבֶד וְשִׁפְחָה וָאֶשְׁלְחָה לְהַגִּיד
# לַאדֹנִי לִמְצֹא־חֵן בְּעֵינֶיךָ
# "[EN-AID] And I have ox and donkey, flock and servant and maid; and I send
# to tell my lord, to find grace in your eyes."
m.step("Gen.32.6")
# ‹וַיְהִי־לִי שׁוֹר וַחֲמוֹר צֹאן וְעֶבֶד וְשִׁפְחָה› (“and-be to-me/my
# bullock and-male-ass flock and-servant and-female-slave”) — fact holds:
# and-be-to-me-bullock-and-male-ass(divre-the-shelichut)
m.fact("va_yehi_li_shor_va_chamor(divre_ha_shelichut)")

# -------------------------- Gen.32.7 · THE_FOUR_HUNDRED --------------------
# וַיָּשֻׁבוּ הַמַּלְאָכִים אֶל־יַעֲקֹב לֵאמֹר בָּאנוּ אֶל־אָחִיךָ
# אֶל־עֵשָׂו וְגַם הֹלֵךְ לִקְרָאתְךָ וְאַרְבַּע־מֵאוֹת אִישׁ עִמּוֹ
# "[EN-AID] And the messengers returned to Jacob, saying: We came to your
# brother, to Esau — and he also is coming to meet you, and four hundred men
# with him."
m.step("Gen.32.7")
# ‹בָּאנוּ אֶל־אָחִיךָ אֶל־עֵשָׂו› (“come/bring to brother-you/your to
# Esau”) — fact holds: come/bring-to-your-brother-and-four-hundred-
# man(report)
m.fact("banu_el_achikha_ve_arba_meot_ish(report)")

# -------------------------- Gen.32.8 · THE_SPLIT ---------------------------
# וַיִּירָא יַעֲקֹב מְאֹד וַיֵּצֶר לוֹ וַיַּחַץ אֶת־הָעָם אֲשֶׁר־אִתּוֹ
# וְאֶת־הַצֹּאן וְאֶת־הַבָּקָר וְהַגְּמַלִּים לִשְׁנֵי מַחֲנוֹת
# "[EN-AID] And Jacob feared greatly, and it distressed him; and he divided
# the people that were with him, and the flock and the herd and the camels,
# into two camps."
m.step("Gen.32.8")
# ‹וַיִּירָא יַעֲקֹב מְאֹד וַיֵּצֶר› (“and-fear Jacob very and-press”) —
# fact holds: and-fear-and-cut-to-me-shene-camp(Jacob)
m.fact("va_yira_va_yachatz_li_shene_machanot(yaaqov)")

# -------------------------- Gen.32.9 · THE_REMNANT_ARITHMETIC --------------
# וַיֹּאמֶר אִם־יָבוֹא עֵשָׂו אֶל־הַמַּחֲנֶה הָאַחַת וְהִכָּהוּ וְהָיָה
# הַמַּחֲנֶה הַנִּשְׁאָר לִפְלֵיטָה
# "[EN-AID] And he said: If Esau comes to the one camp and strikes it, the
# remaining camp will become a remnant."
m.step("Gen.32.9")
# ‹וְהָיָה הַמַּחֲנֶה הַנִּשְׁאָר לִפְלֵיטָה› (“and-be the-camp the-swell-up
# to-deliverance”) — fact holds: with-come/bring-and-hikahu-and-be-to-me-
# feleta(tokhnit)
m.fact("im_yavo_ve_hikahu_ve_haya_li_feleta(tokhnit)")

# -------------------------- Gen.32.10 · THE_REQUOTE_LADDER_OPENS -----------
# וַיֹּאמֶר יַעֲקֹב אֱלֹהֵי אָבִי אַבְרָהָם וֵאלֹהֵי אָבִי יִצְחָק יְהוָה
# הָאֹמֵר אֵלַי שׁוּב לְאַרְצְךָ וּלְמוֹלַדְתְּךָ וְאֵיטִיבָה עִמָּךְ
# "[EN-AID] And Jacob said: God of my father Abraham and God of my father
# Isaac, YHWH, who says to me: Return to your land and to your kindred, and
# I will do good with you."
m.step("Gen.32.10")
# ‹שׁוּב לְאַרְצְךָ וּלְמוֹלַדְתְּךָ וְאֵיטִיבָה עִמָּךְ› (“return to-earth-
# you/your and-to-nativity-you/your and-be-make-well with-you/your”) — fact
# holds: retell-return-to-artzekha-and-be-make-well(tefila, delta-x2)
m.fact("retell_shuv_le_artzekha_ve_etiva(tefila, delta_x2)")

# -------------------------- Gen.32.11 · THE_TOO_SMALL ----------------------
# קָטֹנְתִּי מִכֹּל הַחֲסָדִים וּמִכָּל־הָאֱמֶת אֲשֶׁר עָשִׂיתָ
# אֶת־עַבְדֶּךָ כִּי בְמַקְלִי עָבַרְתִּי אֶת־הַיַּרְדֵּן הַזֶּה וְעַתָּה
# הָיִיתִי לִשְׁנֵי מַחֲנוֹת
# "[EN-AID] I am too small for all the kindnesses and all the truth that You
# have done for Your servant; for with my staff I crossed this Jordan, and
# now I have become two camps."
m.step("Gen.32.11")
# ‹קָטֹנְתִּי מִכֹּל הַחֲסָדִים וּמִכָּל־הָאֱמֶת› (“diminish from-all the-
# kindness and-from-all the-stability”) — fact holds: diminish-who?-all-the-
# kindness(tefila)
m.fact("qatonti_mi_kol_ha_chasadim(tefila)")

# -------------------------- Gen.32.12 · THE_RESCUE_DEMAND ------------------
# הַצִּילֵנִי נָא מִיַּד אָחִי מִיַּד עֵשָׂו כִּי־יָרֵא אָנֹכִי אֹתוֹ
# פֶּן־יָבוֹא וְהִכַּנִי אֵם עַל־בָּנִים
# "[EN-AID] Rescue me, please, from the hand of my brother, from the hand of
# Esau; for I fear him, lest he come and strike me, mother upon children."
m.step("Gen.32.12")
# ‹הַצִּילֵנִי נָא מִיַּד אָחִי מִיַּד עֵשָׂו› (“snatch-away-me/my please
# from-hand brother-me/my from-hand Esau”) — Jacob speaks a demand — LET:
# hatzileni(the-LORD, who?-hand-Esau)
m.declare("yaaqov", "LET",
          "hatzileni(YHWH, mi_yad_esav)")

# -------------------------- Gen.32.13 · THE_UNSOURCED_DOUBLET --------------
# וְאַתָּה אָמַרְתָּ הֵיטֵב אֵיטִיב עִמָּךְ וְשַׂמְתִּי אֶת־זַרְעֲךָ כְּחוֹל
# הַיָּם אֲשֶׁר לֹא־יִסָּפֵר מֵרֹב
# "[EN-AID] And You said: Doing good I will do good with you, and I will
# make your seed as the sand of the sea, which cannot be counted for
# multitude."
m.step("Gen.32.13")
# ‹וְאַתָּה אָמַרְתָּ הֵיטֵב אֵיטִיב עִמָּךְ› (“and-you say do-well do-well
# with-you/your”) — fact holds: say-do-well-do-well-like-sand-the-
# seas(tefila, delta-x2)
m.fact("amarta_hetev_etiv_ke_chol_ha_yam(tefila, delta_x2)")

# -------------------------- Gen.32.14 · THE_GIFT_TAKEN ---------------------
# וַיָּלֶן שָׁם בַּלַּיְלָה הַהוּא וַיִּקַּח מִן־הַבָּא בְיָדוֹ מִנְחָה
# לְעֵשָׂו אָחִיו
# "[EN-AID] And he lodged there that night; and he took from what came to
# his hand a gift for Esau his brother."
m.step("Gen.32.14")
# ‹וַיִּקַּח מִן־הַבָּא בְיָדוֹ מִנְחָה לְעֵשָׂו אָחִיו› (“and-take from
# the-come/bring in-hand-him/its grain-offering to-Esau brother-him/its”) —
# fact holds: and-take-grain-offering-to-Esau(Jacob, from-the-come/bring-
# and-his-hand)
m.fact("va_yiqach_mincha_le_esav(yaaqov, min_ha_ba_ve_yado)")

# -------------------------- Gen.32.15 · THE_HERD_LIST_ONE ------------------
# עִזִּים מָאתַיִם וּתְיָשִׁים עֶשְׂרִים רְחֵלִים מָאתַיִם וְאֵילִים
# עֶשְׂרִים
# "[EN-AID] Two hundred she-goats and twenty he-goats, two hundred ewes and
# twenty rams,"
m.step("Gen.32.15")
# ‹עִזִּים מָאתַיִם וּתְיָשִׁים עֶשְׂרִים› (“she-goat hundred and-buck
# twenty”) — fact holds: she-goat-buck-ewe-ram(minchat-the-flock)
m.fact("izim_teyashim_rechelim_elim(minchat_ha_tzon)")

# -------------------------- Gen.32.16 · THE_HERD_LIST_TWO ------------------
# גְּמַלִּים מֵינִיקוֹת וּבְנֵיהֶם שְׁלֹשִׁים פָּרוֹת אַרְבָּעִים וּפָרִים
# עֲשָׂרָה אֲתֹנֹת עֶשְׂרִים וַעְיָרִם עֲשָׂרָה
# "[EN-AID] Thirty nursing camels with their young, forty cows and ten
# bulls, twenty she-donkeys and ten colts."
m.step("Gen.32.16")
# ‹גְּמַלִּים מֵינִיקוֹת וּבְנֵיהֶם שְׁלֹשִׁים› (“camel suck and-son-
# them/their thirty”) — fact holds: camel-cow-parim-female-donkey-young-
# ass(minchat-the-beemot)
m.fact("gemalim_parot_parim_atonot_eyarim(minchat_ha_beemot)")

# -------------------------- Gen.32.17 · THE_PASS_ORDER ---------------------
# וַיִּתֵּן בְּיַד־עֲבָדָיו עֵדֶר עֵדֶר לְבַדּוֹ וַיֹּאמֶר אֶל־עֲבָדָיו
# עִבְרוּ לְפָנַי וְרֶוַח תָּשִׂימוּ בֵּין עֵדֶר וּבֵין עֵדֶר
# "[EN-AID] And he gave them into the hand of his servants, drove by drove
# alone, and said to his servants: Pass over before me, and put a space
# between drove and drove."
m.step("Gen.32.17")
# ‹עִבְרוּ לְפָנַי› (“pass-over to-face-me/my”) — Jacob speaks a demand —
# LET: pass-over(avadav, to-fanai)
m.declare("yaaqov", "LET",
          "ivru(avadav, le_fanai)")
# ‹וְרֶוַח תָּשִׂימוּ בֵּין עֵדֶר וּבֵין עֵדֶר› (“and-room put/set between
# arrangement and-between arrangement”) — Jacob speaks a demand — LET?:
# put/set(room, between-arrangement-and-between-arrangement)
m.declare("yaaqov", "LET?",
          "tasimu(revach, ben_eder_u_ven_eder)")

# -------------------------- Gen.32.18 · THE_FIRST_WAVE_SCRIPT --------------
# וַיְצַו אֶת־הָרִאשׁוֹן לֵאמֹר כִּי יִפְגָּשְׁךָ עֵשָׂו אָחִי וִשְׁאֵלְךָ
# לֵאמֹר לְמִי־אַתָּה וְאָנָה תֵלֵךְ וּלְמִי אֵלֶּה לְפָנֶיךָ
# "[EN-AID] And he commanded the first, saying: When Esau my brother meets
# you and asks you, saying: Whose are you, and where do you go, and whose
# are these before you?"
m.step("Gen.32.18")
# ‹כִּי יִפְגָּשְׁךָ עֵשָׂו אָחִי וִשְׁאֵלְךָ› (“that come-in-contact-with-
# you/your Esau brother-me/my and-inquire-you/your”) — fact holds: that-
# yifgashkha-Esau-and-sheelkha(tzav-first)
m.fact("ki_yifgashkha_esav_u_sheelkha(tzav_rishon)")

# -------------------------- Gen.32.19 · THE_SCRIPTED_ANSWER ----------------
# וְאָמַרְתָּ לְעַבְדְּךָ לְיַעֲקֹב מִנְחָה הִוא שְׁלוּחָה לַאדֹנִי לְעֵשָׂו
# וְהִנֵּה גַם־הוּא אַחֲרֵינוּ
# "[EN-AID] Then you shall say: Your servant Jacob's — it is a gift sent to
# my lord, to Esau; and behold, he also is behind us."
m.step("Gen.32.19")
# ‹מִנְחָה הִוא שְׁלוּחָה לַאדֹנִי› (“grain-offering he/it send to-lord-
# me/my”) — fact holds: grain-offering-hi-send-and-behold-that-
# acharenu(maane)
m.fact("mincha_hi_shelucha_ve_hine_hu_acharenu(maane)")

# -------------------------- Gen.32.20 · THE_SECOND_SAY_CARD ----------------
# וַיְצַו גַּם אֶת־הַשֵּׁנִי גַּם אֶת־הַשְּׁלִישִׁי גַּם אֶת־כָּל־הַהֹלְכִים
# אַחֲרֵי הָעֲדָרִים לֵאמֹר כַּדָּבָר הַזֶּה תְּדַבְּרוּן אֶל־עֵשָׂו
# בְּמֹצַאֲכֶם אֹתוֹ
# "[EN-AID] And he commanded also the second, also the third, also all who
# walked behind the droves, saying: According to this word shall you speak
# to Esau when you find him."
m.step("Gen.32.20")
# ‹כַּדָּבָר הַזֶּה תְּדַבְּרוּן אֶל־עֵשָׂו בְּמֹצַאֲכֶם אֹתוֹ› (“like-
# word/thing the-this speak-ward to Esau in-find-you/your(pl) obj-marker-
# him/its”) — Jacob speaks a demand — LET?: tedabrun(all-the-walk/go, to-
# Esau)
m.declare("yaaqov", "LET?",
          "tedabrun(kol_ha_holkhim, el_esav)")

# -------------------------- Gen.32.21 · THE_ATONEMENT_VERB -----------------
# וַאֲמַרְתֶּם גַּם הִנֵּה עַבְדְּךָ יַעֲקֹב אַחֲרֵינוּ כִּי־אָמַר
# אֲכַפְּרָה פָנָיו בַּמִּנְחָה הַהֹלֶכֶת לְפָנָי וְאַחֲרֵי־כֵן אֶרְאֶה
# פָנָיו אוּלַי יִשָּׂא פָנָי
# "[EN-AID] And you shall say: Also, behold, your servant Jacob is behind
# us. For he said: Let me cover his face with the gift that walks before my
# face; and afterwards I will see his face — perhaps he will lift my face."
m.step("Gen.32.21")
# ‹אֲכַפְּרָה פָנָיו בַּמִּנְחָה הַהֹלֶכֶת לְפָנָי› (“atone face-him/its in-
# grain-offering the-walk/go to-face-me/my”) — fact holds: atone-fanav-
# come/bring-grain-offering(machshevet-Jacob)
m.fact("akhapra_fanav_ba_mincha(machshevet_yaaqov)")

# -------------------------- Gen.32.22 · THE_WRONG_SUBJECT_PASSES -----------
# וַתַּעֲבֹר הַמִּנְחָה עַל־פָּנָיו וְהוּא לָן בַּלַּיְלָה־הַהוּא
# בַּמַּחֲנֶה
# "[EN-AID] And the gift passed over before his face; and he lodged that
# night in the camp."
m.step("Gen.32.22")
# ‹וַתַּעֲבֹר הַמִּנְחָה עַל־פָּנָיו› (“and-pass-over the-grain-offering
# over face-him/its”) — fact holds: and-pass-over-the-grain-offering-over-
# panav(that-stop-come/bring-camp)
m.fact("va_taavor_ha_mincha_al_panav(hu_lan_ba_machane)")

# -------------------------- Gen.32.23 · THE_NIGHT_CROSSING -----------------
# וַיָּקָם בַּלַּיְלָה הוּא וַיִּקַּח אֶת־שְׁתֵּי נָשָׁיו וְאֶת־שְׁתֵּי
# שִׁפְחֹתָיו וְאֶת־אַחַד עָשָׂר יְלָדָיו וַיַּעֲבֹר אֵת מַעֲבַר יַבֹּק
# "[EN-AID] And he rose that night and took his two wives and his two maids
# and his eleven children, and crossed the ford of the Jabbok."
m.step("Gen.32.23")
# ‹וַיַּעֲבֹר אֵת מַעֲבַר יַבֹּק› (“and-pass-over obj-marker crossing-place
# Jabbok”) — fact holds: and-pass-over-obj-marker-crossing-place-
# Jabbok(night, one--teen-yeladav)
m.fact("va_yaavor_et_maavar_yaboq(ba_layla, achad_asar_yeladav)")

# -------------------------- Gen.32.24 · THE_FERRYING -----------------------
# וַיִּקָּחֵם וַיַּעֲבִרֵם אֶת־הַנָּחַל וַיַּעֲבֵר אֶת־אֲשֶׁר־לוֹ
# "[EN-AID] And he took them and crossed them over the stream, and crossed
# over what was his."
m.step("Gen.32.24")
# ‹וַיִּקָּחֵם וַיַּעֲבִרֵם אֶת־הַנָּחַל› (“and-take-them/their and-pass-
# over-them/their obj-marker the-river”) — fact holds: and-yaavirem-obj-
# marker-the-river(all-which-not)
m.fact("va_yaavirem_et_ha_nachal(kol_asher_lo)")

# -------------------------- Gen.32.25 · THE_ALONE_AND_THE_WRESTLE ----------
# וַיִּוָּתֵר יַעֲקֹב לְבַדּוֹ וַיֵּאָבֵק אִישׁ עִמּוֹ עַד עֲלוֹת הַשָּׁחַר
# "[EN-AID] And Jacob was left alone; and a man wrestled with him until the
# rising of the dawn."
m.step("Gen.32.25")
# ‹וַיֵּאָבֵק אִישׁ עִמּוֹ עַד עֲלוֹת הַשָּׁחַר› (“and-bedust man with-
# him/its until go-up the-dawn”) — fact holds: and-bedust-man-imo(Jacob-
# alone, until-go-up-the-dawn)
m.fact("va_yeaveq_ish_imo(yaaqov_levado, ad_alot_ha_shachar)")

# -------------------------- Gen.32.26 · THE_TOUCH --------------------------
# וַיַּרְא כִּי לֹא יָכֹל לוֹ וַיִּגַּע בְּכַף־יְרֵכוֹ וַתֵּקַע כַּף־יֶרֶךְ
# יַעֲקֹב בְּהֵאָבְקוֹ עִמּוֹ
# "[EN-AID] And he saw that he could not prevail against him, and he touched
# the socket of his thigh; and the socket of Jacob's thigh was wrenched as
# he wrestled with him."
m.step("Gen.32.26")
# ‹וַתֵּקַע כַּף־יֶרֶךְ יַעֲקֹב בְּהֵאָבְקוֹ עִמּוֹ› (“and-sever-oneself
# palm-of-hand thigh Jacob in-bedust-him/its with-him/its”) — fact holds:
# and-touch-in-palm-of-hand-yerekho(and-sever-oneself, in-heavqo)
m.fact("va_yiga_be_khaf_yerekho(va_teqa, be_heavqo)")

# -------------------------- Gen.32.27 · THE_WRESTLERS_SEND_ME --------------
# וַיֹּאמֶר שַׁלְּחֵנִי כִּי עָלָה הַשָּׁחַר וַיֹּאמֶר לֹא אֲשַׁלֵּחֲךָ כִּי
# אִם־בֵּרַכְתָּנִי
# "[EN-AID] And he said: Send me away, for the dawn has risen. And he said:
# I will not send you away unless you have blessed me."
m.step("Gen.32.27")
# ‹שַׁלְּחֵנִי כִּי עָלָה הַשָּׁחַר› (“send-me/my that go-up the-dawn”) —
# the-man speaks a demand — LET: shalcheni(Jacob)
m.declare("ha_ish", "LET",
          "shalcheni(yaaqov)")

# -------------------------- Gen.32.28 · THE_NAME_SURRENDERED ---------------
# וַיֹּאמֶר אֵלָיו מַה־שְּׁמֶךָ וַיֹּאמֶר יַעֲקֹב
# "[EN-AID] And he said to him: What is your name? And he said: Jacob."
m.step("Gen.32.28")
# ‹מַה־שְּׁמֶךָ וַיֹּאמֶר יַעֲקֹב› (“what name-you/your and-say Jacob”) —
# fact holds: what-shemekha-and-say-Jacob(the-man-shoel)
m.fact("ma_shemekha_va_yomer_yaaqov(ha_ish_shoel)")

# -------------------------- Gen.32.29 · THE_DECREE_THAT_WRITES_NOTHING -----
# וַיֹּאמֶר לֹא יַעֲקֹב יֵאָמֵר עוֹד שִׁמְךָ כִּי אִם־יִשְׂרָאֵל
# כִּי־שָׂרִיתָ עִם־אֱלֹהִים וְעִם־אֲנָשִׁים וַתּוּכָל
# "[EN-AID] And he said: No more Jacob shall your name be said, but Israel;
# for you have striven with God and with men, and have prevailed."
m.step("Gen.32.29")
# ‹לֹא יַעֲקֹב יֵאָמֵר עוֹד שִׁמְךָ כִּי אִם־יִשְׂרָאֵל› (“not Jacob say
# still/again name-you/your very-widely-used-as-a-relati as-demonstrative
# Israel”) — fact holds: not-Jacob-say-still/again-that-with-Israel(decree-
# fact)
m.fact("lo_yaaqov_yeamer_od_ki_im_yisrael(decree_fact)")

# -------------------------- Gen.32.30 · THE_NAME_REFUSED -------------------
# וַיִּשְׁאַל יַעֲקֹב וַיֹּאמֶר הַגִּידָה־נָּא שְׁמֶךָ וַיֹּאמֶר לָמָּה זֶּה
# תִּשְׁאַל לִשְׁמִי וַיְבָרֶךְ אֹתוֹ שָׁם
# "[EN-AID] And Jacob asked and said: Tell, please, your name. And he said:
# Why is it that you ask my name? And he blessed him there."
m.step("Gen.32.30")
# ‹הַגִּידָה־נָּא שְׁמֶךָ› (“tell-ward please name-you/your”) — Jacob speaks
# a demand — LET: hagida(the-man, obj-marker-shimkha)
m.declare("yaaqov", "LET",
          "hagida(ha_ish, et_shimkha)")

# -------------------------- Gen.32.31 · THE_FACE_AND_THE_WRONG_RESCUE ------
# וַיִּקְרָא יַעֲקֹב שֵׁם הַמָּקוֹם פְּנִיאֵל כִּי־רָאִיתִי אֱלֹהִים פָּנִים
# אֶל־פָּנִים וַתִּנָּצֵל נַפְשִׁי
# "[EN-AID] And Jacob called the name of the place Peniel: for I have seen
# God face to face, and my soul was delivered."
m.step("Gen.32.31")
# ‹וַיִּקְרָא יַעֲקֹב שֵׁם הַמָּקוֹם פְּנִיאֵל› (“and-call Jacob name the-
# place Peniel”) — the world gains: place-Peniel
m.install("maqom_peniel")
# ‹פְּנִיאֵל› (“Peniel”) — named: place-Peniel := Peniel
m.name("maqom_peniel", "peniel")

# -------------------------- Gen.32.32 · THE_SUNRISE_AND_THE_LIMP -----------
# וַיִּזְרַח־לוֹ הַשֶּׁמֶשׁ כַּאֲשֶׁר עָבַר אֶת־פְּנוּאֵל וְהוּא צֹלֵעַ
# עַל־יְרֵכוֹ
# "[EN-AID] And the sun rose upon him as he passed Penuel, and he was
# limping on his thigh."
m.step("Gen.32.32")
# ‹וַיִּזְרַח־לוֹ הַשֶּׁמֶשׁ› (“and-irradiate to-him/its the-sun”) — fact
# holds: and-irradiate-the-sun-and-that-limp(over-obj-marker-Peniel)
m.fact("va_yizrach_ha_shemesh_ve_hu_tzolea(over_et_penuel)")

# -------------------------- Gen.32.33 · THE_FIRST_NARRATOR_LAW -------------
# עַל־כֵּן לֹא־יֹאכְלוּ בְנֵי־יִשְׂרָאֵל אֶת־גִּיד הַנָּשֶׁה אֲשֶׁר עַל־כַּף
# הַיָּרֵךְ עַד הַיּוֹם הַזֶּה כִּי נָגַע בְּכַף־יֶרֶךְ יַעֲקֹב בְּגִיד
# הַנָּשֶׁה
# "[EN-AID] Therefore the children of Israel eat not the sinew of the thigh-
# vein which is upon the socket of the thigh, to this day; for he touched
# the socket of Jacob's thigh in the sinew of the thigh-vein."
m.step("Gen.32.33")
# ‹עַל־כֵּן לֹא־יֹאכְלוּ בְנֵי־יִשְׂרָאֵל אֶת־גִּיד הַנָּשֶׁה› (“over so not
# eat son Israel obj-marker thong the-rheumatic”) — pattern recorded: not-
# eat-bene-Israel-obj-marker-thong-the-rheumatic
m.pattern("lo_yokhlu_bene_yisrael_et_gid_ha_nashe")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'maqom_machanayim', 'maqom_peniel'}
    assert m.presupposed_set() == set()
    assert m.REGISTRY["names"] == {'maqom_machanayim': 'machanayim', 'maqom_peniel': 'peniel'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == []
    assert m.open_demands() == ['tomrun(ha_malakhim, la_doni_le_esav)', 'hatzileni(YHWH, mi_yad_esav)', 'ivru(avadav, le_fanai)', 'tasimu(revach, ben_eder_u_ven_eder)', 'tedabrun(kol_ha_holkhim, el_esav)', 'shalcheni(yaaqov)', 'hagida(ha_ish, et_shimkha)']
    assert len(m.SPECS["log"]) == 7
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['va_yenasheq_va_yevarekh_va_yashav(lavan, li_meqomo)', 'va_yifgu_vo_malakhe_Elohim(yaaqov, ba_derekh)', 'va_yishlach_malakhim_el_esav(yaaqov, artza_seir)', 'va_yehi_li_shor_va_chamor(divre_ha_shelichut)', 'banu_el_achikha_ve_arba_meot_ish(report)', 'va_yira_va_yachatz_li_shene_machanot(yaaqov)', 'im_yavo_ve_hikahu_ve_haya_li_feleta(tokhnit)', 'retell_shuv_le_artzekha_ve_etiva(tefila, delta_x2)', 'qatonti_mi_kol_ha_chasadim(tefila)', 'amarta_hetev_etiv_ke_chol_ha_yam(tefila, delta_x2)', 'va_yiqach_mincha_le_esav(yaaqov, min_ha_ba_ve_yado)', 'izim_teyashim_rechelim_elim(minchat_ha_tzon)', 'gemalim_parot_parim_atonot_eyarim(minchat_ha_beemot)', 'ki_yifgashkha_esav_u_sheelkha(tzav_rishon)', 'mincha_hi_shelucha_ve_hine_hu_acharenu(maane)', 'akhapra_fanav_ba_mincha(machshevet_yaaqov)', 'va_taavor_ha_mincha_al_panav(hu_lan_ba_machane)', 'va_yaavor_et_maavar_yaboq(ba_layla, achad_asar_yeladav)', 'va_yaavirem_et_ha_nachal(kol_asher_lo)', 'va_yeaveq_ish_imo(yaaqov_levado, ad_alot_ha_shachar)', 'va_yiga_be_khaf_yerekho(va_teqa, be_heavqo)', 'ma_shemekha_va_yomer_yaaqov(ha_ish_shoel)', 'lo_yaaqov_yeamer_od_ki_im_yisrael(decree_fact)', 'va_yizrach_ha_shemesh_ve_hu_tzolea(over_et_penuel)', 'pattern: lo_yokhlu_bene_yisrael_et_gid_ha_nashe'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 10
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

Rendered 2026-08-09 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.