Isaac's toledot: twins and the birthright (25:19-34) FROZEN

מִכְרָה כַיּוֹם אֶת־בְּכֹרָתְךָ · mikhra ka-yom et bekhorat-kha · 'Sell as of today your birthright'

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_43_isaac_twins_birthright — Isaac's toledot: twins and the birthright (25:19-34) [frozen]

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

=== S1 — after STEP_Gn_25_19 — toledot Isaac opens; SPECS empty
    תּוֹלְדֹת יִצְחָק (toldot yitzchaq)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_25_21 — entreat-pair + barren; SPECS empty
    וַיֶּעְתַּר … וַיֵּעָתֶר (va-yetar … va-yeater)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_25_22 — first inquire of YHWH; SPECS empty
    לִדְרֹשׁ אֶת־יְהוָה (li-derosh et-YHWH)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_25_23 — oracle decree-FACTS; piece-1 end
    וְרַב יַעֲבֹד צָעִיר (ve-rav yaavod tzair)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_25_25 — Esav NAME write; REGISTRY 1
    וַיִּקְרְאוּ שְׁמוֹ עֵשָׂו (va-yiqru shem-o esav)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 1 writes.  (writes=1 names=['esav'])

=== S6 — after STEP_Gn_25_26 — Yaaqov NAME write; REGISTRY 2
    וַיִּקְרָא שְׁמוֹ יַעֲקֹב (va-yiqra shem-o yaaqov)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

=== S7 — after STEP_Gn_25_28 — split loves ahav tok3–4; piece-2 end
    וַיֶּאֱהַב … אֹהֶבֶת (va-yeehav … ohevet)
    PASS  SPECS empty  (queue=0)
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

=== S8 — after STEP_Gn_25_30 — haliteni LIVE OPEN; Edom report no write
    הַלְעִיטֵנִי (halite-ni)
    PASS  LET(haliteni(min_ha_adom)) pushed and OPEN  (queue=['haliteni(min_ha_adom)'])
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

=== S9 — after STEP_Gn_25_31 — mikhra LIVE OPEN
    מִכְרָה כַיּוֹם (mikhra ka-yom)
    PASS  LET(haliteni(min_ha_adom)) pushed and OPEN  (queue=['haliteni(min_ha_adom)', 'mikhra(bekhorat_kha, ka_yom)'])
    PASS  LET(mikhra(bekhorat_kha, ka_yom)) pushed and OPEN  (queue=['haliteni(min_ha_adom)', 'mikhra(bekhorat_kha, ka_yom)'])
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

=== S10 — after STEP_Gn_25_33 — double pop swear+sell; gulp still OPEN
    וַיִּשָּׁבַע … וַיִּמְכֹּר (va-yishava … va-yimkor)
    PASS  LET(haliteni(min_ha_adom)) pushed and OPEN  (queue=['haliteni(min_ha_adom)'])
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

=== S11 — after STEP_Gn_25_34 — gulp residual; despise; unit end
    וַיִּבֶז עֵשָׂו אֶת־הַבְּכֹרָה (va-yivez esav et ha-bekhora)
    PASS  LET(haliteni(min_ha_adom)) pushed and OPEN  (queue=['haliteni(min_ha_adom)'])
    PASS  REGISTRY 2 writes.  (writes=2 names=['esav', 'yaaqov'])

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

#!/usr/bin/env python3
# =============================================================================
# gen_43_isaac_twins_birthright — 25:19-34
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_43_isaac_twins_birthright.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.
# =============================================================================
"""Isaac's toledot: twins and the birthright (25:19-34)"""
from machine import Machine

m = Machine("gen_43_isaac_twins_birthright")

