The descent to Egypt: the famine, the sister-word, the plagued house (12:10-20) FROZEN

וַיְהִי רָעָב בָּאָרֶץ · va-yehi raav ba-aretz · 'and there was a famine in the land'

Derivation log (steps A–J)

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

State machine

Scenarios (the unit's own test suite)

Exports (reusable patterns)

Oral notes (named, tiered, dual-track — never merged)

Binary trees (ta'amim v3, glue bricks)

Gen.12.10 · parser unique · 12 words

PHRASE (binary 12w) וַ/יְהִ֥י רָעָ֖ב בָּ/אָ֑רֶץ וַ/יֵּ֨רֶד אַבְרָ֤ם…
├── PHRASE (binary 3w) וַ/יְהִ֥י רָעָ֖ב בָּ/אָ֑רֶץ
│   ├── [0-1] GLUE וַ/יְהִ֥י רָעָ֖ב (tifcha, rank=2)
│   └── [2] בָּ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַ/יֵּ֨רֶד אַבְרָ֤ם מִצְרַ֨יְמָ/ה֙ לָ/ג֣וּר שָׁ…
    ├── PHRASE (binary 5w) וַ/יֵּ֨רֶד אַבְרָ֤ם מִצְרַ֨יְמָ/ה֙ לָ/ג֣וּר שָׁ…
    │   ├── [3-5] GLUE וַ/יֵּ֨רֶד אַבְרָ֤ם מִצְרַ֨יְמָ/ה֙ (pashta, rank=3)
    │   └── [6-7] GLUE לָ/ג֣וּר שָׁ֔ם (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) כִּֽי כָבֵ֥ד הָ/רָעָ֖ב בָּ/אָֽרֶץ
        ├── [8-10] GLUE כִּֽי כָבֵ֥ד הָ/רָעָ֖ב (tifcha, rank=2)
        └── [11] בָּ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.12.11 · parser unique · 17 words

PHRASE (binary 17w) וַ/יְהִ֕י כַּ/אֲשֶׁ֥ר הִקְרִ֖יב לָ/ב֣וֹא מִצְרָ…
├── PHRASE (binary 5w) וַ/יְהִ֕י כַּ/אֲשֶׁ֥ר הִקְרִ֖יב לָ/ב֣וֹא מִצְרָ…
│   ├── [0] וַ/יְהִ֕י (zaqef gadol, rank=2)
│   └── PHRASE (binary 4w) כַּ/אֲשֶׁ֥ר הִקְרִ֖יב לָ/ב֣וֹא מִצְרָ֑יְמָ/ה
│       ├── [1-2] GLUE כַּ/אֲשֶׁ֥ר הִקְרִ֖יב (tifcha, rank=2)
│       └── [3-4] GLUE לָ/ב֣וֹא מִצְרָ֑יְמָ/ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) וַ/יֹּ֨אמֶר֙ אֶל שָׂרַ֣י אִשְׁתּ֔/וֹ הִנֵּה נָ֣…
    ├── PHRASE (binary 4w) וַ/יֹּ֨אמֶר֙ אֶל שָׂרַ֣י אִשְׁתּ֔/וֹ
    │   ├── [5] וַ/יֹּ֨אמֶר֙ (pashta, rank=3)
    │   └── [6-8] GLUE אֶל שָׂרַ֣י אִשְׁתּ֔/וֹ (zaqef qatan, rank=2)
    └── PHRASE (binary 8w) הִנֵּה נָ֣א יָדַ֔עְתִּי כִּ֛י אִשָּׁ֥ה יְפַת מַ…
        ├── [9-11] GLUE הִנֵּה נָ֣א יָדַ֔עְתִּי (zaqef qatan, rank=2)
        └── PHRASE (binary 5w) כִּ֛י אִשָּׁ֥ה יְפַת מַרְאֶ֖ה אָֽתְּ
            ├── PHRASE (binary 4w) כִּ֛י אִשָּׁ֥ה יְפַת מַרְאֶ֖ה
            │   ├── [12] כִּ֛י (tevir, rank=3)
            │   └── [13-15] GLUE אִשָּׁ֥ה יְפַת מַרְאֶ֖ה (tifcha, rank=2)
            └── [16] אָֽתְּ (silluq (verse-end emperor), rank=1)

Gen.12.12 · parser unique · 12 words

PHRASE (binary 12w) וְ/הָיָ֗ה כִּֽי יִרְא֤וּ אֹתָ/ךְ֙ הַ/מִּצְרִ֔ים…
├── PHRASE (binary 8w) וְ/הָיָ֗ה כִּֽי יִרְא֤וּ אֹתָ/ךְ֙ הַ/מִּצְרִ֔ים…
│   ├── PHRASE (binary 5w) וְ/הָיָ֗ה כִּֽי יִרְא֤וּ אֹתָ/ךְ֙ הַ/מִּצְרִ֔ים
│   │   ├── [0] וְ/הָיָ֗ה (revia, rank=3)
│   │   └── PHRASE (binary 4w) כִּֽי יִרְא֤וּ אֹתָ/ךְ֙ הַ/מִּצְרִ֔ים
│   │       ├── [1-3] GLUE כִּֽי יִרְא֤וּ אֹתָ/ךְ֙ (pashta, rank=3)
│   │       └── [4] הַ/מִּצְרִ֔ים (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וְ/אָמְר֖וּ אִשְׁתּ֣/וֹ זֹ֑את
│       ├── [5] וְ/אָמְר֖וּ (tifcha, rank=2)
│       └── [6-7] GLUE אִשְׁתּ֣/וֹ זֹ֑את (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/הָרְג֥וּ אֹתִ֖/י וְ/אֹתָ֥/ךְ יְחַיּֽוּ
    ├── [8-9] GLUE וְ/הָרְג֥וּ אֹתִ֖/י (tifcha, rank=2)
    └── [10-11] GLUE וְ/אֹתָ֥/ךְ יְחַיּֽוּ (silluq (verse-end emperor), rank=1)

Gen.12.13 · parser unique · 11 words

PHRASE (binary 11w) אִמְרִי נָ֖א אֲחֹ֣תִ/י אָ֑תְּ לְמַ֨עַן֙ יִֽיטַב…
├── PHRASE (binary 4w) אִמְרִי נָ֖א אֲחֹ֣תִ/י אָ֑תְּ
│   ├── [0-1] GLUE אִמְרִי נָ֖א (tifcha, rank=2)
│   └── [2-3] GLUE אֲחֹ֣תִ/י אָ֑תְּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) לְמַ֨עַן֙ יִֽיטַב לִ֣/י בַ/עֲבוּרֵ֔/ךְ וְ/חָיְת…
    ├── PHRASE (binary 4w) לְמַ֨עַן֙ יִֽיטַב לִ֣/י בַ/עֲבוּרֵ֔/ךְ
    │   ├── [4] לְמַ֨עַן֙ (pashta, rank=3)
    │   └── [5-7] GLUE יִֽיטַב לִ֣/י בַ/עֲבוּרֵ֔/ךְ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וְ/חָיְתָ֥ה נַפְשִׁ֖/י בִּ/גְלָלֵֽ/ךְ
        ├── [8-9] GLUE וְ/חָיְתָ֥ה נַפְשִׁ֖/י (tifcha, rank=2)
        └── [10] בִּ/גְלָלֵֽ/ךְ (silluq (verse-end emperor), rank=1)

Gen.12.14 · parser unique · 12 words

PHRASE (binary 12w) וַ/יְהִ֕י כְּ/ב֥וֹא אַבְרָ֖ם מִצְרָ֑יְמָ/ה וַ/י…
├── PHRASE (binary 4w) וַ/יְהִ֕י כְּ/ב֥וֹא אַבְרָ֖ם מִצְרָ֑יְמָ/ה
│   ├── [0] וַ/יְהִ֕י (zaqef gadol, rank=2)
│   └── PHRASE (binary 3w) כְּ/ב֥וֹא אַבְרָ֖ם מִצְרָ֑יְמָ/ה
│       ├── [1-2] GLUE כְּ/ב֥וֹא אַבְרָ֖ם (tifcha, rank=2)
│       └── [3] מִצְרָ֑יְמָ/ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַ/יִּרְא֤וּ הַ/מִּצְרִים֙ אֶת הָ֣/אִשָּׁ֔ה כִּ…
    ├── PHRASE (binary 4w) וַ/יִּרְא֤וּ הַ/מִּצְרִים֙ אֶת הָ֣/אִשָּׁ֔ה
    │   ├── [4-5] GLUE וַ/יִּרְא֤וּ הַ/מִּצְרִים֙ (pashta, rank=3)
    │   └── [6-7] GLUE אֶת הָ֣/אִשָּׁ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) כִּֽי יָפָ֥ה הִ֖וא מְאֹֽד
        ├── [8-10] GLUE כִּֽי יָפָ֥ה הִ֖וא (tifcha, rank=2)
        └── [11] מְאֹֽד (silluq (verse-end emperor), rank=1)

Gen.12.15 · parser unique · 12 words

PHRASE (binary 12w) וַ/יִּרְא֤וּ אֹתָ/הּ֙ שָׂרֵ֣י פַרְעֹ֔ה וַ/יְהַֽ…
├── PHRASE (binary 8w) וַ/יִּרְא֤וּ אֹתָ/הּ֙ שָׂרֵ֣י פַרְעֹ֔ה וַ/יְהַֽ…
│   ├── PHRASE (binary 4w) וַ/יִּרְא֤וּ אֹתָ/הּ֙ שָׂרֵ֣י פַרְעֹ֔ה
│   │   ├── [0-1] GLUE וַ/יִּרְא֤וּ אֹתָ/הּ֙ (pashta, rank=3)
│   │   └── [2-3] GLUE שָׂרֵ֣י פַרְעֹ֔ה (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וַ/יְהַֽלְל֥וּ אֹתָ֖/הּ אֶל פַּרְעֹ֑ה
│       ├── [4-5] GLUE וַ/יְהַֽלְל֥וּ אֹתָ֖/הּ (tifcha, rank=2)
│       └── [6-7] GLUE אֶל פַּרְעֹ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/תֻּקַּ֥ח הָ/אִשָּׁ֖ה בֵּ֥ית פַּרְעֹֽה
    ├── [8-9] GLUE וַ/תֻּקַּ֥ח הָ/אִשָּׁ֖ה (tifcha, rank=2)
    └── [10-11] GLUE בֵּ֥ית פַּרְעֹֽה (silluq (verse-end emperor), rank=1)

Gen.12.16 · parser unique · 12 words

PHRASE (binary 12w) וּ/לְ/אַבְרָ֥ם הֵיטִ֖יב בַּ/עֲבוּרָ֑/הּ וַֽ/יְה…
├── PHRASE (binary 3w) וּ/לְ/אַבְרָ֥ם הֵיטִ֖יב בַּ/עֲבוּרָ֑/הּ
│   ├── [0-1] GLUE וּ/לְ/אַבְרָ֥ם הֵיטִ֖יב (tifcha, rank=2)
│   └── [2] בַּ/עֲבוּרָ֑/הּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וַֽ/יְהִי ל֤/וֹ צֹאן וּ/בָקָר֙ וַ/חֲמֹרִ֔ים וַ/…
    ├── PHRASE (binary 5w) וַֽ/יְהִי ל֤/וֹ צֹאן וּ/בָקָר֙ וַ/חֲמֹרִ֔ים
    │   ├── [3-6] GLUE וַֽ/יְהִי ל֤/וֹ צֹאן וּ/בָקָר֙ (pashta, rank=3)
    │   └── [7] וַ/חֲמֹרִ֔ים (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) וַ/עֲבָדִים֙ וּ/שְׁפָחֹ֔ת וַ/אֲתֹנֹ֖ת וּ/גְמַלּ…
        ├── PHRASE (binary 2w) וַ/עֲבָדִים֙ וּ/שְׁפָחֹ֔ת
        │   ├── [8] וַ/עֲבָדִים֙ (pashta, rank=3)
        │   └── [9] וּ/שְׁפָחֹ֔ת (zaqef qatan, rank=2)
        └── PHRASE (binary 2w) וַ/אֲתֹנֹ֖ת וּ/גְמַלִּֽים
            ├── [10] וַ/אֲתֹנֹ֖ת (tifcha, rank=2)
            └── [11] וּ/גְמַלִּֽים (silluq (verse-end emperor), rank=1)

Gen.12.17 · parser unique · 13 words

PHRASE (binary 13w) וַ/יְנַגַּ֨ע יְהוָ֧ה אֶת פַּרְעֹ֛ה נְגָעִ֥ים גּ…
├── PHRASE (binary 8w) וַ/יְנַגַּ֨ע יְהוָ֧ה אֶת פַּרְעֹ֛ה נְגָעִ֥ים גּ…
│   ├── PHRASE (binary 6w) וַ/יְנַגַּ֨ע יְהוָ֧ה אֶת פַּרְעֹ֛ה נְגָעִ֥ים גּ…
│   │   ├── [0-3] GLUE וַ/יְנַגַּ֨ע יְהוָ֧ה אֶת פַּרְעֹ֛ה (tevir, rank=3)
│   │   └── [4-5] GLUE נְגָעִ֥ים גְּדֹלִ֖ים (tifcha, rank=2)
│   └── [6-7] GLUE וְ/אֶת בֵּית֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) עַל דְּבַ֥ר שָׂרַ֖י אֵ֥שֶׁת אַבְרָֽם
    ├── [8-10] GLUE עַל דְּבַ֥ר שָׂרַ֖י (tifcha, rank=2)
    └── [11-12] GLUE אֵ֥שֶׁת אַבְרָֽם (silluq (verse-end emperor), rank=1)

Gen.12.18 · parser unique · 15 words

PHRASE (binary 15w) וַ/יִּקְרָ֤א פַרְעֹה֙ לְ/אַבְרָ֔ם וַ/יֹּ֕אמֶר מ…
├── PHRASE (binary 8w) וַ/יִּקְרָ֤א פַרְעֹה֙ לְ/אַבְרָ֔ם וַ/יֹּ֕אמֶר מ…
│   ├── PHRASE (binary 3w) וַ/יִּקְרָ֤א פַרְעֹה֙ לְ/אַבְרָ֔ם
│   │   ├── [0-1] GLUE וַ/יִּקְרָ֤א פַרְעֹה֙ (pashta, rank=3)
│   │   └── [2] לְ/אַבְרָ֔ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) וַ/יֹּ֕אמֶר מַה זֹּ֖את עָשִׂ֣יתָ לִּ֑/י
│       ├── [3] וַ/יֹּ֕אמֶר (zaqef gadol, rank=2)
│       └── PHRASE (binary 4w) מַה זֹּ֖את עָשִׂ֣יתָ לִּ֑/י
│           ├── [4-5] GLUE מַה זֹּ֖את (tifcha, rank=2)
│           └── [6-7] GLUE עָשִׂ֣יתָ לִּ֑/י (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) לָ֚/מָּה לֹא הִגַּ֣דְתָּ לִּ֔/י כִּ֥י אִשְׁתְּ/…
    ├── PHRASE (binary 4w) לָ֚/מָּה לֹא הִגַּ֣דְתָּ לִּ֔/י
    │   ├── [8] לָ֚/מָּה (yetiv, rank=3)
    │   └── [9-11] GLUE לֹא הִגַּ֣דְתָּ לִּ֔/י (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) כִּ֥י אִשְׁתְּ/ךָ֖ הִֽוא
        ├── [12-13] GLUE כִּ֥י אִשְׁתְּ/ךָ֖ (tifcha, rank=2)
        └── [14] הִֽוא (silluq (verse-end emperor), rank=1)

