{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261022-r04-real-vector-space-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "5685e625a9ade4695eec088cd86e5c8b812b1986b00b3b8486a2efa219185cc5",
  "source_commit_sha": "efe93139721506cc2f3f8a9c2c2f2ddd97b7ad73",
  "source_commit_blob_checks": {
    "source_mko": "mko-real-vector-space",
    "source_lf_normalized_sha256": "d57c98eb1c006f761ecaaf2870e2a09b30e5a29627351005b7e3bb7b30b33356",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-str22-vectorspace-addition": 25,
      "qf-str22-vectorspace-scalar-multiplication": 25,
      "qf-str22-vectorspace-additive-inverse": 25,
      "qf-str22-vectorspace-scalar-distributivity": 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": "2e1a8d7fc8d62329f409c52b55d8384e14dbd1965c738725baf612fc9b16df14",
  "batch_sha256": "2e1a8d7fc8d62329f409c52b55d8384e14dbd1965c738725baf612fc9b16df14",
  "manifest_sha256": "f9ba80ae397c488f1ba8df0687511da2842cc566959fae0f9fc89d68a380fbb7",
  "byte_length": 169840,
  "average_bytes_per_question": 1698.4,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}