{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261015-pulse-20261119-r07-0098",
  "pilot_number": "P1000-0923",
  "number": 923,
  "family_id": "qf-mod50-optdeep-boundary",
  "title": {
    "zh-Hant": "第 923 題：有限最佳化",
    "en": "Question 923: Empty Domains, Partial Lists, Ties and Local-Only Witnesses Block Different Claims"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261015-pulse-20261119-r07-0098",
    "batch_id": "batch-20261015-advance-20261119-r07-optimization-problem-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-optimization-problem"
    ],
    "title_zh": "有限最佳化",
    "stem_zh": "完整有限feasible domain、明示neighborhood與exact objective table。操作=optdeep-boundary；明示資料={\"mode\":\"incomplete_domain\",\"model\":{\"listed_points\":[\"A\",\"B\"],\"values\":[23,46]}}；請依 exact_ordered_tuple_declared_by_interface 回答。",
    "answer": {
      "kind": "expression",
      "value": "(incomplete_domain, [[A, 23], [B, 46]], 否, an_unverified_partial_list_cannot_support_a_global_claim)",
      "explanation_zh": "Wave6第十三層核對=(incomplete_domain, [[A, 23], [B, 46]], 否, an_unverified_partial_list_cannot_support_a_global_claim)；依完整明示資料精確重算；local只比較全部neighbors，global比較全部feasible points；lower bound須完整且attained；strict improvement只是否定證書；empty/incomplete domain與ties不得冒充存在、global或unique optimum。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 3,
      "skills": [
        "有限最佳化"
      ]
    },
    "variant": {
      "family_id": "qf-mod50-optdeep-boundary",
      "seed": 202611197098,
      "parameters": {
        "mode": "incomplete_domain",
        "model": {
          "listed_points": [
            "A",
            "B"
          ],
          "values": [
            23,
            46
          ]
        },
        "domain": "Exact_finite_optimization_density",
        "operation": "optdeep-boundary",
        "semantic_template": "optdeep-boundary|{\"mode\":\"incomplete_domain\",\"model\":{\"listed_points\":[\"A\",\"B\"],\"values\":[[23,1],[46,1]]}}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_contract_recomputation",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "candidate 僅對明示有限或符號模型重算；不構成一般定理、人工審定、Lean 或 Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "GPT-5.6 Terra",
      "generated_at": "2026-10-15",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261015-pulse-20261119-r07-0098",
    "batch_id": "batch-20261015-advance-20261119-r07-optimization-problem-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "2c5d5bda5fccd0cac9ebdacce3c5ec2a72010ffa56d4eba33df3256b6ec63187",
      "family_id": "qf-mod50-optdeep-boundary",
      "seed": 202611197098,
      "semantic_template": "optdeep-boundary|{\"mode\":\"incomplete_domain\",\"model\":{\"listed_points\":[\"A\",\"B\"],\"values\":[[23,1],[46,1]]}}"
    },
    "fields": {
      "title": "Empty Domains, Partial Lists, Ties and Local-Only Witnesses Block Different Claims",
      "stem": "Use mode=incomplete_domain, complete model={\"listed_points\":[\"A\",\"B\"],\"values\":[23,46]}. Give (mode, listed_objective_rows, global_certificate_claim, boundary).",
      "answer": {
        "kind": "expression",
        "value": "(incomplete_domain, [[A, 23], [B, 46]], No, an_unverified_partial_list_cannot_support_a_global_claim)",
        "explanation": "The empty feasible set has no optimizer. A list not established as complete cannot certify globality. Tied minima establish existence but not uniqueness. A graph-local minimum can fail globally; use the actual complete neighborhood and feasible objective table rather than conflating the two comparison scopes. The exact result, retaining the requested order, is (incomplete_domain, [[A, 23], [B, 46]], No, an_unverified_partial_list_cannot_support_a_global_claim)."
      },
      "skills": [
        "Empty Domains, Partial Lists, Ties and Local-Only Witnesses Block Different Claims"
      ],
      "verification_warning": "This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."
    }
  },
  "givens": [
    {
      "id": "G001",
      "text": {
        "zh-Hant": "完整有限feasible domain、明示neighborhood與exact objective table。操作=optdeep-boundary；明示資料={\"mode\":\"incomplete_domain\",\"model\":{\"listed_points\":[\"A\",\"B\"],\"values\":[23,46]}}；請依 exact_ordered_tuple_declared_by_interface 回答。",
        "en": "Use mode=incomplete_domain, complete model={\"listed_points\":[\"A\",\"B\"],\"values\":[23,46]}. Give (mode, listed_objective_rows, global_certificate_claim, boundary)."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "mode=incomplete_domain",
      "after": "identify the exact missing optimization obligation",
      "relation": "implies",
      "rule_id": "optimization_scope",
      "conditions": [],
      "explanation": {
        "zh-Hant": "先區分不存在、未證完整、不唯一與只達局部最小等不同情況。",
        "en": "Distinguish nonexistence, unverified completeness, nonuniqueness and merely local optimality."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "完整域、鄰域、達界與唯一性是不同責任，不能從局部資料偷換全域結論。",
          "en": "Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "only these points are listed",
      "after": "[[A, 23], [B, 46]]",
      "relation": "implies",
      "rule_id": "partial_objective_data",
      "conditions": [],
      "explanation": {
        "zh-Hant": "列出的值可精確比較，但沒有給出它們已窮盡feasible domain的證書。",
        "en": "The listed values can be compared exactly, but no certificate says they exhaust the feasible domain."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "完整域、鄰域、達界與唯一性是不同責任，不能從局部資料偷換全域結論。",
          "en": "Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "listed minimum=23",
      "after": "an unlisted feasible point with value 22 would change the minimum",
      "relation": "implies",
      "rule_id": "unlisted_point_countermodel",
      "conditions": [],
      "explanation": {
        "zh-Hant": "這是說明資訊不足的可能模型，不是假稱原題真的存在這個額外點。",
        "en": "This is a possible countermodel to the inference, not a claim that the original task actually contains this extra point."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "完整域、鄰域、達界與唯一性是不同責任，不能從局部資料偷換全域結論。",
          "en": "Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "unverified partial list",
      "after": "cannot certify a global claim from these data alone",
      "relation": "implies",
      "rule_id": "incomplete_not_disproof",
      "conditions": [],
      "explanation": {
        "zh-Hant": "false是否定證書充分性，並非證明列出候選點一定不是全域最小。",
        "en": "The false flag denies certificate sufficiency; it does not prove that a listed candidate is nonoptimal."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "完整域、鄰域、達界與唯一性是不同責任，不能從局部資料偷換全域結論。",
          "en": "Completeness, neighborhoods, attainment and uniqueness are separate obligations; local data do not license a global conclusion."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": [
      "incomplete_domain",
      [
        [
          "A",
          "23"
        ],
        [
          "B",
          "46"
        ]
      ],
      false,
      "an_unverified_partial_list_cannot_support_a_global_claim"
    ]
  },
  "conclusion": {
    "canonical_value": "(incomplete_domain, [[A, 23], [B, 46]], 否, an_unverified_partial_list_cannot_support_a_global_claim)",
    "explanation": {
      "zh-Hant": "上述完整代值與條件核對得到原題答案；欄位次序及真假標記保持原始合約。",
      "en": "The full substitutions and premise audits recover the original answer, retaining its field order and verdict meanings."
    }
  },
  "definition_note": {
    "zh-Hant": "空集合無最優點；未證完整的清單不能支持全域結論；並列不唯一；局部最小不等於全域最小。",
    "en": "An empty set has no optimizer; an unverified partial list supports no global claim; ties are not unique; a local minimum need not be global."
  },
  "source": {
    "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db",
    "question_binding": {
      "batch_id": "batch-20261015-advance-20261119-r07-optimization-problem-foundations",
      "batch_path": "public/data/questions/batches/batch-20261015-advance-20261119-r07-optimization-problem-foundations/questions.jsonl",
      "batch_sha256": "7ca0a9388bb0b3ed98a619610814bbde72bb9ea5459f6f9f7e636bc2261b7d2d",
      "original_line": 98,
      "original_line_sha256": "497445b04a7a4027707fea3f04bfe3231dce435631b913827d3e167a6348ecb3",
      "question_compact_sha256": "2c5d5bda5fccd0cac9ebdacce3c5ec2a72010ffa56d4eba33df3256b6ec63187",
      "english_manifest_path": "public/data/i18n/editions/batch-20261015-advance-20261119-r07-optimization-problem-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261015-advance-20261119-r07-optimization-problem-foundations.en.jsonl",
      "english_row_compact_sha256": "75d21158419280bf619504025a1f82b8e9deeb860d92b8e85a738bb10baa3d4b"
    },
    "mko_bindings": {
      "mko-optimization-problem": {
        "sha256": "55c8accf83a0b3a16cb86f438bdc6575f8dcec45e670f324e863e79a1a233514",
        "english_sha256": "b6379fa21189b83b931814f4a2acdc266e8f73e8fa2fad6e9d2190456191279e",
        "original_path": "public/data/mko/optimization-problem.json",
        "english_path": "public/data/i18n/editions/mko-optimization-problem.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "afa7c0e9f7084cc5929124dcffe9929d5db7def32e40047056d19ea25535873e",
    "original_candidate_sha256": "b2f6ece6bb57068e8cc35c7e6898b0e2018ac7414bd3766bffc35a9b55e33410",
    "original_candidate_line_sha256": "b2f6ece6bb57068e8cc35c7e6898b0e2018ac7414bd3766bffc35a9b55e33410"
  },
  "historical_source_state": {
    "review_state": {
      "derivation": "candidate_authored_and_locally_checked",
      "source_question_state": "candidate",
      "independent_AI_or_human_review": "NOT_PERFORMED",
      "formalization": "not_formalized",
      "Lean": "NOT_RUN"
    },
    "scope_note": {
      "zh-Hant": "來源綁定的教學推導候選；精確算術及有限列舉不是獨立AI審查或一般形式化證明。原題、答案、MKO、公式、AST及歷史保持不變。",
      "en": "Source-bound pedagogical derivation candidate: exact arithmetic and finite enumeration are not independent AI review or general formal proof. Original questions, answers, MKOs, formulas, ASTs and history remain unchanged."
    },
    "label": "Frozen producer metadata; current per-question review is separate below."
  },
  "revision": {
    "id": "review-20261026-003-04",
    "review_date": "2026-10-26",
    "owner_authorized_reader_publication": true,
    "scope": "Thirty family prototypes and their mathematical/bilingual reasoning variants, stems, boundary statements and every distinct sentence shape were reviewed in a context independent of the producer; parameter substitutions, source bindings, full answer tuples, model results and every arithmetic step were independently reconstructed per question from the original parameters only, with negative controls. This grouped method does not claim a separate literal AI reading of every repeated sentence or an extra AI voter.",
    "review_receipts": {
      "semantic_review_sha256": "6c2c6d46aded7582a11ac41a8c0b3bdde2669a53bdb6e796eea2039994a02772",
      "question_first_witness_sha256": "77e43898df9efdbf8094ad81fe4ab91cf4b4bd82f481eb9b4699b73cb4da612b"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 4,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "63f2917861a91e8182126c8be43569ee99e2330c7c5e02482b61102fd0918443",
      "arithmetic_steps": 0
    },
    "uses_answer_as_premise": false,
    "human_review": "NOT_PERFORMED",
    "formalization": "not_formalized",
    "Lean": "NOT_RUN",
    "Canonical_truth_promotion": false,
    "authority": "Owner-authorized reviewed reader publication; original question/candidate states remain historical and unchanged."
  }
}