Genesis boot: create world, light, separate, name, day one (1:1-5) FROZEN

בְּרֵאשִׁית — אִתְחוּל הַבְּרִיאָה (יוֹם אֶחָד) · bereshit — itchul ha-beri'ah (yom echad) · Bereshit — start of creation (one day)

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

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

Gen.1.2 · parser unique · 14 words

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

Gen.1.3 · parser unique · 6 words

PHRASE (binary 6w) וַ/יֹּ֥אמֶר אֱלֹהִ֖ים יְהִ֣י א֑וֹר וַֽ/יְהִי אֽ…
├── PHRASE (binary 4w) וַ/יֹּ֥אמֶר אֱלֹהִ֖ים יְהִ֣י א֑וֹר
│   ├── [0-1] GLUE וַ/יֹּ֥אמֶר אֱלֹהִ֖ים (tifcha, rank=2)
│   └── [2-3] GLUE יְהִ֣י א֑וֹר (etnachta (major mid-verse rest), rank=1)
└── [4-5] GLUE וַֽ/יְהִי אֽוֹר (silluq (verse-end emperor), rank=1)

Gen.1.4 · parser unique · 12 words

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

Gen.1.5 · parser unique · 13 words

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

Word coverage — 52/52 words with named roles

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

unit: gen_01_creation_boot — Genesis boot: create world, light, separate, name, day one (1:1-5) [frozen]

final state: WORLD=['aretz', 'or', 'shamayim'] (+4 presupposed) | REGISTRY={'or': 'yom', 'choshekh': 'layla'} | TESTS=1 PASS | LEDGER days=[1] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'read_before_install']

=== S1 — Boot: after STEP_Gn_1_1
    אֵת הַשָּׁמַיִם וְאֵת הָאָרֶץ (et ha-shamayim ve-et ha-aretz)
    PASS  WORLD = {shamayim, aretz}  (created=['aretz', 'shamayim'])
    PASS  TIME t0 = reshit  (t0=reshit)
    PASS  SPECS empty  (queue=0)
    PASS  no test, no name.  (tests=0 names=0)

=== S2 — Precondition load: after STEP_Gn_1_2
    תֹהוּ וָבֹהוּ (tohu va-vohu)
    PASS  Facts tohu/vohu/darkness-over-deep HOLD  (2 facts)
    PASS  hover INVARIANT active  (invariants=['hover(ruach-Elohim, face(mayim))'])
    PASS  ZERO events fired  (events_in_step=0)
    PASS  machine flags choshekh/tehom/mayim/ruach as read-before-install (presupposed).  (flagged=['choshekh', 'mayim', 'ruach', 'tehom'])

=== S3 — Fiat: after STEP_Gn_1_3
    יְהִי אוֹר (yehi or)
    PASS  SPECS: LET(exists(or)) pushed then satisfied in the SAME verse (latency 0)  (pushed=Gen.1.3 satisfied=Gen.1.3)
    PASS  WORLD += or  (entity={'mode': 'created', 'by': 'fiat-result', 'step': 'Gen.1.3'})
    PASS  triple {P} yehi-or {exists(or)} discharged.  (triples=[{'q': 'exists(or)', 'step': 'Gen.1.3', 'discharged': True}])

=== S4 — Test + partition: after STEP_Gn_1_4
    כִּי־טוֹב (ki-tov)
    PASS  TESTS += PASS(tov, or)  (tests=[('tov', 'or')])
    PASS  partition or ∩ choshekh = ∅ recorded.  (partitions=[('or', 'choshekh')])

=== S5 — Name + commit: after STEP_Gn_1_5
    יוֹם אֶחָד (yom echad)
    PASS  REGISTRY: or->yom, choshekh->layla (2 writes)  (names={'or': 'yom', 'choshekh': 'layla'} writes=2)
    PASS  LEDGER[day 1] committed with spec ✓ / test PASS / names 2  (entry={'closed': True, 'spec_ok': True, 'test_pass': True, 'names': 2, 'label_form': 'cardinal', 'label_he': 'יוֹם אֶחָד', 'label_translit': 'yom echad', 'step': 'Gen.1.5'})
    PASS  day label is CARDINAL echad.  (label=yom echad form=cardinal)

=== S6_negative — Negative: commit without test
    PASS  commit proceeded (not blocked)  (LEDGER=[99])
    PASS  pattern deviation FLAGGED  (flags=['commit_without_test'])

=== S7_negative — Negative: LET? never auto-upgrades
    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)

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

#!/usr/bin/env python3
# =============================================================================
# gen_01_creation_boot — 1:1-5
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_01_creation_boot.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.
# =============================================================================
"""Genesis boot: create world, light, separate, name, day one (1:1-5)"""
from machine import Machine

m = Machine("gen_01_creation_boot")

