{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261030-r05-cardinality-comparison-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "be178f7e2fa8580dfdeb3ffc187d8d950ba8889f9df4459507f13f39ab213b22",
  "source_commit_sha": "5c5949ea75f019360a3fd736506827de827eaf29",
  "source_commit_blob_checks": {
    "source_mko": "mko-cardinality-comparison",
    "source_lf_normalized_sha256": "50efb74b57a576c8cec0b8230fc37bf7cd9c7ecd6303efe09810085d9a570227",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod30-cardinality-injection": 25,
      "qf-mod30-cardinality-surjection-finite": 25,
      "qf-mod30-cardinality-bijection": 25,
      "qf-mod30-cardinality-pigeonhole": 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": "601304f1f2812ae71284fc9774945ccecf61443483ed83e7496eeb8e794c970f",
  "batch_sha256": "601304f1f2812ae71284fc9774945ccecf61443483ed83e7496eeb8e794c970f",
  "manifest_sha256": "67b401c6dd49030821643c15a331b716a6fe37f70a6365152bea3ae40b35867d",
  "byte_length": 192889,
  "average_bytes_per_question": 1928.89,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}