Gen.12.19 · parser unique · 13 words

PHRASE (binary 13w) לָ/מָ֤ה אָמַ֨רְתָּ֙ אֲחֹ֣תִ/י הִ֔וא וָ/אֶקַּ֥ח …
├── PHRASE (binary 8w) לָ/מָ֤ה אָמַ֨רְתָּ֙ אֲחֹ֣תִ/י הִ֔וא וָ/אֶקַּ֥ח …
│   ├── PHRASE (binary 4w) לָ/מָ֤ה אָמַ֨רְתָּ֙ אֲחֹ֣תִ/י הִ֔וא
│   │   ├── [0-1] GLUE לָ/מָ֤ה אָמַ֨רְתָּ֙ (pashta, rank=3)
│   │   └── [2-3] GLUE אֲחֹ֣תִ/י הִ֔וא (zaqef qatan, rank=2)
│   └── PHRASE (binary 4w) וָ/אֶקַּ֥ח אֹתָ֛/הּ לִ֖/י לְ/אִשָּׁ֑ה
│       ├── PHRASE (binary 3w) וָ/אֶקַּ֥ח אֹתָ֛/הּ לִ֖/י
│       │   ├── [4-5] GLUE וָ/אֶקַּ֥ח אֹתָ֛/הּ (tevir, rank=3)
│       │   └── [6] לִ֖/י (tifcha, rank=2)
│       └── [7] לְ/אִשָּׁ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/עַתָּ֕ה הִנֵּ֥ה אִשְׁתְּ/ךָ֖ קַ֥ח וָ/לֵֽךְ
    ├── [8] וְ/עַתָּ֕ה (zaqef gadol, rank=2)
    └── PHRASE (binary 4w) הִנֵּ֥ה אִשְׁתְּ/ךָ֖ קַ֥ח וָ/לֵֽךְ
        ├── [9-10] GLUE הִנֵּ֥ה אִשְׁתְּ/ךָ֖ (tifcha, rank=2)
        └── [11-12] GLUE קַ֥ח וָ/לֵֽךְ (silluq (verse-end emperor), rank=1)

