{
  "report_version": "ocme-source-label-erratum-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261027-r03-complete-metric-space-foundations",
  "erratum_id": "ocme-source-label-complete-metric-cauchy-20261015",
  "checked_at": "2026-10-16",
  "outcome": "passed",
  "status_scope": "candidate_label_erratum_only_no_human_or_formal_proof_claim",
  "questions_sha256": "3e51402839b678d86535201a10926109f587c20aca57a54eb054fba9dcc90d61",
  "batch_sha256": "3e51402839b678d86535201a10926109f587c20aca57a54eb054fba9dcc90d61",
  "manifest_sha256": "9018875b2456e3914ade2fd656ebe585a4a365ad4bf08ea47caf4c2dfe8cde2c",
  "byte_length": 203717,
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod27-complete-finite-certificate": 25,
      "qf-mod27-complete-ultimately-constant-limit": 25,
      "qf-mod27-complete-alternating-noncauchy": 25,
      "qf-mod27-complete-evidence-mode-audit": 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,
    "whole_metric_and_alternating_parity": true,
    "answer_values_and_provenance_unchanged": true,
    "original_source_hashes": true,
    "prior_erratum_assets_preserved": true
  },
  "errors": []
}