# CAIN-A75-005 Research Provenance Review

**Verdict:** VERIFIED

> Re-checks the programme's own ledger: dependency graph, bounded constructions (Sidon, Ramsey), external proof hashes, status propagation and independent reviews. It does not re-run an external formal proof and does not prove the mathematics beyond the bounded construction it re-checks.

| Programme | Verdict | Claims | Established | Conditional | External | Refuted | Failed checks |
|---|---|---|---|---|---|---|---|
| 0 open-world-math-station-sample | CONSISTENT | 5 | 2 | 2 | 1 | 0 |  |

## What this proves and what it does not
- Proves: every bounded construction re-checks exactly, the dependency graph is acyclic, statuses propagate from evidence, an external proof is labelled EXTERNAL rather than ESTABLISHED, reviews count only when independent and current, and the programme's summary does not overstate the ledger.
- Does not prove: that an external Lean/Coq proof is correct, that a listed construction is the whole argument, or that the agents and operators are who they claim to be.
- Verify offline: `python3 verify_offline.py run.json --pinned-key W2JA1ibUIv72UVHnEpj4x/+KMoba3ocZt+QPA/i6mfo=`