{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261019-r07-lean-proof-term-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "b46c6b80a5ccd88450738963df70ab00ce7df7e816f3d933322471914301b29d",
  "source_commit_sha": "c2d1d73fa1264e706a1be121402d5635d5dd178e",
  "source_commit_blob_checks": {
    "source_mko": "mko-lean-proof-term",
    "source_lf_normalized_sha256": "a11c7813a596785a48d1af6603780643970769d714b6a167fec2a29245c6e1b2",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-ext19-proofterm-small-calculus": 25,
      "qf-ext19-proofterm-context-use": 25,
      "qf-ext19-proofterm-tactic-vs-term": 25,
      "qf-ext19-proofterm-kernel-receipt": 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": "f4cf6c211d2edd61cb9e5b827c3869edb45d363ecd7d8f63108f53d848e14557",
  "batch_sha256": "f4cf6c211d2edd61cb9e5b827c3869edb45d363ecd7d8f63108f53d848e14557",
  "manifest_sha256": "28f874d44de465d6372a784aef3aa8d0d59a142dbc145e163f6c5b569bcd5dd6",
  "byte_length": 205267,
  "average_bytes_per_question": 2052.67,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}