Day four: luminaries — jobs, calendar, dominion; three spec deltas (1:14-19) FROZEN

unit gen_04_lights_calendar · Genesis 1:14-19 · derive logic_derived_v1 · phase C-4

⇄ verse view — this span in the scroll (trees + morphology) · ☰ all derived units

יוֹם רְבִיעִי — הַמְּאוֹרוֹת וְהַלּוּחַ · yom revi'i — ha-me'orot ve-ha-luach · fourth day — the luminaries and the calendar

Derived 2026-07-30 at owner's order ("derive day 4"); FROZEN 2026-07-30 on owner approval ("freeze day 4"). First unit derived under the calibrated coverage protocol (charter section 4.1): the span's Onkelos was read Tier-A at derive time (single range fetch, logged in Data/FETCHLOG.md). At freeze, the interpreter gained the ASSIGN handler (day-3 NOTE_SPEC_DELTA precedent) and the unit was machine-verified.

Logic-derived v1: v3 ta'amim trees (glue bricks, pure binary) -> leaf role frames from OSHB morph -> operator lines citing TIR-026..033 -> machine-state scenarios (registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER). Compound machine names use underscores (maor_gadol, memshelet_yom) so scenario clauses stay checkable; display fields keep the hyphenated transliteration.

ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; record: logic/oral_audit/AUDIT_gen_04_2026-08-08.md; manifest 10/10 VERIFIED, zero FAILED). CROWNS (chain-attested + DB-verified). THE CURSE-SKELETON LUMINARIES [G04-01/02, Pesikta + Yerushalmi Taanit via Minchat Shai; Kitzur Baal HaTurim; the Ramah's census]: מארת ("luminaries," 1:14) is DOUBLY LEAN — no vav at all, the written skeleton of מארה ("curse"): the Pesikta reads "only the sun's orb was created to give light," the Yerushalmi hangs the Wednesday fast over the children's croup on it, and the Kitzur adds that the moon exists only so the sun would not be worshipped alone. The Ramah's census seals it: exactly TWO doubly-lean stations — יהי מארת ("let there be luminaries," 1:14) and את שני המארת ("the two luminaries," 1:16) — and the stream carries both, only these. THE LEAN SIGNS [G04-03, the Zohar's list via MS]: לאתת ("for signs," 1:14) lean in both slots, once in the Torah. THE HILLELI'S FULL FIRST VAV [G04-04, handwritten Masorah + the Hilleli codex + the Ramah via MS]: למאורת ("for luminaries," 1:15) full in the first vav, lean in the second — the reading of the 900-year-old Hilleli codex whose spelling list MS copied, matched in-stream. THE RAMAH'S LUMINARY-RULE VERIFIED WHOLE [G04-05/06/07]: "המאור ('the luminary') full, and every luminary-word in the Torah full — except ONE: שמן למאר ('oil for the light'), FIRST of the Terumah portion." SNAPSHOT: all seven article-stations full (the great and small lights of 1:16, the Tabernacle lamp-verses, the lamp-charge of Numbers), all four remaining למאור ("for the light") full, and the single lean למאר exactly at Exod 25:6 — the Ramah's own sign at his own address (the handwritten Masorah's "unique-and-lean" note on 1:16 loses to the Ramah and the precise books, and the stream sides with them). THE DIVIDED DIVIDE-WORD [G04-08/09/10, Et Sofer + Meiri's Kiryat Sefer + the divided books via MS]: ולהבדיל ("and to divide," 1:18) — Et Sofer and the Meiri rule the vav carries a geiya (the small stress-stroke); other books point the lamed with the hataf half-vowel instead of the plain silent half-vowel. SNAPSHOT writes BOTH marks — geiya on the vav AND hataf under the lamed — a mixed station joining the two camps, the half-vowel law's LAMED again (split-attested station 5, the water-troughs mix), and the word's accent is the zaqef qatan (the small two-dot pause) MS names. READINGS (named-only): R. Yehuda Chayyuj's rule via MS on ולמועדים ("and for seasons") — every vav that begins a word with the u-vowel is read as if it were an aleph carrying that vowel, "as we have received the reading generation after generation."

confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

step	name	comment	confidence
A	Block choice	Day-4 unit (1:14-19): the fullest work-order shape in the week so far — SPEC with a job list (1:14-15) -> receipt -> BUILD (1:16) -> INSTALL (1:17) -> delivered-purpose recap (1:18a) -> TEST -> COMMIT. It is also the integration unit: the spec references every prior unit's outputs (raqia/shamayim of day 2, aretz of days 1/3, the yom/lailah labels of day 1) and takes over a function Elohim performed personally on day 1.	established
B	Hebrew source + trees	All 6 verses via taamim_tree_parse.py rule set v3: status unique, pure_binary true. tree_ascii regenerated 2026-07-30 from DB tree_json.	tested
C	Segment structure	Verb morphology (#IMPOSED OSHB, DB-verified 2026-07-30): yehi Vqj3ms — QAL JUSSIVE SINGULAR — over me'orot Ncmpa PLURAL (number mismatch, machine-visible in the codes); ve-hayu C+Vqq3cp WEQATAL twice (1:14, 1:15 — the THEN-chain form, TIR-029); le-havdil R+Vhc and le-ha'ir R+Vhc and ve-li-meshol C+R+Vqc — lamed + infinitive construct, the PURPOSE frame (TIR-030); va-ya'as Vqw3ms (asah, not bara); va-yiten Vqw3ms; FOUR object markers in 1:16 (To x4) plus To+Sp3mp (otam) in 1:17 — the densest et-inventory since 1:1; revi'i Aomsa — the morphology itself tags the day label ORDINAL.	tested
D	Predicates & outcomes	SPEC: LET(exist lights, loc=raqia) + purpose(divide day/night) + THEN(jobs: signs, festivals, days+years) + THEN(be lights to shine on the earth) -> generic receipt (1:15, crossing a verse boundary and preceding the build narrative, as in 1:11). BUILD: asah delivers a DIFFERENTIATED inventory (great/small/stars) with an office each for the two lights (dominion of day / of night) — three letter-visible deltas against the spec. INSTALL: natan mounts them in the day-2 registry entity. RECAP restates the delegated separation at ENTITY level (or/choshekh) where the spec spoke at LABEL level (yom/lailah). TEST passes without an et-object. COMMIT ordinal, clean.	tested
E	Logic format choice	Operator lines + WORLD/REGISTRY writes + day-ledger row; ONE Hoare TRIPLE carries the acceptance contract of the spec; ASSIGN introduced for the dative role bindings (le-memshelet) — REGISTRY write of an OFFICE, deliberately distinct from NAME (no va-yiqra in this unit); interpreter vocabulary to be extended at verification (day-3 NOTE_SPEC_DELTA precedent).	established
F	Bilingual logic objects	Every operator line carries he + he_translit + en; register values keep Hebrew where the text supplies them (memshelet, revi'i). Compound machine identifiers use underscores for clause-checkability.	established
G	Oral (named only) + Tier-A translation check	Verified from local Data: JT Rosh Hashanah 2:8:4 (R. Simon on OUR ve-hayu — festivals by BOTH luminaries; read in triage batch 5, row 90); Bavli Chagigah 12a:6 (the MEASURES of day and night created day one — the chain's own question about what day 4 adds; row 40). Named but not yet read (observation tier, day-4 Tier-A queue): Chullin 60b (two-kings-one-crown on gadol/qaton); the me'erat defective-spelling reading (named via Rashi on 1:14, commentary tier). Tier-A Onkelos read at derive time (FETCHLOG 2026-07-30): renders yehi as PLURAL yehon (normalizes the number mismatch); inserts a verb of COUNTING (u-le-mimnei ve-hon yomin u-shnin — 'to count by them days and years') making the calendar job explicit computation; renders memshelet verbally (le-mishlat); keeps the ordinal (revi'a'i).	tested
H	Scenarios	S1-S5 register deltas per step; asserts the OPEN spec at 1:14 (the first demand in the corpus to cross a verse boundary), the triple discharge at 1:15, the differentiated WORLD writes and TWO role writes at 1:16, the spec-delta flags, the no-et test, and the clean ORDINAL commit. S6_negative reasserts the flag-never-block contract — the very rule that lets three deltas ride a clean commit.	tested
I	English leakage review	Operators derive from verb forms (jussive, weqatal, infinitive constructs, wayyiqtol), particles (et, le-, bein) and morph codes (Aomsa ordinal) — not from English glosses. All three deltas are letter-visible word-sequence comparisons (gedolim->gadol/qaton; kokhavim absent from spec; yom/lailah->or/choshekh). The number-mismatch flag rests on the morph codes Vqj3ms vs Ncmpa.	established
J	Freeze	status: frozen 2026-07-30 on owner approval ("freeze day 4"). ASSIGN handler added to the interpreter at verification; all scenarios green. Changes require a new derive pass, not silent edits. Oral audit 2026-08-08 folded same day (run 8 block 2): 10 VERIFIED / 0 FAILED — see meta oral_audit_note_en; machine layer untouched.	established

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

STEP_Gn_1_14 · Gen.1.14 · DECLARE_SPEC_CALENDAR

וַיֹּאמֶר אֱלֹהִים יְהִי מְאֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהַבְדִּיל בֵּין הַיּוֹם וּבֵין הַלָּיְלָה וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים וְשָׁנִים · va-yomer Elohim yehi me'orot bi-rkia ha-shamayim le-havdil bein ha-yom u-vein ha-lailah ve-hayu le-otot u-le-mo'adim u-le-yamim ve-shanim · [EN-AID/JPS] And God said: 'Let there be lights in the firmament of the heaven to divide the day from the night; and let them be for signs, and for seasons, and for days and years.'

LEFT
ויאמר אלהים יהי מארת ברקיע השמים להבדיל בין היום ובין הלילה · va-yomer … u-vein ha-lailah · speech act + existence fiat + mount location + separation purpose (etnachta arm)

RIGHT
והיו לאתת ולמועדים ולימים ושנים · ve-hayu le-otot u-le-mo'adim u-le-yamim ve-shanim · the weqatal THEN-chain: the calendar job list

operator	expression	Hebrew anchor	cites	confidence
DECLARE	DECLARE(Elohim, LET(exists(meorot), loc=raqia_ha_shamayim)) = DECLARE(God, LET(exists(lights), loc=expanse-the-heavens)) QAL JUSSIVE 3MS (Vqj3ms) over a PLURAL subject (me'orot, Ncmpa): a singular fiat commanding a plural product — the number mismatch is machine-visible in the morph codes and recorded [OPEN]. Onkelos (Tier-A 2026-07-30) normalizes to plural yehon — the authorized translation smooths what the Hebrew leaves rough. Spelling: מארת doubly defective here, מאורת at 1:15, מאור (singular, plene) at 1:16 — three orthographies of one lexeme inside one unit, letter-visible [OPEN] (Oral candidate: the me'erat reading — observation tier, ORAL_meorot_defective).	יְהִי מְאֹרֹת · yehi me'orot = let-be lights	TIR-026	tested
TRIPLE	{ P: raqia read (installed gen_02) } install-lights { Q: exists(meorot), loc=raqia_ha_shamayim } = { P: expanse read (installed gen-02) } install-lights { Q: exists(lights), loc=expanse-the-heavens } The acceptance contract, with the job list as its criteria. Purpose #1 — le-havdil bein ha-yom u-vein ha-lailah (lamed + infinitive construct, TIR-030): the very function Elohim performed personally on day 1 (va-yavdel, 1:4) is here WRITTEN INTO THE FIXTURES' SPEC — an operational handover, machine to fixtures. Then the weqatal THEN-chain (ve-hayu, Vqq3cp, TIR-029): le-otot (signs), u-le-mo'adim (appointed times/festivals), u-le-yamim ve-shanim (days and years) — the CALENDAR job. Onkelos makes the computation explicit: u-le-mimnei ve-hon yomin u-shnin, 'to COUNT by them days and years' — a verb of counting the Hebrew leaves implicit. Note the objects of havdil here are the day-1 REGISTRY LABELS (ha-yom, ha-lailah) — hold that for 1:18.	לְהַבְדִּיל … וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים וְשָׁנִים · le-havdil … ve-hayu le-otot u-le-mo'adim u-le-yamim ve-shanim = divide they-shall-be signs seasons days years	TIR-029, TIR-030	tested
NOTE_PRESUPPOSED	raqia, shamayim are READ without prior install (standalone machine; installed in gen_02 — cross-unit chaining is Stage E) = expanse, heavens are READ without prior install (standalone machine; installed in gen-02 — cross-unit chaining is Stage E) flag, not fix	—	—	tested

The etnachta splits [fiat + mount location + operate-purpose | signal- purposes]: the spec itself is two-track — the fixtures must OPERATE (divide) and SIGNAL (mark, count). First demand in the corpus whose receipt does not arrive in its own verse.

STEP_Gn_1_15 · Gen.1.15 · SPEC_CROSS_REGISTRY_RESULT

וְהָיוּ לִמְאוֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהָאִיר עַל־הָאָרֶץ וַיְהִי־כֵן · ve-hayu li-me'orot bi-rkia ha-shamayim le-ha'ir al-ha-aretz va-yehi khen · [EN-AID/JPS] 'And let them be for lights in the firmament of the heaven to give light upon the earth.' And it was so.

LEFT
והיו למאורת ברקיע השמים להאיר על הארץ · ve-hayu li-me'orot … al-ha-aretz · spec continuation: service purpose across registries (etnachta arm)

RIGHT
ויהי כן · va-yehi khen · generic RESULT — the receipt

operator	expression	Hebrew anchor	cites	confidence
NOTE_PRESUPPOSED	aretz are READ without prior install (standalone machine; installed in gen_01, renamed in gen_03 — cross-unit chaining is Stage E) = earth are READ without prior install (standalone machine; installed in gen-01, renamed in gen-03 — cross-unit chaining is Stage E) flag, not fix	—	—	tested
RESULT	HOLDS(exists(meorot), loc=raqia_ha_shamayim, t1) — va-yehi khen pops the 1:14 demand = HOLDS(exists(lights), loc=expanse-the-heavens, t1) — and-let-be so pops the 1:14 demand Generic summary receipt. TWO pattern notes: (a) the demand was pushed at 1:14 and pops here — the first verse-boundary-crossing spec in the corpus (days 1-3 closed same-verse); (b) the receipt PRECEDES the build narrative of 1:16-17, exactly as 1:11's khen preceded 1:12 — receipt-before-execution, second occurrence: a pattern now, not an anomaly. The second weqatal (ve-hayu li-me'orot … le-ha'ir al-ha-aretz, TIR-029/030) is the CROSS-REGISTRY service purpose: mounted heaven-side (raqia ha-shamayim, day 2's entity), serving earth-side (aretz, days 1/3) — the first spec that wires three prior units together.	וַיְהִי־כֵן · va-yehi khen = let-be so	TIR-029, TIR-030	tested

The integration verse: raqia/shamayim (gen_02), aretz (gen_01/03), and by 1:14's purposes the yom/lailah labels (gen_01) all referenced in a single spec. The machine reads them presupposed; the flags are the cross-unit wiring made visible.

STEP_Gn_1_16 · Gen.1.16 · BUILD_DIFFERENTIATE_DELTA

וַיַּעַשׂ אֱלֹהִים אֶת־שְׁנֵי הַמְּאֹרֹת הַגְּדֹלִים אֶת־הַמָּאוֹר הַגָּדֹל לְמֶמְשֶׁלֶת הַיּוֹם וְאֶת־הַמָּאוֹר הַקָּטֹן לְמֶמְשֶׁלֶת הַלַּיְלָה וְאֵת הַכּוֹכָבִים · va-ya'as Elohim et-shnei ha-me'orot ha-gedolim et-ha-maor ha-gadol le-memshelet ha-yom ve-et-ha-maor ha-qaton le-memshelet ha-lailah ve-et ha-kokhavim · [EN-AID/JPS] And God made the two great lights: the greater light to rule the day, and the lesser light to rule the night; and the stars.

LEFT
ויעש אלהים את שני המארת הגדלים · va-ya'as Elohim et-shnei ha-me'orot ha-gedolim · the build event + the SUMMARY inventory: 'the two GREAT lights' (etnachta arm)

RIGHT
את המאור הגדל לממשלת היום ואת המאור הקטן לממשלת הלילה ואת הכוכבים · et-ha-maor ha-gadol … ve-et ha-kokhavim · the ITEMIZED inventory: great/small differentiated, offices assigned, stars appended

operator	expression	Hebrew anchor	cites	confidence
EVENT	make(e4) ∧ Agent(e4, Elohim) ∧ Theme(e4, maor_gadol) ∧ Theme(e4, maor_qaton) ∧ Theme(e4, kokhavim) = make(e4) ∧ Agent(e4, God) ∧ Theme(e4, light-great) ∧ Theme(e4, light-small) ∧ Theme(e4, stars) asah ('made', Vqw3ms) — not bara: manufacture, not creation ex nihilo. FOUR et-markers in one verse (To x4: the summary pair + each light + the stars) — the densest Theme inventory since 1:1, the ORAL_et_theme_marker semantics (et = object/Theme marker, Onkelos yat) on full display.	וַיַּעַשׂ אֱלֹהִים אֶת … אֶת … וְאֶת … וְאֵת · va-ya'as Elohim et … et … ve-et … ve-et = made God obj-marker obj-marker obj-marker obj-marker	TIR-014, TIR-015	tested
REGISTRY_INSTALL	WORLD += {maor_gadol, maor_qaton, kokhavim} — the delivered inventory, differentiated = WORLD += {light-great, light-small, stars} — the delivered inventory, differentiated three entities enter the world where the spec named one undifferentiated plural	—	—	tested
ASSIGN	REGISTRY: maor_gadol->memshelet_yom, maor_qaton->memshelet_lailah = REGISTRY: light-great->dominion-of-day, light-small->dominion-of-night Dative le- + construct memshelet ('for the dominion of'): ROLE bindings, not names — this unit contains NO va-yiqra; the naming series ended on day 3. The same dative frame TIR-022 reads on naming writes here carries an OFFICE APPOINTMENT: greater light -> dominion of day, lesser light -> dominion of night. The stars receive NO office — a trailing et with no le- phrase. Onkelos renders the office verbally (le-mishlat, 'to rule'). NEW OP: interpreter vocabulary extended at verification (day-3 precedent).	לְמֶמְשֶׁלֶת הַיּוֹם … לְמֶמְשֶׁלֶת הַלַּיְלָה · le-memshelet ha-yom … le-memshelet ha-lailah = dominion-of day dominion-of night	TIR-022	tested
NOTE_SPEC_DELTA	spec 'me'orot (one undifferentiated plural)' delivered 'shnei ha-me'orot ha-GEDOLIM, then ha-gadol / ha-qaton' — flag spec_delta = spec 'from'lights (one undifferentiated plural)' delivered 'two-of the-from'lights the-GEDOLIM, then the-great / the-small' — flag spec-delta The same-verse tension: the pair is introduced as BOTH GREAT (ha-gedolim, plural adjective) and immediately split into greater and lesser — letter-visible within eleven words; the tree itself stages it (the etnachta closes the summary half before the itemization half splits them). Significance = named-Oral track: Chullin 60b's two-kings-one-crown (observation until read at the day-4 triage).	הַמְּאֹרֹת הַגְּדֹלִים ← הַגָּדֹל / הַקָּטֹן · ha-me'orot ha-GEDOLIM -> ha-gadol / ha-qaton = lights the-GEDOLIM > great / small	—	delta tested (letter-visible); significance = named-Oral track
NOTE_SPEC_DELTA	spec 'no stars in the job order' delivered 've-et ha-kokhavim' — flag spec_delta = spec 'no stars in the job order' delivered 'and-obj-marker the-stars' — flag spec-delta Over-delivery: the stars appear only at the build, never in the 1:14-15 spec — the day-3 pattern again (the herbs' le-minehu), delivery exceeding order; appended as a bare trailing Theme with no office and no size adjective.	וְאֵת הַכּוֹכָבִים · ve-et ha-kokhavim = obj-marker stars	—	delta tested (letter-visible)
NOTE_SPEC_DELTA	spec 'jobs: divide, signs, festivals, days+years, shine' delivered 'le-memshelet (dominion) added' — flag spec_delta = spec 'jobs: divide, signs, festivals, days+years, shine' delivered 'to-dominion-of (dominion) added' — flag spec-delta The office of RULE appears only in the delivery (1:16) and the install recap (1:18 ve-limshol) — the 1:14-15 job list never mentions dominion. Delivery adds a governance layer the spec did not order.	לְמֶמְשֶׁלֶת · le-memshelet = dominion-of	—	delta tested (letter-visible)

The build differentiates what the spec left generic — and every difference is flagged, not judged: three deltas on the books, verdict deferred to the oracle at 1:18 (the day-3 lesson: spec-conformance and goodness are separate predicates).

STEP_Gn_1_17 · Gen.1.17 · INSTALL_MOUNT

וַיִּתֵּן אֹתָם אֱלֹהִים בִּרְקִיעַ הַשָּׁמָיִם לְהָאִיר עַל־הָאָרֶץ · va-yiten otam Elohim bi-rkia ha-shamayim le-ha'ir al-ha-aretz · [EN-AID/JPS] And God set them in the firmament of the heaven to give light upon the earth.

LEFT
ויתן אתם אלהים ברקיע השמים · va-yiten otam Elohim bi-rkia ha-shamayim · the mount event: placed into day 2's entity (etnachta arm)

RIGHT
להאיר על הארץ · le-ha'ir al-ha-aretz · delivered-purpose recap begins: to shine on the earth

operator	expression	Hebrew anchor	cites	confidence
EVENT	place(e5) ∧ Agent(e5, Elohim) ∧ Theme(e5, otam_ha_meorot) = place(e5) ∧ Agent(e5, God) ∧ Theme(e5, them-the-lights) natan ('set/placed', Vqw3ms) with otam — the et-marker carrying a pronominal suffix (To+Sp3mp): the built entities, referenced as a group, mounted into raqia ha-shamayim. TWO-STEP BUILD: asah (1:16, manufacture) then natan (1:17, installation) — distinct events; day 2's raqia had va-ya'as only. The purpose chain that begins here (le-ha'ir) continues across the verse boundary into 1:18 — the infinitives hang off this install event.	וַיִּתֵּן אֹתָם · va-yiten otam = set them	TIR-030	tested

Manufacture and deployment separated: the corpus distinguishes making a thing from putting it where it serves. Location = the day-2 entity, read presupposed (flagged at 1:14).

STEP_Gn_1_18 · Gen.1.18 · PURPOSE_RECAP_DELTA_TEST

וְלִמְשֹׁל בַּיּוֹם וּבַלַּיְלָה וּלְהַבְדִּיל בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ וַיַּרְא אֱלֹהִים כִּי־טוֹב · ve-limshol ba-yom u-va-lailah u-le-havdil bein ha-or u-vein ha-choshekh va-yar Elohim ki-tov · [EN-AID/JPS] And to rule over the day and over the night, and to divide the light from the darkness; and God saw that it was good.

LEFT
ולמשל ביום ובלילה ולהבדיל בין האור ובין החשך · ve-limshol … u-vein ha-choshekh · delivered-purpose recap: rule + separate, at ENTITY level (etnachta arm)

RIGHT
וירא אלהים כי טוב · va-yar Elohim ki-tov · the day's test

operator	expression	Hebrew anchor	cites	confidence
NOTE_SPEC_DELTA	spec 'le-havdil bein ha-YOM u-vein ha-LAILAH (registry labels, 1:14)' delivered 'u-le-havdil bein ha-OR u-vein ha-CHOSHEKH (the entities, 1:18)' — flag spec_delta = spec 'to-divide between the-YOM u-between the-LAILAH (registry labels, 1:14)' delivered 'u-to-divide between the-OR u-between the-CHOSHEKH (the entities, 1:18)' — flag spec-delta The delegated separation restated at ENTITY level where the spec spoke at LABEL level: 1:14 divides the day-1 REGISTRY LABELS (yom/lailah), 1:18 divides the day-1 ENTITIES (or/choshekh) — the label-vs-entity distinction (gen_01's ORAL_label_not_entity, BR 3:6 'the light is not the day?!') drawn by the text itself across the spec/delivery pair. Letter-visible; recorded as the third delta of the unit — [OPEN] whether restatement or refinement.	בֵּין הַיּוֹם וּבֵין הַלָּיְלָה ← בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ · bein ha-yom u-vein ha-lailah -> bein ha-or u-vein ha-choshekh = between day between night > between light between darkness	—	delta tested (letter-visible); significance [OPEN]
TEST	PASS(tov, meorot) = PASS(good, lights) The day's single test — again with NO explicit et-object (contrast 1:4 va-yar ET-ha-or; like both day-3 tests): the inspection covers the delivered work as a whole. Three deltas stand flagged; the oracle passes the delivery AS DELIVERED — the day-3 lesson (spec-conformance and goodness are separate predicates) repeats on a triple deviation.	כִּי־טוֹב · ki-tov = that-good	—	tested

1:18's infinitive chain (ve-limshol … u-le-havdil, TIR-030) hangs off 1:17's va-yiten: the install's delivered-purpose recap. Delivered job list {shine, rule, divide(or/choshekh)} vs spec job list {divide(yom/lailah), signs, festivals, days+years, shine}: the diffs are exactly the flags on the books.

STEP_Gn_1_19 · Gen.1.19 · COMMIT_DAY

וַיְהִי־עֶרֶב וַיְהִי־בֹקֶר יוֹם רְבִיעִי · va-yehi erev va-yehi voqer yom revi'i · [EN-AID/JPS] And there was evening and there was morning, a fourth day.

LEFT
ויהי ערב ויהי בקר · va-yehi erev va-yehi voqer · cycle close

RIGHT
יום רביעי · yom revi'i · day ledger entry — spec received, build delivered, one test, two offices

operator	expression	Hebrew anchor	cites	confidence
COMMIT	cycle(erev -> boqer); LEDGER[day 4] := {spec ✓, test PASS, roles 2} = cycle(evening -> morning); LEDGER[day 4] := {spec ✓, test PASS, roles 2} revi'i = ORDINAL 'fourth' — and here the morphology itself testifies: OSHB tags it Aomsa, ordinal adjective (the day-1 cardinal echad is the marked exception, as ORAL_echad_label_form records). Spec received (1:15), inventory delivered and mounted, one PASS on the books, two offices bound; three spec-delta flags ride the ledger without blocking. Clean commit.	יוֹם רְבִיעִי · yom revii = day revii	—	tested

The fullest clean transaction so far: five distinct phases (spec, receipt, build, install, recap+test) closed by one ordinal commit.

State machine

Day-4 work order (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).

state	meaning
S_boot	Before 1:14 — all registers empty (standalone unit)
S_spec_open	After 1:14 — LET(exists(meorot)) pushed and OPEN (first cross-verse demand); job list on the contract; raqia/shamayim flagged
S_spec_received	After 1:15 — receipt pops the demand (before the build narrative); WORLD += meorot (receipt-level); aretz flagged
S_built_differentiated	After 1:16 — WORLD += {maor_gadol, maor_qaton, kokhavim}; REGISTRY: two role writes (offices); spec_delta x3 building
S_mounted	After 1:17 — the delivered inventory placed into raqia (day-2 entity); purpose recap opens
S_recapped_tested	After 1:18 — third delta flagged (label->entity restatement); TESTS: PASS(tov, meorot)
S_day4_committed_clean	After 1:19 — LEDGER[4] closed ordinal revi'i; clean (no commit_without_test); three deltas ride

from	to	via
S_boot	S_spec_open	STEP_Gn_1_14
S_spec_open	S_spec_received	STEP_Gn_1_15
S_spec_received	S_built_differentiated	STEP_Gn_1_16
S_built_differentiated	S_mounted	STEP_Gn_1_17
S_mounted	S_recapped_tested	STEP_Gn_1_18
S_recapped_tested	S_day4_committed_clean	STEP_Gn_1_19

AFTER_S_day4_committed_clean — WORLD: meorot (receipt-level plural, fiat-result 1:15) + maor_gadol, maor_qaton, kokhavim (the delivered, differentiated inventory, 1:16) + raqia, shamayim, aretz (presupposed, flagged). The machine keeps BOTH the generic receipt entity and the delivered three because the text does (1:15 receipt vs 1:16 delivery). REGISTRY: maor_gadol -> memshelet_yom, maor_qaton -> memshelet_lailah — 2 ROLE writes, 0 naming writes: the first build day with no va-yiqra (the naming series ended day 3 — recorded [OPEN]). TESTS: PASS(tov, meorot). LEDGER: day 4 committed, ordinal revi'i, clean. FLAGS: read_before_install x3 (raqia, shamayim, aretz), spec_delta x3 (gedolim->gadol/qaton; stars over-delivered; dominion unspecified) — none blocking.

Scenarios (the unit's own test suite)

id	title	given	expect	anchor
S1	Spec with jobs, demand OPEN: after STEP_Gn_1_14	All registers empty (standalone unit).	SPECS: LET(exists(meorot), loc=raqia_ha_shamayim) pushed and OPEN; machine flags raqia/shamayim as read-before-install (presupposed). = SPECS: LET(exists(lights), loc=expanse-the-heavens) pushed and OPEN; machine flags expanse/heavens as read-before-install (presupposed).	יְהִי מְאֹרֹת · yehi me'orot = let-be lights
S2	Cross-verse receipt discharges the contract: after STEP_Gn_1_15	S1 state.	WORLD += meorot; SPECS empty; triple contract { exists(meorot), loc=raqia_ha_shamayim } discharged; machine flags aretz as read-before-install (presupposed). = WORLD += lights; SPECS empty; triple contract { exists(lights), loc=expanse-the-heavens } discharged; machine flags earth as read-before-install (presupposed).	וַיְהִי־כֵן · va-yehi khen = let-be so
S3	Differentiated build, offices bound, deltas flagged: after STEP_Gn_1_16	S2 state.	WORLD += maor_gadol; WORLD += maor_qaton; WORLD += kokhavim; REGISTRY: maor_gadol->memshelet_yom, maor_qaton->memshelet_lailah (2 writes); machine flags spec-delta. = WORLD += light-great; WORLD += light-small; WORLD += stars; REGISTRY: light-great->dominion-of-day, light-small->dominion-of-night (2 writes); machine flags spec-delta.	אֶת־שְׁנֵי הַמְּאֹרֹת הַגְּדֹלִים · et-shnei ha-me'orot ha-gedolim = obj-marker-two-of lights great-ones
S4	Recap at entity level, test passes over three deltas: after STEP_Gn_1_18	S3 state, plus the 1:17 mount.	TESTS += PASS(tov, meorot); machine flags spec-delta. = TESTS += PASS(good, lights); machine flags spec-delta.	וַיַּרְא אֱלֹהִים כִּי־טוֹב · va-yar Elohim ki-tov = saw God that-good
S5	Clean ordinal commit: after STEP_Gn_1_19	S4 state.	LEDGER[day 4] committed with spec ✓ / test PASS; day label is ORDINAL revii; commit is clean.	יוֹם רְבִיעִי · yom revi'i = day fourth
S6_negative	Negative: flags never block the ledger	A synthetic commit with TESTS empty (the machine's own contract self-test).	Cycle close with TESTS empty must be FLAGGED, never blocked — the same flag-don't-block rule that lets this unit's three spec-deltas ride a clean commit. = Cycle close with TESTS empty must in FLAGGED, never blocked — the same flag-don't-block rule that lets this unit's three spec-deltas ride a clean commit.

Exports (reusable patterns)

id	content
EXPORT_operational_handover	וַיַּבְדֵּל אֱלֹהִים (1:4) ← לְהַבְדִּיל (1:14) … וּלְהַבְדִּיל (1:18) · va-yavdel Elohim (1:4) -> le-havdil (1:14) … u-le-havdil (1:18) · a running divine function written into installed fixtures' spec: the corpus's first delegation of an ALREADY-OPERATING task (day 3 delegated a build; day 4 delegates an operation)
EXPORT_two_step_build	וַיַּעַשׂ … וַיִּתֵּן · va-ya'as … va-yiten · manufacture then installation as distinct events — build pipelines have stages
EXPORT_role_assignment_dative	לְמֶמְשֶׁלֶת הַיּוֹם · le-memshelet ha-yom · the dative office appointment: role bindings without naming (ASSIGN vs NAME) — recurs at 1:28 (dominion of the humans)
EXPORT_label_vs_entity_pair	בֵּין הַיּוֹם וּבֵין הַלָּיְלָה ← בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ · bein ha-yom … -> bein ha-or … · spec at label level, recap at entity level: the text itself operates the label/entity distinction the registry semantics encode
EXPORT_delta_method_scales	three letter-visible deltas on one delivery, all flagged, none blocking, verdict from the oracle — the day-3 comparison method at full scale
EXPORT_naming_series_ends	days 1-3 carry five va-yiqra writes; day 4 (and after) none — office assignment replaces naming; [OPEN] observation for the week-level pattern

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

verified Jerusalem Talmud Rosh Hashanah 2:8:4 (on ve-hayu, 1:14) — read in triage batch 5 (ledger row 90)
אָמַר רִבִּי סִימוֹן. וְהָיוּ. עַל יְדֵי זֶה וְעַל יְדֵי זֶה · amar Ribbi Simon: ve-hayu — al yedei zeh ve-al yedei zeh · R. Simon on this unit's own weqatal token: "'ve-hayu (and they shall be)' — by THIS one and by THAT one": the festivals are fixed by BOTH luminaries jointly — the chain deriving joint calendar authority from the plural of our THEN-chain; the sugya pairs it with R. Yochanan's evening-first derivation from 1:5 and shows each prooftext needs the other.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.

verified Bavli Chagigah 12a:6 (the ten things of day one) — read in triage batch 4 (ledger row 40)
מִדַּת יוֹם וּמִדַּת לַיְלָה — דִּכְתִיב וַיְהִי עֶרֶב וַיְהִי בֹקֶר יוֹם אֶחָד · middat yom u-middat lailah — di-khtiv va-yehi erev va-yehi voqer yom echad · "The MEASURE of day and the MEASURE of night — as it is written: and there was evening and there was morning, one day": the chain assigns the day/night measures to DAY ONE. The chain thereby asks this unit's own question — what do the day-4 fixtures add to an already-running schedule? Read with the or-ha-ganuz track (gen_01): the primordial light withdrawn, the fixtures installed as its operating replacement — a handover, not an invention.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.

verified Bavli Chullin 60b:2-3 (on ha-gedolim -> ha-gadol/ha-qaton, 1:16) — read at the day-4 triage (ledger rows 22-23)
אָמְרָה יָרֵחַ לִפְנֵי הַקָּדוֹשׁ בָּרוּךְ הוּא: רִבּוֹנוֹ שֶׁל עוֹלָם, אֶפְשָׁר לִשְׁנֵי מְלָכִים שֶׁיִּשְׁתַּמְּשׁוּ בְּכֶתֶר אֶחָד? אָמַר לָהּ: לְכִי וּמַעֲטִי אֶת עַצְמֵךְ · amrah yareach lifnei HKB'H: ribbono shel olam, efshar li-shnei melakhim she-yishtamshu be-kheter echad? amar lah: lekhi u-ma'ati et atzmekh · "The moon said before the Holy One: Master of the Universe, is it possible for two kings to serve with one crown? He said to her: go and diminish yourself." Created equal ('the two GREAT lights'); the compensations follow — rule day and night ('what use is a candle at noon?'), and 'let Israel COUNT the days and years with you,' with this unit's own 1:14 quoted back ('ve-hayu le-otot u-le-mo'adim…'). The named owner of the unit's first spec delta, and a re-derivation of the calendar job through the diminution narrative.
AMENDED 2026-07-30 at the day-4 triage (owner order 'do the day 4 triage'; upgrade pre-announced in the frozen note): observation -> verified from Data/sefaria_texts/ (local). Dual-track; not merged.

verified Jerusalem Talmud Taanit 4:3:3 (the ma'amadot fasts) — chain-primary owner, read at the day-4 triage (ledger row 31); the tradition Rashi on 1:14 transmits
בָּרְבִיעִי הָיוּ מִתְעַנִּין עַל הַתִּינוֹקוֹת שֶׁלֹּא תַעֲלֶה אַסְכָּרָה לְתוֹךְ פִּיהֶם. וַיֹּאמֶר אֱלֹהִים יְהִי מְאוֹרוֹת. מְאֹרֹת כָּתוּב · ba-revi'i hayu mit'anin al ha-tinokot she-lo ta'aleh askara le-tokh pihem; va-yomer Elohim yehi me'orot — ME'OROT KATUV · "On the fourth day they would fast for the children, that askara (diphtheria) not rise in their mouths — 'God said: let there be me'orot' — it is WRITTEN defective" (read me'erot, 'curses'). The chain-primary owner of the three-orthographies flag. The same ktiv carries a second derivation: PDRK 5:1 / BR 6:1 — 'me'orot is written: only the sun-orb was created to illuminate; why the moon? to sanctify New Moons and years' — the defective spelling and the singular yehi read together as the calendar thesis.
AMENDED 2026-07-30 at the day-4 triage: observation (commentary-tier naming) -> verified at a chain-primary location, from local text. The letter-level fact itself remains verified from our own word data. Dual-track; not merged.

verified Pesikta DeRav Kahana 5:1 (with Bereshit Rabbah 6:1) — on the 1:14 DECLARE; day-4 triage rows 7, 89
אָמַר רַבִּי יוֹחָנָן לֹא נִבְרָא לְהָאִיר אֶלָּא גַּלְגַּל חַמָּה בִּלְבַד — יְהִי מְאֹרֹת, מְאֹרֹת כָּתַב. אִם כֵּן לָמָּה נִבְרֵאת הַלְּבָנָה, אֶלָּא לְקַדֵּשׁ בָּהּ רָאשֵׁי חֳדָשִׁים וְרָאשֵׁי שָׁנִים · amar Rabbi Yochanan: lo nivra le-ha'ir ela galgal chamah bilvad — yehi me'orot, ME'OROT KATAV. im ken lamah nivreit ha-levanah? ela le-kadesh bah rashei chodashim ve-rashei shanim · "R. Yochanan said: only the sun-orb was created to illuminate — 'yehi me'orot': ME'OROT IS WRITTEN [defective]. Why then was the moon created? To sanctify New Moons and New Years by it." The chain reads the unit's TWO grammar flags TOGETHER — the singular yehi (BR 6:1 makes the singular explicit) and the defective spelling — and derives from them the calendar thesis: one illuminator, one calendar instrument. PDRK adds R. Zeira's anti-deification foresight ('if two that contradict each other are deified — one alone, all the more so').
AMENDED 2026-07-30, owner order ("amend"). The machine's flags stay [OPEN] (the mismatch and the orthography are facts of the text); the chain's joint resolution is recorded beside them. Verified local. Dual-track; not merged.

verified Bereshit Rabbah 6:3 — the chain asks delta #1 verbatim; day-4 triage row 9
מֵאַחַר שֶׁהוּא קוֹרֵא אוֹתָן גְּדוֹלִים, הוּא חוֹזֵר וּפוֹגֵם אוֹתָם … אֶתְמְהָא, אֶלָּא עַל יְדֵי שֶׁנִּכְנָס בִּתְחוּמוֹ שֶׁל חֲבֵרוֹ … הָבִיאוּ כַּפָּרָה עָלַי שֶׁמִּעַטְתִּי אֶת הַיָּרֵחַ · me-achar she-hu kore otan GEDOLIM, hu chozer u-fogem otam … etmeha! — ela al yedei she-nikhnas bi-tchumo shel chavero … havi'u KAPPARAH alai she-mi'atti et ha-yareach · "After He calls them GREAT, He turns and diminishes them?!" — the chain asking the unit's first spec delta in its own words, and answering: because one entered its fellow's domain. Then R. Pinchas on the New-Moon offering ('a sin offering FOR the Lord', Num 28:15): "bring an atonement FOR ME, for having diminished the moon" — the delta owned, judged, and carried as a standing monthly liability on the divine ledger.
AMENDED 2026-07-30, owner order ("amend"). Sits beside ORAL_two_kings (Chullin 60b): the Bavli carries the narrative, BR the liturgical accounting. The spec_delta flag stands; the significance is Oral. Verified local. Dual-track; not merged.

verified Bereshit Rabbah 6:4 — on ve-et ha-kokhavim (delta #2); day-4 triage row 10
וְאֵת הַכּוֹכָבִים — מָשָׁל לְמֶלֶךְ שֶׁהָיוּ לוֹ שְׁנֵי אַפּוֹטְרוֹפִּין … הוֹאִיל וּמִעֵט עַצְמוֹ זֶה … גּוֹזֵר אֲנִי עָלָיו בְּשָׁעָה שֶׁהוּא יוֹצֵא · ve-et ha-kokhavim — mashal le-melekh she-hayu lo shnei apotropin … ho'il u-mi'et atzmo zeh … gozer ani alav be-sha'ah she-hu yotze · "'And the stars' — a parable: a king with two stewards … 'since this one diminished himself, I decree that when he goes out, [the stars] go out with him.'" The chain's answer to the unit's second delta: the stars, absent from the spec and delivered without an office, are the diminished moon's compensation retinue — over-delivery explained as restitution inside the diminution settlement.
AMENDED 2026-07-30, owner order ("amend"). The spec_delta flag stands; the retinue reading is the chain's, recorded dual-track. Verified local. Not merged.

verified Sifrei Devarim 306:14 — the job list as delegated commandments; day-4 triage row 102
מִצְוֹת שֶׁנִּתְּנוּ לָהֶם מִן הַשָּׁמַיִם: עִבּוּר שָׁנִים וּקְבִיעוּת חֳדָשִׁים, שֶׁנֶּאֱמַר וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים וְשָׁנִים · mitzvot she-nitnu lahem min ha-shamayim: IBBUR SHANIM u-KVIUT CHODASHIM, she-ne'emar ve-hayu le-otot u-le-mo'adim u-le-yamim ve-shanim · "The commandments given to them FROM THE HEAVENS: intercalation of years and fixing of New Moons — as it is stated: 'and they shall be for signs and for appointed times and for days and years.'" The tannaitic reading of this unit's own THEN-chain: the calendar job is not only delegated TO the fixtures — it is delegated onward THROUGH them, as Israel's computational duty. A second operational handover (fixtures -> Israel's court), matching Onkelos's counting verb and Targum Jonathan's molad curriculum on the same clause.
AMENDED 2026-07-30, owner order ("amend"). Evidence on the TRIPLE's job-list criteria; the operator itself unchanged. Verified local. Dual-track; not merged.

observation Oral policy

Named location only; never silent-merge.

Binary trees (ta'amim v3, glue bricks)

Gen.1.14 · parser unique · 16 words

וַיֹּאמֶר אֱלֹהִים יְהִי מְאֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהַבְדִּיל בֵּין הַיּוֹם וּבֵין הַלָּיְלָה וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים וְשָׁנִים · va-yomer Elohim yehi me'orot bi-rkia ha-shamayim le-havdil bein ha-yom u-vein ha-lailah ve-hayu le-otot u-le-mo'adim u-le-yamim ve-shanim · Let there be lights in the firmament to divide day from night; for signs, seasons, days, years. [EN-AID]

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

Gen.1.15 · parser unique · 9 words

וְהָיוּ לִמְאוֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהָאִיר עַל־הָאָרֶץ וַיְהִי־כֵן · ve-hayu li-me'orot bi-rkia ha-shamayim le-ha'ir al-ha-aretz va-yehi khen · Lights in the heavens' firmament, to shine on the earth — and it was so. [EN-AID]

PHRASE (binary 9w) וְ/הָי֤וּ לִ/מְאוֹרֹת֙ בִּ/רְקִ֣יעַ הַ/שָּׁמַ֔י…
├── 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)
└── [7-8] GLUE וַֽ/יְהִי כֵֽן (silluq (verse-end emperor), rank=1)

Gen.1.16 · parser unique · 18 words

וַיַּעַשׂ אֱלֹהִים אֶת־שְׁנֵי הַמְּאֹרֹת הַגְּדֹלִים אֶת־הַמָּאוֹר הַגָּדֹל לְמֶמְשֶׁלֶת הַיּוֹם וְאֶת־הַמָּאוֹר הַקָּטֹן לְמֶמְשֶׁלֶת הַלַּיְלָה וְאֵת הַכּוֹכָבִים · va-ya'as Elohim et-shnei ha-me'orot ha-gedolim et-ha-maor ha-gadol le-memshelet ha-yom ve-et-ha-maor ha-qaton le-memshelet ha-lailah ve-et ha-kokhavim · The two great lights made — greater for day's dominion, lesser for night's — and the stars. [EN-AID]

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

Gen.1.17 · parser unique · 8 words

וַיִּתֵּן אֹתָם אֱלֹהִים בִּרְקִיעַ הַשָּׁמָיִם לְהָאִיר עַל־הָאָרֶץ · va-yiten otam Elohim bi-rkia ha-shamayim le-ha'ir al-ha-aretz · He set them in the heavens' firmament to shine on the earth. [EN-AID]

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

Gen.1.18 · parser unique · 12 words

וְלִמְשֹׁל בַּיּוֹם וּבַלַּיְלָה וּלְהַבְדִּיל בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ וַיַּרְא אֱלֹהִים כִּי־טוֹב · ve-limshol ba-yom u-va-lailah u-le-havdil bein ha-or u-vein ha-choshekh va-yar Elohim ki-tov · To rule day and night, to divide light from darkness — and God saw that it was good. [EN-AID]

PHRASE (binary 12w) וְ/לִ/מְשֹׁל֙ בַּ/יּ֣וֹם וּ/בַ/לַּ֔יְלָה וּֽ/לֲ…
├── PHRASE (binary 8w) וְ/לִ/מְשֹׁל֙ בַּ/יּ֣וֹם וּ/בַ/לַּ֔יְלָה וּֽ/לֲ…
│   ├── PHRASE (binary 3w) וְ/לִ/מְשֹׁל֙ בַּ/יּ֣וֹם וּ/בַ/לַּ֔יְלָה
│   │   ├── [0] וְ/לִ/מְשֹׁל֙ (pashta, rank=3)
│   │   └── [1-2] GLUE בַּ/יּ֣וֹם וּ/בַ/לַּ֔יְלָה (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) וּֽ/לֲ/הַבְדִּ֔יל בֵּ֥ין הָ/א֖וֹר וּ/בֵ֣ין הַ/ח…
│       ├── [3] וּֽ/לֲ/הַבְדִּ֔יל (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.1.19 · parser unique · 6 words

וַיְהִי־עֶרֶב וַיְהִי־בֹקֶר יוֹם רְבִיעִי · va-yehi erev va-yehi voqer yom revi'i · Evening, morning — a fourth day. [EN-AID]

PHRASE (binary 6w) וַֽ/יְהִי עֶ֥רֶב וַֽ/יְהִי בֹ֖קֶר י֥וֹם רְבִיעִ…
├── [0-3] GLUE וַֽ/יְהִי עֶ֥רֶב וַֽ/יְהִי בֹ֖קֶר (tifcha, rank=2)
└── [4-5] GLUE י֥וֹם רְבִיעִֽי (silluq (verse-end emperor), rank=1)

Word coverage — 69/69 words with named roles

ref	#	Hebrew	translit	English	role	kind	rule
Gen.1.14	0	ויאמר	va-yomer	and-said	speech_verb_declare	logic_bearing	none
Gen.1.14	1	אלהים	Elohim	God	agent	logic_bearing	none
Gen.1.14	2	יהי	yehi	let-be	jussive_singular_over_plural	logic_bearing	TIR-026
Gen.1.14	3	מארת	me'orot	lights	product_spec_plural_defective	logic_bearing	none
Gen.1.14	4	ברקיע	bi-rkia	in-firmament-of	mount_location_presupposed	logic_bearing	none
Gen.1.14	5	השמים	ha-shamayim	the-heavens	mount_location_presupposed	logic_bearing	none
Gen.1.14	6	להבדיל	le-havdil	to-divide	purpose_infinitive_handover	logic_bearing	TIR-030
Gen.1.14	7	בין	bein	between	boundary_prep	glue	TIR-008
Gen.1.14	8	היום	ha-yom	the-day	registry_label_ref	logic_bearing	none
Gen.1.14	9	ובין	u-vein	and-between	boundary_prep	glue	TIR-008
Gen.1.14	10	הלילה	ha-lailah	the-night	registry_label_ref	logic_bearing	none
Gen.1.14	11	והיו	ve-hayu	and-they-shall-be	weqatal_then	logic_bearing	TIR-029
Gen.1.14	12	לאתת	le-otot	for-signs	job_list_member	logic_bearing	none
Gen.1.14	13	ולמועדים	u-le-mo'adim	and-for-seasons	job_list_member_calendar	logic_bearing	none
Gen.1.14	14	ולימים	u-le-yamim	and-for-days	job_list_member_calendar	logic_bearing	none
Gen.1.14	15	ושנים	ve-shanim	and-years	job_list_member_calendar	logic_bearing	none
Gen.1.15	0	והיו	ve-hayu	and-they-shall-be	weqatal_then	logic_bearing	TIR-029
Gen.1.15	1	למאורת	li-me'orot	for-lights	service_role_dative	logic_bearing	none
Gen.1.15	2	ברקיע	bi-rkia	in-firmament-of	mount_location_presupposed	logic_bearing	none
Gen.1.15	3	השמים	ha-shamayim	the-heavens	mount_location_presupposed	logic_bearing	none
Gen.1.15	4	להאיר	le-ha'ir	to-give-light	purpose_infinitive_service	logic_bearing	TIR-030
Gen.1.15	5	על	al	upon	location_prep	glue	TIR-008
Gen.1.15	6	הארץ	ha-aretz	the-earth	service_target_presupposed	logic_bearing	none
Gen.1.15	7	ויהי	va-yehi	and-there-was	result_wayyiqtol	logic_bearing	none
Gen.1.15	8	כן	khen	so	result_summary	logic_bearing	none
Gen.1.16	0	ויעש	va-ya'as	and-made	build_verb_asah	logic_bearing	none
Gen.1.16	1	אלהים	Elohim	God	agent	logic_bearing	none
Gen.1.16	2	את	et	obj-marker	obj_marker_inventory	logic_bearing	TIR-014
Gen.1.16	3	שני	shnei	two-of	numeral_pair	logic_bearing	none
Gen.1.16	4	המארת	ha-me'orot	the-lights	delivered_summary_plural	logic_bearing	none
Gen.1.16	5	הגדלים	ha-gedolim	the-great-ones	adjective_both_great_tension	logic_bearing	none
Gen.1.16	6	את	et	obj-marker	obj_marker_inventory	logic_bearing	TIR-014
Gen.1.16	7	המאור	ha-maor	the-light	delivered_member	logic_bearing	none
Gen.1.16	8	הגדל	ha-gadol	the-great	differentiator_great	logic_bearing	none
Gen.1.16	9	לממשלת	le-memshelet	for-dominion-of	office_dative	logic_bearing	TIR-022
Gen.1.16	10	היום	ha-yom	the-day	office_domain_label	logic_bearing	none
Gen.1.16	11	ואת	ve-et	and-obj-marker	obj_marker_inventory	logic_bearing	TIR-014
Gen.1.16	12	המאור	ha-maor	the-light	delivered_member	logic_bearing	none
Gen.1.16	13	הקטן	ha-qaton	the-small	differentiator_small	logic_bearing	none
Gen.1.16	14	לממשלת	le-memshelet	for-dominion-of	office_dative	logic_bearing	TIR-022
Gen.1.16	15	הלילה	ha-lailah	the-night	office_domain_label	logic_bearing	none
Gen.1.16	16	ואת	ve-et	and-obj-marker	obj_marker_inventory	logic_bearing	TIR-014
Gen.1.16	17	הכוכבים	ha-kokhavim	the-stars	delivered_member_over_delivery	logic_bearing	none
Gen.1.17	0	ויתן	va-yiten	and-set	install_verb_natan	logic_bearing	none
Gen.1.17	1	אתם	otam	them	obj_marker_pronoun_group	logic_bearing	TIR-014
Gen.1.17	2	אלהים	Elohim	God	agent	logic_bearing	none
Gen.1.17	3	ברקיע	bi-rkia	in-firmament-of	mount_location_presupposed	logic_bearing	none
Gen.1.17	4	השמים	ha-shamayim	the-heavens	mount_location_presupposed	logic_bearing	none
Gen.1.17	5	להאיר	le-ha'ir	to-give-light	purpose_infinitive_service	logic_bearing	TIR-030
Gen.1.17	6	על	al	upon	location_prep	glue	TIR-008
Gen.1.17	7	הארץ	ha-aretz	the-earth	service_target_presupposed	logic_bearing	none
Gen.1.18	0	ולמשל	ve-limshol	and-to-rule	purpose_infinitive_rule	logic_bearing	TIR-030
Gen.1.18	1	ביום	ba-yom	in-the-day	office_domain_label	logic_bearing	none
Gen.1.18	2	ובלילה	u-va-lailah	and-in-the-night	office_domain_label	logic_bearing	none
Gen.1.18	3	ולהבדיל	u-le-havdil	and-to-divide	purpose_infinitive_handover	logic_bearing	TIR-030
Gen.1.18	4	בין	bein	between	boundary_prep	glue	TIR-008
Gen.1.18	5	האור	ha-or	the-light	entity_ref_label_shift	logic_bearing	none
Gen.1.18	6	ובין	u-vein	and-between	boundary_prep	glue	TIR-008
Gen.1.18	7	החשך	ha-choshekh	the-darkness	entity_ref_label_shift	logic_bearing	none
Gen.1.18	8	וירא	va-yar	and-saw	perception_verb	logic_bearing	none
Gen.1.18	9	אלהים	Elohim	God	agent	logic_bearing	none
Gen.1.18	10	כי	ki	that	complementizer_that	glue	TIR-008
Gen.1.18	11	טוב	tov	good	eval_oracle_predicate	logic_bearing	none
Gen.1.19	0	ויהי	va-yehi	and-there-was	cycle_verb	logic_bearing	none
Gen.1.19	1	ערב	erev	evening	cycle_time_unit	logic_bearing	none
Gen.1.19	2	ויהי	va-yehi	and-there-was	cycle_verb	logic_bearing	none
Gen.1.19	3	בקר	voqer	morning	cycle_time_unit	logic_bearing	none
Gen.1.19	4	יום	yom	day	ledger_day_noun	logic_bearing	none
Gen.1.19	5	רביעי	revi'i	fourth	ledger_count_ordinal	logic_bearing	none

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

unit: gen_04_lights_calendar — Day four: luminaries — jobs, calendar, dominion; three spec deltas (1:14-19) [frozen]

final state: WORLD=['kokhavim', 'maor_gadol', 'maor_qaton', 'meorot'] (+3 presupposed) | REGISTRY={'maor_gadol': 'memshelet_yom', 'maor_qaton': 'memshelet_lailah'} | TESTS=1 PASS | LEDGER days=[4] | FLAGS=['read_before_install', 'read_before_install', 'read_before_install', 'spec_delta', 'spec_delta', 'spec_delta', 'spec_delta']

=== S1 — Spec with jobs, demand OPEN: after STEP_Gn_1_14
    יְהִי מְאֹרֹת (yehi me'orot)
    PASS  SPECS: LET(exists(meorot), loc=raqia_ha_shamayim) pushed and OPEN  (queue=['exists(meorot), loc=raqia_ha_shamayim'])
    PASS  machine flags raqia/shamayim as read-before-install (presupposed).  (flagged=['raqia', 'shamayim'])

=== S2 — Cross-verse receipt discharges the contract: after STEP_Gn_1_15
    וַיְהִי־כֵן (va-yehi khen)
    PASS  WORLD += meorot  (entity={'mode': 'created', 'by': 'fiat-result', 'step': 'Gen.1.15'})
    PASS  SPECS empty  (queue=0)
    PASS  triple contract { exists(meorot), loc=raqia_ha_shamayim } discharged  (triples=[{'q': 'exists(meorot), loc=raqia_ha_shamayim', 'step': 'Gen.1.14', 'discharged': True}])
    PASS  machine flags aretz as read-before-install (presupposed).  (flagged=['aretz', 'raqia', 'shamayim'])

=== S3 — Differentiated build, offices bound, deltas flagged: after STEP_Gn_1_16
    אֶת־שְׁנֵי הַמְּאֹרֹת הַגְּדֹלִים (et-shnei ha-me'orot ha-gedolim)
    PASS  WORLD += maor_gadol  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.16'})
    PASS  WORLD += maor_qaton  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.16'})
    PASS  WORLD += kokhavim  (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.16'})
    PASS  REGISTRY: maor_gadol->memshelet_yom, maor_qaton->memshelet_lailah (2 writes)  (names={'maor_gadol': 'memshelet_yom', 'maor_qaton': 'memshelet_lailah'} writes=2)
    PASS  machine flags spec-delta.  (flags=['read_before_install', 'spec_delta'])

=== S4 — Recap at entity level, test passes over three deltas: after STEP_Gn_1_18
    וַיַּרְא אֱלֹהִים כִּי־טוֹב (va-yar Elohim ki-tov)
    PASS  TESTS += PASS(tov, meorot)  (tests=[('tov', 'meorot')])
    PASS  machine flags spec-delta.  (flags=['read_before_install', 'spec_delta'])

=== S5 — Clean ordinal commit: after STEP_Gn_1_19
    יוֹם רְבִיעִי (yom revi'i)
    PASS  LEDGER[day 4] committed with spec ✓ / test PASS  (entry={'closed': True, 'spec_ok': True, 'test_pass': True, 'names': 2, 'label_form': 'ordinal', 'label_he': 'יוֹם רְבִיעִי', 'label_translit': 'yom revii', 'step': 'Gen.1.19'})
    PASS  day label is ORDINAL revii  (label=yom revii form=ordinal)
    PASS  commit is clean.  (flags=['read_before_install', 'spec_delta'])

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

#!/usr/bin/env python3
# =============================================================================
# gen_04_lights_calendar — 1:14-19
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_04_lights_calendar.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 four: luminaries — jobs, calendar, dominion; three spec deltas (1:14-19)"""
from machine import Machine

m = Machine("gen_04_lights_calendar")

# -------------------------- Gen.1.14 · DECLARE_SPEC_CALENDAR ---------------
# וַיֹּאמֶר אֱלֹהִים יְהִי מְאֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהַבְדִּיל בֵּין
# הַיּוֹם וּבֵין הַלָּיְלָה וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים
# וְשָׁנִים
# "And God said: 'Let there be lights in the firmament of the heaven to
# divide the day from the night; and let them be for signs, and for seasons,
# and for days and years.'"
m.step("Gen.1.14")
# ‹יְהִי מְאֹרֹת› (“let-be lights”) — God speaks a demand — LET:
# exists(lights), loc=expanse-the-heavens
m.declare("Elohim", "LET",
          "exists(meorot), loc=raqia_ha_shamayim")
# ‹לְהַבְדִּיל … וְהָיוּ לְאֹתֹת וּלְמוֹעֲדִים וּלְיָמִים וְשָׁנִים› (“to-
# divide … and-they-shall-be for-signs and-for-seasons and-for-days and-
# years”) — open question logged: exists(lights), loc=expanse-the-heavens
m.triple("exists(meorot), loc=raqia_ha_shamayim")
# reads without prior install (flag, not fix): expanse, heavens
m.presupposed("raqia", "shamayim")

# -------------------------- Gen.1.15 · SPEC_CROSS_REGISTRY_RESULT ----------
# וְהָיוּ לִמְאוֹרֹת בִּרְקִיעַ הַשָּׁמַיִם לְהָאִיר עַל־הָאָרֶץ וַיְהִי־כֵן
# "'And let them be for lights in the firmament of the heaven to give light
# upon the earth.' And it was so."
m.step("Gen.1.15")
# reads without prior install (flag, not fix): earth
m.presupposed("aretz")
# ‹וַיְהִי־כֵן› (“and-there-was so”) — demand settled (popped from the
# queue): exists(lights), loc=expanse-the-heavens
m.result("exists(meorot), loc=raqia_ha_shamayim", tmark="t1")

# -------------------------- Gen.1.16 · BUILD_DIFFERENTIATE_DELTA -----------
# וַיַּעַשׂ אֱלֹהִים אֶת־שְׁנֵי הַמְּאֹרֹת הַגְּדֹלִים אֶת־הַמָּאוֹר
# הַגָּדֹל לְמֶמְשֶׁלֶת הַיּוֹם וְאֶת־הַמָּאוֹר הַקָּטֹן לְמֶמְשֶׁלֶת
# הַלַּיְלָה וְאֵת הַכּוֹכָבִים
# "And God made the two great lights: the greater light to rule the day, and
# the lesser light to rule the night; and the stars."
m.step("Gen.1.16")
# ‹וַיַּעַשׂ אֱלֹהִים אֶת … אֶת … וְאֶת … וְאֵת› (“and-made God obj-marker …
# obj-marker … and-obj-marker … and-obj-marker”) — event: make — agent God;
# theme light-great, light-small, stars
m.event("make", agent="Elohim", themes=["maor_gadol", "maor_qaton", "kokhavim"])
# the world gains: light-great, light-small, stars
m.install("maor_gadol", "maor_qaton", "kokhavim")
# ‹לְמֶמְשֶׁלֶת הַיּוֹם … לְמֶמְשֶׁלֶת הַלַּיְלָה› (“for-dominion-of the-day
# … for-dominion-of the-night”) — role assigned: light-great -> dominion-of-
# day; light-small -> dominion-of-night
m.assign("maor_gadol", "memshelet_yom")
m.assign("maor_qaton", "memshelet_lailah")
# ‹הַמְּאֹרֹת הַגְּדֹלִים ← הַגָּדֹל / הַקָּטֹן› (“the-lights the-great-ones
# the-great the-small”) — spec-delta — spec said from'lights (one
# undifferentiated plural), delivery says two-of the-from
m.spec_delta("me'orot (one undifferentiated plural)",
             "shnei ha-me")
# ‹וְאֵת הַכּוֹכָבִים› (“and-obj-marker the-stars”) — spec-delta — spec said
# no stars in the job order, delivery says and-obj-marker the-stars
m.spec_delta("no stars in the job order",
             "ve-et ha-kokhavim")
# ‹לְמֶמְשֶׁלֶת› (“for-dominion-of”) — spec-delta — spec said jobs: divide,
# signs, festivals, days+years, shine, delivery says to-dominion-of
# (dominion) added
m.spec_delta("jobs: divide, signs, festivals, days+years, shine",
             "le-memshelet (dominion) added")

# -------------------------- Gen.1.17 · INSTALL_MOUNT -----------------------
# וַיִּתֵּן אֹתָם אֱלֹהִים בִּרְקִיעַ הַשָּׁמָיִם לְהָאִיר עַל־הָאָרֶץ
# "And God set them in the firmament of the heaven to give light upon the
# earth."
m.step("Gen.1.17")
# ‹וַיִּתֵּן אֹתָם› (“and-set them”) — event: place — agent God; theme them-
# the-lights
m.event("place", agent="Elohim", themes=["otam_ha_meorot"])

# -------------------------- Gen.1.18 · PURPOSE_RECAP_DELTA_TEST ------------
# וְלִמְשֹׁל בַּיּוֹם וּבַלַּיְלָה וּלְהַבְדִּיל בֵּין הָאוֹר וּבֵין
# הַחֹשֶׁךְ וַיַּרְא אֱלֹהִים כִּי־טוֹב
# "And to rule over the day and over the night, and to divide the light from
# the darkness; and God saw that it was good."
m.step("Gen.1.18")
# ‹בֵּין הַיּוֹם וּבֵין הַלָּיְלָה ← בֵּין הָאוֹר וּבֵין הַחֹשֶׁךְ›
# (“between the-day and-between the-night between the-light and-between the-
# darkness”) — spec-delta — spec said to-divide between the-YOM u-between
# the-LAILAH (registry labels, 1:14), delivery says u-to-divide between the-
# OR u-between the-CHOSHEKH (the entities, 1:18)
m.spec_delta("le-havdil bein ha-YOM u-vein ha-LAILAH (registry labels, 1:14)",
             "u-le-havdil bein ha-OR u-vein ha-CHOSHEKH (the entities, 1:18)")
# ‹כִּי־טוֹב› (“that good”) — test PASS — oracle-word good, on lights
m.test("PASS", "tov", "meorot")

# -------------------------- Gen.1.19 · COMMIT_DAY --------------------------
# וַיְהִי־עֶרֶב וַיְהִי־בֹקֶר יוֹם רְבִיעִי
# "And there was evening and there was morning, a fourth day."
m.step("Gen.1.19")
# ‹יוֹם רְבִיעִי› (“day fourth”) — ledger: day 4 committed
m.commit(4, label_form="ordinal", label_translit="yom revii")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == {'kokhavim', 'maor_gadol', 'maor_qaton', 'meorot'}
    assert m.presupposed_set() == {'aretz', 'raqia', 'shamayim'}
    assert m.REGISTRY["names"] == {'maor_gadol': 'memshelet_yom', 'maor_qaton': 'memshelet_lailah'}
    assert m.REGISTRY["writes"] == 2
    assert m.tests_list() == [('PASS', 'tov', 'meorot')]
    assert m.open_demands() == []
    assert len(m.SPECS["log"]) == 1
    assert sorted(m.LEDGER) == [4]
    assert m.flag_counts() == {'read_before_install': 3, 'spec_delta': 4}
    assert sorted(m.WORLD["facts"]) == sorted([])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 6
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")

FROZEN 2026-07-30 (owner approved): fourth logic-derived unit, first under the calibrated coverage protocol. Central findings: the fullest work-order shape of the week (spec-with-jobs -> cross-verse receipt -> build -> install -> recap -> test -> commit); the corpus's first OPERATIONAL handover (day 1's own separating function written into the fixtures' spec); the two-step build (asah then natan); ROLE assignment via dative (dominion offices; no naming — the va-yiqra series ends at day 3); THREE letter-visible spec deltas (both-great -> great/small; stars over-delivered; dominion unspecified) all riding a clean commit past a passing test; the label->entity restatement of the delegated separation (1:14 vs 1:18); the singular-jussive/plural-subject mismatch that Onkelos normalizes. Not binding religious law.

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.