{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261101-r07-finite-automaton-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "87a08419b834beb629d690bd75dc6737af119999119c464a61e00c10a2a7ba6c",
  "source_commit_sha": "db70625ca5e6b354f34d05d180c2986c23ace97c",
  "source_commit_blob_checks": {
    "source_mko": "mko-finite-automaton",
    "source_lf_normalized_sha256": "6bae5f7a3af28d2877efade8771bee1a1adcddd1d88f055671859e37e3d0c0c8",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod32-dfa-qualification": 25,
      "qf-mod32-dfa-word-trace": 25,
      "qf-mod32-dfa-acceptance": 25,
      "qf-mod32-dfa-single-trace-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": "cc361a5cbdded68d55459b0a925afa736e4bb0954cd0ef8f46578fc2479e26ed",
  "batch_sha256": "cc361a5cbdded68d55459b0a925afa736e4bb0954cd0ef8f46578fc2479e26ed",
  "manifest_sha256": "bda5e91e037b9f6a5d7f6a971e2e0c1ff7d25b8e3421ea78898027a7ce984013",
  "byte_length": 203750,
  "average_bytes_per_question": 2037.5,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}