{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261026-r07-equivalence-relation-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "8c1feb096fa8c54fb9d4b8122be7949584b310830f1114c8e37bfced1a9d4f2b",
  "source_commit_sha": "a147c5e895dc206351df6dc0225297392ad17c08",
  "source_commit_blob_checks": {
    "source_mko": "mko-equivalence-relation",
    "source_lf_normalized_sha256": "ceccd69c4881e4b2eba57eb1a7c6ab6c6616ab09fa42eb8591999522a5948fd8",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod26-equiv-reflexivity-audit": 25,
      "qf-mod26-equiv-symmetry-audit": 25,
      "qf-mod26-equiv-transitivity-audit": 25,
      "qf-mod26-equiv-qualification-classes": 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": "cb362754e8943f3ceca46c9953885155b9af4b21a087a4ee9548cd615af55137",
  "batch_sha256": "cb362754e8943f3ceca46c9953885155b9af4b21a087a4ee9548cd615af55137",
  "manifest_sha256": "c1e2d79a58a90189e312e844f30092013d563aee884dc9d59ccdde1436ac8388",
  "byte_length": 181621,
  "average_bytes_per_question": 1816.21,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}