{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20260930-r03-domain-codomain-range-foundations",
  "checked_at": "2026-09-30",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "1dd97d805350a00713b6e010e81941d1ea44d8bd0b1a9c66f994a883c61ad1f5",
  "source_commit_sha": "34f35fca54173799880412f3952742654eef384e",
  "source_commit_blob_checks": {
    "source_mko": "mko-domain-codomain-range",
    "source_lf_normalized_sha256": "94e55c31535caafd763f4e1f805a7da15848c153c844351ec087944dea68d451",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-function-domain-set": 25,
      "qf-function-codomain-set": 25,
      "qf-function-range-set": 25,
      "qf-function-table-validity": 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": "c4c1bd633381bdeb02900bbcdd99ca193bf2559cab114cb6c6c97d7d73880370",
  "batch_sha256": "c4c1bd633381bdeb02900bbcdd99ca193bf2559cab114cb6c6c97d7d73880370",
  "manifest_sha256": "43107563abbf4b5d11569f8b3ebbd55baf31e0e56b35b2c2571332abe5854abf",
  "byte_length": 143235,
  "average_bytes_per_question": 1432.35,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}