# Research Provenance Review

**SKU:** CAIN-A75-005  
**Development:** #5 Open-world multi-agent mathematical discovery  
**Product status:** DELIVERABLE  
**Engine:** `research_provenance` (`cain_a75_engines/researchgraph/engine.py`)  
**Profile:** `open_world_math`  
**Generated:** 2026-11-12T07:59:10Z UTC

## Result

VERIFIED: 2 established, 2 conditional, 1 external; 24/24 ledger-failure cases as expected

- **open_world_math_programme**: VERIFIED
- **honest_programme**: CONSISTENT
- **conditional_theorem_called_established**: INCONSISTENT
- **external_proof_called_established**: INCONSISTENT
- **conjecture_called_established**: INCONSISTENT
- **broken_graph_construction**: INCONSISTENT
- **sidon_set_with_a_repeated_sum**: INCONSISTENT
- **sidon_size_overstated**: INCONSISTENT
- **self_review_only**: INCONSISTENT
- **same_operator_review_only**: INCONSISTENT
- **review_is_stale_after_an_edit**: INCONSISTENT
- **review_rejected**: INCONSISTENT
- **depends_on_a_refuted_claim**: INCONSISTENT
- **dependency_cycle**: INCONSISTENT
- **unknown_author**: INCONSISTENT
- **missing_dependency**: INCONSISTENT
- **construction_without_object**: INCONSISTENT
- **unsupported_family**: INCONSISTENT
- **external_proof_without_hash**: INCONSISTENT
- **construction_too_large_to_check**: INCONSISTENT
- **bad_kind**: INCONSISTENT
- **duplicate_claim_id**: INCONSISTENT
- **no_summary**: INCONSISTENT
- **wrong_schema**: INCONSISTENT
- **garbage**: INCONSISTENT

## Limits of this run

Re-checks the supplied ledger: dependency graph, bounded constructions (Sidon set, Ramsey graph), 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. The run is Ed25519-signed; pin the issuer key out of band.

This is a bounded run on a sample. It is not an assessment of any production system, not a
certification, and not a signed attestation. The accompanying `manifest.json` records SHA-256
hashes so a recipient can detect a changed file. The manifest is not a signature and not an
attestation; it does not prove who produced the artifact.

## What this is not

- Not a vendor integration, partnership or endorsement.
- Not legal, tax, clinical, insurance or safety advice.
- Not a third-party audit, SOC 2 report, ISO certification or patent filing.
- Not a production write action: no downstream tool was called.

Prices and packaging are proposals. Built by a three-person team.