{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261106-r05-fermat-little-theorem-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "8750832777db07c5db9c28c861e3dc96eb37ac7bf9bfbe417f3c843ffc3c5436",
  "source_commit_sha": "1824654ca925ec904eb83f478472833a50c9fbcb",
  "source_commit_blob_checks": {
    "source_mko": "mko-fermat-little-theorem",
    "source_lf_normalized_sha256": "3ec668e3f0079109822df9d645c89fc6d06276438db8c37ebcdd5d1fe9b3e4f1",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod37-flt-prime-coprime": 25,
      "qf-mod37-flt-all-integer": 25,
      "qf-mod37-flt-hypothesis-audit": 25,
      "qf-mod37-flt-converse-counterexample": 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": "88b1cb151738b4a35e4b932a85cbafdaf8ee4b9be0c49601150c9f12516f0e89",
  "batch_sha256": "88b1cb151738b4a35e4b932a85cbafdaf8ee4b9be0c49601150c9f12516f0e89",
  "manifest_sha256": "bc137af2ec6c5d044bd9d745de22dbf1bf4bc0896992d6aa8dca63dec19569fe",
  "byte_length": 183328,
  "average_bytes_per_question": 1833.28,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}