The proof bundle ships a verify-only reproducibility pack: Rust verifier source, artifacts, checksums, and exact expected verdicts. A skeptic re-derives every claim from the data — nothing is taken from the producer's self-report. Deterministic, offline native verification (~690 KB). Same inputs ⇒ identical outputs on any machine.
| Proof | Command | Headline | Verdict |
|---|---|---|---|
| Frame log | aime-proof-verify frames | 2000 frames · 0 violations · 1000/1000 grounded arrivals | PASS |
| Atlas | aime-proof-verify atlas | 200 worlds × 1000 starts → one endpoint [[0,0,0,0]] | PASS |
| Tamper | aime-proof-verify tamper | All forged logs rejected | PASS |
| Fraud | aime-proof-verify fraud | 0 silent fraud misses · 123/123 novel frauds escalated | PASS |
| SVG dot | aime-proof-verify svg-dot | 5 / 5 cases · dot detected · hard negatives ignored | PASS |
| SVG traces | aime-proof-verify svg-traces | 10 / 10 variations detected · faint scores below bold | PASS |