Babel: come, let us build — come, let Us go down (11:1-9) FROZEN

unit gen_25_babel · Genesis 11:1-9 · derive logic_derived_v1 · phase C-25
⇄ verse view — this span in the scroll (trees + morphology)  ·  ☰ all derived units

הָבָה נִבְנֶה־לָּנוּ עִיר — הָבָה נֵרְדָה וְנָבְלָה שָׁם שְׂפָתָם · havah nivneh-lanu ir — havah nerdah ve-navlah sham sefatam · 'Come, let us build us a city' — 'Come, let Us go down and confuse there their lip'

REVIEW PASSED and FROZEN 2026-08-03 by the main loop: the mood-split verified independently (the DB tags all six council verbs cohortative; the ?-guard on nivneh/naaseh rests, correctly, on gen_06's frozen form-class rule — final-heh verbs show no distinct cohortative — plus the 1:26 precedent itself; pen-nafutz is plain imperfect and rightly a FACT); the navlah/balal root-identity lemma-verified (settled cycle #5 confirmed); YHWH x5 / Elohim zero confirmed; saphah/davar/am/rea/migdal/yarad/chalal/havah careers and the sevenfold shem-sham count re-run; the five-open end-state and the no-install ruling ratified as letter-faithful; glossing airtight; nothing invented. Derived 2026-08-03 by the second-generation derivation agent (freeze-after-review by the main loop — no agent freeze); its third unit, seventh under the PIPELINE + DEBUT-MAP process, and its LAST before planned succession. Precedents pulled verbatim before drafting: gen_06's 1:26 council ('naaseh — TIR-033 CMD-US — CODED IMPERFECT (final-heh verbs show no distinct cohortative form) — TIR-028's mandatory ? applies: CMD-US?'; its demand popped by delivery: 'HOLDS(make(adam), spec=b_tzelem_k_demut, t2) — receipt by delivery alone'), gen_19's seeing-without-judging ('VA-YAR VE-HINNEH — the week's inspection verb with NO verdict-word'), gen_09's and gen_24's PATTERN classes (the al-ken 'therefore' formula's practice- and saying-etiologies), gen_24's report-naming rule (no NAME op without the va-yiqra formula), gen_13's open-forever human demand, and the echo-receipt RESULT class. Calibrated coverage (charter 4.1): Onkelos read Tier-A at derive time (9 sequential fetches, Data/FETCHLOG.md — the buffer turns the descent into a REVEALING and the neutral seeing into PUNISHING, keeps the council-plural, keeps the bavel/balbel pun doubled, LEVELS the lip/tongue sibling-split, temporalizes the east, and rhymes the cessation with the nothing-withheld assessment through one Aramaic root); trees from the DB's stored tree_json. TWENTY-FIRST PROSPECTIVE MIDDOT RUN (logic/middot_scan/WATCHLIST_gen25_prospective_2026-08-03.md): cache holds ZERO sources for Gen 11:1-9 — NINETEENTH tripwire in a row. INTERPRETER: ZERO extensions — sixteenth extension-free derivation candidate in a row.
Logic-derived v1: v3 ta'amim trees (from DB tree_json) -> leaf role frames from OSHB morph -> operator lines citing TIR rules -> machine-state scenarios. Machine tokens apostrophe-free and underscore-joined (naaseh(lanu_shem), navlah(sham_sefatam), va_yachdelu_livnot_ha_ir).
ORAL AUDIT — crowns (chain-attested + DB-verified): ORAL AUDIT 2026-08-08 (retro, oral-first era; manifest logic/oral_audit/manifests/gen_25_babel_claims.json — 10 VERIFIED, 0 FAILED, 0 UNCHECKABLE; record logic/oral_audit/AUDIT_gen_25_2026-08-08.md). CROWNS (chain-attested, DB-verified): (1) G25-01 the three unseeables: לראת ("to see") — plene throughout the Torah EXCEPT THREE defective (the Ramah): the land that cannot BE SEEN under the locusts (Exod 10:5), God's descent TO SEE the tower (11:5), "you cannot SEE My face" (Exod 33:20) — SNAPSHOT exactly those three: a trio about the limits of seeing, each missing a letter. (2) G25-02 tranquility in the finals: איש אל רעהו הבה ("each to his fellow: come!") — the final letters spell שלוה ("tranquility"): "from excess tranquility they sinned" (Kitzur Baal HaTurim). (3) G25-03 בנסעם ("as they journeyed") — Babel's migration (11:2) and the camp leaving Sinai (Num 10:34), the word's only two tokens: "like a child running from school; they journeyed from the Ancient One of the world." (4) G25-05 ויחדלו ("and they ceased") — the building ceased (11:8) and the sounds-and-hail ceased (Exod 9:33): "these too were judged with sounds and hail" — the only two tokens. (5) G25-04 ויפץ ("and He scattered") — Babel (11:8) and Egypt's straw-scattering (Exod 5:12); the Kitzur's third leg (Saul's scattering people, I Sam 13:8) an inheritance edge. (6) G25-06/07 two singletons with prophetic legs: ודברים ("and words," 11:1 — only Torah token; pairs with Ecclesiastes' many words, 5:6) and לאבן ("for stone," 11:3 — only Torah token; pairs with Nabal's stone heart, I Sam 25:37: "harder to them than death was a falling brick"). (7) G25-08 Ben Asher confirmation #3: the maarikh (lengthening stroke) on וימצאו ("and they found," 11:2), locked at the codepoint level. (8) G25-09/10 the soft bet of בשמים ("in the heavens," 11:4); the dotted bet of בני האדם ("the sons of man," 11:5). DISCREPANCIES: none. INHERITANCE EDGES (attested; Torah side verified, inheritor wording pending): Gen 11:4 → Jeremiah 51:9 (the tower's head in the heavens / Babylon's judgment "reaching to the skies"); Gen 11:6 → Jeremiah 51:12 (the nothing-withheld resolve, read back against Babylon); Gen 11:8 → Jeremiah 51:20-24 (the scattering into the shatter-litany); Gen 11:9 → Zephaniah 3:9 (the confusion REVERSED: "then I will turn to the peoples a PURE speech" — the un-Babel: the span's crown edge); the Samuel and Ecclesiastes legs ride as verified claims. READINGS (named-only, unclaimed): שפה אחת ("one speech") — letter-value equals לשון הקדש ("the holy tongue"; Kitzur 11:1, letter-arithmetic class); Chizkuni's pointing notes on לאבן and החלם ("their beginning") — pronunciation class, no letter at stake.
confidence: structure tested; operator readings tested-per-TIR; intent hypothesis

Derivation log (steps A–J)

stepnamecommentconfidence
ABlock choiceBabel (11:1-9): the ring between the nations table (10:32's scattered nations get their how) and Shem's toledot ('generations') ledger at 11:10 — the next unit's seam. Inside: the one-lip opening (11:1), the journey east to Shinar (11:2), the first human council-speech — brick and burn (11:3), the second — city, tower, name, and the fear (11:4), the descent to see (11:5), the assessment (11:6), the mirrored counter-council (11:7), the scatter and the ceasing (11:8), and the name-etiology (11:9). The unit ends with four human demands standing open over an abandoned build, one divine demand popped by its own verb, and one still open — the letter records one descent only.established
BHebrew source + treesAll 9 verses from DB tree_json (rule set v3, unique, pure binary; ascii rendered 2026-08-03). Tree facts: 11:1 [the etnachta (major mid-verse rest) splits ONE LIP | ONE WORDS — the two oneness-claims get one arm each]; 11:2 [as they journeyed from the east | found a valley in Shinar, settled there]; 11:3 [the speech to the etnachta — come, let us brick and burn | the narrator's substitution-report: brick for stone, bitumen for mortar]; 11:4 [city, tower, head-in-the-heavens, name (etnachta) | the FEAR gets the closing arm: lest we scatter]; 11:5 [YHWH descended to see city and tower (etnachta) | which the sons of the humankind had built]; 11:6 [one people, one lip, this they begin (etnachta) | now nothing they plan will be withheld]; 11:7 [come, let Us descend and confuse there their lip (etnachta) | that they hear not each his fellow's lip]; 11:8 [YHWH scattered them over all the earth (etnachta) | and they CEASED building the city — the abandonment is the closing arm]; 11:9 [therefore its name Bavel, for THERE YHWH confused the lip of all the earth (etnachta) | and from THERE He scattered them — the etiology's two grounds, one arm each].tested
CSegment structureVerb morphology (#IMPOSED OSHB, DB-verified 2026-08-03); survey complete via the debut map (48 flagged lemmas in 121 tokens), careers and precedents pulled before drafting. THE MIRRORED GRAMMAR [morphology-verified]: HAVAH ('come!') — Torah tokens 1-3 ALL in-span, human x2 then divine x1; token 9 = Exodus 1:10, Pharaoh's 'come, let us deal wisely' — the Torah's next havah-conspiracy is against Israel. SIX COHORTATIVES ('let-us' forms, coded Vqh1cp): four human (nilbenah 'let us brick', ve-nisrefah 'let us burn', nivneh 'let us build', ve-naaseh 'let us make'), two divine (nerdah 'let Us descend', ve-navlah 'let Us confuse') — and 11:4's verb is NAASEH ITSELF, 1:26's council-verb in human mouths [letter fact]. YHWH-ONLY span (x5; Elohim ZERO) — the counter-span to gen_22's Elohim-only covenant. YARAD ('descend') — the descend-verb's TORAH DEBUT is God's descent (11:5); token 2 the divine cohortative; token 3 = 12:10 (Abram down to Egypt); token 5 = 18:21's eradah-na ('let Me go down') at SODOM — the inspection-descent recurs. THE FEAR ANSWERED VERBATIM [internal arc, inside one unit]: PUTZ ('scatter') tokens 2-4 — 11:4's pen-nafutz ('LEST we be scattered'), 11:8's va-yafetz (the execution), 11:9's hefitzam (the summary); token 1 = 10:18 (frozen gen_24 staged it as 'the verb Babel fears and receives' — LANDS). More staged bridges land: QEDEM ('east') token 4 = 11:2; SHINAR token 2 = 11:2; BAVEL token 2 = 11:9 (closing 10:10's name-before-story bracket); CHALAL ('begin') token 5 = 11:6's hachillam ('this they BEGIN to do' — the threshold-chain complete: 4:26, 6:1, 9:20, 10:8, 11:6). DEBUT-FIELD: DAVAR ('word/thing', 256 tokens) debuts in devarim achadim ('one words' — the plural oddity held); AM ('people', 445 tokens) debuts in GOD'S assessment (hen am echad); REA ('fellow/neighbor', 52 tokens — the commandments' word) debuts x2 (the conspiracy's each-to-his-fellow; the confusion's target); NASA ('journey') debuts at 11:2 (token 2 = 12:9, Abram); ZAMAM ('plan') — two Torah tokens: here and Deut 19:19's scheming witness; MIGDAL ('tower') — the Torah's ONLY two tower-tokens (11:4, 11:5); CHADAL ('cease') debuts at 11:8 (token 2 = 18:11, Sarah's ceased way); BATZAR ('be withheld') debuts in lo yibatzer. THE MATERIALS RERUN AT EGYPT [career facts]: LEVENAH ('brick') tokens 1-2 here, tokens 3-8 ALL the slavery (Exod 1:14; 5:7-19); CHOMER ('mortar') token 2 = Exod 1:14; CHEMAR ('bitumen') token 2 = the Siddim pits (14:10), token 3 = MOSES' ARK (Exod 2:3); the letter's own substitution-structure: brick FOR stone, bitumen FOR mortar. BALAL ('confuse') debuts with the BAVEL pun (tokens 1-2; bavel/balal) — tokens 3+ are the offerings MIXED with oil (belulot ba-shemen, Exod 29:2 on): the tongue-confuser becomes the Sanctuary's mixing-word [career crown]. SAPHAH ('lip') tokens 1-5 all in-span (x5) — the staged sibling-split vs the table's LASHON; token 6 = 22:17, the SEASHORE'S lip in the oath-blessing. ECHAD ('one') x4 (one lip, one words, one people, one lip). THE SHEM/SHAM SOUNDPLAY [census-verified]: shem ('name') x2 + sham ('there') x5 = SEVEN sh-m tokens in nine verses — and the name-seekers stand one verse after the SHEM section (10:21-31) [letter fact, held]. BANAH ('build') tokens 5-7 (cohortative, perfect, ceased infinitive) — the chain: rib, Cain's city, altar, Ninveh, BABEL; IR ('city') tokens 5-7. HA-ADAM ('the humankind') is the builders' only name (11:5) — the subjects of 11:2-4 are suspended until God's inspection names the species [letter fact]. NO date in span.tested
DPredicates & outcomesThe story is a grammar trap sprung twice: humankind borrows the divine council's let-us to build a name against scattering, and heaven answers in the borrowed grammar — then grants the exact verb they feared. The letter keeps every symmetry visible: one lip in verse one, one people in God's mouth; havah against havah; the descent that only SEES set against a speech that only assesses; the project that ceases mid-verse; and a name-etiology that files the whole story under its own pun. The machine's asymmetries are the letter's: the human demands never pop (the corpus's first abandoned project), the divine confuse-demand pops by its own root (the fifth settled cycle), the divine descend-demand finds no second descent-deed, and nothing installs — the chain's builds were all finished things; this one the text refuses to finish.tested
ELogic format choiceOperator lines; NO ledger row. THE HUMAN COUNCIL-DEMANDS [decision recorded, precedents quoted]: the corpus's FIRST HUMAN CMD-US pushes — gen_06's class ('naaseh — TIR-033 CMD-US — CODED IMPERFECT... TIR-028's mandatory ?: CMD-US?'). The mood-mark follows the FORM: the -ah-marked cohortatives (nilbenah, nisrefah; the divine nerdah, navlah) are morph-CODED volitives — TIR-033's plain CMD-US, no ambiguity, no ?; the two final-heh verbs (nivneh, NAASEH — 1:26's own verb with 1:26's own form-problem) carry gen_06's exact ambiguity — CMD-US? [the split recorded; both precedent-anchored]. Speaker ish_el_reehu ('each to his fellow') — the letter's own collective. RECEIPTS: the four human demands get NONE — the letter kills the project: 11:8's cessation held as FACT and the queue left OPEN (gen_13's open-forever class; NO interpreter extension for abandoned projects — the open queue plus the cessation-fact IS the state [decision recorded]); 11:5's banu ('they had built') is the inspection's background relative clause, NOT a receipt [decision recorded]; 11:3b's substitution-report is a material-fact, not a deed-receipt. THE DIVINE COUNTER-COUNCIL: same shape, DECLARE(YHWH, CMD-US(..)) x2; the confuse-demand POPS at 11:9 by the echo-receipt class (gen_16/17/20: the demand's own root returns as deed — navlah -> balal): RESULT 'HOLDS(navlah(sham_sefatam), t2)' — SETTLED CYCLE #5 (the confuse-cycle, joining make / aseh+qach / bo / tze+hotze); the descend-demand has NO second descent-deed in the letter — it stays OPEN [letter-honest; the chain notices; named-only]. THE DESCENT (11:5): EVENT with NO TEST — gen_19's class quoted ('the week's inspection verb with NO verdict-word: seeing without judging') [Onkelos inserts the verdict the letter withheld — dual-track]. THE SCATTER (11:8): EVENT + the cessation FACT (CHADAL debut). THE NAMING (11:9): PATTERN (the al-ken formula's THIRD genre — practice 2:24, saying 10:9, NAME here; gen_09's and gen_24's encodings quoted) + facts for the ki-clause grounds; NO NAME op — KARA is a bare perfect with an indefinite subject, no va-yiqra formula (gen_24's report-naming rule quoted) [decision recorded]. INSTALL DECISION [recorded]: the city and tower do NOT install — every install precedent (city, ark, altar, vineyard, the Ninveh four) is a COMPLETED build; 11:8's cessation leaves this one unfinished: the corpus's first abandoned project stays out of WORLD. NO TIME_ANCHOR. NOTE_PRESUPPOSED: shinar (known geography — gen_08's eden class; 10:10's token is a prose echo, no cross-wall receipt). Interpreter extensions: NONE.established
FBilingual logic objectsEvery operator line carries he + he_translit + en. Machine tokens apostrophe-free: kol_ha_aretz_safah_echat_u_devarim_achadim, be_nasam_mi_qedem, nilbenah(levenim), nisrefah(li_serefah), va_tehi_lahem_ha_levenah_le_aven, nivneh(ir_u_migdal), naaseh(lanu_shem), pen_nafutz_al_pnei_khol_ha_aretz, asher_banu_bnei_ha_adam, hen_am_echad_ve_safah_achat_le_khulam, nerdah(sham), navlah(sham_sefatam), va_yachdelu_livnot_ha_ir, al_ken_kara_shemah_bavel, ki_sham_balal_yhwh_sefat_kol_ha_aretz.established
GOral (named only) + Tier-A translation checkNamed but NOT read (cache: zero for Gen 11:1-9 — NINETEENTH tripwire; gen_25 Tier-A queue): Bavli Sanhedrin 109a ('Bavli' = Babylonian Talmud; the division-generation — parties and fates); Bavli Chullin 89a; Bereshit Rabbah 38 (the span; the brick-over-man mourning); Rashi at 11:1 (one lip — the holy tongue), 11:5 (the descent — to teach judges), 11:7 (the plural — He and His court), 11:9 (the measure against the flood-generation's). Tier-A Onkelos (9 fetches, FETCHLOG 2026-08-03): THE DESCENT BECOMES A REVEALING AND THE SEEING BECOMES PUNISHING [find-class] — va-yered YHWH lirot -> 'the LORD WAS REVEALED to EXACT PUNISHMENT upon the DEEDS of the city and tower': the anthropomorphism dodged, the letter's withheld verdict INSERTED (gen_19's seeing-without-judging is exactly what the buffer refuses), the buildings turned to deeds — the machine's no-TEST stands on the letter; dual-track, flagged. The divine cohortative re-voiced with the reveal-verb (havu NITGELI, 'come, let us be revealed') but the COUNCIL-PLURAL KEPT (u-nevalbel, 'let Us confuse'). The bavel/balal pun survives DOUBLED (balal -> BALBEL — the name's letters twice); but SAPHAH ('lip') -> LISHAN throughout: the lip/tongue sibling-split LEVELED to the table's tongue-word; devarim achadim -> mamlal chad ('one SPEECH' — the plural oddity smoothed). MI-QEDEM ('from the east') -> BE-KADMEITA ('AT FIRST') — geography temporalized, the Eden-to-Babel east-line invisible; Shinar -> 'the land of BABEL' again; the materials recast (nirmei 'let us CAST' bricks; be-nura 'in FIRE'; shia 'plaster'); the tower's head 'reaching to THE TOP OF the heavens' (the hyperbole measured). THE CESSATION BECOMES A RESTRAINT rhymed with the assessment: va-yachdelu ('they ceased') -> u-menau ('they were RESTRAINED') — the same m-n-a root the buffer gave 11:6's lo yibatzer ('nothing will be withheld' -> la yitmena): one Aramaic root where the letter has two verbs — a buffer-side arc the letter does not draw (flagged).tested
HScenariosS1 one lip, one words. S2 the journey east (one read-flag: shinar). S3 the substitution-facts hold (the first human council pushed). S4 the two ?-demands pushed and open (city-tower; the name). S5 the descent: the built-so-far fact holds, NO test. S6 the assessment-facts hold. S7 the counter-council: the ?-moods untouched. S8 the scatter and the cessation-fact. S9 the etiology: the pattern and the grounds hold, the confuse-demand popped (queue 5 open). S10_negative: CMD-US? contract guard; S11_negative: flag-never-block.tested
IEnglish leakage reviewOperators derive from morph codes (the six Vqh1cp cohortatives and the mood-split by form-class; the pen-clause held as fear-fact, not demand; the bare-perfect kara vs the va-yiqra formula; zero imperatives beyond the havah come-particles) and the complete debut-map survey plus precedent pulls run BEFORE drafting (saphah / lashon / balal / havah / yarad / putz / qedem / shinar / bavel / chalal / davar / am / rea / nasa / zamam / migdal / chadal / batzar / levenah / chomer / chemar / saraf / banah / ir / echad / shem-sham careers; the YHWH-only scan). NOT supplied: why the descent, the holy-tongue identification, the judges-teaching, the He-and-His-court plural, the measure against the flood-generation, what the tower was FOR — every one [OPEN] or named-only; the buffer's inserted verdict and its restraint-rhyme stay dual-track.established
JPre-flight (draft; freeze is the main loop's)Pre-flight 2026-08-03 against the UNMODIFIED repo interpreter — zero injected prototypes; GREEN (9/9 steps, 11/11 scenarios). Delivered status DRAFT — review and freeze stay with the main loop (freeze-after-review; the agent never freezes; succession after this unit).established

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

STEP_Gn_11_1 · Gen.11.1 · ONE_LIP_ONE_WORDS

וַיְהִי כָל־הָאָרֶץ שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים · va-yehi khol-ha-aretz safah echat u-devarim achadim · [EN-AID/JPS] And the whole earth was of one language and of one speech.

LEFT
ויהי כל הארץ שפה אחת · va-yehi khol-ha-aretz safah echat · and all the earth was ONE LIP (etnachta arm)
RIGHT
ודברים אחדים · u-devarim achadim · and ONE WORDS (the plural oddity — its own arm)
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(kol_ha_aretz_safah_echat_u_devarim_achadim, t1)
= HOLDS(all-the-earth-safah-one-and-words-one, t1)
The opening state: SAPHAH ('lip/language') — Torah token 1 of five, ALL five in this span (the table used the SIBLING lashon, 'tongue' — the staged split; token 6 = 22:17, the seashore's lip in the oath-blessing). DAVAR ('word/thing') — the word-word's Torah debut (256 tokens), in the odd plural DEVARIM ACHADIM ('one words') [letter fact, held; the chain's readings named-only; Onkelos smooths to 'one speech' — dual-track]. ECHAD ('one') opens its span-run of four. 		כָל־הָאָרֶץ שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים · khol-ha-aretz safah echat u-devarim achadim
= all-the-earth safah one words one		—tested
The story starts from the state every conspiracy needs: everyone can talk to everyone.

STEP_Gn_11_2 · Gen.11.2 · THE_JOURNEY_EAST_TO_SHINAR

וַיְהִי בְּנָסְעָם מִקֶּדֶם וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר וַיֵּשְׁבוּ שָׁם · va-yehi be-nasam mi-qedem va-yimtzeu viqah be-eretz Shinar va-yeshvu sham · [EN-AID/JPS] And it came to pass, as they journeyed east, that they found a plain in the land of Shinar; and they dwelt there.

LEFT
ויהי בנסעם מקדם · va-yehi be-nasam mi-qedem · as they journeyed from the east (etnachta arm)
RIGHT
וימצאו בקעה בארץ שנער וישבו שם · va-yimtzeu viqah be-eretz Shinar va-yeshvu sham · they found a valley in the land of Shinar and settled THERE
operatorexpressionHebrew anchorcitesconfidence
PRECONDITION_STATEHOLDS(be_nasam_mi_qedem, t1)
= HOLDS(in-nasam-from-east, t1)
NASA ('journey') — Torah debut (token 2 = 12:9, Abram journeying on); MI-QEDEM ('from the east') — QEDEM token 4: Eden planted mi-qedem (2:8), the cherubim stationed mi-qedem (3:24), the east-mountain (10:30), now the drift INTO Shinar — frozen gen_24's staged bridge LANDS [Onkelos temporalizes: 'AT FIRST' — the east-line invisible; dual-track]. 		בְּנָסְעָם מִקֶּדֶם · be-nasam mi-qedem
= in-nasam east		—tested
EVENTfind(e1) ∧ Theme(e1, viqah_be_eretz_shinar)
= find(e1) ∧ Theme(e1, viqah-in-earth-Shinar)
AGENTLESS by the letter's own design: the subjects of 11:2-4 are never named — 'the humankind' arrives only at 11:5, in God's inspection [letter fact, held]. SHINAR token 2 (the second staged bridge lands; 10:10 gave the kingdom's beginning there). 		וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר · va-yimtzeu viqah be-eretz Shinar
= and-yimtzeu viqah earth Shinar		—tested
EVENTsettle(e2) ∧ Theme(e2, sham)
= settle(e2) ∧ Theme(e2, there)
'And they settled THERE' — SHAM ('there') begins its span-run of five, against SHEM ('name') x2: SEVEN sh-m tokens in nine verses [the soundplay census-verified; letter fact]. 		וַיֵּשְׁבוּ שָׁם · va-yeshvu sham
= they-settled there		—tested
NOTE_PRESUPPOSEDshinar are READ without prior install (known geography — gen_08s eden class; 10:10s token is a prose echo, no cross-wall receipt)
= Shinar are READ without prior install (known geography — gen-08s Eden class; 10:10s token is a prose echo, no cross-wall receipt)
flag, not fix		——tested
An anonymous everyone drifts east and finds the flat place where the first kingdom already had its beginning.

STEP_Gn_11_3 · Gen.11.3 · COME_LET_US_BRICK

וַיֹּאמְרוּ אִישׁ אֶל־רֵעֵהוּ הָבָה נִלְבְּנָה לְבֵנִים וְנִשְׂרְפָה לִשְׂרֵפָה וַתְּהִי לָהֶם הַלְּבֵנָה לְאָבֶן וְהַחֵמָר הָיָה לָהֶם לַחֹמֶר · va-yomru ish el-reehu havah nilbenah levenim ve-nisrefah li-serefah va-tehi lahem ha-levenah le-aven ve-ha-chemar hayah lahem la-chomer · [EN-AID/JPS] And they said one to another: 'Come, let us make brick, and burn them thoroughly.' And they had brick for stone, and slime had they for mortar.

LEFT
ויאמרו איש אל רעהו הבה נלבנה לבנים ונשרפה לשרפה · va-yomru ish el-reehu havah nilbenah levenim ve-nisrefah li-serefah · each said to his fellow: COME, let us brick bricks and burn them burning (etnachta arm)
RIGHT
ותהי להם הלבנה לאבן והחמר היה להם לחמר · va-tehi lahem ha-levenah le-aven ve-ha-chemar hayah lahem la-chomer · and the brick was for them STONE, and the bitumen was for them MORTAR
operatorexpressionHebrew anchorcitesconfidence
EVENTspeak(e3) ∧ Agent(e3, ish_el_reehu)
= speak(e3) ∧ Agent(e3, man-to-reehu)
THE FIRST HUMAN COUNCIL-SPEECH: HAVAH ('come!') — Torah token 1 (tokens 1-3 all in-span; token 9 = Exodus 1:10, Pharaoh's 'come, let us deal wisely': the next havah-conspiracy is against Israel). REA ('fellow/neighbor') — the commandments' neighbor-word debuts inside the conspiracy's ish el-reehu ('each to his fellow') [letter facts]. 		וַיֹּאמְרוּ אִישׁ אֶל־רֵעֵהוּ הָבָה · va-yomru ish el-reehu havah
= say man to-reehu havah		—tested
DECLAREDECLARE(ish_el_reehu, CMD-US(nilbenah(levenim)))
= DECLARE(man-to-reehu, CMD-US(nilbenah(bricks)))
THE CORPUS'S FIRST HUMAN CMD-US [decision recorded, precedent quoted]: gen_06 held 1:26's divine council as 'CMD-US?' because 'naaseh — CODED IMPERFECT (final-heh verbs show no distinct cohortative form) — TIR-028's mandatory ? applies'. NILBENAH is -ah-MARKED — a morph-coded volitive (Vqh): TIR-033's plain CMD-US, no ambiguity, no ? [the mood-split by form recorded]. LEVENAH ('brick') tokens 1-2 — tokens 3-8 are ALL Egypt's slavery bricks (Exod 1:14; 5:7-19): the material debuts at Babel and reruns at the bondage [career fact]. 		נִלְבְּנָה לְבֵנִים · nilbenah levenim
= nilbenah bricks		TIR-033tested
DECLAREDECLARE(ish_el_reehu, CMD-US(nisrefah(li_serefah)))
= DECLARE(man-to-reehu, CMD-US(nisrefah(to-me-serefah)))
The second demand: 'let us BURN them a BURNING' — SARAF ('burn') debuts at the brick-firing (the cognate doubling is the letter's own). Like every human demand in this unit, NO receipt verse will ever pop it — the project is killed at 11:8 [gen_13's open-forever class; the letter's abandoned state]. 		וְנִשְׂרְפָה לִשְׂרֵפָה · ve-nisrefah li-serefah
= and-nisrefah to-me-serefah		TIR-033tested
PRECONDITION_STATEHOLDS(va_tehi_lahem_ha_levenah_le_aven, t1) ∧ HOLDS(ve_ha_chemar_hayah_lahem_la_chomer, t1)
= HOLDS(and-be-to-them-the-levenah-to-stone, t1) ∧ HOLDS(and-the-bitumen-was-to-them-to-mortar, t1)
The narrator's SUBSTITUTION-REPORT held as material-facts, NOT deed-receipts [decision recorded]: brick FOR stone, bitumen FOR mortar — the letter's own lahem...le- structure. CHEMAR ('bitumen') token 1 — token 2 the Siddim pits (14:10), token 3 MOSES' ARK (Exod 2:3: the waterproofing that built Babel saves the deliverer); CHOMER ('mortar') token 2 = Exod 1:14 [career facts; Onkelos recasts — cast-bricks, fire, plaster; dual-track]. 		וַתְּהִי לָהֶם הַלְּבֵנָה לְאָבֶן וְהַחֵמָר הָיָה לָהֶם לַחֹמֶר · va-tehi lahem ha-levenah le-aven ve-ha-chemar hayah lahem la-chomer
= be to-them the-levenah stone bitumen was to-them mortar		—tested
The conspiracy begins as a materials order: substitute technology for geology, and the neighbor-word is born taking minutes.

STEP_Gn_11_4 · Gen.11.4 · CITY_TOWER_NAME_AND_FEAR

וַיֹּאמְרוּ הָבָה נִבְנֶה־לָּנוּ עִיר וּמִגְדָּל וְרֹאשׁוֹ בַשָּׁמַיִם וְנַעֲשֶׂה־לָּנוּ שֵׁם פֶּן־נָפוּץ עַל־פְּנֵי כָל־הָאָרֶץ · va-yomru havah nivneh-lanu ir u-migdal ve-rosho va-shamayim ve-naaseh-lanu shem pen-nafutz al-pnei khol-ha-aretz · [EN-AID/JPS] And they said: 'Come, let us build us a city, and a tower, with its top in heaven, and let us make us a name; lest we be scattered abroad upon the face of the whole earth.'

LEFT
ויאמרו הבה נבנה לנו עיר ומגדל וראשו בשמים ונעשה לנו שם · va-yomru havah nivneh-lanu ir u-migdal ve-rosho va-shamayim ve-naaseh-lanu shem · come, let us build us a city and a tower, head in the heavens — and make us a NAME (etnachta arm)
RIGHT
פן נפוץ על פני כל הארץ · pen-nafutz al-pnei khol-ha-aretz · LEST WE BE SCATTERED over the face of all the earth (the fear gets the closing arm)
operatorexpressionHebrew anchorcitesconfidence
EVENTspeak(e4) ∧ Agent(e4, ish_el_reehu)
= speak(e4) ∧ Agent(e4, man-to-reehu)
The second council-speech — HAVAH token 2: the same come-particle, the project scaled from bricks to a world-anchor [letter fact]. 		וַיֹּאמְרוּ הָבָה · va-yomru havah
= say havah		—tested
DECLAREDECLARE(ish_el_reehu, CMD-US?(nivneh(ir_u_migdal)))
= DECLARE(man-to-reehu, CMD-US?(nivneh(a-city-and-a-tower)))
NIVNEH is a FINAL-HEH verb — gen_06's exact form-problem ('final-heh verbs show no distinct cohortative form'): TIR-028's mandatory ? applies — CMD-US? [the mood-split by form; precedent quoted]. BANAH ('build') token 5 — the chain: the rib (2:22), Cain's city, the altar, Ninveh, now BABEL; IR ('city') token 5; MIGDAL ('tower') — the Torah's ONLY two tower-tokens are this project's (11:4, 11:5); the head-in-the-heavens hyperbole held as fact below. 		נִבְנֶה־לָּנוּ עִיר וּמִגְדָּל וְרֹאשׁוֹ בַשָּׁמַיִם · nivneh-lanu ir u-migdal ve-rosho va-shamayim
= nivneh-lanu a-city a-tower and-rosho heavens		TIR-028tested
DECLAREDECLARE(ish_el_reehu, CMD-US?(naaseh(lanu_shem)))
= DECLARE(man-to-reehu, CMD-US?(naaseh(lanu-a-name)))
THE LETTER'S SHARPEST MIRROR: the verb is NAASEH ITSELF — 1:26's council-verb ('let US make man'), same verb, same final-heh form, same CMD-US? mood-mark — now in human mouths making a NAME (gen_06's encoding matched exactly; the divine deliberation-grammar borrowed) [letter fact]. SHEM ('name') — and the name-seekers stand ONE VERSE after the SHEM section (10:21-31): the brother's name is the word they crave [letter fact, held; the demand never pops — the name they get is BAVEL, the narrator's, not theirs: the irony is the letter's, held in prose]. 		וְנַעֲשֶׂה־לָּנוּ שֵׁם · ve-naaseh-lanu shem
= and-naaseh-lanu a-name		TIR-028tested
PRECONDITION_STATEHOLDS(ve_rosho_va_shamayim, t1) ∧ HOLDS(pen_nafutz_al_pnei_khol_ha_aretz, t1)
= HOLDS(and-rosho-and-heavens, t1) ∧ HOLDS(lest-we-be-scattered-over-face-of-all-the-earth, t1)
The tower's head in the heavens, and THE FEAR held as fact, not demand [decision recorded: pen ('lest') + imperfect is a fear-clause]: PEN-NAFUTZ ('lest we be SCATTERED') — PUTZ token 2; token 1 was 10:18's Canaanite spread (frozen gen_24: 'the verb Babel fears and receives' — landing); the fear will be granted VERBATIM at 11:8 [internal arc, inside this unit]. 		וְרֹאשׁוֹ בַשָּׁמַיִם … פֶּן־נָפוּץ עַל־פְּנֵי כָל־הָאָרֶץ · ve-rosho va-shamayim … pen-nafutz al-pnei khol-ha-aretz
= and-rosho heavens lest-we-be-scattered over-face-of all-the-earth		—tested
The demand escalates to heaven's floor and a name of their own — with the whole story's ending already stated as the thing they fear.

STEP_Gn_11_5 · Gen.11.5 · THE_DESCENT_TO_SEE

וַיֵּרֶד יְהוָה לִרְאֹת אֶת־הָעִיר וְאֶת־הַמִּגְדָּל אֲשֶׁר בָּנוּ בְּנֵי הָאָדָם · va-yered YHWH lirot et-ha-ir ve-et-ha-migdal asher banu bnei ha-adam · [EN-AID/JPS] And the LORD came down to see the city and the tower, which the children of men builded.

LEFT
וירד יהוה לראת את העיר ואת המגדל · va-yered YHWH lirot et-ha-ir ve-et-ha-migdal · and YHWH DESCENDED to SEE the city and the tower (etnachta arm)
RIGHT
אשר בנו בני האדם · asher banu bnei ha-adam · which the sons of the HUMANKIND had built
operatorexpressionHebrew anchorcitesconfidence
EVENTdescend(e5) ∧ Agent(e5, YHWH) ∧ Theme(e5, lirot_et_ha_ir_ve_et_ha_migdal)
= descend(e5) ∧ Agent(e5, the-LORD) ∧ Theme(e5, lirot-obj-marker·et-the-a-city-and-obj-marker·et-the-a-tower)
YARAD ('descend') — the descend-verb's TORAH DEBUT is GOD'S descent, aimed by a purpose-infinitive at SEEING — and NO verdict-word follows: gen_19's class quoted ('the week's inspection verb with NO verdict-word: seeing without judging') — NO TEST [decision recorded; Onkelos turns the descent into a REVEALING and the seeing into PUNISHING — the withheld verdict inserted by the buffer; dual-track, flagged]. Token 3 = 12:10 (Abram down to Egypt); token 5 = 18:21's 'let Me go down' at Sodom — the inspection-descent recurs. The span is YHWH-ONLY (x5; Elohim ZERO) — the counter-span to gen_22's Elohim-only covenant [letter fact]. 		וַיֵּרֶד יְהוָה לִרְאֹת · va-yered YHWH lirot
= He-descended the-LORD lirot		—tested
PRECONDITION_STATEHOLDS(asher_banu_bnei_ha_adam, t1)
= HOLDS(which-they-built-sons-of-the-humankind, t1)
The built-so-far, held as BACKGROUND fact — a relative clause, NOT a receipt for the build-demand [decision recorded: the demand stays open; the project dies unfinished at 11:8]. BANAH token 6. And the builders finally get a name — BNEI HA-ADAM ('the sons of the humankind'): the species-word, withheld through 11:2-4, granted by the inspection [letter fact]. 		אֲשֶׁר בָּנוּ בְּנֵי הָאָדָם · asher banu bnei ha-adam
= which they-built sons-of humankind		—tested
Heaven's answer begins as pure looking: the tower that wanted the heavens gets a visitor from them, and the anonymous builders get only their species for a name.

STEP_Gn_11_6 · Gen.11.6 · ONE_PEOPLE_THE_ASSESSMENT

וַיֹּאמֶר יְהוָה הֵן עַם אֶחָד וְשָׂפָה אַחַת לְכֻלָּם וְזֶה הַחִלָּם לַעֲשׂוֹת וְעַתָּה לֹא־יִבָּצֵר מֵהֶם כֹּל אֲשֶׁר יָזְמוּ לַעֲשׂוֹת · va-yomer YHWH hen am echad ve-safah achat le-khulam ve-zeh hachillam la-asot ve-atah lo-yibatzer mehem kol asher yazmu la-asot · [EN-AID/JPS] And the LORD said: 'Behold, they are one people, and they have all one language; and this is what they begin to do; and now nothing will be withholden from them, which they purpose to do.'

LEFT
ויאמר יהוה הן עם אחד ושפה אחת לכלם וזה החלם לעשות · va-yomer YHWH hen am echad ve-safah achat le-khulam ve-zeh hachillam la-asot · behold: ONE PEOPLE, ONE LIP for them all — and this is their BEGINNING (etnachta arm)
RIGHT
ועתה לא יבצר מהם כל אשר יזמו לעשות · ve-atah lo-yibatzer mehem kol asher yazmu la-asot · and now nothing they PLAN to do will be withheld from them
operatorexpressionHebrew anchorcitesconfidence
EVENTspeak(e6) ∧ Agent(e6, YHWH) ∧ Theme(e6, hen_am_echad)
= speak(e6) ∧ Agent(e6, the-LORD) ∧ Theme(e6, behold-people-one)
The divine assessment opens: AM ('people') — the people-word's TORAH DEBUT (445 tokens) is God naming this crowd ONE PEOPLE; the one-lip claim of 11:1 re-sounded in His mouth [letter fact]. 		וַיֹּאמֶר יְהוָה הֵן עַם אֶחָד · va-yomer YHWH hen am echad
= say the-LORD behold people one		—tested
PRECONDITION_STATEHOLDS(hen_am_echad_ve_safah_achat_le_khulam, t1) ∧ HOLDS(ve_zeh_hachillam_la_asot, t1) ∧ HOLDS(lo_yibatzer_mehem_kol_asher_yazmu, t1)
= HOLDS(behold-people-one-and-safah-one-to-khulam, t1) ∧ HOLDS(and-this-hachillam-to-do, t1) ∧ HOLDS(not-will-be-withheld-mehem-all-which-they-plan, t1)
Three assessment-facts: the oneness; HACHILLAM ('their BEGINNING') — CHALAL token 5, completing the staged threshold-chain (4:26 calling begun, 6:1 multiplying, 9:20 the vineyard, 10:8 Nimrod's might, here the city); and LO-YIBATZER ('nothing will be WITHHELD') — BATZAR's debut, with ZAMAM ('plan') — two Torah tokens: here and Deut 19:19's scheming witness [letter facts; Onkelos will rhyme this withheld-verb with 11:8's cessation — a buffer-side arc, dual-track]. 		הֵן עַם אֶחָד … וְזֶה הַחִלָּם לַעֲשׂוֹת … לֹא־יִבָּצֵר מֵהֶם · hen am echad … ve-zeh hachillam la-asot … lo-yibatzer mehem
= behold people one this hachillam do not-will-be-withheld mehem		—tested
The assessment states the machine's own premise back at it: one lip is capability, and capability unbounded.

STEP_Gn_11_7 · Gen.11.7 · THE_MIRRORED_COUNTER_COUNCIL

הָבָה נֵרְדָה וְנָבְלָה שָׁם שְׂפָתָם אֲשֶׁר לֹא יִשְׁמְעוּ אִישׁ שְׂפַת רֵעֵהוּ · havah nerdah ve-navlah sham sefatam asher lo yishmeu ish sefat reehu · [EN-AID/JPS] 'Come, let us go down, and there confound their language, that they may not understand one another's speech.'

LEFT
הבה נרדה ונבלה שם שפתם · havah nerdah ve-navlah sham sefatam · COME, let Us descend and confuse THERE their lip (etnachta arm)
RIGHT
אשר לא ישמעו איש שפת רעהו · asher lo yishmeu ish sefat reehu · that they hear not, each, his fellow's lip
operatorexpressionHebrew anchorcitesconfidence
DECLAREDECLARE(YHWH, CMD-US(nerdah(sham)))
= DECLARE(the-LORD, CMD-US(nerdah(there)))
THE GRAMMAR MIRRORED [letter fact]: the SAME havah (token 3) + cohortative shape as the human speeches, now from heaven — the speech continues 11:6's saying (one va-yomer; no new speech-event). NERDAH ('let Us descend') — -ah-marked volitive: plain CMD-US (TIR-033). THE LETTER RECORDS NO SECOND DESCENT-DEED: this demand never pops — it stands OPEN [letter-honest; the chain notices the single descent; named-only; Onkelos re-voices with the reveal-verb but KEEPS the council-plural — dual-track]. 		הָבָה נֵרְדָה · havah nerdah
= havah nerdah		TIR-033tested
DECLAREDECLARE(YHWH, CMD-US(navlah(sham_sefatam)))
= DECLARE(the-LORD, CMD-US(navlah(there-sefatam)))
NAVLAH ('let Us CONFUSE') — BALAL's Torah token 1, the confuse-verb born as a divine demand; its own root will return as deed at 11:9 (the echo-receipt) — tokens 3+ are the offerings MIXED with oil (belulot ba-shemen, Exod 29:2 on): the tongue-confuser becomes the Sanctuary's mixing-word [career crown]. The purpose-clause turns the neighbor-word (REA token 2) from the conspiracy's address into the confusion's casualty: 'that they hear not, each, his fellow's lip' [letter fact]. 		וְנָבְלָה שָׁם שְׂפָתָם · ve-navlah sham sefatam
= and-navlah there sefatam		TIR-033tested
Heaven quotes the conspiracy back at itself — same come, same let-us — and aims it at the one thing the conspiracy ran on.

STEP_Gn_11_8 · Gen.11.8 · THE_SCATTER_AND_THE_CEASING

וַיָּפֶץ יְהוָה אֹתָם מִשָּׁם עַל־פְּנֵי כָל־הָאָרֶץ וַיַּחְדְּלוּ לִבְנֹת הָעִיר · va-yafetz YHWH otam mi-sham al-pnei khol-ha-aretz va-yachdelu livnot ha-ir · [EN-AID/JPS] So the LORD scattered them abroad from thence upon the face of all the earth; and they left off to build the city.

LEFT
ויפץ יהוה אתם משם על פני כל הארץ · va-yafetz YHWH otam mi-sham al-pnei khol-ha-aretz · and YHWH SCATTERED them from there over the face of all the earth (etnachta arm)
RIGHT
ויחדלו לבנת העיר · va-yachdelu livnot ha-ir · and they CEASED building the city (the abandonment is the closing arm)
operatorexpressionHebrew anchorcitesconfidence
EVENTscatter(e7) ∧ Agent(e7, YHWH) ∧ Theme(e7, mi_sham_al_pnei_khol_ha_aretz)
= scatter(e7) ∧ Agent(e7, the-LORD) ∧ Theme(e7, from-there-over-face-of-all-the-earth)
THE FEAR GRANTED VERBATIM [internal arc, one unit]: PUTZ token 3 executes 11:4's pen-nafutz in the same words — al-pnei khol-ha-aretz ('over the face of all the earth') — the thing they built against, delivered BY the building [letter fact]. 		וַיָּפֶץ יְהוָה אֹתָם מִשָּׁם · va-yafetz YHWH otam mi-sham
= He-scattered the-LORD otam there		—tested
PRECONDITION_STATEHOLDS(va_yachdelu_livnot_ha_ir, t1)
= HOLDS(and-yachdelu-livnot-the-a-city, t1)
THE CORPUS'S FIRST ABANDONED PROJECT, held as the CESSATION-FACT [decision recorded]: CHADAL ('cease') debuts here (token 2 = 18:11, Sarah's ceased way); BANAH token 7 (the ceased infinitive). NO INSTALL [decision recorded]: every install precedent — city, ark, altar, vineyard, the Ninveh four — is a COMPLETED build; this one the letter stops mid-verse: the city and tower stay OUT of WORLD, and the four human demands stay OPEN above this fact — the machine's abandoned state is exactly the letter's [Onkelos: 'they were RESTRAINED from building' — the cessation rhymed with 11:6's withheld-verb by one Aramaic root; buffer-side arc, dual-track]. 		וַיַּחְדְּלוּ לִבְנֹת הָעִיר · va-yachdelu livnot ha-ir
= and-yachdelu livnot a-city		—tested
The ending is a bookkeeping horror: the demands never close, the building never finishes, and the fear clause executes as written.

STEP_Gn_11_9 · Gen.11.9 · THE_NAME_ETIOLOGY_AND_THE_ECHO

עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל כִּי־שָׁם בָּלַל יְהוָה שְׂפַת כָּל־הָאָרֶץ וּמִשָּׁם הֱפִיצָם יְהוָה עַל־פְּנֵי כָּל־הָאָרֶץ · al-ken kara shemah Bavel ki-sham balal YHWH sefat kol-ha-aretz u-mi-sham hefitzam YHWH al-pnei khol-ha-aretz · [EN-AID/JPS] Therefore was the name of it called Babel; because the LORD did there confound the language of all the earth; and from thence did the LORD scatter them abroad upon the face of all the earth.

LEFT
על כן קרא שמה בבל כי שם בלל יהוה שפת כל הארץ · al-ken kara shemah Bavel ki-sham balal YHWH sefat kol-ha-aretz · THEREFORE its name Bavel — for THERE YHWH CONFUSED the lip of all the earth (etnachta arm)
RIGHT
ומשם הפיצם יהוה על פני כל הארץ · u-mi-sham hefitzam YHWH al-pnei khol-ha-aretz · and from THERE YHWH scattered them over the face of all the earth
operatorexpressionHebrew anchorcitesconfidence
RESULTHOLDS(navlah(sham_sefatam), t2)
= HOLDS(navlah(there-sefatam), t2)
THE ECHO-RECEIPT (gen_16/17/20's class): the divine confuse-demand's OWN ROOT returns as deed — navlah ('let Us confuse') -> BALAL ('He confused'), qal to qal, inside the naming's ki-clause: the demand pops — SETTLED CYCLE #5, the confuse-cycle (joining make, aseh+qach, bo, tze+hotze) [decision recorded; gen_06's own council-demand popped by delivery — the mechanics mirrored]. 		כִּי־שָׁם בָּלַל יְהוָה שְׂפַת כָּל־הָאָרֶץ · ki-sham balal YHWH sefat kol-ha-aretz
= for-there He-confused the-LORD lip-of all-the-earth		—tested
PATTERNPATTERN(al_ken_kara_shemah_bavel)
= PATTERN(over-so-kara-shemah-Babel)
THE AL-KEN ('therefore') FORMULA'S THIRD GENRE [precedents quoted]: gen_09's practice-etiology ('PATTERN(azav(ish, av_ve_em) ∧ davak(ish, be_ishto) ∧ hayu(basar_echad))'), gen_24's saying-etiology (10:9's proverb), now a NAME-etiology — standing, untriggered, addressed to no one. NO NAME op [decision recorded]: KARA is a bare perfect with an indefinite subject ('one called') — no va-yiqra ('and-he-called') narrative formula: gen_24's report-naming rule holds; the REGISTRY takes nothing. BAVEL token 2 closes 10:10's name-before-story bracket; the pun BAVEL/BALAL is the etiology's engine [letter fact; Onkelos keeps it doubled — balbel; dual-track]. The name they wanted (11:4) and the name they got: the letter's whole irony in one formula [held in prose]. 		עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל · al-ken kara shemah Bavel
= over-so kara shemah Bavel		—tested
PRECONDITION_STATEHOLDS(ki_sham_balal_yhwh_sefat_kol_ha_aretz, t1) ∧ HOLDS(u_mi_sham_hefitzam_yhwh, t1)
= HOLDS(for-there-He-confused-yhwh-lip-of-all-the-earth, t1) ∧ HOLDS(and-from-there-hefitzam-yhwh, t1)
The etiology's two grounds as facts: THERE He confused the lip of all the earth (SAPHAH token 5 — the lip-word's span-run closes; token 6 is 22:17's seashore); from THERE He scattered them (PUTZ token 4; SHAM tokens close the sevenfold shem/sham soundplay) [letter facts]. 		כִּי־שָׁם בָּלַל … וּמִשָּׁם הֱפִיצָם · ki-sham balal … u-mi-sham hefitzam
= for-there He-confused there hefitzam		—tested
The narrator files the ruin under its own pun: the city of the name gets a name that means the end of understanding — and the ledger closes with the confusion received and the descent still open.

State machine

Babel (standalone; registers: TIME/WORLD/REGISTRY/SPECS/TESTS/LEDGER).
statemeaning
S_bootBefore 11:1 — all registers empty (standalone unit)
S_one_lipAfter 11:1 — the one-lip/one-words state holds
S_shinarAfter 11:2 — the eastward journey-facts; found and settled (agentless — the letter's suspended subject); shinar flagged as read
S_brick_councilAfter 11:3 — the corpus's FIRST HUMAN CMD-US demands pushed (brick, burn — plain volitives); the substitution-facts hold; queue 2 open
S_name_councilAfter 11:4 — the city-tower and make-us-a-name demands pushed (CMD-US? — gen_06's final-heh class, naaseh itself); the fear-fact held; queue 4 open
S_descentAfter 11:5 — the descend-to-see event fired, NO TEST (gen_19's class); the built-so-far background fact; the builders named only as the humankind
S_assessmentAfter 11:6 — the divine speech: one-people/beginning/nothing-withheld facts hold
S_counter_councilAfter 11:7 — the mirrored divine CMD-US pair pushed (descend, confuse); queue 6 open
S_scatteredAfter 11:8 — the scatter executed (the fear granted verbatim); the cessation-fact holds; NO install — the abandoned build
S_namedAfter 11:9 — the confuse-demand POPPED by its own root (settled cycle #5); the al-ken name-PATTERN standing; queue ends 5 open
fromtovia
S_bootS_one_lipSTEP_Gn_11_1
S_one_lipS_shinarSTEP_Gn_11_2
S_shinarS_brick_councilSTEP_Gn_11_3
S_brick_councilS_name_councilSTEP_Gn_11_4
S_name_councilS_descentSTEP_Gn_11_5
S_descentS_assessmentSTEP_Gn_11_6
S_assessmentS_counter_councilSTEP_Gn_11_7
S_counter_councilS_scatteredSTEP_Gn_11_8
S_scatteredS_namedSTEP_Gn_11_9
AFTER_S_named — TIME: t0 EMPTY; one mark (t2 — the echo-receipt's timestamp). WORLD: ZERO installs — the city and tower are the corpus's FIRST ABANDONED PROJECT: every install precedent was a completed build, and 11:8 stops this one mid-verse [decision recorded] — plus 1 presupposed (shinar, known geography). Standing facts (12): the one-lip/one-words opening, the eastward journey, the two substitution-facts (brick for stone, bitumen for mortar — material-facts, not receipts), the head-in-the-heavens and the FEAR (pen-nafutz — answered verbatim at 11:8: an internal arc, closed inside the unit), the built-so-far background clause, the three assessment-facts (one people; the begin-threshold's fifth token; nothing-withheld), the cessation (chadal's debut over the unfinished city), and the etiology's two grounds (there He confused; from there He scattered). PATTERN (1): al_ken_kara_shemah_bavel — the therefore-formula's THIRD genre (practice 2:24, saying 10:9, NAME here); NO registry write (bare-perfect kara, no va-yiqra formula — gen_24's rule). SPECS: SIX demands pushed, ONE popped, FIVE OPEN at rest — the four human council-demands (brick, burn, city-tower, make-us-a-name: the corpus's first human CMD-US family, mood-marked by form — two plain volitives, two CMD-US? on gen_06's final-heh class including naaseh itself) stand letter-faithfully open over the cessation-fact (no receipt verses exist; the project is killed, not delivered), and the divine DESCEND-demand stays open (the letter records no second descent-deed); the divine CONFUSE-demand popped at 11:9 by its own root returning as deed (navlah -> balal) — SETTLED CYCLE #5, the confuse-cycle. TESTS: EMPTY — the descent SEES and never judges (gen_19's class; the buffer inserts the verdict, the letter does not). REGISTRY: ZERO writes. LEDGER: EMPTY. EVENTS: seven narrative (find, settle, speak x3, descend, scatter) + six declares + one result. FLAGS (1): read_before_install x1 (shinar). The machine ends mid-ruin by design: a queue nothing will ever pop, a build nothing will ever finish, and a standing name that files the whole state under CONFUSION.

Scenarios (the unit's own test suite)

idtitlegivenexpectanchor
S1One lip, one words: after STEP_Gn_11_1All registers empty (standalone unit).Facts safah-echat HOLD; SPECS empty.
= Facts safah-one HOLD; SPECS empty.		שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים · safah echat u-devarim achadim
= safah one words one
S2The journey east, the suspended subject: after STEP_Gn_11_2S1 state.flags shinar as read-before-install; Facts mi-qedem HOLD.
= flags Shinar as read-before-install; Facts from-east HOLD.		וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר · va-yimtzeu viqah be-eretz Shinar
= and-yimtzeu viqah earth Shinar
S3The first human council, the substitution-facts: after STEP_Gn_11_3S2 state.Facts levenah-le-aven HOLD; Facts chemar-la-chomer HOLD.
= Facts levenah-to-stone HOLD; Facts bitumen-to-mortar HOLD.		הָבָה נִלְבְּנָה לְבֵנִים · havah nilbenah levenim
= havah nilbenah bricks
S4The name-demands pushed and open: after STEP_Gn_11_4S3 state.CMD-US?(nivneh(ir_u_migdal)) pushed and OPEN; CMD-US?(naaseh(lanu_shem)) pushed and OPEN.
= CMD-US?(nivneh(a-city-and-a-tower)) pushed and OPEN; CMD-US?(naaseh(lanu-a-name)) pushed and OPEN.		וְנַעֲשֶׂה־לָּנוּ שֵׁם · ve-naaseh-lanu shem
= and-naaseh-lanu a-name
S5The descent sees, no verdict: after STEP_Gn_11_5S4 state.Facts asher-banu-bnei-ha-adam HOLD; no test, no name.
= Facts which-they-built-sons-of-the-humankind HOLD; no test, no name.		וַיֵּרֶד יְהוָה לִרְאֹת · va-yered YHWH lirot
= He-descended the-LORD lirot
S6The assessment-facts hold: after STEP_Gn_11_6S5 state.Facts am-echad HOLD; Facts lo-yibatzer HOLD.
= Facts people-one HOLD; Facts not-will-be-withheld HOLD.		הֵן עַם אֶחָד וְשָׂפָה אַחַת לְכֻלָּם · hen am echad ve-safah achat le-khulam
= behold people one and-safah one to-khulam
S7The counter-council, the ?-moods untouched: after STEP_Gn_11_7S6 state.CMD-US?(naaseh(lanu_shem)) mood remains CMD-US?.
= CMD-US?(naaseh(lanu-a-name)) mood remains CMD-US?.		הָבָה נֵרְדָה וְנָבְלָה שָׁם שְׂפָתָם · havah nerdah ve-navlah sham sefatam
= havah nerdah and-navlah there sefatam
S8The fear granted, the build abandoned: after STEP_Gn_11_8S7 state.Facts va-yachdelu-livnot HOLD.
= Facts and-yachdelu-livnot HOLD.		וַיַּחְדְּלוּ לִבְנֹת הָעִיר · va-yachdelu livnot ha-ir
= and-yachdelu livnot a-city
S9The etiology stands, the echo received: after STEP_Gn_11_9S8 state.Facts pattern-kara-bavel HOLD; Facts sham-balal-yhwh HOLD.
= Facts pattern-kara-Babel HOLD; Facts there-He-confused-yhwh HOLD.		עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל · al-ken kara shemah Bavel
= over-so kara shemah Bavel
S10_negativeNegative: the machine's ? stays guardedA synthetic CMD-US? demand (the machine's own contract self-test).CMD-US? never auto-upgrades: resolution without citation must REFUSE; with a per-unit citation it may resolve — entries pop demands; nothing but citation moves a mood.נַעֲשֶׂה · naaseh
= naaseh
S11_negativeNegative: flags never blockA 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)

idcontent
EXPORT_first_human_cmd_usהָבָה נִבְנֶה־לָּנוּ … וְנַעֲשֶׂה־לָּנוּ שֵׁם · havah nivneh-lanu … ve-naaseh-lanu shem · the corpus's FIRST HUMAN CMD-US demands — gen_06's council class in human mouths, and 11:4's verb is NAASEH ITSELF (1:26's 'let US make', same verb, same final-heh form-problem, same CMD-US? mood-mark); the mood-split by form recorded (the -ah-marked volitives plain CMD-US per TIR-033; the final-heh pair CMD-US? per TIR-028); HAVAH ('come!') tokens 1-3 all in-span — human, human, DIVINE: the grammar mirrored from heaven — and token 9 is Exodus 1:10, Pharaoh's 'come, let us deal wisely': the Torah's next havah-conspiracy is against Israel
EXPORT_abandoned_projectוַיַּחְדְּלוּ לִבְנֹת הָעִיר · va-yachdelu livnot ha-ir · the corpus's FIRST ABANDONED PROJECT: four human demands stand open forever over a cessation-fact (CHADAL 'cease' debuts; gen_13's open-forever class; no interpreter extension — the open queue plus the fact IS the letter's state); NO install (every install precedent was a COMPLETED build — city, ark, altar, vineyard, the Ninveh four; this build the letter stops mid-verse); the fear granted VERBATIM inside one unit — 11:4's pen-nafutz ('lest we be scattered') executed word-for-word at 11:8 (putz tokens 2-3; token 1 was 10:18's staged debut) [internal arc]; MIGDAL ('tower') — the Torah's only two tower-tokens are this ruin's
EXPORT_confuse_cycle_settledוְנָבְלָה … כִּי־שָׁם בָּלַל יְהוָה · ve-navlah … ki-sham balal YHWH · SETTLED CYCLE #5 — the confuse-cycle: the divine demand's own root returns as deed (navlah 'let Us confuse' -> balal 'He confused'), popped by the echo-receipt class (gen_16/17/20); the divine DESCEND-demand stays open — the letter records ONE descent only (11:5, before the speech) [letter-honest; named-only]; the descent itself takes NO TEST (gen_19's seeing-without-judging — and Onkelos inserts the verdict the letter withheld: 'was REVEALED to PUNISH'; dual-track); BALAL's later career: the offerings MIXED with oil — the tongue-confuser becomes the Sanctuary's mixing-word [career crown]
EXPORT_babel_debut_fieldשָׂפָה אֶחָת וּדְבָרִים אֲחָדִים · safah echat u-devarim achadim · the debut-field: DAVAR ('word/thing', 256 tokens) born in 'one words'; AM ('people', 445 tokens) born in GOD'S assessment of Babel; REA (the commandments' neighbor-word) born in the conspiracy's each-to-his-fellow and confused one verse later; NASA ('journey') born on the road to Shinar (token 2 = Abram's); ZAMAM ('plan') — here and the scheming witness only; SAPHAH ('lip') tokens 1-5 all in-span vs the table's LASHON (the sibling-split — leveled in Onkelos); the SHEM/SHAM soundplay census-verified (name x2 + there x5 = seven sh-m tokens) with the name-seekers one verse after the SHEM section; the YHWH-only span (x5, Elohim zero) countering gen_22's Elohim-only
EXPORT_babel_egypt_rerunנִלְבְּנָה לְבֵנִים … וְנִשְׂרְפָה לִשְׂרֵפָה · nilbenah levenim … ve-nisrefah li-serefah · the material-vocabulary debuts at Babel and re-runs at Egypt's slavery: LEVENAH ('brick') tokens 1-2 here, tokens 3-8 ALL Exodus bondage (1:14; 5:7-19); CHOMER ('mortar') token 2 = Exod 1:14; CHEMAR ('bitumen') token 2 = the Siddim pits, token 3 = MOSES' ARK (Exod 2:3 — Babel's waterproofing saves the deliverer); the letter's own substitution-structure (brick FOR stone, bitumen FOR mortar) held as material-facts; the begin-threshold chain completes (4:26, 6:1, 9:20, 10:8, 11:6 — chalal token 5, the staged landing); the al-ken formula's third genre (practice, saying, NAME) with no registry write (bare-perfect kara — gen_24's report-naming rule)

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

observation Bavli Sanhedrin 109a (the division-generation); Bavli Chullin 89a; Bereshit Rabbah 38 (the span; the brick-over-man mourning); Rashi at 11:1 (one lip — the holy tongue), 11:5 (the descent — to teach judges), 11:7 (the plural — He and His court), 11:9 (the measure against the flood-generation's) — gen_25 Tier-A queue
הָבָה נֵרְדָה · (queue — named only) · Named, not read: the cache holds ZERO sources anchored to Gen 11:1-9 — NINETEENTH tripwire span. Detector classes predicted: the descent-to-judge teachings are a JUDICIAL-PROCEDURE class (doctrine from the purpose-clause); the nerdah-plural re-runs gen_06's council-plural class; the one-lip identification is a LANGUAGE-IDENTIFICATION class; the two-generations comparison is a MEASURE-FOR-MEASURE class.
Queue entry — no claim made beyond the naming.
verified Onkelos Genesis 11:1-9 — read Tier-A at derive time (9 sequential fetches, Data/FETCHLOG.md 2026-08-03)
וְאִתְגְּלִי יְיָ לְאִתְפְּרָעָא · ve-itgeli YY le-itpara · The span's translation witness: THE DESCENT BECOMES A REVEALING AND THE SEEING BECOMES PUNISHING [find-class] — 'the LORD was REVEALED to EXACT PUNISHMENT upon the DEEDS of the city and tower': the anthropomorphism dodged, the letter's withheld verdict INSERTED (gen_19's seeing-without-judging is precisely what the buffer refuses to carry), the buildings turned to deeds (the machine's no-TEST stands on the letter; dual-track, flagged). The divine cohortative re-voiced with the reveal-verb (havu nitgeli) but the COUNCIL-PLURAL KEPT (u-nevalbel, 'let Us confuse'). The BAVEL/BALAL pun survives DOUBLED (balal -> balbel); SAPHAH -> LISHAN throughout — the lip/tongue sibling-split leveled to the table's tongue-word; 'one words' -> 'one speech'. The east TEMPORALIZED (mi-qedem -> 'at first' — the Eden-to-Babel east-line invisible); Shinar -> 'the land of Babel' again; the materials recast (cast-bricks, fire, plaster); the tower's head 'reaching to the TOP OF the heavens'. The cessation becomes a RESTRAINT rhymed with the assessment: 'they ceased' -> 'they were RESTRAINED', the same Aramaic root the buffer gave 11:6's 'nothing will be withheld' — one root where the letter has two verbs: a buffer-side arc the letter does not draw (flagged).
Read from Data/sefaria_texts/ (local, gitignored; FETCHLOG is provenance). Dual-track; not merged.

Binary trees (ta'amim v3, glue bricks)

Gen.11.1 · parser unique · 7 words

ויהי כל־הארץ שׂפה אחת ודברים אחדים · va-yehi khal-ha-aretz safa echat u-devarim achadim · All the earth: one lip, and one words. [EN-AID]
PHRASE (binary 7w) וַֽ/יְהִ֥י כָל הָ/אָ֖רֶץ שָׂפָ֣ה אֶחָ֑ת וּ/דְבָ…
├── PHRASE (binary 5w) וַֽ/יְהִ֥י כָל הָ/אָ֖רֶץ שָׂפָ֣ה אֶחָ֑ת
│   ├── [0-2] GLUE וַֽ/יְהִ֥י כָל הָ/אָ֖רֶץ (tifcha, rank=2)
│   └── [3-4] GLUE שָׂפָ֣ה אֶחָ֑ת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 2w) וּ/דְבָרִ֖ים אֲחָדִֽים
    ├── [5] וּ/דְבָרִ֖ים (tifcha, rank=2)
    └── [6] אֲחָדִֽים (silluq (verse-end emperor), rank=1)

Gen.11.2 · parser unique · 9 words

ויהי בנסעם מקדם וימצאו בקעה בארץ שׁנער וישׁבו שׁם · va-yehi be-nasa-m mi-qedem va-yimtzu viqa be-eretz shinar va-yeshvu sham · They journeyed east, found a valley in Shinar, settled there. [EN-AID]
PHRASE (binary 9w) וַֽ/יְהִ֖י בְּ/נָסְעָ֣/ם מִ/קֶּ֑דֶם וַֽ/יִּמְצְ…
├── PHRASE (binary 3w) וַֽ/יְהִ֖י בְּ/נָסְעָ֣/ם מִ/קֶּ֑דֶם
│   ├── [0] וַֽ/יְהִ֖י (tifcha, rank=2)
│   └── [1-2] GLUE בְּ/נָסְעָ֣/ם מִ/קֶּ֑דֶם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) וַֽ/יִּמְצְא֥וּ בִקְעָ֛ה בְּ/אֶ֥רֶץ שִׁנְעָ֖ר ו…
    ├── PHRASE (binary 4w) וַֽ/יִּמְצְא֥וּ בִקְעָ֛ה בְּ/אֶ֥רֶץ שִׁנְעָ֖ר
    │   ├── [3-4] GLUE וַֽ/יִּמְצְא֥וּ בִקְעָ֛ה (tevir, rank=3)
    │   └── [5-6] GLUE בְּ/אֶ֥רֶץ שִׁנְעָ֖ר (tifcha, rank=2)
    └── [7-8] GLUE וַ/יֵּ֥שְׁבוּ שָֽׁם (silluq (verse-end emperor), rank=1)

Gen.11.3 · parser unique · 17 words

ויאמרו אישׁ אל־רעהו הבה נלבנה לבנים ונשׂרפה לשׂרפה ותהי להם הלבנה לאבן והחמר היה להם לחמר · va-yomru ish el-ree-hu hava-ה nilbna levenim ve-nisrfa li-serefa va-tehi la-hem ha-levena le-aven ve-ha-chemar haya la-hem la-chomer · Come, let us brick bricks and burn them — brick for stone. [EN-AID]
PHRASE (binary 17w) וַ/יֹּאמְר֞וּ אִ֣ישׁ אֶל רֵעֵ֗/הוּ הָ֚בָ/ה נִלְ…
├── PHRASE (binary 9w) וַ/יֹּאמְר֞וּ אִ֣ישׁ אֶל רֵעֵ֗/הוּ הָ֚בָ/ה נִלְ…
│   ├── PHRASE (binary 7w) וַ/יֹּאמְר֞וּ אִ֣ישׁ אֶל רֵעֵ֗/הוּ הָ֚בָ/ה נִלְ…
│   │   ├── PHRASE (binary 4w) וַ/יֹּאמְר֞וּ אִ֣ישׁ אֶל רֵעֵ֗/הוּ
│   │   │   ├── [0] וַ/יֹּאמְר֞וּ (gershayim, rank=4)
│   │   │   └── [1-3] GLUE אִ֣ישׁ אֶל רֵעֵ֗/הוּ (revia, rank=3)
│   │   └── PHRASE (binary 3w) הָ֚בָ/ה נִלְבְּנָ֣ה לְבֵנִ֔ים
│   │       ├── [4] הָ֚בָ/ה (yetiv, 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 8w) וַ/תְּהִ֨י לָ/הֶ֤ם הַ/לְּבֵנָה֙ לְ/אָ֔בֶן וְ/הַ…
    ├── PHRASE (binary 4w) וַ/תְּהִ֨י לָ/הֶ֤ם הַ/לְּבֵנָה֙ לְ/אָ֔בֶן
    │   ├── [9-11] GLUE וַ/תְּהִ֨י לָ/הֶ֤ם הַ/לְּבֵנָה֙ (pashta, rank=3)
    │   └── [12] לְ/אָ֔בֶן (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) וְ/הַ֣/חֵמָ֔ר הָיָ֥ה לָ/הֶ֖ם לַ/חֹֽמֶר
        ├── [13] וְ/הַ֣/חֵמָ֔ר (zaqef qatan, rank=2)
        └── PHRASE (binary 3w) הָיָ֥ה לָ/הֶ֖ם לַ/חֹֽמֶר
            ├── [14-15] GLUE הָיָ֥ה לָ/הֶ֖ם (tifcha, rank=2)
            └── [16] לַ/חֹֽמֶר (silluq (verse-end emperor), rank=1)

Gen.11.4 · parser unique · 17 words

ויאמרו הבה נבנה־לנו עיר ומגדל וראשׁו בשׁמים ונעשׂה־לנו שׁם פן־נפוץ על־פני כל־הארץ · va-yomru hava-ה nivne-la-nu ir u-migdal ve-rosh-o va-shamayim ve-naase-la-nu shem pen-nafutz al-pene khal-ha-aretz · Come, let us build a city and tower — a name, lest we scatter. [EN-AID]
PHRASE (binary 17w) וַ/יֹּאמְר֞וּ הָ֣בָ/ה נִבְנֶה לָּ֣/נוּ עִ֗יר וּ…
├── PHRASE (binary 11w) וַ/יֹּאמְר֞וּ הָ֣בָ/ה נִבְנֶה לָּ֣/נוּ עִ֗יר וּ…
│   ├── PHRASE (binary 8w) וַ/יֹּאמְר֞וּ הָ֣בָ/ה נִבְנֶה לָּ֣/נוּ עִ֗יר וּ…
│   │   ├── PHRASE (binary 5w) וַ/יֹּאמְר֞וּ הָ֣בָ/ה נִבְנֶה לָּ֣/נוּ עִ֗יר
│   │   │   ├── [0] וַ/יֹּאמְר֞וּ (gershayim, rank=4)
│   │   │   └── [1-4] GLUE הָ֣בָ/ה נִבְנֶה לָּ֣/נוּ עִ֗יר (revia, rank=3)
│   │   └── PHRASE (binary 3w) וּ/מִגְדָּל֙ וְ/רֹאשׁ֣/וֹ בַ/שָּׁמַ֔יִם
│   │       ├── [5] וּ/מִגְדָּל֙ (pashta, rank=3)
│   │       └── [6-7] GLUE וְ/רֹאשׁ֣/וֹ בַ/שָּׁמַ֔יִם (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וְ/נַֽעֲשֶׂה לָּ֖/נוּ שֵׁ֑ם
│       ├── [8-9] GLUE וְ/נַֽעֲשֶׂה לָּ֖/נוּ (tifcha, rank=2)
│       └── [10] שֵׁ֑ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) פֶּן נָפ֖וּץ עַל פְּנֵ֥י כָל הָ/אָֽרֶץ
    ├── [11-12] GLUE פֶּן נָפ֖וּץ (tifcha, rank=2)
    └── [13-16] GLUE עַל פְּנֵ֥י כָל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Gen.11.5 · parser unique · 11 words

וירד יהוה לראת את־העיר ואת־המגדל אשׁר בנו בני האדם · va-yered YHWH li-reot et-ha-ir ve-et-ha-migdal asher banu bene ha-adam · And YHWH descended to SEE what the humankind had built. [EN-AID]
PHRASE (binary 11w) וַ/יֵּ֣רֶד יְהוָ֔ה לִ/רְאֹ֥ת אֶת הָ/עִ֖יר וְ/אֶ…
├── PHRASE (binary 7w) וַ/יֵּ֣רֶד יְהוָ֔ה לִ/רְאֹ֥ת אֶת הָ/עִ֖יר וְ/אֶ…
│   ├── [0-1] GLUE וַ/יֵּ֣רֶד יְהוָ֔ה (zaqef qatan, rank=2)
│   └── PHRASE (binary 5w) לִ/רְאֹ֥ת אֶת הָ/עִ֖יר וְ/אֶת הַ/מִּגְדָּ֑ל
│       ├── [2-4] GLUE לִ/רְאֹ֥ת אֶת הָ/עִ֖יר (tifcha, rank=2)
│       └── [5-6] GLUE וְ/אֶת הַ/מִּגְדָּ֑ל (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 4w) אֲשֶׁ֥ר בָּנ֖וּ בְּנֵ֥י הָ/אָדָֽם
    ├── [7-8] GLUE אֲשֶׁ֥ר בָּנ֖וּ (tifcha, rank=2)
    └── [9-10] GLUE בְּנֵ֥י הָ/אָדָֽם (silluq (verse-end emperor), rank=1)

Gen.11.6 · parser unique · 19 words

ויאמר יהוה הן עם אחד ושׂפה אחת לכלם וזה החלם לעשׂות ועתה לא־יבצר מהם כל אשׁר יזמו לעשׂות · va-yomer YHWH hen am echad ve-safa achat le-khula-m ve-ze hachila-m la-asot ve-ata lo-yibatzer me-hem kol asher yazmu la-asot · One people, one lip — nothing they plan will be withheld. [EN-AID]
PHRASE (binary 19w) וַ/יֹּ֣אמֶר יְהוָ֗ה הֵ֣ן עַ֤ם אֶחָד֙ וְ/שָׂפָ֤ה…
├── PHRASE (binary 11w) וַ/יֹּ֣אמֶר יְהוָ֗ה הֵ֣ן עַ֤ם אֶחָד֙ וְ/שָׂפָ֤ה…
│   ├── PHRASE (binary 8w) וַ/יֹּ֣אמֶר יְהוָ֗ה הֵ֣ן עַ֤ם אֶחָד֙ וְ/שָׂפָ֤ה…
│   │   ├── [0-1] GLUE וַ/יֹּ֣אמֶר יְהוָ֗ה (revia, rank=3)
│   │   └── PHRASE (binary 6w) הֵ֣ן עַ֤ם אֶחָד֙ וְ/שָׂפָ֤ה אַחַת֙ לְ/כֻלָּ֔/ם
│   │       ├── [2-4] GLUE הֵ֣ן עַ֤ם אֶחָד֙ (pashta, rank=3)
│   │       └── PHRASE (binary 3w) וְ/שָׂפָ֤ה אַחַת֙ לְ/כֻלָּ֔/ם
│   │           ├── [5-6] GLUE וְ/שָׂפָ֤ה אַחַת֙ (pashta, rank=3)
│   │           └── [7] לְ/כֻלָּ֔/ם (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וְ/זֶ֖ה הַחִלָּ֣/ם לַ/עֲשׂ֑וֹת
│       ├── [8] וְ/זֶ֖ה (tifcha, rank=2)
│       └── [9-10] GLUE הַחִלָּ֣/ם לַ/עֲשׂ֑וֹת (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 8w) וְ/עַתָּה֙ לֹֽא יִבָּצֵ֣ר מֵ/הֶ֔ם כֹּ֛ל אֲשֶׁ֥ר…
    ├── PHRASE (binary 4w) וְ/עַתָּה֙ לֹֽא יִבָּצֵ֣ר מֵ/הֶ֔ם
    │   ├── [11] וְ/עַתָּה֙ (pashta, rank=3)
    │   └── [12-14] GLUE לֹֽא יִבָּצֵ֣ר מֵ/הֶ֔ם (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) כֹּ֛ל אֲשֶׁ֥ר יָזְמ֖וּ לַֽ/עֲשֽׂוֹת
        ├── PHRASE (binary 3w) כֹּ֛ל אֲשֶׁ֥ר יָזְמ֖וּ
        │   ├── [15] כֹּ֛ל (tevir, rank=3)
        │   └── [16-17] GLUE אֲשֶׁ֥ר יָזְמ֖וּ (tifcha, rank=2)
        └── [18] לַֽ/עֲשֽׂוֹת (silluq (verse-end emperor), rank=1)

Gen.11.7 · parser unique · 11 words

הבה נרדה ונבלה שׁם שׂפתם אשׁר לא ישׁמעו אישׁ שׂפת רעהו · hava-ה nerda ve-navla sham sefata-m asher lo yishmu ish sefat ree-hu · Come, let Us descend and confuse there their lip. [EN-AID]
PHRASE (binary 11w) הָ֚בָ/ה נֵֽרְדָ֔ה וְ/נָבְלָ֥ה שָׁ֖ם שְׂפָתָ֑/ם …
├── PHRASE (binary 5w) הָ֚בָ/ה נֵֽרְדָ֔ה וְ/נָבְלָ֥ה שָׁ֖ם שְׂפָתָ֑/ם
│   ├── PHRASE (binary 2w) הָ֚בָ/ה נֵֽרְדָ֔ה
│   │   ├── [0] הָ֚בָ/ה (yetiv, rank=3)
│   │   └── [1] נֵֽרְדָ֔ה (zaqef qatan, rank=2)
│   └── PHRASE (binary 3w) וְ/נָבְלָ֥ה שָׁ֖ם שְׂפָתָ֑/ם
│       ├── [2-3] GLUE וְ/נָבְלָ֥ה שָׁ֖ם (tifcha, rank=2)
│       └── [4] שְׂפָתָ֑/ם (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 6w) אֲשֶׁר֙ לֹ֣א יִשְׁמְע֔וּ אִ֖ישׁ שְׂפַ֥ת רֵעֵֽ/ה…
    ├── PHRASE (binary 3w) אֲשֶׁר֙ לֹ֣א יִשְׁמְע֔וּ
    │   ├── [5] אֲשֶׁר֙ (pashta, rank=3)
    │   └── [6-7] GLUE לֹ֣א יִשְׁמְע֔וּ (zaqef qatan, rank=2)
    └── PHRASE (binary 3w) אִ֖ישׁ שְׂפַ֥ת רֵעֵֽ/הוּ
        ├── [8] אִ֖ישׁ (tifcha, rank=2)
        └── [9-10] GLUE שְׂפַ֥ת רֵעֵֽ/הוּ (silluq (verse-end emperor), rank=1)

Gen.11.8 · parser unique · 11 words

ויפץ יהוה אתם משׁם על־פני כל־הארץ ויחדלו לבנת העיר · va-yafetz YHWH et-m mi-sham al-pene khal-ha-aretz va-yachdlu li-venot ha-ir · YHWH scattered them — and they ceased building the city. [EN-AID]
PHRASE (binary 11w) וַ/יָּ֨פֶץ יְהוָ֥ה אֹתָ֛/ם מִ/שָּׁ֖ם עַל פְּנֵ֣…
├── PHRASE (binary 8w) וַ/יָּ֨פֶץ יְהוָ֥ה אֹתָ֛/ם מִ/שָּׁ֖ם עַל פְּנֵ֣…
│   ├── PHRASE (binary 4w) וַ/יָּ֨פֶץ יְהוָ֥ה אֹתָ֛/ם מִ/שָּׁ֖ם
│   │   ├── [0-2] GLUE וַ/יָּ֨פֶץ יְהוָ֥ה אֹתָ֛/ם (tevir, rank=3)
│   │   └── [3] מִ/שָּׁ֖ם (tifcha, rank=2)
│   └── [4-7] GLUE עַל פְּנֵ֣י כָל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 3w) וַֽ/יַּחְדְּל֖וּ לִ/בְנֹ֥ת הָ/עִֽיר
    ├── [8] וַֽ/יַּחְדְּל֖וּ (tifcha, rank=2)
    └── [9-10] GLUE לִ/בְנֹ֥ת הָ/עִֽיר (silluq (verse-end emperor), rank=1)

Gen.11.9 · parser unique · 19 words

על־כן קרא שׁמה בבל כי־שׁם בלל יהוה שׂפת כל־הארץ ומשׁם הפיצם יהוה על־פני כל־הארץ · al-ken qara shema-ה bavel ki-sham balal YHWH sefat kal-ha-aretz u-mi-sham hefitza-m YHWH al-pene kal-ha-aretz · Therefore its name is Babel: there He confused, from there He scattered. [EN-AID]
PHRASE (binary 19w) עַל כֵּ֞ן קָרָ֤א שְׁמָ/הּ֙ בָּבֶ֔ל כִּי שָׁ֛ם ב…
├── PHRASE (binary 12w) עַל כֵּ֞ן קָרָ֤א שְׁמָ/הּ֙ בָּבֶ֔ל כִּי שָׁ֛ם ב…
│   ├── PHRASE (binary 5w) עַל כֵּ֞ן קָרָ֤א שְׁמָ/הּ֙ בָּבֶ֔ל
│   │   ├── PHRASE (binary 4w) עַל כֵּ֞ן קָרָ֤א שְׁמָ/הּ֙
│   │   │   ├── [0-1] GLUE עַל כֵּ֞ן (gershayim, rank=4)
│   │   │   └── [2-3] GLUE קָרָ֤א שְׁמָ/הּ֙ (pashta, rank=3)
│   │   └── [4] בָּבֶ֔ל (zaqef qatan, rank=2)
│   └── PHRASE (binary 7w) כִּי שָׁ֛ם בָּלַ֥ל יְהוָ֖ה שְׂפַ֣ת כָּל הָ/אָ֑ר…
│       ├── PHRASE (binary 4w) כִּי שָׁ֛ם בָּלַ֥ל יְהוָ֖ה
│       │   ├── [5-6] GLUE כִּי שָׁ֛ם (tevir, rank=3)
│       │   └── [7-8] GLUE בָּלַ֥ל יְהוָ֖ה (tifcha, rank=2)
│       └── [9-11] GLUE שְׂפַ֣ת כָּל הָ/אָ֑רֶץ (etnachta (major mid-verse rest), rank=1)
└── PHRASE (binary 7w) וּ/מִ/שָּׁם֙ הֱפִיצָ֣/ם יְהוָ֔ה עַל פְּנֵ֖י כָּ…
    ├── PHRASE (binary 3w) וּ/מִ/שָּׁם֙ הֱפִיצָ֣/ם יְהוָ֔ה
    │   ├── [12] וּ/מִ/שָּׁם֙ (pashta, rank=3)
    │   └── [13-14] GLUE הֱפִיצָ֣/ם יְהוָ֔ה (zaqef qatan, rank=2)
    └── PHRASE (binary 4w) עַל פְּנֵ֖י כָּל הָ/אָֽרֶץ
        ├── [15-16] GLUE עַל פְּנֵ֖י (tifcha, rank=2)
        └── [17-18] GLUE כָּל הָ/אָֽרֶץ (silluq (verse-end emperor), rank=1)

Word coverage — 121/121 words with named roles

ref#HebrewtranslitEnglishrolekindrule
Gen.11.10ויהיva-yehiand-beand-belogic_bearingnone
Gen.11.11כלkhalallalllogic_bearingnone
Gen.11.12הארץha-aretzthe-earththe-earthlogic_bearingnone
Gen.11.13שפהsafalipSAPHAH_TOKEN_1_of_five_all_in_spanlogic_bearingnone
Gen.11.14אחתechatoneechad_span_run_of_fourlogic_bearingnone
Gen.11.15ודבריםu-devarimand-wordsDAVAR_TOKEN_1_the_word_wordlogic_bearingnone
Gen.11.16אחדיםachadimonethe_plural_oddity_one_wordslogic_bearingnone
Gen.11.20ויהיva-yehiand-beand-belogic_bearingnone
Gen.11.21בנסעםbe-nasa-mas-they-journeyedNASA_TOKEN_1_abram_nextlogic_bearingnone
Gen.11.22מקדםmi-qedemfrom-the-eastQEDEM_token_4_staged_bridge_landslogic_bearingnone
Gen.11.23וימצאוva-yimtzuand-findand-findlogic_bearingnone
Gen.11.24בקעהviqaa-valleybiqah_debutlogic_bearingnone
Gen.11.25בארץbe-eretzin-earthin-earthlogic_bearingnone
Gen.11.26שנערshinarShinarSHINAR_token_2_staged_bridge_landslogic_bearingnone
Gen.11.27וישבוva-yeshvuand-they-settledand-they-settledlogic_bearingnone
Gen.11.28שםshamthereSHAM_the_soundplay_beginslogic_bearingnone
Gen.11.30ויאמרוva-yomruand-sayand-saylogic_bearingnone
Gen.11.31אישishmanmanlogic_bearingnone
Gen.11.32אלeltotologic_bearingnone
Gen.11.33רעהוree-huhis-fellowREA_TOKEN_1_the_neighbor_wordlogic_bearingnone
Gen.11.34הבהhava-hcomeHAVAH_TOKEN_1_pharaoh_at_token_9logic_bearingnone
Gen.11.35נלבנהnilbnalet-us-bricknilbenah_marked_volitive_CMD_USlogic_bearingTIR-033
Gen.11.36לבניםlevenimbricksLEVENAH_TOKEN_1_egypts_bricks_nextlogic_bearingnone
Gen.11.37ונשרפהve-nisrfaand-let-us-burnSARAF_debut_at_the_firinglogic_bearingTIR-033
Gen.11.38לשרפהli-serefaa-burninga-burninglogic_bearingnone
Gen.11.39ותהיva-tehiand-beand-belogic_bearingnone
Gen.11.310להםla-hemfor-themfor-themlogic_bearingnone
Gen.11.311הלבנהha-levenathe-bricklevenah_token_2logic_bearingnone
Gen.11.312לאבןle-avenfor-stonethe_substitution_structurelogic_bearingnone
Gen.11.313והחמרve-ha-chemarand-the-bitumenCHEMAR_TOKEN_1_moses_ark_at_3logic_bearingnone
Gen.11.314היהhayabebelogic_bearingnone
Gen.11.315להםla-hemfor-themfor-themlogic_bearingnone
Gen.11.316לחמרla-chomerfor-mortarCHOMER_TOKEN_1_exodus_1_14_nextlogic_bearingnone
Gen.11.40ויאמרוva-yomruand-sayand-saylogic_bearingnone
Gen.11.41הבהhava-hcomehavah_token_2logic_bearingnone
Gen.11.42נבנהnivnelet-us-buildBANAH_token_5_final_heh_CMD_US_querylogic_bearingTIR-028
Gen.11.43לנוla-nufor-usfor-uslogic_bearingnone
Gen.11.44עירira-cityIR_token_5_cains_nimrods_babelslogic_bearingnone
Gen.11.45ומגדלu-migdaland-a-towerMIGDAL_TOKEN_1_of_two_both_herelogic_bearingnone
Gen.11.46וראשוve-rosh-oand-its-headand-its-headlogic_bearingnone
Gen.11.47בשמיםva-shamayimin-the-heavensthe_head_hyperbolelogic_bearingnone
Gen.11.48ונעשהve-naaseand-let-us-makeNAASEH_1_26s_own_verb_CMD_US_querylogic_bearingTIR-028
Gen.11.49לנוla-nufor-usfor-uslogic_bearingnone
Gen.11.410שםshema-nameSHEM_the_craved_word_after_the_shem_sectionlogic_bearingnone
Gen.11.411פןpenlestpen_the_fear_clauselogic_bearingnone
Gen.11.412נפוץnafutzwe-be-scatteredPUTZ_token_2_the_fearlogic_bearingnone
Gen.11.413עלaloveroverlogic_bearingnone
Gen.11.414פניpenethe-face-ofthe-face-oflogic_bearingnone
Gen.11.415כלkhalallalllogic_bearingnone
Gen.11.416הארץha-aretzthe-earththe-earthlogic_bearingnone
Gen.11.50וירדva-yeredand-He-descendedYARAD_TORAH_DEBUT_gods_descentlogic_bearingnone
Gen.11.51יהוהYHWHYHWHname_YHWHlogic_bearingnone
Gen.11.52לראתli-reotto-seeseeing_without_judging_gen_19_no_TESTlogic_bearingnone
Gen.11.53אתetobj-marker·etobj_markerlogic_bearingTIR-014
Gen.11.54העירha-irthe-citythe-citylogic_bearingnone
Gen.11.55ואתve-etobj-marker·etobj_markerglueTIR-008
Gen.11.56המגדלha-migdalthe-towermigdal_token_2logic_bearingnone
Gen.11.57אשרasherwhichwhichlogic_bearingnone
Gen.11.58בנוbanuthey-builtbanah_token_6_background_not_receiptlogic_bearingnone
Gen.11.59בניbenesonsonlogic_bearingnone
Gen.11.510האדםha-adamthe-humankindbnei_ha_adam_the_suspended_subject_namedlogic_bearingnone
Gen.11.60ויאמרva-yomerand-sayand-saylogic_bearingnone
Gen.11.61יהוהYHWHYHWHyhwh_only_span_x5_elohim_zerologic_bearingnone
Gen.11.62הןhenbeholdbeholdlogic_bearingnone
Gen.11.63עםampeopleAM_TOKEN_1_born_in_gods_assessmentlogic_bearingnone
Gen.11.64אחדechadoneechad_token_three_of_spanlogic_bearingnone
Gen.11.65ושפהve-safaand-lipand-liplogic_bearingnone
Gen.11.66אחתachatoneonelogic_bearingnone
Gen.11.67לכלםle-khula-mfor-all-of-themfor-all-of-themlogic_bearingnone
Gen.11.68וזהve-zeand-thisand-thislogic_bearingnone
Gen.11.69החלםhachila-mtheir-beginningCHALAL_token_5_threshold_chain_completelogic_bearingnone
Gen.11.610לעשותla-asotto-doto-dologic_bearingnone
Gen.11.611ועתהve-ataand-nowand-nowlogic_bearingnone
Gen.11.612לאlonotnotlogic_bearingnone
Gen.11.613יבצרyibatzerwill-be-withheldBATZAR_debut_lo_yibatzerlogic_bearingnone
Gen.11.614מהםme-hemfrom-themfrom-themlogic_bearingnone
Gen.11.615כלkolallalllogic_bearingnone
Gen.11.616אשרasherwhichwhichlogic_bearingnone
Gen.11.617יזמוyazmuthey-planZAMAM_of_two_deut_witnesslogic_bearingnone
Gen.11.618לעשותla-asotto-doto-dologic_bearingnone
Gen.11.70הבהhava-hcomehavah_token_3_the_grammar_mirroredlogic_bearingnone
Gen.11.71נרדהnerdalet-Us-descendnerdah_divine_CMD_US_stays_openlogic_bearingTIR-033
Gen.11.72ונבלהve-navlaand-let-Us-confuseBALAL_TOKEN_1_the_demandlogic_bearingTIR-033
Gen.11.73שםshamtheresham_the_soundplaylogic_bearingnone
Gen.11.74שפתםsefata-mtheir-lipsaphah_token_3logic_bearingnone
Gen.11.75אשרasherwhichwhichlogic_bearingnone
Gen.11.76לאlonotnotlogic_bearingnone
Gen.11.77ישמעוyishmuunderstandunderstandlogic_bearingnone
Gen.11.78אישishmanmanlogic_bearingnone
Gen.11.79שפתsefatlip-ofsaphah_token_4logic_bearingnone
Gen.11.710רעהוree-huhis-fellowrea_token_2_now_the_casualtylogic_bearingnone
Gen.11.80ויפץva-yafetzand-He-scatteredPUTZ_token_3_the_fear_granted_verbatimlogic_bearingnone
Gen.11.81יהוהYHWHYHWHname_YHWHlogic_bearingnone
Gen.11.82אתםet-mobj-marker·etobj_markerlogic_bearingTIR-014
Gen.11.83משםmi-shamfrom-therefrom-therelogic_bearingnone
Gen.11.84עלaloveroverlogic_bearingnone
Gen.11.85פניpenethe-face-ofthe-face-oflogic_bearingnone
Gen.11.86כלkhalallalllogic_bearingnone
Gen.11.87הארץha-aretzthe-earththe-earthlogic_bearingnone
Gen.11.88ויחדלוva-yachdluand-they-ceasedCHADAL_DEBUT_the_abandoned_projectlogic_bearingnone
Gen.11.89לבנתli-venotto-buildbanah_token_7_no_installlogic_bearingnone
Gen.11.810העירha-irthe-citythe-citylogic_bearingnone
Gen.11.90עלaloveroverlogic_bearingnone
Gen.11.91כןkensosologic_bearingnone
Gen.11.92קראqaraone-calledkara_bare_perfect_no_NAME_oplogic_bearingnone
Gen.11.93שמהshema-hits-nameshem_token_2_the_name_they_gotlogic_bearingnone
Gen.11.94בבלbavelBabelBAVEL_token_2_closes_10_10_bracketlogic_bearingnone
Gen.11.95כיkiforforlogic_bearingnone
Gen.11.96שםshamtheresham_the_pun_groundlogic_bearingnone
Gen.11.97בללbalalHe-confusedBALAL_token_2_the_echo_receiptlogic_bearingnone
Gen.11.98יהוהYHWHYHWHname_YHWHlogic_bearingnone
Gen.11.99שפתsefatlip-ofsaphah_token_5logic_bearingnone
Gen.11.910כלkalallalllogic_bearingnone
Gen.11.911הארץha-aretzthe-earththe-earthlogic_bearingnone
Gen.11.912ומשםu-mi-shamand-from-thereand-from-therelogic_bearingnone
Gen.11.913הפיצםhefitza-mHe-scattered-themputz_token_4_the_summarylogic_bearingnone
Gen.11.914יהוהYHWHYHWHname_YHWHlogic_bearingnone
Gen.11.915עלaloveroverlogic_bearingnone
Gen.11.916פניpenethe-face-ofthe-face-oflogic_bearingnone
Gen.11.917כלkalallalllogic_bearingnone
Gen.11.918הארץha-aretzthe-earththe-earthlogic_bearingnone

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

unit: gen_25_babel — Babel: come, let us build — come, let Us go down (11:1-9) [frozen]

final state: WORLD=[] (+1 presupposed) | REGISTRY={} | TESTS=0 PASS | LEDGER days=[] | FLAGS=['read_before_install']

=== S1 — One lip, one words: after STEP_Gn_11_1
    שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים (safah echat u-devarim achadim)
    PASS  Facts safah-echat HOLD  (1 facts)
    PASS  SPECS empty.  (queue=0)

=== S2 — The journey east, the suspended subject: after STEP_Gn_11_2
    וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר (va-yimtzeu viqah be-eretz Shinar)
    PASS  flags shinar as read-before-install  (flagged=['shinar'])
    PASS  Facts mi-qedem HOLD.  (2 facts)

=== S3 — The first human council, the substitution-facts: after STEP_Gn_11_3
    הָבָה נִלְבְּנָה לְבֵנִים (havah nilbenah levenim)
    PASS  Facts levenah-le-aven HOLD  (4 facts)
    PASS  Facts chemar-la-chomer HOLD.  (4 facts)

=== S4 — The name-demands pushed and open: after STEP_Gn_11_4
    וְנַעֲשֶׂה־לָּנוּ שֵׁם (ve-naaseh-lanu shem)
    PASS  CMD-US?(nivneh(ir_u_migdal)) pushed and OPEN  (queue=['nilbenah(levenim)', 'nisrefah(li_serefah)', 'nivneh(ir_u_migdal)', 'naaseh(lanu_shem)'])
    PASS  CMD-US?(naaseh(lanu_shem)) pushed and OPEN.  (queue=['nilbenah(levenim)', 'nisrefah(li_serefah)', 'nivneh(ir_u_migdal)', 'naaseh(lanu_shem)'])

=== S5 — The descent sees, no verdict: after STEP_Gn_11_5
    וַיֵּרֶד יְהוָה לִרְאֹת (va-yered YHWH lirot)
    PASS  Facts asher-banu-bnei-ha-adam HOLD  (7 facts)
    PASS  no test, no name.  (tests=0 names=0)

=== S6 — The assessment-facts hold: after STEP_Gn_11_6
    הֵן עַם אֶחָד וְשָׂפָה אַחַת לְכֻלָּם (hen am echad ve-safah achat le-khulam)
    PASS  Facts am-echad HOLD  (10 facts)
    PASS  Facts lo-yibatzer HOLD.  (10 facts)

=== S7 — The counter-council, the ?-moods untouched: after STEP_Gn_11_7
    הָבָה נֵרְדָה וְנָבְלָה שָׁם שְׂפָתָם (havah nerdah ve-navlah sham sefatam)
    PASS  CMD-US?(naaseh(lanu_shem)) mood remains CMD-US?.  (mood=CMD-US?)

=== S8 — The fear granted, the build abandoned: after STEP_Gn_11_8
    וַיַּחְדְּלוּ לִבְנֹת הָעִיר (va-yachdelu livnot ha-ir)
    PASS  Facts va-yachdelu-livnot HOLD.  (11 facts)

=== S9 — The etiology stands, the echo received: after STEP_Gn_11_9
    עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל (al-ken kara shemah Bavel)
    PASS  Facts pattern-kara-bavel HOLD  (14 facts)
    PASS  Facts sham-balal-yhwh HOLD.  (14 facts)

=== S10_negative — Negative: the machine's ? stays guarded
    נַעֲשֶׂה (naaseh)
    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)

=== S11_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

Generated from the frozen YAML by render_unit_py.py (the YAML stays canonical — this layer is derived, like this page). Runnable: python3 logic/py_units/gen_25_babel.py — replays the six registers and asserts the interpreter's machine truth.

#!/usr/bin/env python3
# =============================================================================
# gen_25_babel — 11:1-9
# PYTHON RENDERING — GENERATED from the FROZEN YAML by render_unit_py.py.
# The YAML (logic/units/gen_25_babel.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.
# =============================================================================
"""Babel: come, let us build — come, let Us go down (11:1-9)"""
from machine import Machine

m = Machine("gen_25_babel")

# -------------------------- Gen.11.1 · ONE_LIP_ONE_WORDS -------------------
# וַיְהִי כָל־הָאָרֶץ שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים
# "And the whole earth was of one language and of one speech."
m.step("Gen.11.1")
# ‹כָל־הָאָרֶץ שָׂפָה אֶחָת וּדְבָרִים אֲחָדִים› (“all the-earth lip one
# and-words one”) — fact holds: all-the-earth-safah-one-and-words-one
m.fact("kol_ha_aretz_safah_echat_u_devarim_achadim")

# -------------------------- Gen.11.2 · THE_JOURNEY_EAST_TO_SHINAR ----------
# וַיְהִי בְּנָסְעָם מִקֶּדֶם וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר
# וַיֵּשְׁבוּ שָׁם
# "And it came to pass, as they journeyed east, that they found a plain in
# the land of Shinar; and they dwelt there."
m.step("Gen.11.2")
# ‹בְּנָסְעָם מִקֶּדֶם› (“as-they-journeyed from-the-east”) — fact holds:
# in-nasam-from-east
m.fact("be_nasam_mi_qedem")
# ‹וַיִּמְצְאוּ בִקְעָה בְּאֶרֶץ שִׁנְעָר› (“and-find a-valley in-earth
# Shinar”) — event: find — theme viqah-in-earth-Shinar
m.event("find", themes=["viqah_be_eretz_shinar"])
# ‹וַיֵּשְׁבוּ שָׁם› (“and-they-settled there”) — event: settle — theme
# there
m.event("settle", themes=["sham"])
# reads without prior install (flag, not fix): Shinar
m.presupposed("shinar")

# -------------------------- Gen.11.3 · COME_LET_US_BRICK -------------------
# וַיֹּאמְרוּ אִישׁ אֶל־רֵעֵהוּ הָבָה נִלְבְּנָה לְבֵנִים וְנִשְׂרְפָה
# לִשְׂרֵפָה וַתְּהִי לָהֶם הַלְּבֵנָה לְאָבֶן וְהַחֵמָר הָיָה לָהֶם לַחֹמֶר
# "And they said one to another: 'Come, let us make brick, and burn them
# thoroughly.' And they had brick for stone, and slime had they for mortar."
m.step("Gen.11.3")
# ‹וַיֹּאמְרוּ אִישׁ אֶל־רֵעֵהוּ הָבָה› (“and-say man to his-fellow come”) —
# event: speak — agent man-to-reehu
m.event("speak", agent="ish_el_reehu")
# ‹נִלְבְּנָה לְבֵנִים› (“let-us-brick bricks”) — man-to-reehu speaks a
# demand — CMD-US: nilbenah(bricks)
m.declare("ish_el_reehu", "CMD-US",
          "nilbenah(levenim)")
# ‹וְנִשְׂרְפָה לִשְׂרֵפָה› (“and-let-us-burn a-burning”) — man-to-reehu
# speaks a demand — CMD-US: nisrefah(to-me-serefah)
m.declare("ish_el_reehu", "CMD-US",
          "nisrefah(li_serefah)")
# ‹וַתְּהִי לָהֶם הַלְּבֵנָה לְאָבֶן וְהַחֵמָר הָיָה לָהֶם לַחֹמֶר› (“and-be
# for-them the-brick for-stone and-the-bitumen be for-them for-mortar”) —
# fact holds: and-be-to-them-the-levenah-to-stone; and-the-bitumen-was-to-
# them-to-mortar
m.fact("va_tehi_lahem_ha_levenah_le_aven",
       "ve_ha_chemar_hayah_lahem_la_chomer")

# -------------------------- Gen.11.4 · CITY_TOWER_NAME_AND_FEAR ------------
# וַיֹּאמְרוּ הָבָה נִבְנֶה־לָּנוּ עִיר וּמִגְדָּל וְרֹאשׁוֹ בַשָּׁמַיִם
# וְנַעֲשֶׂה־לָּנוּ שֵׁם פֶּן־נָפוּץ עַל־פְּנֵי כָל־הָאָרֶץ
# "And they said: 'Come, let us build us a city, and a tower, with its top
# in heaven, and let us make us a name; lest we be scattered abroad upon the
# face of the whole earth.'"
m.step("Gen.11.4")
# ‹וַיֹּאמְרוּ הָבָה› (“and-say come”) — event: speak — agent man-to-reehu
m.event("speak", agent="ish_el_reehu")
# ‹נִבְנֶה־לָּנוּ עִיר וּמִגְדָּל וְרֹאשׁוֹ בַשָּׁמַיִם› (“let-us-build for-
# us a-city and-a-tower and-its-head in-the-heavens”) — man-to-reehu speaks
# a demand — CMD-US?: nivneh(a-city-and-a-tower)
m.declare("ish_el_reehu", "CMD-US?",
          "nivneh(ir_u_migdal)")
# ‹וְנַעֲשֶׂה־לָּנוּ שֵׁם› (“and-let-us-make for-us a-name”) — man-to-reehu
# speaks a demand — CMD-US?: naaseh(lanu-a-name)
m.declare("ish_el_reehu", "CMD-US?",
          "naaseh(lanu_shem)")
# ‹וְרֹאשׁוֹ בַשָּׁמַיִם … פֶּן־נָפוּץ עַל־פְּנֵי כָל־הָאָרֶץ› (“and-its-
# head in-the-heavens … lest we-be-scattered over the-face-of all the-
# earth”) — fact holds: and-rosho-and-heavens; lest-we-be-scattered-over-
# face-of-all-the-earth
m.fact("ve_rosho_va_shamayim",
       "pen_nafutz_al_pnei_khol_ha_aretz")

# -------------------------- Gen.11.5 · THE_DESCENT_TO_SEE ------------------
# וַיֵּרֶד יְהוָה לִרְאֹת אֶת־הָעִיר וְאֶת־הַמִּגְדָּל אֲשֶׁר בָּנוּ בְּנֵי
# הָאָדָם
# "And the LORD came down to see the city and the tower, which the children
# of men builded."
m.step("Gen.11.5")
# ‹וַיֵּרֶד יְהוָה לִרְאֹת› (“and-He-descended YHWH to-see”) — event:
# descend — agent the-LORD; theme lirot-obj-marker·et-the-a-city-and-obj-
# marker·et-the-a-tower
m.event("descend", agent="YHWH", themes=["lirot_et_ha_ir_ve_et_ha_migdal"])
# ‹אֲשֶׁר בָּנוּ בְּנֵי הָאָדָם› (“which they-built son the-humankind”) —
# fact holds: which-they-built-sons-of-the-humankind
m.fact("asher_banu_bnei_ha_adam")

# -------------------------- Gen.11.6 · ONE_PEOPLE_THE_ASSESSMENT -----------
# וַיֹּאמֶר יְהוָה הֵן עַם אֶחָד וְשָׂפָה אַחַת לְכֻלָּם וְזֶה הַחִלָּם
# לַעֲשׂוֹת וְעַתָּה לֹא־יִבָּצֵר מֵהֶם כֹּל אֲשֶׁר יָזְמוּ לַעֲשׂוֹת
# "And the LORD said: 'Behold, they are one people, and they have all one
# language; and this is what they begin to do; and now nothing will be
# withholden from them, which they purpose to do.'"
m.step("Gen.11.6")
# ‹וַיֹּאמֶר יְהוָה הֵן עַם אֶחָד› (“and-say YHWH behold people one”) —
# event: speak — agent the-LORD; theme behold-people-one
m.event("speak", agent="YHWH", themes=["hen_am_echad"])
# ‹הֵן עַם אֶחָד … וְזֶה הַחִלָּם לַעֲשׂוֹת … לֹא־יִבָּצֵר מֵהֶם› (“behold
# people one … and-this their-beginning to-do … not will-be-withheld from-
# them”) — fact holds: behold-people-one-and-safah-one-to-khulam; and-this-
# hachillam-to-do; not-will-be-withheld-mehem-all-which-they-plan
m.fact("hen_am_echad_ve_safah_achat_le_khulam",
       "ve_zeh_hachillam_la_asot",
       "lo_yibatzer_mehem_kol_asher_yazmu")

# -------------------------- Gen.11.7 · THE_MIRRORED_COUNTER_COUNCIL --------
# הָבָה נֵרְדָה וְנָבְלָה שָׁם שְׂפָתָם אֲשֶׁר לֹא יִשְׁמְעוּ אִישׁ שְׂפַת
# רֵעֵהוּ
# "'Come, let us go down, and there confound their language, that they may
# not understand one another's speech.'"
m.step("Gen.11.7")
# ‹הָבָה נֵרְדָה› (“come let-Us-descend”) — the-LORD speaks a demand — CMD-
# US: nerdah(there)
m.declare("YHWH", "CMD-US",
          "nerdah(sham)")
# ‹וְנָבְלָה שָׁם שְׂפָתָם› (“and-let-Us-confuse there their-lip”) — the-
# LORD speaks a demand — CMD-US: navlah(there-sefatam)
m.declare("YHWH", "CMD-US",
          "navlah(sham_sefatam)")

# -------------------------- Gen.11.8 · THE_SCATTER_AND_THE_CEASING ---------
# וַיָּפֶץ יְהוָה אֹתָם מִשָּׁם עַל־פְּנֵי כָל־הָאָרֶץ וַיַּחְדְּלוּ לִבְנֹת
# הָעִיר
# "So the LORD scattered them abroad from thence upon the face of all the
# earth; and they left off to build the city."
m.step("Gen.11.8")
# ‹וַיָּפֶץ יְהוָה אֹתָם מִשָּׁם› (“and-He-scattered YHWH obj-marker from-
# there”) — event: scatter — agent the-LORD; theme from-there-over-face-of-
# all-the-earth
m.event("scatter", agent="YHWH", themes=["mi_sham_al_pnei_khol_ha_aretz"])
# ‹וַיַּחְדְּלוּ לִבְנֹת הָעִיר› (“and-they-ceased to-build the-city”) —
# fact holds: and-yachdelu-livnot-the-a-city
m.fact("va_yachdelu_livnot_ha_ir")

# -------------------------- Gen.11.9 · THE_NAME_ETIOLOGY_AND_THE_ECHO ------
# עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל כִּי־שָׁם בָּלַל יְהוָה שְׂפַת כָּל־הָאָרֶץ
# וּמִשָּׁם הֱפִיצָם יְהוָה עַל־פְּנֵי כָּל־הָאָרֶץ
# "Therefore was the name of it called Babel; because the LORD did there
# confound the language of all the earth; and from thence did the LORD
# scatter them abroad upon the face of all the earth."
m.step("Gen.11.9")
# ‹כִּי־שָׁם בָּלַל יְהוָה שְׂפַת כָּל־הָאָרֶץ› (“for there He-confused YHWH
# lip-of all the-earth”) — demand settled (popped from the queue):
# navlah(there-sefatam)
m.result("navlah(sham_sefatam)", tmark="t2")
# ‹עַל־כֵּן קָרָא שְׁמָהּ בָּבֶל› (“over so one-called its-name Babel”) —
# pattern recorded: over-so-kara-shemah-Babel
m.pattern("al_ken_kara_shemah_bavel")
# ‹כִּי־שָׁם בָּלַל … וּמִשָּׁם הֱפִיצָם› (“for there He-confused … and-
# from-there He-scattered-them”) — fact holds: for-there-He-confused-yhwh-
# lip-of-all-the-earth; and-from-there-hefitzam-yhwh
m.fact("ki_sham_balal_yhwh_sefat_kol_ha_aretz",
       "u_mi_sham_hefitzam_yhwh")

# -------------------------- machine truth (baked from the Stage D run) -------
if __name__ == "__main__":
    m.report()
    assert m.created_set() == set()
    assert m.presupposed_set() == {'shinar'}
    assert m.REGISTRY["names"] == {}
    assert m.REGISTRY["writes"] == 0
    assert m.tests_list() == []
    assert m.open_demands() == ['nilbenah(levenim)', 'nisrefah(li_serefah)', 'nivneh(ir_u_migdal)', 'naaseh(lanu_shem)', 'nerdah(sham)']
    assert len(m.SPECS["log"]) == 6
    assert sorted(m.LEDGER) == []
    assert m.flag_counts() == {'read_before_install': 1}
    assert sorted(m.WORLD["facts"]) == sorted(['kol_ha_aretz_safah_echat_u_devarim_achadim', 'be_nasam_mi_qedem', 'va_tehi_lahem_ha_levenah_le_aven', 've_ha_chemar_hayah_lahem_la_chomer', 've_rosho_va_shamayim', 'pen_nafutz_al_pnei_khol_ha_aretz', 'asher_banu_bnei_ha_adam', 'hen_am_echad_ve_safah_achat_le_khulam', 've_zeh_hachillam_la_asot', 'lo_yibatzer_mehem_kol_asher_yazmu', 'va_yachdelu_livnot_ha_ir', 'pattern: al_ken_kara_shemah_bavel', 'ki_sham_balal_yhwh_sefat_kol_ha_aretz', 'u_mi_sham_hefitzam_yhwh'])
    assert m.WORLD["invariants"] == []
    assert m.WORLD["partitions"] == []
    assert len(m.EVENTS) == 15
    print("ALL ASSERTIONS GREEN — rendering matches the frozen unit's machine truth")
FROZEN 2026-08-03 (second-generation derivation agent; freeze-after-review by the main loop — NO agent freeze; seventh unit under the PIPELINE + DEBUT-MAP process, the agent's third and LAST before planned succession): twenty-sixth-unit candidate — BABEL; sixteenth extension-free derivation candidate in a row. Two speech-worlds in one grammar, and the machine mirrors the letter's symmetry and its asymmetries alike: the corpus's FIRST HUMAN CMD-US demands (gen_06's council class in human mouths — 11:4's verb is NAASEH itself, 1:26's verb with 1:26's final-heh form-problem and 1:26's mood-mark; the mood-split by form recorded: -ah-marked volitives plain CMD-US per TIR-033, the final-heh pair CMD-US? per TIR-028); the corpus's FIRST ABANDONED PROJECT (four human demands open forever over the chadal cessation-fact; NO install — every install precedent was a completed build; no interpreter extension: the open queue plus the fact IS the letter's state); the fear granted VERBATIM inside one unit (pen-nafutz -> va-yafetz, putz tokens 2-3 on 10:18's staged debut) [internal arc]; the descent that SEES and never judges (gen_19's class; no TEST — while Onkelos inserts the verdict: 'was REVEALED to PUNISH'; dual-track); the divine counter-council in the mirrored havah grammar, its confuse-demand POPPED by its own root returning as deed (navlah -> balal: the echo-receipt class — SETTLED CYCLE #5, the confuse-cycle) and its descend-demand left open (the letter records one descent only); the al-ken formula's THIRD genre (a NAME-etiology as PATTERN, no registry write — gen_24's report-naming rule; the bavel/balal pun the etiology's engine, kept doubled in the buffer). The debut-field held as letter facts (davar, am, rea, nasa, zamam, migdal, chadal, batzar; the saphah run vs the table's lashon — leveled in the buffer; the sevenfold shem/sham soundplay census-verified; the YHWH-only span countering gen_22's Elohim-only; the Babel-to-Egypt material rerun). Machine state: t0 empty, ZERO installs (+1 presupposed), zero registry writes, SIX demands pushed / ONE popped / FIVE open at rest, zero tests, one pattern, twelve facts, one read-flag — a ruin at rest, filed under its own pun.

Rendered 2026-08-09 by render_unit_html.py · the YAML is canonical, this page is read-only display · English = aid only · not binding religious law.