{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261011-advance-20261015-r03-domain-codomain-range-foundations",
  "checked_at": "2026-10-11",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "51d34c58a5988da0efd9de5b282028e6d028dccdb8713b32b13453f8e53e47ca",
  "source_commit_sha": "54fc09513d9aa8ae6a500364945aa44a6732566a",
  "source_commit_blob_checks": {
    "source_mko": "mko-domain-codomain-range",
    "source_lf_normalized_sha256": "94e55c31535caafd763f4e1f805a7da15848c153c844351ec087944dea68d451",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density15-typed-domain-range-inventory": 25,
      "qf-density15-typed-mapping-preimage-two-values": 25,
      "qf-density15-typed-mapping-output-replacement": 25,
      "qf-density15-typed-mapping-table-candidate-audit": 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": "4c652a7166afbd0ec4ff7932d1aedd85130eb2e1c5b132fd1a6d51ee0824c47e",
  "batch_sha256": "4c652a7166afbd0ec4ff7932d1aedd85130eb2e1c5b132fd1a6d51ee0824c47e",
  "manifest_sha256": "4fc3c62d51a31a189ddae9861c06023b7c3ec4709b2845ac88b0186380fba50c",
  "byte_length": 187383,
  "average_bytes_per_question": 1873.83,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}