The call: go to the land I will show you (12:1-9) FROZEN

לֶךְ־לְךָ מֵאַרְצְךָ · lekh-lekha me-artzekha · 'go, you, from your 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.1 · parser unique · 14 words

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

Gen.12.2 · parser unique · 8 words

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

Gen.12.3 · parser unique · 9 words

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

Gen.12.4 · parser unique · 17 words

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

Gen.12.5 · parser unique · 26 words

PHRASE (binary 26w) וַ/יִּקַּ֣ח אַבְרָם֩ אֶת שָׂרַ֨י אִשְׁתּ֜/וֹ וְ…
├── PHRASE (binary 19w) וַ/יִּקַּ֣ח אַבְרָם֩ אֶת שָׂרַ֨י אִשְׁתּ֜/וֹ וְ…
│   ├── PHRASE (binary 14w) וַ/יִּקַּ֣ח אַבְרָם֩ אֶת שָׂרַ֨י אִשְׁתּ֜/וֹ וְ…
│   │   ├── PHRASE (binary 9w) וַ/יִּקַּ֣ח אַבְרָם֩ אֶת שָׂרַ֨י אִשְׁתּ֜/וֹ וְ…
│   │   │   ├── [0-4] GLUE וַ/יִּקַּ֣ח אַבְרָם֩ אֶת שָׂרַ֨י אִשְׁתּ֜/וֹ (geresh, rank=4)
│   │   │   └── [5-8] GLUE וְ/אֶת ל֣וֹט בֶּן אָחִ֗י/ו (revia, rank=3)
│   │   └── PHRASE (binary 5w) וְ/אֶת כָּל רְכוּשָׁ/ם֙ אֲשֶׁ֣ר רָכָ֔שׁוּ
│   │       ├── [9-11] GLUE וְ/אֶת כָּל רְכוּשָׁ/ם֙ (pashta, rank=3)
│   │       └── [12-13] GLUE אֲשֶׁ֣ר רָכָ֔שׁוּ (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) וְ/אֶת הַ/נֶּ֖פֶשׁ אֲשֶׁר עָשׂ֣וּ בְ/חָרָ֑ן
│       ├── [14-15] GLUE וְ/אֶת הַ/נֶּ֖פֶשׁ (tifcha, rank=2)
│       └── [16-18] GLUE אֲשֶׁר עָשׂ֣וּ בְ/חָרָ֑ן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וַ/יֵּצְא֗וּ לָ/לֶ֨כֶת֙ אַ֣רְצָ/ה כְּנַ֔עַן וַ/…
    ├── PHRASE (binary 4w) וַ/יֵּצְא֗וּ לָ/לֶ֨כֶת֙ אַ֣רְצָ/ה כְּנַ֔עַן
    │   ├── [19] וַ/יֵּצְא֗וּ (revia, rank=3)
    │   └── PHRASE (binary 3w) לָ/לֶ֨כֶת֙ אַ֣רְצָ/ה כְּנַ֔עַן
    │       ├── [20] לָ/לֶ֨כֶת֙ (pashta, rank=3)
    │       └── [21-22] GLUE אַ֣רְצָ/ה כְּנַ֔עַן (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) וַ/יָּבֹ֖אוּ אַ֥רְצָ/ה כְּנָֽעַן
        ├── [23] וַ/יָּבֹ֖אוּ (tifcha, rank=2)
        └── [24-25] GLUE אַ֥רְצָ/ה כְּנָֽעַן (silluq (verse-end emperor), rank=1)

Gen.12.6 · parser unique · 12 words

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

Gen.12.7 · parser unique · 16 words

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

Gen.12.8 · parser unique · 20 words