# -------------------------- Gen.1.1 · EVENT_CREATE -------------------------
# בְּרֵאשִׁית בָּרָא אֱלֹהִים אֵת הַשָּׁמַיִם וְאֵת הָאָרֶץ
# "[EN-AID] In the beginning God created the heavens and the earth."
m.step("Gen.1.1")
# clock anchored: t0 := beginning
m.time_anchor("reshit")
# ‹אֵת הַשָּׁמַיִם וְאֵת הָאָרֶץ› (“obj-marker the-heavens and-obj-marker
# the-earth”) — event: create — agent God; theme heavens, earth
m.event("create", agent="Elohim", themes=["shamayim", "aretz"])
# the world gains: heavens, earth
m.install("shamayim", "aretz")

# -------------------------- Gen.1.2 · STATE_BLOCK --------------------------
# וְהָאָרֶץ הָיְתָה תֹהוּ וָבֹהוּ וְחֹשֶׁךְ עַל־פְּנֵי תְהוֹם וְרוּחַ
# אֱלֹהִים מְרַחֶפֶת עַל־פְּנֵי הַמָּיִם
# "[EN-AID] The earth was formless and void, darkness over the deep, God's
# spirit hovering over the waters."
m.step("Gen.1.2")
# fact holds: formless(earth) ∧ void(earth); over(darkness, face(deep))
m.fact("tohu(aretz) ∧ vohu(aretz)",
       "over(choshekh, face(tehom))")
# ‹מְרַחֶפֶת› (“hovering”) — standing constraint: hover(spirit-God,
# face(waters))
m.invariant("hover(ruach-Elohim, face(mayim))")
# note: zero events in this verse
m.note_zero_events()
# reads without prior install (flag, not fix): darkness, deep, waters,
# spirit
m.presupposed("choshekh", "tehom", "mayim", "ruach")

# -------------------------- Gen.1.3 · DECLARE_LET_RESULT -------------------
# וַיֹּאמֶר אֱלֹהִים יְהִי אוֹר וַיְהִי־אוֹר
# "[EN-AID] God said: let there be light — and there was light."
m.step("Gen.1.3")
# ‹יְהִי אוֹר› (“let-there-be light”) — God speaks a demand — LET:
# exists(light)
m.declare("Elohim", "LET",
          "exists(or)")
# open question logged: exists(light)
m.triple("exists(or)")
# ‹וַיְהִי־אוֹר› (“and-there-was light”) — demand settled (popped from the
# queue): exists(light)
m.result("exists(or)", tmark="t1")

# -------------------------- Gen.1.4 · TEST_AND_PARTITION -------------------
# וַיַּרְא אֱלֹהִים אֶת־הָאוֹר כִּי־טוֹב וַיַּבְדֵּל אֱלֹהִים בֵּין הָאוֹר
# וּבֵין הַחֹשֶׁךְ
# "[EN-AID] God saw the light, that it was good; and God divided the light
# from the darkness."
m.step("Gen.1.4")
# ‹כִּי־טוֹב› (“that good”) — test PASS — oracle-word good, on light
m.test("PASS", "tov", "or")
# ‹בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ› (“between the-light and-between the-
# darkness”) — partition between light and darkness
m.partition("or", "choshekh")

# -------------------------- Gen.1.5 · NAME_AND_COMMIT ----------------------
# וַיִּקְרָא אֱלֹהִים לָאוֹר יוֹם וְלַחֹשֶׁךְ קָרָא לָיְלָה וַיְהִי־עֶרֶב
# וַיְהִי־בֹקֶר יוֹם אֶחָד
# "[EN-AID] God called the light Day and the darkness Night; evening,
# morning — day one."
m.step("Gen.1.5")
# ‹לָאוֹר יוֹם … וְלַחֹשֶׁךְ … לָיְלָה› (“to-the-light Day … and-to-the-
# darkness … Night”) — named: light := Day; darkness := Night
m.name("or", "yom")
m.name("choshekh", "layla")
# ‹יוֹם אֶחָד› (“Day one”) — ledger: day 1 committed
m.commit(1, label_form="cardinal", label_translit="yom echad")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'aretz', 'shamayim', 'or'}
    assert m.presupposed_set() == {'choshekh', 'ruach', 'mayim', 'tehom'}
    assert m.REGISTRY["names"] == {'or': 'yom', 'choshekh': 'layla'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == [('PASS', 'tov', 'or')]
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == [1]
    assert m.flag_counts() == {'read_before_install': 4}
    assert sorted(m.WORLD["facts"]) == sorted(['tohu(aretz) ∧ vohu(aretz)', 'over(choshekh, face(tehom))'])
    assert m.WORLD["invariants"] == ['hover(ruach-Elohim, face(mayim))']
    assert m.WORLD["partitions"] == [('or', 'choshekh')]
    assert len(m.EVENTS) == 6
    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.