Evidence, abridged
Twelve claims, each with its instrument, its result and its limit
The twelve come from eleven case studies, two of them from OpenEar. Each claim links to the case where its method is written out in full. The last column is what the instrument can’t show, because a result without its limit is only half a receipt.
| Claim | Instrument | Result | Limit |
|---|---|---|---|
| FIRST LIGHT’s boards can all be finished | A grid-reachability prover inside the 327-test suite | 132/132 boards proven, 39 of them with indestructible gold in play re-run 12 Oct 2026 | It proves no brick is sealed off, not that every brick is easy to hit. The build’s test step reports a failure but doesn’t yet stop the build. |
| OpenEar uses the speech recogniser that lost on word error rate | A word-error-rate harness over 124.8 min of public-domain audio and three models; its raw outputs re-derived on 12 Oct | 3.3% vs 2.9% averaged per recording (pooled: 725 vs 644 errors in 21,801 words, 3.33% vs 2.95%); on the first 21-minute recording, 96% vs 48% of chunks end a sentence, at 36× real time on a CPU vs 19× on a GPU | Trained audiobook readers, not live speech. |
| OpenEar’s translator was re-tested blind against a rival, and kept | A blind LLM-judge panel with hidden negative controls; a scorer self-test of 21 controls | 960 judgments, 0 judge chunks rejected; NLLB vs MADLAD: Korean 72.9 vs 70.7, Spanish 87.3 vs 87.4 (a tie); self-test 21/21 re-run 12 Oct 2026 | LLM judges, not a human panel. Korean translation scores about 14 points below Spanish. |
| Q&AI ships only when it identifies the likely picks | Deterministic self-play; the ship script refuses anything below 98% | 368/368, a mean of 15.6 questions against a theoretical floor of 9.94 (log₂ 983). Without the information-gain fix: 96.7%, and the gate fails re-run 12 Oct 2026 | Perfect-answer simulation. One wrong answer gives 84.2%; the full 983-character corpus gives 82.6%. A separate deploy command skips the gate, for use straight after a green run. |
| The framework stops private material before a public push | A pre-execution hook on every shell command an AI coding agent runs | 13 synthetic events: 8 refused and 5 allowed, every verdict as designed, in 45–153 ms each across two runs re-run 12 Oct 2026 | It sees only the agent’s shell commands, and it matches a denylist; it doesn’t understand what it blocks. |
| Three outages on two Macs were a kernel clock wrap, not load | A control host at a different uptime, then Apple’s published XNU source | 15,882 vs 3 sockets in TIME_WAIT at 68 vs 6 days of uptime recorded 7 Oct 2026; the guard changes from a plain < to TSTMP_LT in macOS 26.4 |
That the installed release carries the fix rests on source lineage. |
| OpenSong fits a 24 GB-class music model to smaller cards | A process-versus-device GPU memory log, and a single-variable A/B rig | 21,337 → 8,804 MiB on a 4:35 song; Compact peaks at 5,763 MiB with the allocator capped at 6 GiB, emulating an 8 GB card recorded 21 Sep 2026 | One RTX 3090. The 12 GB and 8 GB fits are sizing claims, not runs on those cards. |
| Replicator’s accepted sounds can’t quietly get worse | A regression set accepted by ear, seeded renders, and a 0.05 dB gate | 6 of 6 within 10−6 dB of baselines accepted four weeks earlier re-run 12 Oct 2026 | Acceptance needs a human listener, and the gate runs only when someone runs it. |
| OpenSign’s verse text is exact | Generated from the official text by a script that asserts its sources | 710 entries. The AI-recalled first cut had 9 of 30 wrong. | 40 references were excluded by hand. |
| OpenSteward converges with no server | A seeded shuffle test of the fold engine | 11 events from 3 devices, folded in 500 orders to identical state; 9/9 tests pass re-run 12 Oct 2026 | Engine-level, with a toy reducer. Never run across two physical machines. |
| CartoFancy’s “you’ve lost” is a proof | A cross-check against exhaustive search | 240 boards × 2 settings agree; 4,000 of 4,000 seeded deals solved re-run 12 Oct 2026 | Small boards, and its own seeded deals rather than the classic numbered ones. |
| OpenOrder is in weekly use | The generator’s fingerprint, read across the archive of decks actually projected | 29 consecutive Sundays; 31 decks across two congregations | An inference from fingerprints, not a usage log. The app has 0 automated tests. |