Gen.12.20 · parser unique · 12 words

PHRASE (binary 12w) וַ/יְצַ֥ו עָלָ֛י/ו פַּרְעֹ֖ה אֲנָשִׁ֑ים וַֽ/יְש…
├── PHRASE (binary 4w) וַ/יְצַ֥ו עָלָ֛י/ו פַּרְעֹ֖ה אֲנָשִׁ֑ים
│   ├── PHRASE (binary 3w) וַ/יְצַ֥ו עָלָ֛י/ו פַּרְעֹ֖ה
│   │   ├── [0-1] GLUE וַ/יְצַ֥ו עָלָ֛י/ו (tevir, rank=3)
│   │   └── [2] פַּרְעֹ֖ה (tifcha, rank=2)
│   └── [3] אֲנָשִׁ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וַֽ/יְשַׁלְּח֥וּ אֹת֛/וֹ וְ/אֶת אִשְׁתּ֖/וֹ וְ/…
    ├── PHRASE (binary 4w) וַֽ/יְשַׁלְּח֥וּ אֹת֛/וֹ וְ/אֶת אִשְׁתּ֖/וֹ
    │   ├── [4-5] GLUE וַֽ/יְשַׁלְּח֥וּ אֹת֛/וֹ (tevir, rank=3)
    │   └── [6-7] GLUE וְ/אֶת אִשְׁתּ֖/וֹ (tifcha, rank=2)
    └── [8-11] GLUE וְ/אֶת כָּל אֲשֶׁר לֽ/וֹ (silluq (verse-end emperor), rank=1)

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

