CAIN-42 CAIN StudioHistory
| Date | Commit | What changed |
|---|---|---|
| 2026-09-12 | 4cee2db4 | vericoding-gate: the Python-to-Z3 compiler, in the baseline repository |
| 2026-10-15 | 0f17803e | VeriCoding KEYSTONE: the fix-and-prove loop on the homepage |
| 2026-10-27 | 509691b3 | A visitor's own check as a signed, downloadable certificate with recheck.py |
| 2026-10-29 | 9834d100 | /health on every KEYSTONE route family |
| 2026-11-02 | this page | Division-by-zero obligations, shadowing and decorator refusal, docstrings, fuzzer |
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.