{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20260926-factorial-foundations",
  "checked_at": "2026-09-26",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "92df6038fd87d86334cf89fbb798e535cae49de1df24df6a739d5de5661fa0af",
  "source_commit_sha": "34b33d457d1f52e9797de189526df0972d700816",
  "source_commit_blob_checks": {
    "source_mko": "mko-factorial",
    "source_lf_normalized_sha256": "fc2d013658e47191e660f97c927ceeec97905dd4fc520329d3df326b343a4b8f",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-factorial-exact-evaluation": 25,
      "qf-factorial-successor-recurrence": 25,
      "qf-factorial-consecutive-quotient": 25,
      "qf-factorial-missing-successor-factor": 25
    },
    "unique_ids": 100,
    "unique_seeds": 100,
    "unique_stems": 100,
    "unique_semantic_templates": 100,
    "exact_stem_duplicate_rate": 0,
    "semantic_template_duplicate_rate": 0
  },
  "required_check_results": {
    "json_schema": true,
    "id_uniqueness": true,
    "seed_uniqueness": true,
    "exact_stem_deduplication": true,
    "semantic_template_deduplication": true,
    "source_mko_existence": true,
    "source_mko_snapshot_hash": true,
    "natural_number_gate": true,
    "zero_factorial_gate": true,
    "bigint_exact_recomputation": true,
    "successor_recurrence_recomputation": true,
    "positive_divisor_gate": true,
    "consecutive_quotient_recomputation": true,
    "missing_factor_recomputation": true,
    "no_float_serialization": true,
    "explanation_witness_accuracy": true,
    "manifest_sha256": true
  },
  "negative_witnesses": {
    "negative_n_rejected": true,
    "noninteger_n_rejected": true,
    "zero_factorial_is_one": true,
    "float_serialization_rejected": true
  },
  "questions_sha256": "3786928793507c14ce8ef42ef1bac6b7a71130d7f6294f1ef9fcd7d02263e7d5",
  "batch_sha256": "3786928793507c14ce8ef42ef1bac6b7a71130d7f6294f1ef9fcd7d02263e7d5",
  "manifest_sha256": "d335556022c3dae2980ab76595e311a122266033020ac86a65924cafca818136",
  "byte_length": 118882,
  "average_bytes_per_question": 1188.82,
  "manifest_hash_match": true,
  "explanation_witnesses_accurate": true,
  "errors": []
}