unit: gen_28_egypt_descent — The descent to Egypt: the famine, the sister-word, the plagued house (12:10-20) [frozen]

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

=== S1 — The descent for famine: after STEP_Gn_12_10
    וַיֵּרֶד אַבְרָם מִצְרַיְמָה (va-yered avram mitzraymah)
    PASS  Facts ki-khaved-ha-raav HOLD  (1 facts)
    PASS  flags mitzrayim as read-before-install  (flagged=['mitzrayim'])
    PASS  SPECS empty.  (queue=0)

=== S2 — The first speech: after STEP_Gn_12_11
    הִנֵּה־נָא יָדַעְתִּי (hinneh-na yadati)
    PASS  Facts hinneh-na-yadati HOLD  (2 facts)
    PASS  SPECS empty.  (queue=0)

=== S3 — The request pushed, no reply exists: after STEP_Gn_12_13
    אִמְרִי־נָא אֲחֹתִי אָתְּ (imri-na achoti at)
    PASS  LET(imri(saray, achoti_hi)) pushed and OPEN  (queue=['imri(saray, achoti_hi)'])
    PASS  Facts lemaan-yitav-li HOLD  (4 facts)
    PASS  Facts ve-hargu-oti-ve-otakh-yechayu HOLD.  (4 facts)

