A

Attest

Proof, not promises: sealed tests, bound verification, breaker pass, drift audit.

connecting…

Select a run or start one. Every run ends in one of VERIFIED, NEEDS HUMAN, INFEASIBLE, NO CHANGE or ERROR, never a silent guess.