{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261108-r05-inclusion-exclusion-principle-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "68aef6ec50f7c0435eda51dfbe4c4f238aebd493c04158a5af94ab95d600174d",
  "source_commit_sha": "b7682932bb2c4f632a49bc154d7543e0cf20bd82",
  "source_commit_blob_checks": {
    "source_mko": "mko-inclusion-exclusion-principle",
    "source_lf_normalized_sha256": "2eb0f4de0d9b0d93d979ced97fcaadb56ea9045d427c0918e35505bde5f2a649",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod39-incexc-two-set-formula": 25,
      "qf-mod39-incexc-three-set-formula": 25,
      "qf-mod39-incexc-general-alternating-sum": 25,
      "qf-mod39-incexc-pairwise-only-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": "21896a22cd4ea8b64b7f5e20f7e77886f087b925919cf710ad8a71a6979d3b55",
  "batch_sha256": "21896a22cd4ea8b64b7f5e20f7e77886f087b925919cf710ad8a71a6979d3b55",
  "manifest_sha256": "a9d57fd5f4832d4085282fe7fe7ad3b2077ad72910c69b4c867f742b990e544a",
  "byte_length": 208115,
  "average_bytes_per_question": 2081.15,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}