Esau is Edom: the ledger of chiefs and kings (36:1-43) FROZEN

וְאֵלֶּה הַמְּלָכִים אֲשֶׁר מָלְכוּ בְּאֶרֶץ אֱדוֹם · ve-ele ha-melakhim asher malkhu be-eretz edom · 'And these are the kings who reigned in the land of Edom'

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_59_esau_edom_kings_ledger — Esau is Edom: the ledger of chiefs and kings (36:1-43) [frozen]

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

=== S1 — after STEP_Gn_36_1 — the first header; queue empty
    וְאֵ֛לֶּה תֹּלְד֥וֹת עֵשָׂ֖ו (ve-ele toldot esav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — after STEP_Gn_36_2 — the Canaan wives; queue empty
    עֵשָׂ֛ו לָקַ֥ח אֶת נָשָׁ֖יו (esav laqach et-nashav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S3 — after STEP_Gn_36_3 — the Ishmael wife; queue empty
    וְאֶת בָּשְׂמַ֥ת בַּת (ve-et-basmat bat)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S4 — after STEP_Gn_36_4 — Elifaz and Reuel born; queue empty
    וַתֵּ֧לֶד עָדָ֛ה לְעֵשָׂ֖ו אֶת (va-teled ada le-esav et)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S5 — after STEP_Gn_36_5 — the Canaan-born close; queue empty
    וְאָהֳלִֽיבָמָה֙ יָֽלְדָ֔ה (ve-aholivama yalda)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — after STEP_Gn_36_6 — the withdrawal from before Jacob; queue empty
    וַיֵּ֣לֶךְ אֶל אֶ֔רֶץ מִפְּנֵ֖י יַעֲקֹ֥ב (va-yelekh el-eretz mi-pene yaaqov)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — after STEP_Gn_36_7 — the land could not bear them; queue empty
    כִּֽי הָיָ֧ה רְכוּשָׁ֛ם רָ֖ב (ki-haya rekhusham rav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S8 — after STEP_Gn_36_8 — Seir settled; queue empty
    וַיֵּ֤שֶׁב עֵשָׂו֙ בְּהַ֣ר שֵׂעִ֔יר (va-yeshev esav be-har seir)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S9 — after STEP_Gn_36_9 — the second header; queue empty
    וְאֵ֛לֶּה תֹּלְד֥וֹת עֵשָׂ֖ו אֲבִ֣י (ve-ele toldot esav avi)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S10 — after STEP_Gn_36_10 — the sons named, none written; queue empty
    אֵ֖לֶּה שְׁמ֣וֹת בְּנֵֽי עֵשָׂ֑ו (ele shemot bene-esav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S11 — after STEP_Gn_36_11 — Teman and Kenaz debut; queue empty
    וַיִּהְי֖וּ בְּנֵ֣י אֱלִיפָ֑ז (va-yihyu bene elifaz)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S12 — after STEP_Gn_36_12 — Amalek born of Timna; queue empty
    וְתִמְנַ֣ע הָיְתָ֣ה פִילֶ֗גֶשׁ לֶֽאֱלִיפַז֙ (ve-timna hayta filegesh le-elifaz)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S13 — after STEP_Gn_36_13 — Reuel's four; queue empty
    וְאֵ֨לֶּה֙ בְּנֵ֣י רְעוּאֵ֔ל (ve-ele bene reuel)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S14 — after STEP_Gn_36_14 — Aholivamah's three; queue empty
    וְאֵ֣לֶּה הָי֗וּ בְּנֵ֨י אָהֳלִיבָמָ֧ה (ve-ele hayu bene aholivama)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S15 — after STEP_Gn_36_15 — the chief-title minted; queue empty
    אֵ֖לֶּה אַלּוּפֵ֣י בְנֵֽי (ele alufe vene)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S16 — after STEP_Gn_36_16 — Amalek titled; queue empty
    אַלּֽוּף קֹ֛רַח אַלּ֥וּף (aluf-qorach aluf)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S17 — after STEP_Gn_36_17 — Reuel's chiefs; queue empty
    וְאֵ֗לֶּה בְּנֵ֤י רְעוּאֵל֙ בֶּן עֵשָׂ֔ו אַלּ֥וּף (ve-ele bene reuel ben-esav aluf)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S18 — after STEP_Gn_36_18 — Aholivamah's chiefs; queue empty
    וְאֵ֗לֶּה בְּנֵ֤י אָהֳלִֽיבָמָה֙ אֵ֣שֶׁת עֵשָׂ֔ו (ve-ele bene aholivama eshet esav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S19 — after STEP_Gn_36_19 — the son-ledger seals; queue empty
    אֵ֧לֶּה בְנֵי (ele vene)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S20 — after STEP_Gn_36_20 — the Horites enter; queue empty
    אֵ֤לֶּה בְנֵֽי שֵׂעִיר֙ הַחֹרִ֔י (ele vene-seir ha-chori)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S21 — after STEP_Gn_36_21 — the Horite seven; queue empty
    וְדִשׁ֥וֹן וְאֵ֖צֶר וְדִישָׁ֑ן (ve-dishon ve-etzer ve-dishan)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S22 — after STEP_Gn_36_22 — Timna the sister; queue empty
    וַאֲח֥וֹת לוֹטָ֖ן תִּמְנָֽע (va-achot lotan timna)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S23 — after STEP_Gn_36_23 — Shoval's five; queue empty
    וְאֵ֨לֶּה֙ בְּנֵ֣י שׁוֹבָ֔ל (ve-ele bene shoval)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S24 — after STEP_Gn_36_24 — the yemim found; queue empty
    ה֣וּא עֲנָ֗ה אֲשֶׁ֨ר מָצָ֤א (hu ana asher matza)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S25 — after STEP_Gn_36_25 — Ana's two; queue empty
    וְאֵ֥לֶּה בְנֵֽי עֲנָ֖ה (ve-ele vene-ana)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S26 — after STEP_Gn_36_26 — Dishan's four; queue empty
    וְאֵ֖לֶּה בְּנֵ֣י דִישָׁ֑ן (ve-ele bene dishan)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S27 — after STEP_Gn_36_27 — Etzer's three; queue empty
    אֵ֖לֶּה בְּנֵי אֵ֑צֶר (ele bene-etzer)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S28 — after STEP_Gn_36_28 — Dishan's two; queue empty
    אֵ֥לֶּה בְנֵֽי דִישָׁ֖ן (ele vene-dishan)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S29 — after STEP_Gn_36_29 — the Horite chiefs; queue empty
    אֵ֖לֶּה אַלּוּפֵ֣י הַחֹרִ֑י (ele alufe ha-chori)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S30 — after STEP_Gn_36_30 — the Horite ledger seals; queue empty
    אַלּ֥וּף דִּשֹׁ֛ן (aluf dishon)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S31 — after STEP_Gn_36_31 — the kings before the kings; queue empty
    וְאֵ֨לֶּה֙ הַמְּלָכִ֔ים אֲשֶׁ֥ר מָלְכ֖וּ בְּאֶ֣רֶץ אֱד֑וֹם (ve-ele ha-melakhim asher malkhu be-eretz edom)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S32 — after STEP_Gn_36_32 — Bela son of Beor; queue empty
    וַיִּמְלֹ֣ךְ בֶּאֱד֔וֹם בֶּ֖לַע בֶּן (va-yimlokh be-edom bela ben)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S33 — after STEP_Gn_36_33 — the die-and-reign chain opens; queue empty
    וַיָּ֖מָת בָּ֑לַע (va-yamat bala)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S34 — after STEP_Gn_36_34 — Chusham the Temanite; queue empty
    וַיָּ֖מָת יוֹבָ֑ב (va-yamat yovav)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S35 — after STEP_Gn_36_35 — Hadad who struck Midian; queue empty
    הַמַּכֶּ֤ה אֶת מִדְיָן֙ בִּשְׂדֵ֣ה (ha-make et-midyan bi-sede)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S36 — after STEP_Gn_36_36 — Samla of Masreka; queue empty
    וַיָּ֖מָת הֲדָ֑ד (va-yamat hadad)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S37 — after STEP_Gn_36_37 — Shaul of Rechovot; queue empty
    וַיִּמְלֹ֣ךְ תַּחְתָּ֔יו שָׁא֖וּל מֵרְחֹב֥וֹת (va-yimlokh tachtav shaul me-rechovot)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S38 — after STEP_Gn_36_38 — Baal-Chanan; queue empty
    וַיָּ֖מָת שָׁא֑וּל (va-yamat shaul)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S39 — after STEP_Gn_36_39 — Hadar and the queen-line; queue empty
    וְשֵׁ֥ם עִיר֖וֹ פָּ֑עוּ וְשֵׁ֨ם אִשְׁתּ֤וֹ מְהֵֽיטַבְאֵל֙ בַּת מַטְרֵ֔ד (ve-shem iro pau ve-shem ishto mehetavel bat-matred)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S40 — after STEP_Gn_36_40 — the by-names list opens on Timna; queue empty
    וְ֠אֵלֶּה שְׁמ֞וֹת אַלּוּפֵ֤י עֵשָׂו֙ לְמִשְׁפְּחֹתָ֔ם לִמְקֹמֹתָ֖ם (ve-ele shemot alufe esav le-mishpchotam li-meqomotam)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S41 — after STEP_Gn_36_41 — Aholivamah a chiefdom; queue empty
    אַלּ֧וּף אָהֳלִיבָמָ֛ה אַלּ֥וּף אֵלָ֖ה (aluf aholivama aluf ela)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S42 — after STEP_Gn_36_42 — Kenaz, Teman, Mivtzar; queue empty
    אַלּ֥וּף קְנַ֛ז אַלּ֥וּף תֵּימָ֖ן (aluf qenaz aluf teman)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S43 — after STEP_Gn_36_43 — the bracket closes; the wall is empty
    אֵ֣לֶּה אַלּוּפֵ֣י אֱד֗וֹם לְמֹֽשְׁבֹתָם֙ בְּאֶ֣רֶץ אֲחֻזָּתָ֔ם (ele alufe edom le-moshvotam be-eretz achuzatam)
    PASS  SPECS empty  (queue=0)
    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_59_esau_edom_kings_ledger.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_59_esau_edom_kings_ledger — 36:1-43
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_59_esau_edom_kings_ledger.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.
# =============================================================================
"""Esau is Edom: the ledger of chiefs and kings (36:1-43)"""
from machine import Machine

m = Machine("gen_59_esau_edom_kings_ledger")

# -------------------------- Gen.36.1 · THE_FIRST_HEADER --------------------
# וְאֵלֶּה תֹּלְדוֹת עֵשָׂו הוּא אֱדוֹם
# "[EN-AID] And these are the generations of Esau — he is Edom."
m.step("Gen.36.1")
# ‹וְאֵלֶּה תֹּלְדוֹת עֵשָׂו› (“and-these generations Esau”) — fact holds:
# generations-Esau-he/it-Edom(kotev-rishon)
m.fact("toldot_esav_hu_edom(kotev_rishon)")

# -------------------------- Gen.36.2 · THE_WIVES_OF_CANAAN -----------------
# עֵשָׂו לָקַח אֶת־נָשָׁיו מִבְּנוֹת כְּנָעַן אֶת־עָדָה בַּת־אֵילוֹן
# הַחִתִּי וְאֶת־אָהֳלִיבָמָה בַּת־עֲנָה בַּת־צִבְעוֹן הַחִוִּי
# "[EN-AID] Esau took his wives from the daughters of Canaan: Ada, daughter
# of Elon the Hittite; and Aholivamah, daughter of Ana, daughter of Tzivon
# the Hivite;"
m.step("Gen.36.2")
# ‹עֵשָׂו לָקַח אֶת־נָשָׁיו› (“Esau take obj-marker woman-him/its”) — fact
# holds: take-nashav-from-daughter-Canaan(Esau, Adah-and-Aholibamah)
m.fact("laqach_nashav_mi_benot_kenaan(esav, ada_ve_aholivama)")

# -------------------------- Gen.36.3 · THE_ISHMAEL_WIFE --------------------
# וְאֶת־בָּשְׂמַת בַּת־יִשְׁמָעֵאל אֲחוֹת נְבָיוֹת
# "[EN-AID] and Basmat, daughter of Ishmael, sister of Nevayot."
m.step("Gen.36.3")
# ‹וְאֶת־בָּשְׂמַת בַּת› (“and-obj-marker Bashemath daughter”) — fact holds:
# Bashemath-daughter-Ishmael(sister-Nebaioth)
m.fact("basmat_bat_yishmael(achot_nevayot)")

# -------------------------- Gen.36.4 · THE_FIRSTBORN_SONS ------------------
# וַתֵּלֶד עָדָה לְעֵשָׂו אֶת־אֱלִיפָז וּבָשְׂמַת יָלְדָה אֶת־רְעוּאֵל
# "[EN-AID] And Ada bore to Esau Elifaz; and Basmat bore Reuel;"
m.step("Gen.36.4")
# ‹וַתֵּלֶד עָדָה לְעֵשָׂו אֶת› (“and-bear-young Adah to-Esau obj-marker”) —
# fact holds: and-bear-young-Adah-and-Bashemath(Eliphaz-and-Raguel)
m.fact("va_teled_ada_u_vasmat(elifaz_u_reuel)")

# -------------------------- Gen.36.5 · THE_CANAAN_BORN_CLOSE ---------------
# וְאָהֳלִיבָמָה יָלְדָה אֶת־יעיש יְעוּשׁ וְאֶת־יַעְלָם וְאֶת־קֹרַח אֵלֶּה
# בְּנֵי עֵשָׂו אֲשֶׁר יֻלְּדוּ־לוֹ בְּאֶרֶץ כְּנָעַן
# "[EN-AID] and Aholivamah bore Yeush and Yalam and Korach. These are the
# sons of Esau who were born to him in the land of Canaan."
m.step("Gen.36.5")
# ‹וְאָהֳלִיבָמָה יָלְדָה› (“and-Aholibamah bear-young”) — fact holds:
# these-son-Esau(bear-young-not-in-earth-Canaan)
m.fact("ele_bene_esav(yuldu_lo_be_eretz_kenaan)")

# -------------------------- Gen.36.6 · THE_WITHDRAWAL ----------------------
# וַיִּקַּח עֵשָׂו אֶת־נָשָׁיו וְאֶת־בָּנָיו וְאֶת־בְּנֹתָיו
# וְאֶת־כָּל־נַפְשׁוֹת בֵּיתוֹ וְאֶת־מִקְנֵהוּ וְאֶת־כָּל־בְּהֶמְתּוֹ וְאֵת
# כָּל־קִנְיָנוֹ אֲשֶׁר רָכַשׁ בְּאֶרֶץ כְּנָעַן וַיֵּלֶךְ אֶל־אֶרֶץ
# מִפְּנֵי יַעֲקֹב אָחִיו
# "[EN-AID] And Esau took his wives and his sons and his daughters and all
# the souls of his house, and his livestock and all his beasts and all his
# property that he had acquired in the land of Canaan; and he went to a
# land, away from before Jacob his brother."
m.step("Gen.36.6")
# ‹וַיֵּלֶךְ אֶל־אֶרֶץ מִפְּנֵי יַעֲקֹב› (“and-go to earth from-face Jacob”)
# — fact holds: and-go-to-earth(Esau, from-face-Jacob-his-brother)
m.fact("va_yelekh_el_eretz(esav, mi_pene_yaaqov_achiv)")

# -------------------------- Gen.36.7 · THE_LAND_THAT_COULD_NOT_BEAR --------
# כִּי־הָיָה רְכוּשָׁם רָב מִשֶּׁבֶת יַחְדָּו וְלֹא יָכְלָה אֶרֶץ
# מְגוּרֵיהֶם לָשֵׂאת אֹתָם מִפְּנֵי מִקְנֵיהֶם
# "[EN-AID] For their property was too great for dwelling together; and the
# land of their sojournings could not bear them, because of their
# livestock."
m.step("Gen.36.7")
# ‹כִּי־הָיָה רְכוּשָׁם רָב› (“that be property-them/their many/great”) —
# fact holds: not-be-able-earth-megurehem-to-lift/carry-otam(rekhusham-
# many/great)
m.fact("lo_yakhla_eretz_megurehem_la_set_otam(rekhusham_rav)")

# -------------------------- Gen.36.8 · SEIR_SETTLED ------------------------
# וַיֵּשֶׁב עֵשָׂו בְּהַר שֵׂעִיר עֵשָׂו הוּא אֱדוֹם
# "[EN-AID] And Esau dwelt in the hill-country of Seir — Esau, he is Edom."
m.step("Gen.36.8")
# ‹וַיֵּשֶׁב עֵשָׂו בְּהַר שֵׂעִיר› (“and-dwell/sit Esau in-mountain Seir”)
# — fact holds: and-dwell/sit-Esau-in-mountain-Seir(he/it-Edom)
m.fact("va_yeshev_esav_be_har_seir(hu_edom)")

# -------------------------- Gen.36.9 · THE_SECOND_HEADER -------------------
# וְאֵלֶּה תֹּלְדוֹת עֵשָׂו אֲבִי אֱדוֹם בְּהַר שֵׂעִיר
# "[EN-AID] And these are the generations of Esau, father of Edom, in the
# hill-country of Seir."
m.step("Gen.36.9")
# ‹וְאֵלֶּה תֹּלְדוֹת עֵשָׂו אֲבִי› (“and-these generations Esau father”) —
# fact holds: generations-Esau-father-Edom(kotev-sheni, in-mountain-Seir)
m.fact("toldot_esav_avi_edom(kotev_sheni, be_har_seir)")

# -------------------------- Gen.36.10 · THE_SONS_NAMED ---------------------
# אֵלֶּה שְׁמוֹת בְּנֵי־עֵשָׂו אֱלִיפַז בֶּן־עָדָה אֵשֶׁת עֵשָׂו רְעוּאֵל
# בֶּן־בָּשְׂמַת אֵשֶׁת עֵשָׂו
# "[EN-AID] These are the names of the sons of Esau: Elifaz son of Ada,
# Esau's wife; Reuel son of Basmat, Esau's wife."
m.step("Gen.36.10")
# ‹אֵלֶּה שְׁמוֹת בְּנֵי־עֵשָׂו› (“these name son Esau”) — fact holds:
# these-name-son-Esau(Eliphaz-and-Raguel)
m.fact("ele_shemot_bene_esav(elifaz_u_reuel)")

# -------------------------- Gen.36.11 · ELIFAZ_S_FIVE ----------------------
# וַיִּהְיוּ בְּנֵי אֱלִיפָז תֵּימָן אוֹמָר צְפוֹ וְגַעְתָּם וּקְנַז
# "[EN-AID] And the sons of Elifaz were: Teman, Omar, Tzefo, and Gatam, and
# Kenaz."
m.step("Gen.36.11")
# ‹וַיִּהְיוּ בְּנֵי אֱלִיפָז› (“and-be son Eliphaz”) — fact holds: son-
# Eliphaz(Teyman-until-Kenaz)
m.fact("bene_elifaz(teman_ad_qenaz)")

# -------------------------- Gen.36.12 · AMALEK_BORN ------------------------
# וְתִמְנַע הָיְתָה פִילֶגֶשׁ לֶאֱלִיפַז בֶּן־עֵשָׂו וַתֵּלֶד לֶאֱלִיפַז
# אֶת־עֲמָלֵק אֵלֶּה בְּנֵי עָדָה אֵשֶׁת עֵשָׂו
# "[EN-AID] And Timna was concubine to Elifaz, son of Esau, and she bore to
# Elifaz Amalek. These are the sons of Ada, Esau's wife."
m.step("Gen.36.12")
# ‹וְתִמְנַע הָיְתָה פִילֶגֶשׁ לֶאֱלִיפַז› (“and-Timna be concubine to-
# Eliphaz”) — fact holds: and-bear-young-Timna-to-Eliphaz(obj-marker-Amalek)
m.fact("va_teled_timna_le_elifaz(et_amaleq)")

# -------------------------- Gen.36.13 · REUEL_S_FOUR -----------------------
# וְאֵלֶּה בְּנֵי רְעוּאֵל נַחַת וָזֶרַח שַׁמָּה וּמִזָּה אֵלֶּה הָיוּ
# בְּנֵי בָשְׂמַת אֵשֶׁת עֵשָׂו
# "[EN-AID] And these are the sons of Reuel: Nachat and Zerach, Shama and
# Miza. These were the sons of Basmat, Esau's wife."
m.step("Gen.36.13")
# ‹וְאֵלֶּה בְּנֵי רְעוּאֵל› (“and-these son Raguel”) — fact holds: son-
# Raguel(Nahath-until-Mizzah)
m.fact("bene_reuel(nachat_ad_miza)")

# -------------------------- Gen.36.14 · AHOLIVAMAH_S_THREE -----------------
# וְאֵלֶּה הָיוּ בְּנֵי אָהֳלִיבָמָה בַת־עֲנָה בַּת־צִבְעוֹן אֵשֶׁת עֵשָׂו
# וַתֵּלֶד לְעֵשָׂו אֶת־יעיש יְעוּשׁ וְאֶת־יַעְלָם וְאֶת־קֹרַח
# "[EN-AID] And these were the sons of Aholivamah, daughter of Ana, daughter
# of Tzivon, Esau's wife: she bore to Esau Yeush and Yalam and Korach."
m.step("Gen.36.14")
# ‹וְאֵלֶּה הָיוּ בְּנֵי אָהֳלִיבָמָה› (“and-these be son Aholibamah”) —
# fact holds: son-Aholibamah(Jehush-Jalam-Korah)
m.fact("bene_aholivama(yeush_yalam_qorach)")

# -------------------------- Gen.36.15 · THE_CHIEF_TITLE_MINTED -------------
# אֵלֶּה אַלּוּפֵי בְנֵי־עֵשָׂו בְּנֵי אֱלִיפַז בְּכוֹר עֵשָׂו אַלּוּף
# תֵּימָן אַלּוּף אוֹמָר אַלּוּף צְפוֹ אַלּוּף קְנַז
# "[EN-AID] These are the chiefs of the sons of Esau. The sons of Elifaz,
# Esau's firstborn: chief Teman, chief Omar, chief Tzefo, chief Kenaz,"
m.step("Gen.36.15")
# ‹אֵלֶּה אַלּוּפֵי בְנֵי› (“these familiar son”) — fact holds: these-
# familiar-son-Esau(familiar-Eliphaz)
m.fact("ele_alufe_vene_esav(alufe_elifaz)")

# -------------------------- Gen.36.16 · ELIFAZ_S_CHIEFS_CLOSE --------------
# אַלּוּף־קֹרַח אַלּוּף גַּעְתָּם אַלּוּף עֲמָלֵק אֵלֶּה אַלּוּפֵי אֱלִיפַז
# בְּאֶרֶץ אֱדוֹם אֵלֶּה בְּנֵי עָדָה
# "[EN-AID] chief Korach, chief Gatam, chief Amalek. These are the chiefs of
# Elifaz in the land of Edom; these are the sons of Ada."
m.step("Gen.36.16")
# ‹אַלּוּף־קֹרַח אַלּוּף› (“familiar Korah familiar”) — fact holds:
# familiar-Eliphaz-in-earth-Edom(son-Adah)
m.fact("alufe_elifaz_be_eretz_edom(bene_ada)")

# -------------------------- Gen.36.17 · REUEL_S_CHIEFS ---------------------
# וְאֵלֶּה בְּנֵי רְעוּאֵל בֶּן־עֵשָׂו אַלּוּף נַחַת אַלּוּף זֶרַח אַלּוּף
# שַׁמָּה אַלּוּף מִזָּה אֵלֶּה אַלּוּפֵי רְעוּאֵל בְּאֶרֶץ אֱדוֹם אֵלֶּה
# בְּנֵי בָשְׂמַת אֵשֶׁת עֵשָׂו
# "[EN-AID] And these are the sons of Reuel, Esau's son: chief Nachat, chief
# Zerach, chief Shama, chief Miza. These are the chiefs of Reuel in the land
# of Edom; these are the sons of Basmat, Esau's wife."
m.step("Gen.36.17")
# ‹וְאֵלֶּה בְּנֵי רְעוּאֵל בֶּן־עֵשָׂו אַלּוּף› (“and-these son Raguel son
# Esau familiar”) — fact holds: familiar-Raguel-in-earth-Edom(son-Bashemath)
m.fact("alufe_reuel_be_eretz_edom(bene_vasmat)")

# -------------------------- Gen.36.18 · AHOLIVAMAH_S_CHIEFS ----------------
# וְאֵלֶּה בְּנֵי אָהֳלִיבָמָה אֵשֶׁת עֵשָׂו אַלּוּף יְעוּשׁ אַלּוּף יַעְלָם
# אַלּוּף קֹרַח אֵלֶּה אַלּוּפֵי אָהֳלִיבָמָה בַּת־עֲנָה אֵשֶׁת עֵשָׂו
# "[EN-AID] And these are the sons of Aholivamah, Esau's wife: chief Yeush,
# chief Yalam, chief Korach. These are the chiefs of Aholivamah, daughter of
# Ana, Esau's wife."
m.step("Gen.36.18")
# ‹וְאֵלֶּה בְּנֵי אָהֳלִיבָמָה אֵשֶׁת עֵשָׂו› (“and-these son Aholibamah
# woman Esau”) — fact holds: familiar-Aholibamah(Jehush-Jalam-Korah)
m.fact("alufe_aholivama(yeush_yalam_qorach)")

# -------------------------- Gen.36.19 · THE_FIRST_LEDGER_SEALS -------------
# אֵלֶּה בְנֵי־עֵשָׂו וְאֵלֶּה אַלּוּפֵיהֶם הוּא אֱדוֹם
# "[EN-AID] These are the sons of Esau, and these their chiefs — he is
# Edom."
m.step("Gen.36.19")
# ‹אֵלֶּה בְנֵי› (“these son”) — fact holds: these-son-Esau-and-
# alufehem(he/it-Edom)
m.fact("ele_vene_esav_ve_alufehem(hu_edom)")

# -------------------------- Gen.36.20 · THE_HORITES_ENTER ------------------
# אֵלֶּה בְנֵי־שֵׂעִיר הַחֹרִי יֹשְׁבֵי הָאָרֶץ לוֹטָן וְשׁוֹבָל וְצִבְעוֹן
# וַעֲנָה
# "[EN-AID] These are the sons of Seir the Horite, the dwellers of the land:
# Lotan and Shoval and Tzivon and Ana,"
m.step("Gen.36.20")
# ‹אֵלֶּה בְנֵי־שֵׂעִיר הַחֹרִי› (“these son Seir the-Chorite”) — fact
# holds: son-Seir-the-Chorite(dwell/sit-the-earth)
m.fact("bene_seir_ha_chori(yoshve_ha_aretz)")

# -------------------------- Gen.36.21 · THE_HORITE_SEVEN -------------------
# וְדִשׁוֹן וְאֵצֶר וְדִישָׁן אֵלֶּה אַלּוּפֵי הַחֹרִי בְּנֵי שֵׂעִיר
# בְּאֶרֶץ אֱדוֹם
# "[EN-AID] and Dishon and Etzer and Dishan. These are the chiefs of the
# Horites, the sons of Seir, in the land of Edom."
m.step("Gen.36.21")
# ‹וְדִשׁוֹן וְאֵצֶר וְדִישָׁן› (“and-Dishon and-Ezer and-Dishan”) — fact
# holds: familiar-the-Chorite(son-Seir)
m.fact("alufe_ha_chori(bene_seir)")

# -------------------------- Gen.36.22 · TIMNA_THE_SISTER -------------------
# וַיִּהְיוּ בְנֵי־לוֹטָן חֹרִי וְהֵימָם וַאֲחוֹת לוֹטָן תִּמְנָע
# "[EN-AID] And the sons of Lotan were Chori and Hemam; and Lotan's sister
# was Timna."
m.step("Gen.36.22")
# ‹וַאֲחוֹת לוֹטָן תִּמְנָע› (“and-sister Lotan Timna”) — fact holds: and-
# sister-Lotan(Timna)
m.fact("va_achot_lotan(timna)")

# -------------------------- Gen.36.23 · SHOVAL_S_FIVE ----------------------
# וְאֵלֶּה בְּנֵי שׁוֹבָל עַלְוָן וּמָנַחַת וְעֵיבָל שְׁפוֹ וְאוֹנָם
# "[EN-AID] And these are the sons of Shoval: Alvan and Manachat and Eval,
# Shefo and Onam."
m.step("Gen.36.23")
# ‹וְאֵלֶּה בְּנֵי שׁוֹבָל› (“and-these son Shobal”) — fact holds: son-
# Shobal(Alian-until-Onam)
m.fact("bene_shoval(alvan_ad_onam)")

# -------------------------- Gen.36.24 · THE_YEMIM_FINDER -------------------
# וְאֵלֶּה בְנֵי־צִבְעוֹן וְאַיָּה וַעֲנָה הוּא עֲנָה אֲשֶׁר מָצָא
# אֶת־הַיֵּמִם בַּמִּדְבָּר בִּרְעֹתוֹ אֶת־הַחֲמֹרִים לְצִבְעוֹן אָבִיו
# "[EN-AID] And these are the sons of Tzivon: Aya and Ana — he is the Ana
# who found the yemim in the wilderness, while pasturing the donkeys for
# Tzivon his father."
m.step("Gen.36.24")
# ‹הוּא עֲנָה אֲשֶׁר מָצָא› (“he/it Anah which find”) — fact holds: he/it-
# Anah-which-find-obj-marker-the-warm-spring(pasture)
m.fact("hu_ana_asher_matza_et_ha_yemim(ba_midbar)")

# -------------------------- Gen.36.25 · ANA_S_TWO --------------------------
# וְאֵלֶּה בְנֵי־עֲנָה דִּשֹׁן וְאָהֳלִיבָמָה בַּת־עֲנָה
# "[EN-AID] And these are the sons of Ana: Dishon; and Aholivamah, daughter
# of Ana."
m.step("Gen.36.25")
# ‹וְאֵלֶּה בְנֵי־עֲנָה› (“and-these son Anah”) — fact holds: son-
# Anah(Dishon-and-Aholibamah)
m.fact("bene_ana(dishon_ve_aholivama)")

# -------------------------- Gen.36.26 · DISHAN_S_FOUR ----------------------
# וְאֵלֶּה בְּנֵי דִישָׁן חֶמְדָּן וְאֶשְׁבָּן וְיִתְרָן וּכְרָן
# "[EN-AID] And these are the sons of Dishan: Chemdan and Eshban and Yitran
# and Cheran."
m.step("Gen.36.26")
# ‹וְאֵלֶּה בְּנֵי דִישָׁן› (“and-these son Dishan”) — fact holds: son-
# Dishan-rishon(Hemdan-until-Cheran)
m.fact("bene_dishan_rishon(chemdan_ad_kheran)")

# -------------------------- Gen.36.27 · ETZER_S_THREE ----------------------
# אֵלֶּה בְּנֵי־אֵצֶר בִּלְהָן וְזַעֲוָן וַעֲקָן
# "[EN-AID] These are the sons of Etzer: Bilhan and Zaavan and Akan."
m.step("Gen.36.27")
# ‹אֵלֶּה בְּנֵי־אֵצֶר› (“these son Ezer”) — fact holds: son-Ezer(Bilhan-
# Zaavan-Akan)
m.fact("bene_etzer(bilhan_zaavan_aqan)")

# -------------------------- Gen.36.28 · DISHAN_S_TWO -----------------------
# אֵלֶּה בְנֵי־דִישָׁן עוּץ וַאֲרָן
# "[EN-AID] These are the sons of Dishan: Utz and Aran."
m.step("Gen.36.28")
# ‹אֵלֶּה בְנֵי־דִישָׁן› (“these son Dishan”) — fact holds: son-Dishan(Uz-
# and-Aran)
m.fact("bene_dishan(utz_va_aran)")

# -------------------------- Gen.36.29 · THE_HORITE_CHIEFS ------------------
# אֵלֶּה אַלּוּפֵי הַחֹרִי אַלּוּף לוֹטָן אַלּוּף שׁוֹבָל אַלּוּף צִבְעוֹן
# אַלּוּף עֲנָה
# "[EN-AID] These are the chiefs of the Horites: chief Lotan, chief Shoval,
# chief Tzivon, chief Ana,"
m.step("Gen.36.29")
# ‹אֵלֶּה אַלּוּפֵי הַחֹרִי› (“these familiar the-Chorite”) — fact holds:
# familiar-the-Chorite-rishon(Lotan-until-Anah)
m.fact("alufe_ha_chori_rishon(lotan_ad_ana)")

# -------------------------- Gen.36.30 · THE_HORITE_LEDGER_SEALS ------------
# אַלּוּף דִּשֹׁן אַלּוּף אֵצֶר אַלּוּף דִּישָׁן אֵלֶּה אַלּוּפֵי הַחֹרִי
# לְאַלֻּפֵיהֶם בְּאֶרֶץ שֵׂעִיר
# "[EN-AID] chief Dishon, chief Etzer, chief Dishan. These are the chiefs of
# the Horites, by their chiefdoms, in the land of Seir."
m.step("Gen.36.30")
# ‹אַלּוּף דִּשֹׁן› (“familiar Dishon”) — fact holds: familiar-the-Chorite-
# to-alufehem(in-earth-Seir)
m.fact("alufe_ha_chori_le_alufehem(be_eretz_seir)")

# -------------------------- Gen.36.31 · THE_KINGS_BEFORE_THE_KINGS ---------
# וְאֵלֶּה הַמְּלָכִים אֲשֶׁר מָלְכוּ בְּאֶרֶץ אֱדוֹם לִפְנֵי מְלָךְ־מֶלֶךְ
# לִבְנֵי יִשְׂרָאֵל
# "[EN-AID] And these are the kings who reigned in the land of Edom, before
# a king reigned for the sons of Israel."
m.step("Gen.36.31")
# ‹וְאֵלֶּה הַמְּלָכִים אֲשֶׁר מָלְכוּ בְּאֶרֶץ אֱדוֹם› (“and-these the-king
# which reign in-earth Edom”) — fact holds: the-king-which-reign-in-Edom(to-
# me-fene-reign-king-to-me-son-Israel)
m.fact("ha_melakhim_asher_malkhu_be_edom(li_fene_melakh_melekh_li_vene_yisrael)")

# -------------------------- Gen.36.32 · THE_FIRST_KING ---------------------
# וַיִּמְלֹךְ בֶּאֱדוֹם בֶּלַע בֶּן־בְּעוֹר וְשֵׁם עִירוֹ דִּנְהָבָה
# "[EN-AID] And Bela son of Beor reigned in Edom; and the name of his city
# was Dinhava."
m.step("Gen.36.32")
# ‹וַיִּמְלֹךְ בֶּאֱדוֹם בֶּלַע בֶּן› (“and-reign in-Edom Bela son”) — fact
# holds: and-reign-Bela-son-Beor(ir-Dinhaban)
m.fact("va_yimlokh_bela_ben_beor(ir_dinhava)")

# -------------------------- Gen.36.33 · THE_CHAIN_BEGINS -------------------
# וַיָּמָת בָּלַע וַיִּמְלֹךְ תַּחְתָּיו יוֹבָב בֶּן־זֶרַח מִבָּצְרָה
# "[EN-AID] And Bela died; and Yovav son of Zerach, from Botzra, reigned in
# his place."
m.step("Gen.36.33")
# ‹וַיָּמָת בָּלַע› (“and-die Bela”) — fact holds: and-die-Bela-and-
# reign(Jobab-from-Bozrah)
m.fact("va_yamat_bela_va_yimlokh(yovav_mi_batzra)")

# -------------------------- Gen.36.34 · THE_THIRD_KING ---------------------
# וַיָּמָת יוֹבָב וַיִּמְלֹךְ תַּחְתָּיו חֻשָׁם מֵאֶרֶץ הַתֵּימָנִי
# "[EN-AID] And Yovav died; and Chusham, from the land of the Temanite,
# reigned in his place."
m.step("Gen.36.34")
# ‹וַיָּמָת יוֹבָב› (“and-die Jobab”) — fact holds: and-die-Jobab-and-
# reign(Husham-the-Temanite)
m.fact("va_yamat_yovav_va_yimlokh(chusham_ha_temani)")

# -------------------------- Gen.36.35 · THE_KING_WHO_STRUCK_MIDIAN ---------
# וַיָּמָת חֻשָׁם וַיִּמְלֹךְ תַּחְתָּיו הֲדַד בֶּן־בְּדַד הַמַּכֶּה
# אֶת־מִדְיָן בִּשְׂדֵה מוֹאָב וְשֵׁם עִירוֹ עֲוִית
# "[EN-AID] And Chusham died; and Hadad son of Bedad — who struck Midian in
# the field of Moab — reigned in his place; and the name of his city was
# Avit."
m.step("Gen.36.35")
# ‹הַמַּכֶּה אֶת־מִדְיָן בִּשְׂדֵה› (“the-strike obj-marker Midian in-
# field”) — fact holds: and-reign-Hadad(the-strike-obj-marker-Midian-bi-
# sede-Moab)
m.fact("va_yimlokh_hadad(ha_make_et_midyan_bi_sede_moav)")

# -------------------------- Gen.36.36 · THE_FIFTH_KING ---------------------
# וַיָּמָת הֲדָד וַיִּמְלֹךְ תַּחְתָּיו שַׂמְלָה מִמַּשְׂרֵקָה
# "[EN-AID] And Hadad died; and Samla, from Masreka, reigned in his place."
m.step("Gen.36.36")
# ‹וַיָּמָת הֲדָד› (“and-die Hadad”) — fact holds: and-die-Hadad-and-
# reign(Samlah-from-Masrekah)
m.fact("va_yamat_hadad_va_yimlokh(samla_mi_masreqa)")

# -------------------------- Gen.36.37 · THE_KING_FROM_THE_WIDE_PLACES ------
# וַיָּמָת שַׂמְלָה וַיִּמְלֹךְ תַּחְתָּיו שָׁאוּל מֵרְחֹבוֹת הַנָּהָר
# "[EN-AID] And Samla died; and Shaul, from Rechovot-of-the-river, reigned
# in his place."
m.step("Gen.36.37")
# ‹וַיִּמְלֹךְ תַּחְתָּיו שָׁאוּל מֵרְחֹבוֹת› (“and-reign under-him/its Saul
# from-Rehoboth”) — fact holds: and-reign-Saul(from-Rehoboth-the-river)
m.fact("va_yimlokh_shaul(me_rechovot_ha_nahar)")

# -------------------------- Gen.36.38 · THE_SEVENTH_KING -------------------
# וַיָּמָת שָׁאוּל וַיִּמְלֹךְ תַּחְתָּיו בַּעַל חָנָן בֶּן־עַכְבּוֹר
# "[EN-AID] And Shaul died; and Baal-Chanan son of Akhbor reigned in his
# place."
m.step("Gen.36.38")
# ‹וַיָּמָת שָׁאוּל› (“and-die Saul”) — fact holds: and-die-Saul-and-
# reign(baal-Baal-hanan-son-Achbor)
m.fact("va_yamat_shaul_va_yimlokh(baal_chanan_ben_akhbor)")

# -------------------------- Gen.36.39 · THE_LAST_KING_AND_THE_QUEEN_LINE ---
# וַיָּמָת בַּעַל חָנָן בֶּן־עַכְבּוֹר וַיִּמְלֹךְ תַּחְתָּיו הֲדַר וְשֵׁם
# עִירוֹ פָּעוּ וְשֵׁם אִשְׁתּוֹ מְהֵיטַבְאֵל בַּת־מַטְרֵד בַּת מֵי זָהָב
# "[EN-AID] And Baal-Chanan son of Akhbor died; and Hadar reigned in his
# place; and the name of his city was Pau; and his wife's name was
# Mehetavel, daughter of Matred, daughter of Me-zahav."
m.step("Gen.36.39")
# ‹וְשֵׁם אִשְׁתּוֹ מְהֵיטַבְאֵל בַּת־מַטְרֵד בַּת מֵי זָהָב› (“and-name
# woman-him/its Mehetabeel daughter Matred daughter Mezahab”) — fact holds:
# and-reign-Hadar(his-wife-Mehetabeel-daughter-from-Mezahab)
m.fact("va_yimlokh_hadar(ishto_mehetavel_bat_me_zahav)")

# -------------------------- Gen.36.40 · THE_CLOSING_LIST_OPENS -------------
# וְאֵלֶּה שְׁמוֹת אַלּוּפֵי עֵשָׂו לְמִשְׁפְּחֹתָם לִמְקֹמֹתָם בִּשְׁמֹתָם
# אַלּוּף תִּמְנָע אַלּוּף עַלְוָה אַלּוּף יְתֵת
# "[EN-AID] And these are the names of the chiefs of Esau, by their
# families, by their places, by their names: chief Timna, chief Alva, chief
# Yetet,"
m.step("Gen.36.40")
# ‹וְאֵלֶּה שְׁמוֹת אַלּוּפֵי עֵשָׂו לְמִשְׁפְּחֹתָם לִמְקֹמֹתָם› (“and-
# these name familiar Esau to-family-them/their to-place-them/their”) — fact
# holds: familiar-Esau-to-mishpechotam(to-me-meqomotam-bi-shemotam)
m.fact("alufe_esav_le_mishpechotam(li_meqomotam_bi_shemotam)")

# -------------------------- Gen.36.41 · THE_LIST_RUNS ----------------------
# אַלּוּף אָהֳלִיבָמָה אַלּוּף אֵלָה אַלּוּף פִּינֹן
# "[EN-AID] chief Aholivamah, chief Ela, chief Pinon,"
m.step("Gen.36.41")
# ‹אַלּוּף אָהֳלִיבָמָה אַלּוּף אֵלָה› (“familiar Aholibamah familiar Elah”)
# — fact holds: familiar-Aholibamah-Elah-Pinon(reshima)
m.fact("aluf_aholivama_ela_pinon(reshima)")

# -------------------------- Gen.36.42 · THE_LIST_NEARS_ITS_END -------------
# אַלּוּף קְנַז אַלּוּף תֵּימָן אַלּוּף מִבְצָר
# "[EN-AID] chief Kenaz, chief Teman, chief Mivtzar,"
m.step("Gen.36.42")
# ‹אַלּוּף קְנַז אַלּוּף תֵּימָן› (“familiar Kenaz familiar Teyman”) — fact
# holds: familiar-Kenaz-Teyman-Mibzar(reshima)
m.fact("aluf_qenaz_teman_mivtzar(reshima)")

# -------------------------- Gen.36.43 · THE_BRACKET_CLOSES -----------------
# אַלּוּף מַגְדִּיאֵל אַלּוּף עִירָם אֵלֶּה אַלּוּפֵי אֱדוֹם לְמֹשְׁבֹתָם
# בְּאֶרֶץ אֲחֻזָּתָם הוּא עֵשָׂו אֲבִי אֱדוֹם
# "[EN-AID] chief Magdiel, chief Iram. These are the chiefs of Edom, by
# their dwellings, in the land of their holding — he is Esau, father of
# Edom."
m.step("Gen.36.43")
# ‹אֵלֶּה אַלּוּפֵי אֱדוֹם לְמֹשְׁבֹתָם בְּאֶרֶץ אֲחֻזָּתָם› (“these
# familiar Edom to-seat-them/their in-earth something-seized-them/their”) —
# fact holds: these-familiar-Edom-in-earth-achuzatam(he/it-Esau-father-Edom)
m.fact("ele_alufe_edom_be_eretz_achuzatam(hu_esav_avi_edom)")

# -------------------------- 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() == []
    assert len(m.SPECS["log"]) == 0
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {}
    assert sorted(m.WORLD["facts"]) == sorted(['toldot_esav_hu_edom(kotev_rishon)', 'laqach_nashav_mi_benot_kenaan(esav, ada_ve_aholivama)', 'basmat_bat_yishmael(achot_nevayot)', 'va_teled_ada_u_vasmat(elifaz_u_reuel)', 'ele_bene_esav(yuldu_lo_be_eretz_kenaan)', 'va_yelekh_el_eretz(esav, mi_pene_yaaqov_achiv)', 'lo_yakhla_eretz_megurehem_la_set_otam(rekhusham_rav)', 'va_yeshev_esav_be_har_seir(hu_edom)', 'toldot_esav_avi_edom(kotev_sheni, be_har_seir)', 'ele_shemot_bene_esav(elifaz_u_reuel)', 'bene_elifaz(teman_ad_qenaz)', 'va_teled_timna_le_elifaz(et_amaleq)', 'bene_reuel(nachat_ad_miza)', 'bene_aholivama(yeush_yalam_qorach)', 'ele_alufe_vene_esav(alufe_elifaz)', 'alufe_elifaz_be_eretz_edom(bene_ada)', 'alufe_reuel_be_eretz_edom(bene_vasmat)', 'alufe_aholivama(yeush_yalam_qorach)', 'ele_vene_esav_ve_alufehem(hu_edom)', 'bene_seir_ha_chori(yoshve_ha_aretz)', 'alufe_ha_chori(bene_seir)', 'va_achot_lotan(timna)', 'bene_shoval(alvan_ad_onam)', 'hu_ana_asher_matza_et_ha_yemim(ba_midbar)', 'bene_ana(dishon_ve_aholivama)', 'bene_dishan_rishon(chemdan_ad_kheran)', 'bene_etzer(bilhan_zaavan_aqan)', 'bene_dishan(utz_va_aran)', 'alufe_ha_chori_rishon(lotan_ad_ana)', 'alufe_ha_chori_le_alufehem(be_eretz_seir)', 'ha_melakhim_asher_malkhu_be_edom(li_fene_melakh_melekh_li_vene_yisrael)', 'va_yimlokh_bela_ben_beor(ir_dinhava)', 'va_yamat_bela_va_yimlokh(yovav_mi_batzra)', 'va_yamat_yovav_va_yimlokh(chusham_ha_temani)', 'va_yimlokh_hadad(ha_make_et_midyan_bi_sede_moav)', 'va_yamat_hadad_va_yimlokh(samla_mi_masreqa)', 'va_yimlokh_shaul(me_rechovot_ha_nahar)', 'va_yamat_shaul_va_yimlokh(baal_chanan_ben_akhbor)', 'va_yimlokh_hadar(ishto_mehetavel_bat_me_zahav)', 'alufe_esav_le_mishpechotam(li_meqomotam_bi_shemotam)', 'aluf_aholivama_ela_pinon(reshima)', 'aluf_qenaz_teman_mivtzar(reshima)', 'ele_alufe_edom_be_eretz_achuzatam(hu_esav_avi_edom)'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 0
    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.