{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261109-r02-bolzano-weierstrass-theorem-real-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "437fcf68c05994f367045404ee1d2500845a047e47c237077fd7641538dab208",
  "source_commit_sha": "eac922c329615173d4f39149e9b7a627a8be3a1c",
  "source_commit_blob_checks": {
    "source_mko": "mko-bolzano-weierstrass-theorem-real",
    "source_lf_normalized_sha256": "68509f22469c3dc3548c8128faec469688cb7a72f7b9fca9c4539568db8e44ea",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod40-bw-periodic-boundedness": 25,
      "qf-mod40-bw-periodic-subsequence": 25,
      "qf-mod40-bw-oscillatory-tail": 25,
      "qf-mod40-bw-finite-prefix-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": "cd386460b627b8305543a8fb6674bbe6aba93e951a5d4ce260bdc15d107b10c1",
  "batch_sha256": "cd386460b627b8305543a8fb6674bbe6aba93e951a5d4ce260bdc15d107b10c1",
  "manifest_sha256": "25bb63ca03ec6519d886b80009c8bf4452a3c4161fd4b6bca3d6e16263207bbf",
  "byte_length": 213842,
  "average_bytes_per_question": 2138.42,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}