{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261007-advance-20261009-r03-function-limit-foundations",
  "checked_at": "2026-10-07",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "a9ea66613dbe39d52c4bef062b3c0df06ca1fc5d80d2d0c913725fb4f60b4559",
  "source_commit_sha": "76f2a2fabda113cff18e1f8b6585ac1a781519d3",
  "source_commit_blob_checks": {
    "source_mko": "mko-function-limit",
    "source_lf_normalized_sha256": "2dce49b3fcec9f9cf28bc85107ed2884a57b36ccc297c60e4ef5836b4a3c5ca3",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-density-limit-invalid-delta-witness": 25,
      "qf-density-limit-center-versus-limit": 25,
      "qf-density-limit-one-sided-pair": 25,
      "qf-density-limit-punctured-quotient-value": 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": "b4e71b191c5c0c73b5a782d764be0c2938b563b18f840324154a28dda4ced9fa",
  "batch_sha256": "b4e71b191c5c0c73b5a782d764be0c2938b563b18f840324154a28dda4ced9fa",
  "manifest_sha256": "d128818e5c5ac0cab95b481cfe452a1b5fd6882fc10b87501121c392bed3b545",
  "byte_length": 158776,
  "average_bytes_per_question": 1587.76,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}