{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261003-advance-20261004-r01-quantifier-foundations",
  "checked_at": "2026-10-03",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "18467e6602a639db903f4f4c8a9f8e0d38a1b0f4eefa2415063d1a1c71101cd5",
  "source_commit_sha": "f3ddd6cec512ce9ea7a8d4bd17b04fe28f638f63",
  "source_commit_blob_checks": {
    "source_mko": "mko-quantifier",
    "source_lf_normalized_sha256": "3b2f73bd57aa43b5441edef2b27d44470f8cbf04a229fb31e98243708e818341",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-quantifier-finite-universal": 25,
      "qf-quantifier-finite-existential": 25,
      "qf-quantifier-negated-universal": 25,
      "qf-quantifier-negated-existential": 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": "d661ca45b314766810e5721e9b0b9c2c0c306e15535752937a15e28c8f0cb8c5",
  "batch_sha256": "d661ca45b314766810e5721e9b0b9c2c0c306e15535752937a15e28c8f0cb8c5",
  "manifest_sha256": "40741eb6d6ae69fb498f9aac081d6ee93676b96aab3e9d6d98202e56d413dcb2",
  "byte_length": 158792,
  "average_bytes_per_question": 1587.92,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}