Cain's line and Seth: the first city, the crafts, seventy-seven, calling on the Name (4:17-26) MODEL · REV 4 · GATES GREEN

תּוֹלְדֹת קַיִן וָשֵׁת — אָז הוּחַל לִקְרֹא בְּשֵׁם יְהוָה · toledot Kayin va-Shet — az huchal likro be-shem YHWH · the generations of Cain and Seth — 'then calling on the Name of YHWH was begun'

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.4.17 · parser unique · 17 words

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

Gen.4.18 · parser unique · 16 words

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

Gen.4.19 · parser unique · 11 words

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

Gen.4.20 · parser unique · 10 words

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

Gen.4.21 · parser unique · 10 words

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

Gen.4.22 · parser unique · 16 words

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

Gen.4.23 · parser unique · 17 words

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

Gen.4.24 · parser unique · 7 words

PHRASE (binary 7w) כִּ֥י שִׁבְעָתַ֖יִם יֻקַּם קָ֑יִן וְ/לֶ֖מֶךְ שׁ…
├── PHRASE (binary 4w) כִּ֥י שִׁבְעָתַ֖יִם יֻקַּם קָ֑יִן
│   ├── [0-1] GLUE כִּ֥י שִׁבְעָתַ֖יִם (tifcha, rank=2)
│   └── [2-3] GLUE יֻקַּם קָ֑יִן (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וְ/לֶ֖מֶךְ שִׁבְעִ֥ים וְ/שִׁבְעָֽה
    ├── [4] וְ/לֶ֖מֶךְ (tifcha, rank=2)
    └── [5-6] GLUE שִׁבְעִ֥ים וְ/שִׁבְעָֽה (silluq (verse-end emperor), rank=1)

Gen.4.25 · parser unique · 22 words

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

Gen.4.26 · parser unique · 14 words

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

Word coverage — 140/140 words with named roles

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

unit: gen_13_cain_line_seth — Cain's line and Seth: the first city, the crafts, seventy-seven, calling on the Name (4:17-26) [frozen]

final state: WORLD=['ir'] (+4 presupposed) | REGISTRY={'ir': 'Chanokh', 'shet': 'Shet', 'enosh': 'Enosh'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'spec_delta', 'named_before_any_presence', 'read_before_install', 'read_before_install', 'named_before_any_presence']

=== S1 — The wanderer builds — the first human WORLD install: after STEP_Gn_4_17
    וַיְהִי בֹּנֶה עִיר (va-yehi boneh ir)
    PASS  WORLD = {ir}  (created=['ir'])
    PASS  REGISTRY: ir->Chanokh (1 writes)  (names={'ir': 'Chanokh'} writes=1)
    PASS  SPECS empty  (queue=0)
    PASS  flags kayin/eshet_kayin as read-before-install.  (flagged=['eshet_kayin', 'kayin'])

=== S2 — The begetting chain leaves no register trace: after STEP_Gn_4_18
    וּמְתוּשָׁאֵל יָלַד אֶת־לָמֶךְ (u-Metushael yalad et-Lamekh)
    PASS  WORLD = {ir}  (created=['ir'])
    PASS  SPECS empty.  (queue=0)

=== S3 — Polygamy recorded, not evaluated: after STEP_Gn_4_19
    שְׁתֵּי נָשִׁים (shtei nashim)
    PASS  Facts shte_nashim_le_lemekh/shem_ha_achat_adah/shem_ha_shenit_tzilah HOLD  (3 facts)
    PASS  SPECS empty.  (queue=0)

=== S4 — The crafts registry standing: after STEP_Gn_4_22
    אֲבִי … אֲבִי … לֹטֵשׁ (avi … avi … lotesh)
    PASS  Facts avi_yoshev_ohel_u_mikneh/avi_kol_tofes_kinor_ve_ugav/lotesh_kol_choresh_nechoshet_u_varzel/achot_tuval_kayin_naamah HOLD  (8 facts)
    PASS  WORLD = {ir}.  (created=['ir'])

=== S5 — The sword-song — a human pushes the queue: after STEP_Gn_4_23
    שְׁמַעַן קוֹלִי (shemaan qoli)
    PASS  LET(shema(neshei_lemekh, qol_lemekh)) pushed and OPEN  (queue=['shema(neshei_lemekh, qol_lemekh)'])
    PASS  Facts ish_haragti_le_fitzi_ve_yeled_le_chaburati HOLD.  (9 facts)

=== S6 — Seventy-seven — the machine flags and refuses: after STEP_Gn_4_24
    שִׁבְעִים וְשִׁבְעָה (shivim ve-shivah)
    PASS  machine flags spec-delta  (flags=['read_before_install', 'spec_delta'])
    PASS  LET(shema(neshei_lemekh, qol_lemekh)) pushed and OPEN.  (queue=['shema(neshei_lemekh, qol_lemekh)'])

=== S7 — The replacement seed: after STEP_Gn_4_25
    זֶרַע אַחֵר תַּחַת הֶבֶל (zera acher tachat Hevel)
    PASS  Facts shat_li_elohim_zera_acher_tachat_hevel/harago_kayin_named_in_speech HOLD  (11 facts)
    PASS  flags adam/eshet_adam as read-before-install.  (flagged=['adam', 'eshet_adam', 'eshet_kayin', 'kayin'])

=== S8 — The calling and the fork — the unit ends owing: after STEP_Gn_4_26
    אָז הוּחַל לִקְרֹא בְּשֵׁם יְהוָה (az huchal likro be-shem YHWH)
    PASS  WORLD = {ir}  (created=['ir'])
    PASS  Facts huchal_likro_be_shem_YHWH HOLD  (12 facts)
    PASS  LET(shema(neshei_lemekh, qol_lemekh)) pushed and OPEN.  (queue=['shema(neshei_lemekh, qol_lemekh)'])

=== S9_negative — Negative: the machine's ? stays guarded
    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 canonical YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_13_cain_line_seth.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# TorahSim — (c) 2026 Brian LeBlanc · MIT license (see LICENSE at repo root)
# =============================================================================
# gen_13_cain_line_seth — 4:17-26
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_13_cain_line_seth.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.
# =============================================================================
"""Cain's line and Seth: the first city, the crafts, seventy-seven, calling on the Name (4:17-26)"""
from machine import Machine

m = Machine("gen_13_cain_line_seth")

# -------------------------- Gen.4.17 · FIRST_CITY_BUILT_NAMED --------------
# וַיֵּדַע קַיִן אֶת־אִשְׁתּוֹ וַתַּהַר וַתֵּלֶד אֶת־חֲנוֹךְ וַיְהִי בֹּנֶה
# עִיר וַיִּקְרָא שֵׁם הָעִיר כְּשֵׁם בְּנוֹ חֲנוֹךְ
# "And Cain knew his wife; and she conceived, and bore Enoch; and he builded
# a city, and called the name of the city after the name of his son Enoch."
m.step("Gen.4.17")
# ‹וַיֵּדַע קַיִן אֶת־אִשְׁתּוֹ וַתַּהַר וַתֵּלֶד אֶת־חֲנוֹךְ› (“and-he-knew
# Cain obj-marker his-wife and-she-conceived and-she-bore obj-marker Enoch”)
# — event: bear — agent wife-of-Cain; theme Enoch
m.event("bear", agent="eshet_kayin", themes=["chanokh"])
# ‹וַיְהִי בֹּנֶה עִיר› (“and-he-was building city”) — the world gains: city
m.install("ir")
# ‹וַיִּקְרָא שֵׁם הָעִיר כְּשֵׁם בְּנוֹ חֲנוֹךְ› (“and-he-called name-of
# the-city like-name-of his-son Enoch”) — named: city := Chanokh
m.name("ir", "Chanokh")
# reads without prior install (flag, not fix): Cain, wife-of-Cain
m.presupposed("kayin", "eshet_kayin")
# witness-tier presupposed read: immortality_bid on build_and_name — read,
# not installed
m.witness_read("build_and_name", "immortality_bid",
                cites=["Bereshit Rabbah 23:1"])

# -------------------------- Gen.4.18 · BEGETTING_CHAIN_FOUR_LINKS ----------
# וַיִּוָּלֵד לַחֲנוֹךְ אֶת־עִירָד וְעִירָד יָלַד אֶת־מְחוּיָאֵל
# וּמְחִיּיָאֵל יָלַד אֶת־מְתוּשָׁאֵל וּמְתוּשָׁאֵל יָלַד אֶת־לָמֶךְ
# "And unto Enoch was born Irad; and Irad begot Mehujael; and Mehujael begot
# Methushael; and Methushael begot Lamech."
m.step("Gen.4.18")
# ‹וַיִּוָּלֵד לַחֲנוֹךְ אֶת־עִירָד› (“and-was-born to-Enoch obj-marker
# Irad”) — event: born — theme Irad
m.event("born", themes=["irad"])
# ‹וְעִירָד יָלַד אֶת־מְחוּיָאֵל› (“and-Irad begot obj-marker Mehujael”) —
# event: beget — agent Irad; theme Mehujael
m.event("beget", agent="irad", themes=["mechuyael"])
# ‹וּמְחִיּיָאֵל יָלַד אֶת־מְתוּשָׁאֵל› (“and-Mehijael begot obj-marker
# Methusael”) — event: beget — agent Mehujael; theme Methusael
m.event("beget", agent="mechuyael", themes=["metushael"])
# ‹וּמְתוּשָׁאֵל יָלַד אֶת־לָמֶךְ› (“and-Methusael begot obj-marker Lamech”)
# — event: beget — agent Methusael; theme Lamech
m.event("beget", agent="metushael", themes=["lemekh"])
# witness-tier presupposed read: decree_verbs_sentence_ledger on line_names
# — read, not installed
m.witness_read("line_names", "decree_verbs_sentence_ledger",
                cites=["Bereshit Rabbah 23:2", "Jerusalem Talmud Yevamot 6:5:3"])

# -------------------------- Gen.4.19 · FIRST_POLYGAMY ----------------------
# וַיִּקַּח־לוֹ לֶמֶךְ שְׁתֵּי נָשִׁים שֵׁם הָאַחַת עָדָה וְשֵׁם הַשֵּׁנִית
# צִלָּה
# "And Lamech took unto him two wives; the name of the one was Adah, and the
# name of the other Zillah."
m.step("Gen.4.19")
# ‹וַיִּקַּח־לוֹ לֶמֶךְ שְׁתֵּי נָשִׁים› (“and-he-took for-himself Lamech
# two wives”) — event: take — agent Lamech; theme two-of-wives
m.event("take", agent="lemekh", themes=["shte_nashim"])
# ‹שֵׁם הָאַחַת עָדָה וְשֵׁם הַשֵּׁנִית צִלָּה› (“name-of the-first Adah
# and-name-of the-second Tzillah”) — fact holds: two-of-wives-to-Lamech;
# name-of-the-first-Adah; name-of-the-second-Tzillah
m.fact("shte_nashim_le_lemekh",
       "shem_ha_achat_adah",
       "shem_ha_shenit_tzilah")

# -------------------------- Gen.4.20 · OFFICE_TENT_AND_HERD ----------------
# וַתֵּלֶד עָדָה אֶת־יָבָל הוּא הָיָה אֲבִי יֹשֵׁב אֹהֶל וּמִקְנֶה
# "And Adah bore Jabal; he was the father of such as dwell in tents and have
# cattle."
m.step("Gen.4.20")
# ‹וַתֵּלֶד עָדָה אֶת־יָבָל› (“and-she-bore Adah obj-marker Yaval”) — event:
# bear — agent Adah; theme Yaval
m.event("bear", agent="adah", themes=["yaval"])
# ‹הוּא הָיָה אֲבִי יֹשֵׁב אֹהֶל וּמִקְנֶה› (“he was father-of dweller-of
# tent and-herds”) — fact holds: father-of-dweller-of-tent-and-
# livestock(Yaval)
m.fact("avi_yoshev_ohel_u_mikneh(yaval)")

# -------------------------- Gen.4.21 · OFFICE_HARP_AND_PIPE ----------------
# וְשֵׁם אָחִיו יוּבָל הוּא הָיָה אֲבִי כָּל־תֹּפֵשׂ כִּנּוֹר וְעוּגָב
# "And his brother's name was Jubal; he was the father of all such as handle
# the harp and pipe."
m.step("Gen.4.21")
# ‹וְשֵׁם אָחִיו יוּבָל הוּא הָיָה אֲבִי כָּל־תֹּפֵשׂ כִּנּוֹר וְעוּגָב›
# (“and-name-of his-brother Yuval he was father-of all handler-of harp and-
# pipe”) — fact holds: name-of-his-brother-Yuval; father-of-all-handler-of-
# harp-and-pipe(Yuval)
m.fact("shem_achiv_yuval",
       "avi_kol_tofes_kinor_ve_ugav(yuval)")

# -------------------------- Gen.4.22 · OFFICE_BRONZE_IRON_SISTER -----------
# וְצִלָּה גַם־הִוא יָלְדָה אֶת־תּוּבַל קַיִן לֹטֵשׁ כָּל־חֹרֵשׁ נְחֹשֶׁת
# וּבַרְזֶל וַאֲחוֹת תּוּבַל־קַיִן נַעֲמָה
# "And Zillah, she also bore Tubal-cain, the forger of every cutting
# instrument of brass and iron; and the sister of Tubal-cain was Naamah."
m.step("Gen.4.22")
# ‹וְצִלָּה גַם־הִוא יָלְדָה אֶת־תּוּבַל קַיִן› (“and-Tzillah also she bore
# obj-marker Tuval Kayin”) — event: bear — agent Tzillah; theme Tuval-Cain
m.event("bear", agent="tzilah", themes=["tuval_kayin"])
# ‹לֹטֵשׁ כָּל־חֹרֵשׁ נְחֹשֶׁת וּבַרְזֶל וַאֲחוֹת תּוּבַל־קַיִן נַעֲמָה›
# (“hammerer-of every craftsman-of bronze and-iron and-sister-of Tuval Kayin
# Naamah”) — fact holds: hammerer-of-all-craftsman-of-bronze-and-iron(Tuval-
# Cain); sister-of-Tuval-Cain-Naamah
m.fact("lotesh_kol_choresh_nechoshet_u_varzel(tuval_kayin)",
       "achot_tuval_kayin_naamah")
# witness-tier presupposed read: origin_of_the_weapons_trade on
# smith_install — read, not installed
m.witness_read("smith_install", "origin_of_the_weapons_trade",
                cites=["Bereshit Rabbah 23:3"])

# -------------------------- Gen.4.23 · SWORD_SONG_FIRST_HUMAN_IMPERATIVES --
# וַיֹּאמֶר לֶמֶךְ לְנָשָׁיו עָדָה וְצִלָּה שְׁמַעַן קוֹלִי נְשֵׁי לֶמֶךְ
# הַאְזֵנָּה אִמְרָתִי כִּי אִישׁ הָרַגְתִּי לְפִצְעִי וְיֶלֶד לְחַבֻּרָתִי
# "And Lamech said unto his wives: Adah and Zillah, hear my voice; ye wives
# of Lamech, hearken unto my speech; for I have slain a man for wounding me,
# and a young man for bruising me."
m.step("Gen.4.23")
# ‹וַיֹּאמֶר לֶמֶךְ לְנָשָׁיו עָדָה וְצִלָּה› (“and-he-said Lamech to-his-
# wives Adah and-Tzillah”) — event: say — agent Lamech; theme wives-of-
# Lamech
m.event("say", agent="lemekh", themes=["neshei_lemekh"])
# ‹שְׁמַעַן קוֹלִי … הַאְזֵנָּה אִמְרָתִי› (“hear my-voice … give-ear my-
# speech”) — Lamech speaks a demand — LET: hear(wives-of-Lamech, voice-
# Lamech)
m.declare("lemekh", "LET",
          "shema(neshei_lemekh, qol_lemekh)")
# ‹כִּי אִישׁ הָרַגְתִּי לְפִצְעִי וְיֶלֶד לְחַבֻּרָתִי› (“for a-man I-have-
# killed for-my-wound and-a-boy for-my-bruise”) — fact holds: a-man-I-have-
# killed-to-fitzi-and-a-boy-to-my-wound
m.fact("ish_haragti_le_fitzi_ve_yeled_le_chaburati")

# -------------------------- Gen.4.24 · QUOTE_DIFF_SEVENTY_SEVEN ------------
# כִּי שִׁבְעָתַיִם יֻקַּם־קָיִן וְלֶמֶךְ שִׁבְעִים וְשִׁבְעָה
# "If Cain shall be avenged sevenfold, truly Lamech seventy and sevenfold."
m.step("Gen.4.24")
# ‹כִּי שִׁבְעָתַיִם יֻקַּם־קָיִן וְלֶמֶךְ שִׁבְעִים וְשִׁבְעָה› (“if
# sevenfold shall-be-avenged Cain then-Lamech seventy and-seven”) — spec-
# delta — spec said all-slayer Kayin sevenfold shall-be-avenged — issuer
# the-LORD, decree with mark (4:15, frozen gen-12), delivery says for
# sevenfold shall-be-avenged-Kayin and-Lemekh seventy and-seven — issuer
# Lamech, boast, multiplier x11, target self, ratification NONE (4:24)
m.spec_delta("kol-horeg Kayin shivatayim yukam — issuer YHWH, decree with mark (4:15, frozen gen_12)",
             "ki shivatayim yukam-Kayin ve-Lemekh shivim ve-shivah — issuer lemekh, boast, multiplier x11, target self, ratification NONE (4:24)")
# witness-grounded state (its own tier): graded_flawed_yet_canonical on
# lemekh_inference
m.witness_state("lemekh_inference", "graded_flawed_yet_canonical",
                cites=["Bereshit Rabbah 23:4", "Jerusalem Talmud Sanhedrin 10:1:10"])

# -------------------------- Gen.4.25 · SETH_REPLACEMENT_SEED ---------------
# וַיֵּדַע אָדָם עוֹד אֶת־אִשְׁתּוֹ וַתֵּלֶד בֵּן וַתִּקְרָא אֶת־שְׁמוֹ שֵׁת
# כִּי שָׁת־לִי אֱלֹהִים זֶרַע אַחֵר תַּחַת הֶבֶל כִּי הֲרָגוֹ קָיִן
# "And Adam knew his wife again; and she bore a son, and called his name
# Seth: 'for God hath appointed me another seed instead of Abel; for Cain
# slew him.'"
m.step("Gen.4.25")
# ‹וַיֵּדַע אָדָם עוֹד אֶת־אִשְׁתּוֹ וַתֵּלֶד בֵּן› (“and-he-knew Adam again
# obj-marker his-wife and-she-bore son”) — event: bear — agent wife-of-Adam;
# theme Shet
m.event("bear", agent="eshet_adam", themes=["shet"])
# ‹וַתִּקְרָא אֶת־שְׁמוֹ שֵׁת› (“and-she-called obj-marker his-name Shet”) —
# named: Shet := Shet
m.name("shet", "Shet")
# ‹כִּי שָׁת־לִי אֱלֹהִים זֶרַע אַחֵר תַּחַת הֶבֶל כִּי הֲרָגוֹ קָיִן› (“for
# Shet to-me God seed another in-place-of Abel for killed-him Cain”) — fact
# holds: has-SET-to-me-God-seed-another-place-of-Abel; slew-him-Cain-named-
# in-speech
m.fact("shat_li_elohim_zera_acher_tachat_hevel",
       "harago_kayin_named_in_speech")
# reads without prior install (flag, not fix): Adam, wife-of-Adam
m.presupposed("adam", "eshet_adam")
# witness-tier presupposed read: messianic_root_and_image_line_cut on
# seth_install — read, not installed
m.witness_read("seth_install", "messianic_root_and_image_line_cut",
                cites=["Bereshit Rabbah 23:5", "Bereshit Rabbah 23:6"])

# -------------------------- Gen.4.26 · ENOSH_CALLING_ON_THE_NAME -----------
# וּלְשֵׁת גַּם־הוּא יֻלַּד־בֵּן וַיִּקְרָא אֶת־שְׁמוֹ אֱנוֹשׁ אָז הוּחַל
# לִקְרֹא בְּשֵׁם יְהוָה
# "And to Seth, to him also there was born a son; and he called his name
# Enosh; then began men to call upon the name of the LORD."
m.step("Gen.4.26")
# ‹וּלְשֵׁת גַּם־הוּא יֻלַּד־בֵּן› (“and-to-Seth also he was-born son”) —
# event: born — theme Enosh
m.event("born", themes=["enosh"])
# ‹וַיִּקְרָא אֶת־שְׁמוֹ אֱנוֹשׁ› (“and-he-called obj-marker his-name
# Enosh”) — named: Enosh := Enosh
m.name("enosh", "Enosh")
# ‹אָז הוּחַל לִקְרֹא בְּשֵׁם יְהוָה› (“then was-begun to-call in-name-of
# YHWH”) — fact holds: was-begun-to-call-in-name-of-the-LORD
m.fact("huchal_likro_be_shem_YHWH")
# witness-tier presupposed read: rebellion_census_on_a_unique_passive on
# huchal — read, not installed
m.witness_read("huchal", "rebellion_census_on_a_unique_passive",
                cites=["Bereshit Rabbah 23:7", "Mekhilta DeRabbi Yishmael, Tractate Bachodesh 6:9"])

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'ir'}
    assert m.presupposed_set() == {'adam', 'eshet_adam', 'eshet_kayin', 'kayin'}
    assert m.REGISTRY["names"] == {'ir': 'Chanokh', 'shet': 'Shet', 'enosh': 'Enosh'}
    assert m.REGISTRY["writes"] == 3
    assert m.tests_list() == []
    assert m.open_demands() == ['shema(neshei_lemekh, qol_lemekh)']
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 4, 'spec_delta': 1, 'named_before_any_presence': 2}
    assert sorted(m.WORLD["facts"]) == sorted(['shte_nashim_le_lemekh', 'shem_ha_achat_adah', 'shem_ha_shenit_tzilah', 'avi_yoshev_ohel_u_mikneh(yaval)', 'shem_achiv_yuval', 'avi_kol_tofes_kinor_ve_ugav(yuval)', 'lotesh_kol_choresh_nechoshet_u_varzel(tuval_kayin)', 'achot_tuval_kayin_naamah', 'ish_haragti_le_fitzi_ve_yeled_le_chaburati', 'shat_li_elohim_zera_acher_tachat_hevel', 'harago_kayin_named_in_speech', 'huchal_likro_be_shem_YHWH'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 15
    assert sorted(m.WORLD["witnessed"]) == ['lemekh_inference']
    assert m.WORLD["witnessed"]['lemekh_inference']["cites"] == ['Bereshit Rabbah 23:4', 'Jerusalem Talmud Sanhedrin 10:1:10']
    assert all('graded_flawed_yet_canonical' not in f for f in m.WORLD["facts"])
    assert [(w["entity"], w["state"]) for w in m.WITNESS_READS] == [('build_and_name', 'immortality_bid'), ('line_names', 'decree_verbs_sentence_ledger'), ('smith_install', 'origin_of_the_weapons_trade'), ('seth_install', 'messianic_root_and_image_line_cut'), ('huchal', 'rebellion_census_on_a_unique_passive')]
    assert m.WITNESS_READS[0]["cites"] == ['Bereshit Rabbah 23:1']
    assert all('immortality_bid' not in f for f in m.WORLD["facts"])
    assert 'build_and_name' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[1]["cites"] == ['Bereshit Rabbah 23:2', 'Jerusalem Talmud Yevamot 6:5:3']
    assert all('decree_verbs_sentence_ledger' not in f for f in m.WORLD["facts"])
    assert 'line_names' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[2]["cites"] == ['Bereshit Rabbah 23:3']
    assert all('origin_of_the_weapons_trade' not in f for f in m.WORLD["facts"])
    assert 'smith_install' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[3]["cites"] == ['Bereshit Rabbah 23:5', 'Bereshit Rabbah 23:6']
    assert all('messianic_root_and_image_line_cut' not in f for f in m.WORLD["facts"])
    assert 'seth_install' not in m.WORLD["witnessed"]
    assert m.WITNESS_READS[4]["cites"] == ['Bereshit Rabbah 23:7', 'Mekhilta DeRabbi Yishmael, Tractate Bachodesh 6:9']
    assert all('rebellion_census_on_a_unique_passive' not in f for f in m.WORLD["facts"])
    assert 'huchal' not in m.WORLD["witnessed"]
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

Rendered 2026-08-30 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.