CAIN-42 CLAWX
Sign inGet started
Menu
Invention verification

domain: VERIFICATION_AND_ASSURANCE

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

IDInventionDomainStatuspass/failSource
CAIN-INV-0104E31 CLEAN-ROOM GOVERNANCE PROOF VERIFIER (ZERO CAIN imports)VERIFICATION_AND_ASSURANCEVERIFIED22/0platform-gateway/frontend/proof/bundle/e31-governance-proof-fabric-2026-10-05/cleanroom/verify_e31.py
CAIN-INV-0120Split-Brain Protection & Trust State Reconciliation Engine (Requirements 3 & 4) ===========================...VERIFICATION_AND_ASSURANCEVERIFIED22/0platform-gateway/cain_split_brain.py
CAIN-INV-0124Cryptographic State Continuity & Append-Only Ledger =======================================================...VERIFICATION_AND_ASSURANCEVERIFIED4/0platform-gateway/cain_state_continuity_42.py
CAIN-INV-0129Cross-Node Execution & Provenance VerifierVERIFICATION_AND_ASSURANCEVERIFIED8/0platform-gateway/cain_cross_verifier.py
CAIN-INV-0162Clean-room offline verifier for CAIN continuous governance attestations (IP Evolution 10)VERIFICATION_AND_ASSURANCEVERIFIED45/0platform-gateway/frontend/proof/bundle/evolution-10-governance-attestation-2026-10-04/attestation_verify_offline.py
CAIN-INV-0166E26 clean-room settlement verifierVERIFICATION_AND_ASSURANCEVERIFIED177/0platform-gateway/frontend/proof/bundle/e26-completion-2026-10-04/verifier.py
CAIN-INV-0179Epoch 6.6: Durable Transactional Action Semantics =========================================================...VERIFICATION_AND_ASSURANCEVERIFIED45/0platform-gateway/cain_durable_transactions_42.py
CAIN-INV-0189BFT Certification -- CLEAN-ROOM INDEPENDENT VERIFIER #1VERIFICATION_AND_ASSURANCEVERIFIED37/0scripts/cain42_bft/clean_room_verifier.py
CAIN-INV-0194Evolution 12 Machine-to-Machine Governance ContractVERIFICATION_AND_ASSURANCEVERIFIED139/0cain/trustnet/contract.py
CAIN-INV-0243E42 verification quorum: replicas RE-EVALUATE the governance proof before signingVERIFICATION_AND_ASSURANCEVERIFIED192/0cain/gov42/quorum.py
CAIN-INV-0244E40 INDEPENDENT RECURSIVE-GOVERNANCE-PROOF VERIFIER (zero CAIN imports; stdlib + `cryptography`)VERIFICATION_AND_ASSURANCEVERIFIED19/0verification/gov40/verify_e40.py
CAIN-INV-0275Evolution 11 canonical governance-proof objectsVERIFICATION_AND_ASSURANCEVERIFIED172/0cain/govproof/objects.py
CAIN-INV-0280software measurement of running BFT replicas (NOT hardware attestation)VERIFICATION_AND_ASSURANCEVERIFIED30/0scripts/cain42_bft/software_attestation.py
CAIN-INV-0289Evolution 12 Autonomous Delegation NetworkVERIFICATION_AND_ASSURANCEVERIFIED133/0cain/trustnet/delegation.py
CAIN-INV-0367/fabric/contracts/attestation/* -- continuous governance attestation (IP Evolution 10 final, 2026-10-04)VERIFICATION_AND_ASSURANCEVERIFIED31/0platform-gateway/routers/governance_attestation.py
CAIN-INV-0383E22 MVP: GovernanceClaim, GovernanceProof, ExecutionReceipt, VerificationCertificateVERIFICATION_AND_ASSURANCEVERIFIED61/0cain/govverify/proof.py
CAIN-INV-0399Replica set, signed votes and quorum certificatesVERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govruntime/quorum.py
CAIN-INV-0403E24 clean-room Frontier substrate verifierVERIFICATION_AND_ASSURANCEVERIFIED177/0platform-gateway/frontend/proof/bundle/e24-frontier20-sovereign-intelligence-2026-10-04/verifier.py
CAIN-INV-0429Policy Signer & Invariant VerifierVERIFICATION_AND_ASSURANCEVERIFIED4/0platform-gateway/cain_policy_signer.py
CAIN-INV-0477E30 executable invariants: cross-domain governance without authority transferVERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govdomain/invariants.py
CAIN-INV-0489E31 BFT quorum proof: the verifier RECOMPUTES the quorum from member signaturesVERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govbgpf/quorum.py
CAIN-INV-0552E35 independent integrity verifier network, self-verification agent, and governed recoveryVERIFICATION_AND_ASSURANCEVERIFIED70/0cain/govintegrity/network.py
CAIN-INV-0554Ed25519 signature verification (RFC 8032), for verifying quorum certificatesVERIFICATION_AND_ASSURANCEVERIFIED177/0sdk/python/src/cainstudio/_ed25519.py
CAIN-INV-0555E22 MVP authority model: AuthorityGrant (with delegation non-escalation) + Authorization (decision)VERIFICATION_AND_ASSURANCEVERIFIED111/0cain/govverify/objects.py
CAIN-INV-0578E21 governed state quorum certificate (spec §14, §15)VERIFICATION_AND_ASSURANCEVERIFIED156/0cain/e21/certificates.py
CAIN-INV-0585E32 CLEAN-ROOM TRUST SETTLEMENT VERIFIER (ZERO CAIN imports)VERIFICATION_AND_ASSURANCEVERIFIED13/0platform-gateway/frontend/proof/bundle/e32-global-trust-settlement-2026-10-05/cleanroom/verify_e32.py
CAIN-INV-0588E21 governed transition witness (spec §4)VERIFICATION_AND_ASSURANCEVERIFIED51/0cain/e21/witness.py
CAIN-INV-0589E21 composition state machine (spec §17)VERIFICATION_AND_ASSURANCEVERIFIED133/0cain/e21/composition.py
CAIN-INV-0605Evolution 11 in-tree semantic verifierVERIFICATION_AND_ASSURANCEVERIFIED108/0cain/govproof/verify.py
CAIN-INV-0628E26 invariant family I131-I160 (spec §13)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e26/invariants.py
CAIN-INV-0644E21 machine-checkable invariants I27-I50 (spec §12)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e21/invariants.py
CAIN-INV-0659E22 executable invariants I51-I72 (spec §30)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e22/invariants.py
CAIN-INV-0664E23 executable invariants I73-I96 (spec §16)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e23/invariants.py
CAIN-INV-0668E25 invariant family I109-I130 (spec §38)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e25/invariants.py
CAIN-INV-0673BFT Certification -- INDEPENDENT VERIFIER #2 (materially different path)VERIFICATION_AND_ASSURANCEUNTESTED0/0scripts/cain42_bft/independent_verifier_2.py
CAIN-INV-0697Anchors the frontier decision-log head into a signed RFC 6962 transparency log (append-only, inclusion + co...VERIFICATION_AND_ASSURANCEVERIFIED110/0cain/frontier/anchor.py
CAIN-INV-0715ecosystem pages: one page per product, per evidence bundle, per tested invariant and per claimVERIFICATION_AND_ASSURANCEFAILING207/2platform-gateway/cain_ecosystem_pages.py
CAIN-INV-0766Evolution 11 formal invariants P1..P15 as executable checksVERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govproof/invariants.py
CAIN-INV-0771E23 assurance objects + bounded assurance levelsVERIFICATION_AND_ASSURANCEVERIFIED111/0cain/govassurance/objects.py
CAIN-INV-0774E35 race integration (RT-E35-001..020)VERIFICATION_AND_ASSURANCEVERIFIED77/0cain/govintegrity/races.py
CAIN-INV-0776E30 CLEAN-ROOM CROSS-DOMAIN GOVERNANCE VERIFIER (ZERO CAIN imports)VERIFICATION_AND_ASSURANCEVERIFIED45/0platform-gateway/frontend/proof/bundle/e30-governance-network-2026-10-05/cleanroom/verify_e30.py
CAIN-INV-0794E24 invariants I97+ (spec §30)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/e24/invariants.py
CAIN-INV-0800Executable governance invariants for Evolution 04VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govruntime/invariants.py
CAIN-INV-0803E27 MVP CLEAN-ROOM CATCP VERIFIER (ZERO CAIN imports)VERIFICATION_AND_ASSURANCEVERIFIED26/0platform-gateway/frontend/proof/bundle/e27-catcp-control-2026-10-05/cleanroom/verify_e27.py
CAIN-INV-0836E25 Frontier-20 control orchestration (spec §15, §16, §17, §18, §19)VERIFICATION_AND_ASSURANCEVERIFIED87/0cain/e25/orchestration.py
CAIN-INV-0845Prompt 6 reference world, end-to-end scenario and executable adaptive-governance invariantsVERIFICATION_AND_ASSURANCEVERIFIED162/0cain45/l5/adaptive_reference.py
CAIN-INV-0846Evolution 11 -- CLEAN-ROOM GOVERNANCE PROOF VERIFIER. ZERO CAIN importsVERIFICATION_AND_ASSURANCEVERIFIED177/0verification/govproof/cleanroom/verifier.py
CAIN-INV-086420.0, Section 3/4: Security Assumption Fabric + Assumption Dependency GraphVERIFICATION_AND_ASSURANCEVERIFIED220/0clawx/security_assumptions.py
CAIN-INV-0870Epoch 10.5, 10.6 & 10.37: Trust Negotiation Engine 2.0, Autonomous Handshake & AI-to-AI Claim Challenge ===...VERIFICATION_AND_ASSURANCEVERIFIED50/0platform-gateway/cain_trust_negotiation_10.py
CAIN-INV-0879E22 MVP executable invariants (F1..F10 plus MVP-binding and fail-closed properties)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govverify/invariants.py
CAIN-INV-0909E38 formal invariants (E38-I001..I040) and MVP acceptance (E38-MVP-001..030)VERIFICATION_AND_ASSURANCEVERIFIED33/0cain/govmission/acceptance.py
CAIN-INV-0922E22 MVP CAIN verifierVERIFICATION_AND_ASSURANCEVERIFIED108/0cain/govverify/verify.py
CAIN-INV-0924Enterprise Sovereign Proof-Carrying Authority Subsystem Phase 6: Verifiable Authorization Chains with Crypt...VERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/cain_proof_carrying_authority.py
CAIN-INV-0937E36 collective race integrationVERIFICATION_AND_ASSURANCEVERIFIED77/0cain/govcollective/races.py
CAIN-INV-0958E22 MVP canonical primitives (reuses the shared CAIN encoding)VERIFICATION_AND_ASSURANCEVERIFIED101/0cain/govverify/canon.py
CAIN-INV-1021E23 executable invariants (assurance)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govassurance/invariants.py
CAIN-INV-1039E27 MVP executable invariants (CATCP control)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govcontrol/invariants.py
CAIN-INV-1058E26 MVP executable invariants (trust)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govtrust/invariants.py
CAIN-INV-1059Clean-room verifier for CAIN-42 hybrid COMMIT certificates (aggregation_algorithm "ed25519+ml-dsa-65-indivi...VERIFICATION_AND_ASSURANCEVERIFIED18/0scripts/cain42_bft/verify_hybrid_qc_offline.py
CAIN-INV-1070E20 live Frontier-20 fleet evidenceVERIFICATION_AND_ASSURANCEVERIFIED51/0cain/e20/fleet.py
CAIN-INV-1075E22 MVP canonical status / lifecycle modelVERIFICATION_AND_ASSURANCEVERIFIED119/0cain/govverify/status.py
CAIN-INV-1085E24 common Frontier substrate: the governed execution envelope and the Frontier state rootVERIFICATION_AND_ASSURANCEVERIFIED81/0cain/e24/substrate.py
CAIN-INV-110220.0 -- Decision ReplayVERIFICATION_AND_ASSURANCEVERIFIED25/0platform-gateway/cain_decision_replay_20.py
CAIN-INV-1104E05 — independent state reconciliationVERIFICATION_AND_ASSURANCEVERIFIED75/0cain/govruntime/reconcile.py
CAIN-INV-1108Evolution 11 conformance: known-good / known-bad test vectors and an objective runnerVERIFICATION_AND_ASSURANCEVERIFIED94/0cain/govproof/vectors.py
CAIN-INV-1130Conformance Engine ==================== One command to evaluate the complete CAIN systemVERIFICATION_AND_ASSURANCEVERIFIED9/0platform-gateway/bin/cain_conformance.py
CAIN-INV-1134Conformance Runner ======================= Tests CAIN implementations against the conformance specificationVERIFICATION_AND_ASSURANCEVERIFIED79/0platform-gateway/frontend/cain/conformance/conformance.py
CAIN-INV-1155W1..W20 as executable checks on the real closed loop (E04 resource + E15 registry + world cluster)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govworld/invariants.py
CAIN-INV-1156G1..G20 as executable checks against a real local deployment (E04 ledger + registry cluster)VERIFICATION_AND_ASSURANCEVERIFIED192/0cain/govfabric/invariants.py
CAIN-INV-1160Proof-Carrying Code -- static admission check plus Z3-checked arithmetic contractsVERIFICATION_AND_ASSURANCEVERIFIED92/0cain/cain_proof_carrying_code.py
CAIN-INV-1165Conformance API - Production Conformance Verification Machine-readable endpoints for Trust Fabric verificationVERIFICATION_AND_ASSURANCEVERIFIED9/0platform-gateway/cain_conformance_api.py
CAIN-INV-116920.0, Section 5/6: Security Claim Ledger + Claim LifecycleVERIFICATION_AND_ASSURANCEVERIFIED220/0clawx/security_claim_ledger.py
CAIN-INV-1177Trace - Conformance Test Suite Automated conformance tests for CAIN TraceVERIFICATION_AND_ASSURANCESKIPPED0/0platform-gateway/test_trace_conformance.py
CAIN-INV-1184Epoch 6-9 formal invariants: 17 machine-verifiable properties, each checked over seeded random inputs again...VERIFICATION_AND_ASSURANCEVERIFIED1/0platform-gateway/cain_epoch6_9_invariants.py
CAIN-INV-1220TEE attestation verification against REAL vendor evidence, plus tampering that must failVERIFICATION_AND_ASSURANCEUNTESTED0/0cain-microservices/tee-verifier/test_attest.py
CAIN-INV-1226Offline verifier for an E20 evidence bundleVERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/frontend/proof/bundle/e20-governed-autonomous-substrate-2026-10-04/e20_bundle_verify.py
CAIN-INV-1229E23 live SHADOW integration (spec §2, §3)VERIFICATION_AND_ASSURANCEVERIFIED66/0cain/e23/integration.py
CAIN-INV-1243E24 Frontier policy composition (spec §7)VERIFICATION_AND_ASSURANCEVERIFIED46/0cain/e24/policy.py
CAIN-INV-1244Clean-room verifier for the CAIN-42 restriction-stage proof bundleVERIFICATION_AND_ASSURANCEVERIFIED6/0platform-gateway/frontend/proof/bundle/stage-proof-2026-10-01/verify_stage_proof.py
CAIN-INV-1250Clean-room verifier for the CAIN-42 record-integrity proofVERIFICATION_AND_ASSURANCEVERIFIED7/0platform-gateway/frontend/proof/bundle/record-integrity-2026-10-01/verify_record_integrity.py
CAIN-INV-1251Phase 9 - session-aware authorizationVERIFICATION_AND_ASSURANCEVERIFIED164/0cain/frontier/session.py
CAIN-INV-1252Clean-room verifier for a CAIN-42 governance status receiptVERIFICATION_AND_ASSURANCEVERIFIED40/0platform-gateway/frontend/proof/bundle/governance-receipt-2026-10-01/verify_receipt.py
CAIN-INV-1256Phases 20 & 33 - evaluation fabric + AgentBenchVERIFICATION_AND_ASSURANCEVERIFIED145/0cain/frontier/evalfabric.py
CAIN-INV-1265E24 universal Frontier authority conservation engine (spec §4)VERIFICATION_AND_ASSURANCEVERIFIED98/0cain/e24/authority.py
CAIN-INV-1283Real Enforcement Proof - Side-Effect Counter ================================================= Creates a de...VERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/frontend/cain/proof-reproducible/side_effect_counter.py
CAIN-INV-1285E40 attack lab + invariants on the materialized fabricVERIFICATION_AND_ASSURANCEUNTESTED0/0cain/gov40/lab.py
CAIN-INV-1295E37 deterministic two-domain fixtureVERIFICATION_AND_ASSURANCEVERIFIED115/0cain/govfederation/fixtures.py
CAIN-INV-1296Epoch 12: Verifier of Verifiers & Verifier Diversity Engine ===============================================...VERIFICATION_AND_ASSURANCEVERIFIED14/0platform-gateway/cain_verifier_diversity_12.py
CAIN-INV-1305Epoch 10.32 — Common-Mode / Compositional Blast-Radius: Attack Matrix =====================================...VERIFICATION_AND_ASSURANCEVERIFIED4/0platform-gateway/cain42_epoch10_common_mode_matrix.py
CAIN-INV-1322shared trust + debt: ContinuousTrust and DebtLedger as replicated state machines over the shared store's or...VERIFICATION_AND_ASSURANCEVERIFIED25/0platform-gateway/cain_shared_trust_42.py
CAIN-INV-1323E28 CATCP conformance: canonical schema + executable conformance vectorsVERIFICATION_AND_ASSURANCEVERIFIED71/0cain/govcontrol/conformance.py
CAIN-INV-1324E35 CLEAN-ROOM CONTINUOUS INTEGRITY VERIFIER (ZERO CAIN imports)VERIFICATION_AND_ASSURANCEVERIFIED27/0platform-gateway/frontend/proof/bundle/e35-continuous-autonomy-integrity-2026-10-05/cleanroom/verify_e35.py
CAIN-INV-1326Evolution 11 test fixtures: a minimal but complete, independently verifiable governance proofVERIFICATION_AND_ASSURANCEVERIFIED115/0cain/govproof/fixtures.py
CAIN-INV-133219.0, Section 47/48: Security Claim System + Security Claim VerifierVERIFICATION_AND_ASSURANCEVERIFIED187/0clawx/security_claims.py
CAIN-INV-1354E22 Frontier-20 composition engine (spec §7, §8, §25)VERIFICATION_AND_ASSURANCEVERIFIED133/0cain/e22/composition.py
CAIN-INV-1380E37 canonical test vectors: (gate snapshot, request, now) -> (decision, reason, state_root, auth_id)VERIFICATION_AND_ASSURANCEVERIFIED94/0cain/govfederation/vectors.py
CAIN-INV-1403Epoch 10 Formal Security Invariants ============================================ 17 machine-verifiable secu...VERIFICATION_AND_ASSURANCEVERIFIED54/0platform-gateway/cain_epoch10_invariants.py
CAIN-INV-1445Epoch 12: Continuous Public Proof, AI Research Interface & Claim Challenge Protocol =======================...VERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/cain_public_proof_engine_12.py
CAIN-INV-1453Phase 14 - structured error securityVERIFICATION_AND_ASSURANCEVERIFIED80/0cain/frontier/errors.py
CAIN-INV-1465E24 Frontier-20 machine-readable registry (spec §1)VERIFICATION_AND_ASSURANCEVERIFIED268/0cain/e24/registry.py
CAIN-INV-1470E21 governed state diff (spec §7)VERIFICATION_AND_ASSURANCEVERIFIED149/0cain/e21/diff.py
CAIN-INV-1476Real measurements feeding Phases 17 and 22: cluster validator diversity from `docker inspect`, and a Trust-...VERIFICATION_AND_ASSURANCEVERIFIED85/0cain/frontier/cluster.py
CAIN-INV-1481Phases 23-24 - agent discovery + exposure graphVERIFICATION_AND_ASSURANCEVERIFIED109/0cain/frontier/exposure.py
CAIN-INV-1492Phase 32 - research ingestionVERIFICATION_AND_ASSURANCEVERIFIED96/0cain/frontier/research.py
CAIN-INV-1493E22 MVP measured performance (in-process, single core, CPython)VERIFICATION_AND_ASSURANCEVERIFIED48/0cain/govverify/perf.py
CAIN-INV-1501Generic signed-webhook adapterVERIFICATION_AND_ASSURANCEVERIFIED338/0cain/frontier/adapters/webhook.py
CAIN-INV-1502E22 MVP portable verification bundle (the object the clean-room verifier consumes)VERIFICATION_AND_ASSURANCEVERIFIED264/0cain/govverify/bundle.py
CAIN-INV-1503Phase 31 - three-site reconciliationVERIFICATION_AND_ASSURANCEVERIFIED33/0cain/frontier/three_site.py
CAIN-INV-1505E16 evidence export: one JSON document the clean-room verifier checks with no CAIN codeVERIFICATION_AND_ASSURANCEVERIFIED74/0cain/govworld/evidence.py
CAIN-INV-1506Phase 35 - no-bullshit release gateVERIFICATION_AND_ASSURANCEVERIFIED60/0cain/frontier/release_gate.py
CAIN-INV-1513Export a cluster's certified history in the format the clean-room verifier consumesVERIFICATION_AND_ASSURANCEVERIFIED136/0cain/govruntime/export.py
CAIN-INV-1514Load the E16 clean-room verifier by path (it is deliberately not a package and imports no CAIN code)VERIFICATION_AND_ASSURANCEVERIFIED50/0cain/govworld/cleanroom_link.py
CAIN-INV-1534Continuous Verification Job ================================= Scheduled production verification running eve...VERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/bin/cain_verify.py
CAIN-INV-1539Multi-process replicas over TCP with a fault-injecting transport (spec §14)VERIFICATION_AND_ASSURANCEUNTESTED0/0cain/govruntime/netcluster.py
CAIN-INV-1540Safe Python-subset -> Z3 compilerVERIFICATION_AND_ASSURANCEUNTESTED0/0vericoding-gate/expr_compiler.py
CAIN-INV-156241.0 -- public, read-only Universal Agent Proof API. Same read-only pattern as the CAIN 37/38/39/40 evidenc...VERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/cain_41_universal_proof_api.py
CAIN-INV-1592Standalone verifier for the CAIN-42 security-boundary evidence bundleVERIFICATION_AND_ASSURANCEUNTESTED0/0scripts/cain42_bft/verify_security_boundary.py
CAIN-INV-160918 -- `cain autonomy <subcommand>` handlersVERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/cain_autonomy_cli_18.py
CAIN-INV-1624Offline verifier for the E26 completion bundleVERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/frontend/proof/bundle/e26-completion-2026-10-04/e26_completion_verify.py
CAIN-INV-1629Offline verifier for an E24 evidence bundleVERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/frontend/proof/bundle/e24-frontier20-sovereign-intelligence-2026-10-04/e24_bundle_verify.py
CAIN-INV-1630Offline verifier for an E25 evidence bundleVERIFICATION_AND_ASSURANCEUNTESTED0/0platform-gateway/frontend/proof/bundle/e25-governed-autonomous-control-2026-10-04/e25_bundle_verify.py
CAIN-INV-1640Real functional tests for the topological-data-analysis FastAPI app -- hits the actual endpoints, backed by...VERIFICATION_AND_ASSURANCEUNTESTED0/0topological-data-analysis/test_topological_data_analysis.py
CAIN-INV-1641Real functional tests for vericoding-gate -- hits the actual endpoints, backed by the real (unmocked) Z3 so...VERIFICATION_AND_ASSURANCEUNTESTED0/0vericoding-gate/test_vericoding_gate.py
CAIN-INV-1642Epoch 6: Public Evidence Bundle Verifier CLI ==================================================== Section 2...VERIFICATION_AND_ASSURANCEUNTESTED0/0cain_verify_public.py
CAIN-INV-1665Vericoding Gate -- formally verifies a code diff before it's allowed to mergeVERIFICATION_AND_ASSURANCEVERIFIED128/0vericoding-gate/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.