{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261009-advance-20261013-r04-proof-foundations",
  "checked_at": "2026-10-09",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "b0c706e0afe9030f44abe8837b6729309e0326ebc7e269f3833e05a346888abb",
  "source_commit_sha": "7a47eb65b64de9ec7d4df14a71f6f620ba528196",
  "source_commit_blob_checks": {
    "source_mko": "mko-proof",
    "source_lf_normalized_sha256": "72f6009b912caa3c05a2948a97ca422367574a19ad5fc665964a540875417b91",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density13-proof-horn-min-depths": 25,
      "qf-density13-proof-horn-goal-check": 25,
      "qf-density13-proof-horn-candidate-trace": 25,
      "qf-density13-proof-horn-rule-removal": 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": "9d2b0a978c354c8317efdeb07f00669c8dabe08c14a9392d3101a946b73b4ac0",
  "batch_sha256": "9d2b0a978c354c8317efdeb07f00669c8dabe08c14a9392d3101a946b73b4ac0",
  "manifest_sha256": "b0f99a1add655855be8b1a64c2960a2f0d75ff49db4617f6920e20c26fb8952a",
  "byte_length": 178930,
  "average_bytes_per_question": 1789.3,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}