CAIN-42 CLAWXInvention verification / CAIN-INV-1641
CAIN-INV-1641: Real functional tests for vericoding-gate -- hits the actual endpoints, backed by the real (unmocked) Z3 so...
UNTESTED source compiles
| Domain | VERIFICATION_AND_ASSURANCE |
|---|---|
| Tier | IMPLEMENTATION |
| Source | vericoding-gate/test_vericoding_gate.py |
| Mapped tests ran | 0 |
| Passed / failed / errored | 0 / 0 / 0 |
| Compiles | yes |
Mapped tests
| No mapped test file in the register. |
Generated 2026-10-06T19:15:35Z from git unknown. This page is a republication of the run result; it is not an independent audit.
Same-project verification only. The tests are authored in this repository; no third party has reviewed or reproduced these results. VERIFIED means the mapped tests passed in this run, not that the mechanism is independently correct.