CAIN-42 CLAWX
Sign inGet started
Menu
Invention verification

domain: EXECUTION_CONFINEMENT

56 rows · generated 2026-10-06T19:15:35Z · git unknown

IDInventionDomainStatuspass/failSource
CAIN-INV-0067Trust Provenance Graph (Trust Kernel 3.0) ============================================== Strategic Role: Se...EXECUTION_CONFINEMENTVERIFIED19/0platform-gateway/cain_trust_provenance.py
CAIN-INV-0093Sovereign Kernel Enforcement Boundary ========================================== MOAT #2: SECURITY-CONTEXT ...EXECUTION_CONFINEMENTVERIFIED18/0platform-gateway/cain_sovereign_enforcement.py
CAIN-INV-0139Evolution 37: execution mesh servicesEXECUTION_CONFINEMENTVERIFIED21/0cain45/l5/execution_mesh_services.py
CAIN-INV-0167E13 governance-to-BPF binding: the ExecutionAuthorizationEXECUTION_CONFINEMENTVERIFIED85/0cain/govbpf/authorization.py
CAIN-INV-0205Evolution 35: the Continuous Governance Intelligence FabricEXECUTION_CONFINEMENTVERIFIED12/0cain45/l5/intelligence_fabric.py
CAIN-INV-0228Evolution 02 — canonical Authority Object, lineage, attenuation and continuityEXECUTION_CONFINEMENTVERIFIED98/0cain/govkernel/authority.py
CAIN-INV-023114.0 STANDALONE CLEAN-ROOM VERIFIER (ENGINE B) =================================================== Complete...EXECUTION_CONFINEMENTFAILING25/2scripts/cluster14/standalone_verifier_14.py
CAIN-INV-0241Autonomous Defense Governance Subsystem (Trust Kernel 4.0 - Phase 15) =====================================...EXECUTION_CONFINEMENTVERIFIED5/0platform-gateway/cain_defense_governance.py
CAIN-INV-0279The E16 closed loop on a real (in-process) environment: OBSERVE -> WORLD STATE (quorum) -> PREDICT (signed,...EXECUTION_CONFINEMENTVERIFIED78/0cain/govworld/loop.py
CAIN-INV-0315Clean-room verifier for a governance authorization proofEXECUTION_CONFINEMENTVERIFIED177/0platform-gateway/frontend/proof/bundle/govkernel-evolution01-2026-10-04/verifier.py
CAIN-INV-0316Clean-room verifier for a CAIN Authority Object proofEXECUTION_CONFINEMENTVERIFIED38/0platform-gateway/frontend/proof/bundle/govkernel-evolution01-2026-10-04/authority_verifier.py
CAIN-INV-0317E13 canonical BPF governance objectsEXECUTION_CONFINEMENTVERIFIED172/0cain/govbpf/objects.py
CAIN-INV-0392Clean-room verifier for a CAIN Governance State proofEXECUTION_CONFINEMENTVERIFIED60/0platform-gateway/frontend/proof/bundle/govkernel-evolution01-2026-10-04/state_verifier.py
CAIN-INV-0431Public frontier-gate SANDBOX (live, in production, isolated)EXECUTION_CONFINEMENTVERIFIED115/0platform-gateway/cain_frontier_lab_api.py
CAIN-INV-0546FastAPI Router for CAIN-42 Authoritative Control Plane ObservabilityEXECUTION_CONFINEMENTVERIFIED98/0platform-gateway/routers/authority.py
CAIN-INV-0557Governance-kernel invariants 1-12 (executable runtime checks, not formal proofs)EXECUTION_CONFINEMENTVERIFIED192/0cain/govkernel/invariants.py
CAIN-INV-0575Append-only, hash-chained, signed evidence for every CAIN-45 eventEXECUTION_CONFINEMENTVERIFIED74/0cain45/evidence.py
CAIN-INV-0580Canonical authorization binding + fail-closed verificationEXECUTION_CONFINEMENTVERIFIED85/0cain/govkernel/authorization.py
CAIN-INV-0607Epistemic Integrity Layer (Trust Kernel 3.0) ================================================ Strategic Rol...EXECUTION_CONFINEMENTVERIFIED19/0platform-gateway/cain_epistemic.py
CAIN-INV-0634E20 machine-checkable formal invariants (STAGE 22)EXECUTION_CONFINEMENTVERIFIED192/0cain/e20/formal/invariants.py
CAIN-INV-0773Evolution 02 invariants (executable runtime checks, not formal proofs)EXECUTION_CONFINEMENTVERIFIED38/0cain/govkernel/authority_invariants.py
CAIN-INV-0775Sovereign Kernel Enforcement API ===================================== MOAT #2: SECURITY-CONTEXT CONTINUITY...EXECUTION_CONFINEMENTVERIFIED60/0platform-gateway/cain_sovereign_api.py
CAIN-INV-0784E13 governed executor: authorization -> kernel-enforced execution -> receipt -> evidenceEXECUTION_CONFINEMENTVERIFIED168/0cain/govbpf/executor.py
CAIN-INV-0829Evolution 02 — distributed revocation fabric + governance epochsEXECUTION_CONFINEMENTVERIFIED167/0cain/govkernel/revocation.py
CAIN-INV-0832Contextual Trust Transfer Guard (Trust Kernel 4.0 - Phase 12) =============================================...EXECUTION_CONFINEMENTVERIFIED5/0platform-gateway/cain_contextual_trust.py
CAIN-INV-0840TRUST FABRIC 14.0 — FORMAL INVARIANT CATALOG (ALL 200 VALIDATORS) =========================================...EXECUTION_CONFINEMENTUNTESTED0/0scripts/cluster14/cain_invariant_catalog_200.py
CAIN-INV-0867TRUST FABRIC 14.0 — THE AGENTIC TRUST INTELLIGENCE KERNEL =================================================...EXECUTION_CONFINEMENTFAILING25/2scripts/cluster14/cain_trust_agentic_14_kernel.py
CAIN-INV-0887Canonical governance ABI objects (spec: canonical Agent/Action/Intent/…/StateTransition)EXECUTION_CONFINEMENTVERIFIED78/0cain/govkernel/canonical.py
CAIN-INV-0930Substrate Self-Quarantine & Safe Recovery (Trust Kernel 4.0 - Phases 16 & 17) =============================...EXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_substrate_self_quarantine.py
CAIN-INV-0940Canonical governed-action state machineEXECUTION_CONFINEMENTVERIFIED118/0cain/govkernel/state_machine.py
CAIN-INV-0946Evolution 03 — authority-path performance harness (measured, no invented targets)EXECUTION_CONFINEMENTVERIFIED48/0cain/govkernel/perf.py
CAIN-INV-0950Evolution 03 — deterministic recoveryEXECUTION_CONFINEMENTVERIFIED102/0cain/govkernel/recovery.py
CAIN-INV-0953Evolution 02 — Counterfactual governanceEXECUTION_CONFINEMENTVERIFIED97/0cain/govkernel/counterfactual.py
CAIN-INV-0959Trust Kernel CLI Real command-line interface to CAIN Trust KernelEXECUTION_CONFINEMENTVERIFIED37/0cain/cain_cli.py
CAIN-INV-101014.0 CONTINUOUS FRONTIER AI RESEARCH INTELLIGENCE CLI =====================================================...EXECUTION_CONFINEMENTUNTESTED0/0scripts/cluster14/cain_frontier_cli_14.py
CAIN-INV-1015Trust Uncertainty Engine (Trust Kernel 4.0 - Phase 3) =====================================================...EXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_trust_uncertainty.py
CAIN-INV-1025Evolution 03 (state fabric) invariants S-01..S-12 (executable runtime checks)EXECUTION_CONFINEMENTVERIFIED29/0cain/govkernel/state_invariants.py
CAIN-INV-1124E33 services around the operation kernelEXECUTION_CONFINEMENTUNTESTED0/0cain45/l5/operating_services.py
CAIN-INV-1219Time-Travel Debugging & Historical Belief Subsystem (Trust Kernel 4.0 - Phase 7) ==========================...EXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_time_travel.py
CAIN-INV-1241Deterministic E13 world: 4 governance replicas (f=1, threshold 3), one tenant, one active policyEXECUTION_CONFINEMENTVERIFIED115/0cain/govbpf/fixtures.py
CAIN-INV-1284QUORUM | KERNEL EQUIVALENCE CHECKER Provides: - Equivalence proofs: Python reference model == Z3 bitvector ...EXECUTION_CONFINEMENTUNTESTED0/0talos-verify/equivalence_checker.py
CAIN-INV-1320Effect-Level Security & State Mutation Auditor (Trust Kernel 4.0 - Phase 10) ==============================...EXECUTION_CONFINEMENTVERIFIED5/0platform-gateway/cain_effect_security.py
CAIN-INV-1357Talos Verify -- formal equivalence/property verification of SparseLogic hardware kernels via Z3EXECUTION_CONFINEMENTVERIFIED128/0talos-verify/main.py
CAIN-INV-1394Computer-Use Security -- Sandbox enforcement and action verificationEXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_computer.py
CAIN-INV-1414Training Sandbox - runs real, small-scale gradient-descent training jobsEXECUTION_CONFINEMENTVERIFIED128/0training-sandbox/main.py
CAIN-INV-1463Evolution 03 — conflicting realities: FACT / OBSERVATION / CLAIM / PROPOSAL / DECISION / COMMITMENT. An unv...EXECUTION_CONFINEMENTVERIFIED35/0cain/govkernel/reality.py
CAIN-INV-1483Evolution 03 — agent behavior consistency layerEXECUTION_CONFINEMENTVERIFIED68/0cain/govkernel/behavior.py
CAIN-INV-1484Evolution 03 — autonomous trust transitionsEXECUTION_CONFINEMENTVERIFIED61/0cain/govkernel/trust.py
CAIN-INV-1532QUORUM | SYMBOLIC EXECUTION & FORMAL KERNEL MODELS Provides: - Bit-accurate Python reference implementation...EXECUTION_CONFINEMENTUNTESTED0/0talos-verify/symbolic_exec.py
CAIN-INV-1537Trust Kernel HTTP API Server Exposes the Trust Kernel via REST API. Real implementation, no mocksEXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_api.py
CAIN-INV-1543Second-Order Trust & Dependency Subsystem (Trust Kernel 4.0 - Phase 4) ====================================...EXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_trust_dependency.py
CAIN-INV-1573E25 reference world and adapter-conformance checksEXECUTION_CONFINEMENTVERIFIED79/0cain45/l5/agency_reference.py
CAIN-INV-1583Independent Verifier 2.0 (Trust Kernel 4.0 - Phase 23) ====================================================...EXECUTION_CONFINEMENTUNTESTED0/0platform-gateway/cain_independent_verifier_v2.py
CAIN-INV-1617Shared input hardening for the Frontier-20 engines (2026-10-04 truth pass)EXECUTION_CONFINEMENTVERIFIED81/0cain/cain_frontier_hardening.py
CAIN-INV-1659Real tests for the STCN serviceEXECUTION_CONFINEMENTUNTESTED0/0stcn/test_stcn.py
CAIN-INV-1669CAINWitness -- Audit-as-a-ServiceEXECUTION_CONFINEMENTVERIFIED128/0cainwitness/main.py

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.