# -------------------------- Gen.25.19 · THE_TOLEDOT_OF_ISAAC ---------------
# וְאֵ֛לֶּה תּוֹלְדֹ֥ת יִצְחָ֖ק בֶּן־אַבְרָהָ֑ם אַבְרָהָ֖ם הוֹלִ֥יד
# אֶת־יִצְחָֽק
# "[EN-AID] And these are the generations of Isaac, Abraham's son: Abraham
# begot Isaac."
m.step("Gen.25.19")
# ‹תּוֹלְדֹת יִצְחָק› (“generations Isaac”) — fact holds: generations-Isaac-
# section-header
m.fact("toledot_yitzchaq_section_header")

# -------------------------- Gen.25.20 · THE_MARRIAGE_AGE_AND_ORIGIN --------
# וַיְהִ֤י יִצְחָק֙ בֶּן־אַרְבָּעִ֣ים שָׁנָ֔ה בְּקַחְתּ֣וֹ אֶת־רִבְקָ֗ה
# בַּת־בְּתוּאֵל֙ הָֽאֲרַמִּ֔י מִפַּדַּ֖ן אֲרָ֑ם אֲח֛וֹת לָבָ֥ן הָאֲרַמִּ֖י
# ל֥וֹ לְאִשָּֽׁה
# "[EN-AID] And Isaac was forty years old when he took Rivqah, daughter of
# Betuel the Aramean of Padan-aram, sister of Laban the Aramean, as wife for
# himself."
m.step("Gen.25.20")
# ‹בֶּן־אַרְבָּעִים שָׁנָה … רִבְקָה … מִפַּדַּן אֲרָם› (“son forty years …
# Rebekah … from Padan”) — fact holds: Isaac-forty-takes-Rebekah-from-from-
# Padan
m.fact("yitzchaq_forty_takes_rivqa_from_padan_aram")

# -------------------------- Gen.25.21 · THE_ENTREAT_PAIR -------------------
# וַיֶּעְתַּ֨ר יִצְחָ֤ק לַֽיהוָה֙ לְנֹ֣כַח אִשְׁתּ֔וֹ כִּ֥י עֲקָרָ֖ה הִ֑וא
# וַיֵּעָ֤תֶר לוֹ֙ יְהוָ֔ה וַתַּ֖הַר רִבְקָ֥ה אִשְׁתּֽוֹ
# "[EN-AID] And Isaac entreated YHWH opposite his wife, for she was barren;
# and YHWH was entreated of him, and Rivqah his wife conceived."
m.step("Gen.25.21")
# ‹וַיֶּעְתַּר … וַיֵּעָתֶר … וַתַּהַר› (“and-burn-incense-in-worship … and-
# burn-incense-in-worship … and-be-pregnant”) — event: entreat-and-in-
# entreated — theme woman-him/its
m.event("entreat_and_be_entreated", themes=["isht-o"])

# -------------------------- Gen.25.22 · THE_STRUGGLE_AND_INQUIRE -----------
# וַיִּתְרֹֽצֲצ֤וּ הַבָּנִים֙ בְּקִרְבָּ֔הּ וַתֹּ֣אמֶר אִם־כֵּ֔ן לָ֥מָּה
# זֶּ֖ה אָנֹ֑כִי וַתֵּ֖לֶךְ לִדְרֹ֥שׁ אֶת־יְהוָֽה
# "[EN-AID] And the children struggled together within her; and she said: If
# it be so, why am I thus? And she went to inquire of YHWH."
m.step("Gen.25.22")
# ‹וַיִּתְרֹצֲצוּ … לִדְרֹשׁ אֶת־יְהוָה› (“and-crack-in-pieces … to-tread
# obj-marker YHWH”) — event: struggle-and-inquire
m.event("struggle_and_inquire")

# -------------------------- Gen.25.23 · THE_ORACLE_DECREE_FACTS ------------
# וַיֹּ֨אמֶר יְהוָ֜ה לָ֗הּ שְׁנֵ֤י גיים גוֹיִם֙ בְּבִטְנֵ֔ךְ וּשְׁנֵ֣י
# לְאֻמִּ֔ים מִמֵּעַ֖יִךְ יִפָּרֵ֑דוּ וּלְאֹם֙ מִלְאֹ֣ם יֶֽאֱמָ֔ץ וְרַ֖ב
# יַעֲבֹ֥ד צָעִֽיר
# "[EN-AID] And YHWH said to her: Two nations are in your womb, and two
# peoples shall be separated from your bowels; and one people shall be
# stronger than the other people; and the elder shall serve the younger."
m.step("Gen.25.23")
# ‹שְׁנֵי גוֹיִם … וְרַב יַעֲבֹד צָעִיר› (“two nation … and-many/great
# work/serve little”) — fact holds: oracle-two-nations-elder-serves-younger
m.fact("oracle_two_nations_elder_serves_younger")

# -------------------------- Gen.25.24 · THE_TWINS_IN_THE_WOMB --------------
# וַיִּמְלְא֥וּ יָמֶ֖יהָ לָלֶ֑דֶת וְהִנֵּ֥ה תוֹמִ֖ם בְּבִטְנָֽהּ
# "[EN-AID] And her days to give birth were filled; and behold, twins were
# in her womb."
m.step("Gen.25.24")
# ‹תוֹמִם בְּבִטְנָהּ› (“twin in-belly-her/its”) — event: birth-due — theme
# twin
m.event("birth_due", themes=["tomim"])

# -------------------------- Gen.25.25 · THE_ESAV_NAMING --------------------
# וַיֵּצֵ֤א הָרִאשׁוֹן֙ אַדְמוֹנִ֔י כֻּלּ֖וֹ כְּאַדֶּ֣רֶת שֵׂעָ֑ר
# וַיִּקְרְא֥וּ שְׁמ֖וֹ עֵשָֽׂו
# "[EN-AID] And the first came out reddish, all of him like a hairy mantle;
# and they called his name Esau."
m.step("Gen.25.25")
# ‹וַיֵּצֵא הָרִאשׁוֹן אַדְמוֹנִי … כְּאַדֶּרֶת שֵׂעָר› (“and-bring-forth
# the-first reddish … like-something-ample hair”) — event: birth-first —
# theme the-first
m.event("birth_first", themes=["ha_rishon"])
# ‹וַיִּקְרְאוּ שְׁמוֹ עֵשָׂו› (“and-call name-him/its Esau”) — named: Esau
# := Esau
m.name("esav", "esav")

# -------------------------- Gen.25.26 · THE_YAAQOV_NAMING ------------------
# וְאַֽחֲרֵי־כֵ֞ן יָצָ֣א אָחִ֗יו וְיָד֤וֹ אֹחֶ֨זֶת֙ בַּעֲקֵ֣ב עֵשָׂ֔ו
# וַיִּקְרָ֥א שְׁמ֖וֹ יַעֲקֹ֑ב וְיִצְחָ֛ק בֶּן־שִׁשִּׁ֥ים שָׁנָ֖ה בְּלֶ֥דֶת
# אֹתָֽם
# "[EN-AID] And after that his brother came out, and his hand was holding
# Esau's heel; and he called his name Jacob; and Isaac was sixty years old
# when she bore them."
m.step("Gen.25.26")
# ‹יָדוֹ אֹחֶזֶת בַּעֲקֵב עֵשָׂו› (“hand-him/its seize in-heel Esau”) —
# event: birth-second-heel — theme brother-him/its
m.event("birth_second_heel", themes=["achi_v"])
# ‹וַיִּקְרָא שְׁמוֹ יַעֲקֹב› (“and-call name-him/its Jacob”) — named: Jacob
# := Jacob
m.name("yaaqov", "yaaqov")

# -------------------------- Gen.25.27 · THE_TWO_MEN_GROW -------------------
# וַֽיִּגְדְּלוּ֙ הַנְּעָרִ֔ים וַיְהִ֣י עֵשָׂ֗ו אִ֛ישׁ יֹדֵ֥עַ צַ֖יִד אִ֣ישׁ
# שָׂדֶ֑ה וְיַעֲקֹב֙ אִ֣ישׁ תָּ֔ם יֹשֵׁ֖ב אֹהָלִֽים
# "[EN-AID] And the boys grew; and Esau was a man knowing hunting, a man of
# the field; and Jacob was a complete man, dwelling in tents."
m.step("Gen.25.27")
# ‹עֵשָׂו אִישׁ יֹדֵעַ צַיִד … יַעֲקֹב אִישׁ תָּם› (“Esau man know chase …
# Jacob man complete”) — fact holds: Esau-hunter-Jacob-man-complete
m.fact("esav_hunter_yaaqov_ish_tam")

