{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261031-r01-at-most-countable-set-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "c2f9ffa10bb11909c2673bbbac4778624255073ab85f484d39a8992b48ff1372",
  "source_commit_sha": "1125eb4c62249e7a3c62abe5352401c42dd908b6",
  "source_commit_blob_checks": {
    "source_mko": "mko-at-most-countable-set",
    "source_lf_normalized_sha256": "9c7748686b7974341920a59d07628f20017ef6d65476d751b2feb7424f7b3b57",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod31-countable-finite-certificate": 25,
      "qf-mod31-countable-affine-injection": 25,
      "qf-mod31-countable-enumeration": 25,
      "qf-mod31-countable-classification": 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": "7b382f15a68b0f6e0c1e44dc793ede056d8bd39aff2ca4e878a95654740ee01a",
  "batch_sha256": "7b382f15a68b0f6e0c1e44dc793ede056d8bd39aff2ca4e878a95654740ee01a",
  "manifest_sha256": "802294fe0e0f247aacc5b4dd372b0eb2c442becc7ae4765cd4419d964fa319ff",
  "byte_length": 180189,
  "average_bytes_per_question": 1801.89,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}