{
  "schema": "cain42.review.technical_bundle.v1",
  "A_current_deployment": {
    "status": "OPERATOR_MEASURED",
    "artifacts": [
      "/proof/bundle/review-core-2026-10-09/MEMBERSHIP.json",
      "/evidence/deployment.json",
      "/api/v1/live-cluster/status"
    ],
    "limitations": "operator-attested placement; redacted host IPs; cain-mr-01 = 3 hosts/3 regions, single provider; DEGRADED at last check"
  },
  "B_quorum_certificate": {
    "status": "REPRODUCIBLE",
    "artifacts": [
      "/proof/bundle/review-core-2026-10-09/PBFT_QC_BUNDLE.json",
      "/proof/bundle/review-core-2026-10-09/verify_pbft_qc_bundle.py",
      "/proof/bundle/review-core-2026-10-09/NEGATIVE_FIXTURES.md"
    ],
    "limitations": "disposable single-host cluster; live QC endpoint timed out"
  },
  "C_formal": {
    "status": "REPRODUCIBLE",
    "artifacts": [
      "/proof/bundle/formal-2026-09-27/REPRODUCE.txt",
      "/proof/bundle/formal-2026-09-27/CAINPBFTCommitSafety.tlc.json",
      "/proof/bundle/review-core-2026-10-09/FORMAL_SUMMARY.md"
    ],
    "limitations": "bounded models; no model-to-code refinement proved"
  },
  "D_tests": {
    "status": "OPERATOR_MEASURED_SOURCE_REQUIRED",
    "artifacts": [
      "/proof/bundle/proof-fabric/TEST_MANIFEST.json",
      "/proof/bundle/review-core-2026-10-09/TEST_RECONCILIATION.md"
    ],
    "limitations": "source not public; not independent CI"
  },
  "E_reliability": {
    "status": "NOT_ESTABLISHED",
    "artifacts": [
      "/proof/bundle/soak-multiregion-2026-10-06/heartbeat.json",
      "/proof/bundle/review-core-2026-10-09/SOAK_VERDICT.json"
    ],
    "limitations": "soak RUNNING; prior soaks failed/stopped; no latency distributions published"
  },
  "F_enforcement": {
    "status": "NOT_ESTABLISHED",
    "artifacts": [
      "/proof/bundle/review-core-2026-10-09/ENFORCEMENT_BOUNDARY.md",
      "/fabric/status"
    ],
    "limitations": "boundary opt-in; bypass demos not publicly reproducible; hosted customer tool traversal not established"
  }
}