🪪 How to Insure Autonomous AI Agents

The parametric intake notice, the audit card, and a ledger that labels missing data as unmeasured.

❌ Errata, line by line

• “Guaranteeing the AI stays entirely within verified limits and declared lanes.” 00:34The lanes are declared; the receipt places the work against them after the fact. Staying inside is never promised.promises the agent stays inside a line · settled by CLAUDE.md NEVER GUARANTEE BEHAVIOR
• “but we can mathematically guarantee it never goes into the gutter.” 00:44We guarantee the gutter ball is detected, placed, priced and dispatched — never that it does not happen.promises the agent stays inside a line · settled by CLAUDE.md NEVER GUARANTEE BEHAVIOR
• “which acts as a clear receipt proving exactly what the AI is coded to do,” 00:57The card shows where the work landed against the declared lane; what the code would do is undecidable (Rice).claims to prove what the agent did from its own account · settled by CLAUDE.md AXIOM 1 · the paired sentence

✅ Said right, quoted as said

• “Because of a computer science rule called Rice's theorem,” 00:23
• “I mean, how do you hand an insurance broker an AI?” 00:50
• “putting the exact building code right next to the receipts of how it's actually running.” 01:17
• “It isolates any drift, calculates computing costs to the fraction of a cent,” 01:21
• “and strictly labels missing data as unmeasured.” 01:26

✏️ Nearly right, and the line we would sign

• “really driving home that unwitnessed AI execution is simply uninsurable negligence.” 01:31→ An agent nobody else can recompute is a risk nobody can price.negligence is a legal finding we do not make; the pricing sentence is the one we stand behind

📝 The transcript, word for word with timestamps · mdx seed: “Labelled Unmeasured” ★★★☆☆

Running a tool-calling agent unattended? Read what we warrant on our own act, then install from the Marketplace.