{
  "report_version": "ocme-question-factory-validation-v0.1",
  "batch_id": "batch-20261014-advance-20261108-r02-monotone-sequence-convergence-theorem-foundations",
  "checked_at": "2026-10-14",
  "outcome": "passed",
  "status_scope": "candidate_only_no_human_review_or_formal_proof_claimed",
  "brief_sha256": "e2d5b301e1e71018c40a3e5c360ffd91b7e6a2aeb2fef4f31437538c9789f402",
  "source_commit_sha": "b7682932bb2c4f632a49bc154d7543e0cf20bd82",
  "source_commit_blob_checks": {
    "source_mko": "mko-monotone-sequence-convergence-theorem",
    "source_lf_normalized_sha256": "7347d54ee6a5bad0a10d31d2740a6f5af3d2539f9dd91cfc6e85d51ea7c966dc",
    "all_match": true
  },
  "counts": {
    "total": 100,
    "by_family": {
      "qf-mod39-monoseq-increasing-limit-certificate": 25,
      "qf-mod39-monoseq-decreasing-limit-certificate": 25,
      "qf-mod39-monoseq-epsilon-witness": 25,
      "qf-mod39-monoseq-hypothesis-boundary": 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": "89dab9b3bab56cf32df54dfb1052a43027c5e475f1fe7279fd2a6f3e5b292774",
  "batch_sha256": "89dab9b3bab56cf32df54dfb1052a43027c5e475f1fe7279fd2a6f3e5b292774",
  "manifest_sha256": "8c338e1c2d22eb0625e7e47a6a205178acdcb9bfd537405bbe8a7adda791787d",
  "byte_length": 222487,
  "average_bytes_per_question": 2224.87,
  "required_check_results": {
    "json_schema": true,
    "independent_answer_recomputation": true,
    "explanation_witness_accuracy": true,
    "source_mko_snapshot_hash": true,
    "manifest_sha256": true
  },
  "errors": []
}