{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261010-advance-20261014-r02-real-number-foundations",
  "checked_at": "2026-10-10",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "4789a73ad9b40c682831638c32f4f0ec34c10558fae6cf8555375b5d6de36bda",
  "source_commit_sha": "2f50da0aef776d0c1fecbbdae2fcc6a24d10dbba",
  "source_commit_blob_checks": {
    "source_mko": "mko-real-number",
    "source_lf_normalized_sha256": "2bc8c0a1defae2276ce50808a0761bf4d62f26892e443fcab79fc8090113d880",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density14-real-ordered-midpoint": 25,
      "qf-density14-real-point-closed-hull": 25,
      "qf-density14-real-overlap-closed-intervals": 25,
      "qf-density14-real-point-offset-distances": 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": "a21835c6da0df0833d78ad956806cd71881509cf26981f7af7c4dc492119e05c",
  "batch_sha256": "a21835c6da0df0833d78ad956806cd71881509cf26981f7af7c4dc492119e05c",
  "manifest_sha256": "e8e0cfc031fa3d00e3545563710b7ed882ff0d71ac853492ca92097efa19dedf",
  "byte_length": 167654,
  "average_bytes_per_question": 1676.54,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}