When your limit is 0.1.
The proof is about 0.1.
We verify the number you declared, not the nearest one. Results come back clean about the specification you actually wrote.
You get the answer, and the working.
A FORMAL INVARIANCE ATTESTATION
A single document, written to be read by the people whose job it is to be unconvinced.
The system model, as specifiedThe mathematical dynamics of your modeled system we evaluated, reproduced exactly.
What had to stay true, and whereThe condition your system must not break, and the operating range it had to stay true inside.
Every boundary, checkedEvery boundary your system must not cross, checked one at a time, with counterexample if one exists.
The theorems and the methodWhich results the conclusion rests on and how they were applied.
The conclusionStated plainly, and scoped to exactly what was evaluated.
The record behind itEvery step recorded, ordered and sealed at the time it happened, so the document can be checked long after it was delivered. By you, by a regulator, or by a court.
What it does not cover
We make no claim about your AI model’s weights, its training, or whether any particular output is correct. We do not read your source code. The proof is about the system model as specified, inside the operating range you declared, and how faithfully that model represents your device stays with you.