# -------------------------- Gen.25.28 · THE_SPLIT_LOVES --------------------
# וַיֶּאֱהַ֥ב יִצְחָ֛ק אֶת־עֵשָׂ֖ו כִּי־צַ֣יִד בְּפִ֑יו וְרִבְקָ֖ה אֹהֶ֥בֶת
# אֶֽת־יַעֲקֹֽב
# "[EN-AID] And Isaac loved Esau because game was in his mouth; and Rivqah
# loved Jacob."
m.step("Gen.25.28")
# ‹וַיֶּאֱהַב יִצְחָק אֶת־עֵשָׂו … וְרִבְקָה אֹהֶבֶת אֶת־יַעֲקֹב› (“and-
# have-affection-for Isaac obj-marker Esau … and-Rebekah have-affection-for
# obj-marker Jacob”) — event: love-split
m.event("love_split")

# -------------------------- Gen.25.29 · THE_STEW_AND_THE_WEARY -------------
# וַיָּ֥זֶד יַעֲקֹ֖ב נָזִ֑יד וַיָּבֹ֥א עֵשָׂ֛ו מִן־הַשָּׂדֶ֖ה וְה֥וּא עָיֵֽף
# "[EN-AID] And Jacob boiled stew; and Esau came in from the field, and he
# was weary."
m.step("Gen.25.29")
# ‹וַיָּזֶד … נָזִיד … עָיֵף› (“and-seethe … something-boiled … languid”) —
# event: stew-and-arrive
m.event("stew_and_arrive")

# -------------------------- Gen.25.30 · THE_HALITENI_AND_EDOM_REPORT -------
# וַיֹּ֨אמֶר עֵשָׂ֜ו אֶֽל־יַעֲקֹ֗ב הַלְעִיטֵ֤נִי נָא֙ מִן־הָאָדֹ֤ם הָאָדֹם֙
# הַזֶּ֔ה כִּ֥י עָיֵ֖ף אָנֹ֑כִי עַל־כֵּ֥ן קָרָֽא־שְׁמ֖וֹ אֱדֽוֹם
# "[EN-AID] And Esau said to Jacob: Let me gulp, please, from this red, this
# red, for I am weary; therefore his name was called Edom."
m.step("Gen.25.30")
# ‹הַלְעִיטֵנִי נָא› (“swallow-greedily-me/my please”) — Esau speaks a
# demand — LET: haliteni(from-the-rosy)
m.declare("esav", "LET",
          "haliteni(min_ha_adom)")
# ‹עַל־כֵּן קָרָא־שְׁמוֹ אֱדוֹם› (“over so call name-him/its Edom”) — fact
# holds: over-so-call-shemo-Edom-report-only
m.fact("al_ken_qara_shemo_edom_report_only")

# -------------------------- Gen.25.31 · THE_MIKHRA_PUSH --------------------
# וַיֹּ֖אמֶר יַעֲקֹ֑ב מִכְרָ֥ה כַיּ֛וֹם אֶת־בְּכֹֽרָתְךָ֖ לִֽי
# "[EN-AID] And Jacob said: Sell me as of today your birthright."
m.step("Gen.25.31")
# ‹מִכְרָה כַיּוֹם אֶת־בְּכֹרָתְךָ לִי› (“sell-ward like-day obj-marker
# firstling-of-man-you/your to-me/my”) — Jacob speaks a demand — LET:
# mikhra(firstling-of-man-you/your, day)
m.declare("yaaqov", "LET",
          "mikhra(bekhorat_kha, ka_yom)")

