{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261024-r07-convex-set-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "cf9ce05296b4d30117e6442afd5777b0149bb50d7b931b609331febb22d9729f",
  "source_commit_sha": "717a9022c8a6271352250cc428a90acdd530e155",
  "source_commit_blob_checks": {
    "source_mko": "mko-convex-set",
    "source_lf_normalized_sha256": "0d52be71dca290f856018d176bbb26dcd877c887031f690bd1d656db017ce02d",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod24-convexset-interval-certificate": 25,
      "qf-mod24-convexset-box-certificate": 25,
      "qf-mod24-convexset-halfspace-combination": 25,
      "qf-mod24-convexset-finite-midpoint-counterexample": 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": "51606fc9d1c6f335d18e50f6488d4d2b08c7343abef8be6c7d1fa99ccc3023b0",
  "batch_sha256": "51606fc9d1c6f335d18e50f6488d4d2b08c7343abef8be6c7d1fa99ccc3023b0",
  "manifest_sha256": "18de1e3533af1fac99ffda0cc72c1cfe82c21fb0e21acdb51dd4e09895499352",
  "byte_length": 188481,
  "average_bytes_per_question": 1884.81,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}