The ark spec: the blueprint, the covenant word, the first obeyed command (6:9-22) FROZEN
עֲשֵׂה לְךָ תֵּבַת — וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה · aseh lekha tevat — va-yaas Noach ke-khol asher tzivah · 'make yourself an ark' — 'and Noah did according to all that was commanded'
Derivation log (steps A–J)
| step | name | comment | confidence |
|---|---|---|---|
| A | Block choice | The ark commission (6:9-22): from the third toledot ("generations") header to the compliance receipt — 7:1 opens the boarding order ("come, you and all your house"), the next block. Inside: the righteous walker introduced, the corruption indictment (three verses, one root), the end-decree, the build spec (6:14-16), the flood announcement and the covenant promise (6:17-18), the manifest and provisioning (6:19-21), and the receipt (6:22). The unit is one command-arc: indictment -> commission -> compliance. | established |
| B | Hebrew source + trees | All 14 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-01). Tree facts: 6:9 [the header and the character | the walk — the verse rests between reputation and practice]; 6:12 [the seeing and the behold-corrupted | the reason: all flesh corrupted its way]; 6:13 [the end has come before Me | behold I destroy them with the earth]; 6:14 [make the ark, rooms | and pitch it in-and-out]; 6:15 [the three-hundred length | the fifty and the thirty]; 6:16 [the light and the finishing cubit | the door and the three decks]; 6:17 [behold I bring the flood | all that is in the earth expires]; 6:18 [the covenant established | the boarding list]; 6:22 [did according to all commanded | so he did — the receipt doubled around the rest]. | tested |
| C | Segment structure | Verb morphology (#IMPOSED OSHB, DB-verified 2026-08-01): 6:9 the third toledot header (2:4 heaven-and-earth, 5:1 the book, now Noach) — and the name DOUBLES across the seam ("toledot Noach — Noach was..."); TZADDIK ("righteous") debuts on him (token 2 = 7:1, the divine second-person confirmation; then the Sodom argument); TAMIM ("blameless") debuts beside it (token 2 = 17:1 — "walk before Me and BE tamim": the altar's future spec-word starts as a man's character); BE-DOROTAV ("in his GENERATIONS" — plural) [OPEN: the chain's relative-righteousness war; named-only]; ET-HA-ELOHIM HITHALEKH — Chanokh's walk verbatim (the walk-verb's token 4; Onkelos re-applies the same fear-buffer). 6:10 the triple begetting re-stated (the toledot re-boot pattern: 5:32's info re-keyed under the new header). 6:11-13 THE INDICTMENT, one root five ways: va-TISHACHET (niphal — the earth WAS CORRUPTED), NISHCHATAH (behold-corrupted), HISHCHIT (all flesh CORRUPTED its way — DEREKH, 3:24's guarded way-word), MASHCHITAM ("I am about to DESTROY them"), LE-SHACHET (6:17, "to destroy all flesh") — the crime-verb IS the sentence-verb (tokens 6-7 of the root: the covenant's never-again, 9:11/9:15); CHAMAS ("violence") x2 — tokens 1-2 (Onkelos: CHATOFIN, "robbery" — the doctrine as lexicon; dual-track); the THIRD seeing-mutation: va-yar Elohim... VE-HINNEH — 1:31's exact inspection grammar, verdict slot flipped (tov meod -> nishchatah); QETZ ("end") token 2 (4:3's offering-time, here the end-decree, 8:6 the window). 6:14-16 THE BLUEPRINT: ASEH — imperative (TIR-027): the corpus's first divine imperative-mood command to a NAMED INDIVIDUAL (1:22/1:28 blessed species; 2:16 ruled by infinitive; 4:23 was human); TEVAH — the two-rescues word (Genesis 26 tokens; the ONLY other Torah tokens are Moses' basket, Exod 2:3/2:5); GOFER wood — Torah hapax (Onkelos votes cedar); QINIM ("nests" -> rooms); VE-KHAFARTA... BA-KOFER — the KAPHAR family's first tokens: the atonement root debuts as waterproofing [letter fact: the root of the ark-cover (kapporet) and the Day of Atonement enters the corpus sealing a boat]; AMAH ("cubit") — first four tokens are this spec (token 5 = 7:20: the flood measured in the ark's own unit); 300 x 50 x 30; TZOHAR — Torah hapax [OPEN: window/light/gem — the chain splits; Onkelos votes light]; PETACH ("door") — 4:7's door-word: where sin crouched, now the way in; the three decks (lower, second, third — the corpus's first ordinal architecture). 6:17-18 the announcement and the promise: VA-ANI HINENI MEVI — behold + participle (TIR-031, imminence); MABUL ("flood") — first of 12 tokens, ALL inside Gen 6-11; YIGVA ("expire") debuts (7:21 the execution; then the patriarchs' peaceful deaths); VA-HAKIMOTI ET-BRITI — BRIT ("covenant") FIRST TOKEN, weqatal promise (TIR-029), given to ONE MAN before the un-creation (tokens 2-5: Gen 9, the establishment); the boarding list groups by gender (you+sons, wife+sons'-wives). 6:19-21 THE MANIFEST: two of all, MALE AND FEMALE (1:27's pair as cargo spec), each LE-MINO ("by its kind" — day 5-6's taxonomy word x3): creation-in-miniature; the animals COME BY THEMSELVES (yavou elekha — imperfect: self-loading cargo); VE-ATAH QACH — the second imperative (provisioning); OKHLAH — 1:29-30's food-grant word (token 4 = 9:3, the post-flood re-grant). 6:22 THE RECEIPT: va-YAAS Noach KE-KHOL ASHER TZIVAH oto Elohim KEN ASAH — the make-verb doubled around the verse; TZAVAH's arc: 2:16 (the first rule — violated), 3:11/3:17 (the indictment quotes), 6:22 (the FIRST OBEYED), 7:5/7:9/7:16 (the refrain continues); the formula's far career is the Tabernacle build refrain (Exod 39-40). | tested |
| D | Predicates & outcomes | The unit is one command-arc executed clean: an indictment whose morphology carries the measure-for-measure (the corruption-verb sentences itself), a commission delivered as the corpus's first true blueprint, a covenant word planted before the destruction it will outlive, and a receipt that answers EVERYTHING AT ONCE — "according to ALL that God commanded, so he did." Against gen_13's city (participle, unfinished, named for a son) the ark closes its build: receipted complete, to-spec, nameless. The machine's queue tells the corpus's moral arc in one unit: two demands pushed, two popped — the first divine command cycle to a human that settles. (The wipe-resolve and the favor of gen_15 stand outside this standalone unit; the ark is the prose between them.) | tested |
| E | Logic format choice | Operator lines; NO ledger row. SECTION at 6:9 (header #3; installs nothing) + the character FACTS + NOTE_PRESUPPOSED noach. EVENT beget (6:10 — one event, three Themes: the re-statement). The indictment: EVENT corrupt (niphal agentless, TIR-032), EVENT see + NOTE_SPEC_DELTA (the third mutation, cited against frozen 1:31), EVENT say + the end-decree FACTS. The commission: DECLARE(Elohim, LET(aseh(noach, tevah))) at 6:14 (TIR-027 — first divine imperative to a named individual) with the blueprint as FACTS (material+sealant, three dimensions, light+door+decks — a spec-sheet is standing state, not separate demands: the letter's own receipt treats the bundle as ONE "all"); DECLARE(Elohim, LET(qach(noach, mi_kol_maakhal))) at 6:21 (the second imperative). The announcement/promise/manifest: FACTS (hinneh+participle TIR-031; the BRIT weqatal TIR-029; the kinds and pairs). THE RECEIPT (6:22): EVENT make + REGISTRY_INSTALL (WORLD += {tevah} — the SECOND human-built install, and the first RECEIPTED COMPLETE: gen_13's city was a participle) + RESULT x2 popping BOTH demands (gen_09's mechanics, first divine-to-human settlement). SPECS ends EMPTY — pushed and paid inside one unit. Interpreter extensions: NONE. | established |
| F | Bilingual logic objects | Every operator line carries he + he_translit + en. Machine tokens apostrophe-free: ish_tzaddik_tamim_be_dorotav, hishchit_kol_basar_et_darko, tevat_atzei_gofer_qinim, ve_khafarta_ba_kofer, shelosh_meot_amah_orekh, tachtiyim_shniyim_u_shlishim, va_hakimoti_et_briti_itakh, shnayim_mi_kol_tavi_el_ha_tevah. | established |
| G | Oral (named only) + Tier-A translation check | Named but NOT read (cache: zero for Gen 6:9-22 — tenth tripwire; gen_16 Tier-A queue): Bereshit Rabbah 30-31 (the span; the tzaddik-in-his-generations war; the ark's years); Bavli Sanhedrin 108a-b (the generation's verdict SEALED OVER ROBBERY — the doctrine Onkelos carries as a lexical choice below; the ark as 120-year public warning); Rashi at 6:9 (the two be-dorotav readings), 6:14, 6:16 (the tzohar split: window vs gem); Pirkei DeRabbi Eliezer 23. Tier-A Onkelos (14 fetches, FETCHLOG 2026-08-01): CHAMAS -> CHATOFIN ("robbery") x2 — the general violence-noun specified into the property crime: the chain's sealed-over-robbery doctrine sitting inside the translation (flagged; dual-track); 6:12 the corruption RESTRICTED — "all flesh OF MAN": the buffer shields the animals from the charge the letter levels at all flesh, and 6:13 inserts a motive ("because of their evil deeds") (flagged); 6:9 Noach's walk gets Chanokh's exact buffer ("walked in the FEAR of the LORD"; tzaddik -> zakkai, tamim -> shelim); the hapax votes: tzohar -> NEHOR ("light"), gofer -> KADROM (cedar-family), qinim -> MEDORIN ("dwellings"); mabul -> tofana; yigva ("expire") -> yemut ("die" — the gentle verb flattened); BRIT -> KEYAM (the Aramaic covenant-word); the receipt's Elohim -> YY (the name flattened at 6:22). | tested |
| H | Scenarios | S1 the header: the character facts hold; the queue empty; noach flagged as read. S2 the indictment: spec-delta #1 (the third seeing-mutation) flagged; the corrupted-way fact. S3 the commission: LET(aseh...) pushed and OPEN. S4 the blueprint standing (dimensions, light, decks) while the demand stays open. S5 the covenant promise on the books. S6 both demands open (make + take) — the fullest queue any unit has carried mid-flight. S7 the receipt: WORLD = {tevah} and SPECS EMPTY — both popped by one compliance formula: the first settled divine command cycle. S8_negative: LET? contract guard; S9_negative: flag-never-block. | tested |
| I | English leakage review | Operators derive from morph codes (imperatives TIR-027, niphal agentless TIR-032, hinneh+participle TIR-031, weqatal TIR-029, spec-imperfects held inside the command bundle, et TIR-014) and DB censuses run BEFORE drafting (tzaddik/tamim/chamas/tevah/gofer/tzohar/kofer/amah/mabul/ gava/brit first tokens; the shachat root's five-in-span; the tzavah arc; qetz and okhlah and petach trails; the two-rescues tevah census; the min taxonomy). NOT supplied: why Noach (the letter gives character, not cause), what tzohar is, what gofer is, the be-dorotav comparison, or any content for the covenant beyond its promise — every one [OPEN] or held; the Onkelos specifications (robbery; of-man) stay dual-track. | established |
| J | Pre-flight + auto-freeze | Pre-flight 2026-08-01 against the UNMODIFIED repo interpreter — zero injected prototypes. Per the standing process orders: AUTO-FREEZE on green, then regression, then the PYTHON RENDERING (must run GREEN), then page/index. Amend/narrative/triage/commit gates unchanged. Changes require a new derive pass, not silent edits. | established |
Boot steps — the operator lines (hand-derived, owner-approved)
STEP_Gn_6_9 · Gen.6.9 · TOLEDOT_NOACH_THE_WALKER
אֵלֶּה תּוֹלְדֹת נֹחַ נֹחַ אִישׁ צַדִּיק תָּמִים הָיָה בְּדֹרֹתָיו אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ · eleh toledot Noach Noach ish tzaddik tamim hayah be-dorotav et-ha-Elohim hithalekh-Noach · [EN-AID/JPS] These are the generations of Noah. Noah was in his generations a man righteous and whole-hearted; Noah walked with God.
אלה תולדת נח נח איש צדיק תמים היה בדרתיו · eleh toledot Noach Noach ish tzaddik tamim hayah be-dorotav · the header and the character (etnachta arm)
את האלהים התהלך נח · et-ha-Elohim hithalekh-Noach · with God walked Noach
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| SECTION | SECTION(toledot_noach, eleh toledot noach — the third generations header) = SECTION(generations-Noach, these generations Noach — the third generations header) Toledot ('generations') header #3 in our spans (2:4 heaven-and-earth, 5:1 the book of Adam, now Noach) — and the name DOUBLES across the seam: 'the generations of NOACH: NOACH was...' — the header hands its subject straight to the character line. A header labels; it installs nothing. | אֵלֶּה תּוֹלְדֹת נֹחַ · eleh toledot Noach = these generations Noach | — | tested |
| PRECONDITION_STATE | HOLDS(ish_tzaddik_tamim_be_dorotav, t0) ∧ HOLDS(et_ha_elohim_hithalekh_noach, t0) = HOLDS(man-righteous-whole-in-his-generations, t0) ∧ HOLDS(with-the-God-walked-Noach, t0) Two debuts land on one man: TZADDIK ('righteous' — token 2 is 7:1's divine second-person confirmation; the word's career runs through the Sodom argument to the law's court-word) and TAMIM ('blameless/whole' — token 2 is 17:1's 'walk before Me and BE tamim'; its far career is the altar's unblemished-spec). BE-DOROTAV ('in his GENERATIONS' — plural) [OPEN: relative or absolute righteousness — the chain's war; the machine stores the suffix and no verdict]. And the walk: ET-HA-ELOHIM HITHALEKH — CHANOKH'S PHRASE VERBATIM (the walk-verb's token 4; 5:22/24 its only priors): the ledger's exception verb returns on the flood's exception man (Onkelos: 'walked in the FEAR of the LORD' — the same buffer, re-applied; dual-track). | אִישׁ צַדִּיק תָּמִים הָיָה בְּדֹרֹתָיו אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ · ish tzaddik tamim hayah be-dorotav et-ha-Elohim hithalekh-Noach = man righteous whole was his-generations with-the-God walked-Noach | — | tested |
| NOTE_PRESUPPOSED | noach are READ without prior install (gen_15's favor-finder, resumed under his own header) = Noach are READ without prior install (gen-15's favor-finder, resumed under his own header) flag, not fix | — | — | tested |
STEP_Gn_6_10 · Gen.6.10 · THREE_SONS_RESTATED
וַיּוֹלֶד נֹחַ שְׁלֹשָׁה בָנִים אֶת־שֵׁם אֶת־חָם וְאֶת־יָפֶת · va-yoled Noach shloshah vanim et-Shem et-Cham ve-et-Yafet · [EN-AID/JPS] And Noah begot three sons, Shem, Ham, and Japheth.
ויולד נח שלשה בנים · va-yoled Noach shloshah vanim · Noach begot three sons (etnachta arm)
את שם את חם ואת יפת · et-Shem et-Cham ve-et-Yafet · Shem, Cham, and Yafet
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | beget(e1) ∧ Agent(e1, noach) ∧ Theme(e1, shem) ∧ Theme(e1, cham) ∧ Theme(e1, yafet) = beget(e1) ∧ Agent(e1, Noach) ∧ Theme(e1, Shem) ∧ Theme(e1, Cham) ∧ Theme(e1, Yafet) The toledot re-boot pattern: 5:32's triple begetting re-stated under the new header (the ledger's open row re-keyed as this story's cast list) — now with the count spoken: THREE sons. | וַיּוֹלֶד נֹחַ שְׁלֹשָׁה בָנִים אֶת־שֵׁם אֶת־חָם וְאֶת־יָפֶת · va-yoled Noach shloshah vanim et-Shem et-Cham ve-et-Yafet = he-begot Noach shloshah sons with-Shem with-Cham and-with-Yafet | TIR-014 | tested |
STEP_Gn_6_11 · Gen.6.11 · EARTH_CORRUPTED_FILLED
וַתִּשָּׁחֵת הָאָרֶץ לִפְנֵי הָאֱלֹהִים וַתִּמָּלֵא הָאָרֶץ חָמָס · va-tishachet ha-aretz lifnei ha-Elohim va-timale ha-aretz chamas · [EN-AID/JPS] And the earth was corrupt before God, and the earth was filled with violence.
ותשחת הארץ לפני האלהים · va-tishachet ha-aretz lifnei ha-Elohim · the earth was corrupted before God (etnachta arm)
ותמלא הארץ חמס · va-timale ha-aretz chamas · and the earth was filled with violence
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | corrupt(e2) ∧ Theme(e2, ha_aretz) = corrupt(e2) ∧ Theme(e2, the-earth) The SHACHAT root's first token — niphal, agentless (TIR-032): the earth WAS CORRUPTED, corrupter unstated. The root will do all the span's work: the crime (here, 6:12), the sentence (6:13, 6:17), and later the never-again (9:11, 9:15) — one verb, measure for measure. LIFNEI HA-ELOHIM ('before God') — the corruption happens in the Inspector's presence. | וַתִּשָּׁחֵת הָאָרֶץ לִפְנֵי הָאֱלֹהִים · va-tishachet ha-aretz lifnei ha-Elohim = was-corrupted earth lifnei God | TIR-032 | tested |
| PRECONDITION_STATE | HOLDS(va_timale_ha_aretz_chamas, t1) = HOLDS(and-was-filled-the-earth-violence, t1) CHAMAS ('violence') — first corpus token (its second is two verses down; tokens 3-4: Sarai's grievance, the swords of Shimon and Levi). The FILL-verb is 1:28's own blessing-word ('fill the earth') executed wrong: the earth is filled — with violence. Onkelos: CHATOFIN ('robbery') — the general noun specified into the property crime: the chain's sealed-over-robbery doctrine carried as a lexical choice (dual-track, flagged). | וַתִּמָּלֵא הָאָרֶץ חָמָס · va-timale ha-aretz chamas = was-filled earth violence | — | tested |
STEP_Gn_6_12 · Gen.6.12 · THIRD_SEEING_BEHOLD_CORRUPTED
וַיַּרְא אֱלֹהִים אֶת־הָאָרֶץ וְהִנֵּה נִשְׁחָתָה כִּי־הִשְׁחִית כָּל־בָּשָׂר אֶת־דַּרְכּוֹ עַל־הָאָרֶץ · va-yar Elohim et-ha-aretz ve-hinneh nishchatah ki-hishchit kol-basar et-darko al-ha-aretz · [EN-AID/JPS] And God saw the earth, and, behold, it was corrupt; for all flesh had corrupted their way upon the earth.
וירא אלהים את הארץ והנה נשחתה · va-yar Elohim et-ha-aretz ve-hinneh nishchatah · God saw the earth — behold, corrupted (etnachta arm)
כי השחית כל בשר את דרכו על הארץ · ki-hishchit kol-basar et-darko al-ha-aretz · for all flesh had corrupted its way
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | see(e3) ∧ Agent(e3, Elohim) ∧ Theme(e3, ha_aretz) = see(e3) ∧ Agent(e3, God) ∧ Theme(e3, the-earth) The inspection formula's THIRD run in two units — this time in 1:31's exact grammar: see + object + BEHOLD + verdict. | וַיַּרְא אֱלֹהִים אֶת־הָאָרֶץ · va-yar Elohim et-ha-aretz = He-saw God with-the-earth | TIR-014 | tested |
| NOTE_SPEC_DELTA | flag: spec 'va-yar Elohim et-kol-asher asah ve-hinneh tov meod — and behold, very good (1:31, frozen day 6)' delivered 'va-yar Elohim et-ha-aretz ve-hinneh nishchatah — and behold, CORRUPTED (6:12)' = flag: spec 'and-He-saw God with-all-which make and-behold good very — and behold, very good (1:31, frozen day 6)' delivered 'and-He-saw God with-the-earth and-behold was-corrupted — and behold, CORRUPTED (6:12)' The verdict slot of the week's closing inspection, re-filled: VE-HINNEH TOV MEOD -> VE-HINNEH NISHCHATAH. After the theft (6:2, creature eyes) and the inversion (6:5, the evil seen), the formula itself returns verbatim-with-delta — the machine's third flag against frozen week text in two units. | וְהִנֵּה נִשְׁחָתָה · ve-hinneh nishchatah = behold was-corrupted | — | tested |
| PRECONDITION_STATE | HOLDS(hishchit_kol_basar_et_darko, t1) = HOLDS(had-corrupted-all-flesh-with-its-way, t1) The reason clause: ALL FLESH corrupted its WAY — DEREKH, 3:24's word (the guarded way to the tree of life): the way-word's second token is the way corrupted. KOL-BASAR sweeps wider than humanity [the letter's scope; Onkelos inserts 'of MAN' and shields the animals — dual-track, flagged]. | כִּי־הִשְׁחִית כָּל־בָּשָׂר אֶת־דַּרְכּוֹ · ki-hishchit kol-basar et-darko = for-had-corrupted all-flesh with-its-way | — | tested |
STEP_Gn_6_13 · Gen.6.13 · END_DECREE_SPOKEN_TO_NOACH
וַיֹּאמֶר אֱלֹהִים לְנֹחַ קֵץ כָּל־בָּשָׂר בָּא לְפָנַי כִּי־מָלְאָה הָאָרֶץ חָמָס מִפְּנֵיהֶם וְהִנְנִי מַשְׁחִיתָם אֶת־הָאָרֶץ · va-yomer Elohim le-Noach qetz kol-basar ba lefanai ki-malah ha-aretz chamas mi-pneihem ve-hineni mashchitam et-ha-aretz · [EN-AID/JPS] And God said unto Noah: 'The end of all flesh is come before Me; for the earth is filled with violence through them; and, behold, I will destroy them with the earth.'
ויאמר אלהים לנח קץ כל בשר בא לפני כי מלאה הארץ חמס מפניהם · va-yomer Elohim le-Noach qetz kol-basar ba lefanai ki-malah ha-aretz chamas mi-pneihem · the end of all flesh has come before Me (etnachta arm)
והנני משחיתם את הארץ · ve-hineni mashchitam et-ha-aretz · behold, I destroy them with the earth
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | say(e4) ∧ Agent(e4, Elohim) ∧ Theme(e4, noach) = say(e4) ∧ Agent(e4, God) ∧ Theme(e4, Noach) The first divine speech ADDRESSED TO NOACH — the sentence is announced to its exception: where Eden's verdicts were spoken to the guilty, the flood's is confided to the righteous, with the remedy attached. | וַיֹּאמֶר אֱלֹהִים לְנֹחַ · va-yomer Elohim le-Noach = He-said God to-Noach | — | tested |
| PRECONDITION_STATE | HOLDS(qetz_kol_basar_ba_lefanai, t1) ∧ HOLDS(hineni_mashchitam_et_ha_aretz, t1) = HOLDS(end-of-all-flesh-has-come-before-Me, t1) ∧ HOLDS(behold-I-destroying-them-with-the-earth, t1) QETZ ('end') token 2 (4:3's offering-time; 8:6's window next): the end arrives as a legal filing — 'has COME BEFORE ME.' The sentence: HINENI MASHCHITAM — behold + participle (TIR-031, imminence): the crime-root now conjugated as its own punishment, 'destroying them WITH the earth' (the medium condemned with its tenants, as 3:17 cursed the ground for the man). Onkelos inserts the motive 'because of their evil deeds' (dual-track). | קֵץ כָּל־בָּשָׂר בָּא לְפָנַי … וְהִנְנִי מַשְׁחִיתָם אֶת־הָאָרֶץ · qetz kol-basar ba lefanai … ve-hineni mashchitam et-ha-aretz = end-of all-flesh has-come before-Me behold-I destroying-them with-the-earth | TIR-031 | tested |
STEP_Gn_6_14 · Gen.6.14 · COMMISSION_MAKE_THE_ARK
עֲשֵׂה לְךָ תֵּבַת עֲצֵי־גֹפֶר קִנִּים תַּעֲשֶׂה אֶת־הַתֵּבָה וְכָפַרְתָּ אֹתָהּ מִבַּיִת וּמִחוּץ בַּכֹּפֶר · aseh lekha tevat atzei-gofer qinim taaseh et-ha-tevah ve-khafarta otah mi-bayit u-mi-chutz ba-kofer · [EN-AID/JPS] Make thee an ark of gopher wood; with rooms shalt thou make the ark, and shalt pitch it within and without with pitch.
עשה לך תבת עצי גפר קנים תעשה את התבה · aseh lekha tevat atzei-gofer qinim taaseh et-ha-tevah · make yourself an ark of gofer wood, rooms (etnachta arm)
וכפרת אתה מבית ומחוץ בכפר · ve-khafarta otah mi-bayit u-mi-chutz ba-kofer · and pitch it inside and out with pitch
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(Elohim, LET(aseh(noach, tevah))) = DECLARE(God, LET(make(Noach, ark))) ASEH — imperative (TIR-027), and a corpus first: the divine imperative mood aimed at a NAMED INDIVIDUAL (1:22/1:28 blessed species in the plural; 2:16 ruled by infinitive-and-imperfect; 4:23's imperatives were a human's). The demand enters the queue: MAKE the TEVAH — the two-rescues word (26 Genesis tokens; its ONLY other Torah appearances are Moses' basket, Exod 2:3/2:5: one word, two water-rescues, two deliverers). GOFER wood — a Torah hapax (Onkelos votes cedar-family; the machine stores the unknown). | עֲשֵׂה לְךָ תֵּבַת עֲצֵי־גֹפֶר · aseh lekha tevat atzei-gofer = make to-you ark-of wood-of-gofer | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(tevat_atzei_gofer_qinim, t1) ∧ HOLDS(ve_khafarta_ba_kofer, t1) = HOLDS(ark-of-wood-of-gofer-rooms, t1) ∧ HOLDS(and-you-shall-pitch-has-come-pitch, t1) The spec-sheet opens (the imperfects and weqatals that follow the imperative are the command's own continuation — one bundle, as the receipt's 'ALL' will confirm): QINIM ('nests' — rooms: the bird-word domesticated into architecture; Onkelos: 'dwellings') and the sealant — VE-KHAFARTA... BA-KOFER: the KAPHAR family's first tokens. The root of the ark-cover (kapporet), of the ransom, of the Day of Atonement, enters the corpus as WATERPROOFING — cover it inside and out [letter fact, held: the atonement vocabulary debuts sealing a rescue vessel against judgment-water]. | קִנִּים תַּעֲשֶׂה אֶת־הַתֵּבָה וְכָפַרְתָּ אֹתָהּ … בַּכֹּפֶר · qinim taaseh et-ha-tevah ve-khafarta otah … ba-kofer = rooms taaseh with-the-ark you-shall-pitch her pitch | TIR-029 | tested |
STEP_Gn_6_15 · Gen.6.15 · BLUEPRINT_DIMENSIONS
וְזֶה אֲשֶׁר תַּעֲשֶׂה אֹתָהּ שְׁלֹשׁ מֵאוֹת אַמָּה אֹרֶךְ הַתֵּבָה חֲמִשִּׁים אַמָּה רָחְבָּהּ וּשְׁלֹשִׁים אַמָּה קוֹמָתָהּ · ve-zeh asher taaseh otah shlosh meot amah orekh ha-tevah chamishim amah rochbah u-shloshim amah qomatah · [EN-AID/JPS] And this is how thou shalt make it: the length of the ark three hundred cubits, the breadth of it fifty cubits, and the height of it thirty cubits.
וזה אשר תעשה אתה שלש מאות אמה ארך התבה · ve-zeh asher taaseh otah shlosh meot amah orekh ha-tevah · and this is how: three hundred cubits the length (etnachta arm)
חמשים אמה רחבה ושלשים אמה קומתה · chamishim amah rochbah u-shloshim amah qomatah · fifty the width, thirty the height
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(shelosh_meot_amah_orekh, t1) ∧ HOLDS(chamishim_amah_rochbah, t1) ∧ HOLDS(sheloshim_amah_qomatah, t1) = HOLDS(three-hundred-cubit-length-of, t1) ∧ HOLDS(fifty-cubit-its-width, t1) ∧ HOLDS(thirty-cubit-its-height, t1) THE CORPUS'S FIRST DIMENSIONED BLUEPRINT: 'and THIS is how you shall make it' — length 300, width 50, height 30. AMAH ('cubit') — the measure-word's first four tokens are this spec (its fifth is 7:20: the floodwater's own fifteen cubits — the judgment measured in the rescue's unit). Three standing facts; the machine holds a blueprint the way it holds any state — and the far echo is the Tabernacle's cubit-lists. | שְׁלֹשׁ מֵאוֹת אַמָּה אֹרֶךְ … חֲמִשִּׁים אַמָּה רָחְבָּהּ וּשְׁלֹשִׁים אַמָּה קוֹמָתָהּ · shlosh meot amah orekh … chamishim amah rochbah u-shloshim amah qomatah = shlosh hundred cubit length-of fifty cubit its-width and-shloshim cubit its-height | — | tested |
STEP_Gn_6_16 · Gen.6.16 · BLUEPRINT_LIGHT_DOOR_DECKS
צֹהַר תַּעֲשֶׂה לַתֵּבָה וְאֶל־אַמָּה תְּכַלֶנָּה מִלְמַעְלָה וּפֶתַח הַתֵּבָה בְּצִדָּהּ תָּשִׂים תַּחְתִּיִּם שְׁנִיִּם וּשְׁלִשִׁים תַּעֲשֶׂהָ · tzohar taaseh la-tevah ve-el-amah tekhalenah mi-lemalah u-fetach ha-tevah be-tzidah tasim tachtiyim shniyim u-shlishim taaseha · [EN-AID/JPS] A light shalt thou make to the ark, and to a cubit shalt thou finish it upward; and the door of the ark shalt thou set in the side thereof; with lower, second, and third stories shalt thou make it.
צהר תעשה לתבה ואל אמה תכלנה מלמעלה · tzohar taaseh la-tevah ve-el-amah tekhalenah mi-lemalah · a tzohar you shall make, finished to a cubit above (etnachta arm)
ופתח התבה בצדה תשים תחתים שנים ושלשים תעשה · u-fetach ha-tevah be-tzidah tasim tachtiyim shniyim u-shlishim taaseha · the door in its side; lower, second, and third decks
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(tzohar_la_tevah, t1) ∧ HOLDS(petach_ba_tzidah, t1) ∧ HOLDS(tachtiyim_shniyim_u_shlishim, t1) = HOLDS(a-light-to-ark, t1) ∧ HOLDS(door-opening-has-come-its-side, t1) ∧ HOLDS(lower-second-decks-and-third-decks, t1) TZOHAR — a Torah hapax [OPEN: window / light / gem — the chain's three-way split; Onkelos votes NEHOR, 'light'; the machine stores the unknown word and its finish-to-a-cubit clause]. PETACH ('door/opening') — 4:7's door-word: where sin crouched at the petach, the rescue now gets one, set in the side. And the three decks — TACHTIYIM SHNIYIM U-SHLISHIM ('lower, second, third'): the corpus's first ordinal architecture — a three-story world for the world's remainder. | צֹהַר … וּפֶתַח הַתֵּבָה בְּצִדָּהּ … תַּחְתִּיִּם שְׁנִיִּם וּשְׁלִשִׁים · tzohar … u-fetach ha-tevah be-tzidah … tachtiyim shniyim u-shlishim = a-light door-of ark its-side lower second-decks third-decks | — | tested |
STEP_Gn_6_17 · Gen.6.17 · FLOOD_ANNOUNCED
וַאֲנִי הִנְנִי מֵבִיא אֶת־הַמַּבּוּל מַיִם עַל־הָאָרֶץ לְשַׁחֵת כָּל־בָּשָׂר אֲשֶׁר־בּוֹ רוּחַ חַיִּים מִתַּחַת הַשָּׁמָיִם כֹּל אֲשֶׁר־בָּאָרֶץ יִגְוָע · va-ani hineni mevi et-ha-mabul mayim al-ha-aretz le-shachet kol-basar asher-bo ruach chayim mi-tachat ha-shamayim kol asher-ba-aretz yigva · [EN-AID/JPS] And I, behold, I do bring the flood of waters upon the earth, to destroy all flesh, wherein is the breath of life, from under heaven; every thing that is in the earth shall perish.
ואני הנני מביא את המבול מים על הארץ לשחת כל בשר אשר בו רוח חיים מתחת השמים · va-ani hineni mevi et-ha-mabul mayim al-ha-aretz le-shachet kol-basar asher-bo ruach chayim mi-tachat ha-shamayim · behold, I bring the flood to destroy all breathing flesh (etnachta arm)
כל אשר בארץ יגוע · kol asher-ba-aretz yigva · all that is in the earth shall expire
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(hineni_mevi_et_ha_mabul_mayim, t1) ∧ HOLDS(kol_asher_ba_aretz_yigva, t1) = HOLDS(behold-I-bringing-with-the-flood-waters, t1) ∧ HOLDS(all-which-has-come-earth-shall-expire, t1) VA-ANI HINENI MEVI — 'and I, behold I, am BRINGING': behold + participle (TIR-031, imminence), with the pronoun doubled — the Speaker signs the flood personally. MABUL ('flood') — first of 12 tokens, every one inside Gen 6-11: the word never leaves this story. The instrument: MAYIM ('waters' — day 2's element, unbounded again). The scope: all flesh with RUACH CHAYIM ('the breath of life' — 2:7's gift named as the target list's criterion). YIGVA ('shall expire') — the gentle death-verb's debut (7:21 the execution; then the patriarchs breathe out in peace with the same word; Onkelos flattens it to 'die' — dual-track). | וַאֲנִי הִנְנִי מֵבִיא אֶת־הַמַּבּוּל … כֹּל אֲשֶׁר־בָּאָרֶץ יִגְוָע · va-ani hineni mevi et-ha-mabul … kol asher-ba-aretz yigva = I behold-I bringing with-the-flood all which-has-come-earth shall-expire | TIR-031 | tested |
STEP_Gn_6_18 · Gen.6.18 · COVENANT_PROMISED_BOARDING_LIST
וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתָּךְ וּבָאתָ אֶל־הַתֵּבָה אַתָּה וּבָנֶיךָ וְאִשְׁתְּךָ וּנְשֵׁי־בָנֶיךָ אִתָּךְ · va-hakimoti et-briti itakh u-vata el-ha-tevah atah u-vanekha ve-ishtekha u-neshei-vanekha itakh · [EN-AID/JPS] But I will establish My covenant with thee; and thou shalt come into the ark, thou, and thy sons, and thy wife, and thy sons' wives with thee.
והקמתי את בריתי אתך · va-hakimoti et-briti itakh · and I will establish my covenant with you (etnachta arm)
ובאת אל התבה אתה ובניך ואשתך ונשי בניך אתך · u-vata el-ha-tevah atah u-vanekha ve-ishtekha u-neshei-vanekha itakh · and you shall come into the ark — the boarding list
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(va_hakimoti_et_briti_itakh, t1) ∧ HOLDS(u_vata_el_ha_tevah_atah_u_vanekha, t1) = HOLDS(and-I-will-establish-with-My-covenant-with-you, t1) ∧ HOLDS(and-you-shall-come-to-the-ark-you-and-your-sons, t1) BRIT ('covenant') — THE WORD'S FIRST TOKEN, weqatal promise (TIR-029): 'I will ESTABLISH my covenant WITH YOU' — singular, to one man, spoken before the un-creation it will outlive (tokens 2-5 are all Gen 9: the establishment; the promise precedes the flood, the ratification follows it). The boarding clause continues the command bundle: come in — you, your sons, your wife, your sons' wives (the list grouped by gender [letter fact, held]). Onkelos: brit -> KEYAM, the Aramaic covenant-word (dual-track). | וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתָּךְ וּבָאתָ אֶל־הַתֵּבָה · va-hakimoti et-briti itakh u-vata el-ha-tevah = I-will-establish with-My-covenant with-you you-shall-come to-the-ark | TIR-029 | tested |
STEP_Gn_6_19 · Gen.6.19 · MANIFEST_TWO_OF_ALL
וּמִכָּל־הָחַי מִכָּל־בָּשָׂר שְׁנַיִם מִכֹּל תָּבִיא אֶל־הַתֵּבָה לְהַחֲיֹת אִתָּךְ זָכָר וּנְקֵבָה יִהְיוּ · u-mi-kol-ha-chai mi-kol-basar shnayim mi-kol tavi el-ha-tevah le-hachayot itakh zakhar u-nekevah yihyu · [EN-AID/JPS] And of every living thing of all flesh, two of every sort shalt thou bring into the ark, to keep them alive with thee; they shall be male and female.
ומכל החי מכל בשר שנים מכל תביא אל התבה להחית אתך · u-mi-kol-ha-chai mi-kol-basar shnayim mi-kol tavi el-ha-tevah le-hachayot itakh · two of all flesh you shall bring in, to keep alive (etnachta arm)
זכר ונקבה יהיו · zakhar u-nekevah yihyu · male and female they shall be
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(shnayim_mi_kol_tavi_el_ha_tevah, t1) ∧ HOLDS(zakhar_u_nekevah_yihyu, t1) = HOLDS(two-from-all-you-shall-bring-to-the-ark, t1) ∧ HOLDS(male-and-female-they-shall-be, t1) The cargo spec: TWO of all, TO KEEP ALIVE (le-hachayot — the live-root as the mission verb), MALE AND FEMALE — 1:27's creation pair re-issued as a manifest line: the ark carries the week's taxonomy as freight. The purpose clause makes Noach the counter-instrument: the flood un-creates; the ark le-hachayot, keeps alive. | שְׁנַיִם מִכֹּל תָּבִיא … זָכָר וּנְקֵבָה יִהְיוּ · shnayim mi-kol tavi … zakhar u-nekevah yihyu = two all you-shall-bring male female they-shall-be | TIR-014 | tested |
STEP_Gn_6_20 · Gen.6.20 · MANIFEST_BY_KINDS_SELF_LOADING
מֵהָעוֹף לְמִינֵהוּ וּמִן־הַבְּהֵמָה לְמִינָהּ מִכֹּל רֶמֶשׂ הָאֲדָמָה לְמִינֵהוּ שְׁנַיִם מִכֹּל יָבֹאוּ אֵלֶיךָ לְהַחֲיוֹת · me-ha-of le-minehu u-min-ha-behemah le-minah mi-kol remes ha-adamah le-minehu shnayim mi-kol yavou elekha le-hachayot · [EN-AID/JPS] Of the fowl after their kind, and of the cattle after their kind, of every creeping thing of the ground after its kind, two of every sort shall come unto thee, to keep them alive.
מהעוף למינהו ומן הבהמה למינה מכל רמש האדמה למינהו · me-ha-of le-minehu u-min-ha-behemah le-minah mi-kol remes ha-adamah le-minehu · birds, livestock, creepers — each by its kind (etnachta arm)
שנים מכל יבאו אליך להחיות · shnayim mi-kol yavou elekha le-hachayot · two of all SHALL COME to you, to keep alive
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| PRECONDITION_STATE | HOLDS(le_minehu_manifest_of_behemah_remes, t1) = HOLDS(to-its-kind-manifest-bird-livestock-creeper-of, t1) The taxonomy manifest: birds / livestock / ground-creepers — day 5-6's categories — each LE-MINO ('by its KIND'): the week's classification word x3, running the creation lists as cargo classes (the wipe-scope of 6:7 named the same classes for destruction; the manifest names them for rescue). And the load is SELF-DELIVERING: YAVOU ELEKHA — 'they shall COME to you' (imperfect: the animals arrive on their own; Noach's verb is receiving, not hunting) [letter fact, held]. | מֵהָעוֹף לְמִינֵהוּ … שְׁנַיִם מִכֹּל יָבֹאוּ אֵלֶיךָ · me-ha-of le-minehu … shnayim mi-kol yavou elekha = bird its-kind two all shall-come to-you | — | tested |
STEP_Gn_6_21 · Gen.6.21 · SECOND_IMPERATIVE_PROVISIONS
וְאַתָּה קַח־לְךָ מִכָּל־מַאֲכָל אֲשֶׁר יֵאָכֵל וְאָסַפְתָּ אֵלֶיךָ וְהָיָה לְךָ וְלָהֶם לְאָכְלָה · ve-atah qach-lekha mi-kol-maakhal asher yeakhel ve-asafta elekha ve-hayah lekha ve-lahem le-akhlah · [EN-AID/JPS] And take thou unto thee of all food that is eaten, and gather it to thee; and it shall be for food for thee, and for them.'
ואתה קח לך מכל מאכל אשר יאכל ואספת אליך · ve-atah qach-lekha mi-kol-maakhal asher yeakhel ve-asafta elekha · take of all food that is eaten, and gather it (etnachta arm)
והיה לך ולהם לאכלה · ve-hayah lekha ve-lahem le-akhlah · and it shall be food for you and for them
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| DECLARE | DECLARE(Elohim, LET(qach(noach, mi_kol_maakhal))) = DECLARE(God, LET(take(Noach, from-all-food))) The second imperative (TIR-027): QACH — 'TAKE for yourself of all food that is eaten.' The take-verb that ran dark through the takings (3:6, 4:19, 6:2) is commanded straight: taking as stewardship. The queue now holds TWO open demands — the fullest mid-unit queue any derived span has carried. | וְאַתָּה קַח־לְךָ מִכָּל־מַאֲכָל אֲשֶׁר יֵאָכֵל · ve-atah qach-lekha mi-kol-maakhal asher yeakhel = you take-to-you from-all-food which is-eaten | TIR-027 | tested |
| PRECONDITION_STATE | HOLDS(ve_hayah_lekha_ve_lahem_le_akhlah, t1) = HOLDS(and-was-to-you-and-to-them-to-food, t1) LE-AKHLAH ('for food') — 1:29-30's food-grant word: Eden's provision formula re-issued inside the rescue (its next token is 9:3 — the post-flood re-grant, widened). The grant covers 'you AND THEM': one table for the whole manifest. | וְהָיָה לְךָ וְלָהֶם לְאָכְלָה · ve-hayah lekha ve-lahem le-akhlah = was to-you to-them food | TIR-029 | tested |
STEP_Gn_6_22 · Gen.6.22 · THE_RECEIPT_BOTH_POPPED
וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים כֵּן עָשָׂה · va-yaas Noach ke-khol asher tzivah oto Elohim ken asah · [EN-AID/JPS] Thus did Noah; according to all that God commanded him, so did he.
ויעש נח ככל אשר צוה אתו אלהים · va-yaas Noach ke-khol asher tzivah oto Elohim · Noach did according to all God commanded (etnachta arm)
כן עשה · ken asah · so he did
| operator | expression | Hebrew anchor | cites | confidence |
|---|---|---|---|---|
| EVENT | make(e5) ∧ Agent(e5, noach) ∧ Theme(e5, tevah) = make(e5) ∧ Agent(e5, Noach) ∧ Theme(e5, ark) The commanded verb executed: ASEH ('make') answered by VA-YAAS ('and he made') — the echo-class receipt (gen_09: the demand's own verb returns as the deed's). | וַיַּעַשׂ נֹחַ · va-yaas Noach = he-made Noach | — | tested |
| REGISTRY_INSTALL | WORLD += {tevah} = WORLD += {ark} The SECOND human-built WORLD install — and the first RECEIPTED COMPLETE: gen_13's city was a participle (building, never finished, named for a son); the ark closes its build to-spec and takes no name at all. The corpus's two human constructions: a monument that never ends, a rescue that does. | וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה · va-yaas Noach ke-khol asher tzivah = he-made Noach according-to-all which commanded | — | tested |
| RESULT | RESULT: HOLDS(aseh(noach, tevah), t2) = RESULT: HOLDS(make(Noach, ark), t2) Demand one POPPED — the build command receipted by the compliance formula: KE-KHOL ASHER TZIVAH ('according to ALL that commanded'). TZAVAH's arc is the corpus's moral history in four tokens: 2:16 the first rule (violated), 3:11/3:17 the indictment quoting it, 6:22 the FIRST OBEYED — and the refrain continues into the flood (7:5, 7:9, 7:16) and lands, far downstream, as the Tabernacle build refrain (Exod 39-40). | כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים · ke-khol asher tzivah oto Elohim = according-to-all which commanded it God | — | tested |
| RESULT | RESULT: HOLDS(qach(noach, mi_kol_maakhal), t2) = RESULT: HOLDS(take(Noach, from-all-food), t2) Demand two POPPED by the same formula — KEN ASAH ('so he did'): the make-verb doubled around the verse, closing both imperatives at once ('ALL that God commanded' covers the pantry with the hull). SPECS ends EMPTY: the first fully-settled divine-to-human command cycle in the corpus — pushed and paid inside one unit. | כֵּן עָשָׂה · ken asah = so make | — | tested |
State machine
| state | meaning |
|---|---|
| S_boot | Before 6:9 — all registers empty (standalone unit) |
| S_header | After 6:9-10 — the third toledot; the righteous walker's facts; the cast re-stated; noach flagged as read |
| S_indictment | After 6:11-13 — the corruption events (one root); the third seeing-mutation flagged; the end-decree confided to the exception |
| S_commission | After 6:14 — LET(aseh(noach, tevah)) pushed: the first divine imperative to a named individual; the spec-sheet opens |
| S_blueprint | After 6:15-17 — dimensions, light, door, decks standing; the flood announced over the Speaker's own signature |
| S_covenant | After 6:18-20 — the covenant word's first token (promised, not yet established); the manifest by kinds, self-loading |
| S_two_demands | After 6:21 — LET(qach(...)) pushed beside LET(aseh(...)): two open demands, the fullest mid-unit queue yet |
| S_receipt | After 6:22 — WORLD += tevah (receipted complete); BOTH demands popped by one compliance formula; SPECS empty: the first settled cycle |
| from | to | via |
|---|---|---|
| S_boot | S_header | STEP_Gn_6_9 |
| S_header | S_header | STEP_Gn_6_10 |
| S_header | S_indictment | STEP_Gn_6_11 |
| S_indictment | S_indictment | STEP_Gn_6_12 |
| S_indictment | S_indictment | STEP_Gn_6_13 |
| S_indictment | S_commission | STEP_Gn_6_14 |
| S_commission | S_blueprint | STEP_Gn_6_15 |
| S_blueprint | S_blueprint | STEP_Gn_6_16 |
| S_blueprint | S_blueprint | STEP_Gn_6_17 |
| S_blueprint | S_covenant | STEP_Gn_6_18 |
| S_covenant | S_covenant | STEP_Gn_6_19 |
| S_covenant | S_covenant | STEP_Gn_6_20 |
| S_covenant | S_two_demands | STEP_Gn_6_21 |
| S_two_demands | S_receipt | STEP_Gn_6_22 |
Scenarios (the unit's own test suite)
| id | title | given | expect | anchor |
|---|---|---|---|---|
| S1 | The header and the walker: after STEP_Gn_6_9 | All registers empty (standalone unit). | Facts ish_tzaddik_tamim_be_dorotav/et_ha_elohim_hithalekh_noach HOLD; SPECS empty; flags noach as read-before-install. = Facts man-righteous-whole-in-his-generations/with-the-God-walked-Noach HOLD; SPECS empty; flags Noach as read-before-install. | אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ · et-ha-Elohim hithalekh-Noach = with-the-God walked-Noach |
| S2 | The third seeing-mutation flagged: after STEP_Gn_6_12 | S1 state + the corruption (6:10-11). | machine flags spec-delta; Facts hishchit_kol_basar_et_darko HOLD. = machine flags spec-delta; Facts had-corrupted-all-flesh-with-its-way HOLD. | וְהִנֵּה נִשְׁחָתָה · ve-hinneh nishchatah = behold was-corrupted |
| S3 | The commission pushed: after STEP_Gn_6_14 | S2 state + the end-decree (6:13). | LET(aseh(noach, tevah)) pushed and OPEN. = LET(make(Noach, ark)) pushed and OPEN. | עֲשֵׂה לְךָ תֵּבַת · aseh lekha tevat = make to-you ark-of |
| S4 | The blueprint stands while the demand waits: after STEP_Gn_6_16 | S3 state. | Facts shelosh_meot_amah_orekh/tzohar_la_tevah/tachtiyim_shniyim_u_shlishim HOLD; LET(aseh(noach, tevah)) pushed and OPEN. = Facts three-hundred-cubit-length-of/a-light-to-ark/lower-second-decks-and-third-decks HOLD; LET(make(Noach, ark)) pushed and OPEN. | שְׁלֹשׁ מֵאוֹת אַמָּה · shlosh meot amah = shlosh hundred cubit |
| S5 | The covenant word on the books: after STEP_Gn_6_18 | S4 state + the announcement (6:17). | Facts va_hakimoti_et_briti_itakh HOLD. = Facts and-I-will-establish-with-My-covenant-with-you HOLD. | וַהֲקִמֹתִי אֶת־בְּרִיתִי · va-hakimoti et-briti = I-will-establish with-My-covenant |
| S6 | Two demands open — the fullest queue: after STEP_Gn_6_21 | S5 state + the manifest (6:19-20). | LET(qach(noach, mi_kol_maakhal)) pushed and OPEN; LET(aseh(noach, tevah)) pushed and OPEN. = LET(take(Noach, from-all-food)) pushed and OPEN; LET(make(Noach, ark)) pushed and OPEN. | וְאַתָּה קַח־לְךָ · ve-atah qach-lekha = you take-to-you |
| S7 | The receipt — both popped, the hull installed: after STEP_Gn_6_22 | S6 state. | WORLD = {tevah}; SPECS empty. = WORLD = {ark}; SPECS empty. | כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים כֵּן עָשָׂה · ke-khol asher tzivah oto Elohim ken asah = according-to-all which commanded it God so make |
| S8_negative | Negative: the machine's ? stays guarded | A synthetic LET? demand (the machine's own contract self-test). | LET? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — receipts pop demands; nothing but citation moves a mood. | |
| S9_negative | Negative: flags never block | A synthetic commit with TESTS empty (the machine's own contract self-test). | Cycle close with TESTS empty must be FLAGGED, never blocked. = Cycle close with TESTS empty must in FLAGGED, never blocked. |
Exports (reusable patterns)
| id | content |
|---|---|
| EXPORT_first_settled_cycle | עֲשֵׂה … קַח … וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים כֵּן עָשָׂה · aseh … qach … va-yaas Noach ke-khol asher tzivah oto Elohim ken asah · two divine imperatives (TIR-027's first to a named individual) pushed and BOTH popped by one compliance formula — the first fully-settled divine-to-human command cycle; the command-verb's arc: 2:16 violated, 3:11/3:17 indicted, 6:22 OBEYED, 7:5/9/16 the refrain — far career: the Tabernacle build refrain (Exod 39-40) |
| EXPORT_shachat_measure_for_measure | וַתִּשָּׁחֵת … נִשְׁחָתָה … הִשְׁחִית … מַשְׁחִיתָם … לְשַׁחֵת · va-tishachet … nishchatah … hishchit … mashchitam … le-shachet · one root, five tokens, both directions: the earth corrupted, all flesh corrupted its way, I destroy them — the crime-verb IS the sentence-verb; tokens 6-7 are the covenant's never-again (9:11, 9:15); the corrupted object is DEREKH, 3:24's guarded way-word |
| EXPORT_third_seeing_mutation | וְהִנֵּה נִשְׁחָתָה · ve-hinneh nishchatah · 1:31's closing inspection re-run in its exact grammar with the verdict slot flipped (behold-very-good -> behold-corrupted) — the week formula's third mutation across gen_15/16 (stolen, inverted, re-verdicted), each held as spec-delta against frozen text |
| EXPORT_tevah_two_rescues | תֵּבַת עֲצֵי־גֹפֶר · tevat atzei-gofer · the ark-word's whole Torah career is two water-rescues: 26 Genesis tokens + Moses' basket (Exod 2:3,5) — nothing else; built of a hapax wood, lit by a hapax tzohar [OPEN: window/light/gem], entered through sin's old door-word (4:7's petach), sealed with the ATONEMENT root as pitch (kaphar's debut), measured in the corpus's first cubits (the flood itself measured in the same unit, 7:20) |
| EXPORT_brit_debut | וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתָּךְ · va-hakimoti et-briti itakh · the covenant word's first token — a weqatal promise to ONE man, spoken inside a demolition order, ratified only across the flood (tokens 2-5 = Gen 9); Onkelos renders keyam — the Aramaic covenant vocabulary begins here too |
| EXPORT_manifest_creation_in_miniature | שְׁנַיִם מִכֹּל … זָכָר וּנְקֵבָה … לְמִינֵהוּ · shnayim mi-kol … zakhar u-nekevah … le-minehu · the cargo spec re-issues the week: 1:27's male-and-female as manifest line, day 5-6's by-its-kind x3 as cargo classes, 1:29-30's food-grant word as pantry clause — and the load is self-delivering (they SHALL COME to you): the ark is creation filed for storage |
| EXPORT_city_vs_ark | וַיְהִי בֹּנֶה עִיר … וַיַּעַשׂ נֹחַ · va-yehi boneh ir … va-yaas Noach · the corpus's two human builds, machine-contrasted: the city (gen_13) installs from an unfinished participle, named for a son; the ark installs receipted complete, to-spec, and takes no name — the first WORLD entry with a compliance certificate |
Oral notes (named, tiered, dual-track — never merged)
בְּדֹרֹתָיו · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 6:9-22 — tenth tripwire span. Detector classes predicted: the chamas -> robbery specification is a crime-specification class (doctrine carried as lexicon); the be-dorotav plural is a diyyuk-class target (doctrine from a suffix's number); the tzohar hapax is a three-way lexical fork.
Queue entry — no claim made beyond the naming.
חֲטוֹפִין · chatofin · The span's translation witness: CHAMAS -> CHATOFIN ('robbery') twice — the general violence specified into the property crime: Sanhedrin 108a's sealed-over-robbery doctrine operating as a translation choice (flagged); the corruption RESTRICTED to 'all flesh OF MAN' (6:12 — the animals shielded from the letter's all-flesh charge) with a motive inserted at 6:13 ('because of their evil deeds') (flagged); Noach's walk gets Chanokh's exact fear-buffer; the hapax votes: tzohar -> NEHOR ('light'), gofer -> KADROM (cedar-family), qinim -> 'dwellings'; mabul -> tofana; the gentle expire-verb flattened to 'die'; BRIT -> KEYAM; and the receipt's Elohim -> YY. The buffer's pattern across the span: crimes get more specific, scopes get narrower, hapaxes get decided — the letter's opens are the translation's closes.
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.
Binary trees (ta'amim v3, glue bricks)
Gen.6.9 · parser unique · 13 words
PHRASE (binary 13w) אֵ֚לֶּה תּוֹלְדֹ֣ת נֹ֔חַ נֹ֗חַ אִ֥ישׁ צַדִּ֛יק …
├── PHRASE (binary 9w) אֵ֚לֶּה תּוֹלְדֹ֣ת נֹ֔חַ נֹ֗חַ אִ֥ישׁ צַדִּ֛יק …
│ ├── PHRASE (binary 3w) אֵ֚לֶּה תּוֹלְדֹ֣ת נֹ֔חַ
│ │ ├── [0] אֵ֚לֶּה (yetiv, rank=3)
│ │ └── [1-2] GLUE תּוֹלְדֹ֣ת נֹ֔חַ (zaqef qatan, rank=2)
│ └── PHRASE (binary 6w) נֹ֗חַ אִ֥ישׁ צַדִּ֛יק תָּמִ֥ים הָיָ֖ה בְּ/דֹֽרֹ…
│ ├── PHRASE (binary 5w) נֹ֗חַ אִ֥ישׁ צַדִּ֛יק תָּמִ֥ים הָיָ֖ה
│ │ ├── [3] נֹ֗חַ (revia, rank=3)
│ │ └── PHRASE (binary 4w) אִ֥ישׁ צַדִּ֛יק תָּמִ֥ים הָיָ֖ה
│ │ ├── [4-5] GLUE אִ֥ישׁ צַדִּ֛יק (tevir, rank=3)
│ │ └── [6-7] GLUE תָּמִ֥ים הָיָ֖ה (tifcha, rank=2)
│ └── [8] בְּ/דֹֽרֹתָ֑י/ו (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.6.10 · parser unique · 10 words
PHRASE (binary 10w) וַ/יּ֥וֹלֶד נֹ֖חַ שְׁלֹשָׁ֣ה בָנִ֑ים אֶת שֵׁ֖ם …
├── PHRASE (binary 4w) וַ/יּ֥וֹלֶד נֹ֖חַ שְׁלֹשָׁ֣ה בָנִ֑ים
│ ├── [0-1] GLUE וַ/יּ֥וֹלֶד נֹ֖חַ (tifcha, rank=2)
│ └── [2-3] GLUE שְׁלֹשָׁ֣ה בָנִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אֶת שֵׁ֖ם אֶת חָ֥ם וְ/אֶת יָֽפֶת
├── [4-5] GLUE אֶת שֵׁ֖ם (tifcha, rank=2)
└── [6-9] GLUE אֶת חָ֥ם וְ/אֶת יָֽפֶת (silluq (verse-end emperor), rank=1)
Gen.6.11 · parser unique · 7 words
PHRASE (binary 7w) וַ/תִּשָּׁחֵ֥ת הָ/אָ֖רֶץ לִ/פְנֵ֣י הָֽ/אֱלֹהִ֑י…
├── PHRASE (binary 4w) וַ/תִּשָּׁחֵ֥ת הָ/אָ֖רֶץ לִ/פְנֵ֣י הָֽ/אֱלֹהִ֑ים
│ ├── [0-1] GLUE וַ/תִּשָּׁחֵ֥ת הָ/אָ֖רֶץ (tifcha, rank=2)
│ └── [2-3] GLUE לִ/פְנֵ֣י הָֽ/אֱלֹהִ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַ/תִּמָּלֵ֥א הָ/אָ֖רֶץ חָמָֽס
├── [4-5] GLUE וַ/תִּמָּלֵ֥א הָ/אָ֖רֶץ (tifcha, rank=2)
└── [6] חָמָֽס (silluq (verse-end emperor), rank=1)
Gen.6.12 · parser unique · 14 words
PHRASE (binary 14w) וַ/יַּ֧רְא אֱלֹהִ֛ים אֶת הָ/אָ֖רֶץ וְ/הִנֵּ֣ה נ…
├── PHRASE (binary 6w) וַ/יַּ֧רְא אֱלֹהִ֛ים אֶת הָ/אָ֖רֶץ וְ/הִנֵּ֣ה נ…
│ ├── PHRASE (binary 4w) וַ/יַּ֧רְא אֱלֹהִ֛ים אֶת הָ/אָ֖רֶץ
│ │ ├── [0-1] GLUE וַ/יַּ֧רְא אֱלֹהִ֛ים (tevir, rank=3)
│ │ └── [2-3] GLUE אֶת הָ/אָ֖רֶץ (tifcha, rank=2)
│ └── [4-5] GLUE וְ/הִנֵּ֣ה נִשְׁחָ֑תָה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) כִּֽי הִשְׁחִ֧ית כָּל בָּשָׂ֛ר אֶת דַּרְכּ֖/וֹ …
├── PHRASE (binary 6w) כִּֽי הִשְׁחִ֧ית כָּל בָּשָׂ֛ר אֶת דַּרְכּ֖/וֹ
│ ├── [6-9] GLUE כִּֽי הִשְׁחִ֧ית כָּל בָּשָׂ֛ר (tevir, rank=3)
│ └── [10-11] GLUE אֶת דַּרְכּ֖/וֹ (tifcha, rank=2)
└── [12-13] GLUE עַל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.6.13 · parser unique · 17 words
PHRASE (binary 17w) וַ/יֹּ֨אמֶר אֱלֹהִ֜ים לְ/נֹ֗חַ קֵ֤ץ כָּל בָּשָׂ…
├── PHRASE (binary 13w) וַ/יֹּ֨אמֶר אֱלֹהִ֜ים לְ/נֹ֗חַ קֵ֤ץ כָּל בָּשָׂ…
│ ├── PHRASE (binary 8w) וַ/יֹּ֨אמֶר אֱלֹהִ֜ים לְ/נֹ֗חַ קֵ֤ץ כָּל בָּשָׂ…
│ │ ├── PHRASE (binary 3w) וַ/יֹּ֨אמֶר אֱלֹהִ֜ים לְ/נֹ֗חַ
│ │ │ ├── [0-1] GLUE וַ/יֹּ֨אמֶר אֱלֹהִ֜ים (geresh, rank=4)
│ │ │ └── [2] לְ/נֹ֗חַ (revia, rank=3)
│ │ └── PHRASE (binary 5w) קֵ֤ץ כָּל בָּשָׂר֙ בָּ֣א לְ/פָנַ֔/י
│ │ ├── [3-5] GLUE קֵ֤ץ כָּל בָּשָׂר֙ (pashta, rank=3)
│ │ └── [6-7] GLUE בָּ֣א לְ/פָנַ֔/י (zaqef qatan, rank=2)
│ └── PHRASE (binary 5w) כִּֽי מָלְאָ֥ה הָ/אָ֛רֶץ חָמָ֖ס מִ/פְּנֵי/הֶ֑ם
│ ├── PHRASE (binary 4w) כִּֽי מָלְאָ֥ה הָ/אָ֛רֶץ חָמָ֖ס
│ │ ├── [8-10] GLUE כִּֽי מָלְאָ֥ה הָ/אָ֛רֶץ (tevir, rank=3)
│ │ └── [11] חָמָ֖ס (tifcha, rank=2)
│ └── [12] מִ/פְּנֵי/הֶ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/הִנְ/נִ֥י מַשְׁחִיתָ֖/ם אֶת הָ/אָֽרֶץ
├── [13-14] GLUE וְ/הִנְ/נִ֥י מַשְׁחִיתָ֖/ם (tifcha, rank=2)
└── [15-16] GLUE אֶת הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)
Gen.6.14 · parser unique · 14 words
PHRASE (binary 14w) עֲשֵׂ֤ה לְ/ךָ֙ תֵּבַ֣ת עֲצֵי גֹ֔פֶר קִנִּ֖ים תּ…
├── PHRASE (binary 9w) עֲשֵׂ֤ה לְ/ךָ֙ תֵּבַ֣ת עֲצֵי גֹ֔פֶר קִנִּ֖ים תּ…
│ ├── PHRASE (binary 5w) עֲשֵׂ֤ה לְ/ךָ֙ תֵּבַ֣ת עֲצֵי גֹ֔פֶר
│ │ ├── [0-1] GLUE עֲשֵׂ֤ה לְ/ךָ֙ (pashta, rank=3)
│ │ └── [2-4] GLUE תֵּבַ֣ת עֲצֵי גֹ֔פֶר (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) קִנִּ֖ים תַּֽעֲשֶׂ֣ה אֶת הַ/תֵּבָ֑ה
│ ├── [5] קִנִּ֖ים (tifcha, rank=2)
│ └── [6-8] GLUE תַּֽעֲשֶׂ֣ה אֶת הַ/תֵּבָ֑ה (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) וְ/כָֽפַרְתָּ֥ אֹתָ֛/הּ מִ/בַּ֥יִת וּ/מִ/ח֖וּץ …
├── PHRASE (binary 4w) וְ/כָֽפַרְתָּ֥ אֹתָ֛/הּ מִ/בַּ֥יִת וּ/מִ/ח֖וּץ
│ ├── [9-10] GLUE וְ/כָֽפַרְתָּ֥ אֹתָ֛/הּ (tevir, rank=3)
│ └── [11-12] GLUE מִ/בַּ֥יִת וּ/מִ/ח֖וּץ (tifcha, rank=2)
└── [13] בַּ/כֹּֽפֶר (silluq (verse-end emperor), rank=1)
Gen.6.15 · parser unique · 15 words
PHRASE (binary 15w) וְ/זֶ֕ה אֲשֶׁ֥ר תַּֽעֲשֶׂ֖ה אֹתָ֑/הּ שְׁלֹ֧שׁ מ…
├── PHRASE (binary 4w) וְ/זֶ֕ה אֲשֶׁ֥ר תַּֽעֲשֶׂ֖ה אֹתָ֑/הּ
│ ├── [0] וְ/זֶ֕ה (zaqef gadol, rank=2)
│ └── PHRASE (binary 3w) אֲשֶׁ֥ר תַּֽעֲשֶׂ֖ה אֹתָ֑/הּ
│ ├── [1-2] GLUE אֲשֶׁ֥ר תַּֽעֲשֶׂ֖ה (tifcha, rank=2)
│ └── [3] אֹתָ֑/הּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 11w) שְׁלֹ֧שׁ מֵא֣וֹת אַמָּ֗ה אֹ֚רֶךְ הַ/תֵּבָ֔ה חֲמ…
├── PHRASE (binary 5w) שְׁלֹ֧שׁ מֵא֣וֹת אַמָּ֗ה אֹ֚רֶךְ הַ/תֵּבָ֔ה
│ ├── [4-6] GLUE שְׁלֹ֧שׁ מֵא֣וֹת אַמָּ֗ה (revia, rank=3)
│ └── PHRASE (binary 2w) אֹ֚רֶךְ הַ/תֵּבָ֔ה
│ ├── [7] אֹ֚רֶךְ (yetiv, rank=3)
│ └── [8] הַ/תֵּבָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) חֲמִשִּׁ֤ים אַמָּה֙ רָחְבָּ֔/הּ וּ/שְׁלֹשִׁ֥ים …
├── PHRASE (binary 3w) חֲמִשִּׁ֤ים אַמָּה֙ רָחְבָּ֔/הּ
│ ├── [9-10] GLUE חֲמִשִּׁ֤ים אַמָּה֙ (pashta, rank=3)
│ └── [11] רָחְבָּ֔/הּ (zaqef qatan, rank=2)
└── PHRASE (binary 3w) וּ/שְׁלֹשִׁ֥ים אַמָּ֖ה קוֹמָתָֽ/הּ
├── [12-13] GLUE וּ/שְׁלֹשִׁ֥ים אַמָּ֖ה (tifcha, rank=2)
└── [14] קוֹמָתָֽ/הּ (silluq (verse-end emperor), rank=1)
Gen.6.16 · parser unique · 15 words
PHRASE (binary 15w) צֹ֣הַר תַּֽעֲשֶׂ֣ה לַ/תֵּבָ֗ה וְ/אֶל אַמָּה֙ תּ…
├── PHRASE (binary 11w) צֹ֣הַר תַּֽעֲשֶׂ֣ה לַ/תֵּבָ֗ה וְ/אֶל אַמָּה֙ תּ…
│ ├── PHRASE (binary 7w) צֹ֣הַר תַּֽעֲשֶׂ֣ה לַ/תֵּבָ֗ה וְ/אֶל אַמָּה֙ תּ…
│ │ ├── [0-2] GLUE צֹ֣הַר תַּֽעֲשֶׂ֣ה לַ/תֵּבָ֗ה (revia, rank=3)
│ │ └── PHRASE (binary 4w) וְ/אֶל אַמָּה֙ תְּכַלֶ֣/נָּה מִ/לְ/מַ֔עְלָ/ה
│ │ ├── [3-4] GLUE וְ/אֶל אַמָּה֙ (pashta, rank=3)
│ │ └── [5-6] GLUE תְּכַלֶ֣/נָּה מִ/לְ/מַ֔עְלָ/ה (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) וּ/פֶ֥תַח הַ/תֵּבָ֖ה בְּ/צִדָּ֣/הּ תָּשִׂ֑ים
│ ├── [7-8] GLUE וּ/פֶ֥תַח הַ/תֵּבָ֖ה (tifcha, rank=2)
│ └── [9-10] GLUE בְּ/צִדָּ֣/הּ תָּשִׂ֑ים (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) תַּחְתִּיִּ֛ם שְׁנִיִּ֥ם וּ/שְׁלִשִׁ֖ים תַּֽעֲש…
├── PHRASE (binary 3w) תַּחְתִּיִּ֛ם שְׁנִיִּ֥ם וּ/שְׁלִשִׁ֖ים
│ ├── [11] תַּחְתִּיִּ֛ם (tevir, rank=3)
│ └── [12-13] GLUE שְׁנִיִּ֥ם וּ/שְׁלִשִׁ֖ים (tifcha, rank=2)
└── [14] תַּֽעֲשֶֽׂ/הָ (silluq (verse-end emperor), rank=1)
Gen.6.17 · parser unique · 21 words
PHRASE (binary 21w) וַ/אֲנִ֗י הִנְ/נִי֩ מֵבִ֨יא אֶת הַ/מַּבּ֥וּל מַ…
├── PHRASE (binary 17w) וַ/אֲנִ֗י הִנְ/נִי֩ מֵבִ֨יא אֶת הַ/מַּבּ֥וּל מַ…
│ ├── PHRASE (binary 8w) וַ/אֲנִ֗י הִנְ/נִי֩ מֵבִ֨יא אֶת הַ/מַּבּ֥וּל מַ…
│ │ ├── [0] וַ/אֲנִ֗י (revia, rank=3)
│ │ └── PHRASE (binary 7w) הִנְ/נִי֩ מֵבִ֨יא אֶת הַ/מַּבּ֥וּל מַ֨יִם֙ עַל …
│ │ ├── [1-5] GLUE הִנְ/נִי֩ מֵבִ֨יא אֶת הַ/מַּבּ֥וּל מַ֨יִם֙ (pashta, rank=3)
│ │ └── [6-7] GLUE עַל הָ/אָ֔רֶץ (zaqef qatan, rank=2)
│ └── PHRASE (binary 9w) לְ/שַׁחֵ֣ת כָּל בָּשָׂ֗ר אֲשֶׁר בּ/וֹ֙ ר֣וּחַ ח…
│ ├── PHRASE (binary 7w) לְ/שַׁחֵ֣ת כָּל בָּשָׂ֗ר אֲשֶׁר בּ/וֹ֙ ר֣וּחַ ח…
│ │ ├── [8-10] GLUE לְ/שַׁחֵ֣ת כָּל בָּשָׂ֗ר (revia, rank=3)
│ │ └── PHRASE (binary 4w) אֲשֶׁר בּ/וֹ֙ ר֣וּחַ חַיִּ֔ים
│ │ ├── [11-12] GLUE אֲשֶׁר בּ/וֹ֙ (pashta, rank=3)
│ │ └── [13-14] GLUE ר֣וּחַ חַיִּ֔ים (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) מִ/תַּ֖חַת הַ/שָּׁמָ֑יִם
│ ├── [15] מִ/תַּ֖חַת (tifcha, rank=2)
│ └── [16] הַ/שָּׁמָ֑יִם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) כֹּ֥ל אֲשֶׁר בָּ/אָ֖רֶץ יִגְוָֽע
├── [17-19] GLUE כֹּ֥ל אֲשֶׁר בָּ/אָ֖רֶץ (tifcha, rank=2)
└── [20] יִגְוָֽע (silluq (verse-end emperor), rank=1)
Gen.6.18 · parser unique · 13 words
PHRASE (binary 13w) וַ/הֲקִמֹתִ֥י אֶת בְּרִיתִ֖/י אִתָּ֑/ךְ וּ/בָאת…
├── PHRASE (binary 4w) וַ/הֲקִמֹתִ֥י אֶת בְּרִיתִ֖/י אִתָּ֑/ךְ
│ ├── [0-2] GLUE וַ/הֲקִמֹתִ֥י אֶת בְּרִיתִ֖/י (tifcha, rank=2)
│ └── [3] אִתָּ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 9w) וּ/בָאתָ֙ אֶל הַ/תֵּבָ֔ה אַתָּ֕ה וּ/בָנֶ֛י/ךָ ו…
├── PHRASE (binary 3w) וּ/בָאתָ֙ אֶל הַ/תֵּבָ֔ה
│ ├── [4] וּ/בָאתָ֙ (pashta, rank=3)
│ └── [5-6] GLUE אֶל הַ/תֵּבָ֔ה (zaqef qatan, rank=2)
└── PHRASE (binary 6w) אַתָּ֕ה וּ/בָנֶ֛י/ךָ וְ/אִשְׁתְּ/ךָ֥ וּ/נְשֵֽׁי…
├── [7] אַתָּ֕ה (zaqef gadol, rank=2)
└── PHRASE (binary 5w) וּ/בָנֶ֛י/ךָ וְ/אִשְׁתְּ/ךָ֥ וּ/נְשֵֽׁי בָנֶ֖י/…
├── PHRASE (binary 4w) וּ/בָנֶ֛י/ךָ וְ/אִשְׁתְּ/ךָ֥ וּ/נְשֵֽׁי בָנֶ֖י/…
│ ├── [8] וּ/בָנֶ֛י/ךָ (tevir, rank=3)
│ └── [9-11] GLUE וְ/אִשְׁתְּ/ךָ֥ וּ/נְשֵֽׁי בָנֶ֖י/ךָ (tifcha, rank=2)
└── [12] אִתָּֽ/ךְ (silluq (verse-end emperor), rank=1)
Gen.6.19 · parser unique · 14 words
PHRASE (binary 14w) וּ/מִ/כָּל הָ֠/חַי מִֽ/כָּל בָּשָׂ֞ר שְׁנַ֧יִם …
├── PHRASE (binary 11w) וּ/מִ/כָּל הָ֠/חַי מִֽ/כָּל בָּשָׂ֞ר שְׁנַ֧יִם …
│ ├── PHRASE (binary 9w) וּ/מִ/כָּל הָ֠/חַי מִֽ/כָּל בָּשָׂ֞ר שְׁנַ֧יִם …
│ │ ├── PHRASE (binary 6w) וּ/מִ/כָּל הָ֠/חַי מִֽ/כָּל בָּשָׂ֞ר שְׁנַ֧יִם …
│ │ │ ├── [0-1] GLUE וּ/מִ/כָּל הָ֠/חַי (telisha gedola, rank=4)
│ │ │ └── PHRASE (binary 4w) מִֽ/כָּל בָּשָׂ֞ר שְׁנַ֧יִם מִ/כֹּ֛ל
│ │ │ ├── [2-3] GLUE מִֽ/כָּל בָּשָׂ֞ר (gershayim, rank=4)
│ │ │ └── [4-5] GLUE שְׁנַ֧יִם מִ/כֹּ֛ל (tevir, rank=3)
│ │ └── [6-8] GLUE תָּבִ֥יא אֶל הַ/תֵּבָ֖ה (tifcha, rank=2)
│ └── [9-10] GLUE לְ/הַחֲיֹ֣ת אִתָּ֑/ךְ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) זָכָ֥ר וּ/נְקֵבָ֖ה יִֽהְיֽוּ
├── [11-12] GLUE זָכָ֥ר וּ/נְקֵבָ֖ה (tifcha, rank=2)
└── [13] יִֽהְיֽוּ (silluq (verse-end emperor), rank=1)
Gen.6.20 · parser unique · 14 words
PHRASE (binary 14w) מֵ/הָ/ע֣וֹף לְ/מִינֵ֗/הוּ וּ/מִן הַ/בְּהֵמָה֙ ל…
├── PHRASE (binary 9w) מֵ/הָ/ע֣וֹף לְ/מִינֵ֗/הוּ וּ/מִן הַ/בְּהֵמָה֙ ל…
│ ├── PHRASE (binary 5w) מֵ/הָ/ע֣וֹף לְ/מִינֵ֗/הוּ וּ/מִן הַ/בְּהֵמָה֙ ל…
│ │ ├── [0-1] GLUE מֵ/הָ/ע֣וֹף לְ/מִינֵ֗/הוּ (revia, rank=3)
│ │ └── PHRASE (binary 3w) וּ/מִן הַ/בְּהֵמָה֙ לְ/מִינָ֔/הּ
│ │ ├── [2-3] GLUE וּ/מִן הַ/בְּהֵמָה֙ (pashta, rank=3)
│ │ └── [4] לְ/מִינָ֔/הּ (zaqef qatan, rank=2)
│ └── PHRASE (binary 4w) מִ/כֹּ֛ל רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה לְ/מִינֵ֑/הוּ
│ ├── PHRASE (binary 3w) מִ/כֹּ֛ל רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה
│ │ ├── [5] מִ/כֹּ֛ל (tevir, rank=3)
│ │ └── [6-7] GLUE רֶ֥מֶשׂ הָֽ/אֲדָמָ֖ה (tifcha, rank=2)
│ └── [8] לְ/מִינֵ֑/הוּ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 5w) שְׁנַ֧יִם מִ/כֹּ֛ל יָבֹ֥אוּ אֵלֶ֖י/ךָ לְ/הַֽחֲי…
├── PHRASE (binary 4w) שְׁנַ֧יִם מִ/כֹּ֛ל יָבֹ֥אוּ אֵלֶ֖י/ךָ
│ ├── [9-10] GLUE שְׁנַ֧יִם מִ/כֹּ֛ל (tevir, rank=3)
│ └── [11-12] GLUE יָבֹ֥אוּ אֵלֶ֖י/ךָ (tifcha, rank=2)
└── [13] לְ/הַֽחֲיֽוֹת (silluq (verse-end emperor), rank=1)
Gen.6.21 · parser unique · 13 words
PHRASE (binary 13w) וְ/אַתָּ֣ה קַח לְ/ךָ֗ מִ/כָּל מַֽאֲכָל֙ אֲשֶׁ֣ר…
├── PHRASE (binary 9w) וְ/אַתָּ֣ה קַח לְ/ךָ֗ מִ/כָּל מַֽאֲכָל֙ אֲשֶׁ֣ר…
│ ├── PHRASE (binary 7w) וְ/אַתָּ֣ה קַח לְ/ךָ֗ מִ/כָּל מַֽאֲכָל֙ אֲשֶׁ֣ר…
│ │ ├── [0-2] GLUE וְ/אַתָּ֣ה קַח לְ/ךָ֗ (revia, rank=3)
│ │ └── PHRASE (binary 4w) מִ/כָּל מַֽאֲכָל֙ אֲשֶׁ֣ר יֵֽאָכֵ֔ל
│ │ ├── [3-4] GLUE מִ/כָּל מַֽאֲכָל֙ (pashta, rank=3)
│ │ └── [5-6] GLUE אֲשֶׁ֣ר יֵֽאָכֵ֔ל (zaqef qatan, rank=2)
│ └── PHRASE (binary 2w) וְ/אָסַפְתָּ֖ אֵלֶ֑י/ךָ
│ ├── [7] וְ/אָסַפְתָּ֖ (tifcha, rank=2)
│ └── [8] אֵלֶ֑י/ךָ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) וְ/הָיָ֥ה לְ/ךָ֛ וְ/לָ/הֶ֖ם לְ/אָכְלָֽה
├── PHRASE (binary 3w) וְ/הָיָ֥ה לְ/ךָ֛ וְ/לָ/הֶ֖ם
│ ├── [9-10] GLUE וְ/הָיָ֥ה לְ/ךָ֛ (tevir, rank=3)
│ └── [11] וְ/לָ/הֶ֖ם (tifcha, rank=2)
└── [12] לְ/אָכְלָֽה (silluq (verse-end emperor), rank=1)
Gen.6.22 · parser unique · 9 words
PHRASE (binary 9w) וַ/יַּ֖עַשׂ נֹ֑חַ כְּ֠/כֹל אֲשֶׁ֨ר צִוָּ֥ה אֹת֛…
├── PHRASE (binary 2w) וַ/יַּ֖עַשׂ נֹ֑חַ
│ ├── [0] וַ/יַּ֖עַשׂ (tifcha, rank=2)
│ └── [1] נֹ֑חַ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) כְּ֠/כֹל אֲשֶׁ֨ר צִוָּ֥ה אֹת֛/וֹ אֱלֹהִ֖ים כֵּ֥…
├── PHRASE (binary 5w) כְּ֠/כֹל אֲשֶׁ֨ר צִוָּ֥ה אֹת֛/וֹ אֱלֹהִ֖ים
│ ├── PHRASE (binary 4w) כְּ֠/כֹל אֲשֶׁ֨ר צִוָּ֥ה אֹת֛/וֹ
│ │ ├── [2] כְּ֠/כֹל (telisha gedola, rank=4)
│ │ └── [3-5] GLUE אֲשֶׁ֨ר צִוָּ֥ה אֹת֛/וֹ (tevir, rank=3)
│ └── [6] אֱלֹהִ֖ים (tifcha, rank=2)
└── [7-8] GLUE כֵּ֥ן עָשָֽׂה (silluq (verse-end emperor), rank=1)
Word coverage — 189/189 words with named roles
| ref | # | Hebrew | translit | English | role | kind | rule |
|---|---|---|---|---|---|---|---|
| Gen.6.9 | 0 | אלה | ele | these | header | logic_bearing | none |
| Gen.6.9 | 1 | תולדת | toldot | generations-of | TOLEDOT_3rd_section | logic_bearing | none |
| Gen.6.9 | 2 | נח | nocha | Noach | Noach | logic_bearing | none |
| Gen.6.9 | 3 | נח | nocha | Noach | NAME_DOUBLED_at_seam | logic_bearing | none |
| Gen.6.9 | 4 | איש | ish | man | man | logic_bearing | none |
| Gen.6.9 | 5 | צדיק | tzadiq | righteous | TZADDIK_FIRST_TOKEN | logic_bearing | none |
| Gen.6.9 | 6 | תמים | tamim | whole | TAMIM_FIRST_TOKEN_17_1_next | logic_bearing | none |
| Gen.6.9 | 7 | היה | haya | was | was | logic_bearing | none |
| Gen.6.9 | 8 | בדרתיו | be-dorotay-v | in-his-generations | BE_DOROTAV_plural_OPEN | logic_bearing | none |
| Gen.6.9 | 9 | את | et | with | WITH_854 | logic_bearing | TIR-014 |
| Gen.6.9 | 10 | האלהים | ha-Elohim | the-God | the-God | logic_bearing | none |
| Gen.6.9 | 11 | התהלך | hithalekh | walked | WALK_chanokh_verbatim_token_4 | logic_bearing | none |
| Gen.6.9 | 12 | נח | nocha | Noach | Noach | logic_bearing | none |
| Gen.6.10 | 0 | ויולד | va-yoled | and-he-begot | toledot_reboot_beget | logic_bearing | none |
| Gen.6.10 | 1 | נח | nocha | Noach | Noach | logic_bearing | none |
| Gen.6.10 | 2 | שלשה | shelosha | three | three | logic_bearing | none |
| Gen.6.10 | 3 | בנים | vanim | sons | sons | logic_bearing | none |
| Gen.6.10 | 4 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.6.10 | 5 | שם | shem | Shem | Shem | logic_bearing | none |
| Gen.6.10 | 6 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.10 | 7 | חם | cham | Cham | Cham | logic_bearing | none |
| Gen.6.10 | 8 | ואת | ve-et | and-obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.10 | 9 | יפת | yafet | Yafet | Yafet | logic_bearing | none |
| Gen.6.11 | 0 | ותשחת | va-tishachet | and-was-corrupted | SHACHAT_token_1_niphal_agentless | logic_bearing | TIR-032 |
| Gen.6.11 | 1 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.11 | 2 | לפני | li-fene | before | before | logic_bearing | none |
| Gen.6.11 | 3 | האלהים | ha-Elohim | the-God | the_inspector | logic_bearing | none |
| Gen.6.11 | 4 | ותמלא | va-timale | and-was-filled | FILL_1_28_blessing_verb_wrong_object | logic_bearing | none |
| Gen.6.11 | 5 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.11 | 6 | חמס | chamas | violence | CHAMAS_FIRST_TOKEN_onkelos_robbery | logic_bearing | none |
| Gen.6.12 | 0 | וירא | va-yar | and-He-saw | THIRD_SEEING_1_31_grammar | logic_bearing | none |
| Gen.6.12 | 1 | אלהים | Elohim | God | God | logic_bearing | none |
| Gen.6.12 | 2 | את | et | obj-marker·et | obj_marker | logic_bearing | TIR-014 |
| Gen.6.12 | 3 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.12 | 4 | והנה | ve-hine | and-behold | VE_HINNEH_1_31_slot | logic_bearing | none |
| Gen.6.12 | 5 | נשחתה | nishchata | corrupted | NISHCHATAH_verdict_flipped | logic_bearing | none |
| Gen.6.12 | 6 | כי | ki | for | for | logic_bearing | none |
| Gen.6.12 | 7 | השחית | hishchit | had-corrupted | shachat_token_3_hiphil | logic_bearing | none |
| Gen.6.12 | 8 | כל | kal | all | all | logic_bearing | none |
| Gen.6.12 | 9 | בשר | basar | flesh | kol_basar_letter_scope | logic_bearing | none |
| Gen.6.12 | 10 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.12 | 11 | דרכו | dark-o | its-way | DEREKH_3_24_way_word | logic_bearing | none |
| Gen.6.12 | 12 | על | al | upon | upon | logic_bearing | none |
| Gen.6.12 | 13 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.13 | 0 | ויאמר | va-yomer | and-He-said | decree_speech | logic_bearing | none |
| Gen.6.13 | 1 | אלהים | Elohim | God | God | logic_bearing | none |
| Gen.6.13 | 2 | לנח | le-nocha | to-Noach | TO_NOACH_confided_to_exception | logic_bearing | none |
| Gen.6.13 | 3 | קץ | qetz | end-of | QETZ_token_2 | logic_bearing | none |
| Gen.6.13 | 4 | כל | kal | all | all | logic_bearing | none |
| Gen.6.13 | 5 | בשר | basar | flesh | flesh | logic_bearing | none |
| Gen.6.13 | 6 | בא | ba | has-come | has_come_legal_filing | logic_bearing | none |
| Gen.6.13 | 7 | לפני | le-fana-y | before-Me | before-Me | logic_bearing | none |
| Gen.6.13 | 8 | כי | ki | for | for | logic_bearing | none |
| Gen.6.13 | 9 | מלאה | mala | is-filled | filled | logic_bearing | none |
| Gen.6.13 | 10 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.13 | 11 | חמס | chamas | violence | chamas_token_2 | logic_bearing | none |
| Gen.6.13 | 12 | מפניהם | mi-pene-hem | from-before-them | from-before-them | logic_bearing | none |
| Gen.6.13 | 13 | והנני | ve-hin-ni | and-behold-Me | HINENI_imminence | logic_bearing | TIR-031 |
| Gen.6.13 | 14 | משחיתם | mashchita-m | destroying-them | MASHCHITAM_crime_root_as_sentence | logic_bearing | none |
| Gen.6.13 | 15 | את | et | with | WITH_854 | logic_bearing | none |
| Gen.6.13 | 16 | הארץ | ha-aretz | the-earth | the_earth_condemned_with_tenants | logic_bearing | none |
| Gen.6.14 | 0 | עשה | ase | make | ASEH_first_divine_imperative_to_individual | logic_bearing | TIR-027 |
| Gen.6.14 | 1 | לך | le-kha | for-yourself | for-yourself | logic_bearing | none |
| Gen.6.14 | 2 | תבת | tevat | ark-of | TEVAH_FIRST_TOKEN_two_rescues_word | logic_bearing | none |
| Gen.6.14 | 3 | עצי | atze | woods-of | woods-of | logic_bearing | none |
| Gen.6.14 | 4 | גפר | gofer | gofer | GOFER_TORAH_HAPAX | logic_bearing | none |
| Gen.6.14 | 5 | קנים | qinim | rooms | QINIM_nests_as_rooms | logic_bearing | none |
| Gen.6.14 | 6 | תעשה | taase | you-shall-make | spec_imperfect | logic_bearing | none |
| Gen.6.14 | 7 | את | et | with | with_854 | logic_bearing | none |
| Gen.6.14 | 8 | התבה | ha-teva | the-ark | the-ark | logic_bearing | none |
| Gen.6.14 | 9 | וכפרת | ve-khafarta | and-you-shall-pitch | KAPHAR_ROOT_DEBUT_weqatal | logic_bearing | TIR-029 |
| Gen.6.14 | 10 | אתה | et-h | it | it | logic_bearing | none |
| Gen.6.14 | 11 | מבית | mi-bayit | from-inside | from-inside | logic_bearing | none |
| Gen.6.14 | 12 | ומחוץ | u-mi-chutz | and-from-outside | and-from-outside | logic_bearing | none |
| Gen.6.14 | 13 | בכפר | ba-kofer | with-the-pitch | KOFER_pitch_atonement_family | logic_bearing | none |
| Gen.6.15 | 0 | וזה | ve-ze | and-this | blueprint_formula | logic_bearing | none |
| Gen.6.15 | 1 | אשר | asher | which | which | logic_bearing | none |
| Gen.6.15 | 2 | תעשה | taase | you-shall-make | spec_imperfect | logic_bearing | none |
| Gen.6.15 | 3 | אתה | et-h | it | it | logic_bearing | none |
| Gen.6.15 | 4 | שלש | shelosh | three | THREE | logic_bearing | none |
| Gen.6.15 | 5 | מאות | meot | hundred | HUNDRED_length | logic_bearing | none |
| Gen.6.15 | 6 | אמה | ama | cubit | AMAH_FIRST_TOKENS | logic_bearing | none |
| Gen.6.15 | 7 | ארך | orekh | length-of | length-of | logic_bearing | none |
| Gen.6.15 | 8 | התבה | ha-teva | the-ark | the-ark | logic_bearing | none |
| Gen.6.15 | 9 | חמשים | chamishim | fifty | FIFTY_width | logic_bearing | none |
| Gen.6.15 | 10 | אמה | ama | cubit | cubit | logic_bearing | none |
| Gen.6.15 | 11 | רחבה | rachba-h | its-width | its-width | logic_bearing | none |
| Gen.6.15 | 12 | ושלשים | u-sheloshim | and-thirty | THIRTY_height | logic_bearing | none |
| Gen.6.15 | 13 | אמה | ama | cubit | cubit | logic_bearing | none |
| Gen.6.15 | 14 | קומתה | qomata-h | its-height | its-height | logic_bearing | none |
| Gen.6.16 | 0 | צהר | tzohar | a-light | TZOHAR_TORAH_HAPAX_OPEN | logic_bearing | none |
| Gen.6.16 | 1 | תעשה | taase | you-shall-make | spec_imperfect | logic_bearing | TIR-028 |
| Gen.6.16 | 2 | לתבה | la-teva | for-the-ark | for-the-ark | logic_bearing | none |
| Gen.6.16 | 3 | ואל | ve-el | and-to | and-to | logic_bearing | none |
| Gen.6.16 | 4 | אמה | ama | a-cubit | finishing_cubit | logic_bearing | none |
| Gen.6.16 | 5 | תכלנה | tekhale-na | you-shall-finish-it | you-shall-finish-it | logic_bearing | none |
| Gen.6.16 | 6 | מלמעלה | mi-le-mala-h | from-above | from-above | logic_bearing | none |
| Gen.6.16 | 7 | ופתח | u-fetach | and-door-of | PETACH_4_7_door_word | logic_bearing | none |
| Gen.6.16 | 8 | התבה | ha-teva | the-ark | the-ark | logic_bearing | none |
| Gen.6.16 | 9 | בצדה | be-tzida-h | in-its-side | in-its-side | logic_bearing | none |
| Gen.6.16 | 10 | תשים | tasim | you-shall-set | you-shall-set | logic_bearing | none |
| Gen.6.16 | 11 | תחתים | tachtiyim | lower | DECK_lower | logic_bearing | none |
| Gen.6.16 | 12 | שנים | sheniyim | second | DECK_second | logic_bearing | none |
| Gen.6.16 | 13 | ושלשים | u-shelishim | and-third | DECK_third_first_ordinal_architecture | logic_bearing | none |
| Gen.6.16 | 14 | תעשה | taase-ha | you-shall-make-it | spec_imperfect | logic_bearing | none |
| Gen.6.17 | 0 | ואני | va-ani | and-I | pronoun_doubled | logic_bearing | none |
| Gen.6.17 | 1 | הנני | hin-ni | behold-Me | HINENI_imminence_participle | logic_bearing | TIR-031 |
| Gen.6.17 | 2 | מביא | mevi | bringing | bringing | logic_bearing | none |
| Gen.6.17 | 3 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.17 | 4 | המבול | ha-mabul | the-flood | MABUL_FIRST_TOKEN_never_leaves_gen | logic_bearing | none |
| Gen.6.17 | 5 | מים | mayim | waters | waters_day_2_element | logic_bearing | none |
| Gen.6.17 | 6 | על | al | upon | upon | logic_bearing | none |
| Gen.6.17 | 7 | הארץ | ha-aretz | the-earth | the-earth | logic_bearing | none |
| Gen.6.17 | 8 | לשחת | le-shachet | to-destroy | shachat_token_5_piel | logic_bearing | none |
| Gen.6.17 | 9 | כל | kal | all | all | logic_bearing | none |
| Gen.6.17 | 10 | בשר | basar | flesh | flesh | logic_bearing | none |
| Gen.6.17 | 11 | אשר | asher | which | which | logic_bearing | none |
| Gen.6.17 | 12 | בו | b-o | in-it | in-it | logic_bearing | none |
| Gen.6.17 | 13 | רוח | rucha | breath-of | RUACH_CHAYIM_2_7_criterion | logic_bearing | none |
| Gen.6.17 | 14 | חיים | chayim | life | life | logic_bearing | none |
| Gen.6.17 | 15 | מתחת | mi-tachat | from-under | from-under | logic_bearing | none |
| Gen.6.17 | 16 | השמים | ha-shamayim | the-heavens | the-heavens | logic_bearing | none |
| Gen.6.17 | 17 | כל | kol | all | all | logic_bearing | none |
| Gen.6.17 | 18 | אשר | asher | which | which | logic_bearing | none |
| Gen.6.17 | 19 | בארץ | ba-aretz | in-the-earth | in-the-earth | logic_bearing | none |
| Gen.6.17 | 20 | יגוע | yigva | shall-expire | YIGVA_gentle_death_debut | logic_bearing | none |
| Gen.6.18 | 0 | והקמתי | va-haqimoti | and-I-will-establish | BRIT_FIRST_TOKEN_weqatal_promise | logic_bearing | TIR-029 |
| Gen.6.18 | 1 | את | et | obj-marker·et | obj_marker | glue | TIR-008 |
| Gen.6.18 | 2 | בריתי | beriti-y | My-covenant | My-covenant | logic_bearing | none |
| Gen.6.18 | 3 | אתך | et-khe | with-you | with-you-singular | logic_bearing | none |
| Gen.6.18 | 4 | ובאת | u-vata | and-you-shall-come | boarding_weqatal | logic_bearing | none |
| Gen.6.18 | 5 | אל | el | to | to | logic_bearing | none |
| Gen.6.18 | 6 | התבה | ha-teva | the-ark | the-ark | logic_bearing | none |
| Gen.6.18 | 7 | אתה | ata | you | you | logic_bearing | none |
| Gen.6.18 | 8 | ובניך | u-vane-kha | and-your-sons | and-your-sons | logic_bearing | none |
| Gen.6.18 | 9 | ואשתך | ve-isht-kha | and-your-wife | and-your-wife | logic_bearing | none |
| Gen.6.18 | 10 | ונשי | u-neshe | and-wives-of | and-wives-of | logic_bearing | none |
| Gen.6.18 | 11 | בניך | vane-kha | your-sons | your-sons | logic_bearing | none |
| Gen.6.18 | 12 | אתך | et-khe | with-you | with-you | logic_bearing | none |
| Gen.6.19 | 0 | ומכל | u-mi-kal | and-from-all | manifest_opens | logic_bearing | none |
| Gen.6.19 | 1 | החי | ha-chay | the-living | the-living | logic_bearing | none |
| Gen.6.19 | 2 | מכל | mi-kal | from-all | from-all | logic_bearing | none |
| Gen.6.19 | 3 | בשר | basar | flesh | flesh | logic_bearing | none |
| Gen.6.19 | 4 | שנים | shenayim | two | TWO_of_all | logic_bearing | none |
| Gen.6.19 | 5 | מכל | mi-kol | from-all | from-all | logic_bearing | none |
| Gen.6.19 | 6 | תביא | tavi | you-shall-bring | you-shall-bring | logic_bearing | none |
| Gen.6.19 | 7 | אל | el | to | to | logic_bearing | none |
| Gen.6.19 | 8 | התבה | ha-teva | the-ark | the-ark | logic_bearing | none |
| Gen.6.19 | 9 | להחית | le-hachayot | to-keep-alive | LE_HACHAYOT_mission_verb | logic_bearing | none |
| Gen.6.19 | 10 | אתך | et-khe | with-you | with-you | logic_bearing | none |
| Gen.6.19 | 11 | זכר | zakhar | male | MALE_1_27_pair | logic_bearing | none |
| Gen.6.19 | 12 | ונקבה | u-neqeva | and-female | AND_FEMALE_1_27_pair | logic_bearing | none |
| Gen.6.19 | 13 | יהיו | yihyu | they-shall-be | they-shall-be | logic_bearing | none |
| Gen.6.20 | 0 | מהעוף | me-ha-of | from-the-bird | birds_day_5 | logic_bearing | none |
| Gen.6.20 | 1 | למינהו | le-mine-hu | by-its-kind | LE_MINO_taxonomy_1 | logic_bearing | none |
| Gen.6.20 | 2 | ומן | u-min | and-from | and-from | logic_bearing | none |
| Gen.6.20 | 3 | הבהמה | ha-behema | the-livestock | livestock_day_6 | logic_bearing | none |
| Gen.6.20 | 4 | למינה | le-mina-h | by-its-kind | LE_MINO_taxonomy_2 | logic_bearing | none |
| Gen.6.20 | 5 | מכל | mi-kol | from-all | from-all | logic_bearing | none |
| Gen.6.20 | 6 | רמש | remes | creeper-of | creeper_day_6 | logic_bearing | none |
| Gen.6.20 | 7 | האדמה | ha-adama | the-ground | the-ground | logic_bearing | none |
| Gen.6.20 | 8 | למינהו | le-mine-hu | by-its-kind | LE_MINO_taxonomy_3 | logic_bearing | none |
| Gen.6.20 | 9 | שנים | shenayim | two | two | logic_bearing | none |
| Gen.6.20 | 10 | מכל | mi-kol | from-all | from-all | logic_bearing | none |
| Gen.6.20 | 11 | יבאו | yavou | shall-come | SELF_LOADING_shall_come | logic_bearing | TIR-029 |
| Gen.6.20 | 12 | אליך | ele-kha | to-you | to-you | logic_bearing | none |
| Gen.6.20 | 13 | להחיות | le-hachayot | to-keep-alive | to-keep-alive | logic_bearing | none |
| Gen.6.21 | 0 | ואתה | ve-ata | and-you | and-you | logic_bearing | none |
| Gen.6.21 | 1 | קח | qach | take | QACH_second_imperative | logic_bearing | TIR-027 |
| Gen.6.21 | 2 | לך | le-kha | for-yourself | for-yourself | logic_bearing | none |
| Gen.6.21 | 3 | מכל | mi-kal | from-all | from-all | logic_bearing | none |
| Gen.6.21 | 4 | מאכל | maakhal | food | food | logic_bearing | none |
| Gen.6.21 | 5 | אשר | asher | which | which | logic_bearing | none |
| Gen.6.21 | 6 | יאכל | yeakhel | is-eaten | is-eaten-passive | logic_bearing | none |
| Gen.6.21 | 7 | ואספת | ve-asafta | and-you-shall-gather | gather_weqatal | logic_bearing | TIR-029 |
| Gen.6.21 | 8 | אליך | ele-kha | to-you | to-you | logic_bearing | none |
| Gen.6.21 | 9 | והיה | ve-haya | and-it-shall-be | and-it-shall-be | logic_bearing | none |
| Gen.6.21 | 10 | לך | le-kha | for-you | for-you | logic_bearing | none |
| Gen.6.21 | 11 | ולהם | ve-la-hem | and-for-them | and-for-them | logic_bearing | none |
| Gen.6.21 | 12 | לאכלה | le-akhla | for-food | OKHLAH_1_29_food_grant_word | logic_bearing | none |
| Gen.6.22 | 0 | ויעש | va-yaas | and-he-made | VA_YAAS_echo_receipt | logic_bearing | none |
| Gen.6.22 | 1 | נח | nocha | Noach | Noach | logic_bearing | none |
| Gen.6.22 | 2 | ככל | ke-khol | according-to-all | KE_KHOL_the_bundle | logic_bearing | none |
| Gen.6.22 | 3 | אשר | asher | which | which | logic_bearing | none |
| Gen.6.22 | 4 | צוה | tziva | commanded | TZIVAH_first_obeyed | logic_bearing | none |
| Gen.6.22 | 5 | אתו | et-o | him | him | logic_bearing | none |
| Gen.6.22 | 6 | אלהים | Elohim | God | God | logic_bearing | none |
| Gen.6.22 | 7 | כן | ken | so | KEN_doubled | logic_bearing | none |
| Gen.6.22 | 8 | עשה | asa | he-did | ASAH_doubled_close | logic_bearing | none |
Machine verification — run_unit.py (computed live, not stored)
unit: gen_16_ark_spec — The ark spec: the blueprint, the covenant word, the first obeyed command (6:9-22) [frozen]
final state: WORLD=['tevah'] (+1 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install', 'spec_delta']
=== S1 — The header and the walker: after STEP_Gn_6_9
אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ (et-ha-Elohim hithalekh-Noach)
PASS Facts ish_tzaddik_tamim_be_dorotav/et_ha_elohim_hithalekh_noach HOLD (2 facts)
PASS SPECS empty (queue=0)
PASS flags noach as read-before-install. (flagged=['noach'])
=== S2 — The third seeing-mutation flagged: after STEP_Gn_6_12
וְהִנֵּה נִשְׁחָתָה (ve-hinneh nishchatah)
PASS machine flags spec-delta (flags=['read_before_install', 'spec_delta'])
PASS Facts hishchit_kol_basar_et_darko HOLD. (4 facts)
=== S3 — The commission pushed: after STEP_Gn_6_14
עֲשֵׂה לְךָ תֵּבַת (aseh lekha tevat)
PASS LET(aseh(noach, tevah)) pushed and OPEN. (queue=['aseh(noach, tevah)'])
=== S4 — The blueprint stands while the demand waits: after STEP_Gn_6_16
שְׁלֹשׁ מֵאוֹת אַמָּה (shlosh meot amah)
PASS Facts shelosh_meot_amah_orekh/tzohar_la_tevah/tachtiyim_shniyim_u_shlishim HOLD (14 facts)
PASS LET(aseh(noach, tevah)) pushed and OPEN. (queue=['aseh(noach, tevah)'])
=== S5 — The covenant word on the books: after STEP_Gn_6_18
וַהֲקִמֹתִי אֶת־בְּרִיתִי (va-hakimoti et-briti)
PASS Facts va_hakimoti_et_briti_itakh HOLD. (18 facts)
=== S6 — Two demands open — the fullest queue: after STEP_Gn_6_21
וְאַתָּה קַח־לְךָ (ve-atah qach-lekha)
PASS LET(qach(noach, mi_kol_maakhal)) pushed and OPEN (queue=['aseh(noach, tevah)', 'qach(noach, mi_kol_maakhal)'])
PASS LET(aseh(noach, tevah)) pushed and OPEN. (queue=['aseh(noach, tevah)', 'qach(noach, mi_kol_maakhal)'])
=== S7 — The receipt — both popped, the hull installed: after STEP_Gn_6_22
כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים כֵּן עָשָׂה (ke-khol asher tzivah oto Elohim ken asah)
PASS WORLD = {tevah} (created=['tevah'])
PASS SPECS empty. (queue=0)
=== S8_negative — Negative: the machine's ? stays guarded
PASS imperfect-in-command parsed as LET? (question mark kept) (mood=LET?)
PASS auto-upgrade REFUSED (TIR-028: LET? never auto-upgrades to LET — a per-unit judgme...)
PASS upgrade WITH citation allowed (cite=per-unit judgment (owner), TIR-028 resolution)
=== S9_negative — Negative: flags never block
PASS commit proceeded (not blocked) (LEDGER=[99])
PASS pattern deviation FLAGGED (flags=['commit_without_test'])
ALL SCENARIOS GREEN
Python rendering — the unit as a program
#!/usr/bin/env python3
# =============================================================================
# gen_16_ark_spec — 6:9-22
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_16_ark_spec.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.
# =============================================================================
"""The ark spec: the blueprint, the covenant word, the first obeyed command (6:9-22)"""
from machine import Machine
m = Machine("gen_16_ark_spec")
# -------------------------- Gen.6.9 · TOLEDOT_NOACH_THE_WALKER -------------
# אֵלֶּה תּוֹלְדֹת נֹחַ נֹחַ אִישׁ צַדִּיק תָּמִים הָיָה בְּדֹרֹתָיו
# אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ
# "These are the generations of Noah. Noah was in his generations a man
# righteous and whole-hearted; Noah walked with God."
m.step("Gen.6.9")
# ‹אֵלֶּה תּוֹלְדֹת נֹחַ› (“these generations-of Noach”) — section
# generations-Noach: eleh toledot noach — the third generations header
m.section("toledot_noach", "eleh toledot noach — the third generations header")
# ‹אִישׁ צַדִּיק תָּמִים הָיָה בְּדֹרֹתָיו אֶת־הָאֱלֹהִים הִתְהַלֶּךְ־נֹחַ›
# (“man righteous whole was in-his-generations with the-God walked Noach”) —
# fact holds: man-righteous-whole-in-his-generations; with-the-God-walked-
# Noach
m.fact("ish_tzaddik_tamim_be_dorotav",
"et_ha_elohim_hithalekh_noach")
# reads without prior install (flag, not fix): Noach
m.presupposed("noach")
# -------------------------- Gen.6.10 · THREE_SONS_RESTATED -----------------
# וַיּוֹלֶד נֹחַ שְׁלֹשָׁה בָנִים אֶת־שֵׁם אֶת־חָם וְאֶת־יָפֶת
# "And Noah begot three sons, Shem, Ham, and Japheth."
m.step("Gen.6.10")
# ‹וַיּוֹלֶד נֹחַ שְׁלֹשָׁה בָנִים אֶת־שֵׁם אֶת־חָם וְאֶת־יָפֶת› (“and-he-
# begot Noach three sons obj-marker Shem obj-marker Cham and-obj-marker
# Yafet”) — event: beget — agent Noach; theme Shem, Cham, Yafet
m.event("beget", agent="noach", themes=["shem", "cham", "yafet"])
# -------------------------- Gen.6.11 · EARTH_CORRUPTED_FILLED --------------
# וַתִּשָּׁחֵת הָאָרֶץ לִפְנֵי הָאֱלֹהִים וַתִּמָּלֵא הָאָרֶץ חָמָס
# "And the earth was corrupt before God, and the earth was filled with
# violence."
m.step("Gen.6.11")
# ‹וַתִּשָּׁחֵת הָאָרֶץ לִפְנֵי הָאֱלֹהִים› (“and-was-corrupted the-earth
# before the-God”) — event: corrupt — theme the-earth
m.event("corrupt", themes=["ha_aretz"])
# ‹וַתִּמָּלֵא הָאָרֶץ חָמָס› (“and-was-filled the-earth violence”) — fact
# holds: and-was-filled-the-earth-violence
m.fact("va_timale_ha_aretz_chamas")
# -------------------------- Gen.6.12 · THIRD_SEEING_BEHOLD_CORRUPTED -------
# וַיַּרְא אֱלֹהִים אֶת־הָאָרֶץ וְהִנֵּה נִשְׁחָתָה כִּי־הִשְׁחִית
# כָּל־בָּשָׂר אֶת־דַּרְכּוֹ עַל־הָאָרֶץ
# "And God saw the earth, and, behold, it was corrupt; for all flesh had
# corrupted their way upon the earth."
m.step("Gen.6.12")
# ‹וַיַּרְא אֱלֹהִים אֶת־הָאָרֶץ› (“and-He-saw God obj-marker the-earth”) —
# event: see — agent God; theme the-earth
m.event("see", agent="Elohim", themes=["ha_aretz"])
# ‹וְהִנֵּה נִשְׁחָתָה› (“and-behold corrupted”) — spec-delta — spec said
# and-He-saw God with-all-which make and-behold good very — and behold, very
# good (1:31, frozen day 6), delivery says and-He-saw God with-the-earth
# and-behold was-corrupted — and behold, CORRUPTED (6:12)
m.spec_delta("va-yar Elohim et-kol-asher asah ve-hinneh tov meod — and behold, very good (1:31, frozen day 6)",
"va-yar Elohim et-ha-aretz ve-hinneh nishchatah — and behold, CORRUPTED (6:12)")
# ‹כִּי־הִשְׁחִית כָּל־בָּשָׂר אֶת־דַּרְכּוֹ› (“for had-corrupted all flesh
# obj-marker its-way”) — fact holds: had-corrupted-all-flesh-with-its-way
m.fact("hishchit_kol_basar_et_darko")
# -------------------------- Gen.6.13 · END_DECREE_SPOKEN_TO_NOACH ----------
# וַיֹּאמֶר אֱלֹהִים לְנֹחַ קֵץ כָּל־בָּשָׂר בָּא לְפָנַי כִּי־מָלְאָה
# הָאָרֶץ חָמָס מִפְּנֵיהֶם וְהִנְנִי מַשְׁחִיתָם אֶת־הָאָרֶץ
# "And God said unto Noah: 'The end of all flesh is come before Me; for the
# earth is filled with violence through them; and, behold, I will destroy
# them with the earth.'"
m.step("Gen.6.13")
# ‹וַיֹּאמֶר אֱלֹהִים לְנֹחַ› (“and-He-said God to-Noach”) — event: say —
# agent God; theme Noach
m.event("say", agent="Elohim", themes=["noach"])
# ‹קֵץ כָּל־בָּשָׂר בָּא לְפָנַי … וְהִנְנִי מַשְׁחִיתָם אֶת־הָאָרֶץ› (“end-
# of all flesh has-come before-Me … and-behold-Me destroying-them with the-
# earth”) — fact holds: end-of-all-flesh-has-come-before-Me; behold-I-
# destroying-them-with-the-earth
m.fact("qetz_kol_basar_ba_lefanai",
"hineni_mashchitam_et_ha_aretz")
# -------------------------- Gen.6.14 · COMMISSION_MAKE_THE_ARK -------------
# עֲשֵׂה לְךָ תֵּבַת עֲצֵי־גֹפֶר קִנִּים תַּעֲשֶׂה אֶת־הַתֵּבָה וְכָפַרְתָּ
# אֹתָהּ מִבַּיִת וּמִחוּץ בַּכֹּפֶר
# "Make thee an ark of gopher wood; with rooms shalt thou make the ark, and
# shalt pitch it within and without with pitch."
m.step("Gen.6.14")
# ‹עֲשֵׂה לְךָ תֵּבַת עֲצֵי־גֹפֶר› (“make for-yourself ark-of woods-of
# gofer”) — God speaks a demand — LET: make(Noach, ark)
m.declare("Elohim", "LET",
"aseh(noach, tevah)")
# ‹קִנִּים תַּעֲשֶׂה אֶת־הַתֵּבָה וְכָפַרְתָּ אֹתָהּ … בַּכֹּפֶר› (“rooms
# you-shall-make with the-ark and-you-shall-pitch it … with-the-pitch”) —
# fact holds: ark-of-wood-of-gofer-rooms; and-you-shall-pitch-has-come-pitch
m.fact("tevat_atzei_gofer_qinim",
"ve_khafarta_ba_kofer")
# -------------------------- Gen.6.15 · BLUEPRINT_DIMENSIONS ----------------
# וְזֶה אֲשֶׁר תַּעֲשֶׂה אֹתָהּ שְׁלֹשׁ מֵאוֹת אַמָּה אֹרֶךְ הַתֵּבָה
# חֲמִשִּׁים אַמָּה רָחְבָּהּ וּשְׁלֹשִׁים אַמָּה קוֹמָתָהּ
# "And this is how thou shalt make it: the length of the ark three hundred
# cubits, the breadth of it fifty cubits, and the height of it thirty
# cubits."
m.step("Gen.6.15")
# ‹שְׁלֹשׁ מֵאוֹת אַמָּה אֹרֶךְ … חֲמִשִּׁים אַמָּה רָחְבָּהּ וּשְׁלֹשִׁים
# אַמָּה קוֹמָתָהּ› (“three hundred cubit length-of … fifty cubit its-width
# and-thirty cubit its-height”) — fact holds: three-hundred-cubit-length-of;
# fifty-cubit-its-width; thirty-cubit-its-height
m.fact("shelosh_meot_amah_orekh",
"chamishim_amah_rochbah",
"sheloshim_amah_qomatah")
# -------------------------- Gen.6.16 · BLUEPRINT_LIGHT_DOOR_DECKS ----------
# צֹהַר תַּעֲשֶׂה לַתֵּבָה וְאֶל־אַמָּה תְּכַלֶנָּה מִלְמַעְלָה וּפֶתַח
# הַתֵּבָה בְּצִדָּהּ תָּשִׂים תַּחְתִּיִּם שְׁנִיִּם וּשְׁלִשִׁים
# תַּעֲשֶׂהָ
# "A light shalt thou make to the ark, and to a cubit shalt thou finish it
# upward; and the door of the ark shalt thou set in the side thereof; with
# lower, second, and third stories shalt thou make it."
m.step("Gen.6.16")
# ‹צֹהַר … וּפֶתַח הַתֵּבָה בְּצִדָּהּ … תַּחְתִּיִּם שְׁנִיִּם
# וּשְׁלִשִׁים› (“a-light … and-door-of the-ark in-its-side … lower second
# and-third”) — fact holds: a-light-to-ark; door-opening-has-come-its-side;
# lower-second-decks-and-third-decks
m.fact("tzohar_la_tevah",
"petach_ba_tzidah",
"tachtiyim_shniyim_u_shlishim")
# -------------------------- Gen.6.17 · FLOOD_ANNOUNCED ---------------------
# וַאֲנִי הִנְנִי מֵבִיא אֶת־הַמַּבּוּל מַיִם עַל־הָאָרֶץ לְשַׁחֵת
# כָּל־בָּשָׂר אֲשֶׁר־בּוֹ רוּחַ חַיִּים מִתַּחַת הַשָּׁמָיִם כֹּל
# אֲשֶׁר־בָּאָרֶץ יִגְוָע
# "And I, behold, I do bring the flood of waters upon the earth, to destroy
# all flesh, wherein is the breath of life, from under heaven; every thing
# that is in the earth shall perish."
m.step("Gen.6.17")
# ‹וַאֲנִי הִנְנִי מֵבִיא אֶת־הַמַּבּוּל … כֹּל אֲשֶׁר־בָּאָרֶץ יִגְוָע›
# (“and-I behold-Me bringing obj-marker the-flood … all which in-the-earth
# shall-expire”) — fact holds: behold-I-bringing-with-the-flood-waters; all-
# which-has-come-earth-shall-expire
m.fact("hineni_mevi_et_ha_mabul_mayim",
"kol_asher_ba_aretz_yigva")
# -------------------------- Gen.6.18 · COVENANT_PROMISED_BOARDING_LIST -----
# וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתָּךְ וּבָאתָ אֶל־הַתֵּבָה אַתָּה וּבָנֶיךָ
# וְאִשְׁתְּךָ וּנְשֵׁי־בָנֶיךָ אִתָּךְ
# "But I will establish My covenant with thee; and thou shalt come into the
# ark, thou, and thy sons, and thy wife, and thy sons' wives with thee."
m.step("Gen.6.18")
# ‹וַהֲקִמֹתִי אֶת־בְּרִיתִי אִתָּךְ וּבָאתָ אֶל־הַתֵּבָה› (“and-I-will-
# establish obj-marker My-covenant with-you and-you-shall-come to the-ark”)
# — fact holds: and-I-will-establish-with-My-covenant-with-you; and-you-
# shall-come-to-the-ark-you-and-your-sons
m.fact("va_hakimoti_et_briti_itakh",
"u_vata_el_ha_tevah_atah_u_vanekha")
# -------------------------- Gen.6.19 · MANIFEST_TWO_OF_ALL -----------------
# וּמִכָּל־הָחַי מִכָּל־בָּשָׂר שְׁנַיִם מִכֹּל תָּבִיא אֶל־הַתֵּבָה
# לְהַחֲיֹת אִתָּךְ זָכָר וּנְקֵבָה יִהְיוּ
# "And of every living thing of all flesh, two of every sort shalt thou
# bring into the ark, to keep them alive with thee; they shall be male and
# female."
m.step("Gen.6.19")
# ‹שְׁנַיִם מִכֹּל תָּבִיא … זָכָר וּנְקֵבָה יִהְיוּ› (“two from-all you-
# shall-bring … male and-female they-shall-be”) — fact holds: two-from-all-
# you-shall-bring-to-the-ark; male-and-female-they-shall-be
m.fact("shnayim_mi_kol_tavi_el_ha_tevah",
"zakhar_u_nekevah_yihyu")
# -------------------------- Gen.6.20 · MANIFEST_BY_KINDS_SELF_LOADING ------
# מֵהָעוֹף לְמִינֵהוּ וּמִן־הַבְּהֵמָה לְמִינָהּ מִכֹּל רֶמֶשׂ הָאֲדָמָה
# לְמִינֵהוּ שְׁנַיִם מִכֹּל יָבֹאוּ אֵלֶיךָ לְהַחֲיוֹת
# "Of the fowl after their kind, and of the cattle after their kind, of
# every creeping thing of the ground after its kind, two of every sort shall
# come unto thee, to keep them alive."
m.step("Gen.6.20")
# ‹מֵהָעוֹף לְמִינֵהוּ … שְׁנַיִם מִכֹּל יָבֹאוּ אֵלֶיךָ› (“from-the-bird
# by-its-kind … two from-all shall-come to-you”) — fact holds: to-its-kind-
# manifest-bird-livestock-creeper-of
m.fact("le_minehu_manifest_of_behemah_remes")
# -------------------------- Gen.6.21 · SECOND_IMPERATIVE_PROVISIONS --------
# וְאַתָּה קַח־לְךָ מִכָּל־מַאֲכָל אֲשֶׁר יֵאָכֵל וְאָסַפְתָּ אֵלֶיךָ
# וְהָיָה לְךָ וְלָהֶם לְאָכְלָה
# "And take thou unto thee of all food that is eaten, and gather it to thee;
# and it shall be for food for thee, and for them.'"
m.step("Gen.6.21")
# ‹וְאַתָּה קַח־לְךָ מִכָּל־מַאֲכָל אֲשֶׁר יֵאָכֵל› (“and-you take for-
# yourself from-all food which is-eaten”) — God speaks a demand — LET:
# take(Noach, from-all-food)
m.declare("Elohim", "LET",
"qach(noach, mi_kol_maakhal)")
# ‹וְהָיָה לְךָ וְלָהֶם לְאָכְלָה› (“and-it-shall-be for-yourself and-for-
# them for-food”) — fact holds: and-was-to-you-and-to-them-to-food
m.fact("ve_hayah_lekha_ve_lahem_le_akhlah")
# -------------------------- Gen.6.22 · THE_RECEIPT_BOTH_POPPED -------------
# וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים כֵּן עָשָׂה
# "Thus did Noah; according to all that God commanded him, so did he."
m.step("Gen.6.22")
# ‹וַיַּעַשׂ נֹחַ› (“and-he-made Noach”) — event: make — agent Noach; theme
# ark
m.event("make", agent="noach", themes=["tevah"])
# ‹וַיַּעַשׂ נֹחַ כְּכֹל אֲשֶׁר צִוָּה› (“and-he-made Noach according-to-all
# which commanded”) — the world gains: ark
m.install("tevah")
# ‹כְּכֹל אֲשֶׁר צִוָּה אֹתוֹ אֱלֹהִים› (“according-to-all which commanded
# him God”) — demand settled (popped from the queue): make(Noach, ark)
m.result("aseh(noach, tevah)", tmark="t2")
# ‹כֵּן עָשָׂה› (“so he-did”) — demand settled (popped from the queue):
# take(Noach, from-all-food)
m.result("qach(noach, mi_kol_maakhal)", tmark="t2")
# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
m.report()
assert m.created_set() == {'tevah'}
assert m.presupposed_set() == {'noach'}
assert m.REGISTRY["names"] == {}
assert m.REGISTRY["writes"] == 0
assert m.tests_list() == []
assert m.open_demands() == []
assert len(m.SPECS["log"]) == 2
assert sorted(m.LEDGER) == []
assert m.flag_counts() == {'read_before_install': 1, 'spec_delta': 1}
assert sorted(m.WORLD["facts"]) == sorted(['ish_tzaddik_tamim_be_dorotav', 'et_ha_elohim_hithalekh_noach', 'va_timale_ha_aretz_chamas', 'hishchit_kol_basar_et_darko', 'qetz_kol_basar_ba_lefanai', 'hineni_mashchitam_et_ha_aretz', 'tevat_atzei_gofer_qinim', 've_khafarta_ba_kofer', 'shelosh_meot_amah_orekh', 'chamishim_amah_rochbah', 'sheloshim_amah_qomatah', 'tzohar_la_tevah', 'petach_ba_tzidah', 'tachtiyim_shniyim_u_shlishim', 'hineni_mevi_et_ha_mabul_mayim', 'kol_asher_ba_aretz_yigva', 'va_hakimoti_et_briti_itakh', 'u_vata_el_ha_tevah_atah_u_vanekha', 'shnayim_mi_kol_tavi_el_ha_tevah', 'zakhar_u_nekevah_yihyu', 'le_minehu_manifest_of_behemah_remes', 've_hayah_lekha_ve_lahem_le_akhlah'])
assert m.WORLD["invariants"] == []
assert m.WORLD["partitions"] == []
assert len(m.EVENTS) == 10
print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")