{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261008-advance-20261011-r04-set-0100",
  "pilot_number": "R0009-05100",
  "number": 5100,
  "family_id": "qf-density11-set-powerset-enumeration",
  "title": {
    "zh-Hant": "第 5100 題：有限集合的完整冪集",
    "en": "Question 5100: Complete Finite Powerset"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261008-advance-20261011-r04-set-0100",
    "batch_id": "batch-20261008-advance-20261011-r04-set-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-set"
    ],
    "title_zh": "有限集合的完整冪集",
    "stem_zh": "有限整數集合；A=[-24, 0, 1, 24]。列全部子集合；各子集遞增，外層先按大小再按數值字典序，空集合的冪集仍含空子集。",
    "answer": {
      "kind": "expression",
      "value": "[[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]",
      "explanation_zh": "有限冪集列舉=[[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]。由空子集逐個元素分成取與不取兩支，再依指定次序列全；這是非無限制概括，沒有越過有限A。"
    },
    "difficulty": {
      "band": "lower_secondary",
      "level": 3,
      "skills": [
        "有限集合的完整冪集"
      ]
    },
    "variant": {
      "family_id": "qf-density11-set-powerset-enumeration",
      "seed": 202610114100,
      "parameters": {
        "A": [
          -24,
          0,
          1,
          24
        ],
        "operation": "density11_set_powerset_enumeration",
        "domain": "finite_integer_set_slice",
        "semantic_template": "qf-density11-set-powerset-enumeration/[-24,0,1,24]"
      }
    },
    "verification": {
      "status": "candidate",
      "checks": [
        "producer_exact_integer_rational_arithmetic",
        "producer_finite_enumeration",
        "producer_source_snapshot_check",
        "producer_substantive_template_deduplication",
        "producer_json_schema"
      ],
      "warning_zh": "僅為產生端候選及自檢；主端須另做獨立驗收，不構成人工審定、普遍證明或形式 Evidence。"
    },
    "provenance": {
      "generator_role": "question_producer",
      "generator_model": "model_unknown",
      "generated_at": "2026-10-08",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261008-advance-20261011-r04-set-0100",
    "batch_id": "batch-20261008-advance-20261011-r04-set-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "10d6b9021fa3b6eacc089c212ae31b295b27252b19a4f4e7de2953dbd4f8add5",
      "family_id": "qf-density11-set-powerset-enumeration",
      "seed": 202610114100,
      "semantic_template": "qf-density11-set-powerset-enumeration/[-24,0,1,24]"
    },
    "fields": {
      "title": "Complete Finite Powerset",
      "stem": "Finite integer set A=[-24, 0, 1, 24]. List all subsets, each increasingly ordered; order the outer list by size and then numeric lexicographic order. The empty set’s powerset contains the empty subset.",
      "answer": {
        "kind": "expression",
        "value": "[[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]",
        "explanation": "Branch on including or excluding each distinct element, then apply the declared order; this finite construction is not unrestricted comprehension. The exact result, retaining the requested order, is [[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]."
      },
      "skills": [
        "Complete Finite Powerset"
      ],
      "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": "有限整數集合；A=[-24, 0, 1, 24]。列全部子集合；各子集遞增，外層先按大小再按數值字典序，空集合的冪集仍含空子集。",
        "en": "Finite integer set A=[-24, 0, 1, 24]. List all subsets, each increasingly ordered; order the outer list by size and then numeric lexicographic order. The empty set’s powerset contains the empty subset."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "raw integer list=[-24, 0, 1, 24]",
      "after": "extensional set=[-24, 0, 1, 24]",
      "relation": "implies",
      "rule_id": "set_extensionality_normalization",
      "conditions": [],
      "explanation": {
        "zh-Hant": "集合只看有哪些元素；去重及數值排序不改隸屬，並保留原始清單作來源。",
        "en": "A set depends on its elements;deduplication and numeric ordering do not change membership.The original list is retained as source."
      },
      "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": "no elements processed",
      "after": "[[]]",
      "relation": "implies",
      "rule_id": "power_set_empty_initial",
      "conditions": [],
      "explanation": {
        "zh-Hant": "空集合仍有一個子集合，就是空集本身；冪集不是空清單。",
        "en": "The empty set has one subset,the empty set itself;its power set is not an empty list."
      },
      "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": "processed subset=[];next element=-24",
      "after": "omit=[];include=[-24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[];next element=0",
      "after": "omit=[];include=[0]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[-24];next element=0",
      "after": "omit=[-24];include=[-24, 0]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[];next element=1",
      "after": "omit=[];include=[1]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[-24];next element=1",
      "after": "omit=[-24];include=[-24, 1]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[0];next element=1",
      "after": "omit=[0];include=[0, 1]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[-24, 0];next element=1",
      "after": "omit=[-24, 0];include=[-24, 0, 1]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[];next element=24",
      "after": "omit=[];include=[24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "processed subset=[-24];next element=24",
      "after": "omit=[-24];include=[-24, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[0];next element=24",
      "after": "omit=[0];include=[0, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[-24, 0];next element=24",
      "after": "omit=[-24, 0];include=[-24, 0, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[1];next element=24",
      "after": "omit=[1];include=[1, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[-24, 1];next element=24",
      "after": "omit=[-24, 1];include=[-24, 1, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "processed subset=[0, 1];next element=24",
      "after": "omit=[0, 1];include=[0, 1, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "S017",
      "uses": [
        "G001",
        "S016"
      ],
      "before": "processed subset=[-24, 0, 1];next element=24",
      "after": "omit=[-24, 0, 1];include=[-24, 0, 1, 24]",
      "relation": "implies",
      "rule_id": "power_set_include_omit_branch",
      "conditions": [],
      "explanation": {
        "zh-Hant": "按是否包含新元素分兩個互不交分支；每個子集合恰在一支出現一次。",
        "en": "Split into disjoint omit/include branches for the new element;each resulting subset appears in exactly one branch."
      },
      "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": "S018",
      "uses": [
        "G001",
        "S017"
      ],
      "before": "(2)^4",
      "after": "power-set cardinality = 16",
      "relation": "implies",
      "rule_id": "integer_power",
      "conditions": [],
      "explanation": {
        "zh-Hant": "以非負整數次有限乘積精確計算，零次為多項式中的乘法單位元。",
        "en": "Evaluate the finite nonnegative-integer power exactly; exponent0 uses the polynomial multiplicative identity."
      },
      "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": {
        "operation": "integer_power",
        "inputs": [
          "2",
          "4"
        ],
        "output": "16",
        "label": "power-set cardinality"
      }
    },
    {
      "id": "S019",
      "uses": [
        "G001",
        "S018"
      ],
      "before": "[[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]",
      "after": "all 16 subsets in size-then-numeric-lex order",
      "relation": "implies",
      "rule_id": "finite_power_set_completeness",
      "conditions": [],
      "explanation": {
        "zh-Hant": "外層先按大小再按數值字典序，各子集內部遞增；只構造給定有限A的全部子集，不作無限制概括。",
        "en": "Order subsets first by size,then numeric lexicographic order,with increasing elements inside each subset.This constructs only subsets of the supplied finite A,not unrestricted comprehension."
      },
      "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": [
      [],
      [
        -24
      ],
      [
        0
      ],
      [
        1
      ],
      [
        24
      ],
      [
        -24,
        0
      ],
      [
        -24,
        1
      ],
      [
        -24,
        24
      ],
      [
        0,
        1
      ],
      [
        0,
        24
      ],
      [
        1,
        24
      ],
      [
        -24,
        0,
        1
      ],
      [
        -24,
        0,
        24
      ],
      [
        -24,
        1,
        24
      ],
      [
        0,
        1,
        24
      ],
      [
        -24,
        0,
        1,
        24
      ]
    ]
  },
  "conclusion": {
    "canonical_value": "[[], [-24], [0], [1], [24], [-24, 0], [-24, 1], [-24, 24], [0, 1], [0, 24], [1, 24], [-24, 0, 1], [-24, 0, 24], [-24, 1, 24], [0, 1, 24], [-24, 0, 1, 24]]",
    "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-20261008-advance-20261011-r04-set-foundations",
      "batch_path": "public/data/questions/batches/batch-20261008-advance-20261011-r04-set-foundations/questions.jsonl",
      "batch_sha256": "f470bac7d0a7bba63071eb9254603f66dd92d4c55f5ceb13a0d1f7850edeb98e",
      "original_line": 100,
      "original_line_sha256": "9663b0ed350c0f64e0902fec9c0deeae24e29ce046a560f99f40a3ed5f9c9013",
      "question_compact_sha256": "10d6b9021fa3b6eacc089c212ae31b295b27252b19a4f4e7de2953dbd4f8add5",
      "english_row_compact_sha256": "6bcae42f1012b4c7939fa56335ff70745e827371fd23c148a59e44087c67d76c",
      "english_manifest_path": "public/data/i18n/editions/batch-20261008-advance-20261011-r04-set-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261008-advance-20261011-r04-set-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-set": {
        "sha256": "4f736510823c29158d78264f57fa9f96c5c2107ddc99999622656fdacc7a5728",
        "english_sha256": "f1024a1b7bcb63048a9ba5c6ca166a8236e5d37f63c4c64d3985f769c7ae742c",
        "original_path": "public/data/mko/set.json",
        "english_path": "public/data/i18n/editions/mko-set.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "3132b1200be7a5de38191badc52fb1727d4dd9d4c2f26818de2e8a76426d2d3f",
    "original_candidate_sha256": "a419ef56db803a223893bed6d83fcc4408451f6317b566d894832bd1c950187a",
    "original_candidate_line_sha256": "a419ef56db803a223893bed6d83fcc4408451f6317b566d894832bd1c950187a"
  },
  "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-005-p10",
    "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": "71e7db519df31f3a164533e472e293cb64f001b475a8d002b4a5c2740a237b56",
      "question_first_witness_sha256": "5a43f4f81b6256281f8d139a4010bbde127be803c528e5878857269c8f854462"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 19,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "dd89cd9b647e76c075108ea05a7e3b97cf09f8e1835593df8ac34e4c6d1e8361",
      "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."
  }
}