# OMK Proof Index

Generated by `node scripts/build-proof-index.mjs`.

| Proof ID | Scenario | Provider policy | Verdict | Bundle file | SHA-256 |
| --- | --- | --- | --- | --- | --- |
| 001-no-kimi-codex-smoke | no-kimi-smoke | codex pinned; KIMI_BIN=/nonexistent/kimi; MCP preflight off; MCP scope none | passed | `proof/verified-runs/001-no-kimi-codex-smoke/proof-bundle.json` | `cfc861056bf78f0ca34dbb19655a9925c6a6ab8583d993f3cbee521c7e1a3ccb` |
| 002-doctor-provider | doctor-provider | doctor JSON smoke with KIMI_BIN=/nonexistent/kimi and local MCP preflight disabled | passed | `proof/verified-runs/002-doctor-provider/proof-bundle.json` | `5a8af895acd785d890e5abf3afce84c5947d8a8447f1890cf24cdb70c0631592` |
| 003-fallback-route | fallback-route | auto provider route; KIMI_BIN=/nonexistent/kimi; MCP preflight off; MCP scope none | passed | `proof/verified-runs/003-fallback-route/proof-bundle.json` | `cfe220b5e83152409bb0ac63568a5fcab2d4235f991a1f2357fb150752d61222` |
| 005-contract-version-smoke | contract-version-smoke | local release contract gates: contract:check plus version:check | passed | `proof/verified-runs/005-contract-version-smoke/proof-bundle.json` | `f0d73e17c87228ca4f6febf58cc0ff09011f839af91c71091677ca506cbd99f1` |
| 006-evidence-block | evidence-block | local verifier fixture; required file-exists gate intentionally absent | passed | `proof/verified-runs/006-evidence-block/proof-bundle.json` | `2726ce927a9a28325e668e38fd0b331f06d2dedba19be6688b0d90d0e7b2c8d8` |
| 007-replay-inspect | replay-inspect | local replay fixture; no external provider calls | passed | `proof/verified-runs/007-replay-inspect/proof-bundle.json` | `fbefd16540382f5b6851fa99801b8f54ab6d1f71bf060b3087be89b33bb57518` |
| 008-graph-audit | graph-audit | local graph audit fixture; no external provider calls | passed | `proof/verified-runs/008-graph-audit/proof-bundle.json` | `7231c5b05a97e87b545f22ff24ca1efe44dbd72318c11a2220de8c1ae7d69cb4` |
| 009-no-kimi-smoke | no-kimi-smoke | provider-neutral no-Kimi gate; KIMI_BIN=/nonexistent/kimi; legacy Kimi fallback disabled | passed | `proof/verified-runs/009-no-kimi-smoke/proof-bundle.json` | `05a1ab82ecfdcfd2ffa82cb7b1c158abe96d789afdabcdb0da19da1bf7756bef` |
| 010-fallback-routing | fallback-route | deepseek transient failure fallback to Kimi authority path | passed | `proof/verified-runs/010-fallback-routing/proof-bundle.json` | `28affd26b39fe872d73b535beb74346194f8ead65cadec7f30eedec0e370608e` |
| 011-regression-proof-matrix | regression-proof-matrix | local deterministic regression proof matrix verification | passed | `proof/verified-runs/011-regression-proof-matrix/proof-bundle.json` | `ba25a099ecc518241ff5fed42c40aaf3ef48f36f2d9988d0842d499d58128c3d` |
| 012-release-truthfulness | release-truthfulness | local release truthfulness metadata verification | passed | `proof/verified-runs/012-release-truthfulness/proof-bundle.json` | `6ffead56a5632fdc230faa0a2a65ca627b6469cb9ca8800c60a9f68e5cc168de` |
