ORAL AUDIT — exo_17_massah_and_amalek
Live verifier run: 13 VERIFIED 0 FAILED 0 UNCHECKABLE — re-run:
python3 logic/solo_tools/verify_claims.py logic/oral_audit/manifests/exo_17_massah_and_amalek_claims.jsonClaims manifest (verified live at render time)
| status | id | source | claim · evidence |
|---|---|---|---|
| VERIFIED | EX17-01 | Kitzur Baal HaTurim on Exod 17:2 (the quarrel-file); Minchat Shai on 17:2 (the printed-authority + the eight) | ma TERIVUN imadi, ma TENASUN et-YHWH ('why do you QUARREL with me? why do you TEST the LORD?'): the quarrel-verb in this form stands ONCE in the Torah (checked; the Kitzur's Masorah-three runs Scripture-wide: Gideon's 'will YOU quarrel for the Baal?' and Job's 'why do you quarrel against Him' — 'to teach: WHOEVER QUARRELS WITH HIS MASTER IS AS ONE WHO QUARRELS WITH THE HOLY ONE, and as one who quarrels for an idol'); the test-verb beside it equally alone (tenasun, checked at the build) — MS: BOTH written lean, no vav (the Chizkuni), and the verse is one of the Masorah's EIGHT double-ma verses ('what... what...', the list filed at Shemot's ma-shemo); and the printed-authority file opens the chapter: books that write TENA for the people's demand ('give us water,' 17:2) 'are in error' — TENU stands (MS): the demand is plural, aimed at the whole chain of command. count=1 refs=['Exod 17:2'] |
| VERIFIED | EX17-02 | Kitzur Baal HaTurim on Exod 17:3 (the brought-us-up file; the waters-file) | lama ze HEELITANU mi-mitzrayim ('why is this — you BROUGHT US UP from Egypt to kill me and my sons and my cattle with thirst?'): the brought-us-up accusation-verb stands FOUR times in the Torah (census exact, checked): Rephidim here, KORACH'S rebels ('is it a small thing that you brought us up,' Num 16:13), MERIBAH-KADESH ('why did you bring us up to this evil place,' Num 20:5), and the SERPENTS' station (Num 21:5) — the Kitzur wires this station to Korach's by the Masorah's pair-note: 'THE VERY SAME MEN who spoke here spoke there' (the complaint-file kept under one verb across forty years); and the thirst-word LA-MAYIM carries its own frame: in the Torah the word stands only HERE and at the CREATION-DIVISION ('between waters and waters,' Gen 1:6, checked at the build) — the Kitzur's Scripture-five named (Elisha's healing of the waters, Isaiah's 'ho, every thirsty one, come to the waters,' Jeremiah's drought-errand, Amos's famine 'not a thirst for water'): the wilderness thirst filed against the first sundering of the waters. count=4 refs=['Exod 17:3', 'Num 16:13', 'Num 20:5', 'Num 21:5'] |
| VERIFIED | EX17-03 | Minchat Shai on Exod 17:4 (the Ramah's spelling-ruling) | od meat U-SEQALUNI ('yet a little — and they will STONE ME'): the stoning-word stands ONCE in the Torah (checked) — and MS files its letter-law: LEAN after the lamed (no vav), and the final letter YOD both WRITTEN AND READ — against the Sura tradition (vav written, yod read), REJECTED by the Ramah: 'in all precise texts, yod written and yod read': the word in which Moses prices his own life kept to a single exact skeleton — the corpus notes the verse it crowns: the leader's cry (va-yitzaq) answering the people's quarrel with a body-count of one. count=1 refs=['Exod 17:4'] |
| VERIFIED | EX17-04 | Minchat Shai on Exod 17:6 (Ben Asher's pointing) | hineni omed lefanekha sham AL-HA-TZUR ('behold, I stand before you there ON THE ROCK at Horeb'): MS — the AL is pointed 'with the lengthener AND with the binder-stroke, and so it is for BEN ASHER' (the maarikh-and-maqqef pointing): the checked fact — the ON carries the binder-stroke to the rock (maqqef, verified in the SNAPSHOT column) with the little vertical lengthener in-token (verified at the build): the preposition of the Presence's standing-place bound to its rock by Ben Asher's own stroke — the corpus files the crown where it lands: the verse in which the LORD stands ON the thing about to be struck. maqqef_after=1 |
| VERIFIED | EX17-05 | Kitzur Baal HaTurim on Exod 17:7 (the or-not file) | ha-yesh YHWH be-qirbenu IM-AYIN ('is the LORD in our midst — OR NOT?'): the or-not QUESTION in its pausal form stands exactly TWICE in the Torah (adjacency checked): the presence-question here and the SPIES' question ('is there wood in it OR NOT,' Num 13:20) — the Torah's only two sentences that end on the long open 'or NOT?' (the two other im-plus-nothing contacts, the penniless thief 22:2 and Moses' if-Your-presence-goes-not 33:15, run the SHORT form mid-breath — the census made at the build) — and the Kitzur's Masorah-file runs the question to WAR both times it is asked: 'as with Absalom's counsel (war with David), as with the spies (had they not been sent, no sword would have been needed) — so here: BECAUSE they said is-the-LORD-in-our-midst-or-not, AMALEK CAME upon them' (the next verse's attack read as the question's own answer); the corpus notes the machine's mirror: the question is the exact im-lo of 16:4's test turned back on the Tester — at the place that will be named for it. pairs=['Exod 17:7', 'Num 13:20'] |
| VERIFIED | EX17-06 | Kitzur Baal HaTurim on Exod 17:8 (the slack hands) | va-yavo amaleq va-yilachem im-yisrael BI-REFIDIM ('and Amalek came and fought with Israel IN REPHIDIM'): the station-name written LEAN exactly here and in the itinerary's memorial of it (Num 33:14, census pair, checked) — while the ARRIVAL (17:1) writes it FULL (checked at the build; the departure 19:2 full again): the Kitzur reads the thinned name at the attack: REFIDIM = REFU YADAYIM — 'they WEAKENED THEIR HANDS from the commandments, therefore Amalek came' (the name's own letters slackening in the verse where the enemy arrives — the gematria-face of the same reading named: 'with Israel in Rephidim' counted against 'their hands weakened from the commandments,' the tradition's own arithmetic device); the corpus files the letter-fact under its machine-mirror: the chapter of the RAISED hands opens with the name of the SLACK ones. count=2 refs=['Exod 17:8', 'Num 33:14'] |
| VERIFIED | EX17-07 | Kitzur Baal HaTurim on Exod 17:9 (the go-out pair) | bechar-lanu anashim VE-TZE hilachem ba-amaleq ('choose us men and GO OUT, fight against Amalek'): the go-out imperative stands exactly TWICE in the Torah (census pair, checked): Moses to JOSHUA here — and ISAAC to ESAU ('and GO OUT to the field and hunt me game,' Gen 27:3): the Kitzur on this pair: 'he told him to go out BEYOND THE CLOUDS' (the battle fought outside the cloud-cover's protection — the camp's shelter has an edge, and Amalek lives past it); the corpus files the pair's own irony unnamed by the chain: the verb that sent Esau hunting sends Israel against ESAU'S GRANDSON (Gen 36:12 — Amalek, son of Eliphaz, son of Esau): one imperative, the field of the first feud and its farthest descendant. count=2 refs=['Exod 17:9', 'Gen 27:3'] |
| VERIFIED | EX17-08 | Minchat Shai on Exod 17:10 (the printed-authority) | u-moshe AHARON ve-chur alu rosh ha-giva ('and Moses, AARON, and Hur went up the top of the hill'): MS — 'some err in it, writing VE-AHARON' (and-Aaron): the true text runs the three names with ONE vav missing — Moses-and-Hur conjoined, AARON bare in the middle (checked: the aharon-token stands once in the verse, unprefixed) — the printed-authority file's third station this chapter (tenu 17:2, ve-aharon here, the Recanati's yado at 17:12): the corpus notes what the lean list carries: HUR'S DEBUT — unintroduced, unpatronymed, hoisted mid-verse into the corpus to hold up its leader's hands (his whole Torah career the three ve-chur tokens, asserted at the build: the hands here, the hands at 17:12, the regency at 24:14). in-verse count=1 |
| VERIFIED | EX17-09 | Minchat Shai on Exod 17:12 (the Recanati corrected); Kitzur Baal HaTurim on 17:12 (the three fathers) | va-yehi YADAV EMUNA ad-bo ha-shamesh ('and his hands WERE FAITHFULNESS until the coming of the sun'): MS defends the text against a printed authority: the Recanati's books quote YADO lean (one hand) for the mystical right-hand reading — 'A COPYIST'S ERROR fell in the Recanati's books, and others erred after them: in ALL our books YADAV IS FULL WITH YOD, and so the Masorah proves' (checked: the plene form stands in the verse) — the true derash rides the GRAMMAR instead: VA-YEHI singular, YADAV plural ('his hands WAS faithfulness' — Ibn Ezra: each hand severally; the Zohar: because all hangs on the RIGHT hand, the verb goes single); and the Kitzur reads the closing phrase as the THREE FATHERS holding the line: EMUNA is ABRAHAM ('and he BELIEVED in the LORD'), AD-BO is ISAAC ('and Isaac CAME from coming'), HA-SHAMESH is JACOB ('and he lodged there, for the SUN had come'): the leader's arms steadied by a stone, two officers, and three generations of merit. in-verse count=1 |
| VERIFIED | EX17-10 | Minchat Shai on Exod 17:12 (the coming of the sun; the Menachat Cohen; the Ramah) | ad BO ha-shamesh ('until the COMING of the sun'): the coming-word written LEAN (no vav — checked at the build against the SNAPSHOT skeleton) — and MS walks the Masorah-lists to prove it: the great Masorah's plene-roster counts five in the Torah, and one printed list smuggles in 'until the coming of the sun' of Mishpatim (22:25, the pledge-law) — but the Kings/Isaiah/Ezekiel Masorah counts THIRTEEN plene without either sun-verse, 'and so in all books BOTH are lean, and so ruled THE ARBITER, the Ramah': the sun that sets on Moses' steadied hands and the sun that sets on the poor man's returned cloak share one thinned skeleton — the corpus files the pair the ruling creates: the battle-sunset and the mercy-sunset, both written short. in-verse count=1 |
| VERIFIED | EX17-11 | Kitzur Baal HaTurim on Exod 17:14 (the blot-pair; the cipher) | ki MACHO EMCHE et-zekher amaleq ('for I will UTTERLY BLOT OUT the memory of Amalek from under the heavens'): the I-will-blot verb stands exactly TWICE in the Torah (census pair, checked): THE FLOOD ('I will blot out man whom I created,' Gen 6:7) and AMALEK here — the Kitzur: 'as THERE all that was in the earth was blotted, so Amalek must be blotted UNTIL NO MEMORY REMAINS — and Saul was punished for leaving him a remnant' (1 Sam 15 named); and the doubled verb carries the remnant's own name in cipher: MACHO EMCHE = ZE HAMAN ('this is HAMAN,' 107 = 107, asserted at the build — the Agagite of Esther as the blot-command's unfinished business); the corpus adds the machine-fact the verse sits on: ZIKARON ('memorial') here is the word's FIRST station in the Torah (asserted) — the first thing the Torah orders WRITTEN is the erasure of a memory, recorded so the erasing is never forgotten. count=2 refs=['Exod 17:14', 'Gen 6:7'] |
| VERIFIED | EX17-12 | Kitzur Baal HaTurim on Exod 17:14 (the initials) | ZIKARON BA-SEFER VE-SIM BE-AZNE yehoshua ('a memorial IN THE BOOK, AND SET IT IN THE EARS of Joshua'): the four words' INITIAL LETTERS spell ZEVUV — THE FLY (checked by machine: zayin, bet, vav, bet) — the Kitzur: 'for Amalek CHASED AFTER THE BLOOD OF ISRAEL LIKE A FLY': the write-command's own first letters carrying a portrait of the enemy it condemns (the corpus files the acrostic-class's second machine-verified member, after 16:32's Elijah): the fly at the blood written into the order for its own erasure. initials=בבוז |
| VERIFIED | EX17-13 | Kitzur Baal HaTurim on Exod 17:15-16 (the banner; the ciphers); Minchat Shai on 17:16 (the two-word ruling; the lean pair) | ki-yad al KES YAH ('for a hand is upon the THRONE OF YH'): the throne-word KES a Torah-hapax (its adjacency to the half-Name unique, checked) — and MS files the ruling of the era: the Radak read ONE WORD (kisyah); the old codices split West (one word) against East (TWO words); the Talmud's own amoraim divided (Pesachim) — 'and the RAMAH ruled: in precise texts, TWO WORDS,' with the Meiri concurring: the SNAPSHOT writes two (the tradition beneath both: neither the throne nor the Name is written whole while Amalek remains); the verse itself one of the Masorah's SIX with five consecutive two-letter words (ki-yad-al-kes-yah, asserted at the build); the Kitzur's two ciphers on the war's ends: the YOD of ki plus YAD = DAVID (24 = 24, asserted — the hand that will fight the throne's war), and MI-DOR DOR ('from generation to generation,' both written LEAN — MS; the first form unique, checked at the build) = LI-YEME MASHIACH ('to the days of MESSIAH,' 448 = 448, asserted): the throne's war signed by its two future generals; and YHWH NISI ('the LORD is my banner,' 17:15) — the banner-word's only Torah station (checked at the build; the Kitzur's Scripture-twin: 'I will raise My banner to the peoples,' Isaiah — 'a REAL banner: he called the Holy One my banner and my standard'). pairs=['Exod 17:16'] |
IN-PIPELINE (forward era, run FWD-8 block 1). Zero web fetches. Manifest: logic/oral_audit/manifests/exo_17_massah_and_amalek_claims.json — 13 VERIFIED · 0 FAILED · 0 UNCHECKABLE (one row SHARPENED by the verifier itself: the or-not census is a pausal-form PAIR, not a four — see EX17-05).
Sources: Minchat Shai on Exod 17 (10 notes) · Kitzur Baal HaTurim on Exod 17 (13 notes) (the Ramah as arbiter three times; the Recanati corrected; Ben Asher's pointing; the Zohar and Ibn Ezra on the singular verb; Pesachim's two-word dispute; the West/East codex split).
CROWNS
- EX17-01 the quarrel-file: תריבון ("you quarrel") Torah-unique (checked) — "whoever quarrels with his master quarrels with the Holy One"; תנסון ("you test") equally alone (asserted): 16:4's test-verb INVERTED on the Tester; one of the Masorah's EIGHT double-מה verses; printed-authority: תנו ("give") defended against presses' תנה.
- EX17-02 the brought-us-up file: העליתנו ("you brought us up") exactly FOUR (census exact): Rephidim → Korach ("the very same men") → Meribah-Kadesh → the serpents — forty years of accusation under one verb; למים ("for water") a Torah-pair with the creation-division (Gen 1:6).
- EX17-03 the stoning-word: וסקלני ("and they will stone me") Torah-unique; the Ramah rejects Sura's vav — final yod written AND read.
- EX17-04 Ben Asher's stroke: על־הצור ("on the rock") — the preposition bound to its rock by the binder-stroke, lengthener in-token (checked): He stands ON the thing about to be struck.
- EX17-05 the or-not pair (SHARPENED): אם אין ("or not?") in the long pausal form exactly TWICE: the presence-question and the spies' wood-question (Num 13:20) — the two the Kitzur wires to WAR ("because they said it, Amalek came"). The draft claimed the four raw contacts; the verifier's transliteration layer split pausal from short forms — the corrected claim is STRONGER (the two long or-nots are exactly the two war-wires).
- EX17-06 the slack hands: ברפידם ("in Rephidim") LEAN at the attack + its itinerary-memorial (Num 33:14, pair checked); FULL at arrival and departure (17:1, 19:2, asserted) — Rephidim = רפו ידים ("they weakened their hands").
- EX17-07 the go-out pair: וצא ("and go out") twice: Moses to Joshua, Isaac to Esau — "out beyond the clouds"; the verb that sent Esau hunting sends Israel against Esau's grandson.
- EX17-08 the bare Aaron: ומשה אהרן וחור — "some err writing ve-Aharon" (checked bare); Hur's debut, career = three tokens (asserted).
- EX17-09 the full hands: ידיו ("his hands") PLENE — the Recanati's lean ידו "a copyist's error"; the derash rides the grammar (singular verb, plural hands); the three fathers: אמונה Abraham, עד בא Isaac, השמש Jacob.
- EX17-10 the lean sun: בא ("coming") lean here + Mishpatim 22:25 — the battle-sunset and the mercy-sunset one skeleton.
- EX17-11 the blot-pair (marquee): אמחה ("I will blot out") exactly TWICE in the Torah (checked): THE FLOOD (Gen 6:7) and AMALEK — Saul punished for the remnant; מחה אמחה = זה המן ("this is Haman," 107=107, asserted); זכרון first station (asserted): the Torah's first write-command commissions an erasure notice.
- EX17-12 the fly: initials of זכרון בספר ושים באזני spell זבוב ("a FLY," machine-checked, initial_letters) — "Amalek chased Israel's blood like a fly."
- EX17-13 the throne-file: כס ("throne") hapax bound uniquely to יה the half-Name (adjacency checked) — neither written whole while Amalek remains; the two-word ruling (Radak vs the Ramah/Meiri; West/East; Pesachim — dual-tracked); FIVE consecutive two-letter words (asserted); נסי ("my banner") Torah-unique; מדר דר both lean; ciphers: yod+יד = דויד (24), מדר דר = לימי משיח (448) — David and Messiah signed into the oath.
MACHINE
4 DECLAREs / 3 RESULTs / 2 EVENTS / 2 NAMEs — two theaters: the water court (the people's first imperative demand 17:2 + the strike-order 17:5 both pop at 17:6 on va-yaas-ken; the drinking unnarrated — banked on warranty) and the war (Joshua's commission 17:9 pops 17:10 on the full obedience-formula — the successor's first verb is compliance; the WRITE-COMMAND 17:14 — the Torah's FIRST — stands OPEN, unreceipted in-span: Deut 25:19 armed). Events: the attack (17:8, the corpus's first pitched battle) and the weakening (17:13, unique verb — the battle ends without an ending; the chapter's one no-rest verse). Two NAMEs on one naming-verb: the charge sheet (17:7, first DOUBLE place-name) and the banner-altar (17:15); REGISTRY 2. The im-lo/im-ayin mirror; the kaved-root crossing from Pharaoh's heart to the deliverer's hands (17:12); the staff's resume (17:5 — the first tool cited by service record); Joshua and Hur unintroduced; the control loop (17:11 — a hand as the battle's state-variable); the perpetual war mandate-class (17:16). TESTS 0. Queue at close: ONE open in-unit (the write-command).
TIMING (owner-requested timer)
Block wall time: 07:01:17 → 07:19:29 CDT ≈ 18m12s (ritual complete; block 1 carried run setup: process law + toolchain reload after context compaction). Segments: prestage + mirror dumps + probes ~7m; manifest 13 rows authored + verified ~4m (one row sharpened, second run clean); unit build ~5m (gloss_lint 3 flags fixed at source → 0); ritual green (regression 93/93). 93 frozen units.