{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261009-advance-20261013-r03-rational-number-foundations",
  "checked_at": "2026-10-09",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "bb37ba613e8082d594a43a8c9cd7140eb52478db086f02859769745a2eb28fc2",
  "source_commit_sha": "7a47eb65b64de9ec7d4df14a71f6f620ba528196",
  "source_commit_blob_checks": {
    "source_mko": "mko-rational-number",
    "source_lf_normalized_sha256": "f1b52aad1867316fd94d6e07d6e94237a202d6769454898a0831d8d1bb89f23f",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density13-rational-sum-difference-pair": 25,
      "qf-density13-rational-ordered-pair-compare": 25,
      "qf-density13-rational-division-guard": 25,
      "qf-density13-rational-target-missing-addend": 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": "87bdbac39c0ce10a6a71861c70e3b36ec58f0ff44a6888e386a7015f76fc685e",
  "batch_sha256": "87bdbac39c0ce10a6a71861c70e3b36ec58f0ff44a6888e386a7015f76fc685e",
  "manifest_sha256": "78504c12ffddf37f96af3e42e5207f0f98fb4bb88caf35dd7914280d05ee4f14",
  "byte_length": 155938,
  "average_bytes_per_question": 1559.38,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}