{
  "schema_version": "ocme-reviewed-question-reader-v1",
  "question_id": "q-20261004-advance-20261005-r07-variance-0086",
  "pilot_number": "R0070-35886",
  "number": 35886,
  "family_id": "qf-variance-zero-support",
  "title": {
    "zh-Hant": "第 35886 題：正機率支持上的零變異數判定",
    "en": "Question 35886: Zero Variance on Positive-Probability Support"
  },
  "original_question": {
    "schema_version": "ocme-question-v0.1",
    "id": "q-20261004-advance-20261005-r07-variance-0086",
    "batch_id": "batch-20261004-advance-20261005-r07-variance-foundations",
    "language": "zh-Hant",
    "source_mko_ids": [
      "mko-variance"
    ],
    "title_zh": "正機率支持上的零變異數判定",
    "stem_zh": "非空有限 S={0, 1, 2, 3}、事件族 F=𝒫(S)，總函數 X:S→R 的值表為 {(0, 0), (1, 0), (2, 12), (3, 1009)}，各結果依列序 [0, 1, 2, 3] 的非負機率權重為 [1/18, 12/18, 5/18, 0/18]，權重總和恰為一。依此機率分布，Var(X) 是否為零？只能要求正權重結果上的值相同。",
    "answer": {
      "kind": "short_text",
      "value": "否",
      "explanation_zh": "正權重取值={0, 12}。正權重支持上常值才有零變異數；零權重結果可有不同值，這不是樣本變異數，也不要求全 S 上常值。"
    },
    "difficulty": {
      "band": "undergraduate_core",
      "level": 2,
      "skills": [
        "正機率支持上的零變異數判定"
      ]
    },
    "variant": {
      "family_id": "qf-variance-zero-support",
      "seed": 202610057086,
      "parameters": {
        "S": [
          0,
          1,
          2,
          3
        ],
        "F": "powerset(S)",
        "values": [
          0,
          0,
          12,
          1009
        ],
        "weights": [
          1,
          12,
          5,
          0
        ],
        "denominator": 18,
        "operation": "zero_variance",
        "semantic_template": "qf-variance-zero-support/{\"F\":\"powerset(S)\",\"law\":[[\"0\",\"13/18\"],[\"12\",\"5/18\"]],\"operation\":\"zero_variance\"}"
      }
    },
    "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": "Codex independent producer (inherited model; exact runtime model not exposed)",
      "generated_at": "2026-10-04",
      "contract_version": "ocme-question-factory-v0.1"
    }
  },
  "original_english_edition": {
    "schema_version": "ocme-question-localization-v0.1",
    "question_id": "q-20261004-advance-20261005-r07-variance-0086",
    "batch_id": "batch-20261004-advance-20261005-r07-variance-foundations",
    "locale": "en",
    "translation_state": "ai_candidate",
    "source": {
      "question_sha256": "d685ad39087566c89d721568d5824b9e2b4ef703e5ba65926caaf2b974d2dcc0",
      "family_id": "qf-variance-zero-support",
      "seed": 202610057086,
      "semantic_template": "qf-variance-zero-support/{\"F\":\"powerset(S)\",\"law\":[[\"0\",\"13/18\"],[\"12\",\"5/18\"]],\"operation\":\"zero_variance\"}"
    },
    "fields": {
      "title": "Zero Variance on Positive-Probability Support",
      "stem": "The nonempty finite sample space is S={0, 1, 2, 3}, with event family F=𝒫(S). The total function X:S→R has table {(0, 0), (1, 0), (2, 12), (3, 1009)}. In the displayed order of S, the nonnegative probability weights are [1/(18), 12/(18), 5/(18), 0/(18)], summing exactly to one. Is Var(X)=0 under this probability law? Constancy is required only at positive-weight outcomes.",
      "answer": {
        "kind": "short_text",
        "value": "No",
        "explanation": "The attained values on positive-weight support are {0, 12}. Constancy there gives the answer No. Zero-weight outcomes may have different values without affecting variance; constancy on all of S is not required. This is probability-distribution variance, not sample variance with an n−1 denominator."
      },
      "skills": [
        "Zero Variance on Positive-Probability Support"
      ],
      "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": "非空有限 S={0, 1, 2, 3}、事件族 F=𝒫(S)，總函數 X:S→R 的值表為 {(0, 0), (1, 0), (2, 12), (3, 1009)}，各結果依列序 [0, 1, 2, 3] 的非負機率權重為 [1/18, 12/18, 5/18, 0/18]，權重總和恰為一。依此機率分布，Var(X) 是否為零？只能要求正權重結果上的值相同。",
        "en": "The nonempty finite sample space is S={0, 1, 2, 3}, with event family F=𝒫(S). The total function X:S→R has table {(0, 0), (1, 0), (2, 12), (3, 1009)}. In the displayed order of S, the nonnegative probability weights are [1/(18), 12/(18), 5/(18), 0/(18)], summing exactly to one. Is Var(X)=0 under this probability law? Constancy is required only at positive-weight outcomes."
      }
    }
  ],
  "steps": [
    {
      "id": "S001",
      "uses": [
        "G001"
      ],
      "before": "source roles = [qf-variance-zero-support, [F, S, denominator, operation, values, weights]]",
      "after": "derived = [variance, zero_variance, null]",
      "relation": "implies",
      "rule_id": "R70_SOURCE_bank_specific_interface",
      "conditions": [],
      "explanation": {
        "zh-Hant": "只使用此bank真正明示的欄位、operation/domain與型別；BASE容許保留額外metadata，不把LDL SAFE/集合上限或其他bank的去重規則搬來。",
        "en": "Use THIS bank’s actual fields,operation/domain and types.BASE retains permissible extra metadata.Do not import LDL SAFE/set limits or a different bank’s deduplication rules."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S002",
      "uses": [
        "G001",
        "S001"
      ],
      "before": "Variance ORIGINAL nonnegative RAW weights sum := sum(1, 12, 5, 0)",
      "after": "Variance ORIGINAL nonnegative RAW weights sum = 18",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance ORIGINAL nonnegative RAW weights sum，不以小數近似替代。",
          "en": "Recompute Variance ORIGINAL nonnegative RAW weights sum with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "1",
          "12",
          "5",
          "0"
        ],
        "output": "18",
        "label": "Variance ORIGINAL nonnegative RAW weights sum"
      }
    },
    {
      "id": "S003",
      "uses": [
        "G001",
        "S002"
      ],
      "before": "source roles = [[0, 1, 2, 3], powerset(S), [0, 0, 12, 1009], [1, 12, 5, 0], 18, null, null]",
      "after": "derived = [是]",
      "relation": "implies",
      "rule_id": "Variance_WHOLE_normalized_model_ORIGINAL_slot_alignment",
      "conditions": [],
      "explanation": {
        "zh-Hant": "全raw值/權重即使零權重也先驗SAFE，S不重複且非空，F為完整powerset，權重非負和=q>0。值與權重沿原S槽位對齊，不獨立排序；c/k也先驗raw SAFE。",
        "en": "Type ALL RAW values/weights EVEN at zero weight.S is nonempty/distinct,F is powerset(S),weights are nonnegative and sum to q>0.Keep values/weights aligned to ORIGINAL S slots;do not sort independently.Type RAW c/k as well."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S004",
      "uses": [
        "G001",
        "S003"
      ],
      "before": "Variance weight times transformed value i=0 := mul(1, 0)",
      "after": "Variance weight times transformed value i=0 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance weight times transformed value i=0，不以小數近似替代。",
          "en": "Recompute Variance weight times transformed value i=0 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "0"
        ],
        "output": "0",
        "label": "Variance weight times transformed value i=0"
      }
    },
    {
      "id": "S005",
      "uses": [
        "G001",
        "S004"
      ],
      "before": "source roles = [0, 0, 0, 1, null, null]",
      "after": "derived = [0, 1/18]",
      "relation": "implies",
      "rule_id": "Variance_EACH_slot_transformation_preserves_probability",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐原槽做Y=X、X+c或kX，權重機率仍w/q；衍生值可超SAFE，不能重當raw輸入截斷。零權重槽仍保持來源但不貢獻。",
        "en": "For EACH ORIGINAL slot,set Y=X,X+c or kX while probability remains w/q.Derived values may exceed SAFE and are not recapped as RAW.Zero-weight slots remain in the source but contribute nothing."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S006",
      "uses": [
        "G001",
        "S005"
      ],
      "before": "Variance weight times transformed value i=1 := mul(12, 0)",
      "after": "Variance weight times transformed value i=1 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance weight times transformed value i=1，不以小數近似替代。",
          "en": "Recompute Variance weight times transformed value i=1 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "12",
          "0"
        ],
        "output": "0",
        "label": "Variance weight times transformed value i=1"
      }
    },
    {
      "id": "S007",
      "uses": [
        "G001",
        "S006"
      ],
      "before": "source roles = [1, 1, 0, 12, null, null]",
      "after": "derived = [0, 2/3]",
      "relation": "implies",
      "rule_id": "Variance_EACH_slot_transformation_preserves_probability",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐原槽做Y=X、X+c或kX，權重機率仍w/q；衍生值可超SAFE，不能重當raw輸入截斷。零權重槽仍保持來源但不貢獻。",
        "en": "For EACH ORIGINAL slot,set Y=X,X+c or kX while probability remains w/q.Derived values may exceed SAFE and are not recapped as RAW.Zero-weight slots remain in the source but contribute nothing."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S008",
      "uses": [
        "G001",
        "S007"
      ],
      "before": "Variance weight times transformed value i=2 := mul(5, 12)",
      "after": "Variance weight times transformed value i=2 = 60",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance weight times transformed value i=2，不以小數近似替代。",
          "en": "Recompute Variance weight times transformed value i=2 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "5",
          "12"
        ],
        "output": "60",
        "label": "Variance weight times transformed value i=2"
      }
    },
    {
      "id": "S009",
      "uses": [
        "G001",
        "S008"
      ],
      "before": "source roles = [2, 2, 12, 5, null, null]",
      "after": "derived = [12, 5/18]",
      "relation": "implies",
      "rule_id": "Variance_EACH_slot_transformation_preserves_probability",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐原槽做Y=X、X+c或kX，權重機率仍w/q；衍生值可超SAFE，不能重當raw輸入截斷。零權重槽仍保持來源但不貢獻。",
        "en": "For EACH ORIGINAL slot,set Y=X,X+c or kX while probability remains w/q.Derived values may exceed SAFE and are not recapped as RAW.Zero-weight slots remain in the source but contribute nothing."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S010",
      "uses": [
        "G001",
        "S009"
      ],
      "before": "Variance weight times transformed value i=3 := mul(0, 1009)",
      "after": "Variance weight times transformed value i=3 = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance weight times transformed value i=3，不以小數近似替代。",
          "en": "Recompute Variance weight times transformed value i=3 with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "1009"
        ],
        "output": "0",
        "label": "Variance weight times transformed value i=3"
      }
    },
    {
      "id": "S011",
      "uses": [
        "G001",
        "S010"
      ],
      "before": "source roles = [3, 3, 1009, 0, null, null]",
      "after": "derived = [1009, 0]",
      "relation": "implies",
      "rule_id": "Variance_EACH_slot_transformation_preserves_probability",
      "conditions": [],
      "explanation": {
        "zh-Hant": "逐原槽做Y=X、X+c或kX，權重機率仍w/q；衍生值可超SAFE，不能重當raw輸入截斷。零權重槽仍保持來源但不貢獻。",
        "en": "For EACH ORIGINAL slot,set Y=X,X+c or kX while probability remains w/q.Derived values may exceed SAFE and are not recapped as RAW.Zero-weight slots remain in the source but contribute nothing."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S012",
      "uses": [
        "G001",
        "S011"
      ],
      "before": "Variance mean numerator sum wY := sum(0, 0, 60, 0)",
      "after": "Variance mean numerator sum wY = 60",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance mean numerator sum wY，不以小數近似替代。",
          "en": "Recompute Variance mean numerator sum wY with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "0",
          "0",
          "60",
          "0"
        ],
        "output": "60",
        "label": "Variance mean numerator sum wY"
      }
    },
    {
      "id": "S013",
      "uses": [
        "G001",
        "S012"
      ],
      "before": "Variance exact expectation M over q := div(60, 18)",
      "after": "Variance exact expectation M over q = 10/3",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance exact expectation M over q，不以小數近似替代。",
          "en": "Recompute Variance exact expectation M over q with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "60",
          "18"
        ],
        "output": "10/3",
        "label": "Variance exact expectation M over q"
      }
    },
    {
      "id": "S014",
      "uses": [
        "G001",
        "S013"
      ],
      "before": "Variance i=0 Y times q := mul(0, 18)",
      "after": "Variance i=0 Y times q = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=0 Y times q，不以小數近似替代。",
          "en": "Recompute Variance i=0 Y times q with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "18"
        ],
        "output": "0",
        "label": "Variance i=0 Y times q"
      }
    },
    {
      "id": "S015",
      "uses": [
        "G001",
        "S014"
      ],
      "before": "Variance i=0 centered integer numerator := sub(0, 60)",
      "after": "Variance i=0 centered integer numerator = -60",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=0 centered integer numerator，不以小數近似替代。",
          "en": "Recompute Variance i=0 centered integer numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "60"
        ],
        "output": "-60",
        "label": "Variance i=0 centered integer numerator"
      }
    },
    {
      "id": "S016",
      "uses": [
        "G001",
        "S015"
      ],
      "before": "Variance i=0 centered numerator squared := mul(-60, -60)",
      "after": "Variance i=0 centered numerator squared = 3600",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=0 centered numerator squared，不以小數近似替代。",
          "en": "Recompute Variance i=0 centered numerator squared with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "-60",
          "-60"
        ],
        "output": "3600",
        "label": "Variance i=0 centered numerator squared"
      }
    },
    {
      "id": "S017",
      "uses": [
        "G001",
        "S016"
      ],
      "before": "Variance i=0 weight times squared numerator := mul(1, 3600)",
      "after": "Variance i=0 weight times squared numerator = 3600",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=0 weight times squared numerator，不以小數近似替代。",
          "en": "Recompute Variance i=0 weight times squared numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1",
          "3600"
        ],
        "output": "3600",
        "label": "Variance i=0 weight times squared numerator"
      }
    },
    {
      "id": "S018",
      "uses": [
        "G001",
        "S017"
      ],
      "before": "Variance i=1 Y times q := mul(0, 18)",
      "after": "Variance i=1 Y times q = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=1 Y times q，不以小數近似替代。",
          "en": "Recompute Variance i=1 Y times q with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "18"
        ],
        "output": "0",
        "label": "Variance i=1 Y times q"
      }
    },
    {
      "id": "S019",
      "uses": [
        "G001",
        "S018"
      ],
      "before": "Variance i=1 centered integer numerator := sub(0, 60)",
      "after": "Variance i=1 centered integer numerator = -60",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=1 centered integer numerator，不以小數近似替代。",
          "en": "Recompute Variance i=1 centered integer numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "0",
          "60"
        ],
        "output": "-60",
        "label": "Variance i=1 centered integer numerator"
      }
    },
    {
      "id": "S020",
      "uses": [
        "G001",
        "S019"
      ],
      "before": "Variance i=1 centered numerator squared := mul(-60, -60)",
      "after": "Variance i=1 centered numerator squared = 3600",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=1 centered numerator squared，不以小數近似替代。",
          "en": "Recompute Variance i=1 centered numerator squared with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "-60",
          "-60"
        ],
        "output": "3600",
        "label": "Variance i=1 centered numerator squared"
      }
    },
    {
      "id": "S021",
      "uses": [
        "G001",
        "S020"
      ],
      "before": "Variance i=1 weight times squared numerator := mul(12, 3600)",
      "after": "Variance i=1 weight times squared numerator = 43200",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=1 weight times squared numerator，不以小數近似替代。",
          "en": "Recompute Variance i=1 weight times squared numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "12",
          "3600"
        ],
        "output": "43200",
        "label": "Variance i=1 weight times squared numerator"
      }
    },
    {
      "id": "S022",
      "uses": [
        "G001",
        "S021"
      ],
      "before": "Variance i=2 Y times q := mul(12, 18)",
      "after": "Variance i=2 Y times q = 216",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=2 Y times q，不以小數近似替代。",
          "en": "Recompute Variance i=2 Y times q with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "12",
          "18"
        ],
        "output": "216",
        "label": "Variance i=2 Y times q"
      }
    },
    {
      "id": "S023",
      "uses": [
        "G001",
        "S022"
      ],
      "before": "Variance i=2 centered integer numerator := sub(216, 60)",
      "after": "Variance i=2 centered integer numerator = 156",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=2 centered integer numerator，不以小數近似替代。",
          "en": "Recompute Variance i=2 centered integer numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "216",
          "60"
        ],
        "output": "156",
        "label": "Variance i=2 centered integer numerator"
      }
    },
    {
      "id": "S024",
      "uses": [
        "G001",
        "S023"
      ],
      "before": "Variance i=2 centered numerator squared := mul(156, 156)",
      "after": "Variance i=2 centered numerator squared = 24336",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=2 centered numerator squared，不以小數近似替代。",
          "en": "Recompute Variance i=2 centered numerator squared with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "156",
          "156"
        ],
        "output": "24336",
        "label": "Variance i=2 centered numerator squared"
      }
    },
    {
      "id": "S025",
      "uses": [
        "G001",
        "S024"
      ],
      "before": "Variance i=2 weight times squared numerator := mul(5, 24336)",
      "after": "Variance i=2 weight times squared numerator = 121680",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=2 weight times squared numerator，不以小數近似替代。",
          "en": "Recompute Variance i=2 weight times squared numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "5",
          "24336"
        ],
        "output": "121680",
        "label": "Variance i=2 weight times squared numerator"
      }
    },
    {
      "id": "S026",
      "uses": [
        "G001",
        "S025"
      ],
      "before": "Variance i=3 Y times q := mul(1009, 18)",
      "after": "Variance i=3 Y times q = 18162",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=3 Y times q，不以小數近似替代。",
          "en": "Recompute Variance i=3 Y times q with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "1009",
          "18"
        ],
        "output": "18162",
        "label": "Variance i=3 Y times q"
      }
    },
    {
      "id": "S027",
      "uses": [
        "G001",
        "S026"
      ],
      "before": "Variance i=3 centered integer numerator := sub(18162, 60)",
      "after": "Variance i=3 centered integer numerator = 18102",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=3 centered integer numerator，不以小數近似替代。",
          "en": "Recompute Variance i=3 centered integer numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sub",
        "inputs": [
          "18162",
          "60"
        ],
        "output": "18102",
        "label": "Variance i=3 centered integer numerator"
      }
    },
    {
      "id": "S028",
      "uses": [
        "G001",
        "S027"
      ],
      "before": "Variance i=3 centered numerator squared := mul(18102, 18102)",
      "after": "Variance i=3 centered numerator squared = 327682404",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=3 centered numerator squared，不以小數近似替代。",
          "en": "Recompute Variance i=3 centered numerator squared with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "18102",
          "18102"
        ],
        "output": "327682404",
        "label": "Variance i=3 centered numerator squared"
      }
    },
    {
      "id": "S029",
      "uses": [
        "G001",
        "S028"
      ],
      "before": "Variance i=3 weight times squared numerator := mul(0, 327682404)",
      "after": "Variance i=3 weight times squared numerator = 0",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance i=3 weight times squared numerator，不以小數近似替代。",
          "en": "Recompute Variance i=3 weight times squared numerator with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "0",
          "327682404"
        ],
        "output": "0",
        "label": "Variance i=3 weight times squared numerator"
      }
    },
    {
      "id": "S030",
      "uses": [
        "G001",
        "S029"
      ],
      "before": "Variance sum ALL weighted squared numerators := sum(3600, 43200, 121680, 0)",
      "after": "Variance sum ALL weighted squared numerators = 168480",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance sum ALL weighted squared numerators，不以小數近似替代。",
          "en": "Recompute Variance sum ALL weighted squared numerators with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "sum",
        "inputs": [
          "3600",
          "43200",
          "121680",
          "0"
        ],
        "output": "168480",
        "label": "Variance sum ALL weighted squared numerators"
      }
    },
    {
      "id": "S031",
      "uses": [
        "G001",
        "S030"
      ],
      "before": "Variance denominator q squared := mul(18, 18)",
      "after": "Variance denominator q squared = 324",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance denominator q squared，不以小數近似替代。",
          "en": "Recompute Variance denominator q squared with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "18",
          "18"
        ],
        "output": "324",
        "label": "Variance denominator q squared"
      }
    },
    {
      "id": "S032",
      "uses": [
        "G001",
        "S031"
      ],
      "before": "Variance denominator q cubed binary second factor := mul(324, 18)",
      "after": "Variance denominator q cubed binary second factor = 5832",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance denominator q cubed binary second factor，不以小數近似替代。",
          "en": "Recompute Variance denominator q cubed binary second factor with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "mul",
        "inputs": [
          "324",
          "18"
        ],
        "output": "5832",
        "label": "Variance denominator q cubed binary second factor"
      }
    },
    {
      "id": "S033",
      "uses": [
        "G001",
        "S032"
      ],
      "before": "Variance probability population centered sum over q cubed := div(168480, 5832)",
      "after": "Variance probability population centered sum over q cubed = 260/9",
      "relation": "calculation",
      "rule_id": "exact_rational_arithmetic",
      "conditions": [],
      "explanation": {
        "zh-Hant": "本步精確列出原操作數與運算；乘、減、除恰兩項。分數保持精確，衍生BigInt不重套raw SAFE，不用近似值湊答案。",
        "en": "This step displays the exact original operands and operation.Mul/sub/div have EXACTLY TWO inputs.Keep rational values exact and derived BigInts unbounded;do not force an answer by approximation."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "以精確有理數重算 Variance probability population centered sum over q cubed，不以小數近似替代。",
          "en": "Recompute Variance probability population centered sum over q cubed with exact rational arithmetic, not rounded decimals."
        }
      },
      "arithmetic": {
        "operation": "div",
        "inputs": [
          "168480",
          "5832"
        ],
        "output": "260/9",
        "label": "Variance probability population centered sum over q cubed"
      }
    },
    {
      "id": "S034",
      "uses": [
        "G001",
        "S033"
      ],
      "before": "source roles = [[0, 0, 12, 1009], [1, 12, 5, 0], 18, 10/3, 168480, 5832]",
      "after": "derived = [260/9, [0, 12], 否]",
      "relation": "implies",
      "rule_id": "Variance_CENTERED_definition_and_positive_support_zero_equivalence",
      "conditions": [],
      "explanation": {
        "zh-Hant": "E[Y]=M/q，Var=Σ(w/q)(Y−M/q)²=C/q³，每項非負；總和0恰每個正權重槽Y等於平均，也就是正權重support常值。零權重可異值，非n−1樣本變異數。",
        "en": "E[Y]=M/q and Var=Σ(w/q)(Y−M/q)²=C/q³.Every term is nonnegative,so the sum is0 exactly when EVERY positive-weight Y equals the mean,equivalently constancy on positive support.Zero-weight values may differ.This is NOT n−1 sample variance."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    },
    {
      "id": "S035",
      "uses": [
        "G001",
        "S034"
      ],
      "before": "source roles = [zero_variance, null, null]",
      "after": "derived = [260/9]",
      "relation": "implies",
      "rule_id": "Variance_SHIFT_SCALE_law_with_conditions",
      "conditions": [],
      "explanation": {
        "zh-Hant": "平移時平均也加c，中心差不變；縮放時平均乘k，中心差乘k故變異數乘k²（k負或0皆可）。此處已以實際Y全量重算，不用定律遮掉未驗c/k。",
        "en": "Under a shift,the mean also shifts by c,leaving deviations unchanged.Under scaling,the mean scales by k and squared deviations by k²,including negative/zero k.The ACTUAL Y values were fully recomputed;the law does not excuse untyped c/k."
      },
      "reverse_audit": {
        "kind": "premise_and_result_audit",
        "explanation": {
          "zh-Hant": "反查本題原始操作數、角色與必要條件；重建下一步，不把單向推論倒當等價。數值/有限表核對不是任意命題的形式證明。原題、中英來源、MKO、AST、狀態與歷史均保留。",
          "en": "Reverse-audit THIS question’s original operands,roles and necessary premises;reconstruct the next step,without reversing a one-way implication.Numerical/finite-table checking is not formal proof of an arbitrary theorem.Original Q,bilingual sources,MKO,AST,status and history remain preserved."
        }
      },
      "arithmetic": null
    }
  ],
  "math_model": {
    "result": "否"
  },
  "conclusion": {
    "canonical_value": "否",
    "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-20261004-advance-20261005-r07-variance-foundations",
      "batch_path": "public/data/questions/batches/batch-20261004-advance-20261005-r07-variance-foundations/questions.jsonl",
      "batch_sha256": "909c76d450ac69e0f6693d74cb693dd27665dd38c1f956808d6f78cb5704e375",
      "original_line": 86,
      "original_line_sha256": "07b8629c827f993c9af1c8ec8edc107f4d318f04a8cb959bd0e38372c7f60d9b",
      "question_compact_sha256": "d685ad39087566c89d721568d5824b9e2b4ef703e5ba65926caaf2b974d2dcc0",
      "english_row_compact_sha256": "03f53d43a0beebf93eac2ba163672b196eb1bcbb7de4c67a8daab58c8f7388ae",
      "english_manifest_path": "public/data/i18n/editions/batch-20261004-advance-20261005-r07-variance-foundations.en.json",
      "english_rows_path": "public/data/i18n/questions/batch-20261004-advance-20261005-r07-variance-foundations.en.jsonl"
    },
    "mko_bindings": {
      "mko-variance": {
        "sha256": "282681c1ed2d55f1c853c9759022470c991dd46c2b150626fa4bf654642032bc",
        "english_sha256": "a07a03bffcd0bef45c5514c2b4ba2db48202bf94f336f0d8589082871649306d",
        "original_path": "public/data/mko/variance.json",
        "english_path": "public/data/i18n/editions/mko-variance.en.json"
      }
    },
    "selected_manifest_sha256": "5233edba9654a6cffd8b6b2d83c932f82ded15f9c0b7c733bd049943e672acff",
    "selected_part_sha256": "20c37a7e64ee5969e7606c5cc3a00e575002ebebdfe82873521cc3d7c608caff",
    "original_candidate_sha256": "b47552572f3b5a7c823c8dcaa309d5d494ac57062a2e4d1744dcc98c169b2efb",
    "original_candidate_line_sha256": "b47552572f3b5a7c823c8dcaa309d5d494ac57062a2e4d1744dcc98c169b2efb"
  },
  "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-012-p71",
    "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": "9820ac6529139bd53d516c8bfdfdd41184b0cd52dad69fa433344010db37af80",
      "question_first_witness_sha256": "c9c939762bbd4d3ea3403084c8e95541dc2c7e56eb82fc74eaba8c80a4517dab"
    },
    "status": "second_context_reviewed",
    "mathematical_semantics": true,
    "bilingual_semantics": true,
    "steps_reviewed": 35,
    "method": "family_template_semantic_review_plus_independent_per_instance_reconstruction",
    "exact_question_first_check": {
      "model_sha256": "bca71e82a3b603522a7c8b63fcbc81f6ac763288e5b122c1663da40e54865d65",
      "arithmetic_steps": 27
    },
    "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."
  }
}