{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261013-advance-20261021-r06-linear-programming-foundations",
  "checked_at": "2026-10-13",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "312442b66dffea3273eaad93ed8de7167bf9101b684dbcd5cbf898d099bf6f87",
  "source_commit_sha": "73a1113591b740933c003c87694bdaf86805e50f",
  "source_commit_blob_checks": {
    "source_mko": "mko-linear-programming",
    "source_lf_normalized_sha256": "e954454f13d345f635417e689ccae76261e754c182baf343173c0279585e8ba4",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-app21-lp-constraint-row-audit": 25,
      "qf-app21-lp-feasible-inventory": 25,
      "qf-app21-lp-objective-audit": 25,
      "qf-app21-lp-finite-optimum": 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": "4f359198d877f6deb65f90624f20b930560aaea99c5c0bb90a9f1cdd464ff288",
  "batch_sha256": "4f359198d877f6deb65f90624f20b930560aaea99c5c0bb90a9f1cdd464ff288",
  "manifest_sha256": "2674858b1a7aaf5224a4255c8d13d4cd470b5ab71823dfa7bdd5c833db8c0155",
  "byte_length": 202911,
  "average_bytes_per_question": 2029.11,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}