Limits
| 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 |
| deployed 2026-11-03 14:30Z (deploy/20261103T143011Z): live engine_version keystone-ci-1.1.0, live attack lab 13/13 |
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.