{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261112-r03-compact-subset-closed-in-hausdorff-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "92946c6c7964a5ddf793901e6319aaf23e55c5a6f2bf5e2cee97d9b1109964f7",
  "source_commit_sha": "6f03b982e9a01650692685f4f44854b9f60250c7",
  "source_commit_blob_checks": {
    "source_mko": "mko-compact-subset-closed-in-hausdorff",
    "source_lf_normalized_sha256": "13e0a8f9917f4a49a9cbe148c344b3f37d319fb16c750de2bb640ec93553d07d",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod43-compactclosed-hypotheses-qualification": 25,
      "qf-mod43-compactclosed-finite-closedness-audit": 25,
      "qf-mod43-compactclosed-neighborhood-subcover-certificate": 25,
      "qf-mod43-compactclosed-nonhausdorff-boundary": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "exact_stem_duplicate_rate": 0,
    "semantic_template_duplicate_rate": 0
  },
  "questions_sha256": "f646f6e2479be6c863608dfdb33483d0d5a6aa88b59c9106e7139dc32f74db36",
  "batch_sha256": "f646f6e2479be6c863608dfdb33483d0d5a6aa88b59c9106e7139dc32f74db36",
  "manifest_sha256": "b1a9b6a0c91a5fe1aa952e4b2e964bdc98b026abc0bdd6617ad073984c2282fd",
  "byte_length": 259305,
  "average_bytes_per_question": 2593.05,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}