{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261012-advance-20261016-r07-surjective-foundations",
  "checked_at": "2026-10-12",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "8034dcad52c9c9461d3d9f941b6275fa0807820bdb43c8505a55628e9c5efdfe",
  "source_commit_sha": "40c746b4afbce1f8e7e4f4c57830a50896caa9c5",
  "source_commit_blob_checks": {
    "source_mko": "mko-surjective",
    "source_lf_normalized_sha256": "9e23f524f4cd5d7a32f8fed322c2a1717b66148676cc519dc1288a1346303feb",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density16-surj-fiber-inventory": 25,
      "qf-density16-surj-changed-codomain-qualification": 25,
      "qf-density16-surj-delete-input-missing": 25,
      "qf-density16-surj-two-target-preimages": 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": "2e96f82e444d7357027861ae1bf02bfabdf513a5219df4e4a643472e67389b30",
  "batch_sha256": "2e96f82e444d7357027861ae1bf02bfabdf513a5219df4e4a643472e67389b30",
  "manifest_sha256": "b9b56fc09354001e82440a75b8dae350208b0185ee68158ff045201f379847c2",
  "byte_length": 184893,
  "average_bytes_per_question": 1848.93,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}