{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261110-r07-pushdown-automaton-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "cdab8ee0cce0c45aed3965164f813eb875728178e814fe193a1883af388f5201",
  "source_commit_sha": "1fd5bf2b93f4a6d0cf837246151f5b142d2eb0dd",
  "source_commit_blob_checks": {
    "source_mko": "mko-pushdown-automaton",
    "source_lf_normalized_sha256": "95321a6ccc573a74997a3ea1c00f5b63623fbe7f09a34e305b5357dfd4ce1ba7",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod41-pda-qualification": 25,
      "qf-mod41-pda-trace-audit": 25,
      "qf-mod41-pda-accepting-run-witness": 25,
      "qf-mod41-pda-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": "236ebf7fa3a2cca5c2cd5e8058cd576a90d0637db9efc8d95dcea38f63a1055e",
  "batch_sha256": "236ebf7fa3a2cca5c2cd5e8058cd576a90d0637db9efc8d95dcea38f63a1055e",
  "manifest_sha256": "b5d062a6213abcb051b98a380dd6c377e705dd57e144f5438202b4c35cadcd78",
  "byte_length": 393414,
  "average_bytes_per_question": 3934.14,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}