{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261015-advance-20261116-r02-intermediate-value-theorem-foundations",
  "checked_at": "2026-10-15",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "e190b26423b4b0593aa5561adbf546e6a1a6535b40c44c719d6a9165f086d8e5",
  "source_commit_sha": "52531309388d8886aca239e52f214ca54b019f5b",
  "source_commit_blob_checks": {
    "source_mko": "mko-intermediate-value-theorem",
    "source_lf_normalized_sha256": "52c0e9f2fe41f93f083f280990d519515da4d4698c3a483bd5f1a57ff44a71e7",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod47-ivt-hypothesis": 25,
      "qf-mod47-ivt-exact-root": 25,
      "qf-mod47-ivt-endpoint-bracket": 25,
      "qf-mod47-ivt-discontinuity-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": "3f5cf45e49b04c091326c1359f302c28b5c81c4cfe741d9b65ddca27c2094fd6",
  "batch_sha256": "3f5cf45e49b04c091326c1359f302c28b5c81c4cfe741d9b65ddca27c2094fd6",
  "manifest_sha256": "92ae68a629301a11558a5f96176e1ea932e9e391c25f237fb72f5e8e69b18a75",
  "byte_length": 192298,
  "average_bytes_per_question": 1922.98,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}