=== S4 — The seeing without the script: after STEP_Gn_12_14
    כִּי־יָפָה הִוא מְאֹד (ki-yafah hi meod)
    PASS  Facts ki-yafah-hi-meod HOLD  (5 facts)
    PASS  LET(imri(saray, achoti_hi)) pushed and OPEN.  (queue=['imri(saray, achoti_hi)'])

=== S5 — The payment for her sake: after STEP_Gn_12_16
    וּלְאַבְרָם הֵיטִיב בַּעֲבוּרָהּ (u-le-avram hetiv baavurah)
    PASS  Facts va-yehi-lo-tzon HOLD  (6 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — The wordless plague: after STEP_Gn_12_17
    עַל־דְּבַר שָׂרַי אֵשֶׁת אַבְרָם (al-devar saray eshet avram)
    PASS  Facts al-devar-saray HOLD  (7 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S7 — The king's demands pushed: after STEP_Gn_12_19
    קַח וָלֵךְ (qach va-lekh)
    PASS  LET(qach(avram, et_ishto)) pushed and OPEN  (queue=['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)'])
    PASS  LET(lekh(avram)) pushed and OPEN  (queue=['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)'])
    PASS  Facts amarta-achoti-hi HOLD.  (9 facts)

=== S8 — Expelled with three debts open: after STEP_Gn_12_20
    וַיְשַׁלְּחוּ אֹתוֹ וְאֶת־אִשְׁתּוֹ (va-yeshalchu oto ve-et-ishto)
    PASS  LET(imri(saray, achoti_hi)) pushed and OPEN  (queue=['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)'])
    PASS  LET(qach(avram, et_ishto)) pushed and OPEN  (queue=['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)'])
    PASS  LET(lekh(avram)) pushed and OPEN  (queue=['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)'])
    PASS  no test, no name  (tests=0 names=0)
    PASS  LEDGER stays EMPTY (open transaction).  (ledger_days=[])

=== S9_negative — Negative: the LET? contract guard
    אֲחֹתִי (achoti)
    PASS  imperfect-in-command parsed as LET? (question mark kept)  (mood=LET?)
    PASS  auto-upgrade REFUSED  (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
    PASS  upgrade WITH citation allowed  (cite=per-unit judgment (owner), TIR-028 resolution)

=== S10_negative — Negative: flags never block
    PASS  commit proceeded (not blocked)  (LEDGER=[99])
    PASS  pattern deviation FLAGGED  (flags=['commit_without_test'])

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

#!/usr/bin/env python3
# =============================================================================
# gen_28_egypt_descent — 12:10-20
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_28_egypt_descent.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 descent to Egypt: the famine, the sister-word, the plagued house (12:10-20)"""
from machine import Machine

m = Machine("gen_28_egypt_descent")

# -------------------------- Gen.12.10 · THE_DESCENT_FOR_FAMINE -------------
# וַיְהִי רָעָב בָּאָרֶץ וַיֵּרֶד אַבְרָם מִצְרַיְמָה לָגוּר שָׁם כִּי־כָבֵד
# הָרָעָב בָּאָרֶץ
# "And there was a famine in the land; and Abram went down into Egypt to
# sojourn there; for the famine was sore in the land."
m.step("Gen.12.10")
# ‹וַיֵּרֶד אַבְרָם מִצְרַיְמָה לָגוּר שָׁם› (“and-go-down Abram Egypt-ward
# to-turn-aside-from-the-road there”) — event: go-down — agent Abram
m.event("go_down", agent="avram")
# ‹כִּי־כָבֵד הָרָעָב בָּאָרֶץ› (“that heavy the-hunger in-earth”) — fact
# holds: that-heavy-the-hunger-in-the-earth
m.fact("ki_khaved_ha_raav_ba_aretz")
# reads without prior install (flag, not fix): mitzrayim
m.presupposed("mitzrayim")

# -------------------------- Gen.12.11 · THE_FIRST_SPEECH_IS_FEAR_AND_BEAUTY -
# וַיְהִי כַּאֲשֶׁר הִקְרִיב לָבוֹא מִצְרָיְמָה וַיֹּאמֶר אֶל־שָׂרַי
# אִשְׁתּוֹ הִנֵּה־נָא יָדַעְתִּי כִּי אִשָּׁה יְפַת־מַרְאֶה אָתְּ
# "And it came to pass, when he was come near to enter into Egypt, that he
# said unto Sarai his wife: 'Behold now, I know that thou art a fair woman
# to look upon.'"
m.step("Gen.12.11")
# ‹וַיֹּאמֶר אֶל־שָׂרַי אִשְׁתּוֹ› (“and-say to Sarai woman-him/its”) —
# event: say — agent Abram
m.event("say", agent="avram")
# ‹הִנֵּה־נָא יָדַעְתִּי כִּי אִשָּׁה יְפַת־מַרְאֶה אָתְּ› (“behold please
# know that woman beautiful appearance thou-and-thee”) — fact holds: behold-
# please-know-that-woman-beautiful-appearance-at
m.fact("hinneh_na_yadati_ki_ishah_yefat_mareh_at")

# -------------------------- Gen.12.12 · THE_FEAR_FORECAST ------------------
# וְהָיָה כִּי־יִרְאוּ אֹתָךְ הַמִּצְרִים וְאָמְרוּ אִשְׁתּוֹ זֹאת וְהָרְגוּ
# אֹתִי וְאֹתָךְ יְחַיּוּ
# "And it will come to pass, when the Egyptians shall see thee, that they
# will say: This is his wife; and they will kill me, but thee they will keep
# alive."
m.step("Gen.12.12")
# ‹וְהָרְגוּ אֹתִי וְאֹתָךְ יְחַיּוּ› (“and-smite-with-deadly-intent obj-
# marker-me/my and-obj-marker-you/your live”) — fact holds: and-smite-with-
# deadly-intent-me-and-otakh-live
m.fact("ve_hargu_oti_ve_otakh_yechayu")

# -------------------------- Gen.12.13 · THE_REQUEST_WITH_NO_REPLY ----------
# אִמְרִי־נָא אֲחֹתִי אָתְּ לְמַעַן יִיטַב־לִי בַעֲבוּרֵךְ וְחָיְתָה
# נַפְשִׁי בִּגְלָלֵךְ
# "Say, I pray thee, thou art my sister; that it may be well with me for thy
# sake, and that my soul may live because of thee.'"
m.step("Gen.12.13")
# ‹אִמְרִי־נָא אֲחֹתִי אָתְּ› (“say please sister-me/my thou-and-thee”) —
# Abram speaks a demand — LET: say(Sarai, achoti-hi)
m.declare("avram", "LET",
          "imri(saray, achoti_hi)")
# ‹לְמַעַן יִיטַב־לִי בַעֲבוּרֵךְ וְחָיְתָה נַפְשִׁי בִּגְלָלֵךְ› (“so-that
# do-well to-me/my in-crossed-you/your and-live living-being-me/my in-
# circumstance-you/your”) — fact holds: so-that-do-well-to-me-vaavurekh-and-
# chaytah-nafshi
m.fact("lemaan_yitav_li_vaavurekh_ve_chaytah_nafshi")

# -------------------------- Gen.12.14 · THE_SEEING -------------------------
# וַיְהִי כְּבוֹא אַבְרָם מִצְרָיְמָה וַיִּרְאוּ הַמִּצְרִים אֶת־הָאִשָּׁה
# כִּי־יָפָה הִוא מְאֹד
# "And it came to pass, that, when Abram was come into Egypt, the Egyptians
# beheld the woman that she was very fair."
m.step("Gen.12.14")
# ‹וַיִּרְאוּ הַמִּצְרִים אֶת־הָאִשָּׁה› (“and-see the-Egyptian obj-marker
# the-woman”) — event: see — agent the-Egyptian; theme the-woman
m.event("see", agent="ha_mitzrim", themes=["ha_ishah"])
# ‹כִּי־יָפָה הִוא מְאֹד› (“that beautiful he/it very”) — fact holds: that-
# yafah-hi-very
m.fact("ki_yafah_hi_meod")

# -------------------------- Gen.12.15 · THE_PRAISE_AND_THE_PASSIVE_TAKING --
# וַיִּרְאוּ אֹתָהּ שָׂרֵי פַרְעֹה וַיְהַלְלוּ אֹתָהּ אֶל־פַּרְעֹה וַתֻּקַּח
# הָאִשָּׁה בֵּית פַּרְעֹה
# "And the princes of Pharaoh saw her, and praised her to Pharaoh; and the
# woman was taken into Pharaoh's house."
m.step("Gen.12.15")
# ‹וַיִּרְאוּ אֹתָהּ שָׂרֵי פַרְעֹה› (“and-see obj-marker-her/its officer
# Pharaoh”) — event: see — agent sarei-Pharaoh; theme the-woman
m.event("see", agent="sarei_faro", themes=["ha_ishah"])
# ‹וַיְהַלְלוּ אֹתָהּ אֶל־פַּרְעֹה› (“and-be-clear obj-marker-her/its to
# Pharaoh”) — event: praise — agent sarei-Pharaoh
m.event("praise", agent="sarei_faro")
# ‹וַתֻּקַּח הָאִשָּׁה בֵּית פַּרְעֹה› (“and-take the-woman house Pharaoh”)
# — event: take — theme the-woman
m.event("take", themes=["ha_ishah"])

# -------------------------- Gen.12.16 · THE_PAYMENT_FOR_HER_SAKE -----------
# וּלְאַבְרָם הֵיטִיב בַּעֲבוּרָהּ וַיְהִי־לוֹ צֹאן־וּבָקָר וַחֲמֹרִים
# וַעֲבָדִים וּשְׁפָחֹת וַאֲתֹנֹת וּגְמַלִּים
# "And he dealt well with Abram for her sake; and he had sheep, and oxen,
# and he-asses, and men-servants, and maid-servants, and she-asses, and
# camels."
m.step("Gen.12.16")
# ‹וּלְאַבְרָם הֵיטִיב בַּעֲבוּרָהּ› (“and-to-Abram do-well in-crossed-
# her/its”) — event: do-good — agent Pharaoh
m.event("do_good", agent="paro")
# ‹וַיְהִי־לוֹ צֹאן־וּבָקָר וַחֲמֹרִים וַעֲבָדִים וּשְׁפָחֹת וַאֲתֹנֹת
# וּגְמַלִּים› (“and-be to-him/its flock and-herd and-male-ass and-servant
# and-female-slave and-female-donkey and-camel”) — fact holds: and-be-not-
# flock-and-herd-and-male-ass-and-servant-and-shfachot-and-female-donkey-
# and-camel
m.fact("va_yehi_lo_tzon_u_vaqar_va_chamorim_va_avadim_u_shfachot_va_atonot_u_gemalim")

# -------------------------- Gen.12.17 · THE_PLAGUE_WITHOUT_A_WORD ----------
# וַיְנַגַּע יְהוָה אֶת־פַּרְעֹה נְגָעִים גְּדֹלִים וְאֶת־בֵּיתוֹ עַל־דְּבַר
# שָׂרַי אֵשֶׁת אַבְרָם
# "And the LORD plagued Pharaoh and his house with great plagues because of
# Sarai Abram's wife."
m.step("Gen.12.17")
# ‹וַיְנַגַּע יְהוָה אֶת־פַּרְעֹה נְגָעִים גְּדֹלִים וְאֶת־בֵּיתוֹ› (“and-
# touch YHWH obj-marker Pharaoh blow great and-obj-marker house-him/its”) —
# event: plague — agent the-LORD; theme Pharaoh-and-veito
m.event("plague", agent="YHWH", themes=["paro_u_veito"])
# ‹עַל־דְּבַר שָׂרַי אֵשֶׁת אַבְרָם› (“over word/thing Sarai woman Abram”) —
# fact holds: over-word/thing-Sarai-woman-Abram
m.fact("al_devar_saray_eshet_avram")

# -------------------------- Gen.12.18 · THE_KINGS_QUESTIONS_IN_THE_GARDENS_FORM -
# וַיִּקְרָא פַרְעֹה לְאַבְרָם וַיֹּאמֶר מַה־זֹּאת עָשִׂיתָ לִּי לָמָּה
# לֹא־הִגַּדְתָּ לִּי כִּי אִשְׁתְּךָ הִוא
# "And Pharaoh called Abram, and said: 'What is this that thou hast done
# unto me? why didst thou not tell me that she was thy wife?'"
m.step("Gen.12.18")
# ‹וַיִּקְרָא פַרְעֹה לְאַבְרָם וַיֹּאמֶר מַה־זֹּאת עָשִׂיתָ לִּי› (“and-
# call Pharaoh to-Abram and-say what this make to-me/my”) — event: say —
# agent Pharaoh
m.event("say", agent="paro")

# -------------------------- Gen.12.19 · THE_CONFESSION_AND_THE_COUNTER_COMMANDS -
# לָמָה אָמַרְתָּ אֲחֹתִי הִוא וָאֶקַּח אֹתָהּ לִי לְאִשָּׁה וְעַתָּה הִנֵּה
# אִשְׁתְּךָ קַח וָלֵךְ
# "Why saidst thou: She is my sister? so that I took her to be my wife; now
# therefore behold thy wife, take her, and go thy way.'"
m.step("Gen.12.19")
# ‹אָמַרְתָּ אֲחֹתִי הִוא וָאֶקַּח אֹתָהּ לִי לְאִשָּׁה› (“say sister-me/my
# he/it and-take obj-marker-her/its to-me/my to-woman”) — fact holds: say-
# achoti-hi; and-take-her-to-me-to-woman
m.fact("amarta_achoti_hi",
       "va_eqach_otah_li_le_ishah")
# ‹הִנֵּה אִשְׁתְּךָ קַח› (“behold woman-you/your take”) — Pharaoh speaks a
# demand — LET: take(Abram, thou-and-thee-his-wife)
m.declare("paro", "LET",
          "qach(avram, et_ishto)")
# ‹וָלֵךְ› (“and-go”) — Pharaoh speaks a demand — LET: go(Abram)
m.declare("paro", "LET",
          "lekh(avram)")

# -------------------------- Gen.12.20 · THE_ESCORTED_EXPULSION -------------
# וַיְצַו עָלָיו פַּרְעֹה אֲנָשִׁים וַיְשַׁלְּחוּ אֹתוֹ וְאֶת־אִשְׁתּוֹ
# וְאֶת־כָּל־אֲשֶׁר־לוֹ
# "And Pharaoh gave men charge concerning him; and they brought him on the
# way, and his wife, and all that he had."
m.step("Gen.12.20")
# ‹וַיְצַו עָלָיו פַּרְעֹה אֲנָשִׁים› (“and-command over-him/its Pharaoh
# man”) — event: command — agent Pharaoh; theme man
m.event("command", agent="paro", themes=["anashim"])
# ‹וַיְשַׁלְּחוּ אֹתוֹ וְאֶת־אִשְׁתּוֹ וְאֶת־כָּל־אֲשֶׁר־לוֹ› (“and-send
# obj-marker-him/its and-obj-marker woman-him/its and-obj-marker all which
# to-him/its”) — event: send-away — agent man; theme Abram-and-his-wife-and-
# all-which-not
m.event("send_away", agent="anashim", themes=["avram_ve_ishto_ve_khol_asher_lo"])

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'mitzrayim'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['imri(saray, achoti_hi)', 'qach(avram, et_ishto)', 'lekh(avram)']
    assert len(m.SPECS["log"]) == 3
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['ki_khaved_ha_raav_ba_aretz', 'hinneh_na_yadati_ki_ishah_yefat_mareh_at', 've_hargu_oti_ve_otakh_yechayu', 'lemaan_yitav_li_vaavurekh_ve_chaytah_nafshi', 'ki_yafah_hi_meod', 'va_yehi_lo_tzon_u_vaqar_va_chamorim_va_avadim_u_shfachot_va_atonot_u_gemalim', 'al_devar_saray_eshet_avram', 'amarta_achoti_hi', 'va_eqach_otah_li_le_ishah'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 14
    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.