{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261015-advance-20261114-r02-finite-quotient-group-foundations",
  "checked_at": "2026-10-15",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "69495ecdecadd2ea21a845f3953c531f49894c53677b48c5070f39850f94ce22",
  "source_commit_sha": "552755434306eed7791eeaa1fac3abf9f9b5e4f3",
  "source_commit_blob_checks": {
    "source_mko": "mko-finite-quotient-group",
    "source_lf_normalized_sha256": "f3e42a5b51685f805af8727447418b3b158bf4c512da0e78fd2804f7a04bba24",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod45-quotient-normal-coset-partition": 25,
      "qf-mod45-quotient-coset-multiplication-table": 25,
      "qf-mod45-quotient-representative-well-definedness": 25,
      "qf-mod45-quotient-nonnormal-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": "0398c3196e77c77c239fa72091680c1fa5e961a520dc298756d2d4591c79a2ff",
  "batch_sha256": "0398c3196e77c77c239fa72091680c1fa5e961a520dc298756d2d4591c79a2ff",
  "manifest_sha256": "30b96c6c5b1459399493bc014b318ac71a58e90ef700bf6fc38c56af18e60d5e",
  "byte_length": 1096665,
  "average_bytes_per_question": 10966.65,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}