{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "39f4bc7f4dadfb5fd5fb6006d85c9c95e45a79ba77a7a522296e607b2d385648",
  "source_commit_sha": "03bffd669bae5105bc12e6b42786814c98704d91",
  "source_commit_blob_checks": {
    "source_mko": "mko-nondeterministic-finite-automaton",
    "source_lf_normalized_sha256": "4ac739d18d7d5b29bc3d146c9707a5cbf0e98a1bd3b66ce6a5b064ec83f1380b",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod42-nfa-qualification": 25,
      "qf-mod42-nfa-epsilon-closure": 25,
      "qf-mod42-nfa-accepting-path-witness": 25,
      "qf-mod42-nfa-bounded-search-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": "5ab150dafd2899ef1c33ab5fca8efa13a6e4b72ab22fe0a04ebbbd61b659ec1c",
  "batch_sha256": "5ab150dafd2899ef1c33ab5fca8efa13a6e4b72ab22fe0a04ebbbd61b659ec1c",
  "manifest_sha256": "54bed71ac41fae33dcd2d1a5d8e3298ac130952b8e709e9dedb2d7fa4467e0f1",
  "byte_length": 293274,
  "average_bytes_per_question": 2932.74,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}