CAIN-42 CAIN StudioFAQ
Is this the same as testing?
No. A proof covers every integer input; tests cover the inputs you picked.
Can I trust "proved"?
Inside the subset, after today's fixes, the fuzzer found no wrong verdict in 3,000 contracts. That is evidence, not a guarantee. The certificate's re-checker also spot-checks 20,000 inputs independently.
Why refuse so much code?
Because outside the subset the translation would be a guess, and a guessed proof is worse than no proof.
Does it use an AI model?
The check does not: it is Z3. VeriCoding KEYSTONE uses a model to propose fixes, and Z3 to check them.
FIRME AI CORPORATION · CAIN-42 is a Byzantine trust fabric. Numbers marked "our own check" were run by us, not by an independent party. Nothing on these pages is a certification.