{
  "report_version": "ocme-source-label-erratum-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261026-r03-cauchy-sequence-foundations",
  "erratum_id": "ocme-source-label-cauchy-20261015",
  "checked_at": "2026-10-15",
  "outcome": "passed",
  "status_scope": "candidate_label_erratum_only_no_human_or_formal_proof_claim",
  "questions_sha256": "3e823e6e797b4fbcd90701bb27e1ad8774db27113ea171f652a5cef11aa196b6",
  "batch_sha256": "3e823e6e797b4fbcd90701bb27e1ad8774db27113ea171f652a5cef11aa196b6",
  "manifest_sha256": "4a292f4978c29cb7e4337386aaf37b4979e96e6cdd745f9d0091c1ec9b9dc9a8",
  "byte_length": 182663,
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod26-cauchy-finite-tail-audit": 25,
      "qf-mod26-cauchy-ultimately-constant-certificate": 25,
      "qf-mod26-cauchy-reciprocal-epsilon-witness": 25,
      "qf-mod26-cauchy-alternating-counterexample": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "changed_stem_rows": 25,
    "byte_identical_unaffected_rows": 75
  },
  "checks": {
    "json_schema": true,
    "source_contract_recomputation": true,
    "label_only_delta": true,
    "alternating_tail_status": true,
    "answer_values_and_provenance_unchanged": true,
    "original_source_hashes": true
  },
  "errors": []
}