{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261012-advance-20261017-r07-counterexample-foundations",
  "checked_at": "2026-10-12",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "dac79fdba5e4de8fc7b549cc191fb3071fb0e81311cac65d13dfe1e99617eccf",
  "source_commit_sha": "d0570c9bedf4384814be0e48ecdd378b8dea71df",
  "source_commit_blob_checks": {
    "source_mko": "mko-counterexample",
    "source_lf_normalized_sha256": "c3528c0ad339526d31db8324f3a6cbcdc28e756c638ba57e2792a24d8cc5beef",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density17-counter-full-failure-min": 25,
      "qf-density17-counter-three-candidate-guards": 25,
      "qf-density17-counter-restriction-witness": 25,
      "qf-density17-counter-domain-extension": 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": "01daceda609e9e1f875cd64e46167353d8c3207652b71bf97c9a5aa25e6c2b2f",
  "batch_sha256": "01daceda609e9e1f875cd64e46167353d8c3207652b71bf97c9a5aa25e6c2b2f",
  "manifest_sha256": "42471e0e28b0d7b381a6792451b3ff2e7dd059347bb7656ca9669b113d379dc7",
  "byte_length": 201503,
  "average_bytes_per_question": 2015.03,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}