{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261015-advance-20261118-r07-pumping-lemma-regular-languages-foundations",
  "checked_at": "2026-10-15",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "0fa6206fc33d2f0424262ea8b935292880dd6059b7c476155021fe71aeddb5f4",
  "source_commit_sha": "56284b86aecd0cb30f83cbc3656a76a60e806bcb",
  "source_commit_blob_checks": {
    "source_mko": "mko-pumping-lemma-regular-languages",
    "source_lf_normalized_sha256": "7466612ae549a8cda880e2921d8c9163ab7681371f543eb905240583b66e6ed4",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod49-pump-quantifier-audit": 25,
      "qf-mod49-pump-dfa-loop-witness": 25,
      "qf-mod49-pump-anbn-all-splits": 25,
      "qf-mod49-pump-boundary": 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": "657cec46a009582d6773652bd01d9e8b1a552cf28a6e0706bdf7b5813871f2ec",
  "batch_sha256": "657cec46a009582d6773652bd01d9e8b1a552cf28a6e0706bdf7b5813871f2ec",
  "manifest_sha256": "74e459c7794c9efba50dd84d0fc567f8397b798fc62a305d37ed7715f403205d",
  "byte_length": 358115,
  "average_bytes_per_question": 3581.15,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}