{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261008-advance-20261010-r02-set-operations-foundations",
  "checked_at": "2026-10-08",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "3d9350de403907a4a94607afc74dae7df45c431fa7b0f20be3884a21462da08a",
  "source_commit_sha": "b6a9f19af0a2b5920ed1503eabb66dc2df1a4cff",
  "source_commit_blob_checks": {
    "source_mko": "mko-set-operations",
    "source_lf_normalized_sha256": "e857b27da045df1a33d58d7cd56b319d6c8ec23162a8cfc3c15f7c70d30f317b",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density10-set-union-intersection-sizes": 25,
      "qf-density10-set-symmetric-difference": 25,
      "qf-density10-set-demorgan-sets": 25,
      "qf-density10-set-three-way-partition": 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": "1eb875be701255297ceef2bd83ebaceff2f7cdec925101d78d161062916bde7d",
  "batch_sha256": "1eb875be701255297ceef2bd83ebaceff2f7cdec925101d78d161062916bde7d",
  "manifest_sha256": "82e214b505e84cd2bc18cf860542e9cff68a89fdba78f1df7d747acab9fa9128",
  "byte_length": 149922,
  "average_bytes_per_question": 1499.22,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}