{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261029-r07-equivalence-class-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "42fd03f7e62702b6cb215144a5bc2353aa804566ce3162c459380ad6091fb3e9",
  "source_commit_sha": "b242c92e3f91b591c91ca4ad601a4a725507742d",
  "source_commit_blob_checks": {
    "source_mko": "mko-equivalence-class",
    "source_lf_normalized_sha256": "6ead5a95cd13a163d636e78db505bb8f7aad6744f9e25afee8148c838a3a44d9",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod29-eqclass-of": 25,
      "qf-mod29-eqclass-membership": 25,
      "qf-mod29-eqclass-representative-invariance": 25,
      "qf-mod29-eqclass-equal-or-disjoint": 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": "fd6f8798126c4a189ce511e6d9b05c53dd448b08ee855c00f5916688ea13fef0",
  "batch_sha256": "fd6f8798126c4a189ce511e6d9b05c53dd448b08ee855c00f5916688ea13fef0",
  "manifest_sha256": "d7579a1efba9b1e5cc5c9456eb3d2e10d59c52a1add36d221720c403b126f346",
  "byte_length": 211462,
  "average_bytes_per_question": 2114.62,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}