Wells, namings, covenant swear, Shibah, Esau's wives (26:17-35) FROZEN

וַיִּקְרָא שֵׁם־הַבְּאֵר עֵשֶׂק · va-yiqra shem ha-beer eseq · 'And he called the name of the well Esek'

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_45_wells_covenant_esau_wives — Wells, namings, covenant swear, Shibah, Esau's wives (26:17-35) [frozen]

final state: WORLD=['basmat', 'beeri', 'elon', 'yehudit'] (+5 presupposed) | REGISTRY={'beer_eseq': 'eseq', 'beer_sitna': 'sitna', 'beer_rechovot': 'rechovot', 'beer_shiva': 'shiva'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'named_before_any_presence', 'named_before_any_presence', 'named_before_any_presence', 'read_before_install', 'read_before_install', 'read_before_install', 'named_before_any_presence']

=== S1 — after STEP_Gn_26_17 — lekh deed across wall; SPECS empty
    וַיֵּלֶךְ מִשָּׁם יִצְחָק (va-yelekh mi-sham yitzchaq)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_26_18 — redig restore-names; still no registry write
    וַיִּקְרָא לָהֶן שֵׁמוֹת (va-yiqra la-hen shemot)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_26_20 — first well NAME eseq
    עֵשֶׂק (eseq)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY: beer_eseq->eseq (1 write)  (names={'beer_eseq': 'eseq'} writes=1)

=== S4 — after STEP_Gn_26_21 — second well NAME sitna
    שִׂטְנָה (sitna)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY: beer_eseq->eseq, beer_sitna->sitna (2 writes)  (names={'beer_eseq': 'eseq', 'beer_sitna': 'sitna'} writes=2)