# -------------------------- Gen.25.32 · THE_DISMISS_SPEECH -----------------
# וַיֹּ֣אמֶר עֵשָׂ֔ו הִנֵּ֛ה אָנֹכִ֥י הוֹלֵ֖ךְ לָמ֑וּת וְלָמָּה־זֶּ֥ה לִ֖י
# בְּכֹרָֽה
# "[EN-AID] And Esau said: Behold, I am going to die; and what is this
# birthright to me?"
m.step("Gen.25.32")
# ‹וְלָמָּה־זֶּה לִי בְּכֹרָה› (“and-to-what this to-me/my firstling-of-
# man”) — fact holds: Esau-dismisses-firstling-of-man-speech
m.fact("esav_dismisses_bekhora_speech")

# -------------------------- Gen.25.33 · THE_DOUBLE_POP_SWEAR_AND_SELL ------
# וַיֹּ֣אמֶר יַעֲקֹ֗ב הִשָּׁ֤בְעָה לִּי֙ כַּיּ֔וֹם וַיִּשָּׁבַ֖ע ל֑וֹ
# וַיִּמְכֹּ֥ר אֶת־בְּכֹרָת֖וֹ לְיַעֲקֹֽב
# "[EN-AID] And Jacob said: Swear to me as of today; and he swore to him;
# and he sold his birthright to Jacob."
m.step("Gen.25.33")
# ‹הִשָּׁבְעָה לִי כַּיּוֹם› (“swear-ward to-me/my like-day”) — Jacob speaks
# a demand — LET: hishava(to-me, day)
m.declare("yaaqov", "LET",
          "hishava(li, ka_yom)")
# ‹וַיִּשָּׁבַע לוֹ› (“and-swear to-him/its”) — demand settled (popped from
# the queue): hishava(to-me, day)
m.result("hishava(li, ka_yom)", tmark="t1")
# ‹וַיִּמְכֹּר אֶת־בְּכֹרָתוֹ לְיַעֲקֹב› (“and-sell obj-marker firstling-of-
# man-him/its to-Jacob”) — demand settled (popped from the queue):
# mikhra(firstling-of-man-you/your, day)
m.result("mikhra(bekhorat_kha, ka_yom)", tmark="t2")

# -------------------------- Gen.25.34 · THE_MEAL_AND_THE_DESPISE -----------
# וְיַעֲקֹ֞ב נָתַ֣ן לְעֵשָׂ֗ו לֶ֚חֶם וּנְזִ֣יד עֲדָשִׁ֔ים וַיֹּ֣אכַל
# וַיֵּ֔שְׁתְּ וַיָּ֖קָם וַיֵּלַ֑ךְ וַיִּ֥בֶז עֵשָׂ֖ו אֶת־הַבְּכֹרָֽה
# "[EN-AID] And Jacob gave Esau bread and lentil stew; and he ate and drank
# and rose and went; and Esau despised the birthright."
m.step("Gen.25.34")
# ‹וַיֹּאכַל וַיֵּשְׁתְּ וַיָּקָם וַיֵּלַךְ› (“and-eat and-drink and-arise
# and-go”) — event: ?
m.event("?")
# ‹וַיִּבֶז עֵשָׂו אֶת־הַבְּכֹרָה› (“and-disesteem Esau obj-marker the-
# firstling-of-man”) — event: ?
m.event("?")

# -------------------------- 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"] == {'esav': 'esav', 'yaaqov': 'yaaqov'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == []
    assert m.open_demands() == ['haliteni(min_ha_adom)']
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'named_before_any_presence': 2}
    assert sorted(m.WORLD["facts"]) == sorted(['toledot_yitzchaq_section_header', 'yitzchaq_forty_takes_rivqa_from_padan_aram', 'oracle_two_nations_elder_serves_younger', 'esav_hunter_yaaqov_ish_tam', 'al_ken_qara_shemo_edom_report_only', 'esav_dismisses_bekhora_speech'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 16
    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.