The return-command and the flight over the river (31:1-21) FROZEN

שׁוּב אֶל־אֶרֶץ אֲבוֹתֶיךָ · shuv el-eretz avotekha · 'Return to the land of your fathers'

Derivation log (steps A–J)

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

Scenarios (the unit's own test suite)

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

unit: gen_53_flight_over_the_river — The return-command and the flight over the river (31:1-21) [frozen]

final state: WORLD=[] (+0 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=[]

=== S1 — after STEP_Gn_31_1 — the sons' complaint; queue empty
    לָקַ֣ח יַעֲקֹ֔ב (laqach yaaqov)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_31_2 — the changed face; queue still empty
    וְהִנֵּ֥ה אֵינֶ֛נּוּ עִמּ֖וֹ כִּתְמ֥וֹל שִׁלְשֽׁוֹם (ve-hine enenu imo ki-temol shilshom)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_31_3 — the return-command pushed; depth 1
    שׁ֛וּב אֶל אֶ֥רֶץ אֲבוֹתֶ֖יךָ וּלְמוֹלַדְתֶּ֑ךָ (shuv el-eretz avotekha u-le-moladtekha)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_31_4 — Jacob sends for his wives; depth 1
    וַיִּשְׁלַ֣ח יַעֲקֹ֔ב וַיִּקְרָ֖א לְרָחֵ֣ל וּלְלֵאָ֑ה (va-yishlach yaaqov va-yiqra le-rachel u-le-lea)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_31_5 — the vow-condition declared true; depth 1
    וֵֽאלֹהֵ֣י אָבִ֔י הָיָ֖ה עִמָּדִֽי (ve-lohe avi haya imadi)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_31_6 — the strength ledger; depth 1
    כִּ֚י בְּכָל כֹּחִ֔י עָבַ֖דְתִּי אֶת (ki be-khal-kochi avadti et)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_31_7 — ten wage-changes filed; depth 1
    וַאֲבִיכֶן֙ הֵ֣תֶל בִּ֔י וְהֶחֱלִ֥ף אֶת מַשְׂכֻּרְתִּ֖י עֲשֶׂ֣רֶת מֹנִ֑ים (va-avikhen hetel bi ve-hechelif et-maskurti aseret monim)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_31_8 — the wage-flip rule; depth 1
    אִם כֹּ֣ה יֹאמַ֗ר נְקֻדִּים֙ יִהְיֶ֣ה שְׂכָרֶ֔ךָ (im-ko yomar nequdim yihye sekharekha)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_31_9 — the rescue-verb born; depth 1
    וַיַּצֵּ֧ל אֱלֹהִ֛ים אֶת מִקְנֵ֥ה אֲבִיכֶ֖ם וַיִּתֶּן לִֽי (va-yatzel Elohim et-miqne avikhem va-yiten-li)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_31_10 — the dream with the changed adjective; depth 1
    וָאֶשָּׂ֥א עֵינַ֛י וָאֵ֖רֶא בַּחֲל֑וֹם (va-esa enay va-ere ba-chalom)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_31_11 — the here-I-am; depth 1
    וָאֹמַ֖ר הִנֵּֽנִי (va-omar hineni)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_31_12 — retold imperatives fenced; depth 1
    שָׂא נָ֨א עֵינֶ֤יךָ וּרְאֵה֙ (sa-na enekha u-ree)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_31_13 — the God of Bethel reads the registry; depth 1
    אָנֹכִ֤י הָאֵל֙ בֵּֽית אֵ֔ל (anokhi ha-el bet-el)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_31_14 — the inheritance question; depth 1
    הַע֥וֹד לָ֛נוּ חֵ֥לֶק וְנַחֲלָ֖ה בְּבֵ֥ית אָבִֽינוּ (ha-od lanu cheleq ve-nachala be-vet avinu)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_31_15 — reckoned foreign, sold; depth 1
    הֲל֧וֹא נָכְרִיּ֛וֹת נֶחְשַׁ֥בְנוּ ל֖וֹ כִּ֣י מְכָרָ֑נוּ (ha-lo nakhriot nechshavnu lo ki mekharanu)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_31_16 — the wives' do-all demand; depth 2
    וְעַתָּ֗ה כֹּל֩ אֲשֶׁ֨ר אָמַ֧ר אֱלֹהִ֛ים אֵלֶ֖יךָ עֲשֵֽׂה (ve-ata kol asher amar Elohim elekha ase)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_31_17 — the rising; both cards hold; depth 2
    וַיָּ֖קָם יַעֲקֹ֑ב (va-yaqam yaaqov)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_31_18 — Abram's departure formula; depth 2
    לָב֛וֹא אֶל יִצְחָ֥ק אָבִ֖יו אַ֥רְצָה כְּנָֽעַן (la-vo el-yitzchaq aviv artzah kenaan)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_31_19 — Rachel steals the terafim; depth 2
    וַתִּגְנֹ֣ב רָחֵ֔ל אֶת הַתְּרָפִ֖ים אֲשֶׁ֥ר (va-tignov rachel et-ha-terafim asher)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_31_20 — the heart stolen; depth 2
    וַיִּגְנֹ֣ב יַעֲקֹ֔ב אֶת לֵ֥ב לָבָ֖ן הָאֲרַמִּ֑י (va-yignov yaaqov et-lev lavan ha-arami)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_31_21 — fled, over the river; both cards open at the wall
    וַיָּ֖קָם וַיַּעֲבֹ֣ר אֶת הַנָּהָ֑ר (va-yaqam va-yaavor et-ha-nahar)
    PASS  LET(shuv_eretz_avot(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  LET(ase_kol_asher_amar(yaaqov)) pushed and OPEN  (queue=['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)'])
    PASS  no test, no name.  (tests=0 names=0)

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_53_flight_over_the_river.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_53_flight_over_the_river — 31:1-21
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_53_flight_over_the_river.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 return-command and the flight over the river (31:1-21)"""
from machine import Machine

m = Machine("gen_53_flight_over_the_river")

# -------------------------- Gen.31.1 · THE_SONS_COMPLAINT ------------------
# וַיִּשְׁמַע אֶת־דִּבְרֵי בְנֵי־לָבָן לֵאמֹר לָקַח יַעֲקֹב אֵת כָּל־אֲשֶׁר
# לְאָבִינוּ וּמֵאֲשֶׁר לְאָבִינוּ עָשָׂה אֵת כָּל־הַכָּבֹד הַזֶּה
# "[EN-AID] And he heard the words of Laban's sons, saying: Jacob has taken
# all that was our father's, and from what was our father's he has made all
# this glory."
m.step("Gen.31.1")
# ‹וַיִּשְׁמַע אֶת־דִּבְרֵי בְנֵי־לָבָן לֵאמֹר› (“and-hear obj-marker
# word/thing son Laban to-say”) — fact holds: take-Jacob-all-which-to-
# avinu(word/thing-son-Laban)
m.fact("laqach_yaaqov_kol_asher_le_avinu(divre_vene_lavan)")

# -------------------------- Gen.31.2 · THE_CHANGED_FACE --------------------
# וַיַּרְא יַעֲקֹב אֶת־פְּנֵי לָבָן וְהִנֵּה אֵינֶנּוּ עִמּוֹ כִּתְמוֹל
# שִׁלְשׁוֹם
# "[EN-AID] And Jacob saw the face of Laban, and behold, it was not toward
# him as yesterday and the day before."
m.step("Gen.31.2")
# ‹וְהִנֵּה אֵינֶנּוּ עִמּוֹ כִּתְמוֹל שִׁלְשׁוֹם› (“and-behold there-is-
# not-him/its with-him/its like-ago trebly”) — fact holds: face-Laban-not-
# khi-temol-trebly(Jacob)
m.fact("pene_lavan_lo_khi_temol_shilshom(yaaqov)")

# -------------------------- Gen.31.3 · THE_RETURN_COMMAND ------------------
# וַיֹּאמֶר יְהוָה אֶל־יַעֲקֹב שׁוּב אֶל־אֶרֶץ אֲבוֹתֶיךָ וּלְמוֹלַדְתֶּךָ
# וְאֶהְיֶה עִמָּךְ
# "[EN-AID] And YHWH said to Jacob: Return to the land of your fathers and
# to your kindred, and I will be with you."
m.step("Gen.31.3")
# ‹שׁוּב אֶל־אֶרֶץ אֲבוֹתֶיךָ וּלְמוֹלַדְתֶּךָ› (“return to earth father-
# you/your and-to-nativity-you/your”) — the-LORD speaks a demand — LET:
# return-earth-avot(Jacob)
m.declare("YHWH", "LET",
          "shuv_eretz_avot(yaaqov)")

# -------------------------- Gen.31.4 · THE_FIELD_SUMMONS -------------------
# וַיִּשְׁלַח יַעֲקֹב וַיִּקְרָא לְרָחֵל וּלְלֵאָה הַשָּׂדֶה אֶל־צֹאנוֹ
# "[EN-AID] And Jacob sent and called Rachel and Leah to the field, to his
# flock."
m.step("Gen.31.4")
# ‹וַיִּשְׁלַח יַעֲקֹב וַיִּקְרָא לְרָחֵל וּלְלֵאָה› (“and-send Jacob and-
# call to-Rachel and-to-Leah”) — fact holds: qara-to-Rachel-and-to-leah(the-
# field)
m.fact("qara_le_rachel_u_le_leah(ha_sade)")

# -------------------------- Gen.31.5 · THE_CONDITION_DECLARED_TRUE ---------
# וַיֹּאמֶר לָהֶן רֹאֶה אָנֹכִי אֶת־פְּנֵי אֲבִיכֶן כִּי־אֵינֶנּוּ אֵלַי
# כִּתְמֹל שִׁלְשֹׁם וֵאלֹהֵי אָבִי הָיָה עִמָּדִי
# "[EN-AID] And he said to them: I see your father's face, that it is not
# toward me as yesterday and the day before; but the God of my father has
# been with me."
m.step("Gen.31.5")
# ‹וֵאלֹהֵי אָבִי הָיָה עִמָּדִי› (“and-God father-me/my be along-with-
# me/my”) — fact holds: elohe-avi-be-with-me(Jacob)
m.fact("elohe_avi_haya_imadi(yaaqov)")

# -------------------------- Gen.31.6 · THE_STRENGTH_LEDGER -----------------
# וְאַתֵּנָה יְדַעְתֶּן כִּי בְּכָל־כֹּחִי עָבַדְתִּי אֶת־אֲבִיכֶן
# "[EN-AID] And you know that with all my strength I have served your
# father."
m.step("Gen.31.6")
# ‹כִּי בְּכָל־כֹּחִי עָבַדְתִּי אֶת› (“that in-all vigor-me/my work/serve
# obj-marker”) — fact holds: in-all-kochi-work/serve(thou-and-thee)
m.fact("be_khol_kochi_avadti(atena)")

# -------------------------- Gen.31.7 · THE_TEN_CHANGES ---------------------
# וַאֲבִיכֶן הֵתֶל בִּי וְהֶחֱלִף אֶת־מַשְׂכֻּרְתִּי עֲשֶׂרֶת מֹנִים
# וְלֹא־נְתָנוֹ אֱלֹהִים לְהָרַע עִמָּדִי
# "[EN-AID] And your father has mocked me and changed my wages ten times;
# but God did not give him leave to harm me."
m.step("Gen.31.7")
# ‹וַאֲבִיכֶן הֵתֶל בִּי וְהֶחֱלִף אֶת־מַשְׂכֻּרְתִּי עֲשֶׂרֶת מֹנִים›
# (“and-father-ward deride in-me/my and-slide-by obj-marker wages-me/my ten
# something-weighed-out”) — fact holds: slide-by-maskurti-ten-something-
# weighed-out(Laban)
m.fact("hechelif_maskurti_aseret_monim(lavan)")

# -------------------------- Gen.31.8 · THE_WAGE_FLIP_RULE ------------------
# אִם־כֹּה יֹאמַר נְקֻדִּים יִהְיֶה שְׂכָרֶךָ וְיָלְדוּ כָל־הַצֹּאן
# נְקֻדִּים וְאִם־כֹּה יֹאמַר עֲקֻדִּים יִהְיֶה שְׂכָרֶךָ וְיָלְדוּ
# כָל־הַצֹּאן עֲקֻדִּים
# "[EN-AID] If he said thus: The speckled shall be your wage — then all the
# flock bore speckled; and if he said thus: The striped shall be your wage —
# then all the flock bore striped."
m.step("Gen.31.8")
# ‹אִם־כֹּה יֹאמַר נְקֻדִּים יִהְיֶה שְׂכָרֶךָ› (“if like-this say spotted
# be wage-you/your”) — fact holds: if-this-say-and-bear-young-so(sekharekha)
m.fact("im_ko_yomar_ve_yaldu_khen(sekharekha)")

# -------------------------- Gen.31.9 · THE_RESCUE_VERB_BORN ----------------
# וַיַּצֵּל אֱלֹהִים אֶת־מִקְנֵה אֲבִיכֶם וַיִּתֶּן־לִי
# "[EN-AID] And God has rescued your father's livestock and given it to me."
m.step("Gen.31.9")
# ‹וַיַּצֵּל אֱלֹהִים אֶת־מִקְנֵה אֲבִיכֶם וַיִּתֶּן־לִי› (“and-snatch-away
# God obj-marker something-bought father-you/your(pl) and-set to-me/my”) —
# fact holds: and-snatch-away-God-and-set-to-me(something-bought)
m.fact("va_yatzel_Elohim_va_yiten_li(miqne)")

# -------------------------- Gen.31.10 · THE_DREAM_AND_THE_CHANGED_ADJECTIVE -
# וַיְהִי בְּעֵת יַחֵם הַצֹּאן וָאֶשָּׂא עֵינַי וָאֵרֶא בַּחֲלוֹם וְהִנֵּה
# הָעַתֻּדִים הָעֹלִים עַל־הַצֹּאן עֲקֻדִּים נְקֻדִּים וּבְרֻדִּים
# "[EN-AID] And it was at the time the flock conceived, that I lifted my
# eyes and saw in a dream: and behold, the he-goats going up on the flock
# were striped, speckled, and mottled."
m.step("Gen.31.10")
# ‹וָאֶשָּׂא עֵינַי וָאֵרֶא בַּחֲלוֹם› (“and-lift/carry eye-me/my and-see
# in-dream”) — fact holds: and-see-in-the-chalom-prepared(go-up)
m.fact("va_ere_ba_chalom_atudim(olim)")

# -------------------------- Gen.31.11 · THE_HINENI -------------------------
# וַיֹּאמֶר אֵלַי מַלְאַךְ הָאֱלֹהִים בַּחֲלוֹם יַעֲקֹב וָאֹמַר הִנֵּנִי
# "[EN-AID] And the angel of God said to me in the dream: Jacob. And I said:
# Here I am."
m.step("Gen.31.11")
# ‹וָאֹמַר הִנֵּנִי› (“and-say behold-me/my”) — fact holds: behold-I(Jacob)
m.fact("hineni(yaaqov)")

# -------------------------- Gen.31.12 · THE_RETOLD_LIFT_YOUR_EYES ----------
# וַיֹּאמֶר שָׂא־נָא עֵינֶיךָ וּרְאֵה כָּל־הָעַתֻּדִים הָעֹלִים עַל־הַצֹּאן
# עֲקֻדִּים נְקֻדִּים וּבְרֻדִּים כִּי רָאִיתִי אֵת כָּל־אֲשֶׁר לָבָן עֹשֶׂה
# לָּךְ
# "[EN-AID] And he said: Lift now your eyes and see: all the he-goats going
# up on the flock are striped, speckled, and mottled; for I have seen all
# that Laban is doing to you."
m.step("Gen.31.12")
# ‹שָׂא־נָא עֵינֶיךָ וּרְאֵה› (“lift/carry please eye-you/your and-see”) —
# fact holds: retold-lift/carry-enekha-and-see(dream)
m.fact("retold_sa_enekha_u_ree(ba_chalom)")

# -------------------------- Gen.31.13 · THE_SELF_NAME_BY_THE_REGISTRY ------
# אָנֹכִי הָאֵל בֵּית־אֵל אֲשֶׁר מָשַׁחְתָּ שָּׁם מַצֵּבָה אֲשֶׁר נָדַרְתָּ
# לִּי שָׁם נֶדֶר עַתָּה קוּם צֵא מִן־הָאָרֶץ הַזֹּאת וְשׁוּב אֶל־אֶרֶץ
# מוֹלַדְתֶּךָ
# "[EN-AID] I am the God of Bethel, where you anointed a pillar, where you
# vowed to Me a vow. Now arise, go out from this land, and return to the
# land of your kindred."
m.step("Gen.31.13")
# ‹אָנֹכִי הָאֵל בֵּית־אֵל אֲשֶׁר מָשַׁחְתָּ שָּׁם מַצֵּבָה אֲשֶׁר נָדַרְתָּ
# לִּי שָׁם נֶדֶר› (“the-strength Beth-el which rub-with-oil there pillar
# which promise to-me/my there promise”) — fact holds: anokhi-the-to-bet-
# to(rub-with-oil-pillar-promise-promise)
m.fact("anokhi_ha_el_bet_el(mashachta_matzeva_nadarta_neder)")

# -------------------------- Gen.31.14 · THE_INHERITANCE_QUESTION -----------
# וַתַּעַן רָחֵל וְלֵאָה וַתֹּאמַרְנָה לוֹ הַעוֹד לָנוּ חֵלֶק וְנַחֲלָה
# בְּבֵית אָבִינוּ
# "[EN-AID] And Rachel and Leah answered and said to him: Have we still a
# portion and an inheritance in our father's house?"
m.step("Gen.31.14")
# ‹הַעוֹד לָנוּ חֵלֶק וְנַחֲלָה בְּבֵית אָבִינוּ› (“the-still/again to-
# us/our smoothness and-inheritance in-house father-us/our”) — fact holds:
# the-still/again-lanu-smoothness-and-inheritance(Rachel-and-leah)
m.fact("ha_od_lanu_cheleq_ve_nachala(rachel_ve_leah)")

# -------------------------- Gen.31.15 · THE_SOLD_DAUGHTERS -----------------
# הֲלוֹא נָכְרִיּוֹת נֶחְשַׁבְנוּ לוֹ כִּי מְכָרָנוּ וַיֹּאכַל גַּם־אָכוֹל
# אֶת־כַּסְפֵּנוּ
# "[EN-AID] Are we not reckoned foreign women to him? For he has sold us,
# and has utterly devoured our silver."
m.step("Gen.31.15")
# ‹הֲלוֹא נָכְרִיּוֹת נֶחְשַׁבְנוּ לוֹ כִּי מְכָרָנוּ› (“is-it-not strange
# plait to-him/its that sell-us/our”) — fact holds: nokhriot-plait-that-
# mekharanu(lahen)
m.fact("nokhriot_nechshavnu_ki_mekharanu(lahen)")

# -------------------------- Gen.31.16 · THE_DO_ALL_DEMAND ------------------
# כִּי כָל־הָעֹשֶׁר אֲשֶׁר הִצִּיל אֱלֹהִים מֵאָבִינוּ לָנוּ הוּא
# וּלְבָנֵינוּ וְעַתָּה כֹּל אֲשֶׁר אָמַר אֱלֹהִים אֵלֶיךָ עֲשֵׂה
# "[EN-AID] For all the wealth which God has rescued from our father — it is
# ours and our children's. And now, all that God has said to you — do."
m.step("Gen.31.16")
# ‹וְעַתָּה כֹּל אֲשֶׁר אָמַר אֱלֹהִים אֵלֶיךָ עֲשֵׂה› (“and-now all which
# say God to-you/your make”) — Rachel-and-leah speaks a demand — LET: make-
# all-which-say(Jacob)
m.declare("rachel_ve_leah", "LET",
          "ase_kol_asher_amar(yaaqov)")

# -------------------------- Gen.31.17 · THE_RISING -------------------------
# וַיָּקָם יַעֲקֹב וַיִּשָּׂא אֶת־בָּנָיו וְאֶת־נָשָׁיו עַל־הַגְּמַלִּים
# "[EN-AID] And Jacob arose, and lifted his sons and his wives onto the
# camels."
m.step("Gen.31.17")
# ‹וַיָּקָם יַעֲקֹב› (“and-arise Jacob”) — fact holds: and-arise-and-
# lift/carry(Jacob)
m.fact("va_yaqam_va_yisa(yaaqov)")

# -------------------------- Gen.31.18 · THE_ABRAM_FORMULA ------------------
# וַיִּנְהַג אֶת־כָּל־מִקְנֵהוּ וְאֶת־כָּל־רְכֻשׁוֹ אֲשֶׁר רָכָשׁ מִקְנֵה
# קִנְיָנוֹ אֲשֶׁר רָכַשׁ בְּפַדַּן אֲרָם לָבוֹא אֶל־יִצְחָק אָבִיו אַרְצָה
# כְּנָעַן
# "[EN-AID] And he drove all his livestock and all his property which he had
# acquired — the livestock of his getting, which he acquired in Paddan-Aram
# — to come to Isaac his father, to the land of Canaan."
m.step("Gen.31.18")
# ‹וַיִּנְהַג אֶת־כָּל־מִקְנֵהוּ וְאֶת־כָּל־רְכֻשׁוֹ› (“and-drive-forth obj-
# marker all something-bought-him/its and-obj-marker all property-him/its”)
# — fact holds: and-drive-forth-something-bought-rekhush(to-come/bring-to-
# Isaac)
m.fact("va_yinhag_miqne_rekhush(la_vo_el_yitzchaq)")

# -------------------------- Gen.31.19 · THE_SHEARING_AND_THE_THEFT ---------
# וְלָבָן הָלַךְ לִגְזֹז אֶת־צֹאנוֹ וַתִּגְנֹב רָחֵל אֶת־הַתְּרָפִים אֲשֶׁר
# לְאָבִיהָ
# "[EN-AID] And Laban had gone to shear his flock; and Rachel stole the
# terafim that were her father's."
m.step("Gen.31.19")
# ‹וַתִּגְנֹב רָחֵל אֶת־הַתְּרָפִים אֲשֶׁר› (“and-steal Rachel obj-marker
# the-Teraphim-a-family-idol which”) — fact holds: and-steal-Rachel-
# Teraphim-a-family-idol(Laban-gozez)
m.fact("va_tignov_rachel_terafim(lavan_gozez)")

# -------------------------- Gen.31.20 · THE_HEART_THEFT --------------------
# וַיִּגְנֹב יַעֲקֹב אֶת־לֵב לָבָן הָאֲרַמִּי עַל־בְּלִי הִגִּיד לוֹ כִּי
# בֹרֵחַ הוּא
# "[EN-AID] And Jacob stole the heart of Laban the Aramean, in that he did
# not tell him that he was fleeing."
m.step("Gen.31.20")
# ‹וַיִּגְנֹב יַעֲקֹב אֶת־לֵב לָבָן הָאֲרַמִּי› (“and-steal Jacob obj-marker
# heart Laban the-Aramite”) — fact holds: and-steal-Jacob-heart-Laban(the-
# Aramite)
m.fact("va_yignov_yaaqov_lev_lavan(ha_arami)")

# -------------------------- Gen.31.21 · THE_FLIGHT_AND_THE_RIVER -----------
# וַיִּבְרַח הוּא וְכָל־אֲשֶׁר־לוֹ וַיָּקָם וַיַּעֲבֹר אֶת־הַנָּהָר
# וַיָּשֶׂם אֶת־פָּנָיו הַר הַגִּלְעָד
# "[EN-AID] And he fled, he and all that was his; and he arose and crossed
# the river, and set his face toward the mountain of Gilead."
m.step("Gen.31.21")
# ‹וַיִּבְרַח הוּא וְכָל־אֲשֶׁר־לוֹ וַיָּקָם וַיַּעֲבֹר אֶת־הַנָּהָר› (“and-
# bolt he/it and-all which to-him/its and-arise and-pass-over obj-marker
# the-river”) — fact holds: and-bolt-and-pass-over-the-river(panav-mountain-
# the-Gilead)
m.fact("va_yivrach_va_yaavor_ha_nahar(panav_har_ha_gilad)")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == set()
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['shuv_eretz_avot(yaaqov)', 'ase_kol_asher_amar(yaaqov)']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['laqach_yaaqov_kol_asher_le_avinu(divre_vene_lavan)', 'pene_lavan_lo_khi_temol_shilshom(yaaqov)', 'qara_le_rachel_u_le_leah(ha_sade)', 'elohe_avi_haya_imadi(yaaqov)', 'be_khol_kochi_avadti(atena)', 'hechelif_maskurti_aseret_monim(lavan)', 'im_ko_yomar_ve_yaldu_khen(sekharekha)', 'va_yatzel_Elohim_va_yiten_li(miqne)', 'va_ere_ba_chalom_atudim(olim)', 'hineni(yaaqov)', 'retold_sa_enekha_u_ree(ba_chalom)', 'anokhi_ha_el_bet_el(mashachta_matzeva_nadarta_neder)', 'ha_od_lanu_cheleq_ve_nachala(rachel_ve_leah)', 'nokhriot_nechshavnu_ki_mekharanu(lahen)', 'va_yaqam_va_yisa(yaaqov)', 'va_yinhag_miqne_rekhush(la_vo_el_yitzchaq)', 'va_tignov_rachel_terafim(lavan_gozez)', 'va_yignov_yaaqov_lev_lavan(ha_arami)', 'va_yivrach_va_yaavor_ha_nahar(panav_har_ha_gilad)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 2
    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.