{
"claims": [
{
"artifacts": [
{
"bundle": "pbft-evolution2-2026-09-24",
"cluster_ids": [
"cain42-pbft-qc-evidence"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "f96088a8edf710b38b3cf22a7c25dd04e2758f7ff7ae9583b8eddf4b04cb2dde"
},
{
"bundle": "pbft-evolution2-2026-09-24",
"cluster_ids": [
"cain42-pbft-qc-evidence"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "verify_pbft_qc_bundle.py.txt",
"sha256": "ba452ce42528f11f7f5235727a65cae25a34072bc52b4711fd72581615d06009"
}
],
"claim_id": "C42-PBFT-QC",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "disposable cluster on one host",
"public_label": "DISPOSABLE CLUSTER VERIFIED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "A 4-node CAIN-42 PBFT cluster produced authentic quorum certificates (>= 3 of 4 pinned Ed25519 members) with an identical decision chain on every node across a primary failover.",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py PBFT_QC_BUNDLE.json (or index.html in a browser)"
},
{
"artifacts": [
{
"bundle": "pbft-evolution3-2026-09-24",
"cluster_ids": [
"cain42-pbft-qc-evidence"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "43e1c61004d3d53a1f76d96f72a7241ef59793a2f77d9beda5f6b40559e9c9a4"
}
],
"claim_id": "C42-FAST-PATH",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "bounded model (single slot, 3 views); not deployed live",
"public_label": "DISPOSABLE CLUSTER VERIFIED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "The Evolution 3 fast path commits only with all 4 members' votes and its view-change rule was model-checked (the naive rule was shown unsafe); a real run produced FAST_COMMIT_QCs that verify.",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py PBFT_QC_BUNDLE.json"
},
{
"artifacts": [],
"claim_id": "C42-FAST-PATH-LATENCY",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "declared: A/B benchmark on the disposable single-host cluster; no artifact published",
"evidence_level": 2,
"evidence_level_meaning": "automated test evidence",
"limits": "negative result; host CPU-bound",
"public_label": "IMPLEMENTED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "The fast path did NOT produce a measurable latency improvement on this host (paired A/B, 95% CI includes 0).",
"status": "BENCHMARKED",
"verification_method": "scripts/cain42_bft/pbft_ab_bench.py (results in the certification)"
},
{
"artifacts": [
{
"bundle": "dag-evolution4-2026-09-24",
"cluster_ids": [
"cain42-dag-evidence"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "DAG_CLUSTER_EVIDENCE.json",
"sha256": "10c08dab4e70a7a5782b9aafe92e7c88e63038085cce3a8a143abb660797bc09"
},
{
"bundle": "dag-evolution4-2026-09-24",
"cluster_ids": [
"cain42-dag-evidence"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "verify_dag_bundle.py.txt",
"sha256": "f544555b9275d412bdd2b459cf780d351058b3755792f44dfb7f8377a5d58fd5"
}
],
"claim_id": "C42-DAG-ORDER",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "disposable cluster; ordering bias removed in Evolution 5 (measured), fairness beyond position bias not measured",
"public_label": "DISPOSABLE CLUSTER VERIFIED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "DAG data is availability-certified (3 of 4), anchored only through PBFT, and ordered identically on all 4 nodes including a crash-restarted one; the verifier recomputes the order.",
"status": "VERIFIED",
"verification_method": "python3 verify_dag_bundle.py DAG_CLUSTER_EVIDENCE.json"
},
{
"artifacts": [
{
"bundle": "mcpgate-live-2026-09-27",
"cluster_ids": [
"cain-mr-01",
"cain-mr-02"
],
"environment": "LIVE",
"file": "manifest.json",
"sha256": "8196297a5ae5ac11dc3d44f4a27618a5631699ed5d2dd40056b76eef47f66ca6"
},
{
"bundle": "mcpgate-live-2026-09-27",
"cluster_ids": [
"cain-mr-01",
"cain-mr-02"
],
"environment": "LIVE",
"file": "calls.json",
"sha256": "d841d64bd89933e273487790396ffec5a930bf9c668348248ade276f19443cbf"
},
{
"bundle": "mcpgate-live-2026-09-27",
"cluster_ids": [
"cain-mr-01",
"cain-mr-02"
],
"environment": "LIVE",
"file": "gate_proofs.json",
"sha256": "bbba0255296226ee3bf5d0856e49a20f6977ee5993f3d7cfdde9f45f3cf8d644"
},
{
"bundle": "mcpgate-live-2026-09-27",
"cluster_ids": [
"cain-mr-01",
"cain-mr-02"
],
"environment": "LIVE",
"file": "mcp_server_executed.json",
"sha256": "460a1fb18f541c589126001227ec36760a7ba9db1347aa13b1cbc63125bb6747"
},
{
"bundle": "cain42-proof-package-2026-09-24",
"cluster_ids": [
"cain42-dag-evidence",
"cain42-proof-package"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "manifest.json",
"sha256": "c50397779c5aed594357a3f295362b2c5c69f074fd7f096a23db2e3d995f0b26"
}
],
"claim_id": "C42-MCPGATE-ENFORCES",
"evidence_environment": [
"LIVE",
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "self-attested run by the operator; the downstream is a sandbox key-value MCP server; cainstudio.online does not route customer tool calls through this gate",
"public_label": "LIVE + DISPOSABLE CLUSTER VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "MCPGate lets a tool call run only with a PBFT-committed authorization bound to the exact action, scope, identity, security context, expiry and single use. On the LIVE 4-region cluster cain-mr-02, through the MCPGate HTTP proxy to a separate MCP server process: 5 authorized calls ran (per the server's own execution log) and 12 attacks were blocked, each with a signed denial returned to the caller (replay, action and tool substitution, capability escalation, identity substitution, context drift, forged QC, forged body, post-consensus mutation, another cluster's certificate, no authorization, expiry).",
"status": "VERIFIED",
"verification_method": "python3 verifiers/cain_proof_verify.py . (see mcpgate-live-2026-09-27/REPRODUCE.txt)"
},
{
"artifacts": [
{
"bundle": "cain42-agent-proof-package-2026-09-24",
"cluster_ids": [
"evo6"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "manifest.json",
"sha256": "9ccb5e68a06d51df8c5d02e2c0fd520a627ed09333523f750a8c6f5636a9677e"
},
{
"bundle": "cain42-agent-proof-package-2026-09-24",
"cluster_ids": [
"evo6"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "agents.json",
"sha256": "f10ea2027694d51543995f3668b087dd87585b2df2a9f4e92bb04d0b743e0998"
}
],
"claim_id": "C42-AGENTS-CANNOT-SELF-AUTHORIZE",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "scripted agents, not LLMs; attestation SIMULATED; in-process",
"public_label": "SIMULATED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "Agents propose; only PBFT authorizes. Plan mutation, model update or tool swap after consensus forces reauthorization; undeclared actions, impersonation, replay, forged trajectories, delegation escalation and aggregate-policy (salami) attacks are blocked.",
"status": "SIMULATED",
"verification_method": "python3 verifiers/cain_proof_verify.py ."
},
{
"artifacts": [
{
"bundle": "final-2026-09-24",
"cluster_ids": [],
"environment": "SIMULATED",
"file": "CAIN42_FINAL_INVARIANTS_RUN.json",
"sha256": "cdf56006ccb193195e9ccdf765620ff78be8b67a52e4894c881368874265d2e9"
}
],
"claim_id": "C42-INVARIANTS",
"evidence_environment": [
"SIMULATED"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 4,
"evidence_level_meaning": "adversarial verification",
"limits": "executable tests, not formal verification; see each invariant's coverage/gap",
"public_label": "SIMULATED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "28 executable CAIN-42 invariants (I001-I028: no quorum -> no consensus -> no authorization -> no execution; agents, memory, DAG, delegation, trust and AI predictions cannot create authority; replay, expiry, substitution, tampering rejected) pass on the real code; 22 with full coverage, 6 partial with the gap named.",
"status": "TESTED",
"verification_method": "scripts/cain42_bft/cain42_invariants.py"
},
{
"artifacts": [
{
"bundle": "final-2026-09-24",
"cluster_ids": [],
"environment": "SIMULATED",
"file": "E6_TRAJECTORY_LAB.json",
"sha256": "3ad3cadaf3e820adb78731ccfcefdd336bbc3467f0573f1be74ea9d22765c460"
}
],
"claim_id": "C42-1000-TRAJECTORIES",
"evidence_environment": [
"SIMULATED"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 2,
"evidence_level_meaning": "automated test evidence",
"limits": "in-process; scripted agents",
"public_label": "SIMULATED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "1,000 agent trajectories (9 kinds incl. 380 attacks) all ended as expected; all 620 allowed actions carry complete, re-verified proof chains; a 1,000-step trajectory accepted 0 stale authorizations.",
"status": "SIMULATED",
"verification_method": "scripts/cain42_bft/agentic_trajectory_lab.py"
},
{
"artifacts": [
{
"bundle": "final-2026-09-24",
"cluster_ids": [],
"environment": "SIMULATED",
"file": "E5_ORDERING_FAIRNESS.json",
"sha256": "32204ce929ad2c04451c67be344ced464c71e9372c551a9906692771819766e6"
}
],
"claim_id": "C42-ORDERING-FAIRNESS",
"evidence_environment": [
"SIMULATED"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 2,
"evidence_level_meaning": "automated test evidence",
"limits": "position bias only; censorship and economic bias not measured",
"public_label": "SIMULATED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "DAG within-round order is seeded by committed PBFT history: validator-position bias measured before (chi-square 542) and after (1.75).",
"status": "BENCHMARKED",
"verification_method": "scripts/cain42_bft/dag_fairness_lab.py"
},
{
"artifacts": [],
"claim_id": "C42-LIVE-CLUSTER-EVO2",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "declared: about the live cain-vc cluster; its API is private, hence UNVERIFIED",
"evidence_level": 1,
"evidence_level_meaning": "implementation evidence",
"limits": "live cluster API is private; its first two decisions predate certificates",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "The live cain-vc cluster runs the Evolution 2 engine (upgraded node by node, state preserved).",
"status": "UNVERIFIED",
"verification_method": "not publicly reachable"
},
{
"artifacts": [],
"claim_id": "C42-PRIVACY-FIREWALL",
"evidence_environment": [
"OFFLINE"
],
"evidence_environment_source": "declared: a pattern scanner run over the published bundles",
"evidence_level": 2,
"evidence_level_meaning": "automated test evidence",
"limits": "pattern-based; not a guarantee against every leak class",
"public_label": "IMPLEMENTED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "Every published evidence bundle passes the public-evidence privacy firewall (keys, tokens, credentials, private IPs, internal URLs, server paths, source).",
"status": "TESTED",
"verification_method": "scripts/cain42_bft/public_evidence_firewall.py"
},
{
"artifacts": [
{
"bundle": "four-server-cluster-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "0ed32a92d4c58c3517679c6c0ca7c318a45960c01b5b63e7ce87db677b6a3b71"
},
{
"bundle": "four-server-cluster-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "verify_host_loss_bundle.py.txt",
"sha256": "0f26f9c82d40d9c3da44d878ee25ecfab59413475765515475a314019a15b6cf"
}
],
"claim_id": "C42-INDEPENDENT-FAILURE-DOMAINS",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "one provider (Vultr) and one operator: a provider-wide outage or operator compromise is not covered",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Consensus runs on independent geographic failure domains: cain-mr-02 has 4 replicas on 4 servers in 4 regions (Atlanta, Los Angeles, Miami, Silicon Valley), one each; every server was taken offline in turn and the cluster kept committing, and with two down it refused to commit.",
"status": "VERIFIED",
"verification_method": "python3 verify_host_loss_bundle.py PBFT_QC_BUNDLE.json"
},
{
"artifacts": [],
"claim_id": "C42-MULTI-PROVIDER",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "declared: a statement about the live topology (every server on one provider)",
"evidence_level": 0,
"evidence_level_meaning": "claim only",
"limits": "every server is on Vultr; needs a second provider account",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Replicas on more than one infrastructure provider.",
"status": "NOT_IMPLEMENTED",
"verification_method": "-"
},
{
"artifacts": [
{
"bundle": "multi-region-cluster-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "393d88099d4d62686abff3bf0da841808741717a0978626b04d34e678f35fd4b"
},
{
"bundle": "hourly-proof-mr02",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "proof-000000.json",
"sha256": "cfc616620eae2ddd7371b0393ca269edb07eb6cb704f17deea9be51d4bba9847"
}
],
"claim_id": "C42-LIVE-MULTI-REGION",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "region placement is stated by the operator",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-09-30T04:03:14Z",
"statement": "Two live multi-region clusters: cain-mr-01 (4 replicas, 3 regions, WireGuard) and cain-mr-02 (4 servers, 4 regions); each publishes a 30-minute signed proof of its live state, and every decision carries signatures from at least 2 regions.",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py PBFT_QC_BUNDLE.json; python3 verify_hourly_proofs.py "
},
{
"artifacts": [
{
"bundle": "partition-test-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "1f1d7d4a3af89f9f710aedc574a191048a5c1d7655513c185443f4135ea478c8"
},
{
"bundle": "asymmetric-partition-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "3618882fe6ed8653886a92daed66009ec5d08e64c46476891f245eb70cdf97e6"
},
{
"bundle": "byzantine-test-2026-09-26",
"cluster_ids": [
"cain-byz-01"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "940ed6cf99124c78d57d1c49f0813a5b5dc061390303a90d8a8cce646a874994"
}
],
"claim_id": "C42-PARTITION-BYZANTINE",
"evidence_environment": [
"LIVE",
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "partitions: whole-host link loss and complete one-way loss (deaf replica, one-way link, mute replica) for 60 s; not flapping links, partial loss, delay or duplication; Byzantine tests on a disposable cluster with the same placement; f=1, two behaviours",
"public_label": "LIVE + DISPOSABLE CLUSTER VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Live network-partition tests (isolated host commits nothing; 2|2 split commits nothing on either side; agreement within ~3 s of heal) one-way (asymmetric) partitions on the 4-server cluster (deaf replica, one-way link, mute replica: commits continued, identical chains after each heal), and Byzantine tests on the production image (forged votes rejected; equivocating primary proven from its own signatures, quarantined and replaced).",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py / verify_byzantine_bundle.py"
},
{
"artifacts": [
{
"bundle": "degraded-network-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "405e189d2ab18bbb435f10380174afc2db354d45f062ac4fe663ee2448f2d562"
},
{
"bundle": "degraded-network-948b189-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "401686a4a9ad475a09f786d02760b8871336c3da61cc9bfd340b12d3e270f9f9"
}
],
"claim_id": "C42-DEGRADED-NETWORK",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "VERIFIED is for safety only; throughput under loss is a measured weakness, not a pass; one impairment profile, one client host",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Safety under a degraded network: with 10% packet loss, 120 +/- 40 ms delay, 5% duplication and reordering on all four replicas' traffic of the live 4-server cluster for 4 minutes, no fork (identical decision chains on all four, 341 certificates each). Liveness degraded sharply: 0.16 commits/s under the impairment versus 1.76/s before (39 of 61 writes committed within the client's 30 s timeout; p95 7173.9 ms), and fully recovered after (2.02/s, p95 644.0 ms). Re-run after engine 948b189 (backoff resets only on progress): 44 of 62 committed, 0.18/s, view changes cut from 14 to at most 6; throughput did not improve beyond noise, so the view-change storm was not the bottleneck. Safety held again.",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py PBFT_QC_BUNDLE.json"
},
{
"artifacts": [
{
"bundle": "storage-loss-drill-2026-09-27",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "987c53f1dc8af84aa8243e08a6d0b1e3661e6d774adf53055ef91651b6bed74d"
},
{
"bundle": "restore-drill-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "PBFT_QC_BUNDLE.json",
"sha256": "94162b7304d9484402c253dcdb881bc30665150a9cd0845d213eb4f3e3a30969"
},
{
"bundle": "restore-validation",
"cluster_ids": [
"cain-mr-01",
"cain-mr-02"
],
"environment": "LIVE",
"file": "validation-2026-09-27.json",
"sha256": "e6f9a8811e14bf880ba09ef6842a271ba89d3340932ee74e1be374bb4ed8bc8c"
}
],
"claim_id": "C42-DISASTER-RECOVERY",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "same provider; backups not encrypted at rest (they hold consensus data that is public by design; identity keys are never backed up); loss of 3 of 4 not drilled; the daily validation checks restorability of every off-host backup, it does not restore into a running replica",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-09-30T04:03:14Z",
"statement": "Disaster recovery on the live clusters: two replicas lost their storage at once and were rebuilt only from off-host backups in other regions (0 of 4 writes committed while quorum was lost; 0 decisions lost; identical height and state 10.3 s after restart); a single replica restored from a snapshot in 8.3 s under writes. Hourly backups of both clusters are copied to another region; every day each replica's newest off-host backup is proven to be a quorum-signed prefix of the live history.",
"status": "VERIFIED",
"verification_method": "python3 verify_pbft_qc_bundle.py PBFT_QC_BUNDLE.json; daily: python3 verify_restore_validation.py --key "
},
{
"artifacts": [
{
"bundle": "rollback-drill-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "ROLLBACK.json",
"sha256": "cdf5e71eadcdd18ff55eca385990ff7ac1f3f07e2b3f94f85641a960760a76de"
}
],
"claim_id": "C42-ROLLBACK",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 3,
"evidence_level_meaning": "cryptographic verification",
"limits": "both engines share one storage format",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Live rollback to the previous engine and forward again, one replica at a time with the primary last; every replica caught up in 10-14 s, cluster HEALTHY 4/4 after each direction.",
"status": "VERIFIED",
"verification_method": "compare the per-step status in ROLLBACK.json"
},
{
"artifacts": [
{
"bundle": "release-cain-mr-02-948b189",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "RELEASE_MANIFEST.json",
"sha256": "bfbfcaf45ea8622f75a459fc516803efa878bf713a5f138255e3635ffcc95f89"
},
{
"bundle": "release-cain-mr-02-948b189",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "verify_release_manifest.py.txt",
"sha256": "4353e1d0c31b2b50248c3c531ce20825f82eb90ee66223331932745719a7a0ec"
},
{
"bundle": "release-cain-mr-02-521f84c",
"cluster_ids": [
"cain-mr-02"
],
"environment": "LIVE",
"file": "RELEASE_MANIFEST.json",
"sha256": "284998cc743ded062fd6845933c3beec2ac75716642da3069347e0824e99eb6c"
}
],
"claim_id": "C42-REPRODUCIBLE-RELEASE",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "source not published: the rebuild is reproducible by the operator; outsiders can check the manifest signature and digests",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "The 4-server cluster runs an image that rebuilds bit-for-bit from its commit (two independent from-scratch builds produced the deployed image ID); pinned base and packages, SBOM, Ed25519-signed release manifest.",
"status": "VERIFIED",
"verification_method": "python3 verify_release_manifest.py RELEASE_MANIFEST.json"
},
{
"artifacts": [
{
"bundle": "hosted-consensus-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "decision.json",
"sha256": "f9e53b72eeaedfc256eb5b7b0e426321c6aaeb63c2b5ea1e54da1fba93cdf27e"
},
{
"bundle": "hosted-consensus-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "qc.json",
"sha256": "4314a03ae57da8075806951a4a999d170c5215c3cd8680a3e5633f1bc22d85ba"
},
{
"bundle": "hosted-consensus-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_hosted_decision.py.txt",
"sha256": "e3a4ceff12c81987af5672cf047ab9935e0e0d95a1ec7b61bf14e39091b1f3f1"
}
],
"claim_id": "C42-HOSTED-CONSENSUS",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "enforce mode is the default for every tenant since 2026-09-27 (GET /fabric/status: mode enforce); a tenant may opt down to shadow mode (logged), in which case its verdicts are recorded but not enforced",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "The hosted Fabric orders every recorded decision through the live PBFT cluster; since 2026-09-27 the gateway itself verifies the commit quorum certificate (>= 3 pinned Ed25519 signatures over the digest it computes for that decision) and a replica's unproven 'COMMITTED' counts as a denial. Each decision shows the check (certificate hash, signers), and GET /fabric/decisions/{id}/integrity re-checks a STORED decision against the commitment the quorum signed (consensus_anchor); every stored decision record is also Ed25519-signed by a key kept outside the database (GET /fabric/decision-signing-key).",
"status": "VERIFIED",
"verification_method": "python3 verify_hosted_decision.py --live https://cainstudio.online membership.json (see REPRODUCE.txt)"
},
{
"artifacts": [
{
"bundle": "decision-signing-2026-09-27",
"cluster_ids": [],
"environment": "LIVE",
"file": "record.json",
"sha256": "36472edfcda70ee1f29276daf3b7f7ed392ddbbce2f9b342b7b57deb4c0f59aa"
},
{
"bundle": "decision-signing-2026-09-27",
"cluster_ids": [],
"environment": "LIVE",
"file": "signing-key.json",
"sha256": "e506f192a4f946518b781458d5fa9315451ec10138333fa37a86779d8c0ac016"
},
{
"bundle": "decision-signing-2026-09-27",
"cluster_ids": [],
"environment": "LIVE",
"file": "verify_decision_record.py.txt",
"sha256": "78051196a7a7a7e288020d037366fad0a3c4f83c176d8b4469687c50547a64c6"
}
],
"claim_id": "C42-DECISION-RECORD-SIGNING",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "does not protect against root on the gateway host, which holds both key and database; records before 2026-09-27 are unsigned; the full row of a live decision is not public (the demo shows the gateway's own check)",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Every hosted Fabric decision record written since 2026-09-27 is signed: the gateway signs the record's SHA-256 digest with an Ed25519 key kept outside its database, so a database writer who alters a record and recomputes its digest is detected. The published record's digest is recomputed from its own fields by a verifier with no CAIN code, the signature verifies against the key served by another site, and two tampered copies (verdict changed; verdict changed with the digest recomputed) both fail.",
"status": "VERIFIED",
"verification_method": "python3 verify_decision_record.py record.json --key https://mcpgate.online/fabric/decision-signing-key --self-test (see REPRODUCE.txt)"
},
{
"artifacts": [],
"claim_id": "C42-HARDWARE-ATTESTATION",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "declared: a statement about the live servers (no TPM, SEV or TDX present)",
"evidence_level": 0,
"evidence_level_meaning": "claim only",
"limits": "none of the 4 servers has a TPM, AMD SEV or Intel TDX (checked 2026-09-27); attestation fields in security contexts are declared hashes, not hardware quotes; needs servers with that hardware",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Hardware-backed attestation of nodes or agents.",
"status": "NOT_IMPLEMENTED",
"verification_method": "-"
},
{
"artifacts": [
{
"bundle": "formal-2026-09-27",
"cluster_ids": [],
"environment": "OFFLINE",
"file": "CAINPBFTCommitSafety.tla.txt",
"sha256": "4b5dbbeda5bd6db9be9707a6e5f9dda1f0ea89656b9040e4ad018e1b134ce238"
},
{
"bundle": "formal-2026-09-27",
"cluster_ids": [],
"environment": "OFFLINE",
"file": "CAINPBFTCommitSafety.tlc.json",
"sha256": "078d1bc438d8ac7bcf3113c4e8c2ed95799e8a6dcc6bece9f7a28a34536e7fcb"
},
{
"bundle": "formal-2026-09-27",
"cluster_ids": [],
"environment": "OFFLINE",
"file": "CAINMCPGateAuthorization.tla.txt",
"sha256": "6a53f85d2ce4d0ac749d556cf0932dee99dbf429b27797285c0e69feb7415fbb"
},
{
"bundle": "formal-2026-09-27",
"cluster_ids": [],
"environment": "OFFLINE",
"file": "CAINMCPGateAuthorization.tlc.json",
"sha256": "611048f422608b0ce3399d78dd437bc45c8638198e06b71eadc64e9901a8d712"
}
],
"claim_id": "C42-FORMAL-VERIFICATION",
"evidence_environment": [
"OFFLINE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "bounded models (N=4, f<=1, one sequence, two views; small action/identity/context/time domains), not a proof about the Python code; no machine-checked proof for unbounded parameters",
"public_label": "OFFLINE VERIFIED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "TLA+ models of the PBFT commit/view-change rules and of the MCPGate authorization gate, checked exhaustively by TLC within stated bounds: no violation of Agreement, CommitOnlyWhenPrepared, no-execution-without-quorum, action/identity/context binding, expiry or single use; every deliberately broken variant (pre-fix execute rule, NEW_VIEW ignoring reports, weakened quorum, each gate check removed) is caught with a counterexample.",
"status": "VERIFIED",
"verification_method": "java -cp tla2tools.jar tlc2.TLC -deadlock (see formal-2026-09-27/REPRODUCE.txt)"
},
{
"artifacts": [
{
"bundle": "soak-72h-2026-09-25",
"cluster_ids": [
"cain42-soak72-1b28cf3"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "verify_soak.py.txt",
"sha256": "deed0270d115ba2cf509820cc7ec464fa835c76420971921558d4e14ac1e0cb4"
},
{
"bundle": "soak-72h-2026-09-25",
"cluster_ids": [
"cain42-soak72-1b28cf3"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "REPRODUCE.txt",
"sha256": "afacde250be9afcf3112a6050b2eec0f67e0b77224ea985e57e6f844928c6d1d"
},
{
"bundle": "soak-72h-2026-09-25",
"cluster_ids": [
"cain42-soak72-1b28cf3"
],
"environment": "DISPOSABLE_CLUSTER",
"file": "checkpoint-0024.json",
"sha256": "07cec42fd5b8456bf6b5b83560dfd4e8c18e18aa84012e7a37216c57adb1ac63"
}
],
"claim_id": "C42-SOAK-72H",
"evidence_environment": [
"DISPOSABLE_CLUSTER"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 3,
"evidence_level_meaning": "cryptographic verification",
"limits": "liveness failure, not a safety failure; one host; not the production cluster; the soak nodes ran image soak72-1b28cf3, without the fix; a passing 72-hour run on the fixed build is still required",
"public_label": "FAILED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "72-hour adversarial soak (dedicated 4-node cluster, fast path + DAG, crash/restart every 10 min, started 2026-09-25T00:10Z): FAILED. PBFT stopped committing at sequence 4094 about 11 h in (2 replicas in view 39, 2 in view 40, every node HEALTHY, every later request denied), and the harness itself was killed when the host ran out of memory (last checkpoint 0024 at 24.15 h). Safety held: 0 cross-node divergences in 5,154 checks. Cause: no progress timer (only an unreachable primary triggered a view change) and NEW_VIEW replies were dropped, so a lagging replica never caught up; fixed in the engine with a regression test that reproduces the split. A new soak on the fixed build has not run.",
"status": "FAILED",
"verification_method": "python3 verify_soak.py https://clawx.click/evidence/soak-72h-2026-09-25/ (prints VERDICT: FAIL)"
},
{
"artifacts": [
{
"bundle": "soak-multiregion-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "REPRODUCE.txt",
"sha256": "a981f6a68fd3104bc64f85cdc773f2f77add11d8cae7b0fcfeee35e6bccdbfef"
},
{
"bundle": "soak-multiregion-2026-09-26",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_soak.py.txt",
"sha256": "8d9f0a48faf4fea54c38c3795d8b76103cf3dfb3bc92ffe0709a5c9825c7141d"
}
],
"claim_id": "C42-SOAK-72H-MULTIREGION",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 3,
"evidence_level_meaning": "cryptographic verification",
"limits": "verdict only after 72 h; checkpoints so far are valid, which is not a pass",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "72-hour soak on the live multi-region cluster cain-mr-01 on the fixed build (continuous writes, a random replica killed every 20 minutes, hourly signed hash-chained checkpoints each with an MCPGate-enforced authorization and its refused replay): IN PROGRESS since 2026-09-26.",
"status": "UNVERIFIED",
"verification_method": "python3 verify_soak.py https://clawx.click/evidence/soak-multiregion-2026-09-26/ (RUNNING until ~2026-09-29 21:40Z, then PASS/FAIL)"
},
{
"artifacts": [
{
"bundle": "cain45-zod-live-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "ZOD_RUN.json",
"sha256": "6617e0f77463f836e03689ad44ca4a997e5a2b906484c75c7e387b7b4338ee2a"
},
{
"bundle": "cain45-zod-live-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "EVIDENCE_CHAIN.json",
"sha256": "9b8f04be9dad7f9519157e7cfff94f424cb1144f41d4d0bcb403b6789670ce2b"
},
{
"bundle": "cain45-zod-live-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "qcs.json",
"sha256": "bed43b640eee07e3d7713a2955b7271c15b4661709d3592c7ca86376c93ac1fc"
},
{
"bundle": "cain45-zod-live-2026-09-27",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_cain45_zod.py.txt",
"sha256": "2695e2faea451abc5d699e436f449958c93de492146caa7632d156a73f0568a4"
}
],
"claim_id": "C45-ZOD-LIVE",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "the hypervisor ran as a library on the gateway host, operator-run, not as a deployed service in front of customer agents; the approval is the operator's; software measurement only (no TPM/TEE); no seccomp filter; egress is deny-all only (no allowlist)",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Agent Hypervisor / ZoD runtime: an agent acts only inside a ZoD whose authorization the live cluster cain-mr-01 committed with a quorum certificate the hypervisor checks itself; code ran under real confinement (bubblewrap namespaces + cgroup v2, no network); 10 attacks were refused, each a signed DENIED entry in a hash-chained log.",
"status": "VERIFIED",
"verification_method": "python3 verify_cain45_zod.py . (see cain45-zod-live-2026-09-27/REPRODUCE.txt; expect 10 PASS and VERIFIED)"
},
{
"artifacts": [
{
"bundle": "e6-live-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "LEASE_RUN.json",
"sha256": "ed1d621e60927d8d8c3507fc35eb90df16467365329f2a6d747cbb9df822b4e2"
},
{
"bundle": "e6-live-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "EVIDENCE_CHAINS.json",
"sha256": "bc9fc9c697889499d556ebe7287a2de1c54041df3a9ff302963e69f490930786"
},
{
"bundle": "e6-live-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "qcs.json",
"sha256": "a290fb7d1ef584def0c585c4bf8fd175f342777f285255d695aa4823ccdd77b7"
},
{
"bundle": "e6-live-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_e6_lease.py.txt",
"sha256": "8ddcee34f1b1bbedd4682229079d3d458cc58006a51ab49ad1b8bc576d4e8b70"
}
],
"claim_id": "C42-E6-AUTHORITY-LEASES",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "the invalidation logic runs in the hypervisor library on the gateway host, not on the cluster nodes -- the cluster supplies the authority being invalidated; invalidation on policy, epoch or membership change and risk/blast-radius budgets are NOT implemented; the separate 4-node 'authoritative state' layer in cain45/ is SIMULATED and not used here",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Evolution #6 authority leases: for each of 9 conditions a ZoD authorized by the live cluster cain-mr-01 made one successful tool call, the condition was tripped, and the next call was refused without the tool running -- TTL expiry, trust below floor, agent identity swapped, tool schema changed, security context changed, trajectory fork, explicit revocation, parent quarantined (child loses authority), required evidence deleted (that row is SELF-REPORTED: hypervisor-signed, since the log proving it is the one deleted).",
"status": "VERIFIED",
"verification_method": "python3 verify_e6_lease.py . (see e6-live-lease-2026-09-28/REPRODUCE.txt; expect 48/48 checks, VERIFIED)"
},
{
"artifacts": [
{
"bundle": "e7-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "LEASE_RUN.json",
"sha256": "f556b47e040ce60164e803b1398bc0037ba03118ae925e11bad4deed38bddd96"
},
{
"bundle": "e7-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "EVIDENCE_CHAINS.json",
"sha256": "cd180b374770996e27db226de6053a49bb0e238a697b784565d730979665cd03"
},
{
"bundle": "e7-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "qcs.json",
"sha256": "150c876ed848d7ffed71ea5e538a008e0f4529f56e08030e23f8822978dbbd58"
},
{
"bundle": "e7-lease-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_e7_lease.py.txt",
"sha256": "26bac3bae9673597e41a63fa40f523f2347977c54c00c67d90e400c610168039"
}
],
"claim_id": "C42-E7-AUTHORITY-LAPSE",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "the 3 membership/epoch trips are INJECTED into the hypervisor's view (the live cluster was not re-keyed); the policy and budget trips are real; enforcement is the hypervisor library on the gateway host, not the cluster nodes; only CALL_MCP_TOOL budgets were exercised live (classes C0-C4 unit-tested)",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Evolution #7: authority granted by the live cluster cain-mr-01 lapses -- the next tool call is refused and the tool never runs -- when the policy root changes or cannot be read, when the risk or blast-radius budget is spent, and when a delegate has spent its parent's budget (delegates are charged up the whole chain, so splitting work cannot multiply authority). Every ZoD is bound to the cluster's real membership configuration, recomputed and quorum-agreed, re-read before every action; a changed epoch, a changed membership or an unknown membership refuses.",
"status": "VERIFIED",
"verification_method": "python3 verify_e7_lease.py . (see e7-lease-2026-09-28/REPRODUCE.txt; expect 60/60 checks, VERIFIED)"
},
{
"artifacts": [
{
"bundle": "e8-governance-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "GOVERNANCE_RUN.json",
"sha256": "88aab8c5ecba00a23fb587de273fd883e676f2b18bde610d2288334397c12e94"
},
{
"bundle": "e8-governance-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "EVIDENCE_CHAIN.json",
"sha256": "fb44b81bddbaa2e42a993333f78f851f20c22d63a4efa52d29bbc7271409cbb9"
},
{
"bundle": "e8-governance-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "qcs.json",
"sha256": "0e1bea55cebc3f67f40ec5dee89cc5b4b1db2b5785fbb0dad1b53c7ae5f91e3f"
},
{
"bundle": "e8-governance-2026-09-28",
"cluster_ids": [
"cain-mr-01"
],
"environment": "LIVE",
"file": "verify_e8_governance.py.txt",
"sha256": "0fd608899c72c9209b797f23be415ee2076e0301c160ce2e32f52939b1210958"
}
],
"claim_id": "C42-E8-GOVERNED-EVOLUTION",
"evidence_environment": [
"LIVE"
],
"evidence_environment_source": "derived from the cluster_id recorded in each artifact's bundle",
"evidence_level": 5,
"evidence_level_meaning": "reproducible public verification",
"limits": "scripted identities, not a real LLM agent; CAIN contains no world model, digital twin or learning memory -- the run shows that such OUTPUTS cannot become authority; governor and hypervisor are a library on the gateway host, the cluster orders and certifies",
"public_label": "LIVE VERIFIED",
"revalidate_by": "2026-10-28T04:03:14Z",
"statement": "Evolutions #8/#9: a policy -- the authority ceiling for a tenant's ZoDs -- becomes active only when the live cluster cain-mr-01 commits its activation; an expansion needs a registered human who is not the proposer (an agent's self-approved expansion was refused and never reached the cluster); a restriction needs no human and revoked a running ZoD's authority; a ZoD above the ceiling was refused. A world-model prediction, a simulated ALLOW citing a real certified sequence, a 10-agent signed vote and a replayed memory were each presented as the basis for authority and each refused because the live cluster had not certified it.",
"status": "VERIFIED",
"verification_method": "python3 verify_e8_governance.py . (see e8-governance-2026-09-28/REPRODUCE.txt; expect 19/19 checks, VERIFIED)"
},
{
"artifacts": [],
"claim_id": "C42-LEGACY-SELF-ASSERTED",
"evidence_environment": [
"OFFLINE"
],
"evidence_environment_source": "declared: a statement about files published by earlier releases; nothing was run",
"evidence_level": 0,
"evidence_level_meaning": "claim only",
"limits": "self-asserted by earlier releases; no certification body, no reproducible verifier; found by the public evidence inventory (CAIN42_PUBLIC_EVIDENCE_INVENTORY.json)",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "Seven older files still served on the sites assert strong statuses that no evidence in this registry supports: CAIN42_BYZANTINE_CERTIFICATION.json (CERTIFIED), CAIN42_ENTERPRISE_PERMANENT_MEMORY.json (A_PLUS_ENTERPRISE_CERTIFIED), CAIN42_RELEASE_MANIFEST.json (PRODUCTION_HARDENED) on clawx.click/evidence/; CAIN_13_STATUS.json and v13/CAIN_13_STATUS.json (OPERATIONAL_PROVEN), cain_14_agentic_trust_evidence.json and v2/kernel-self-defense-evidence.json (OPERATIONAL_AND_VERIFIED) on /proof/bundle/. They are kept for history; their statuses are SUPERSEDED by this registry and must not be read as current claims.",
"status": "UNVERIFIED",
"verification_method": "-"
},
{
"artifacts": [],
"claim_id": "C42-THIRD-PARTY-REVIEW",
"evidence_environment": [
"OFFLINE"
],
"evidence_environment_source": "declared: no review exists; nothing to observe",
"evidence_level": 0,
"evidence_level_meaning": "claim only",
"limits": "none exists",
"public_label": "NOT ESTABLISHED",
"revalidate_by": "2026-12-27T04:03:14Z",
"statement": "Independent third-party review or certification (SOC 2, ISO 27001, FedRAMP, ...).",
"status": "NOT_IMPLEMENTED",
"verification_method": "-"
}
],
"evidence_root_public_key_b64": "t1I4vBpOasgbBSWYTN2g7xL1En7qZ6lhgbt6n2OpeG8=",
"git_commit": "7b31afbbcb693b2b3638da02f6b11ef025088546",
"issued_at": "2026-09-28T04:03:15Z",
"key_epoch": 1,
"label_rule": "public_label = f(status, evidence_environment): FAILED; UNVERIFIED/NOT_IMPLEMENTED -> NOT ESTABLISHED; SIMULATED; VERIFIED/REPRODUCIBLE -> ' VERIFIED'; otherwise IMPLEMENTED. A claim past revalidate_by is STALE until re-issued from fresh evidence.",
"live_clusters": [
"cain-mr-01",
"cain-mr-02"
],
"live_topology": {
"cain-mr-01": {
"key_fingerprint": "2f46fc4814549cfa551ac58182edca4245e47c3c38251ee11dc847d54bab8e28",
"members": [
{
"node_id": "cain-mr-node-1",
"provider": "vultr",
"public_key_b64": "vxjpwp7HlNHusE21m1bcLDy8CwNbErxp9FtJCrctbdE=",
"region": "atl"
},
{
"node_id": "cain-mr-node-2",
"provider": "vultr",
"public_key_b64": "riT7vpUegPEUR8orAqgcpEpdY8YI2mGYXHdkIpju3KE=",
"region": "lax"
},
{
"node_id": "cain-mr-node-3",
"provider": "vultr",
"public_key_b64": "05ABjKsgxxCqhgfZJ9DtjnDENO8kSd82WqLfrRUq6Qw=",
"region": "lax"
},
{
"node_id": "cain-mr-node-4",
"provider": "vultr",
"public_key_b64": "QO/JXphJ858ZBu0wpCXTHcskThjkid68PfsfBjHhaZ0=",
"region": "mia"
}
],
"membership_url": "https://cainstudio.online/api/v1/live-cluster/membership?cluster=cain-mr-01",
"providers": [
"vultr"
],
"regions": [
"atl",
"lax",
"mia"
]
},
"cain-mr-02": {
"key_fingerprint": "5676a770d81add674e35e7765dc935519672099cb10c4ed8745e5284cc2c05ab",
"members": [
{
"node_id": "cain-mr2-node-1",
"provider": "vultr",
"public_key_b64": "8P4PCtI04O2rvGpeOufwkU1RJnPdjMjth+L/UcerxI4=",
"region": "atl"
},
{
"node_id": "cain-mr2-node-2",
"provider": "vultr",
"public_key_b64": "u3OhqYRLR2Rys0byPlSE1vHcjPWVSLt3j4XzMv2EwGs=",
"region": "lax"
},
{
"node_id": "cain-mr2-node-3",
"provider": "vultr",
"public_key_b64": "+x/1i4xlleDAdLt6vNaNfFaGVn8yo/N35Ax0mYAv2F8=",
"region": "mia"
},
{
"node_id": "cain-mr2-node-4",
"provider": "vultr",
"public_key_b64": "SqIx0XEixGU8RzpKPmVxA9P6k4udhRFeMx4CPTedc+o=",
"region": "sjc"
}
],
"membership_url": "https://cainstudio.online/api/v1/live-cluster/membership?cluster=cain-mr-02",
"providers": [
"vultr"
],
"regions": [
"atl",
"lax",
"mia",
"sjc"
]
}
},
"registry": "CAIN42/PUBLIC-CLAIMS/v2",
"registry_digest": "ee5834ef8e5f5ff7aeb2a2eb7f429f77c8615f28719db5f1f5838672a0e9cf1e",
"registry_locations": [
"https://cainstudio.online/proof/bundle/claims/",
"https://mcpgate.online/proof/bundle/claims/",
"https://clawx.click/evidence/claims/"
],
"signature_b64": "uH/WSICbI2x9svSLuSJQsjhwuQVRGwax+FoxMjHSbudBHp/tdZduVI7KpgVNq61HQgdgjazDUuR5R9RuAwLMAg==",
"sites": {
"cainstudio.online": "/proof/bundle/",
"clawx.click": "/evidence/",
"mcpgate.online": "/proof/bundle/"
}
}