{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261014-advance-20261103-r06-maximum-matching-0078",
  "pilot_number": "R0033-17403",
  "number": 17403,
  "family_id": "qf-mod34-maxmatching-maximal-vs-maximum",
  "title": {
    "zh-Hant": "第 17403 題：最大匹配",
    "en": "Question 17403: Conjoin Validity Separately with Maximality and Maximum Size"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261014-advance-20261103-r06-maximum-matching-0078",
    "batch_id": "batch-20261014-advance-20261103-r06-maximum-matching-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-maximum-matching"
    ],
    "title_zh": "最大匹配",
    "stem_zh": "edge count有界的完整有限簡單圖與全edge-subset枚舉。操作=maxmatching-maximal-vs-maximum；資料={\"n\":6,\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,1]}。請依 [matching,valid,addable_edges,maximal,maximum_size,maximum,boundary] 欄序回答。",
    "answer": {
      "kind": "expression",
      "value": "([0, 1], 否, [], 否, 2, 否, maximal_and_maximum_are_distinct_properties)",
      "explanation_zh": "Wave5第三層核對=([0, 1], 否, [], 否, 2, 否, maximal_and_maximum_are_distinct_properties)；依完整明示資料重算；每個候選先核matching，maximum需全域比較；maximum不等於maximal、perfect或unique。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 1,
      "skills": [
        "最大匹配"
      ]
    },
    "variant": {
      "family_id": "qf-mod34-maxmatching-maximal-vs-maximum",
      "seed": 202611036078,
      "parameters": {
        "n": 6,
        "edges": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            2,
            3
          ]
        ],
        "matching": [
          0,
          1
        ],
        "domain": "Exhaustive_finite_graph_maximum_matching",
        "operation": "maxmatching-maximal-vs-maximum",
        "semantic_template": "qf-mod34-maxmatching-maximal-vs-maximum/{\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,1],\"n\":6}"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_finite_or_symbolic_model",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "候選須由主端獨立重算；不構成人工審定、sampled rank upper bound、infinite-domain uniformity、finite-prefix series proof、posterior/identifiability、graph connectivity、nonexhaustive maximum、Lean或形式Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "model_unknown",
      "generated_at": "2026-10-14",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261014-advance-20261103-r06-maximum-matching-0078",
    "batch_id": "batch-20261014-advance-20261103-r06-maximum-matching-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "112b7ad0fbde333e4b89090d28237cb73e85cd9b01747f27df42871584c43367",
      "family_id": "qf-mod34-maxmatching-maximal-vs-maximum",
      "seed": 202611036078,
      "semantic_template": "qf-mod34-maxmatching-maximal-vs-maximum/{\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,1],\"n\":6}"
    },
    "fields": {
      "title": "Conjoin Validity Separately with Maximality and Maximum Size",
      "stem": "Use the complete bounded simple graph on Fin(6)={0,…,5} with canonical ordered undirected edges=[[0, 1], [0, 3], [2, 3]]. Edge indices are zero-based positions in this exact list. A matching contains distinct edge indices with no shared endpoint. Enumerate every edge subset to determine the global maximum size; include the empty matching. List indices within each matching increasingly and enumerate matchings in increasing edge-subset mask order. Maximum,inclusion-maximal,perfect and unique are distinct properties. Proposed edge-index collection=[0, 1]. Give (matching,valid?,addable_edges,maximal?,maximum_size,maximum?,maximal_and_maximum_are_distinct_properties). List addable unselected edges increasingly when their endpoints avoid every endpoint used by the proposed collection.",
      "answer": {
        "kind": "expression",
        "value": "([0, 1], No, [], No, 2, No, maximal_and_maximum_are_distinct_properties)",
        "explanation": "maximal is valid AND no single unused edge can be added. maximum is valid AND the collection size equals the global optimum over all valid matchings. An invalid collection receives neither certificate,even if no edge is addable or its numeric size equals the optimum. The exact result, retaining the requested order, is ([0, 1], No, [], No, 2, No, maximal_and_maximum_are_distinct_properties)."
      },
      "skills": [
        "Conjoin Validity Separately with Maximality and Maximum Size"
      ],
      "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": "edge count有界的完整有限簡單圖與全edge-subset枚舉。操作=maxmatching-maximal-vs-maximum；資料={\"n\":6,\"edges\":[[0,1],[0,3],[2,3]],\"matching\":[0,1]}。請依 [matching,valid,addable_edges,maximal,maximum_size,maximum,boundary] 欄序回答。",
        "en": "Use the complete bounded simple graph on Fin(6)={0,…,5} with canonical ordered undirected edges=[[0, 1], [0, 3], [2, 3]]. Edge indices are zero-based positions in this exact list. A matching contains distinct edge indices with no shared endpoint. Enumerate every edge subset to determine the global maximum size; include the empty matching. List indices within each matching increasingly and enumerate matchings in increasing edge-subset mask order. Maximum,inclusion-maximal,perfect and unique are distinct properties. Proposed edge-index collection=[0, 1]. Give (matching,valid?,addable_edges,maximal?,maximum_size,maximum?,maximal_and_maximum_are_distinct_properties). List addable unselected edges increasingly when their endpoints avoid every endpoint used by the proposed collection."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "complete original carrier Fin(6);ALREADY canonical original edge list=[[0, 1], [0, 3], [2, 3]]",
      "after": "loop-free unique original edges=3<=10;all edge subsets have mask0 through7",
      "relation": "implies",
      "rule_id": "maxmatching_complete_bounded_original_graph_mask_domain",
      "conditions": [],
      "explanation": {
        "zh-Hant": "n上界12、邊數上界10是本題可完整枚舉的域，不套前輪n30的guard。端點與邊表須原本已排序，索引固定原邊；無loop或重邊。",
        "en": "This family's bounds are n≤12 and at most10 edges,permitting exhaustive enumeration.Do not reuse the earlier n30 guard.Input endpoints and edges must already be canonical,with indices bound to original edges and no loops or duplicates."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "original edge-subset integer mask=0;increasing original indices=[];actual selected edges=[]",
      "after": "used endpoint union=[];repeated endpoints in traversal order=[];valid matching=是;size=0",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "original edge-subset integer mask=1;increasing original indices=[0];actual selected edges=[[0, 1]]",
      "after": "used endpoint union=[0, 1];repeated endpoints in traversal order=[];valid matching=是;size=1",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "original edge-subset integer mask=2;increasing original indices=[1];actual selected edges=[[0, 3]]",
      "after": "used endpoint union=[0, 3];repeated endpoints in traversal order=[];valid matching=是;size=1",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "original edge-subset integer mask=3;increasing original indices=[0, 1];actual selected edges=[[0, 1], [0, 3]]",
      "after": "used endpoint union=[0, 1, 3];repeated endpoints in traversal order=[0];valid matching=否;size=2",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "original edge-subset integer mask=4;increasing original indices=[2];actual selected edges=[[2, 3]]",
      "after": "used endpoint union=[2, 3];repeated endpoints in traversal order=[];valid matching=是;size=1",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "original edge-subset integer mask=5;increasing original indices=[0, 2];actual selected edges=[[0, 1], [2, 3]]",
      "after": "used endpoint union=[0, 1, 2, 3];repeated endpoints in traversal order=[];valid matching=是;size=2",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S008",
      "uses": [
        "G001",
        "S007"
      ],
      "before": "original edge-subset integer mask=6;increasing original indices=[1, 2];actual selected edges=[[0, 3], [2, 3]]",
      "after": "used endpoint union=[0, 2, 3];repeated endpoints in traversal order=[3];valid matching=否;size=2",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S009",
      "uses": [
        "G001",
        "S008"
      ],
      "before": "original edge-subset integer mask=7;increasing original indices=[0, 1, 2];actual selected edges=[[0, 1], [0, 3], [2, 3]]",
      "after": "used endpoint union=[0, 1, 2, 3];repeated endpoints in traversal order=[0, 3];valid matching=否;size=3",
      "relation": "implies",
      "rule_id": "maxmatching_every_mask_validity_before_global_comparison",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按整數遮罩遞增含空集合逐一核端點衝突；不合格族不能拿邊數參加最優值比較。每個原邊子集恰對應一遮罩，沒有漏掉替換已有邊的方案。",
        "en": "Enumerate integer masks in order,including the empty subset,and check endpoint conflicts first.Invalid collections cannot enter the optimum comparison.Every original edge subset has one mask,including alternatives that replace selected edges."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S010",
      "uses": [
        "G001",
        "S009"
      ],
      "before": "exhaustive matching validity indicator count := sum(1, 1, 1, 0, 1, 1, 0, 0)",
      "after": "exhaustive matching validity indicator count = 5",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "依同一原始角色與已核中間量精確計算，保留分母、正負號、座標與索引。",
        "en": "Compute exactly from original roles and established intermediates,retaining denominators,signs,coordinates and indices."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 exhaustive matching validity indicator count，不以小數近似替代。",
          "en": "Recompute exhaustive matching validity indicator count with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "1",
          "1",
          "1",
          "0",
          "1",
          "1",
          "0",
          "0"
        ],
        "output": "5",
        "label": "exhaustive matching validity indicator count"
      }
    },
    {
      "id": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "all8 original masks examined;valid matching count=5;all valid sizes=[0, 1, 1, 1, 2]",
      "after": "global maximum size=2;ALL maxima in ORIGINAL MASK order=[[0, 2]]",
      "relation": "implies",
      "rule_id": "maxmatching_exhaustive_upper_bound_and_attaining_all_witnesses",
      "conditions": [],
      "explanation": {
        "zh-Hant": "有效候選全列後每一個大小都≤此最大值，且保留所有達到者，才同時有全域上界及達到見證。最大解依遮罩順序，不再按索引清單字典序排序，也不宣稱一般複雜度定理。",
        "en": "Every valid candidate has size at most this maximum,and every attaining witness is retained.This supplies both a global upper bound and attainment.Keep mask order rather than lexicographic list order,and infer no general complexity theorem."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "original proposed indices=[0, 1];sorted duplicate-free collection=[0, 1];repeated endpoints=[0];numeric size=2;true global maximum=2",
      "after": "proposal valid=否;is maximum=valid AND size equals optimum=否",
      "relation": "implies",
      "rule_id": "maxmatching_revised_validity_conjunction_not_legacy_size_only",
      "conditions": [],
      "explanation": {
        "zh-Hant": "採實際英文投影的修訂契約：端點衝突的族即使邊數碰巧等於最佳值也不是maximum matching。保留無效族的原大小與False旗標，不改題或先丟棄它。",
        "en": "Use the revised contract employed by the actual English projection.A conflicting-edge collection is not a maximum matching even if its numeric size equals the optimum.Keep its original size and false flags rather than changing or discarding the proposal."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S013",
      "uses": [
        "G001",
        "S012"
      ],
      "before": "original edge index=0;edge=[0, 1];already proposed=是;both endpoints avoid ALL proposal endpoints=否",
      "after": "directly addable unused edge=否",
      "relation": "implies",
      "rule_id": "maxmatching_each_direct_extension_not_global_replacement",
      "conditions": [],
      "explanation": {
        "zh-Hant": "只查未選且兩端避開整份提案端點的原邊可否直接添入；即使提案無效仍按原union回報addable，最終有效性另合取。直接不能加不排除替換成更大matching。",
        "en": "A direct extension is an unused original edge avoiding every proposal endpoint.Even an invalid proposal retains this addable-edge calculation,with validity conjoined separately.No direct addition does not exclude replacement by a larger matching."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S014",
      "uses": [
        "G001",
        "S013"
      ],
      "before": "original edge index=1;edge=[0, 3];already proposed=是;both endpoints avoid ALL proposal endpoints=否",
      "after": "directly addable unused edge=否",
      "relation": "implies",
      "rule_id": "maxmatching_each_direct_extension_not_global_replacement",
      "conditions": [],
      "explanation": {
        "zh-Hant": "只查未選且兩端避開整份提案端點的原邊可否直接添入；即使提案無效仍按原union回報addable，最終有效性另合取。直接不能加不排除替換成更大matching。",
        "en": "A direct extension is an unused original edge avoiding every proposal endpoint.Even an invalid proposal retains this addable-edge calculation,with validity conjoined separately.No direct addition does not exclude replacement by a larger matching."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S015",
      "uses": [
        "G001",
        "S014"
      ],
      "before": "original edge index=2;edge=[2, 3];already proposed=否;both endpoints avoid ALL proposal endpoints=否",
      "after": "directly addable unused edge=否",
      "relation": "implies",
      "rule_id": "maxmatching_each_direct_extension_not_global_replacement",
      "conditions": [],
      "explanation": {
        "zh-Hant": "只查未選且兩端避開整份提案端點的原邊可否直接添入；即使提案無效仍按原union回報addable，最終有效性另合取。直接不能加不排除替換成更大matching。",
        "en": "A direct extension is an unused original edge avoiding every proposal endpoint.Even an invalid proposal retains this addable-edge calculation,with validity conjoined separately.No direct addition does not exclude replacement by a larger matching."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S016",
      "uses": [
        "G001",
        "S015"
      ],
      "before": "proposal valid=否;addable original edges=[];global optimum=2;proposal size=2",
      "after": "maximal=valid AND no addable edge=否;maximum=valid AND size equals optimum=否;maximal_and_maximum_are_distinct_properties",
      "relation": "implies",
      "rule_id": "maxmatching_maximal_and_maximum_both_require_validity",
      "conditions": [],
      "explanation": {
        "zh-Hant": "兩個性質各自合取有效性，不能用無邊可加或大小相等修好衝突；maximum也不自動表示perfect或unique。",
        "en": "Both properties separately require validity.Neither no addable edge nor size equality repairs conflicts.Maximum also does not imply perfectness or uniqueness."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "回到原始資料與本步條件核對，不把單向推論誤稱等價。",
          "en": "Check against the original data and this step's premises; a one-way implication is not an equivalence."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": [
      [
        0,
        1
      ],
      false,
      [],
      false,
      2,
      false,
      "maximal_and_maximum_are_distinct_properties"
    ]
  },
  "conclusion": {
    "canonical_value": "([0, 1], 否, [], 否, 2, 否, maximal_and_maximum_are_distinct_properties)",
    "explanation": {
      "zh-Hant": "依上列完整代值及條件核對得到原題答案；原題編號、格式與狀態保持不變。",
      "en": "The full substitutions and premise checks give the original answer; source identity,format and status are unchanged."
    }
  },
  "definition_note": {
    "zh-Hant": "沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。",
    "en": "Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate."
  },
  "source": {
    "input_commit": "0f7be61e2c22317a4075561dc822c87d881a50db",
    "question_binding": {
      "batch_id": "batch-20261014-advance-20261103-r06-maximum-matching-foundations",
      "batch_path": "public/data/questions/revisions/ocme-reference-revision-20261017/batch-20261014-advance-20261103-r06-maximum-matching-foundations/questions.jsonl",
      "batch_sha256": "36d36d687ea400d9490dcdc67eaace4ab92c6337297da67df193b946fbd81506",
      "original_line": 78,
      "original_line_sha256": "9cce56d2e96320d0160fd0dbcfe8a3d86ea4676611e4116d71a51373f8e5815f",
      "question_compact_sha256": "112b7ad0fbde333e4b89090d28237cb73e85cd9b01747f27df42871584c43367",
      "english_row_compact_sha256": "b50e0619857adcfc69148890c55d652d41a6455bca6df85d0554a6ed63c5297f",
      "english_manifest_path": "public/data/i18n/editions/batch-20261014-advance-20261103-r06-maximum-matching-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261014-advance-20261103-r06-maximum-matching-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-maximum-matching": {
        "sha256": "bb97ee67fcffa420b79baaaf56c7ebabe2977fb5d14f5826d1f1c0452f4ed7f9",
        "english_sha256": "62ea84a565cbbc9bfd9f80ccaf5cdd5474c7027eca349c25cded547f5fbe5886",
        "original_path": "public/data/mko/maximum-matching.json",
        "english_path": "public/data/i18n/editions/mko-maximum-matching.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "c6f506c0e91ce68861b828c110bfee6002681c5a6e691f1ba5ae296376b30ad5",
    "original_candidate_sha256": "4564a82900f81f05f5c8511b695d509629b80fd22522c0054e30c592f23251e5",
    "original_candidate_line_sha256": "4564a82900f81f05f5c8511b695d509629b80fd22522c0054e30c592f23251e5"
  },
  "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 checking is not independent AI/human 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-008-p34",
    "review_date": "2026-10-26",
    "owner_authorized_reader_publication": true,
    "scope": "One hundred sixty family prototypes and their mathematical/bilingual reasoning variants, stems, boundary statements and every distinct explanation shape were reviewed in a context independent of the producer; parameter substitutions, source bindings, full math models, both answer strings 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": "4a0957a15bb33fbe5f663e37a8babf46ab5a291eb5d1dfa3bf9045204cd43ec3",
      "question_first_witness_sha256": "22a8506bcfa34c503216083d1a8e813d61aad22dbc81589c0d41089c528a7f93"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 16,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "b64cc81c10cf424c98369d67876e309f20d35c6335c32b5f770f291381c14d94",
      "arithmetic_steps": 1
    },
    "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."
  }
}