{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261018-r05-modular-congruence-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "347c212eb4ce9ccae6bbdabc1913e6c73a266502a74a8e94f3164bb334319184",
  "source_commit_sha": "3c744c8baf8d74ae6eeb7485005d3bbcfe2a2700",
  "source_commit_blob_checks": {
    "source_mko": "mko-modular-congruence",
    "source_lf_normalized_sha256": "f2701dae3fc0037b15acf2146bea327e803c9f727d640db0a85d02de29f3f635",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-ext18-modeq-remainder-gate": 25,
      "qf-ext18-modeq-equivalence-class": 25,
      "qf-ext18-modeq-add-preservation": 25,
      "qf-ext18-modeq-mul-preservation": 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": "11ab2f76ce5fc3b4ea3ee6beb1fac6bbbec928d3634a3cf0d7d08dbbe78db498",
  "batch_sha256": "11ab2f76ce5fc3b4ea3ee6beb1fac6bbbec928d3634a3cf0d7d08dbbe78db498",
  "manifest_sha256": "89770781a9c5187ec3fc0ae7da1075549a9c1a40bd0d9d968a6362bc5be34874",
  "byte_length": 165083,
  "average_bytes_per_question": 1650.83,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}