{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261008-advance-20261012-r04-set-membership-foundations",
  "checked_at": "2026-10-08",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "c752f3576a0c92e3224326668f3f976411ac90b5a0eb2a24082938f519d023fc",
  "source_commit_sha": "01cb7d439d674fe11007d7f41a1131270d353287",
  "source_commit_blob_checks": {
    "source_mko": "mko-set-membership",
    "source_lf_normalized_sha256": "2a438aa79c23e6d37869e1e63eb48420bcf2f114f44b58fe5bea386076b4f0db",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density12-membership-indexed-predicate-values": 25,
      "qf-density12-membership-set-insertion-delta": 25,
      "qf-density12-membership-deletion-residual": 25,
      "qf-density12-membership-predicate-extension": 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": "f10a826885fa19e57016c6a08b8d9a1fe86d7d44f9376d12639a973f92aeb8e2",
  "batch_sha256": "f10a826885fa19e57016c6a08b8d9a1fe86d7d44f9376d12639a973f92aeb8e2",
  "manifest_sha256": "2c9d45a0b3d738f445d96a74fa9c7ff6520781eae296a067ab78b4e0c32e9f73",
  "byte_length": 163793,
  "average_bytes_per_question": 1637.93,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}