PHRASE (binary 20w) וַ/יַּעְתֵּ֨ק מִ/שָּׁ֜ם הָ/הָ֗רָ/ה מִ/קֶּ֛דֶם ל…
├── PHRASE (binary 8w) וַ/יַּעְתֵּ֨ק מִ/שָּׁ֜ם הָ/הָ֗רָ/ה מִ/קֶּ֛דֶם ל…
│   ├── PHRASE (binary 6w) וַ/יַּעְתֵּ֨ק מִ/שָּׁ֜ם הָ/הָ֗רָ/ה מִ/קֶּ֛דֶם ל…
│   │   ├── PHRASE (binary 3w) וַ/יַּעְתֵּ֨ק מִ/שָּׁ֜ם הָ/הָ֗רָ/ה
│   │   │   ├── [0-1] GLUE וַ/יַּעְתֵּ֨ק מִ/שָּׁ֜ם (geresh, rank=4)
│   │   │   └── [2] הָ/הָ֗רָ/ה (revia, rank=3)
│   │   └── PHRASE (binary 3w) מִ/קֶּ֛דֶם לְ/בֵֽית אֵ֖ל
│   │       ├── [3] מִ/קֶּ֛דֶם (tevir, rank=3)
│   │       └── [4-5] GLUE לְ/בֵֽית אֵ֖ל (tifcha, rank=2)
│   └── [6-7] GLUE וַ/יֵּ֣ט אָהֳלֹ֑/ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 12w) בֵּֽית אֵ֤ל מִ/יָּם֙ וְ/הָ/עַ֣י מִ/קֶּ֔דֶם וַ/י…
    ├── PHRASE (binary 5w) בֵּֽית אֵ֤ל מִ/יָּם֙ וְ/הָ/עַ֣י מִ/קֶּ֔דֶם
    │   ├── [8-10] GLUE בֵּֽית אֵ֤ל מִ/יָּם֙ (pashta, rank=3)
    │   └── [11-12] GLUE וְ/הָ/עַ֣י מִ/קֶּ֔דֶם (zaqef qatan, rank=2)
    └── PHRASE (binary 7w) וַ/יִּֽבֶן שָׁ֤ם מִזְבֵּ֨חַ֙ לַֽ/יהוָ֔ה וַ/יִּק…
        ├── PHRASE (binary 4w) וַ/יִּֽבֶן שָׁ֤ם מִזְבֵּ֨חַ֙ לַֽ/יהוָ֔ה
        │   ├── [13-15] GLUE וַ/יִּֽבֶן שָׁ֤ם מִזְבֵּ֨חַ֙ (pashta, rank=3)
        │   └── [16] לַֽ/יהוָ֔ה (zaqef qatan, rank=2)
        └── PHRASE (binary 3w) וַ/יִּקְרָ֖א בְּ/שֵׁ֥ם יְהוָֽה
            ├── [17] וַ/יִּקְרָ֖א (tifcha, rank=2)
            └── [18-19] GLUE בְּ/שֵׁ֥ם יְהוָֽה (silluq (verse-end emperor), rank=1)

Gen.12.9 · parser unique · 5 words

PHRASE (binary 5w) וַ/יִּסַּ֣ע אַבְרָ֔ם הָל֥וֹךְ וְ/נָס֖וֹעַ הַ/נּ…
├── [0-1] GLUE וַ/יִּסַּ֣ע אַבְרָ֔ם (zaqef qatan, rank=2)
└── PHRASE (binary 3w) הָל֥וֹךְ וְ/נָס֖וֹעַ הַ/נֶּֽגְבָּ/ה
    ├── [2-3] GLUE הָל֥וֹךְ וְ/נָס֖וֹעַ (tifcha, rank=2)
    └── [4] הַ/נֶּֽגְבָּ/ה (silluq (verse-end emperor), rank=1)

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

unit: gen_27_the_call — The call: go to the land I will show you (12:1-9) [frozen]

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

=== S1 — The call pushed, the object withheld: after STEP_Gn_12_1
    לֶךְ־לְךָ מֵאַרְצְךָ (lekh-lekha me-artzekha)
    PASS  LET(lekh(avram, el_ha_aretz_asher_areka)) pushed and OPEN  (queue=['lekh(avram, el_ha_aretz_asher_areka)'])
    PASS  Facts lekh-lekha-me-artzekha HOLD.  (1 facts)

