
npx thetacog-mcp attest-demo · "Trust Physics."


npx thetacog-mcp attest-demo — "the radio" (the T.J. Hooper standard).
Each load-bearing claim from the five infographics, checked against primary authority. Where a figure was wrong in the source art, it is corrected here; where a claim is our own result rather than settled fact, it is flagged as such.
| Claim (as shown) | Verdict | Basis |
|---|---|---|
| Software cannot reliably decide non-trivial semantic properties of other software (Rice's theorem) | Verified — math | Rice's theorem (1953): every non-trivial semantic property of a program's behavior is undecidable. A corollary of the halting problem. This is the hard ceiling under "LLM-judges-LLM," not a tooling gap. |
| LLM judges flip verdicts on identical inputs near boundaries ("the 40/50/80% flip band") | Verified — independent | Controlled position-bias studies: swapping the order of two identical responses literally flips the verdict; the effect is systematic directional bias, not random noise. Verbosity/format biases compound it. (IJCNLP 2025 position-bias study; EvidentlyAI; Adaline.) |
| The T.J. Hooper inversion — once a monitor exists, not using it is negligence; custom is no defense | Verified — case | The T.J. Hooper, 60 F.2d 737 (2d Cir. 1932), Learned Hand. Tugs lost barges for lack of a (non-customary) radio; held negligent anyway. Hand's actual test: a precaution that is available, reasonable, and proportionate — not "any new gadget creates a duty." The "inversion" applied to AI monitors is our framing of that established test. |
| Directors are personally liable for an oversight failure (Caremark) | Verified — case | In re Caremark, 698 A.2d 959 (Del. Ch. 1996): duty to make a good-faith effort to install/monitor systems that surface mission-critical risk. Marchand v. Barnhill, 212 A.3d 805 (Del. 2019, Blue Bell) revived it for a "mission-critical" risk. |
| "$237.5M oversight penalty" | Verified — but re-attributed | The figure is real but is the Boeing 737 MAX derivative settlement (In re Boeing, Del. Ch., approved 2021) — the largest duty-of-oversight settlement in Delaware history. It is not the McDonald's figure; the source art conflated them. |
| Personal liability "ends at the officer" (McDonald's doctrine) | Verified — case | In re McDonald's, 289 A.3d 343 (Del. Ch. 2023): extended the Caremark oversight duty, for the first time, to corporate officers — the people who actually deploy the AI. |
| The exposure is personally uninsurable | Sound — legal analysis | Oversight liability sounds in bad faith (a loyalty breach): the category §102(b)(7) charter exculpation does not cover, §145 indemnification needs good faith to reach, and D&O conduct exclusions / public policy carve out. One of the few exposures the usual backstops are designed not to fully absorb. |
| "Silent AI" exclusions (ISO CG 40 47/48; Allianz, W.R. Berkley) are arriving now | Verified — independent | Verisk/ISO forms CG 40 47 (broad, Coverage A+B) and CG 40 48 (Coverage B) attach at U.S. CGL renewals from 1 Jan 2026, trigger on loss "arising out of" generative AI. By Apr 2026 W.R. Berkley, Chubb, Travelers, Berkshire Hathaway, Cincinnati Financial had filed; >80% of filings approved. (IndependentAgent.com; actuary.info; the CG 40 48 form text.) |
| ~6M walks/sec, 144-tile lattice, ed25519 recomputable bearer receipt, byte-identical re-verification | Our result — receipt proven, drift partial | The cryptographic receipt layer is implemented and verifies independently offline today (ed25519; recompute = Exit 0). The throughput and the physical-drift / 3.5σ signal beneath it are stated, by our own ledger, as a partial result on a single architecture — not yet the bankable, cross-hardware claim. |
| The σ verdict is a "strike price" — drift becomes a priced financial instrument | Our direction — honest inches open | PMU calibration produces a premium from a breach rate (~13% dogfood breach = the loss-ratio asset). Two inches remain open and are stated as such: surface-robustness and true out-of-sample calibration. Adjacent to a Black-Scholes-style primitive; not a closed pricing model yet. |
/standards/.