CAIN-42 CAIN StudioLimits
| Limit |
|---|
| Pattern rules over the diff text, not a program analysis: a weakened assertion written in an unusual style, or a test disabled in a way not listed, can still pass |
| The gate sees only the diff. A test that was already broken before the PR is not its concern |
| Binding is only as good as the diff you pass: compute it the same way the gate did (the Action sends git diff of the PR) |
| The KEYSTONE key signs several KEYSTONE products; the statement type check is what separates them |
| Our own blind set and runs; no independent test |
| Engine 1.1.0 and the /verify binding run in the gateway: live after the owner's next gateway rolling deploy. The offline verifier is live now |
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.