=== S2 — The ladder and the second imperative: after STEP_Gn_12_2
    וֶהְיֵה בְּרָכָה (ve-heyeh berakhah)
    PASS  LET(heyeh(avram, berakhah)) pushed and OPEN  (queue=['lekh(avram, el_ha_aretz_asher_areka)', 'heyeh(avram, berakhah)'])
    PASS  Facts e-eskha-le-goy-gadol HOLD.  (3 facts)

=== S3 — The asymmetric guard and the families: after STEP_Gn_12_3
    וְנִבְרְכוּ בְךָ כֹּל מִשְׁפְּחֹת הָאֲדָמָה (ve-nivrekhu vekha kol mishpechot ha-adamah)
    PASS  Facts va-avarakhah-mevarakhekha / u-meqallelkha-aor HOLD  (6 facts)
    PASS  Facts ve-nivrekhu-vekha-kol-mishpechot-ha-adamah HOLD.  (6 facts)

=== S4 — The receipt in the letter's grammar: after STEP_Gn_12_4
    כַּאֲשֶׁר דִּבֶּר אֵלָיו יְהוָה (ka-asher dibber elav YHWH)
    PASS  Facts ka-asher-dibber-elav-YHWH HOLD  (8 facts)
    PASS  LET(heyeh(avram, berakhah)) pushed and OPEN  (queue=['heyeh(avram, berakhah)'])
    PASS  flags charan as read-before-install.  (flagged=['charan'])

=== S5 — The arrival and the made souls: after STEP_Gn_12_5
    וַיָּבֹאוּ אַרְצָה כְּנָעַן (va-yavou artzah kenaan)
    PASS  Facts ve-et-ha-nefesh-asher-asu-ve-charan HOLD  (10 facts)
    PASS  flags eretz_kenaan as read-before-install.  (flagged=['charan', 'eretz_kenaan'])

=== S6 — The pass and the then-fact: after STEP_Gn_12_6
    וְהַכְּנַעֲנִי אָז בָּאָרֶץ (ve-ha-kenaani az ba-aretz)
    PASS  Facts ve-ha-kenaani-az-ba-aretz HOLD  (11 facts)
    PASS  flags shekhem as read-before-install.  (flagged=['charan', 'eretz_kenaan', 'shekhem'])

=== S7 — The appearance, the pledge, the first install: after STEP_Gn_12_7
    לְזַרְעֲךָ אֶתֵּן אֶת־הָאָרֶץ הַזֹּאת (le-zarakha etten et-ha-aretz ha-zot)
    PASS  Facts le-zarakha-etten-et-ha-aretz-ha-zot HOLD  (12 facts)
    PASS  WORLD += mizbeach_shekhem.  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.12.7'})

=== S8 — The second altar and the Name called: after STEP_Gn_12_8
    וַיִּקְרָא בְּשֵׁם יְהוָה (va-yiqra be-shem YHWH)
    PASS  WORLD += mizbeach_beit_el  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.12.8'})
    PASS  flags beit_el/ha_ai as read-before-install.  (flagged=['beit_el', 'charan', 'eretz_kenaan', 'ha_ai', 'shekhem'])

=== S9 — The road south, the demand still open: after STEP_Gn_12_9
    הָלוֹךְ וְנָסוֹעַ הַנֶּגְבָּה (halokh ve-nasoa ha-negbah)
    PASS  WORLD = {mizbeach_shekhem, mizbeach_beit_el}  (created=['mizbeach_beit_el', 'mizbeach_shekhem'])
    PASS  LET(heyeh(avram, berakhah)) pushed and OPEN  (queue=['heyeh(avram, berakhah)'])
    PASS  flags ha_negev as read-before-install.  (flagged=['beit_el', 'charan', 'eretz_kenaan', 'ha_ai', 'ha_negev', 'shekhem'])