=== S5 — after STEP_Gn_26_22 — third NAME; REGISTRY 3 writes; piece-1 end
    רְחֹבוֹת (rechovot)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S6 — after STEP_Gn_26_24 — al-tira LET-NOT OPEN; REGISTRY still 3
    אַל־תִּירָא (al tira)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)'])
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S7 — after STEP_Gn_26_25 — invocation not NAME; dig karah; SPECS one OPEN
    וַיִּקְרָא בְּשֵׁם יְהוָה (va-yiqra be-shem YHWH)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)'])
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S8 — after STEP_Gn_26_28 — covenant volitives OPEN; piece-2 end
    וְנִכְרְתָה בְרִית (ve-nikhreta verit)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  LET(tehi(ala_between_us)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  CMD-US?(nikhreta(berit_im_kha)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S9 — after STEP_Gn_26_29 — oath-content FACT; three SPECS still OPEN
    אִם־תַּעֲשֵׂה עִמָּנוּ רָעָה (im taase ima-nu raa)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  LET(tehi(ala_between_us)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  CMD-US?(nikhreta(berit_im_kha)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S10 — after STEP_Gn_26_31 — swear other-verb; both volitives still OPEN
    וַיִּשָּׁבְעוּ אִישׁ לְאָחִיו (va-yishavu ish le-achi-v)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  LET(tehi(ala_between_us)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  CMD-US?(nikhreta(berit_im_kha)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  REGISTRY 3 writes  (writes=3 names=['beer_eseq', 'beer_rechovot', 'beer_sitna'])

=== S11 — after STEP_Gn_26_33 — fourth NAME Shibah; REGISTRY 4 writes
    שִׁבְעָה (shiva)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  LET(tehi(ala_between_us)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  CMD-US?(nikhreta(berit_im_kha)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  REGISTRY 4 writes  (writes=4 names=['beer_eseq', 'beer_rechovot', 'beer_shiva', 'beer_sitna'])

=== S12 — after STEP_Gn_26_35 — unit end; REGISTRY 4; SPECS three OPEN
    מֹרַת רוּחַ (morat rucha)
    PASS  LET-NOT(tira(yitzchaq)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  LET(tehi(ala_between_us)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  CMD-US?(nikhreta(berit_im_kha)) pushed and OPEN  (queue=['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)'])
    PASS  REGISTRY 4 writes  (writes=4 names=['beer_eseq', 'beer_rechovot', 'beer_shiva', 'beer_sitna'])

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

#!/usr/bin/env python3
# =============================================================================
# gen_45_wells_covenant_esau_wives — 26:17-35
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_45_wells_covenant_esau_wives.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.
# =============================================================================
"""Wells, namings, covenant swear, Shibah, Esau's wives (26:17-35)"""
from machine import Machine

m = Machine("gen_45_wells_covenant_esau_wives")

# -------------------------- Gen.26.17 · THE_LEKH_DEED_ACROSS_THE_WALL ------
# וַיֵּ֥לֶךְ מִשָּׁ֖ם יִצְחָ֑ק וַיִּ֥חַן בְּֽנַחַל־גְּרָ֖ר וַיֵּ֥שֶׁב שָֽׁם
# "[EN-AID] And Isaac went from there and encamped in the wadi of Gerar, and
# dwelt there."
m.step("Gen.26.17")
# ‹וַיֵּלֶךְ מִשָּׁם יִצְחָק› (“and-go from-there Isaac”) — event: ?
m.event("?")
# ‹וַיִּחַן בְּנַחַל־גְּרָר וַיֵּשֶׁב שָׁם› (“and-encamp in-river Gerar and-
# dwell/sit there”) — event: ?
m.event("?")
# ‹יִצְחָק … גְּרָר› (“Isaac … Gerar”) — reads without prior install (flag,
# not fix): Isaac, Gerar
m.presupposed("yitzchaq", "gerar")

# -------------------------- Gen.26.18 · THE_REDIG_AND_THE_RESTORED_NAMES ---
# וַיָּ֨שָׁב יִצְחָ֜ק וַיַּחְפֹּ֣ר אֶת־בְּאֵרֹ֣ת הַמַּ֗יִם אֲשֶׁ֤ר חָֽפְרוּ֙
# בִּימֵי֙ אַבְרָהָ֣ם אָבִ֔יו וַיְסַתְּמ֣וּם פְּלִשְׁתִּ֔ים אַחֲרֵ֖י מ֣וֹת
# אַבְרָהָ֑ם וַיִּקְרָ֤א לָהֶן֙ שֵׁמ֔וֹת כַּשֵּׁמֹ֕ת אֲשֶׁר־קָרָ֥א לָהֶ֖ן
# אָבִֽיו
# "[EN-AID] And Isaac dug again the wells of water that they had dug in the
# days of Abraham his father, which the Philistines had stopped up after
# Abraham's death; and he called them names like the names his father had
# called them."
m.step("Gen.26.18")
# ‹וַיָּשָׁב … וַיַּחְפֹּר אֶת־בְּאֵרֹת הַמַּיִם› (“and-return … and-dig
# obj-marker pit the-waters”) — event: redig-wells — agent Isaac; theme pit-
# Abraham
m.event("redig_wells", agent="yitzchaq", themes=["beerot_avraham"])
# ‹וַיִּקְרָא לָהֶן שֵׁמוֹת כַּשֵּׁמוֹת אֲשֶׁר־קָרָא לָהֶן אָבִיו› (“and-
# call to-them/their name like-the-names which call to-them/their father-
# him/its”) — event: ?
m.event("?")

# -------------------------- Gen.26.19 · THE_WELL_OF_LIVING_WATER -----------
# וַיַּחְפְּר֥וּ עַבְדֵֽי־יִצְחָ֖ק בַּנָּ֑חַל וַיִּ֨מְצְאוּ־שָׁ֔ם בְּאֵ֖ר
# מַ֥יִם חַיִּֽים
# "[EN-AID] And Isaac's servants dug in the wadi and found there a well of
# living water."
m.step("Gen.26.19")
# ‹וַיַּחְפְּרוּ … וַיִּמְצְאוּ … בְּאֵר מַיִם חַיִּים› (“and-dig … and-find
# … pit waters living”) — event: dig-and-find — agent servant-Isaac; theme
# pit-waters-living
m.event("dig_and_find", agent="avde_yitzchaq", themes=["beer_mayim_chayim"])

# -------------------------- Gen.26.20 · THE_QUARREL_AND_THE_NAME_ESEK ------
# וַיָּרִ֜יבוּ רֹעֵ֣י גְרָ֗ר עִם־רֹעֵ֥י יִצְחָ֛ק לֵאמֹ֖ר לָ֣נוּ הַמָּ֑יִם
# וַיִּקְרָ֤א שֵֽׁם־הַבְּאֵר֙ עֵ֔שֶׂק כִּ֥י הִֽתְעַשְּׂק֖וּ עִמּֽוֹ
# "[EN-AID] And the herdsmen of Gerar quarreled with Isaac's herdsmen,
# saying: The water is ours. And he called the name of the well Esek,
# because they contended with him."
m.step("Gen.26.20")
# ‹וַיָּרִיבוּ רֹעֵי גְרָר עִם־רֹעֵי יִצְחָק› (“and-toss pastoral Gerar with
# pastoral Isaac”) — event: quarrel — agent pastoral-Gerar
m.event("quarrel", agent="roe_gerar")
# ‹וַיִּקְרָא שֵׁם־הַבְּאֵר עֵשֶׂק› (“and-call name the-pit Esek”) — named:
# pit-Esek := Esek
m.name("beer_eseq", "eseq")

# -------------------------- Gen.26.21 · THE_SECOND_WELL_SITNAH -------------
# וַֽיַּחְפְּרוּ֙ בְּאֵ֣ר אַחֶ֔רֶת וַיָּרִ֖יבוּ גַּם־עָלֶ֑יהָ וַיִּקְרָ֥א
# שְׁמָ֖הּ שִׂטְנָֽה
# "[EN-AID] And they dug another well, and they quarreled over it too; and
# he called its name Sitnah."
m.step("Gen.26.21")
# ‹וַיַּחְפְּרוּ בְּאֵר אַחֶרֶת וַיָּרִיבוּ גַּם־עָלֶיהָ› (“and-dig pit
# other and-toss also over-her/its”) — event: dig-and-quarrel — theme pit-
# other
m.event("dig_and_quarrel", themes=["beer_acheret"])
# ‹וַיִּקְרָא שְׁמָהּ שִׂטְנָה› (“and-call name-her/its Sitnah”) — named:
# pit-Sitnah := Sitnah
m.name("beer_sitna", "sitna")

# -------------------------- Gen.26.22 · THE_THIRD_WELL_REHOBOTH ------------
# וַיַּעְתֵּ֣ק מִשָּׁ֗ם וַיַּחְפֹּר֙ בְּאֵ֣ר אַחֶ֔רֶת וְלֹ֥א רָב֖וּ עָלֶ֑יהָ
# וַיִּקְרָ֤א שְׁמָהּ֙ רְחֹב֔וֹת וַיֹּ֗אמֶר כִּֽי־עַתָּ֞ה הִרְחִ֧יב יְהוָ֛ה
# לָ֖נוּ וּפָרִ֥ינוּ בָאָֽרֶץ
# "[EN-AID] And he moved from there and dug another well, and they did not
# quarrel over it; and he called its name Rehoboth, and he said: For now
# YHWH has made room for us, and we shall be fruitful in the land."
m.step("Gen.26.22")
# ‹וַיַּעְתֵּק … וַיַּחְפֹּר … וְלֹא רָבוּ› (“and-moved-on … and-dig … and-
# not toss”) — event: move-dig-no-quarrel — agent Isaac
m.event("move_dig_no_quarrel", agent="yitzchaq")
# ‹וַיִּקְרָא שְׁמָהּ רְחֹבוֹת› (“and-call name-her/its Rehoboth”) — named:
# pit-Rehoboth := Rehoboth
m.name("beer_rechovot", "rechovot")
# ‹כִּי־עַתָּה הִרְחִיב יְהוָה לָנוּ וּפָרִינוּ בָאָרֶץ› (“that now broaden
# YHWH to-us/our and-be-fruitful in-earth”) — fact holds: broaden-the-LORD-
# to-us/our-and-be-fruitful
m.fact("hirchiv_YHWH_la_nu_u_farinu")

# -------------------------- Gen.26.23 · THE_ASCENT_TO_BEER_SHEBA -----------
# וַיַּ֥עַל מִשָּׁ֖ם בְּאֵ֥ר שָֽׁבַע
# "[EN-AID] And he went up from there to Beer-sheba."
m.step("Gen.26.23")
# ‹וַיַּעַל מִשָּׁם בְּאֵר שָׁבַע› (“and-go-up from-there Beer-shebah”) —
# event: go-up — agent Isaac
m.event("go_up", agent="yitzchaq")

# -------------------------- Gen.26.24 · THE_NIGHT_WORD_AND_AL_TIRA ---------
# וַיֵּרָ֨א אֵלָ֤יו יְהוָה֙ בַּלַּ֣יְלָה הַה֔וּא וַיֹּ֕אמֶר אָנֹכִ֕י
# אֱלֹהֵ֖י אַבְרָהָ֣ם אָבִ֑יךָ אַל־תִּירָא֙ כִּֽי־אִתְּךָ֣ אָנֹ֔כִי
# וּבֵֽרַכְתִּ֨יךָ֙ וְהִרְבֵּיתִ֣י אֶֽת־זַרְעֲךָ֔ בַּעֲב֖וּר אַבְרָהָ֥ם
# עַבְדִּֽי
# "[EN-AID] And YHWH appeared to him that night and said: I am the God of
# Abraham your father; do not fear, for I am with you, and I will bless you
# and multiply your seed for the sake of Abraham My servant."
m.step("Gen.26.24")
# ‹וַיֵּרָא אֵלָיו יְהוָה בַּלַּיְלָה הַהוּא וַיֹּאמֶר› (“and-see to-him/its
# YHWH in-night that and-say”) — event: appear-night — agent the-LORD
m.event("appear_night", agent="YHWH")
# ‹אָנֹכִי אֱלֹהֵי אַבְרָהָם אָבִיךָ› (“God Abraham father-you/your”) — fact
# holds: anokhi-God-Abraham-avi-kha
m.fact("anokhi_elohe_avraham_avi_kha")
# ‹אַל־תִּירָא› (“do-not fear”) — the-LORD speaks a demand — LET-NOT:
# fear(Isaac)
m.declare("YHWH", "LET-NOT",
          "tira(yitzchaq)")
# ‹כִּי־אִתְּךָ אָנֹכִי וּבֵרַכְתִּיךָ וְהִרְבֵּיתִי אֶת־זַרְעֲךָ› (“that
# with-you/your and-bless-you/your and-multiply obj-marker seed-you/your”) —
# fact holds: obj-marker-kha-anokhi-and-verakhti-and-multiply
m.fact("et_kha_anokhi_u_verakhti_ve_hirbeti")

# -------------------------- Gen.26.25 · THE_ALTAR_INVOCATION_AND_KARAH_DIG -
# וַיִּ֧בֶן שָׁ֣ם מִזְבֵּ֗חַ וַיִּקְרָא֙ בְּשֵׁ֣ם יְהוָ֔ה וַיֶּט־שָׁ֖ם
# אָהֳל֑וֹ וַיִּכְרוּ־שָׁ֥ם עַבְדֵי־יִצְחָ֖ק בְּאֵֽר
# "[EN-AID] And he built an altar there and called on the name of YHWH, and
# pitched his tent there; and Isaac's servants dug a well there."
m.step("Gen.26.25")
# ‹וַיִּבֶן שָׁם מִזְבֵּחַ … וַיֶּט שָׁם אָהֳלוֹ› (“and-build there altar …
# and-stretch there tent-him/its”) — event: ?
m.event("?")
# ‹וַיִּקְרָא בְּשֵׁם יְהוָה› (“and-call in-name YHWH”) — event: ?
m.event("?")
# ‹וַיִּכְרוּ שָׁם עַבְדֵי יִצְחָק בְּאֵר› (“and-dig there servant Isaac
# pit”) — event: ?
m.event("?")

# -------------------------- Gen.26.26 · THE_VISITORS_FROM_GERAR ------------
# וַאֲבִימֶ֕לֶךְ הָלַ֥ךְ אֵלָ֖יו מִגְּרָ֑ר וַאֲחֻזַּת֙ מֵרֵעֵ֔הוּ וּפִיכֹ֖ל
# שַׂר־צְבָאֽוֹ
# "[EN-AID] And Abimelech went to him from Gerar, with Achuzzath his friend
# and Phichol the commander of his army."
m.step("Gen.26.26")
# ‹וַאֲבִימֶלֶךְ הָלַךְ אֵלָיו מִגְּרָר› (“and-Abimelech walk/go to-him/its
# from-Gerar”) — event: visit — agent Abimelech
m.event("visit", agent="avimelekh")
# ‹אֲחֻזַּת … פִיכֹל› (“something-seized … Pikhol”) — reads without prior
# install (flag, not fix): Ahuzzath, Phichol, merea
m.presupposed("achuzat", "fikhol", "merea")

# -------------------------- Gen.26.27 · THE_WHY_HAVE_YOU_COME --------------
# וַיֹּ֤אמֶר אֲלֵהֶם֙ יִצְחָ֔ק מַדּ֖וּעַ בָּאתֶ֣ם אֵלָ֑י וְאַתֶּם֙
# שְׂנֵאתֶ֣ם אֹתִ֔י וַתְּשַׁלְּח֖וּנִי מֵאִתְּכֶֽם
# "[EN-AID] And Isaac said to them: Why have you come to me, seeing you hate
# me and have sent me away from you?"
m.step("Gen.26.27")
# ‹וַיֹּאמֶר … מַדּוּעַ בָּאתֶם› (“and-say … what-known? come/bring”) —
# event: say — agent Isaac
m.event("say", agent="yitzchaq")

# -------------------------- Gen.26.28 · THE_COVENANT_VOLITIVES -------------
# וַיֹּאמְר֗וּ רָא֣וֹ רָאִינוּ֮ כִּֽי־הָיָ֣ה יְהוָ֣ה ׀ עִמָּךְ֒ וַנֹּ֗אמֶר
# תְּהִ֨י נָ֥א אָלָ֛ה בֵּינוֹתֵ֖ינוּ בֵּינֵ֣ינוּ וּבֵינֶ֑ךָ וְנִכְרְתָ֥ה
# בְרִ֖ית עִמָּֽךְ
# "[EN-AID] And they said: We have surely seen that YHWH is with you; and we
# said: Let there be an oath between us, between us and you, and let us cut
# a covenant with you."
m.step("Gen.26.28")
# ‹רָאוֹ רָאִינוּ כִּי־הָיָה יְהוָה עִמָּךְ› (“see see that be YHWH with-
# you/your”) — fact holds: see-see-the-LORD-ima-kha
m.fact("rao_rainu_YHWH_ima_kha")
# ‹תְּהִי נָא אָלָה בֵּינוֹתֵינוּ› (“be please imprecation between-us/our”)
# — Abimelech-party speaks a demand — LET: be(imprecation-between-us)
m.declare("avimelekh_party", "LET",
          "tehi(ala_between_us)")
# ‹וְנִכְרְתָה בְרִית עִמָּךְ› (“and-cut covenant with-her/its”) —
# Abimelech-party speaks a demand — CMD-US?: nikhreta(berit-with-kha)
m.declare("avimelekh_party", "CMD-US?",
          "nikhreta(berit_im_kha)")

# -------------------------- Gen.26.29 · THE_OATH_CONTENT_TERMS -------------
# אִם־תַּעֲשֵׂ֨ה עִמָּ֜נוּ רָעָ֗ה כַּאֲשֶׁר֙ לֹ֣א נְגַֽעֲנ֔וּךָ וְכַאֲשֶׁ֨ר
# עָשִׂ֤ינוּ עִמְּךָ֙ רַק־ט֔וֹב וַנְּשַׁלֵּֽחֲךָ֖ בְּשָׁל֑וֹם אַתָּ֥ה
# עַתָּ֖ה בְּר֥וּךְ יְהוָֽה
# "[EN-AID] that you will do us no harm, as we have not touched you and as
# we have done with you only good and have sent you away in peace; you are
# now the blessed of YHWH."
m.step("Gen.26.29")
# ‹אִם־תַּעֲשֵׂה עִמָּנוּ רָעָה …› (“if make with-us/our bad”) — fact holds:
# with-make-ima-us/our-bad-oath-content
m.fact("im_taase_ima_nu_raa_oath_content")
# ‹אַתָּה עַתָּה בְּרוּךְ יְהוָה› (“you now bless YHWH”) — fact holds: now-
# now-bless-the-LORD
m.fact("ata_ata_berukh_YHWH")

# -------------------------- Gen.26.30 · THE_FEAST --------------------------
# וַיַּ֤עַשׂ לָהֶם֙ מִשְׁתֶּ֔ה וַיֹּאכְל֖וּ וַיִּשְׁתּֽוּ
# "[EN-AID] And he made them a feast, and they ate and drank."
m.step("Gen.26.30")
# ‹וַיַּעַשׂ … מִשְׁתֶּה וַיֹּאכְלוּ וַיִּשְׁתּוּ› (“and-make … drink and-
# eat and-drink”) — event: feast-eat-drink — agent Isaac-and-guests
m.event("feast_eat_drink", agent="yitzchaq_and_guests")

# -------------------------- Gen.26.31 · THE_SWEAR_OTHER_VERB_CENTERPIECE ---
# וַיַּשְׁכִּ֣ימוּ בַבֹּ֔קֶר וַיִּשָּׁבְע֖וּ אִ֣ישׁ לְאָחִ֑יו וַיְשַׁלְּחֵ֣ם
# יִצְחָ֔ק וַיֵּלְכ֥וּ מֵאִתּ֖וֹ בְּשָׁלֽוֹם
# "[EN-AID] And they rose early in the morning and swore each to his
# brother; and Isaac sent them away, and they went from him in peace."
m.step("Gen.26.31")
# ‹וַיַּשְׁכִּימוּ … וַיִּשָּׁבְעוּ אִישׁ לְאָחִיו› (“and-rise-early … and-
# swear man to-brother-him/its”) — event: ?
m.event("?")
# ‹וַיִּשָּׁבְעוּ ≠ תְּהִי / נִכְרְתָה› (“and-swear be cut”) — fact holds:
# other-verb-non-pop-be-and-nikhreta
m.fact("other_verb_non_pop_tehi_and_nikhreta")
# ‹וַיְשַׁלְּחֵם יִצְחָק וַיֵּלְכוּ … בְּשָׁלוֹם› (“and-send-them/their
# Isaac and-go … in-safe”) — event: ?
m.event("?")

# -------------------------- Gen.26.32 · THE_WELL_FOUND_REPORT --------------
# וַיְהִ֣י ׀ בַּיּ֣וֹם הַה֗וּא וַיָּבֹ֨אוּ֙ עַבְדֵ֣י יִצְחָ֔ק וַיַּגִּ֣דוּ
# לוֹ֔ עַל־אֹד֥וֹת הַבְּאֵ֖ר אֲשֶׁ֣ר חָפָ֑רוּ וַיֹּ֥אמְרוּ ל֖וֹ מָצָ֥אנוּ
# מָֽיִם
# "[EN-AID] And it came to pass the same day that Isaac's servants came and
# told him about the well that they had dug, and said to him: We have found
# water."
m.step("Gen.26.32")
# ‹וַיַּגִּדוּ … מָצָאנוּ מָיִם› (“and-tell … find waters”) — event: report-
# well-found — agent servant-Isaac
m.event("report_well_found", agent="avde_yitzchaq")

# -------------------------- Gen.26.33 · THE_NAME_SHIBAH_AND_THE_CITY_ETIOLOGY -
# וַיִּקְרָ֥א אֹתָ֖הּ שִׁבְעָ֑ה עַל־כֵּ֤ן שֵׁם־הָעִיר֙ בְּאֵ֣ר שֶׁ֔בַע עַ֖ד
# הַיּ֥וֹם הַזֶּֽה
# "[EN-AID] And he called it Shibah; therefore the name of the city is Beer-
# sheba to this day."
m.step("Gen.26.33")
# ‹וַיִּקְרָא אֹתָהּ שִׁבְעָה› (“and-call obj-marker-her/its Shebah”) —
# named: pit-Shebah := Shebah
m.name("beer_shiva", "shiva")
# ‹עַל־כֵּן שֵׁם הָעִיר בְּאֵר שֶׁבַע עַד הַיּוֹם הַזֶּה› (“over so name
# the-city Beer-shebah until the-day the-this”) — fact holds: over-so-name-
# the-city-pit-Beer-shebah
m.fact("al_ken_shem_ha_ir_beer_sheva")

# -------------------------- Gen.26.34 · ESAU_TAKES_TWO_HITTITE_WIVES -------
# וַיְהִ֤י עֵשָׂו֙ בֶּן־אַרְבָּעִ֣ים שָׁנָ֔ה וַיִּקַּ֤ח אִשָּׁה֙
# אֶת־יְהוּדִ֔ית בַּת־בְּאֵרִ֖י הַֽחִתִּ֑י וְאֶת־בָּ֣שְׂמַ֔ת בַּת־אֵילֹ֖ן
# הַֽחִתִּֽי
# "[EN-AID] And when Esau was forty years old he took as wife Judith
# daughter of Beeri the Hittite, and Basemath daughter of Elon the Hittite."
m.step("Gen.26.34")
# ‹עֵשָׂו בֶּן־אַרְבָּעִים שָׁנָה› (“Esau son forty years”) — fact holds:
# Esau-son-forty-years
m.fact("esav_ben_arbaim_shana")
# ‹וַיִּקַּח אִשָּׁה אֶת־יְהוּדִית … וְאֶת־בָּשְׂמַת› (“and-take woman obj-
# marker Judith … and-obj-marker Bashemath”) — event: take-wives — agent
# Esau
m.event("take_wives", agent="esav")
# ‹יְהוּדִית … בָּשְׂמַת … בְּאֵרִי … אֵילוֹן› (“Judith … Bashemath … Beeri
# … Elon”) — the world gains: Judith, Bashemath, Beeri, Elon
m.install("yehudit", "basmat", "beeri", "elon")

# -------------------------- Gen.26.35 · BITTERNESS_OF_SPIRIT ---------------
# וַתִּהְיֶ֖יןָ מֹ֣רַת ר֑וּחַ לְיִצְחָ֖ק וּלְרִבְקָֽה
# "[EN-AID] And they were a bitterness of spirit to Isaac and to Rivqah."
m.step("Gen.26.35")
# ‹מֹרַת רוּחַ לְיִצְחָק וּלְרִבְקָה› (“bitterness spirit to-Isaac and-to-
# Rebekah”) — fact holds: bitterness-spirit-wind-to-Isaac-and-to-rivqah
m.fact("morat_ruach_le_yitzchaq_u_le_rivqah")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'yehudit', 'elon', 'basmat', 'beeri'}
    assert m.presupposed_set() == {'yitzchaq', 'achuzat', 'gerar', 'fikhol', 'merea'}
    assert m.REGISTRY["names"] == {'beer_eseq': 'eseq', 'beer_sitna': 'sitna', 'beer_rechovot': 'rechovot', 'beer_shiva': 'shiva'}
    assert m.REGISTRY["writes"] == 4
    assert m.tests_list() == []
    assert m.open_demands() == ['tira(yitzchaq)', 'tehi(ala_between_us)', 'nikhreta(berit_im_kha)']
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 5, 'named_before_any_presence': 4}
    assert sorted(m.WORLD["facts"]) == sorted(['hirchiv_YHWH_la_nu_u_farinu', 'anokhi_elohe_avraham_avi_kha', 'et_kha_anokhi_u_verakhti_ve_hirbeti', 'rao_rainu_YHWH_ima_kha', 'im_taase_ima_nu_raa_oath_content', 'ata_ata_berukh_YHWH', 'other_verb_non_pop_tehi_and_nikhreta', 'al_ken_shem_ha_ir_beer_sheva', 'esav_ben_arbaim_shana', 'morat_ruach_le_yitzchaq_u_le_rivqah'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 27
    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.