# Formal Artifact Review

**SKU:** CAIN-A75-011  
**Development:** #11 Self-supervised theorem discovery  
**Product status:** DELIVERABLE  
**Engine:** `formal_artifact` (`cain_a75_engines/formalartifact/engine.py`)  
**Profile:** `checked_add_zero`  
**Generated:** 2026-11-12T07:59:12Z UTC

## Result

VERIFIED: artifact/checker/statement binding, checker results, dependencies, placeholders and axioms recomputed; 17/17 artifact-failure cases as expected

- **checked_add_zero_proof**: VERIFIED
- **honest_checked_proof**: CERTIFIED
- **placeholder_sorry**: UNCERTIFIED
- **nonstandard_axiom**: UNCERTIFIED
- **check_failed**: UNCERTIFIED
- **check_unknown**: UNCERTIFIED
- **check_not_bound_to_artifact**: UNCERTIFIED
- **dependency_uncertified**: UNCERTIFIED
- **dependency_missing_hash**: UNCERTIFIED
- **statement_hash_mismatch**: UNCERTIFIED
- **missing_checker_version**: UNCERTIFIED
- **missing_artifact_hash**: UNCERTIFIED
- **duplicate_check**: UNCERTIFIED
- **smuggled_assumption**: UNCERTIFIED
- **claim_overstates**: UNCERTIFIED
- **unknown_claim**: UNCERTIFIED
- **wrong_schema**: UNCERTIFIED
- **garbage**: UNCERTIFIED

## Limits of this run

Reviews the supplied formal-artifact record. It does not run the checker or re-prove the theorem, and a result is only as trustworthy as the checker and record. 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.