Documentation
Exhibit A has one rule: a runnable fail-to-pass test, or silence.
A VERIFIED Case shows that an exact generated test failed on the reported state for the expected reason and passed on the fixed state under deterministic execution. It does not prove developer intent, complete program correctness, universal causality, or that a candidate repair should be merged. Research scores and study reports are descriptive. They never override the deterministic flip check.
Read the project overview for the full product pitch, architecture, setup instructions, and Codex usage.
Evidence engine
- Operational contract
- Model provider boundary
- Evidence connectors
- Behavior-preserving refactor claims
- Mutation-testing foundation
- Verified evidence minimization
- Evidence strength scalar