=== S10_negative — Negative: the LET? contract guard
    בְּרָכָה (berakhah)
    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)

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

#!/usr/bin/env python3
# =============================================================================
# gen_27_the_call — 12:1-9
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_27_the_call.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 call: go to the land I will show you (12:1-9)"""
from machine import Machine

m = Machine("gen_27_the_call")

# -------------------------- Gen.12.1 · THE_CALL_WITH_THE_OBJECT_WITHHELD ---
# וַיֹּאמֶר יְהוָה אֶל־אַבְרָם לֶךְ־לְךָ מֵאַרְצְךָ וּמִמּוֹלַדְתְּךָ
# וּמִבֵּית אָבִיךָ אֶל־הָאָרֶץ אֲשֶׁר אַרְאֶךָּ
# "Now the LORD said unto Abram: 'Get thee out of thy country, and from thy
# kindred, and from thy father's house, unto the land that I will show
# thee.'"
m.step("Gen.12.1")
# ‹לֶךְ־לְךָ … אֶל־הָאָרֶץ אֲשֶׁר אַרְאֶךָּ› (“go to-you/your … to the-earth
# which see-you/your”) — the-LORD speaks a demand — LET: go(Abram, to-the-
# earth-which-areka)
m.declare("YHWH", "LET",
          "lekh(avram, el_ha_aretz_asher_areka)")
# ‹מֵאַרְצְךָ וּמִמּוֹלַדְתְּךָ וּמִבֵּית אָבִיךָ› (“from-earth-you/your
# and-from-nativity-you/your and-from-house father-you/your”) — fact holds:
# go-to-you-from-artzekha-and-from-moladtekha-and-from-beit-avikha
m.fact("lekh_lekha_me_artzekha_u_mi_moladtekha_u_mi_beit_avikha")

# -------------------------- Gen.12.2 · THE_PROMISE_LADDER_AND_THE_SECOND_IMPERATIVE -
# וְאֶעֶשְׂךָ לְגוֹי גָּדוֹל וַאֲבָרֶכְךָ וַאֲגַדְּלָה שְׁמֶךָ וֶהְיֵה
# בְּרָכָה
# "And I will make of thee a great nation, and I will bless thee, and make
# thy name great; and be thou a blessing."
m.step("Gen.12.2")
# ‹וְאֶעֶשְׂךָ לְגוֹי גָּדוֹל וַאֲבָרֶכְךָ וַאֲגַדְּלָה שְׁמֶךָ› (“and-make-
# you/your to-nation great and-bless-you/your and-be-large name-you/your”) —
# fact holds: e-eskha-to-nation-great; and-avarekhkha-and-agadlah-shmekha
m.fact("e_eskha_le_goy_gadol",
       "va_avarekhkha_va_agadlah_shmekha")
# ‹וֶהְיֵה בְּרָכָה› (“and-be blessing”) — the-LORD speaks a demand — LET:
# heyeh(Abram, berakhah)
m.declare("YHWH", "LET",
          "heyeh(avram, berakhah)")

# -------------------------- Gen.12.3 · THE_ASYMMETRY_AND_THE_FAMILIES ------
# וַאֲבָרֲכָה מְבָרְכֶיךָ וּמְקַלֶּלְךָ אָאֹר וְנִבְרְכוּ בְךָ כֹּל
# מִשְׁפְּחֹת הָאֲדָמָה
# "And I will bless them that bless thee, and him that curseth thee will I
# curse; and in thee shall all the families of the earth be blessed.'"
m.step("Gen.12.3")
# ‹וַאֲבָרֲכָה מְבָרְכֶיךָ וּמְקַלֶּלְךָ אָאֹר› (“and-bless bless-you/your
# and-be-light-you/your execrate”) — fact holds: and-avarakhah-mevarakhekha;
# and-meqallelkha-execrate
m.fact("va_avarakhah_mevarakhekha",
       "u_meqallelkha_aor")
# ‹וְנִבְרְכוּ בְךָ כֹּל מִשְׁפְּחֹת הָאֲדָמָה› (“and-bless in-you/your all
# family the-ground”) — fact holds: and-nivrekhu-vekha-all-mishpechot-the-
# ground
m.fact("ve_nivrekhu_vekha_kol_mishpechot_ha_adamah")

# -------------------------- Gen.12.4 · THE_RECEIPT_IN_THE_LETTERS_OWN_GRAMMAR -
# וַיֵּלֶךְ אַבְרָם כַּאֲשֶׁר דִּבֶּר אֵלָיו יְהוָה וַיֵּלֶךְ אִתּוֹ לוֹט
# וְאַבְרָם בֶּן־חָמֵשׁ שָׁנִים וְשִׁבְעִים שָׁנָה בְּצֵאתוֹ מֵחָרָן
# "So Abram went, as the LORD had spoken unto him; and Lot went with him;
# and Abram was seventy and five years old when he departed out of Haran."
m.step("Gen.12.4")
# ‹וַיֵּלֶךְ אַבְרָם … וַיֵּלֶךְ אִתּוֹ לוֹט› (“and-go Abram … and-go with-
# him/its Lot”) — event: go — agent Abram
m.event("go", agent="avram")
# ‹וַיֵּלֶךְ אַבְרָם כַּאֲשֶׁר דִּבֶּר אֵלָיו יְהוָה› (“and-go Abram like-
# as/which speak to-him/its YHWH”) — demand settled (popped from the queue):
# go(Abram, to-the-earth-which-areka)
m.result("lekh(avram, el_ha_aretz_asher_areka)", tmark="t1")
# ‹כַּאֲשֶׁר דִּבֶּר אֵלָיו יְהוָה … בֶּן־חָמֵשׁ שָׁנִים וְשִׁבְעִים שָׁנָה›
# (“like-as/which speak to-him/its YHWH … son five years and-seventy years”)
# — fact holds: like-which-dibber-to-him-the-LORD; Abram-son-75-year-in-
# tzeto-from-Haran
m.fact("ka_asher_dibber_elav_YHWH",
       "avram_ben_75_shanah_be_tzeto_me_charan")
# reads without prior install (flag, not fix): Haran
m.presupposed("charan")

# -------------------------- Gen.12.5 · THE_ARRIVAL_THE_FROZEN_WALL_WAITED_FOR -
# וַיִּקַּח אַבְרָם אֶת־שָׂרַי אִשְׁתּוֹ וְאֶת־לוֹט בֶּן־אָחִיו
# וְאֶת־כָּל־רְכוּשָׁם אֲשֶׁר רָכָשׁוּ וְאֶת־הַנֶּפֶשׁ אֲשֶׁר־עָשׂוּ בְחָרָן
# וַיֵּצְאוּ לָלֶכֶת אַרְצָה כְּנַעַן וַיָּבֹאוּ אַרְצָה כְּנָעַן
# "And Abram took Sarai his wife, and Lot his brother's son, and all their
# substance that they had gathered, and the souls that they had gotten in
# Haran; and they went forth to go into the land of Canaan; and into the
# land of Canaan they came."
m.step("Gen.12.5")
# ‹וַיִּקַּח אַבְרָם אֶת־שָׂרַי אִשְׁתּוֹ וְאֶת־לוֹט בֶּן־אָחִיו …› (“and-
# take Abram obj-marker Sarai woman-him/its and-obj-marker Lot son brother-
# him/its”) — event: take — agent Abram; theme Sarai, Lot, all-rekhusham,
# the-living-being-which-make
m.event("take", agent="avram", themes=["saray", "lot", "kol_rekhusham", "ha_nefesh_asher_asu"])
# ‹וַיֵּצְאוּ לָלֶכֶת אַרְצָה כְּנַעַן› (“and-bring-forth to-go earth-ward
# Canaan”) — event: go-out — agent Abram
m.event("go_out", agent="avram")
# ‹וַיָּבֹאוּ אַרְצָה כְּנָעַן› (“and-come/bring earth-ward Canaan”) —
# event: come — agent Abram
m.event("come", agent="avram")
# ‹וְאֶת־כָּל־רְכוּשָׁם אֲשֶׁר רָכָשׁוּ וְאֶת־הַנֶּפֶשׁ אֲשֶׁר־עָשׂוּ
# בְחָרָן› (“and-obj-marker all property-them/their which lay-up and-obj-
# marker the-living-being which make in-Haran”) — fact holds: all-rekhusham-
# which-lay-up; and-obj-marker-the-living-being-which-make-and-Haran
m.fact("kol_rekhusham_asher_rakhashu",
       "ve_et_ha_nefesh_asher_asu_ve_charan")
# reads without prior install (flag, not fix): earth-Canaan
m.presupposed("eretz_kenaan")

# -------------------------- Gen.12.6 · THE_PASS_AND_THE_THEN ---------------
# וַיַּעֲבֹר אַבְרָם בָּאָרֶץ עַד מְקוֹם שְׁכֶם עַד אֵלוֹן מוֹרֶה
# וְהַכְּנַעֲנִי אָז בָּאָרֶץ
# "And Abram passed through the land unto the place of Shechem, unto the
# terebinth of Moreh. And the Canaanite was then in the land."
m.step("Gen.12.6")
# ‹וַיַּעֲבֹר אַבְרָם בָּאָרֶץ עַד מְקוֹם שְׁכֶם עַד אֵלוֹן מוֹרֶה› (“and-
# pass-over Abram in-earth until place Shechem until oak Moreh”) — event:
# pass — agent Abram; theme until-place-Shechem-until-oak-moreh
m.event("pass", agent="avram", themes=["ad_meqom_shekhem_ad_elon_moreh"])
# ‹וְהַכְּנַעֲנִי אָז בָּאָרֶץ› (“and-the-Kenaanite at-that-time in-earth”)
# — fact holds: and-the-Kenaanite-at-that-time-in-the-earth
m.fact("ve_ha_kenaani_az_ba_aretz")
# reads without prior install (flag, not fix): Shechem
m.presupposed("shekhem")

# -------------------------- Gen.12.7 · THE_APPEARANCE_THE_PLEDGE_THE_FIRST_ALTAR -
# וַיֵּרָא יְהוָה אֶל־אַבְרָם וַיֹּאמֶר לְזַרְעֲךָ אֶתֵּן אֶת־הָאָרֶץ
# הַזֹּאת וַיִּבֶן שָׁם מִזְבֵּחַ לַיהוָה הַנִּרְאֶה אֵלָיו
# "And the LORD appeared unto Abram, and said: 'Unto thy seed will I give
# this land'; and he builded there an altar unto the LORD, who appeared unto
# him."
m.step("Gen.12.7")
# ‹וַיֵּרָא יְהוָה אֶל־אַבְרָם› (“and-see YHWH to Abram”) — event: appear —
# agent the-LORD
m.event("appear", agent="YHWH")
# ‹וַיֹּאמֶר› (“and-say”) — event: say — agent the-LORD
m.event("say", agent="YHWH")
# ‹לְזַרְעֲךָ אֶתֵּן אֶת־הָאָרֶץ הַזֹּאת› (“to-seed-you/your set obj-marker
# the-earth the-this”) — fact holds: to-zarakha-etten-obj-marker-the-earth-
# the-this
m.fact("le_zarakha_etten_et_ha_aretz_ha_zot")
# ‹וַיִּבֶן שָׁם מִזְבֵּחַ לַיהוָה הַנִּרְאֶה אֵלָיו› (“and-build there
# altar to-YHWH the-see to-him/its”) — event: build — agent Abram; theme
# altar-Shechem
m.event("build", agent="avram", themes=["mizbeach_shekhem"])
# ‹מִזְבֵּחַ› (“altar”) — the world gains: altar-Shechem
m.install("mizbeach_shekhem")

# -------------------------- Gen.12.8 · THE_TENT_THE_SECOND_ALTAR_THE_NAME_CALLED -
# וַיַּעְתֵּק מִשָּׁם הָהָרָה מִקֶּדֶם לְבֵית־אֵל וַיֵּט אָהֳלֹה בֵּית־אֵל
# מִיָּם וְהָעַי מִקֶּדֶם וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה וַיִּקְרָא בְּשֵׁם
# יְהוָה
# "And he removed from thence unto the mountain on the east of Beth-el, and
# pitched his tent, having Beth-el on the west, and Ai on the east; and he
# builded there an altar unto the LORD, and called upon the name of the
# LORD."
m.step("Gen.12.8")
# ‹וַיַּעְתֵּק מִשָּׁם הָהָרָה מִקֶּדֶם לְבֵית־אֵל› (“and-moved-on from-
# there the-mountain-ward from-the-east to Beth-el”) — event: move-on —
# agent Abram
m.event("move_on", agent="avram")
# ‹וַיֵּט אָהֳלֹה בֵּית־אֵל מִיָּם וְהָעַי מִקֶּדֶם› (“and-stretch tent-
# him/its Beth-el from-seas and-the-Ai from-the-east”) — event: pitch —
# agent Abram; theme ohel
m.event("pitch", agent="avram", themes=["ohel"])
# ‹וַיִּבֶן־שָׁם מִזְבֵּחַ לַיהוָה› (“and-build there altar to-YHWH”) —
# event: build — agent Abram; theme altar-beit-to
m.event("build", agent="avram", themes=["mizbeach_beit_el"])
# ‹מִזְבֵּחַ› (“altar”) — the world gains: altar-beit-to
m.install("mizbeach_beit_el")
# ‹וַיִּקְרָא בְּשֵׁם יְהוָה› (“and-call in-name YHWH”) — event: call —
# agent Abram; theme in-name-the-LORD
m.event("call", agent="avram", themes=["be_shem_YHWH"])
# reads without prior install (flag, not fix): beit-to, the-ai
m.presupposed("beit_el", "ha_ai")

# -------------------------- Gen.12.9 · THE_ROAD_SOUTH_STAYS_OPEN -----------
# וַיִּסַּע אַבְרָם הָלוֹךְ וְנָסוֹעַ הַנֶּגְבָּה
# "And Abram journeyed, going on still toward the South."
m.step("Gen.12.9")
# ‹וַיִּסַּע אַבְרָם הָלוֹךְ וְנָסוֹעַ הַנֶּגְבָּה› (“and-journey Abram
# walk/go and-journey the-south-ward”) — event: journey — agent Abram
m.event("journey", agent="avram")
# reads without prior install (flag, not fix): the-negev
m.presupposed("ha_negev")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'mizbeach_shekhem', 'mizbeach_beit_el'}
    assert m.presupposed_set() == {'beit_el', 'eretz_kenaan', 'charan', 'ha_negev', 'shekhem', 'ha_ai'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['heyeh(avram, berakhah)']
    assert len(m.SPECS["log"]) == 2
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 6}
    assert sorted(m.WORLD["facts"]) == sorted(['lekh_lekha_me_artzekha_u_mi_moladtekha_u_mi_beit_avikha', 'e_eskha_le_goy_gadol', 'va_avarekhkha_va_agadlah_shmekha', 'va_avarakhah_mevarakhekha', 'u_meqallelkha_aor', 've_nivrekhu_vekha_kol_mishpechot_ha_adamah', 'ka_asher_dibber_elav_YHWH', 'avram_ben_75_shanah_be_tzeto_me_charan', 'kol_rekhusham_asher_rakhashu', 've_et_ha_nefesh_asher_asu_ve_charan', 've_ha_kenaani_az_ba_aretz', 'le_zarakha_etten_et_ha_aretz_ha_zot'])
    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.