{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261012-advance-20261017-r04-order-relation-foundations",
  "checked_at": "2026-10-12",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "c9350b282dfc764c242f6b7a29da8e4904ac4dbd4937bd2140e57d67dbbf3b58",
  "source_commit_sha": "d0570c9bedf4384814be0e48ecdd378b8dea71df",
  "source_commit_blob_checks": {
    "source_mko": "mko-order-relation",
    "source_lf_normalized_sha256": "95554189da3a451f8a69edd139e154fd9254524119837ea1643487a5646a2dc3",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density17-order-three-rational-sort": 25,
      "qf-density17-order-interval-intersection": 25,
      "qf-density17-order-three-membership-slacks": 25,
      "qf-density17-order-scaling-direction": 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": "6bee78c2e753258a82042d9051a2179c845945ab84af56cbb9e83a8e573cf599",
  "batch_sha256": "6bee78c2e753258a82042d9051a2179c845945ab84af56cbb9e83a8e573cf599",
  "manifest_sha256": "90a9eee58a4aa73ac534a9c664f72da28029f77d9d1c8c44e615114419f48b2b",
  "byte_length": 185695,
  "average_bytes_per_question": 1856.95,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}
