SOURCE AI_Governance_Reality_Infographic.png
MD5 60845d9c · made 2026-10-03 · NotebookLM infographic · OCR tesseract 5.5.1

Output Quality Is Undecidable
(Rice’s Theorem)

No software can prove whether

another program's arbitrary output 4

is inherently good or safe. 4 / Arbitrary
Output

Agent's

Logs Are Not Proof Self-Generated
(Data Processing Inequality) pally A
An agent's self-generated account

cannot independently prove what the
execution process displaced.

Literal Command:

OPTIMIZE EFFICIENCY

Overdelivery Against
Literal Goals Creates Drift
Agents optimize literal

commands at the expense of

unstated human intent,
causing slient breaches.

Unstated
Human Intent

Eas bl

Replace Self-Reports with
Recomputable Receipts
Auditability relies on third parties

re-running deterministic functions
over sealed, committed artifacts.

cryptyit hesh

Sealed, Committed Recomputable
Artifact Receipt

Shift Focus to V) +)

“Whether You Checked”

Timestamped records created
before execution prove compliance

regardless of whether output is fiawed. __
Timestamped Execution

Record

Threshold
Limit

—@©

Risk Pricing
Triggered

Deploy Cause-Blind
Parametric Triggers
Objective boundary crossings
instantly trigger risk pricing
without requiring iitigation

or attribution arguments. ort

AN Gemini Notebook