{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "3170ea36baaaa11c065142b24b2cfbc5b4318e702f9887b2e5772f37b1026240",
  "source_commit_sha": "2098ca2c77f7db617f6080b38d80b293c0ec9408",
  "source_commit_blob_checks": {
    "source_mko": "mko-pigeonhole-principle",
    "source_lf_normalized_sha256": "3a161ec4318e1b1c3993a14395e4e5710b5529f42a9311aa9b041380c9b9eaba",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod38-pigeon-collision-witness": 25,
      "qf-mod38-pigeon-generalized-load": 25,
      "qf-mod38-pigeon-premise-audit": 25,
      "qf-mod38-pigeon-converse-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": "d58393244c048d683f7cf78cef4425c148092c211893c3c037d0c067040e52fb",
  "batch_sha256": "d58393244c048d683f7cf78cef4425c148092c211893c3c037d0c067040e52fb",
  "manifest_sha256": "a1aa508be14b050c0943fcb75c4c2ff4301846536385f52049dcdc5322330688",
  "byte_length": 190357,
  "average_bytes_per_question": 1903.57,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}