{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261026-r02-real-normed-vector-space-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "88411c8c03eecee75855fbe4eb897e95d12be19f68f26ad6b126a911a1ce691c",
  "source_commit_sha": "a147c5e895dc206351df6dc0225297392ad17c08",
  "source_commit_blob_checks": {
    "source_mko": "mko-real-normed-vector-space",
    "source_lf_normalized_sha256": "8f2547c8a3312254b34134e96a3083f313e6e7334ab0a87a1ba73cc147931964",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod26-norm-l1-evaluate": 25,
      "qf-mod26-norm-linfinity-evaluate": 25,
      "qf-mod26-norm-named-norm-certificate": 25,
      "qf-mod26-norm-induced-distance": 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": "d235a859d0144feeea41a34962f61889794a71a7b28bff1d41a624d35aeabd92",
  "batch_sha256": "d235a859d0144feeea41a34962f61889794a71a7b28bff1d41a624d35aeabd92",
  "manifest_sha256": "1a396ca1f04ef3784def95332e419de2bd06c4c705dd5711d6e06f231c8c20ff",
  "byte_length": 175653,
  "average_bytes_per_question": 1756.53,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}