{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261101-r01-vector-subspace-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "1d73a687b34e34a559a65feb02b6924f0d57834feeb2fd68bebce04c97eb611e",
  "source_commit_sha": "db70625ca5e6b354f34d05d180c2986c23ace97c",
  "source_commit_blob_checks": {
    "source_mko": "mko-vector-subspace",
    "source_lf_normalized_sha256": "a92727827e6ab175bea8b4da7021fe6b063af40e68f09beb9ad7437cd72c1abc",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod32-subspace-line-membership": 25,
      "qf-mod32-subspace-universal-line-certificate": 25,
      "qf-mod32-subspace-finite-set-counterexample": 25,
      "qf-mod32-subspace-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": "be86d8792c3336b601ef1d82acef63d9c51e5095f202e938fc2873f72209ba19",
  "batch_sha256": "be86d8792c3336b601ef1d82acef63d9c51e5095f202e938fc2873f72209ba19",
  "manifest_sha256": "07691275d9a9afcd60a9b87c6c8871ae55cfc6bc679e5fcc256c308b47c30850",
  "byte_length": 174716,
  "average_bytes_per_question": 1747.16,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}