CAIN-42 CAIN StudioCAIN-42 evidence library
v13
Evidence bundle: 15 claims, 0 of 0 invariants held.
Last reviewed 2026-10-01
Claims (15)
| Claim | Level |
|---|---|
| CLM-13-01: N=4, f=1 satisfies inequality 3f+1 <= N; quorum intersection Q >= 2f+1=3 mathematically guarantees quorum overlap >= f+1. | VALIDATED |
| CLM-13-02: All 4 cluster nodes (Node 1 MCPGate, Node 2 Substrate, Node 3 & 4 Replicas) are currently live and responding over WAN. | VALIDATED |
| CLM-13-03: 175/175 formal invariants (INV-001 through INV-175) are implemented with deterministic programmatic validator methods. | VALIDATED |
| CLM-13-04: RFC 8785 canonical JSON, RFC 6962 binary Merkle trees, and Ed25519 signatures bind all adaptation certificates and witness records. | VALIDATED |
| CLM-13-05: Change Detection Engine continuously audits 25 distinct environmental dimensions and flags any drift against baseline. | VALIDATED |
| CLM-13-06: Causal Attribution Engine categorizes changes across 10 formal classes and forces unknown changes to fail closed. | VALIDATED |
| CLM-13-07: Trust Impact Analyzer computes transitive blast radius and affected invariants across arbitrary dependency depths. | VALIDATED |
| CLM-13-08: Adaptation Sandbox simulates candidate changes on deepcopied state, proving production_mutated=False and zero authority leakage. | VALIDATED |
| CLM-13-09: Adaptation Planner enforces monotonic ceiling constraint: post-adaptation authority ceiling can NEVER exceed pre-change ceiling. | VALIDATED |
| CLM-13-10: 100/100 distinct adversarial red team threat vectors blocked fail-closed with signed immutable containment receipts. | VALIDATED |
| CLM-13-11: Dual diverse verification paths evaluate adaptations; any divergence immediately triggers fail-closed quarantine. | VALIDATED |
| CLM-13-12: Critical adaptations require secondary external witness countersignature, eliminating single-subsystem self-certification. | VALIDATED |
| CLM-13-13: Ports 8420 and 7946 strictly restricted to authorized peer IPs; IPv6 direct bypass blocked; Traefik enforces MCPGate routing. | VALIDATED |
| CLM-13-14: Rollback Engine ensures rollbacks to revoked states are blocked fail-closed and target states are freshly re-attested. | VALIDATED |
| CLM-13-15: Post-Change Re-attestation Engine verifies post-adaptation substrate converges with approved plan with zero orphan artifacts. | VALIDATED |
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem