SELF-CONTAINED · OFFLINE · SOURCE-LINKED

Proof,
not promises.

Clone the repository and run the same checks published here. They require no private service, hidden benchmark, or network call.

python3 scripts/prove.py

VERIFICATION RUN

Proof loading

PENDING

AUDITABLE SURFACE

Every row links to committed implementation and test evidence. Select a claim to inspect its contract.

SELECTED CLAIM

Reading the committed contract…

HONEST BOUNDARY