Day six: land classes, the adam, dominion — receipts return, the council plural, bara tripled, the five-imperative blessing, the food grants, THE sixth day (1:24-31) FROZEN
יוֹם הַשִּׁשִּׁי — הָאָדָם וְהָרְדִיָּה · yom ha-shishi — ha-adam ve-ha-rediyah · THE sixth day — the adam and the dominion
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | Day-6 unit (1:24-31): the week's LONGEST day (8 verses, 149 words), three census utterances (1:24, 1:26, 1:29 — no other day holds more than two), and the week's densest cluster of firsts: the first first-person-PLURAL form of any kind in the corpus (na'aseh, 'let us make' — and the 'our' suffixes of tzelem/demut in the same verse), the first first-person PERFECT (natati, 'I have given' — the corpus's first completed 'I did'), the first definite article on a day label (HA-shishi, 'THE sixth'), the first adamah ('ground', at 1:25 — one verse before adam is proposed), and the RETURN of the receipt token va-yehi khen ('and it was so', 1:24 and 1:30) after day 5 dropped it — the learning-pass prediction #1, confirmed. One day, one commit, one unit: the span's three utterance blocks (land classes; the adam council + delivery + blessing; the food grants) are steps, not units. | established |
| B | Hebrew source + trees | All 8 verses via taamim_tree_parse.py rule set v3: status unique, pure_binary true. tree_ascii regenerated 2026-07-31 from DB tree_json. Tree facts used: 1:24 and 1:30 both isolate va-yehi khen as the ROOT'S OWN RIGHT ARM ([whole fiat | receipt] — identical bracket for both receipts); 1:26 splits [make-proposal | rule-design] at the etnachta; 1:27 splits [singular creation | male-and-female plural]; 1:28 splits the mandate at the fill/rule boundary and carries a rare prose accent pair on the blessing frame (zinor + segol) where day 5's frame used plain accents; 1:29 isolates the standing-state demand (lakhem yihyeh le-okhlah) as the right arm. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-07-31): totze Vhj3fs — HIPHIL JUSSIVE — a clean LET (TIR-026), the earth delegated (and the demand verb is day 3's DELIVERY verb va-totze, re-used as spec). na'aseh Vqi1cp — QAL IMPERFECT 1CP: the volitive 'let us make' (TIR-033 CMD-US) CODED IMPERFECT (final-heh verbs show no distinct cohortative form) — TIR-028's mandatory ? applies: CMD-US?. FIRST 1cp verb of the corpus (verified: no earlier %1cp% morph exists), with the corpus's first 'our' suffixes in the same verse (be-tzalmeNU, ki-dmuteNU). ve-yirdu Vqj3mp — QAL JUSSIVE — clean LET (TIR-026), the dominion design. bara x3 at 1:27: Vqw3ms wayyiqtol ('and-then-he-did' narrative form) + Vqp3ms perfect x2. Five imperatives at 1:28: peru/u-revu/u-milu/ve-khivshuha/u-redu, all Vqv2mp (TIR-027) — ve-khivshuha with an OBJECT SUFFIX on the imperative (Sp3fs, 'subdue IT' = the earth). natati Vqp1cs — the corpus's FIRST first-person perfect (verified: next are 3:10, 4:1) — a performative give. yihyeh Vqi3ms — imperfect standing-state demand inside the grant (TIR-028: LET?). zorea Vqrmsa x2 — QAL participle where day 3's spec used HIPHIL mazria ('seed-causing') — stem shift at re-reference. ha-romes/ha-romeset/romes — participles (TIR-031). chayto (1:24) — ARCHAIC CONSTRUCT with paragogic vav (chayto-eretz, 'wild-beast-of earth'), normalized at delivery (1:25 chayat ha-aretz) — the me'orot-class orthography flag family. ha-shishi Td/Aomsa — the ONLY day label carrying the definite article (verified against 1:5 echad Acmsa cardinal; 1:8/13/19/23 bare ordinals Aomsa). | tested |
| D | Predicates & outcomes | BLOCK 1 (1:24-25): spec delegates to the earth (klal 'nefesh chaya' + prat 'behemah/remes/chayto-eretz' — the chain's own labels, cached); va-yehi khen SAME VERSE — the receipt-before-delivery convention of days 1-4 RESTORED after day 5 dropped it; delivery by God (asah) with NO credit clause for the delegate (day 3: delegate performed; day 5: delegate credited; day 6: delegate silent — the delegation pattern's third variant), order permuted (wild-beast last->first), archaic form normalized, substrate shifted to ha-ADAMAH; TEST rides the delivery verse. BLOCK 2 (1:26-28): the council proposal CMD-US? (make adam, spec image+likeness) with the dominion DESIGN as jussive purpose-clause (no receipt for dominion exists in the span — it is re-issued at 1:28 as mandate: design handed to its bearers, mood escalated LET->CMD!); delivery at 1:27 with bara TRIPLED and NO va-yehi khen — closing the chain's own triad (heavens/taninim/adam lack the token 'because beriah is said of them', Lekach Tov 1:21:4, verified at day 5 — the machine's day-5 finding PREDICTED this shape); the delivery resolves the plural spec to a singular agent (be-tzalmO, be-tzelem ELOHIM; Onkelos: be-tzalma d-Adonai) and adds the unannounced male-and-female with an oto->otam number shift; BLESS at 1:28 with FIVE 2mp imperatives, no mood split (contrast day 5's rationed fowl), direct address (va-yomer LAHEM vs day 5's le-mor), the earth moved from dominion-domain to fill-and-subdue OBJECT, and the un-specced verb kavash added. BLOCK 3 (1:29-30): the performative grant (natati) binds the seed-bearing inventory to the food office for the adam and the green herb to every nefesh-chaya bearer — plants only, no flesh (the Gen 9:3 amendment precedent); the grant's standing-state demand (yihyeh) is popped by the week's LAST va-yehi khen with the same verb root (yihyeh -> va-yehi), letter-visible. CLOSE (1:31): the global test — et-KOL asher asah, the week's only explicit-object inspection, hineh deictic, me'od intensifier (Onkelos: takin lachada, 'exceedingly WELL-ORDERED', vs plain tav for every local test — the translation reads it as an arrangement check); COMMIT on the definite ordinal. | tested |
| E | Logic format choice | Operator lines + WORLD writes + day-ledger row. TWO Hoare triples: the land delegation contract (discharged same verse) and the dominion DESIGN contract (deliberately left UNDISCHARGED — the text gives dominion no receipt; the contract standing open at commit is the machine's record of a design whose horizon exceeds the week). The 1:28 mandate = standing WORLD facts, never SPECS (day-5 BLESS rule: the day commits clean). The food grants = ASSIGN (day-4 precedent: dative role binding — here the plants are bound to food offices; first REGISTRY writes since day 4). NEW MOOD FAMILY CMD-US (TIR-033) on the DECLARE operator — interpreter vocabulary extended at verification (ASSIGN/BLESS precedent), with the auto-upgrade refusal contract extended to the new mood (S9_negative). | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en; register values keep Hebrew where the text supplies them (behemah, ha-shishi). Machine tokens are apostrophe-free (na'aseh -> demand token make(adam); tov me'od -> oracle token tov_meod) so checker regexes hold; display fields keep the apostrophes. | established |
| G | Oral (named only) + Tier-A translation check | Verified from local Data at derive time: Lekach Tov 1:23:1-5 (the klal-u-frat labels on 1:24 — read at the day-5 triage as rows 37-41, verdict 'next-day content', now landed); Tanchuma Bereshit 1:8 + Ein Yaakov Shabbat 9:9 (Resh Lakish's heh-yeterah tenai on HA-shishi — day-1 triage rows 380, 154); Bereshit Rabbah 8:1 and 8:12 (androginos/dyu-partzufim on the number shift; the redu/yerdu dominion wordplay — day-1 triage rows 30-31, filed then as 'day-6 content'); Mishnah Yevamot 6:6 (the procreation command on 1:28 — day-5 triage row 53); the census rows (ABN B 36:2; Lekach Tov 1:1:33 — day-1 rows 93, 198). Named but not yet read (observation tier, day-6 Tier-A queue): Bereshit Rabbah 8:3-9 and Sanhedrin 38b (the na'aseh consultation dossier — named by TIR-033's own rulebook note); Bavli Shabbat 88a direct. Tier-A Onkelos read at derive time (FETCHLOG 2026-07-31), 8 findings: the 1cp plural RETAINED (na'avid — the anti-anthropomorphic translator does not normalize it; contrast day 4's number repair); the referent RESOLVED at 1:27 (be-tzalma d-Adonai, 'in the image of THE LORD'); ve-yishletun for the dominion jussive; ve-takufu alah ('prevail over it') for kavash; both receipts retained; the grant perfect retained (ha yehavit); takin lachada at 1:31 (global test as arrangement check); yom shetita'ei — Aramaic cannot carry the definite-article contrast (the heh yeterah lives in the Hebrew letter only). | tested |
| H | Scenarios | S1-S8 register deltas per step: same-verse push-and-pop with the receipt restored (1:24); the three-class install, deltas, and local test (1:25); the CMD-US? push OPEN (1:26); the pop-by-delivery with mood intact and the design triple standing undischarged (1:27); the five standing mandate facts (1:28); the LET? grant demand (1:29); the two REGISTRY food offices and the week's last receipt (1:30); the definite-ordinal commit, clean, with the global test (1:31). S9_negative extends the auto-upgrade refusal contract to the new CMD-US? mood on the unit's own live form. S10_negative re-asserts flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (Vhj jussive -> LET; Vqi1cp -> CMD-US? via TIR-033+TIR-028; Vqj3mp -> LET design; Vqv2mp x5 -> CMD!; Vqp1cs performative perfect; Vqi3ms -> LET?; Vqw/Vqp bara forms; participles TIR-031; Td/Aomsa definite ordinal), particles (et-inventories, le- kind-keys and food-datives, be-/ki- image prepositions), and letter-visible word-sequence diffs (order permutation; chayto->chayat normalization; demut dropped; -nu -> -o suffix resolution; oto->otam; the domain-list rewrite; kavash unannounced; mazria->zorea stem shift; the heh yeterah). The first-occurrence claims (1cp, 1cs perfect, adamah, definite label) are corpus queries against our own DB, not gloss impressions. | established |
| J | Pre-flight + freeze gate | Pre-flight 2026-07-31: prototype CMD-US handler + checker patterns injected in scratchpad harness (repo file untouched); all scenarios green. FROZEN 2026-07-31 on owner order ("freeze 6 and 7"): h_declare extended (CMD-US mood family), resolve_spec generalized to every ?-mood, check_clause gained the CMD-US?/undischarged-triple patterns, contract_cmd_us_never_upgrades added and dispatched; unit re-verified green through the real interpreter. Narrative (ASK FIRST) and triage remain on owner order. Changes require a new derive pass, not silent edits. Oral audit 2026-08-08 folded same day (run 8 block 4): 10 VERIFIED / 0 FAILED / 1 UNCHECKABLE — see meta oral_audit_note_en; machine layer untouched. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_1_24 · Gen.1.24 · DECLARE_SPEC_LAND_CLASSES_RECEIPT
וַיֹּאמֶר אֱלֹהִים תּוֹצֵא הָאָרֶץ נֶפֶשׁ חַיָּה לְמִינָהּ בְּהֵמָה וָרֶמֶשׂ וְחַיְתוֹ־אֶרֶץ לְמִינָהּ וַיְהִי־כֵן · va-yomer Elohim totze ha-aretz nefesh chaya le-minah behemah va-remes ve-chayto-eretz le-minah va-yehi khen · [EN-AID/JPS] And God said: 'Let the earth bring forth the living creature after its kind, cattle, and creeping thing, and beast of the earth after its kind.' And it was so.
ויאמר אלהים תוצא הארץ נפש חיה למינה בהמה ורמש וחיתו ארץ למינה · va-yomer Elohim totze ha-aretz nefesh chaya le-minah behemah va-remes ve-chayto-eretz le-minah · the whole fiat: klal (general class) + prat (three-item breakdown), kind-keyed (etnachta arm)
ויהי כן · va-yehi khen · the receipt, isolated as the root's own right arm — the token RETURNS
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(Elohim, LET(totze(aretz), product=nefesh_chaya_le_minah)) = DECLARE(God, LET(let-bring-forth(earth), product=living-being-living-to-by-its-kind)) HIPHIL JUSSIVE 3FS (Vhj3fs) — a clean LET (TIR-026): the earth delegated to bring forth living creature by kind. The demand verb is DAY 3'S DELIVERY VERB: va-totze ha-aretz (1:12, the earth bringing forth vegetation) re-used as a spec verb — the corpus orders with the vocabulary of a prior delivery. Product structure, chain-labeled (Lekach Tov 1:23:1, cached): nefesh chaya = KLAL ('general'); behemah va-remes ve-chayto-eretz = PRAT ('particular' — cattle, creeper, wild beast). The third prat item is written in the ARCHAIC CONSTRUCT chayto-eretz ('wild-beast-of earth', paragogic vav, bare 'earth' without article) — an orthography flag of the me'orot class, recorded [OPEN]. | תּוֹצֵא הָאָרֶץ נֶפֶשׁ חַיָּה לְמִינָהּ · totze ha-aretz nefesh chaya le-minah = let-bring-forth earth living-being living by-its-kind | TIR-026 | tested |
| TRIPLE | { P: aretz read (presupposed, standalone) } delegate-build { Q: totze(aretz), product=nefesh_chaya_le_minah } = { P: earth read (presupposed, standalone) } delegate-build { Q: let-bring-forth(earth), product=living-being-living-to-by-its-kind } The delegation contract: the earth, read presupposed, is to produce the land classes. Unlike day 5's contract (receipt relocated into the delivery), this one discharges IN ITS OWN VERSE — the next operator. | תּוֹצֵא הָאָרֶץ · totze ha-aretz = let-bring-forth earth | — | tested |
| RESULT | HOLDS(totze(aretz), product=nefesh_chaya_le_minah, t1) — va-yehi khen: the receipt token RETURNS, same verse as the fiat (days 1-4 convention restored; prediction #1 of the learning pass confirmed) = HOLDS(let-bring-forth(earth), product=living-being-living-to-by-its-kind, t1) — and-it-was so: the receipt token RETURNS, same verse as the fiat (days 1-4 convention restored; prediction #1 over-flier-of the learning pass confirmed) 'And it was so' — the ceremonial receipt is BACK after day 5 dropped it, and back in the days-1-4 position: same verse as the fiat, BEFORE the delivery narrative. The accent tree isolates it as the root's own right arm ([whole fiat | receipt]) — the identical bracket 1:30 will give the week's last receipt. Mood stays LET on the log (clean jussive; no ? to carry). | וַיְהִי־כֵן · va-yehi khen = it-was so | — | tested |
| NOTE_PRESUPPOSED | aretz are READ without prior install (standalone machine; installed in gen_01/gen_03 — cross-unit chaining is Stage E) = earth are READ without prior install (standalone machine; installed in gen-01/gen-03 — cross-unit chaining is Stage E) flag, not fix | — | — | tested |
STEP_Gn_1_25 · Gen.1.25 · BUILD_DELTA_TEST
וַיַּעַשׂ אֱלֹהִים אֶת־חַיַּת הָאָרֶץ לְמִינָהּ וְאֶת־הַבְּהֵמָה לְמִינָהּ וְאֵת כָּל־רֶמֶשׂ הָאֲדָמָה לְמִינֵהוּ וַיַּרְא אֱלֹהִים כִּי־טוֹב · va-ya'as Elohim et-chayat ha-aretz le-minah ve-et ha-behemah le-minah ve-et kol-remes ha-adamah le-minehu va-yar Elohim ki-tov · [EN-AID/JPS] And God made the beast of the earth after its kind, and the cattle after their kind, and every thing that creepeth upon the ground after its kind; and God saw that it was good.
ויעש אלהים את חית הארץ למינה ואת הבהמה למינה ואת כל רמש האדמה למינהו · va-ya'as Elohim et-chayat ha-aretz le-minah ve-et ha-behemah le-minah ve-et kol-remes ha-adamah le-minehu · the delivery inventory, kind-keyed, order permuted (etnachta arm)
וירא אלהים כי טוב · va-yar Elohim ki-tov · the day's local test — on the delivery verse, as on day 5
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | make(e1) ∧ Agent(e1, Elohim) ∧ Theme(e1, chayat_ha_aretz) ∧ Theme(e1, behemah) ∧ Theme(e1, remes_ha_adamah) = make(e1) ∧ Agent(e1, God) ∧ Theme(e1, wild-beast-of-the-earth) ∧ Theme(e1, cattle) ∧ Theme(e1, creeper-the-ground) asah ('made', Vqw3ms) — the days-2-and-4 verb, not bara: the land classes are MADE, not created (bara waits two verses for the adam). THREE et-markers (To x3), the day-5 inventory shape. | וַיַּעַשׂ אֱלֹהִים אֶת … וְאֶת … וְאֵת · va-ya'as Elohim et … ve-et … ve-et = made God obj-marker obj-marker obj-marker | TIR-014 | tested |
| REGISTRY_INSTALL | WORLD += {chayat_ha_aretz, behemah, remes_ha_adamah} — the delivered land classes, kind-keyed = WORLD += {wild-beast-of-the-earth, cattle, creeper-the-ground} — the delivered land classes, kind-keyed three entity classes enter the world; no crediting clause accompanies them (contrast 1:21) | — | — | tested |
| NOTE_SPEC_DELTA | spec 'totze HA-ARETZ (the earth as delegated producer)' delivered 'va-ya'as ELOHIM (God executes; the delegate receives NO credit clause)' — flag spec_delta = spec 'let-bring-forth HA-ARETZ (the earth as delegated producer)' delivered 'and-ya'as ELOHIM (God executes; the delegate receives NO credit clause)' — flag spec-delta The agent delta, third variant in three delegations: day 3 the delegate PERFORMED (va-totze ha-aretz); day 5 God performed and the delegate was CREDITED (asher shartzu ha-mayim); day 6 God performs and the delegate is SILENT — no relative clause, no echo of totze. The delegation pattern is a spectrum, and the machine now holds all three points. Significance = named-Oral track (chain primaries queued for the day-6 triage). | תּוֹצֵא הָאָרֶץ ← וַיַּעַשׂ אֱלֹהִים · totze ha-aretz -> va-ya'as Elohim = let-bring-forth earth > made God | — | delta tested (letter-visible); significance = named-Oral track |
| NOTE_SPEC_DELTA | spec 'behemah, remes, chayto-eretz (archaic construct, bare eretz)' delivered 'CHAYAT HA-ARETZ first (normalized construct + definite article), ha-behemah, remes' — flag spec_delta = spec 'cattle, creeper, wild-beast-of-earth (archaic construct, bare earth)' delivered 'CHAYAT HA-ARETZ first (normalized construct + definite article), the-cattle, creeper' — flag spec-delta Order permutation + orthography normalization: the wild beast, LAST in the spec and written archaic (chayto-eretz, paragogic vav, articleless), is delivered FIRST, normalized (chayat), and given the article (ha-aretz). The delivery repairs the spec's strangest form while promoting it to the head of the list — the day-4/day-5 over-delivery pattern (stars appended; taninim leading) now as a REORDERING. | וְחַיְתוֹ־אֶרֶץ ← חַיַּת הָאָרֶץ · ve-chayto-eretz -> chayat ha-aretz = and-wild-beast-of-earth > wild-beast-of earth | — | delta tested (letter-visible) |
| NOTE_SPEC_DELTA | spec 'remes (bare)' delivered 'KOL-remes HA-ADAMAH (totality quantifier + substrate shift to the ground)' — flag spec_delta = spec 'creeper (bare)' delivered 'KOL-creeper HA-ADAMAH (totality quantifier + substrate shift to the ground)' — flag spec-delta Delivery enrichment (day-5 direction): kol- added, and the creeper's substrate named — HA-ADAMAH, 'the ground': the corpus's FIRST occurrence of the word (DB-verified; next at 2:5), arriving ONE VERSE before adam is proposed. The adam/adamah pairing the corpus will spell out at 2:7 ('and the LORD God formed the adam, dust from the adamah') is seeded here, letter-visible, in the substrate of the humblest class. Observation tier; chain trail queued. | וָרֶמֶשׂ ← כָּל־רֶמֶשׂ הָאֲדָמָה · va-remes -> kol-remes ha-adamah = creeper > every-creeper ground | — | delta tested (letter-visible) |
| TEST | PASS(tov, nefesh_chaya) = PASS(good, living-being) The local test, no explicit et-object (days 3-5 pattern): the land-class delivery inspected and passed. Two deltas and a reorder ride; the oracle passes the delivery AS DELIVERED. Sixth local pass of the week — the seventh inspection (1:31) will be a different instrument. | כִּי־טוֹב · ki-tov = that-good | — | tested |
STEP_Gn_1_26 · Gen.1.26 · DECLARE_SPEC_ADAM_COUNCIL
וַיֹּאמֶר אֱלֹהִים נַעֲשֶׂה אָדָם בְּצַלְמֵנוּ כִּדְמוּתֵנוּ וְיִרְדּוּ בִדְגַת הַיָּם וּבְעוֹף הַשָּׁמַיִם וּבַבְּהֵמָה וּבְכָל־הָאָרֶץ וּבְכָל־הָרֶמֶשׂ הָרֹמֵשׂ עַל־הָאָרֶץ · va-yomer Elohim na'aseh adam be-tzalmenu ki-dmutenu ve-yirdu bi-dgat ha-yam u-ve-of ha-shamayim u-va-behemah u-ve-khol ha-aretz u-ve-khol ha-remes ha-romes al-ha-aretz · [EN-AID/JPS] And God said: 'Let us make man in our image, after our likeness; and let them have dominion over the fish of the sea, and over the fowl of the air, and over the cattle, and over all the earth, and over every creeping thing that creepeth upon the earth.'
ויאמר אלהים נעשה אדם בצלמנו כדמותנו · va-yomer Elohim na'aseh adam be-tzalmenu ki-dmutenu · the make-proposal: first-person plural, image + likeness (etnachta arm)
וירדו בדגת הים ובעוף השמים ובבהמה ובכל הארץ ובכל הרמש הרמש על הארץ · ve-yirdu bi-dgat ha-yam u-ve-of ha-shamayim u-va-behemah u-ve-khol ha-aretz u-ve-khol ha-remes ha-romes al-ha-aretz · the rule-design: five dominion domains, jussive
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(Elohim, CMD-US?(make(adam), spec=b_tzelem_k_demut)) = DECLARE(God, CMD-US?(make(man), spec=in-image-after-likeness)) QAL IMPERFECT 1CP (Vqi1cp) — the volitive 'let US make' (TIR-033: CMD-US, self-directive — speaker among the agents), CODED IMPERFECT (final-heh verbs show no distinct cohortative form), so TIR-028's mandatory ? applies: CMD-US? — the ? stays on the log forever; resolution only per-unit with citation. The corpus's FIRST first-person-plural form of ANY kind (DB-verified), and its first 'our' suffixes ride the same verse: be-tzalmeNU ('in OUR image'), ki-dmuteNU ('as OUR likeness') — two prepositions, two nouns, one plural possessor. THE PLURAL IS [OPEN]: the machine records mood and number and stops — the chain's consultation dossier is named (Bereshit Rabbah 8:3-9; Sanhedrin 38b — TIR-033's own rulebook note) and queued Tier-A. Onkelos (Tier-A 2026-07-31) RETAINS the plural: na'avid enasha — the translator who repaired yehi's number on day 4 lets 'let US make' stand. NEW MOOD FAMILY: interpreter vocabulary extended at verification (ASSIGN/BLESS precedent). | נַעֲשֶׂה אָדָם בְּצַלְמֵנוּ כִּדְמוּתֵנוּ · na'aseh adam be-tzalmenu ki-dmutenu = let-us-make man our-image as-our-likeness | TIR-033, TIR-028 | tested as flag; resolution per-unit only |
| TRIPLE | { P: adam made per spec } design { Q: rule(adam, dagah_of_behemah_aretz_remes) } = { P: man made per spec } design { Q: rule(man, fish-over-flier-of-cattle-earth-creeper) } The dominion DESIGN contract: ve-yirdu — QAL JUSSIVE 3MP (Vqj3mp, TIR-026 LET) — 'and let them rule' over five domains: fish of the sea, flier of the heavens, the cattle, ALL THE EARTH, every creeper (the list's fourth item is the only INANIMATE entry in an animate list — u-ve-khol ha-aretz, recorded [OPEN]; the 1:28 mandate will move the earth to a different role). This is the product's PURPOSE CLAUSE, not a pushed spec: no receipt for dominion exists anywhere in the span — the clause is re-issued at 1:28 as second-person mandate. The contract is deliberately left UNDISCHARGED on the books: a design whose horizon exceeds the week. Cognate pair at the tail: ha-remes ha-romes ('the creeper that creeps') — noun + participle, the 1:20 pattern. | וְיִרְדּוּ בִדְגַת הַיָּם … · ve-yirdu bi-dgat ha-yam … = let-them-rule over-fish-of sea | TIR-026, TIR-031 | tested |
| NOTE_PRESUPPOSED | dagat_ha_yam, of_ha_shamayim are READ without prior install (standalone machine; day-5 products in day-3-named seas / day-2 heavens — cross-unit chaining is Stage E) = fish-of-the-sea, fowl-of-the-sky are READ without prior install (standalone machine; day-5 products in day-3-named seas / day-2 heavens — cross-unit chaining is Stage E) flag, not fix — the design's first two domains are prior-day deliveries | — | — | tested |
STEP_Gn_1_27 · Gen.1.27 · BUILD_BARA_TRIPLED
וַיִּבְרָא אֱלֹהִים אֶת־הָאָדָם בְּצַלְמוֹ בְּצֶלֶם אֱלֹהִים בָּרָא אֹתוֹ זָכָר וּנְקֵבָה בָּרָא אֹתָם · va-yivra Elohim et-ha-adam be-tzalmo be-tzelem Elohim bara oto zakhar u-nekevah bara otam · [EN-AID/JPS] And God created man in His own image, in the image of God created He him; male and female created He them.
ויברא אלהים את האדם בצלמו בצלם אלהים ברא אתו · va-yivra Elohim et-ha-adam be-tzalmo be-tzelem Elohim bara oto · the singular creation: his image, God's image, him (etnachta arm)
זכר ונקבה ברא אתם · zakhar u-nekevah bara otam · the plural coda: male and female, THEM
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | create(e2) ∧ Agent(e2, Elohim) ∧ Theme(e2, ha_adam) = create(e2) ∧ Agent(e2, God) ∧ Theme(e2, the-man) bara TRIPLED: one wayyiqtol ('and-then-he-created', Vqw3ms) + two perfects (Vqp3ms) — creation's own verb, used once in the whole week before this verse (1:21; and 1:1 before the week), now three times in thirteen words. And NO va-yehi khen anywhere in the block: the chain's triad CLOSES — 'three things of which BERIAH is said lack va-yehi khen: heavens-and-earth, the taninim, and ADAM … for He spoke, and it was' (Lekach Tov 1:21:4, verified at the day-5 triage) — the day-5 machine finding predicted precisely this shape at precisely this verse. bara itself is the receipt. | וַיִּבְרָא … בָּרָא … בָּרָא · va-yivra … bara … bara = created created created | TIR-014 | tested |
| REGISTRY_INSTALL | WORLD += {ha_adam} — the species, definite article, unsexed noun + both-sexed delivery = WORLD += {the-man} — the species, definite article, unsexed noun + both-sexed delivery one entity, one verse, three bara clauses; the sexes ride the delivery description, not separate installs | — | — | tested |
| RESULT | HOLDS(make(adam), spec=b_tzelem_k_demut, t2) — receipt by delivery alone under the tripled bara; no receipt token exists for this block = HOLDS(make(man), spec=in-image-after-likeness, t2) — receipt by delivery alone under the tripled created; no receipt token exists for this block The demand pops by DELIVERY (day-5 flier precedent) — and the delivery out-verbs the demand: the proposal said na'aseh ('let us MAKE'), the delivery says bara ('CREATED') three times. Mood stays CMD-US? on the log forever (TIR-028 — satisfaction is not upgrade). | וַיִּבְרָא אֱלֹהִים אֶת־הָאָדָם · va-yivra Elohim et-ha-adam = created God obj-marker-the-man | — | tested |
| NOTE_SPEC_DELTA | spec 'na'aseh (asah — the making verb, 1cp)' delivered 'bara x3 (creation's own verb, tripled, 3ms)' — flag spec_delta = spec 'na'make (he-made — the making verb, 1cp)' delivered 'created x3 (creation's own verb, tripled, 3ms)' — flag spec-delta Verb escalation at delivery: the week's other deltas downgraded or reshuffled; this one UPGRADES — the plural making-proposal is answered by the singular creating-verb, tripled. The only delivery in the week that outranks its own spec's verb. | נַעֲשֶׂה ← וַיִּבְרָא … בָּרָא … בָּרָא · na'aseh -> va-yivra … bara … bara = let-us-make > created created created | — | delta tested (letter-visible) |
| NOTE_SPEC_DELTA | spec 'be-tzalmeNU ki-dmuteNU (OUR image, OUR likeness — plural possessor)' delivered 'be-tzalmO (HIS image) + be-tzelem ELOHIM (the image of God, named singular)' — flag spec_delta = spec 'in-tzalmeNU that-our-likeness (OUR image, OUR likeness — plural possessor)' delivered 'in-His-image (HIS image) + in-image-of ELOHIM (the image over-flier-of God, named singular)' — flag spec-delta The delivery RESOLVES the plural: 'our image' becomes 'HIS image', then — as if to leave no ambiguity — 'the image of ELOHIM', spelled out. The machine's own contribution to the council [OPEN]: whatever the plural at 1:26 is, the letter at 1:27 discharges it into a singular possessor, twice. Onkelos makes the referent explicit: be-tzalma d-Adonai ('in the image of THE LORD'). The chain's heretics-and-the-plural sugya (Sanhedrin 38b, queued) reads exactly this pair of verses as question-and-answer. | בְּצַלְמֵנוּ ← בְּצַלְמוֹ בְּצֶלֶם אֱלֹהִים · be-tzalmenu -> be-tzalmo be-tzelem Elohim = our-image > his-image image-of God | — | delta tested (letter-visible) |
| NOTE_SPEC_DELTA | spec 'tzelem AND demut (image and likeness, two nouns)' delivered 'tzelem only, x3 — demut DROPPED' — flag spec_delta = spec 'image-of AND likeness (image and likeness, two nouns)' delivered 'image-of only, x3 — likeness DROPPED' — flag spec-delta The likeness never arrives: three image-phrases in the delivery, zero likeness-phrases. demut is Torah-rare (3 occurrences, all Genesis: 1:26, 5:1, 5:3 — detector grade B) and its next appearance is the recap that REVERSES the pair: 5:3, Adam begetting Seth 'bi-dmuto ke-tzalmo' — likeness first, image second, prepositions SWAPPED. Observation tier; the 5:1-3 dossier is where this delta's chain life lives. | כִּדְמוּתֵנוּ ← (אבד) · ki-dmutenu -> (absent) = as-our-likeness > absent | — | delta tested (letter-visible) |
| NOTE_SPEC_DELTA | spec 'adam (unsexed species noun)' delivered 'zakhar u-nekevah (male and female) + oto -> otam (created HIM -> created THEM)' — flag spec_delta = spec 'man (unsexed species noun)' delivered 'male u-female (male and female) + him -> them (created HIM -> created THEM)' — flag spec-delta The unannounced partition: no spec clause mentioned sex, and the delivery verse itself shifts number mid-verse — bara OTO ('created HIM', singular) then bara OTAM ('created THEM', plural), same verb, same verse, [OPEN]. The chain's answers are CACHED and read (Bereshit Rabbah 8:1, day-1 triage row 30): androginos ('two-sexed') per R. Yirmiyah b. Elazar; dyu-partzufim ('two-faced, then sawn apart') per R. Shmuel bar Nachman — both prooftexted on the recap verse (5:2), both using the discovered-class device kemah de-at amar ('as you say elsewhere'). Structural note: the sexes arrive in the verse IMMEDIATELY before the fertility mandate — day 5's blessing followed sexless inventories; day 6 states the sexes first. | אֹתוֹ ← אֹתָם · oto -> otam = him > them | TIR-014 | delta tested (letter-visible) |
STEP_Gn_1_28 · Gen.1.28 · BLESS_MANDATE_DOMINION
וַיְבָרֶךְ אֹתָם אֱלֹהִים וַיֹּאמֶר לָהֶם אֱלֹהִים פְּרוּ וּרְבוּ וּמִלְאוּ אֶת־הָאָרֶץ וְכִבְשֻׁהָ וּרְדוּ בִּדְגַת הַיָּם וּבְעוֹף הַשָּׁמַיִם וּבְכָל־חַיָּה הָרֹמֶשֶׂת עַל־הָאָרֶץ · va-yevarekh otam Elohim va-yomer lahem Elohim peru u-revu u-milu et-ha-aretz ve-khivshuha u-redu bi-dgat ha-yam u-ve-of ha-shamayim u-ve-khol chaya ha-romeset al-ha-aretz · [EN-AID/JPS] And God blessed them; and God said unto them: 'Be fruitful, and multiply, and replenish the earth, and subdue it; and have dominion over the fish of the sea, and over the fowl of the air, and over every living thing that creepeth upon the earth.'
ויברך אתם אלהים ויאמר להם אלהים פרו ורבו ומלאו את הארץ וכבשה · va-yevarekh otam Elohim va-yomer lahem Elohim peru u-revu u-milu et-ha-aretz ve-khivshuha · blessing frame (rare accents) + the fill-and-subdue mandate (etnachta arm)
ורדו בדגת הים ובעוף השמים ובכל חיה הרמשת על הארץ · u-redu bi-dgat ha-yam u-ve-of ha-shamayim u-ve-khol chaya ha-romeset al-ha-aretz · the rule mandate: three domains
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| BLESS | BLESS(Elohim, otam) MANDATE {CMD!(peru), CMD!(revu), CMD!(milu(et_ha_aretz)), CMD!(kivshuha), CMD!(redu(ba_dagah_u_va_of_u_ve_khol_chaya_romeset))} = BLESS(God, them) MANDATE {CMD!(be-fruitful), CMD!(multiply), CMD!(fill(obj-marker-the-earth)), CMD!(subdue-it), CMD!(rule(in-the-fish-and-and-over-flier-of-and-and-over-all-living-creeping))} The human blessing — day 5's formula EXTENDED on every axis. Frame: va-yomer LAHEM ('and God SAID TO THEM') — direct address replaces day 5's le-mor ('saying'); the recipients are spoken TO, not merely over; and Elohim is named TWICE in the frame (blesser and speaker — recorded [OPEN]), under a rare prose accent pair (zinor + segol) where day 5's frame took workaday accents. Mandate: FIVE imperatives, all Vqv2mp (TIR-027 CMD!), NO mood split — day 5's third-person ration for the fowl has no parallel; every verb lands on every recipient. The three inherited verbs shift target: milu ET-HA-ARETZ ('fill THE EARTH') where day 5 filled the waters. The two NEW verbs are the dominion pair: ve-khivshuha ('and SUBDUE it' — imperative with object suffix, the earth as grammatical patient; a verb NO spec clause announced) and u-redu ('and RULE') — the 1:26 design's jussive re-issued as second-person command: the design ABOUT them handed TO them, mood escalated LET -> CMD!. Standing WORLD facts, NOT SPECS (day-5 rule): no receipt for the mandate exists, its horizon exceeds the week (9:1 re-issues it to Noah WITHOUT the dominion pair — diff queued), and the day commits clean. Halakhic landing, cached: Mishnah Yevamot 6:6 hangs the procreation commandment here ('the man is commanded, not the woman' — read at the day-5 triage, row 53). | וַיְבָרֶךְ אֹתָם אֱלֹהִים וַיֹּאמֶר לָהֶם אֱלֹהִים פְּרוּ וּרְבוּ וּמִלְאוּ … וְכִבְשֻׁהָ וּרְדוּ · va-yevarekh otam Elohim va-yomer lahem Elohim peru u-revu u-milu … ve-khivshuha u-redu = blessed them God said them God be-fruitful multiply fill subdue-it rule | TIR-027, TIR-014 | tested |
| NOTE_SPEC_DELTA | spec 'design: yirdu over 5 domains (incl. behemah + KOL HA-ARETZ as dominion domains)' delivered 'mandate: redu over 3 domains — behemah dropped, remes -> KOL CHAYAH romeset, and the earth MOVED from dominion-domain to fill-and-subdue OBJECT' — flag spec_delta = spec 'design: let-them-rule over 5 domains (incl. cattle + KOL HA-ARETZ as dominion domains)' delivered 'mandate: rule over 3 domains — cattle dropped, creeper -> KOL CHAYAH creeping, and the earth MOVED from dominion-domain to fill-and-subdue OBJECT' — flag spec-delta The domain-list rewrite: the design's odd inanimate member ('over all the earth') does not survive as a dominion domain — the mandate re-files the earth as the OBJECT of fill-and-subdue and rules only over the animate three. The class term also swaps: the design said ha-remes ('the creeper'); the mandate says kol CHAYAH ha-romeset ('every LIVING THING that creeps') — the exact class-word exchange between 1:24-25's lists, run in reverse. Letter-visible on both axes; chain queue: Bereshit Rabbah 8:12's redu/yerdu wordplay ('rule'/'fall' — worthy, rule the creatures; unworthy, sink beneath them) is CACHED and read (day-1 triage row 31) — the chain treating dominion as conditional exactly where the machine sees it re-scoped. | וּבְכָל־הָאָרֶץ ← וּמִלְאוּ אֶת־הָאָרֶץ וְכִבְשֻׁהָ · u-ve-khol ha-aretz -> u-milu et-ha-aretz ve-khivshuha = over-all earth > fill obj-marker-the-earth subdue-it | — | delta tested (letter-visible) |
| NOTE_SPEC_DELTA | spec 'design verbs: radah only (rule)' delivered 'kavash ADDED (subdue) — a verb absent from every spec clause of the week' — flag spec_delta = spec 'design verbs: rule only (rule)' delivered 'subdue ADDED (subdue) — a verb absent from every spec clause over-flier-of the week' — flag spec-delta Over-delivery inside a mandate: kavash enters the corpus here, unannounced — and it is Torah-RARE: 3 occurrences total (Gen 1:28; Num 32:22, 32:29 — 've-nikhbeshah ha-aretz', the LAND subdued before the LORD, the conquest verses), detector grade A-cross-book. The dominion vocabulary's whole later life runs through law: radah resurfaces in Lev 25:43/46/53 ('do not rule harshly') and Lev 26:17 (dominion INVERTED in the curse). Observation tier FOREVER unless the chain joins them. | וְכִבְשֻׁהָ · ve-khivshuha = subdue-it | — | delta tested (letter-visible) |
STEP_Gn_1_29 · Gen.1.29 · GRANT_FOOD_ADAM
וַיֹּאמֶר אֱלֹהִים הִנֵּה נָתַתִּי לָכֶם אֶת־כָּל־עֵשֶׂב זֹרֵעַ זֶרַע אֲשֶׁר עַל־פְּנֵי כָל־הָאָרֶץ וְאֶת־כָּל־הָעֵץ אֲשֶׁר־בּוֹ פְרִי־עֵץ זֹרֵעַ זָרַע לָכֶם יִהְיֶה לְאָכְלָה · va-yomer Elohim hineh natati lakhem et-kol-esev zorea zera asher al-pnei khol-ha-aretz ve-et-kol-ha-etz asher-bo fri-etz zorea zara lakhem yihyeh le-okhlah · [EN-AID/JPS] And God said: 'Behold, I have given you every herb yielding seed, which is upon the face of all the earth, and every tree, in which is the fruit of a tree yielding seed — to you it shall be for food;'
ויאמר אלהים הנה נתתי לכם את כל עשב זרע זרע אשר על פני כל הארץ ואת כל העץ אשר בו פרי עץ זרע זרע · va-yomer Elohim hineh natati lakhem et-kol-esev zorea zera asher al-pnei khol-ha-aretz ve-et-kol-ha-etz asher-bo fri-etz zorea zara · the grant inventory: two seed-bearing classes (etnachta arm)
לכם יהיה לאכלה · lakhem yihyeh le-okhlah · the standing-state demand, isolated: for you it SHALL BE for food
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | grant(e3) ∧ Agent(e3, Elohim) ∧ Theme(e3, kol_zorea_zera) = grant(e3) ∧ Agent(e3, God) ∧ Theme(e3, every-seed-bearing-plant) 'Behold, I HAVE GIVEN you' — natati, Vqp1cs: the corpus's FIRST first-person perfect (DB-verified; the next 'I did' in the Torah is the human's fearful 'I heard' at 3:10). A PERFORMATIVE perfect: the giving is complete in the saying — no build verse follows, none is needed. hineh ('behold') opens the corpus's first deictic presentation: the speaker POINTS while granting. Onkelos retains both (ha yehavit). | הִנֵּה נָתַתִּי לָכֶם · hineh natati lakhem = behold I-have-given you | — | tested |
| NOTE_PRESUPPOSED | kol_zorea_zera are READ without prior install (standalone machine; gen_03 vegetation classes under shifted terms — mazria -> zorea — cross-unit chaining is Stage E) = every-seed-bearing-plant are READ without prior install (standalone machine; gen-03 vegetation classes under shifted terms — seeding -> seeding — cross-unit chaining is Stage E) flag, not fix — the granted inventory is day 3's delivery re-read | — | — | tested |
| ASSIGN | REGISTRY: kol_zorea_zera->okhlah_la_adam — the seed-bearing inventory (every herb seeding seed + every tree with seed-bearing fruit) bound to the food office for the adam = REGISTRY: every-seed-bearing-plant->food-to-man — the seed-bearing inventory (every herb seeding seed + every tree with seed-bearing fruit) bound to the food office for the man First REGISTRY write since day 4 (day 5 touched neither naming nor office): the day-4 ASSIGN device (dative role binding — no va-yiqra formula) re-used for a FOOD OFFICE. The grant selects by the shared differentiator zorea zera ('seeding seed' — cognate participle + object, on BOTH classes), i.e. the self-perpetuating plants. Term shift vs the day-3 install, letter-visible: 1:11-12 said MAZRIA (hiphil, 'seed-CAUSING'); 1:29 says ZOREA (qal, 'seeding') — same root, stem stepped down at re-reference, recorded [OPEN]. | כָּל־עֵשֶׂב זֹרֵעַ זֶרַע … כָּל־הָעֵץ … לְאָכְלָה · kol-esev zorea zera … kol-ha-etz … le-okhlah = every-herb seeding seed every-the-tree food | — | tested |
| DECLARE | DECLARE(Elohim, LET?(yihyeh(kol_zorea_zera, le_okhlah))) = DECLARE(God, LET?(it-shall-be(every-seed-bearing-plant, for-food))) The grant's standing-state demand: yihyeh — QAL IMPERFECT 3MS (Vqi3ms) — 'for you it SHALL BE for food': imperfect in a command context, TIR-028's mandatory ? — LET?. The accent tree isolates exactly this clause as the verse's right arm. The demand verb is hayah ('to be') — the receipt token's own root: the pop, when it comes (1:30 va-yehi khen), will answer yihyeh ('shall be') with va-yehi ('and it was'), the cleanest demand/receipt verb-match in the corpus. | לָכֶם יִהְיֶה לְאָכְלָה · lakhem yihyeh le-okhlah = you it-shall-be food | TIR-028 | tested as flag; resolution per-unit only |
STEP_Gn_1_30 · Gen.1.30 · GRANT_FOOD_ANIMALS_RECEIPT
וּלְכָל־חַיַּת הָאָרֶץ וּלְכָל־עוֹף הַשָּׁמַיִם וּלְכֹל רוֹמֵשׂ עַל־הָאָרֶץ אֲשֶׁר־בּוֹ נֶפֶשׁ חַיָּה אֶת־כָּל־יֶרֶק עֵשֶׂב לְאָכְלָה וַיְהִי־כֵן · u-le-khol chayat ha-aretz u-le-khol of ha-shamayim u-le-khol romes al-ha-aretz asher-bo nefesh chaya et-kol-yerek esev le-okhlah va-yehi khen · [EN-AID/JPS] 'and to every beast of the earth, and to every fowl of the air, and to every thing that creepeth upon the earth, wherein there is a living soul, [I have given] every green herb for food.' And it was so.
ולכל חית הארץ ולכל עוף השמים ולכל רומש על הארץ אשר בו נפש חיה את כל ירק עשב לאכלה · u-le-khol chayat ha-aretz u-le-khol of ha-shamayim u-le-khol romes al-ha-aretz asher-bo nefesh chaya et-kol-yerek esev le-okhlah · the animal grant: three grantee classes, one eligibility test, one ration (etnachta arm)
ויהי כן · va-yehi khen · the WEEK'S LAST receipt, isolated as the root's right arm — the 1:24 bracket exactly
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| NOTE_PRESUPPOSED | kol_yerek_esev are READ without prior install (standalone machine; gen_03 vegetation — the deshe registry read under the day-6 ration term — cross-unit chaining is Stage E) = every-green-of-herb are READ without prior install (standalone machine; gen-03 vegetation — the vegetation registry read under the day-6 ration term — cross-unit chaining is Stage E) flag, not fix | — | — | tested |
| ASSIGN | REGISTRY: kol_yerek_esev->okhlah_le_chol_nefesh_chaya — the green-herb class bound to the food office for every bearer of nefesh chaya (living soul) = REGISTRY: every-green-of-herb->food-to-chol-living-being-living — the green-herb class bound to the food office for every bearer over-flier-of living-being living (living soul) The second food office: three grantee classes (beast of the earth, flier of the heavens, creeper — the whole animate kingdom minus the fish, recorded [OPEN]) filtered by an ELIGIBILITY TEST in a relative clause — asher-bo nefesh chaya, 'in which is a living soul': day 5's life-class term, used as a predicate. Their ration is the GREEN HERB (yerek esev) — not the seed-bearers: the diet partition is letter-visible (humans: self-perpetuating plants; animals: green growth). yerek is Torah-rare (4 occurrences, grade A: here -> 9:3 the meat amendment quoting this ration -> Exod 10:15 the locusts consuming it -> Num 22:4 the ox licking it up). | אֶת־כָּל־יֶרֶק עֵשֶׂב לְאָכְלָה · et-kol-yerek esev le-okhlah = obj-marker-every-green-of herb food | TIR-031 | tested |
| RESULT | HOLDS(yihyeh(kol_zorea_zera, le_okhlah), t3) — va-yehi khen: the week's LAST receipt pops the grant demand with its own verb root (yihyeh 'shall be' -> va-yehi 'and it was') = HOLDS(it-shall-be(every-seed-bearing-plant, for-food), t3) — and-it-was so: the week's LAST receipt pops the grant demand with its own verb root (it-shall-be 'shall in' -> and-it-was 'and it was') The final va-yehi khen of creation — and the only one in the corpus whose demand shares its ROOT: the 1:29 clause demanded in hayah-imperfect, the receipt answers in hayah-wayyiqtol. Demand mood stays LET? on the log forever (TIR-028). Tree position: the root's own right arm — the identical bracket 1:24 gave the day's first receipt: the day OPENS and CLOSES its transactions with the same structural gesture. | וַיְהִי־כֵן · va-yehi khen = it-was so | — | tested |
STEP_Gn_1_31 · Gen.1.31 · TEST_GLOBAL_COMMIT
וַיַּרְא אֱלֹהִים אֶת־כָּל־אֲשֶׁר עָשָׂה וְהִנֵּה־טוֹב מְאֹד וַיְהִי־עֶרֶב וַיְהִי־בֹקֶר יוֹם הַשִּׁשִּׁי · va-yar Elohim et-kol-asher asah ve-hineh-tov me'od va-yehi erev va-yehi voker yom ha-shishi · [EN-AID/JPS] And God saw every thing that He had made, and, behold, it was very good. And there was evening and there was morning, the sixth day.
וירא אלהים את כל אשר עשה והנה טוב מאד · va-yar Elohim et-kol-asher asah ve-hineh-tov me'od · the global test: explicit object, deictic, intensified (etnachta arm)
ויהי ערב ויהי בקר יום הששי · va-yehi erev va-yehi voker yom ha-shishi · cycle close on the definite ordinal — THE sixth day
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| TEST | PASS(tov_meod, kol_asher_asah) = PASS(very-good, all-that-He-made) The week's REGRESSION TEST, distinct from all six local tests on three letter-visible axes: (1) explicit GLOBAL object — va-yar et-KOL-ASHER-ASAH, 'saw EVERYTHING THAT HE HAD MADE' (every local test either took no object or a single day's work); (2) deictic — ve-HINEH, 'and BEHOLD' (the presentative that opened the grant now opens the verdict: the oracle SHOWS); (3) intensified — tov ME'OD, 'VERY good', the adverb's first attachment to the oracle. Onkelos separates the instruments: every local test is tav ('good'); this one is TAKIN LACHADA ('exceedingly WELL-ORDERED') — the translation reads the global pass as an ARRANGEMENT check over the assembled system, not a quality check on a part. Chain dossier on tov me'od queued for triage (observation tier). | וְהִנֵּה־טוֹב מְאֹד · ve-hineh-tov me'od = and-behold-good very | — | tested |
| COMMIT | cycle(erev -> boqer); LEDGER[day 6] := {spec ✓, test PASS, names 2, mandate standing} = cycle(evening -> morning); LEDGER[day 6] := {spec ✓, test PASS, names 2, mandate standing} ha-shishi = DEFINITE ORDINAL 'THE sixth' (Td/Aomsa — the article morphology-tagged): the ONLY day label in the week that carries the definite article (echad cardinal; sheni through chamishi bare ordinals — verified against our own morph data), recorded [OPEN] as the heh yeterah ('extra letter heh') flag. The chain's owner of the flag is CACHED and read (Tanchuma Bereshit 1:8 + Ein Yaakov Shabbat 9:9 compiling Bavli Shabbat 88a, day-1 triage rows 380/154): Resh Lakish's TENAI ('condition') — creation held conditional on Israel's acceptance of the Torah, hung on this single letter; dual-track, not merged. Ledger: all three demands popped (moods LET / CMD-US? / LET? intact on the log), global PASS on the books, 2 REGISTRY writes (the food offices — the register's first use since day 4), mandate standing as WORLD facts with no receipt owed, one design contract deliberately undischarged, nine spec-delta flags riding. Clean commit. | יוֹם הַשִּׁשִּׁי · yom ha-shishi = day sixth | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 1:24 — all registers empty (standalone unit) |
| S_land_spec_receipted | After 1:24 — LET(totze) pushed AND popped same verse (receipt convention restored); aretz flagged |
| S_land_built_tested | After 1:25 — WORLD += {chayat_ha_aretz, behemah, remes_ha_adamah}; spec_delta x3; TESTS: PASS(tov, nefesh_chaya) |
| S_council_open | After 1:26 — CMD-US?(make(adam)) pushed and OPEN (new mood, ? mandatory); dominion design contract on the books; dagat_ha_yam/of_ha_shamayim flagged |
| S_adam_created | After 1:27 — bara x3: WORLD += ha_adam; demand popped by delivery (mood stays CMD-US?); design triple UNDISCHARGED; spec_delta x4 |
| S_blessed_mandated | After 1:28 — BLESS x5 CMD!, no mood split: mandate standing as WORLD facts; spec_delta x2; SPECS untouched |
| S_granted_demand_open | After 1:29 — performative grant: REGISTRY write 1 (food office, adam); LET?(yihyeh) pushed; kol_zorea_zera flagged |
| S_grants_receipted | After 1:30 — REGISTRY write 2 (food office, animals); va-yehi khen pops the LET? demand (week's last receipt); kol_yerek_esev flagged |
| S_day6_committed_definite | After 1:31 — global PASS(tov_meod); LEDGER[6] closed on the DEFINITE ordinal ha-shishi; clean; design contract still open |
| from | to | via |
|---|---|---|
| S_boot | S_land_spec_receipted | STEP_Gn_1_24 |
| S_land_spec_receipted | S_land_built_tested | STEP_Gn_1_25 |
| S_land_built_tested | S_council_open | STEP_Gn_1_26 |
| S_council_open | S_adam_created | STEP_Gn_1_27 |
| S_adam_created | S_blessed_mandated | STEP_Gn_1_28 |
| S_blessed_mandated | S_granted_demand_open | STEP_Gn_1_29 |
| S_granted_demand_open | S_grants_receipted | STEP_Gn_1_30 |
| S_grants_receipted | S_day6_committed_definite | STEP_Gn_1_31 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | Receipt convention restored — push and pop in one verse: after STEP_Gn_1_24 | All registers empty (standalone unit). | LET(totze(aretz), product=nefesh_chaya_le_minah) pushed then satisfied in the SAME verse; SPECS empty; triple contract { totze(aretz), product=nefesh_chaya_le_minah } discharged; machine flags aretz as read-before-install (presupposed). = LET(let-bring-forth(earth), product=living-being-living-to-by-its-kind) pushed then satisfied in the SAME verse; SPECS empty; triple contract { let-bring-forth(earth), product=living-being-living-to-by-its-kind } discharged; machine flags earth as read-before-install (presupposed). | וַיְהִי־כֵן · va-yehi khen = it-was so |
| S2 | Land classes installed, deltas flagged, local test: after STEP_Gn_1_25 | S1 state. | WORLD += chayat_ha_aretz; WORLD += behemah; WORLD += remes_ha_adamah; TESTS += PASS(tov, nefesh_chaya); machine flags spec-delta. = WORLD += wild-beast-of-the-earth; WORLD += cattle; WORLD += creeper-the-ground; TESTS += PASS(good, living-being); machine flags spec-delta. | וַיַּעַשׂ אֱלֹהִים · va-ya'as Elohim = made God |
| S3 | The council demand — new mood, pushed and open: after STEP_Gn_1_26 | S2 state. | CMD-US?(make(adam), spec=b_tzelem_k_demut) pushed and OPEN; machine flags dagat_ha_yam/of_ha_shamayim as read-before-install (presupposed). = CMD-US?(make(man), spec=in-image-after-likeness) pushed and OPEN; machine flags fish-of-the-sea/fowl-of-the-sky as read-before-install (presupposed). | נַעֲשֶׂה אָדָם · na'aseh adam = let-us-make man |
| S4 | Bara tripled pops the demand; mood intact; design stands open: after STEP_Gn_1_27 | S3 state. | WORLD += ha_adam; SPECS empty; CMD-US?(make(adam), spec=b_tzelem_k_demut) mood remains CMD-US?; triple contract { rule(adam, dagah_of_behemah_aretz_remes) } stands undischarged; machine flags spec-delta. = WORLD += the-man; SPECS empty; CMD-US?(make(man), spec=in-image-after-likeness) mood remains CMD-US?; triple contract { rule(man, fish-over-flier-of-cattle-earth-creeper) } stands undischarged; machine flags spec-delta. | בָּרָא … בָּרָא … בָּרָא · bara … bara … bara = created created created |
| S5 | Five-imperative mandate standing, SPECS untouched: after STEP_Gn_1_28 | S4 state. | Facts mandate-peru/mandate-revu/mandate-milu/mandate-kivshuha/ mandate-redu HOLD; SPECS empty. = Facts mandate-be-fruitful/mandate-multiply/mandate-fill/mandate-subdue-it/ mandate-rule HOLD; SPECS empty. | פְּרוּ וּרְבוּ וּמִלְאוּ … וְכִבְשֻׁהָ וּרְדוּ · peru u-revu u-milu … ve-khivshuha u-redu = be-fruitful multiply fill subdue-it rule |
| S6 | The performative grant and its standing-state demand: after STEP_Gn_1_29 | S5 state. | LET?(yihyeh(kol_zorea_zera, le_okhlah)) mood remains LET?; machine flags kol_zorea_zera as read-before-install (presupposed). = LET?(it-shall-be(every-seed-bearing-plant, for-food)) mood remains LET?; machine flags every-seed-bearing-plant as read-before-install (presupposed). | הִנֵּה נָתַתִּי לָכֶם · hineh natati lakhem = behold I-have-given you |
| S7 | Second food office; the week's last receipt pops the demand: after STEP_Gn_1_30 | S6 state. | SPECS empty; REGISTRY: kol_zorea_zera->okhlah_la_adam, kol_yerek_esev->okhlah_le_chol_nefesh_chaya (2 writes); machine flags kol_yerek_esev as read-before-install (presupposed). = SPECS empty; REGISTRY: every-seed-bearing-plant->food-to-man, every-green-of-herb->food-to-chol-living-being-living (2 writes); machine flags every-green-of-herb as read-before-install (presupposed). | וַיְהִי־כֵן · va-yehi khen = it-was so |
| S8 | Global test; definite-ordinal commit, clean: after STEP_Gn_1_31 | S7 state. | TESTS += PASS(tov_meod, kol_asher_asah); LEDGER[day 6] committed with spec ✓ / test PASS / names 2; day label is ORDINAL shishi; commit is clean. = TESTS += PASS(very-good, all-that-He-made); LEDGER[day 6] committed with spec ✓ / test PASS / names 2; day label is ORDINAL sixth; commit is clean. | יוֹם הַשִּׁשִּׁי · yom ha-shishi = day sixth |
| S9_negative | Negative: CMD-US? never auto-upgrades — the new mood inherits the contract | The unit's own na'aseh demand — the first CMD-US? the corpus has carried live (TIR-033 with TIR-028's mandatory question mark). | Operator stays CMD-US?(p) with the question mark (TIR-028 applied to TIR-033); satisfaction at 1:27 pops the demand but never upgrades the mood; any resolution requires an explicit per-unit citation. | |
| S10_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 nine spec-deltas and five presupposition flags 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 nine spec-deltas and five presupposition flags ride a clean commit. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_receipt_restored | וַיְהִי־כֵן ×2 · va-yehi khen x2 · the receipt token returns after day 5's silence — 1:24 (spec receipt, days-1-4 position) and 1:30 (the week's last, popping a demand that shares its verb root); learning-pass prediction #1 CONFIRMED; check day 7: no receipt, no commit formula at all |
| EXPORT_council_plural | נַעֲשֶׂה … בְּצַלְמֵנוּ ← בְּצַלְמוֹ · na'aseh … be-tzalmenu -> be-tzalmo · the corpus's first 1cp form (new mood CMD-US?, TIR-033) and the letter's own resolution: plural proposal, singular delivery (his image; the image of Elohim) — chain dossier BR 8:3-9 / Sanhedrin 38b queued; recurs at 3:22 (ke-achad mimenu), 11:7 (nerda — Babel) |
| EXPORT_tzelem_trail | צֶלֶם · tzelem · image: 1:26, 1:27 x2 -> 5:3 (Seth) -> 9:6 (the bloodshed law GROUNDS itself on this day's install: 'for in the image of God He made the adam') -> Num 33:52 (the word's dark half: idol-images, to be destroyed) — 6 occurrences, detector grade A |
| EXPORT_bless_human_extended | פְּרוּ וּרְבוּ וּמִלְאוּ … וְכִבְשֻׁהָ וּרְדוּ · peru u-revu u-milu … ve-khivshuha u-redu · day 5's blessing extended on every axis (3->5 verbs; waters->earth; mood split removed; le-mor->lahem direct address; rare frame accents) — recurs at 9:1 (Noah, WITHOUT the dominion pair: diff queued) and 9:7 |
| EXPORT_dominion_vocabulary | רָדָה · כָּבַשׁ · radah · kavash · the two dominion verbs, both Torah-rare, both living their later life in LAW: radah -> Lev 25:43/46/53 (limits on human-over-human rule) + Lev 26:17 (dominion inverted in the curse) + Num 24:19; kavash -> Num 32:22/29 (the land subdued) — detector grade A joins, observation tier |
| EXPORT_grant_formula | נָתַתִּי … לְאָכְלָה · natati … le-okhlah · the performative grant formula (first 1cs perfect + food dative): re-run at 6:21 (ark provisioning), REVISED at 9:3 (meat permitted, 'as the yerek esev I have given you ALL'), re-run at Exod 16:15 (the manna: 'the bread the LORD has GIVEN you le-okhlah') — the corpus amends and re-executes this day's grant |
| EXPORT_definite_day_label | יוֹם הַשִּׁשִּׁי · yom ha-shishi · the week's only definite day label (heh yeterah, 'extra heh') — chain: creation conditional on Torah-acceptance (Shabbat 88a via cached compilations); trail: ha-shishi at Exod 16:5/22/29 (the manna's double portion on THE sixth day) and Lev 25:21 (the sixth-year blessing) — the label's article and its Sabbath-preparation afterlife |
| EXPORT_adamah_before_adam | הָאֲדָמָה (1:25) ← אָדָם (1:26) · ha-adamah (1:25) -> adam (1:26) · the corpus's first 'ground' arrives one verse before the first 'man' is proposed — the 2:7 wordplay (adam from adamah) seeded in delivery order, letter-visible |
| EXPORT_bara_triad_no_receipt | בָּרָא ×3, וַיְהִי־כֵן absent · bara x3, va-yehi khen absent · the chain's triad (Lekach Tov 1:21:4, verified day 5) closes: heavens-and-earth, taninim, ADAM — the three beriah blocks without receipt tokens; the day-5 machine finding predicted this verse's shape before it was derived |
Oral notes (named, tiered, dual-track — never merged)
וַיֹּאמֶר אֱלֹהִים תּוֹצֵא הָאָרֶץ נֶפֶשׁ חַיָּה. כְּלָל. בְּהֵמָה וָרֶמֶשׂ וְחַיְתוֹ אֶרֶץ. פְּרָט · va-yomer Elohim totze ha-aretz nefesh chaya — KLAL. behemah va-remes ve-chayto eretz — PRAT · The chain annotates the spec verse with rule 4 of the 13 middot ('measures' — interpretive rules) of Rabbi Yishmael, in two words: the product class nefesh chaya ('living creature') = KLAL (the general); the three-item enumeration = PRAT (the particular) — a LAW-side inference rule applied to a narrative fiat, matching the machine's spec structure (product class + item breakdown) exactly. Rows 1:23:2-5 continue through the list and the receipt. Label-only application (no announcement formula) — the calibration case for the detector's v2 label-form requirement.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.
לָמָּה נֶאֱמַר … יוֹם הַשִּׁשִּׁי, הֵ״א יְתֵרָה לָמָּה? … מְלַמֵּד שֶׁהִתְנָה הַקָּדוֹשׁ בָּרוּךְ הוּא עִם מַעֲשֵׂה בְרֵאשִׁית וְאָמַר לָהֶם אִם יִשְׂרָאֵל מְקַבְּלִים הַתּוֹרָה מוּטָב, וְאִם לָאו אֲנִי מַחֲזִיר אֶתְכֶם לְתֹהוּ וָבֹהוּ · lamah ne'emar … yom HA-shishi — heh yeterah lamah? … melamed she-hitnah ha-Kadosh Barukh Hu im ma'aseh bereshit: im Yisrael mekablim et ha-Torah — mutav; ve-im lav — ani machazir etkhem le-tohu va-vohu · Resh Lakish on the machine's article flag, verbatim: 'Why is it said … day THE-sixth — why the EXTRA HEH (the letter heh = the definite article)? … It TEACHES that the Holy One made a CONDITION (tenai) with the works of creation: if Israel accepts the Torah — good; if not, I return you to tohu va-vohu (unformed-and-void, 1:2's own terms).' The chain hangs the week's entire warranty clause on the single letter the machine's morph data isolates (Td/Aomsa vs the five bare labels). Uses melamed she- ('it teaches that') — a discovered-class device, live in the source.
Verified from Data/sefaria_texts/ (local). Dual-track; the machine's [OPEN] flag stands. Not merged.
בְּשָׁעָה שֶׁבָּרָא הַקָּדוֹשׁ בָּרוּךְ הוּא אֶת אָדָם הָרִאשׁוֹן, אַנְדְּרוֹגִינוֹס בְּרָאוֹ … דְּיוּ פַּרְצוּפִים בְּרָאוֹ, וְנִסְּרוֹ · be-sha'ah she-bara ha-Kadosh Barukh Hu et adam ha-rishon — ANDROGINOS bera'o … DYU-PARTZUFIM bera'o, ve-nisro · The chain's two answers to the number shift: R. Yirmiyah b. Elazar — 'when the Holy One created the first adam, He created him ANDROGINOS (two-sexed)', prooftexted on the recap verse (5:2 'male and female He created THEM'); R. Shmuel bar Nachman — 'DYU-PARTZUFIM (two-faced) He created him, and SAWED him apart' — answering the rib objection (2:21) by re-reading tzela as SIDE via kemah de-at amar ('as you say elsewhere', Exod 26:20 — the Tabernacle's side). One flag (oto->otam), two chain resolutions, both keeping the singular creation and the plural delivery TRUE simultaneously — the same dual-track move the machine makes.
Verified from Data/sefaria_texts/ (local). Dual-track; the machine's [OPEN] flag stands. Not merged.
וּרְדוּ בִדְגַת הַיָּם — זָכָה רְדוּ, לֹא זָכָה יֵרְדוּ · u-redu bi-dgat ha-yam — zakhah REDU, lo zakhah YERDU · R. Chanina's wordplay on the mandate's rule-verb: 'u-redu ("and rule") — if worthy, REDU (rule); if not worthy, YERDU (they shall DESCEND / be sunk beneath)' — the same consonants read as dominion or downfall: the chain building conditionality into the dominion grant exactly where the machine records the design contract as UNDISCHARGED (commissioned, not yet exercised, outcome open). Lashon nofel al lashon ('wordplay') — rulebook-32 device.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.
הָאִישׁ מְצֻוֶּה עַל פְּרִיָּה וּרְבִיָּה, אֲבָל לֹא הָאִשָּׁה · ha-ish metzuveh al periyah u-reviyah, aval lo ha-ishah · 'The man is commanded concerning being fruitful and multiplying, but not the woman' — the Mishnah converting this verse's blessing- imperatives into a bounded legal obligation: the mandate the machine records as standing WORLD facts is, in the chain's law code, a live commandment with assigned bearers. The rulebook's day-5 note (the operator records mood, not tone) meets its legal test case.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.
עֲשָׂרָה מַאֲמָרוֹת · asarah ma'amarot · The ten-utterances ('asarah ma'amarot') census: the day-6 span holds THREE census utterances (1:24, 1:26, 1:29) — no other day holds more than two — and Lekach Tov's census variant counts the 1:28 blessing itself as an utterance, giving this day up to FOUR of the ten. The week's speech budget is concentrated on its last work day.
Verified from Data/sefaria_texts/ (local). Dual-track; not merged.
נַעֲשֶׂה אָדָם · na'aseh adam · Named, not yet read (observation tier): the chain's dossier on the 1:26 plural — the consultation traditions (the ministering angels; the works of heaven and earth; His own heart) and the heretics-and-the-plural sugya, which reads 1:26/1:27 as question-and-answer exactly along the machine's delta #2 (plural proposal, singular delivery). Queued for the day-6 triage under section 4.1.
Queue entry — no claim made beyond the naming.
Binary trees (ta'amim v3, glue bricks)
Gen.1.24 · parser unique · 14 words
PHRASE (binary 14w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים תּוֹצֵ֨א הָ/אָ֜רֶץ נֶ֤פֶש… ├── PHRASE (binary 12w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים תּוֹצֵ֨א הָ/אָ֜רֶץ נֶ֤פֶש… │ ├── PHRASE (binary 7w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים תּוֹצֵ֨א הָ/אָ֜רֶץ נֶ֤פֶש… │ │ ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֱלֹהִ֗ים (revia, rank=3) │ │ └── PHRASE (binary 5w) תּוֹצֵ֨א הָ/אָ֜רֶץ נֶ֤פֶשׁ חַיָּה֙ לְ/מִינָ֔/הּ │ │ ├── PHRASE (binary 4w) תּוֹצֵ֨א הָ/אָ֜רֶץ נֶ֤פֶשׁ חַיָּה֙ │ │ │ ├── [2-3] GLUE תּוֹצֵ֨א הָ/אָ֜רֶץ (geresh, rank=4) │ │ │ └── [4-5] GLUE נֶ֤פֶשׁ חַיָּה֙ (pashta, rank=3) │ │ └── [6] לְ/מִינָ֔/הּ (zaqef qatan, rank=2) │ └── PHRASE (binary 5w) בְּהֵמָ֥ה וָ/רֶ֛מֶשׂ וְ/חַֽיְתוֹ אֶ֖רֶץ לְ/מִינ… │ ├── PHRASE (binary 4w) בְּהֵמָ֥ה וָ/רֶ֛מֶשׂ וְ/חַֽיְתוֹ אֶ֖רֶץ │ │ ├── [7-8] GLUE בְּהֵמָ֥ה וָ/רֶ֛מֶשׂ (tevir, rank=3) │ │ └── [9-10] GLUE וְ/חַֽיְתוֹ אֶ֖רֶץ (tifcha, rank=2) │ └── [11] לְ/מִינָ֑/הּ (etnachta (major mid-verse rest), rank=1) └── [12-13] GLUE וַֽ/יְהִי כֵֽן (silluq (verse-end emperor), rank=1)
Gen.1.25 · parser unique · 18 words
PHRASE (binary 18w) וַ/יַּ֣עַשׂ אֱלֹהִים֩ אֶת חַיַּ֨ת הָ/אָ֜רֶץ לְ/…
├── PHRASE (binary 14w) וַ/יַּ֣עַשׂ אֱלֹהִים֩ אֶת חַיַּ֨ת הָ/אָ֜רֶץ לְ/…
│ ├── PHRASE (binary 9w) וַ/יַּ֣עַשׂ אֱלֹהִים֩ אֶת חַיַּ֨ת הָ/אָ֜רֶץ לְ/…
│ │ ├── PHRASE (binary 6w) וַ/יַּ֣עַשׂ אֱלֹהִים֩ אֶת חַיַּ֨ת הָ/אָ֜רֶץ לְ/…
│ │ │ ├── [0-4] GLUE וַ/יַּ֣עַשׂ אֱלֹהִים֩ אֶת חַיַּ֨ת הָ/אָ֜רֶץ (geresh, rank=4)
│ │ │ └── [5] לְ/מִינָ֗/הּ (revia, rank=3)
│ │ └── PHRASE (binary 3w) וְ/אֶת הַ/בְּהֵמָה֙ לְ/מִינָ֔/הּ
│ │ ├── [6-7] GLUE וְ/אֶת הַ/בְּהֵמָה֙ (pashta, rank=3)
│ │ └── [8] לְ/מִינָ֔/הּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) וְ/אֵ֛ת כָּל רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה לְ/מִינֵ֑/הוּ
│ ├── PHRASE (binary 4w) וְ/אֵ֛ת כָּל רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה
│ │ ├── [9] וְ/אֵ֛ת (tevir, rank=3)
│ │ └── [10-12] GLUE כָּל רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה (tifcha, rank=2)
│ └── [13] לְ/מִינֵ֑/הוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וַ/יַּ֥רְא אֱלֹהִ֖ים כִּי טֽוֹב
├── [14-15] GLUE וַ/יַּ֥רְא אֱלֹהִ֖ים (tifcha, rank=2)
└── [16-17] GLUE כִּי טֽוֹב (silluq (verse-end emperor), rank=1)
Gen.1.26 · parser unique · 19 words
PHRASE (binary 19w) וַ/יֹּ֣אמֶר אֱלֹהִ֔ים נַֽעֲשֶׂ֥ה אָדָ֛ם בְּ/צַל…
├── PHRASE (binary 6w) וַ/יֹּ֣אמֶר אֱלֹהִ֔ים נַֽעֲשֶׂ֥ה אָדָ֛ם בְּ/צַל…
│ ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֱלֹהִ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) נַֽעֲשֶׂ֥ה אָדָ֛ם בְּ/צַלְמֵ֖/נוּ כִּ/דְמוּתֵ֑/…
│ ├── PHRASE (binary 3w) נַֽעֲשֶׂ֥ה אָדָ֛ם בְּ/צַלְמֵ֖/נוּ
│ │ ├── [2-3] GLUE נַֽעֲשֶׂ֥ה אָדָ֛ם (tevir, rank=3)
│ │ └── [4] בְּ/צַלְמֵ֖/נוּ (tifcha, rank=2)
│ └── [5] כִּ/דְמוּתֵ֑/נוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 13w) וְ/יִרְדּוּ֩ בִ/דְגַ֨ת הַ/יָּ֜ם וּ/בְ/ע֣וֹף הַ/…
├── PHRASE (binary 8w) וְ/יִרְדּוּ֩ בִ/דְגַ֨ת הַ/יָּ֜ם וּ/בְ/ע֣וֹף הַ/…
│ ├── PHRASE (binary 5w) וְ/יִרְדּוּ֩ בִ/דְגַ֨ת הַ/יָּ֜ם וּ/בְ/ע֣וֹף הַ/…
│ │ ├── [6-8] GLUE וְ/יִרְדּוּ֩ בִ/דְגַ֨ת הַ/יָּ֜ם (geresh, rank=4)
│ │ └── [9-10] GLUE וּ/בְ/ע֣וֹף הַ/שָּׁמַ֗יִם (revia, rank=3)
│ └── PHRASE (binary 3w) וּ/בַ/בְּהֵמָה֙ וּ/בְ/כָל הָ/אָ֔רֶץ
│ ├── [11] וּ/בַ/בְּהֵמָה֙ (pashta, rank=3)
│ └── [12-13] GLUE וּ/בְ/כָל הָ/אָ֔רֶץ (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וּ/בְ/כָל הָ/רֶ֖מֶשׂ הָֽ/רֹמֵ֥שׂ עַל הָ/אָֽרֶץ
├── [14-15] GLUE וּ/בְ/כָל הָ/רֶ֖מֶשׂ (tifcha, rank=2)
└── [16-18] GLUE הָֽ/רֹמֵ֥שׂ עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.1.27 · parser unique · 13 words
PHRASE (binary 13w) וַ/יִּבְרָ֨א אֱלֹהִ֤ים אֶת הָֽ/אָדָם֙ בְּ/צַלְמ…
├── PHRASE (binary 9w) וַ/יִּבְרָ֨א אֱלֹהִ֤ים אֶת הָֽ/אָדָם֙ בְּ/צַלְמ…
│ ├── PHRASE (binary 5w) וַ/יִּבְרָ֨א אֱלֹהִ֤ים אֶת הָֽ/אָדָם֙ בְּ/צַלְמ…
│ │ ├── [0-3] GLUE וַ/יִּבְרָ֨א אֱלֹהִ֤ים אֶת הָֽ/אָדָם֙ (pashta, rank=3)
│ │ └── [4] בְּ/צַלְמ֔/וֹ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) בְּ/צֶ֥לֶם אֱלֹהִ֖ים בָּרָ֣א אֹת֑/וֹ
│ ├── [5-6] GLUE בְּ/צֶ֥לֶם אֱלֹהִ֖ים (tifcha, rank=2)
│ └── [7-8] GLUE בָּרָ֣א אֹת֑/וֹ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) זָכָ֥ר וּ/נְקֵבָ֖ה בָּרָ֥א אֹתָֽ/ם
├── [9-10] GLUE זָכָ֥ר וּ/נְקֵבָ֖ה (tifcha, rank=2)
└── [11-12] GLUE בָּרָ֥א אֹתָֽ/ם (silluq (verse-end emperor), rank=1)
Gen.1.28 · parser unique · 22 words
PHRASE (binary 22w) וַ/יְבָ֣רֶךְ אֹתָ/ם֮ אֱלֹהִים֒ וַ/יֹּ֨אמֶר לָ/ה…
├── PHRASE (binary 12w) וַ/יְבָ֣רֶךְ אֹתָ/ם֮ אֱלֹהִים֒ וַ/יֹּ֨אמֶר לָ/ה…
│ ├── PHRASE (binary 3w) וַ/יְבָ֣רֶךְ אֹתָ/ם֮ אֱלֹהִים֒
│ │ ├── [0-1] GLUE וַ/יְבָ֣רֶךְ אֹתָ/ם֮ (zinor (poetic cousin; rare in prose), rank=3)
│ │ └── [2] אֱלֹהִים֒ (segol, rank=2)
│ └── PHRASE (binary 9w) וַ/יֹּ֨אמֶר לָ/הֶ֜ם אֱלֹהִ֗ים פְּר֥וּ וּ/רְב֛וּ…
│ ├── PHRASE (binary 8w) וַ/יֹּ֨אמֶר לָ/הֶ֜ם אֱלֹהִ֗ים פְּר֥וּ וּ/רְב֛וּ…
│ │ ├── PHRASE (binary 3w) וַ/יֹּ֨אמֶר לָ/הֶ֜ם אֱלֹהִ֗ים
│ │ │ ├── [3-4] GLUE וַ/יֹּ֨אמֶר לָ/הֶ֜ם (geresh, rank=4)
│ │ │ └── [5] אֱלֹהִ֗ים (revia, rank=3)
│ │ └── PHRASE (binary 5w) פְּר֥וּ וּ/רְב֛וּ וּ/מִלְא֥וּ אֶת הָ/אָ֖רֶץ
│ │ ├── [6-7] GLUE פְּר֥וּ וּ/רְב֛וּ (tevir, rank=3)
│ │ └── [8-10] GLUE וּ/מִלְא֥וּ אֶת הָ/אָ֖רֶץ (tifcha, rank=2)
│ └── [11] וְ/כִבְשֻׁ֑/הָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 10w) וּ/רְד֞וּ בִּ/דְגַ֤ת הַ/יָּם֙ וּ/בְ/ע֣וֹף הַ/שׁ…
├── PHRASE (binary 5w) וּ/רְד֞וּ בִּ/דְגַ֤ת הַ/יָּם֙ וּ/בְ/ע֣וֹף הַ/שׁ…
│ ├── PHRASE (binary 3w) וּ/רְד֞וּ בִּ/דְגַ֤ת הַ/יָּם֙
│ │ ├── [12] וּ/רְד֞וּ (gershayim, rank=4)
│ │ └── [13-14] GLUE בִּ/דְגַ֤ת הַ/יָּם֙ (pashta, rank=3)
│ └── [15-16] GLUE וּ/בְ/ע֣וֹף הַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
└── PHRASE (binary 5w) וּ/בְ/כָל חַיָּ֖ה הָֽ/רֹמֶ֥שֶׂת עַל הָ/אָֽרֶץ
├── [17-18] GLUE וּ/בְ/כָל חַיָּ֖ה (tifcha, rank=2)
└── [19-21] GLUE הָֽ/רֹמֶ֥שֶׂת עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.1.29 · parser unique · 27 words
PHRASE (binary 27w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם…
├── PHRASE (binary 24w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם…
│ ├── PHRASE (binary 15w) וַ/יֹּ֣אמֶר אֱלֹהִ֗ים הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם…
│ │ ├── [0-1] GLUE וַ/יֹּ֣אמֶר אֱלֹהִ֗ים (revia, rank=3)
│ │ └── PHRASE (binary 13w) הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם אֶת כָּל עֵ֣שֶׂב זֹרֵ…
│ │ ├── PHRASE (binary 8w) הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם אֶת כָּל עֵ֣שֶׂב זֹרֵ…
│ │ │ ├── [2-4] GLUE הִנֵּה֩ נָתַ֨תִּי לָ/כֶ֜ם (geresh, rank=4)
│ │ │ └── [5-9] GLUE אֶת כָּל עֵ֣שֶׂב זֹרֵ֣עַ זֶ֗רַע (revia, rank=3)
│ │ └── PHRASE (binary 5w) אֲשֶׁר֙ עַל פְּנֵ֣י כָל הָ/אָ֔רֶץ
│ │ ├── [10] אֲשֶׁר֙ (pashta, rank=3)
│ │ └── [11-14] GLUE עַל פְּנֵ֣י כָל הָ/אָ֔רֶץ (zaqef qatan, rank=2)
│ └── PHRASE (binary 9w) וְ/אֶת כָּל הָ/עֵ֛ץ אֲשֶׁר בּ֥/וֹ פְרִי עֵ֖ץ זֹ…
│ ├── PHRASE (binary 7w) וְ/אֶת כָּל הָ/עֵ֛ץ אֲשֶׁר בּ֥/וֹ פְרִי עֵ֖ץ
│ │ ├── [15-17] GLUE וְ/אֶת כָּל הָ/עֵ֛ץ (tevir, rank=3)
│ │ └── [18-21] GLUE אֲשֶׁר בּ֥/וֹ פְרִי עֵ֖ץ (tifcha, rank=2)
│ └── [22-23] GLUE זֹרֵ֣עַ זָ֑רַע (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) לָ/כֶ֥ם יִֽהְיֶ֖ה לְ/אָכְלָֽה
├── [24-25] GLUE לָ/כֶ֥ם יִֽהְיֶ֖ה (tifcha, rank=2)
└── [26] לְ/אָכְלָֽה (silluq (verse-end emperor), rank=1)
Gen.1.30 · parser unique · 21 words
PHRASE (binary 21w) וּֽ/לְ/כָל חַיַּ֣ת הָ֠/אָרֶץ וּ/לְ/כָל ע֨וֹף הַ… ├── PHRASE (binary 19w) וּֽ/לְ/כָל חַיַּ֣ת הָ֠/אָרֶץ וּ/לְ/כָל ע֨וֹף הַ… │ ├── PHRASE (binary 14w) וּֽ/לְ/כָל חַיַּ֣ת הָ֠/אָרֶץ וּ/לְ/כָל ע֨וֹף הַ… │ │ ├── PHRASE (binary 10w) וּֽ/לְ/כָל חַיַּ֣ת הָ֠/אָרֶץ וּ/לְ/כָל ע֨וֹף הַ… │ │ │ ├── [0-2] GLUE וּֽ/לְ/כָל חַיַּ֣ת הָ֠/אָרֶץ (telisha gedola, rank=4) │ │ │ └── PHRASE (binary 7w) וּ/לְ/כָל ע֨וֹף הַ/שָּׁמַ֜יִם וּ/לְ/כֹ֣ל רוֹמֵ֣… │ │ │ ├── [3-5] GLUE וּ/לְ/כָל ע֨וֹף הַ/שָּׁמַ֜יִם (geresh, rank=4) │ │ │ └── [6-9] GLUE וּ/לְ/כֹ֣ל רוֹמֵ֣שׂ עַל הָ/אָ֗רֶץ (revia, rank=3) │ │ └── PHRASE (binary 4w) אֲשֶׁר בּ/וֹ֙ נֶ֣פֶשׁ חַיָּ֔ה │ │ ├── [10-11] GLUE אֲשֶׁר בּ/וֹ֙ (pashta, rank=3) │ │ └── [12-13] GLUE נֶ֣פֶשׁ חַיָּ֔ה (zaqef qatan, rank=2) │ └── PHRASE (binary 5w) אֶת כָּל יֶ֥רֶק עֵ֖שֶׂב לְ/אָכְלָ֑ה │ ├── [14-17] GLUE אֶת כָּל יֶ֥רֶק עֵ֖שֶׂב (tifcha, rank=2) │ └── [18] לְ/אָכְלָ֑ה (etnachta (major mid-verse rest), rank=1) └── [19-20] GLUE וַֽ/יְהִי כֵֽן (silluq (verse-end emperor), rank=1)
Gen.1.31 · parser unique · 15 words
PHRASE (binary 15w) וַ/יַּ֤רְא אֱלֹהִים֙ אֶת כָּל אֲשֶׁ֣ר עָשָׂ֔ה ו…
├── PHRASE (binary 9w) וַ/יַּ֤רְא אֱלֹהִים֙ אֶת כָּל אֲשֶׁ֣ר עָשָׂ֔ה ו…
│ ├── PHRASE (binary 6w) וַ/יַּ֤רְא אֱלֹהִים֙ אֶת כָּל אֲשֶׁ֣ר עָשָׂ֔ה
│ │ ├── [0-1] GLUE וַ/יַּ֤רְא אֱלֹהִים֙ (pashta, rank=3)
│ │ └── [2-5] GLUE אֶת כָּל אֲשֶׁ֣ר עָשָׂ֔ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 3w) וְ/הִנֵּה ט֖וֹב מְאֹ֑ד
│ ├── [6-7] GLUE וְ/הִנֵּה ט֖וֹב (tifcha, rank=2)
│ └── [8] מְאֹ֑ד (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַֽ/יְהִי עֶ֥רֶב וַֽ/יְהִי בֹ֖קֶר י֥וֹם הַ/שִּׁ…
├── [9-12] GLUE וַֽ/יְהִי עֶ֥רֶב וַֽ/יְהִי בֹ֖קֶר (tifcha, rank=2)
└── [13-14] GLUE י֥וֹם הַ/שִּׁשִּֽׁי (silluq (verse-end emperor), rank=1)
Word coverage — 149/149 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.1.24 | 0 | ויאמר | va-yomer | and-said | speech_verb_declare | logic_bearing | none |
| Gen.1.24 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.24 | 2 | תוצא | totze | let-bring-forth | delegated_jussive_let | logic_bearing | TIR-026 |
| Gen.1.24 | 3 | הארץ | ha-aretz | the-earth | delegate_subject_presupposed | logic_bearing | none |
| Gen.1.24 | 4 | נפש | nefesh | living-being | product_class_klal | logic_bearing | none |
| Gen.1.24 | 5 | חיה | chaya | living | life_class_adjective | logic_bearing | none |
| Gen.1.24 | 6 | למינה | le-minah | by-its-kind | kind_key_dative | logic_bearing | none |
| Gen.1.24 | 7 | בהמה | behemah | cattle | product_item_prat_1 | logic_bearing | none |
| Gen.1.24 | 8 | ורמש | va-remes | and-creeper | product_item_prat_2 | logic_bearing | none |
| Gen.1.24 | 9 | וחיתו | ve-chayto | and-wild-beast-of | product_item_prat_3_archaic_construct | logic_bearing | none |
| Gen.1.24 | 10 | ארץ | eretz | earth | substrate_bare_noun | logic_bearing | none |
| Gen.1.24 | 11 | למינה | le-minah | by-its-kind | kind_key_dative | logic_bearing | none |
| Gen.1.24 | 12 | ויהי | va-yehi | and-it-was | receipt_token_returns | logic_bearing | none |
| Gen.1.24 | 13 | כן | khen | so | receipt_token_returns | logic_bearing | none |
| Gen.1.25 | 0 | ויעש | va-ya'as | and-made | build_verb_asah | logic_bearing | none |
| Gen.1.25 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.25 | 2 | את | et | obj-marker | obj_marker_inventory | logic_bearing | TIR-014 |
| Gen.1.25 | 3 | חית | chayat | wild-beast-of | delivered_member_order_flip_normalized | logic_bearing | none |
| Gen.1.25 | 4 | הארץ | ha-aretz | the-earth | substrate_article_added | logic_bearing | none |
| Gen.1.25 | 5 | למינה | le-minah | by-its-kind | kind_key_dative | logic_bearing | none |
| Gen.1.25 | 6 | ואת | ve-et | and-obj-marker | obj_marker_inventory | logic_bearing | TIR-014 |
| Gen.1.25 | 7 | הבהמה | ha-behemah | the-cattle | delivered_member | logic_bearing | none |
| Gen.1.25 | 8 | למינה | le-minah | by-its-kind | kind_key_dative | logic_bearing | none |
| Gen.1.25 | 9 | ואת | ve-et | and-obj-marker | obj_marker_inventory | logic_bearing | TIR-014 |
| Gen.1.25 | 10 | כל | kol | every | totality_quantifier | logic_bearing | none |
| Gen.1.25 | 11 | רמש | remes | creeper-of | delivered_member | logic_bearing | none |
| Gen.1.25 | 12 | האדמה | ha-adamah | the-ground | substrate_first_adamah | logic_bearing | none |
| Gen.1.25 | 13 | למינהו | le-minehu | by-its-kind | kind_key_dative | logic_bearing | none |
| Gen.1.25 | 14 | וירא | va-yar | and-saw | perception_verb | logic_bearing | none |
| Gen.1.25 | 15 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.25 | 16 | כי | ki | that | complementizer_that | glue | TIR-008 |
| Gen.1.25 | 17 | טוב | tov | good | eval_oracle_predicate | logic_bearing | none |
| Gen.1.26 | 0 | ויאמר | va-yomer | and-said | speech_verb_declare | logic_bearing | none |
| Gen.1.26 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.26 | 2 | נעשה | na'aseh | let-us-make | volitive_1cp_cmd_us_q | logic_bearing | TIR-033 |
| Gen.1.26 | 3 | אדם | adam | man | product_species_unsexed | logic_bearing | none |
| Gen.1.26 | 4 | בצלמנו | be-tzalmenu | in-our-image | spec_image_1cp_suffix | logic_bearing | none |
| Gen.1.26 | 5 | כדמותנו | ki-dmutenu | as-our-likeness | spec_likeness_1cp_suffix | logic_bearing | none |
| Gen.1.26 | 6 | וירדו | ve-yirdu | and-let-them-rule | design_jussive_dominion | logic_bearing | TIR-026 |
| Gen.1.26 | 7 | בדגת | bi-dgat | over-fish-of | dominion_domain_1_presupposed | logic_bearing | none |
| Gen.1.26 | 8 | הים | ha-yam | the-sea | dominion_domain_1_presupposed | logic_bearing | none |
| Gen.1.26 | 9 | ובעוף | u-ve-of | and-over-flier-of | dominion_domain_2_presupposed | logic_bearing | none |
| Gen.1.26 | 10 | השמים | ha-shamayim | the-heavens | dominion_domain_2_presupposed | logic_bearing | none |
| Gen.1.26 | 11 | ובבהמה | u-va-behemah | and-over-the-cattle | dominion_domain_3 | logic_bearing | none |
| Gen.1.26 | 12 | ובכל | u-ve-khol | and-over-all | totality_quantifier | logic_bearing | none |
| Gen.1.26 | 13 | הארץ | ha-aretz | the-earth | dominion_domain_4_inanimate_open | logic_bearing | none |
| Gen.1.26 | 14 | ובכל | u-ve-khol | and-over-every | totality_quantifier | logic_bearing | none |
| Gen.1.26 | 15 | הרמש | ha-remes | the-creeper | dominion_domain_5 | logic_bearing | none |
| Gen.1.26 | 16 | הרמש | ha-romes | the-creeping | cognate_participle_behavior | logic_bearing | TIR-031 |
| Gen.1.26 | 17 | על | al | upon | location_prep | glue | TIR-008 |
| Gen.1.26 | 18 | הארץ | ha-aretz | the-earth | zone | logic_bearing | none |
| Gen.1.27 | 0 | ויברא | va-yivra | and-created | build_verb_bara_1_of_3 | logic_bearing | none |
| Gen.1.27 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.27 | 2 | את | et | obj-marker | obj_marker | logic_bearing | TIR-014 |
| Gen.1.27 | 3 | האדם | ha-adam | the-man | delivered_species_article | logic_bearing | none |
| Gen.1.27 | 4 | בצלמו | be-tzalmo | in-his-image | delta_pronoun_resolved_3ms | logic_bearing | none |
| Gen.1.27 | 5 | בצלם | be-tzelem | in-image-of | delta_image_restated_construct | logic_bearing | none |
| Gen.1.27 | 6 | אלהים | Elohim | God | image_bearer_named_singular | logic_bearing | none |
| Gen.1.27 | 7 | ברא | bara | created | build_verb_bara_2_of_3_perfect | logic_bearing | none |
| Gen.1.27 | 8 | אתו | oto | him | obj_pronoun_singular | logic_bearing | TIR-014 |
| Gen.1.27 | 9 | זכר | zakhar | male | sex_partition_unannounced | logic_bearing | none |
| Gen.1.27 | 10 | ונקבה | u-nekevah | and-female | sex_partition_unannounced | logic_bearing | none |
| Gen.1.27 | 11 | ברא | bara | created | build_verb_bara_3_of_3_perfect | logic_bearing | none |
| Gen.1.27 | 12 | אתם | otam | them | obj_pronoun_plural_number_shift | logic_bearing | TIR-014 |
| Gen.1.28 | 0 | ויברך | va-yevarekh | and-blessed | bless_verb_piel | logic_bearing | none |
| Gen.1.28 | 1 | אתם | otam | them | obj_marker_pronoun_recipients | logic_bearing | TIR-014 |
| Gen.1.28 | 2 | אלהים | Elohim | God | agent_named_1_of_2 | logic_bearing | none |
| Gen.1.28 | 3 | ויאמר | va-yomer | and-said | speech_verb_direct_address | logic_bearing | none |
| Gen.1.28 | 4 | להם | lahem | to-them | dative_recipients_face_to_face | logic_bearing | none |
| Gen.1.28 | 5 | אלהים | Elohim | God | agent_named_2_of_2 | logic_bearing | none |
| Gen.1.28 | 6 | פרו | peru | be-fruitful | imperative_2mp_mandate | logic_bearing | TIR-027 |
| Gen.1.28 | 7 | ורבו | u-revu | and-multiply | imperative_2mp_mandate | logic_bearing | TIR-027 |
| Gen.1.28 | 8 | ומלאו | u-milu | and-fill | imperative_2mp_mandate | logic_bearing | TIR-027 |
| Gen.1.28 | 9 | את | et | obj-marker | obj_marker_fill_target | logic_bearing | TIR-014 |
| Gen.1.28 | 10 | הארץ | ha-aretz | the-earth | fill_target_land_not_waters | logic_bearing | none |
| Gen.1.28 | 11 | וכבשה | ve-khivshuha | and-subdue-it | imperative_2mp_object_suffix_new_verb | logic_bearing | TIR-027 |
| Gen.1.28 | 12 | ורדו | u-redu | and-rule | imperative_2mp_dominion_escalated | logic_bearing | TIR-027 |
| Gen.1.28 | 13 | בדגת | bi-dgat | over-fish-of | mandate_domain_1 | logic_bearing | none |
| Gen.1.28 | 14 | הים | ha-yam | the-sea | mandate_domain_1 | logic_bearing | none |
| Gen.1.28 | 15 | ובעוף | u-ve-of | and-over-flier-of | mandate_domain_2 | logic_bearing | none |
| Gen.1.28 | 16 | השמים | ha-shamayim | the-heavens | mandate_domain_2 | logic_bearing | none |
| Gen.1.28 | 17 | ובכל | u-ve-khol | and-over-every | totality_quantifier | logic_bearing | none |
| Gen.1.28 | 18 | חיה | chaya | living-thing | mandate_domain_3_class_swap | logic_bearing | none |
| Gen.1.28 | 19 | הרמשת | ha-romeset | the-creeping | participle_standing_behavior | logic_bearing | TIR-031 |
| Gen.1.28 | 20 | על | al | upon | location_prep | glue | TIR-008 |
| Gen.1.28 | 21 | הארץ | ha-aretz | the-earth | zone | logic_bearing | none |
| Gen.1.29 | 0 | ויאמר | va-yomer | and-said | speech_verb_grant | logic_bearing | none |
| Gen.1.29 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.29 | 2 | הנה | hineh | behold | deictic_presentative | logic_bearing | none |
| Gen.1.29 | 3 | נתתי | natati | I-have-given | performative_perfect_1cs_first | logic_bearing | none |
| Gen.1.29 | 4 | לכם | lakhem | to-you | dative_grantee_2mp | logic_bearing | none |
| Gen.1.29 | 5 | את | et | obj-marker | obj_marker_grant | logic_bearing | TIR-014 |
| Gen.1.29 | 6 | כל | kol | every | totality_quantifier | logic_bearing | none |
| Gen.1.29 | 7 | עשב | esev | herb | grant_item_herb | logic_bearing | none |
| Gen.1.29 | 8 | זרע | zorea | seeding | cognate_participle_qal_shift | logic_bearing | TIR-031 |
| Gen.1.29 | 9 | זרע | zera | seed | cognate_object | logic_bearing | none |
| Gen.1.29 | 10 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.1.29 | 11 | על | al | True | location_prep | glue | TIR-008 |
| Gen.1.29 | 12 | פני | pnei | face-of | boundary_surface_construct | logic_bearing | none |
| Gen.1.29 | 13 | כל | khol | all | totality_quantifier | logic_bearing | none |
| Gen.1.29 | 14 | הארץ | ha-aretz | the-earth | scope_all_earth | logic_bearing | none |
| Gen.1.29 | 15 | ואת | ve-et | and-obj-marker | obj_marker_grant | logic_bearing | TIR-014 |
| Gen.1.29 | 16 | כל | kol | every | totality_quantifier | logic_bearing | none |
| Gen.1.29 | 17 | העץ | ha-etz | the-tree | grant_item_tree | logic_bearing | none |
| Gen.1.29 | 18 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.1.29 | 19 | בו | bo | in-it | possession_prep | glue | TIR-008 |
| Gen.1.29 | 20 | פרי | fri | fruit-of | fruit_bearing_differentiator | logic_bearing | none |
| Gen.1.29 | 21 | עץ | etz | tree | fruit_bearing_differentiator | logic_bearing | none |
| Gen.1.29 | 22 | זרע | zorea | seeding | cognate_participle_qal_shift | logic_bearing | TIR-031 |
| Gen.1.29 | 23 | זרע | zara | seed | cognate_object | logic_bearing | none |
| Gen.1.29 | 24 | לכם | lakhem | for-you | dative_grantee_2mp | logic_bearing | none |
| Gen.1.29 | 25 | יהיה | yihyeh | it-shall-be | imperfect_standing_state_let_q | logic_bearing | TIR-028 |
| Gen.1.29 | 26 | לאכלה | le-okhlah | for-food | purpose_office_dative_1_of_2 | logic_bearing | none |
| Gen.1.30 | 0 | ולכל | u-le-khol | and-to-every | dative_grantee_distributive | logic_bearing | none |
| Gen.1.30 | 1 | חית | chayat | wild-beast-of | grantee_class_1 | logic_bearing | none |
| Gen.1.30 | 2 | הארץ | ha-aretz | the-earth | grantee_class_1 | logic_bearing | none |
| Gen.1.30 | 3 | ולכל | u-le-khol | and-to-every | dative_grantee_distributive | logic_bearing | none |
| Gen.1.30 | 4 | עוף | of | flier-of | grantee_class_2_presupposed | logic_bearing | none |
| Gen.1.30 | 5 | השמים | ha-shamayim | the-heavens | grantee_class_2_presupposed | logic_bearing | none |
| Gen.1.30 | 6 | ולכל | u-le-khol | and-to-every | dative_grantee_distributive | logic_bearing | none |
| Gen.1.30 | 7 | רומש | romes | creeping-thing | grantee_class_3_participle | logic_bearing | TIR-031 |
| Gen.1.30 | 8 | על | al | upon | location_prep | glue | TIR-008 |
| Gen.1.30 | 9 | הארץ | ha-aretz | the-earth | zone | logic_bearing | none |
| Gen.1.30 | 10 | אשר | asher | which | relative_eligibility_opener | logic_bearing | none |
| Gen.1.30 | 11 | בו | bo | in-it | possession_prep | glue | TIR-008 |
| Gen.1.30 | 12 | נפש | nefesh | living-being | eligibility_test_life_class | logic_bearing | none |
| Gen.1.30 | 13 | חיה | chaya | living | eligibility_test_life_class | logic_bearing | none |
| Gen.1.30 | 14 | את | et | obj-marker | obj_marker_grant | logic_bearing | TIR-014 |
| Gen.1.30 | 15 | כל | kol | every | totality_quantifier | logic_bearing | none |
| Gen.1.30 | 16 | ירק | yerek | green-of | grant_item_green_herb_rare | logic_bearing | none |
| Gen.1.30 | 17 | עשב | esev | herb | grant_item_green_herb_rare | logic_bearing | none |
| Gen.1.30 | 18 | לאכלה | le-okhlah | for-food | purpose_office_dative_2_of_2 | logic_bearing | none |
| Gen.1.30 | 19 | ויהי | va-yehi | and-it-was | receipt_token_week_last | logic_bearing | none |
| Gen.1.30 | 20 | כן | khen | so | receipt_token_week_last | logic_bearing | none |
| Gen.1.31 | 0 | וירא | va-yar | and-saw | perception_verb_global | logic_bearing | none |
| Gen.1.31 | 1 | אלהים | Elohim | God | agent | logic_bearing | none |
| Gen.1.31 | 2 | את | et | obj-marker | obj_marker_explicit_global_test | logic_bearing | TIR-014 |
| Gen.1.31 | 3 | כל | kol | all | totality_quantifier | logic_bearing | none |
| Gen.1.31 | 4 | אשר | asher | which | relative_scope_opener | logic_bearing | none |
| Gen.1.31 | 5 | עשה | asah | he-made | scope_everything_made_perfect | logic_bearing | none |
| Gen.1.31 | 6 | והנה | ve-hineh | and-behold | deictic_presentative_test | logic_bearing | none |
| Gen.1.31 | 7 | טוב | tov | good | eval_oracle_predicate | logic_bearing | none |
| Gen.1.31 | 8 | מאד | me'od | very | eval_intensifier_first | logic_bearing | none |
| Gen.1.31 | 9 | ויהי | va-yehi | and-there-was | cycle_verb | logic_bearing | none |
| Gen.1.31 | 10 | ערב | erev | evening | cycle_time_unit | logic_bearing | none |
| Gen.1.31 | 11 | ויהי | va-yehi | and-there-was | cycle_verb | logic_bearing | none |
| Gen.1.31 | 12 | בקר | voker | morning | cycle_time_unit | logic_bearing | none |
| Gen.1.31 | 13 | יום | yom | day | ledger_day_noun | logic_bearing | none |
| Gen.1.31 | 14 | הששי | ha-shishi | the-sixth | ledger_count_ordinal_definite_open | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_06_land_adam_dominion — Day six: land classes, the adam, dominion — receipts return, the council plural, bara tripled, the five-imperative blessing, the food grants, THE sixth day (1:24-31) [frozen]
final state: WORLD=['behemah', 'chayat_ha_aretz', 'ha_adam', 'remes_ha_adamah'] (+5 presupposed) | REGISTRY={'kol_zorea_zera': 'okhlah_la_adam', 'kol_yerek_esev': 'okhlah_le_chol_nefesh_chaya'} | TESTS=2 PASS | LEDGER days=[6] | FLAGS=['read_before_install', 'spec_delta', 'spec_delta', 'spec_delta', 'read_before_install', 'read_before_install', 'spec_delta', 'spec_delta', 'spec_delta', 'spec_delta', 'spec_delta', 'spec_delta', 'read_before_install', 'read_before_install']
=== S1 — Receipt convention restored — push and pop in one verse: after STEP_Gn_1_24
וַיְהִי־כֵן (va-yehi khen)
PASS LET(totze(aretz), product=nefesh_chaya_le_minah) pushed then satisfied in the SAME verse (pushed=Gen.1.24 satisfied=Gen.1.24)
PASS SPECS empty (queue=0)
PASS triple contract { totze(aretz), product=nefesh_chaya_le_minah } discharged (triples=[{'q': 'totze(aretz), product=nefesh_chaya_le_minah', 'step': 'Gen.1.24', 'discharged': True}])
PASS machine flags aretz as read-before-install (presupposed). (flagged=['aretz'])
=== S2 — Land classes installed, deltas flagged, local test: after STEP_Gn_1_25
וַיַּעַשׂ אֱלֹהִים (va-ya'as Elohim)
PASS WORLD += chayat_ha_aretz (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.25'})
PASS WORLD += behemah (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.25'})
PASS WORLD += remes_ha_adamah (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.25'})
PASS TESTS += PASS(tov, nefesh_chaya) (tests=[('tov', 'nefesh_chaya')])
PASS machine flags spec-delta. (flags=['read_before_install', 'spec_delta'])
=== S3 — The council demand — new mood, pushed and open: after STEP_Gn_1_26
נַעֲשֶׂה אָדָם (na'aseh adam)
PASS CMD-US?(make(adam), spec=b_tzelem_k_demut) pushed and OPEN (queue=['make(adam), spec=b_tzelem_k_demut'])
PASS machine flags dagat_ha_yam/of_ha_shamayim as read-before-install (presupposed). (flagged=['aretz', 'dagat_ha_yam', 'of_ha_shamayim'])
=== S4 — Bara tripled pops the demand; mood intact; design stands open: after STEP_Gn_1_27
בָּרָא … בָּרָא … בָּרָא (bara … bara … bara)
PASS WORLD += ha_adam (entity={'mode': 'created', 'by': 'narration', 'step': 'Gen.1.27'})
PASS SPECS empty (queue=0)
PASS CMD-US?(make(adam), spec=b_tzelem_k_demut) mood remains CMD-US? (mood=CMD-US?)
PASS triple contract { rule(adam, dagah_of_behemah_aretz_remes) } stands undischarged (discharged=False)
PASS machine flags spec-delta. (flags=['read_before_install', 'spec_delta'])
=== S5 — Five-imperative mandate standing, SPECS untouched: after STEP_Gn_1_28
פְּרוּ וּרְבוּ וּמִלְאוּ … וְכִבְשֻׁהָ וּרְדוּ (peru u-revu u-milu … ve-khivshuha u-redu)
PASS Facts mandate-peru/mandate-revu/mandate-milu/mandate-kivshuha/ mandate-redu HOLD (5 facts)
PASS SPECS empty. (queue=0)
=== S6 — The performative grant and its standing-state demand: after STEP_Gn_1_29
הִנֵּה נָתַתִּי לָכֶם (hineh natati lakhem)
PASS LET?(yihyeh(kol_zorea_zera, le_okhlah)) mood remains LET? (mood=LET?)
PASS machine flags kol_zorea_zera as read-before-install (presupposed). (flagged=['aretz', 'dagat_ha_yam', 'kol_zorea_zera', 'of_ha_shamayim'])
=== S7 — Second food office; the week's last receipt pops the demand: after STEP_Gn_1_30
וַיְהִי־כֵן (va-yehi khen)
PASS SPECS empty (queue=0)
PASS REGISTRY: kol_zorea_zera->okhlah_la_adam, kol_yerek_esev->okhlah_le_chol_nefesh_chaya (2 writes) (names={'kol_zorea_zera': 'okhlah_la_adam', 'kol_yerek_esev': 'okhlah_le_chol_nefesh_chaya'} writes=2)
PASS machine flags kol_yerek_esev as read-before-install (presupposed). (flagged=['aretz', 'dagat_ha_yam', 'kol_yerek_esev', 'kol_zorea_zera', 'of_ha_shamayim'])
=== S8 — Global test; definite-ordinal commit, clean: after STEP_Gn_1_31
יוֹם הַשִּׁשִּׁי (yom ha-shishi)
PASS TESTS += PASS(tov_meod, kol_asher_asah) (tests=[('tov', 'nefesh_chaya'), ('tov_meod', 'kol_asher_asah')])
PASS LEDGER[day 6] committed with spec ✓ / test PASS / names 2 (entry={'closed': True, 'spec_ok': True, 'test_pass': True, 'names': 2, 'label_form': 'ordinal', 'label_he': 'יוֹם הַשִּׁשִּׁי', 'label_translit': 'yom ha-shishi', 'step': 'Gen.1.31'})
PASS day label is ORDINAL shishi (label=yom ha-shishi form=ordinal)
PASS commit is clean. (flags=['read_before_install', 'spec_delta'])
=== S9_negative — Negative: CMD-US? never auto-upgrades — the new mood inherits the contract
PASS volitive 1cp parsed as CMD-US? (question mark kept) (mood=CMD-US?)
PASS auto-upgrade REFUSED (TIR-028: CMD-US? never auto-upgrades to CMD-US — a per-unit ...)
PASS upgrade WITH citation allowed (cite=per-unit judgment (owner), TIR-028 resolution)
=== S10_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
#!/usr/bin/env python3
# =============================================================================
# gen_06_land_adam_dominion — 1:24-31
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_06_land_adam_dominion.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 six: land classes, the adam, dominion — receipts return, the council plural, bara tripled, the five-imperative blessing, the food grants, THE sixth day (1:24-31)"""
from machine import Machine
m = Machine("gen_06_land_adam_dominion")
# -------------------------- Gen.1.24 · DECLARE_SPEC_LAND_CLASSES_RECEIPT ---
# וַיֹּאמֶר אֱלֹהִים תּוֹצֵא הָאָרֶץ נֶפֶשׁ חַיָּה לְמִינָהּ בְּהֵמָה
# וָרֶמֶשׂ וְחַיְתוֹ־אֶרֶץ לְמִינָהּ וַיְהִי־כֵן
# "And God said: 'Let the earth bring forth the living creature after its
# kind, cattle, and creeping thing, and beast of the earth after its kind.'
# And it was so."
m.step("Gen.1.24")
# ‹תּוֹצֵא הָאָרֶץ נֶפֶשׁ חַיָּה לְמִינָהּ› (“let-bring-forth the-earth
# living-being living by-its-kind”) — God speaks a demand — LET: let-bring-
# forth(earth), product=living-being-living-to-by-its-kind
m.declare("Elohim", "LET",
"totze(aretz), product=nefesh_chaya_le_minah")
# ‹תּוֹצֵא הָאָרֶץ› (“let-bring-forth the-earth”) — open question logged:
# let-bring-forth(earth), product=living-being-living-to-by-its-kind
m.triple("totze(aretz), product=nefesh_chaya_le_minah")
# ‹וַיְהִי־כֵן› (“and-it-was so”) — demand settled (popped from the queue):
# let-bring-forth(earth), product=living-being-living-to-by-its-kind
m.result("totze(aretz), product=nefesh_chaya_le_minah", tmark="t1")
# reads without prior install (flag, not fix): earth
m.presupposed("aretz")
# -------------------------- Gen.1.25 · BUILD_DELTA_TEST --------------------
# וַיַּעַשׂ אֱלֹהִים אֶת־חַיַּת הָאָרֶץ לְמִינָהּ וְאֶת־הַבְּהֵמָה לְמִינָהּ
# וְאֵת כָּל־רֶמֶשׂ הָאֲדָמָה לְמִינֵהוּ וַיַּרְא אֱלֹהִים כִּי־טוֹב
# "And God made the beast of the earth after its kind, and the cattle after
# their kind, and every thing that creepeth upon the ground after its kind;
# and God saw that it was good."
m.step("Gen.1.25")
# ‹וַיַּעַשׂ אֱלֹהִים אֶת … וְאֶת … וְאֵת› (“and-made God obj-marker … and-
# obj-marker … and-obj-marker”) — event: make — agent God; theme wild-beast-
# of-the-earth, cattle, creeper-the-ground
m.event("make", agent="Elohim", themes=["chayat_ha_aretz", "behemah", "remes_ha_adamah"])
# the world gains: wild-beast-of-the-earth, cattle, creeper-the-ground
m.install("chayat_ha_aretz", "behemah", "remes_ha_adamah")
# ‹תּוֹצֵא הָאָרֶץ ← וַיַּעַשׂ אֱלֹהִים› (“bring-forth the-earth and-made
# God”) — spec-delta — spec said let-bring-forth HA-ARETZ (the earth as
# delegated producer), delivery says and-ya
m.spec_delta("totze HA-ARETZ (the earth as delegated producer)",
"va-ya")
# ‹וְחַיְתוֹ־אֶרֶץ ← חַיַּת הָאָרֶץ› (“and-living earth wild-beast-of the-
# earth”) — spec-delta — spec said cattle, creeper, wild-beast-of-earth
# (archaic construct, bare earth), delivery says CHAYAT HA-ARETZ first
# (normalized construct + definite article), the-cattle, creeper
m.spec_delta("behemah, remes, chayto-eretz (archaic construct, bare eretz)",
"CHAYAT HA-ARETZ first (normalized construct + definite article), ha-behemah, remes")
# ‹וָרֶמֶשׂ ← כָּל־רֶמֶשׂ הָאֲדָמָה› (“and-creeper every creeper-of the-
# ground”) — spec-delta — spec said creeper (bare), delivery says KOL-
# creeper HA-ADAMAH (totality quantifier + substrate shift to the ground)
m.spec_delta("remes (bare)",
"KOL-remes HA-ADAMAH (totality quantifier + substrate shift to the ground)")
# ‹כִּי־טוֹב› (“that good”) — test PASS — oracle-word good, on living-being
m.test("PASS", "tov", "nefesh_chaya")
# -------------------------- Gen.1.26 · DECLARE_SPEC_ADAM_COUNCIL -----------
# וַיֹּאמֶר אֱלֹהִים נַעֲשֶׂה אָדָם בְּצַלְמֵנוּ כִּדְמוּתֵנוּ וְיִרְדּוּ
# בִדְגַת הַיָּם וּבְעוֹף הַשָּׁמַיִם וּבַבְּהֵמָה וּבְכָל־הָאָרֶץ
# וּבְכָל־הָרֶמֶשׂ הָרֹמֵשׂ עַל־הָאָרֶץ
# "And God said: 'Let us make man in our image, after our likeness; and let
# them have dominion over the fish of the sea, and over the fowl of the air,
# and over the cattle, and over all the earth, and over every creeping thing
# that creepeth upon the earth.'"
m.step("Gen.1.26")
# ‹נַעֲשֶׂה אָדָם בְּצַלְמֵנוּ כִּדְמוּתֵנוּ› (“let-us-make man in-our-image
# as-our-likeness”) — God speaks a demand — CMD-US?: make(man), spec=in-
# image-after-likeness
m.declare("Elohim", "CMD-US?",
"make(adam), spec=b_tzelem_k_demut")
# ‹וְיִרְדּוּ בִדְגַת הַיָּם …› (“and-let-them-rule over-fish-of the-sea”) —
# open question logged: rule(man, fish-over-flier-of-cattle-earth-creeper)
m.triple("rule(adam, dagah_of_behemah_aretz_remes)")
# reads without prior install (flag, not fix): fish-of-the-sea, fowl-of-the-
# sky
m.presupposed("dagat_ha_yam", "of_ha_shamayim")
# -------------------------- Gen.1.27 · BUILD_BARA_TRIPLED ------------------
# וַיִּבְרָא אֱלֹהִים אֶת־הָאָדָם בְּצַלְמוֹ בְּצֶלֶם אֱלֹהִים בָּרָא אֹתוֹ
# זָכָר וּנְקֵבָה בָּרָא אֹתָם
# "And God created man in His own image, in the image of God created He him;
# male and female created He them."
m.step("Gen.1.27")
# ‹וַיִּבְרָא … בָּרָא … בָּרָא› (“and-created … created … created”) —
# event: create — agent God; theme the-man
m.event("create", agent="Elohim", themes=["ha_adam"])
# the world gains: the-man
m.install("ha_adam")
# ‹וַיִּבְרָא אֱלֹהִים אֶת־הָאָדָם› (“and-created God obj-marker the-man”) —
# demand settled (popped from the queue): make(man), spec=in-image-after-
# likeness
m.result("make(adam), spec=b_tzelem_k_demut", tmark="t2")
# ‹נַעֲשֶׂה ← וַיִּבְרָא … בָּרָא … בָּרָא› (“make and-created … created …
# created”) — spec-delta — spec said na'make (he-made — the making verb,
# 1cp), delivery says created x3 (creation
m.spec_delta("na'aseh (asah — the making verb, 1cp)",
"bara x3 (creation")
# ‹בְּצַלְמֵנוּ ← בְּצַלְמוֹ בְּצֶלֶם אֱלֹהִים› (“in-image-us/our in-his-
# image in-image-of God”) — spec-delta — spec said in-tzalmeNU that-our-
# likeness (OUR image, OUR likeness — plural possessor), delivery says in-
# His-image (HIS image) + in-image-of ELOHIM (the image over-flier-of God,
# named singular)
m.spec_delta("be-tzalmeNU ki-dmuteNU (OUR image, OUR likeness — plural possessor)",
"be-tzalmO (HIS image) + be-tzelem ELOHIM (the image of God, named singular)")
# ‹כִּדְמוּתֵנוּ ← (אבד)› (“like-likeness-us/our wander-away”) — spec-delta
# — spec said image-of AND likeness (image and likeness, two nouns),
# delivery says image-of only, x3 — likeness DROPPED
m.spec_delta("tzelem AND demut (image and likeness, two nouns)",
"tzelem only, x3 — demut DROPPED")
# ‹אֹתוֹ ← אֹתָם› (“him them”) — spec-delta — spec said man (unsexed species
# noun), delivery says male u-female (male and female) + him -> them
# (created HIM -> created THEM)
m.spec_delta("adam (unsexed species noun)",
"zakhar u-nekevah (male and female) + oto -> otam (created HIM -> created THEM)")
# -------------------------- Gen.1.28 · BLESS_MANDATE_DOMINION --------------
# וַיְבָרֶךְ אֹתָם אֱלֹהִים וַיֹּאמֶר לָהֶם אֱלֹהִים פְּרוּ וּרְבוּ
# וּמִלְאוּ אֶת־הָאָרֶץ וְכִבְשֻׁהָ וּרְדוּ בִּדְגַת הַיָּם וּבְעוֹף
# הַשָּׁמַיִם וּבְכָל־חַיָּה הָרֹמֶשֶׂת עַל־הָאָרֶץ
# "And God blessed them; and God said unto them: 'Be fruitful, and multiply,
# and replenish the earth, and subdue it; and have dominion over the fish of
# the sea, and over the fowl of the air, and over every living thing that
# creepeth upon the earth.'"
m.step("Gen.1.28")
# ‹וַיְבָרֶךְ אֹתָם אֱלֹהִים וַיֹּאמֶר לָהֶם אֱלֹהִים פְּרוּ וּרְבוּ
# וּמִלְאוּ … וְכִבְשֻׁהָ וּרְדוּ› (“and-blessed them God and-said to-them
# God be-fruitful and-multiply and-fill … and-subdue-it and-rule”) —
# blessing: God blesses them — mandate: CMD!(peru), CMD!(revu),
# CMD!(milu(et-the-aretz)), CMD!(kivshuha), CMD!(redu(ba-fish-and-and-over-
# flier-of-and-and-over-all-living-romeset))
m.bless("Elohim", "otam", mandate=["CMD!(peru)", "CMD!(revu)", "CMD!(milu(et_ha_aretz))", "CMD!(kivshuha)", "CMD!(redu(ba_dagah_u_va_of_u_ve_khol_chaya_romeset))"])
# ‹וּבְכָל־הָאָרֶץ ← וּמִלְאוּ אֶת־הָאָרֶץ וְכִבְשֻׁהָ› (“and-over-every
# the-earth and-fill obj-marker the-earth and-subdue-it”) — spec-delta —
# spec said design: let-them-rule over 5 domains (incl. cattle + KOL HA-
# ARETZ as dominion domains), delivery says mandate: rule over 3 domains —
# cattle dropped, creeper -> KOL CHAYAH creeping, and the earth MOVED from
# dominion-domain to fill-and-subdue OBJECT
m.spec_delta("design: yirdu over 5 domains (incl. behemah + KOL HA-ARETZ as dominion domains)",
"mandate: redu over 3 domains — behemah dropped, remes -> KOL CHAYAH romeset, and the earth MOVED from dominion-domain to fill-and-subdue OBJECT")
# ‹וְכִבְשֻׁהָ› (“and-subdue-it”) — spec-delta — spec said design verbs:
# rule only (rule), delivery says subdue ADDED (subdue) — a verb absent from
# every spec clause over-flier-of the week
m.spec_delta("design verbs: radah only (rule)",
"kavash ADDED (subdue) — a verb absent from every spec clause of the week")
# -------------------------- Gen.1.29 · GRANT_FOOD_ADAM ---------------------
# וַיֹּאמֶר אֱלֹהִים הִנֵּה נָתַתִּי לָכֶם אֶת־כָּל־עֵשֶׂב זֹרֵעַ זֶרַע
# אֲשֶׁר עַל־פְּנֵי כָל־הָאָרֶץ וְאֶת־כָּל־הָעֵץ אֲשֶׁר־בּוֹ פְרִי־עֵץ
# זֹרֵעַ זָרַע לָכֶם יִהְיֶה לְאָכְלָה
# "And God said: 'Behold, I have given you every herb yielding seed, which
# is upon the face of all the earth, and every tree, in which is the fruit
# of a tree yielding seed — to you it shall be for food;'"
m.step("Gen.1.29")
# ‹הִנֵּה נָתַתִּי לָכֶם› (“behold I-have-given to-you”) — event: grant —
# agent God; theme every-seed-bearing-plant
m.event("grant", agent="Elohim", themes=["kol_zorea_zera"])
# reads without prior install (flag, not fix): every-seed-bearing-plant
m.presupposed("kol_zorea_zera")
# ‹כָּל־עֵשֶׂב זֹרֵעַ זֶרַע … כָּל־הָעֵץ … לְאָכְלָה› (“every herb seeding
# seeding … every the-tree … for-food”) — role assigned: every-seed-bearing-
# plant -> food-to-man
m.assign("kol_zorea_zera", "okhlah_la_adam")
# ‹לָכֶם יִהְיֶה לְאָכְלָה› (“to-you it-shall-be for-food”) — God speaks a
# demand — LET?: it-shall-be(every-seed-bearing-plant, for-food)
m.declare("Elohim", "LET?",
"yihyeh(kol_zorea_zera, le_okhlah)")
# -------------------------- Gen.1.30 · GRANT_FOOD_ANIMALS_RECEIPT ----------
# וּלְכָל־חַיַּת הָאָרֶץ וּלְכָל־עוֹף הַשָּׁמַיִם וּלְכֹל רוֹמֵשׂ
# עַל־הָאָרֶץ אֲשֶׁר־בּוֹ נֶפֶשׁ חַיָּה אֶת־כָּל־יֶרֶק עֵשֶׂב לְאָכְלָה
# וַיְהִי־כֵן
# "'and to every beast of the earth, and to every fowl of the air, and to
# every thing that creepeth upon the earth, wherein there is a living soul,
# [I have given] every green herb for food.' And it was so."
m.step("Gen.1.30")
# reads without prior install (flag, not fix): every-green-of-herb
m.presupposed("kol_yerek_esev")
# ‹אֶת־כָּל־יֶרֶק עֵשֶׂב לְאָכְלָה› (“obj-marker every green-of herb for-
# food”) — role assigned: every-green-of-herb -> food-to-chol-living-being-
# living
m.assign("kol_yerek_esev", "okhlah_le_chol_nefesh_chaya")
# ‹וַיְהִי־כֵן› (“and-it-was so”) — demand settled (popped from the queue):
# it-shall-be(every-seed-bearing-plant, for-food)
m.result("yihyeh(kol_zorea_zera, le_okhlah)", tmark="t3")
# -------------------------- Gen.1.31 · TEST_GLOBAL_COMMIT ------------------
# וַיַּרְא אֱלֹהִים אֶת־כָּל־אֲשֶׁר עָשָׂה וְהִנֵּה־טוֹב מְאֹד וַיְהִי־עֶרֶב
# וַיְהִי־בֹקֶר יוֹם הַשִּׁשִּׁי
# "And God saw every thing that He had made, and, behold, it was very good.
# And there was evening and there was morning, the sixth day."
m.step("Gen.1.31")
# ‹וְהִנֵּה־טוֹב מְאֹד› (“and-behold good very”) — test PASS — oracle-word
# very-good, on all-that-He-made
m.test("PASS", "tov_meod", "kol_asher_asah")
# ‹יוֹם הַשִּׁשִּׁי› (“day the-sixth”) — ledger: day 6 committed
m.commit(6, label_form="ordinal", label_translit="yom ha-shishi")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'behemah', 'chayat_ha_aretz', 'ha_adam', 'remes_ha_adamah'}
assert m.presupposed_set() == {'aretz', 'kol_zorea_zera', 'of_ha_shamayim', 'dagat_ha_yam', 'kol_yerek_esev'}
assert m.REGISTRY["names"] == {'kol_zorea_zera': 'okhlah_la_adam', 'kol_yerek_esev': 'okhlah_le_chol_nefesh_chaya'}
assert m.REGISTRY["writes"] == 2
assert m.tests_list() == [('PASS', 'tov', 'nefesh_chaya'), ('PASS', 'tov_meod', 'kol_asher_asah')]
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 3
assert sorted(m.LEDGER) == [6]
assert m.flag_counts() == {'read_before_install': 5, 'spec_delta': 9}
assert sorted(m.WORLD["facts"]) == sorted(['mandate: CMD!(peru)', 'mandate: CMD!(revu)', 'mandate: CMD!(milu(et_ha_aretz))', 'mandate: CMD!(kivshuha)', 'mandate: CMD!(redu(ba_dagah_u_va_of_u_ve_khol_chaya_romeset))'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 12
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")