{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261005-advance-20261006-r01-order-relation-foundations",
  "checked_at": "2026-10-05",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "e0e8bb5007a92560fc5fa6fa2407b6f5555d78f625a23c21aa70ec4358b59bd8",
  "source_commit_sha": "5dee93cf2022e4538b3eb38affab09249aece0bd",
  "source_commit_blob_checks": {
    "source_mko": "mko-order-relation",
    "source_lf_normalized_sha256": "95554189da3a451f8a69edd139e154fd9254524119837ea1643487a5646a2dc3",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-order-rational-comparison": 25,
      "qf-order-finite-extrema": 25,
      "qf-order-closed-interval": 25,
      "qf-order-common-translation": 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": "7445d3cd6c8f4cc77448d51656238ce18229a8b5084f76112e419933e63d33a8",
  "batch_sha256": "7445d3cd6c8f4cc77448d51656238ce18229a8b5084f76112e419933e63d33a8",
  "manifest_sha256": "b5933b43b6e8d8d8f362d5929312c7378117da3f102a565516e3dc0a98f5b8c9",
  "byte_length": 146895,
  "average_bytes_per_question": 1468.95,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}
