Invention verification / CAIN-INV-0965
CAIN-INV-0965: Subdomain routing and execution engines for CAIN Trust Fabric: - verifygate.mcpgate.online (Formal Z3 SMT V...
FAILING source compiles
| Domain | ADVERSARIAL_AND_INJECTION_DEFENSE |
|---|---|
| Tier | ENGINEERING_INNOVATION |
| Source | platform-gateway/routers/subdomains.py |
| Mapped tests ran | 91 |
| Passed / failed / errored | 89 / 2 / 0 |
| Compiles | yes |
Mapped tests
tests/test_cain42_phase3_z3_verifygate.py |
tests/test_cain42_phase4_evolution.py |
tests/test_ecosystem_pages.py |
tests/test_frontier20_route_gate.py |
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.