{
  "schema": "cain42.public.changelog.v1",
  "generated_at_utc": "2026-10-09T16:30:00Z",
  "rule": "Prior claims are preserved, not rewritten. Each entry names what changed, why, and the evidence.",
  "entries": [
    {
      "date_utc": "2026-10-09",
      "claim": "public evidence package",
      "change": "First public /evidence/ index, claims registry, deployment manifest, machine-readable artefact index, and reproduction pack published on cainstudio.online.",
      "cause": "Publication of this package.",
      "evidence": ["https://cainstudio.online/evidence/", "https://cainstudio.online/evidence/claims.json", "https://cainstudio.online/evidence/manifest.json"]
    },
    {
      "date_utc": "2026-10-08",
      "claim": "72-hour soak run identity",
      "prior_claim": "soak-multiregion-2026-10-06 (the directory name and service name suggest a 2026-10-06 start).",
      "corrected_claim": "The published soak evidence is a segment that started 2026-10-08T06:06:05Z. An earlier segment started 2026-10-06T01:36:59Z under the same name and working directory; its published checkpoints were overwritten.",
      "cause": "Stale run label reused across a restart; no new start line was written.",
      "evidence": ["https://cainstudio.online/proof/bundle/soak-multiregion-2026-10-06/heartbeat.json"]
    },
    {
      "date_utc": "2026-10-06",
      "claim": "formal verification scope",
      "prior_claim": "'TLA+ model-checked: 7.3M states, 0 violations' presented without scope.",
      "corrected_claim": "Bounded abstract models only: 7,305,092 distinct states summed across 5 TLC configurations; no proof of the Python implementation and no proved refinement.",
      "cause": "Scope was stated in the reproduction file but not next to the headline.",
      "evidence": ["https://cainstudio.online/proof/bundle/formal-2026-09-27/REPRODUCE.txt"]
    },
    {
      "date_utc": "2026-10-06",
      "claim": "200 formal invariants (CAIN 14.0)",
      "prior_claim": "200/200 invariants verified.",
      "corrected_claim": "The catalog names 200 invariants but none exercises production code; the live route reports 0/200. The 200/200 figure was withdrawn (commit bd71f8a0).",
      "cause": "Validators hashed a self-declared VERIFIED dict rather than running production code.",
      "evidence": ["https://cainstudio.online/evidence/known-limitations.md"]
    },
    {
      "date_utc": "2026-10-06",
      "claim": "company and IP valuation figures",
      "prior_claim": "$82.6M / $24.8M / $59.5M atlas figures and a $12M company value were published.",
      "corrected_claim": "Withdrawn. The current internal estimate is about $3M to a strategic acquirer ($2M investor). No patient filed, no incorporation record, not an appraisal.",
      "cause": "Forward-looking scenario figures had been presented as company worth.",
      "evidence": ["https://cainstudio.online/evidence/known-limitations.md"]
    },
    {
      "date_utc": "2026-10-01",
      "claim": "/fabric/frontier/* endpoints",
      "prior_claim": "/fabric/frontier/* live.",
      "corrected_claim": "Withdrawn because of unauthenticated writes; returns 404.",
      "cause": "Unauthenticated mutation surface.",
      "evidence": ["https://cainstudio.online/evidence/known-limitations.md"]
    },
    {
      "date_utc": "2026-09-28",
      "claim": "test count",
      "prior_claim": "1,857 tests (1,842 passed, 0 failed, 7 skipped, 8 expected failures).",
      "corrected_claim": "1,978 tests (1,963 passed, 0 failed, 0 errors, 7 skipped, 8 expected failures) at commit 068b7983.",
      "cause": "A larger suite run replaced the earlier one.",
      "evidence": ["https://cainstudio.online/proof/bundle/proof-fabric/TEST_MANIFEST.json"]
    },
    {
      "date_utc": "2026-09-27",
      "claim": "quorum / signature verification",
      "prior_claim": "Action proofs and clean-room verifiers reported valid results.",
      "corrected_claim": "Two verifier defects could accept zero validating signatures: a placeholder-signature count check (Epoch 6 action proof) and an unvalidated threshold (E13 verifier, threshold 0). Both fixed with real Ed25519 verification and threshold validation; regression tests added.",
      "cause": "Count-based quorum checks instead of cryptographic verification; missing threshold bounds check.",
      "evidence": ["https://cainstudio.online/proof/bundle/top100-remediation-2026-10-07/REMEDIATION_LOG.md"]
    },
    {
      "date_utc": "2026-09-26",
      "claim": "test count",
      "prior_claim": "870 tests passed, 0 failed.",
      "corrected_claim": "Superseded by later runs; different scope, date and commit.",
      "cause": "Newer, larger suite runs.",
      "evidence": ["https://clawx.click/evidence/test-report-2026-09-26/TEST_REPORT.json"]
    },
    {
      "date_utc": "2026-09-26",
      "claim": "consensus topology",
      "prior_claim": "single-host 4-container BFT cluster (cain-vc-node-1..4 on one VPS).",
      "corrected_claim": "cain-mr-01 (3 hosts, 3 regions) and cain-mr-02 (4 hosts, 4 regions), both single-provider Vultr.",
      "cause": "Deployment moved from one host to multiple hosts.",
      "evidence": ["https://cainstudio.online/evidence/deployment.json", "https://cainstudio.online/proof/bundle/hourly-proof/index.json"]
    }
  ],
  "known_changelog_issues": [
    "The repository changelog has many sections; a full historical audit for future-dated and duplicate entries was NOT completed in this package and is NOT_ESTABLISHED. No entries were rewritten."
  ]
}