Day seven: completion and sanctity — the open transaction (2:1-3) FROZEN

יוֹם הַשְּׁבִיעִי — הַכְּלוּלָה וְהַקְּדֻשָּׁה · yom ha-shevi'i — ha-kelulah ve-ha-kedushah · the seventh day — the completion and the sanctity

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

PHRASE (binary 5w) וַ/יְכֻלּ֛וּ הַ/שָּׁמַ֥יִם וְ/הָ/אָ֖רֶץ וְ/כָל …
├── PHRASE (binary 3w) וַ/יְכֻלּ֛וּ הַ/שָּׁמַ֥יִם וְ/הָ/אָ֖רֶץ
│   ├── [0] וַ/יְכֻלּ֛וּ (tevir, rank=3)
│   └── [1-2] GLUE הַ/שָּׁמַ֥יִם וְ/הָ/אָ֖רֶץ (tifcha, rank=2)
└── [3-4] GLUE וְ/כָל צְבָאָֽ/ם (silluq (verse-end emperor), rank=1)

Gen.2.2 · parser unique · 14 words

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

Gen.2.3 · parser unique · 16 words

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

Word coverage — 35/35 words with named roles

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

unit: gen_07_completion_sanctity — Day seven: completion and sanctity — the open transaction (2:1-3) [frozen]

final state: WORLD=[] (+2 presupposed) | REGISTRY={'yom_ha_shevii': 'kadosh'} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'read_before_install', 'assigned_before_any_presence']

=== S1 — Agentless completion; nothing installed: after STEP_Gn_2_1
    וַיְכֻלּוּ (va-yekhulu)
    PASS  SPECS empty  (queue=0)
    PASS  machine flags shamayim/aretz as read-before-install (presupposed).  (flagged=['aretz', 'shamayim'])

=== S2 — Finish and cease — the quietest state in the corpus: after STEP_Gn_2_2
    וַיִּשְׁבֹּת (va-yishbot)
    PASS  no test, no name  (tests=0 names=0)
    PASS  SPECS empty.  (queue=0)

=== S3 — Blessed, sanctified, never committed — the open transaction: after STEP_Gn_2_3
    וַיְקַדֵּשׁ אֹתוֹ (va-yekadesh oto)
    PASS  REGISTRY: yom_ha_shevii->kadosh (1 write)  (names={'yom_ha_shevii': 'kadosh'} writes=1)
    PASS  machine flags yom_ha_shevii as assigned-before-presence  (flagged=['yom_ha_shevii'])
    PASS  LEDGER stays EMPTY (open transaction)  (ledger_days=[])
    PASS  SPECS empty.  (queue=0)

=== S4_negative — Negative: flags never block the ledger
    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_07_completion_sanctity.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_07_completion_sanctity — 2:1-3
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_07_completion_sanctity.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.
# =============================================================================
"""Day seven: completion and sanctity — the open transaction (2:1-3)"""
from machine import Machine

m = Machine("gen_07_completion_sanctity")

# -------------------------- Gen.2.1 · COMPLETION_PASSIVE -------------------
# וַיְכֻלּוּ הַשָּׁמַיִם וְהָאָרֶץ וְכָל־צְבָאָם
# "And the heaven and the earth were finished, and all the host of them."
m.step("Gen.2.1")
# ‹וַיְכֻלּוּ הַשָּׁמַיִם וְהָאָרֶץ וְכָל־צְבָאָם› (“and-they-were-finished
# the-heavens and-the-earth and-all their-host”) — event: complete — theme
# heavens, earth, their-host
m.event("complete", themes=["shamayim", "aretz", "tzevaam"])
# reads without prior install (flag, not fix): heavens, earth
m.presupposed("shamayim", "aretz")

# -------------------------- Gen.2.2 · COMPLETE_CEASE -----------------------
# וַיְכַל אֱלֹהִים בַּיּוֹם הַשְּׁבִיעִי מְלַאכְתּוֹ אֲשֶׁר עָשָׂה
# וַיִּשְׁבֹּת בַּיּוֹם הַשְּׁבִיעִי מִכָּל־מְלַאכְתּוֹ אֲשֶׁר עָשָׂה
# "And on the seventh day God finished His work which He had made; and He
# rested on the seventh day from all His work which He had made."
m.step("Gen.2.2")
# ‹וַיְכַל אֱלֹהִים בַּיּוֹם הַשְּׁבִיעִי מְלַאכְתּוֹ› (“and-he-finished God
# on-the-day the-seventh his-work”) — event: finish — agent God
m.event("finish", agent="Elohim")
# ‹וַיִּשְׁבֹּת בַּיּוֹם הַשְּׁבִיעִי מִכָּל־מְלַאכְתּוֹ› (“and-he-ceased
# on-the-day the-seventh from-all his-work”) — event: cease — agent God
m.event("cease", agent="Elohim")

# -------------------------- Gen.2.3 · BLESS_SANCTIFY -----------------------
# וַיְבָרֶךְ אֱלֹהִים אֶת־יוֹם הַשְּׁבִיעִי וַיְקַדֵּשׁ אֹתוֹ כִּי בוֹ
# שָׁבַת מִכָּל־מְלַאכְתּוֹ אֲשֶׁר־בָּרָא אֱלֹהִים לַעֲשׂוֹת
# "And God blessed the seventh day, and hallowed it; because that in it He
# rested from all His work which God in creating had made."
m.step("Gen.2.3")
# ‹וַיְבָרֶךְ אֱלֹהִים אֶת־יוֹם הַשְּׁבִיעִי› (“and-blessed God obj-marker
# day the-seventh”) — blessing: God blesses the-seventh-day
m.bless("Elohim", "yom_ha_shevii")
# ‹וַיְקַדֵּשׁ אֹתוֹ› (“and-sanctified it”) — role assigned: the-seventh-day
# -> holy
m.assign("yom_ha_shevii", "kadosh")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'aretz', 'shamayim'}
    assert m.REGISTRY["names"] == {'yom_ha_shevii': 'kadosh'}
    assert m.REGISTRY["writes"] == 1
    assert m.tests_list() == []
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 0
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 2, 'assigned_before_any_presence': 1}
    assert sorted(m.WORLD["facts"]) == sorted([])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 5
    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.