R0044-22696 · q-20261014-advance-20261110-r04-law-of-total-variance-0096
同一有限law與完整disjoint partition生成的G。操作=totalvar-zero-mass-boundary；資料={"masses":[[1,30],[2,30],[27,30],[0,1]],"values":[20,21,23,119],"partition":[[0,1,2],[3]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。
G001 — 同一有限law與完整disjoint partition生成的G。操作=totalvar-zero-mass-boundary；資料={"masses":[[1,30],[2,30],[27,30],[0,1]],"values":[20,21,23,119],"partition":[[0,1,2],[3]]}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。
操作前
source operation=totalvar-zero-mass-boundary;original snapshot and mathematics retained
操作後
explicit ordered source output fields=[cell_rows, within, between, variance, equal, null_cell_division_claim, boundary]
條件：無
保留原題歷史介面標記，直接列來源欄序，不需JavaScript。tag不是額外證據，固定No依原聲稱範圍解讀；排序輔助只處理協定，不是數學oracle。
規則：source_ordered_interface_explicit_without_javascript · 依賴：G001
操作前
Total variance complete probability mass := sum(1/30, 1/15, 9/10, 0)
操作後
Total variance complete probability mass = 1
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S001
操作前
ORIGINAL masses=[1/30, 1/15, 9/10, 0];SIGNED original X=[20, 21, 23, 119];ORIGINAL cell order=[[0, 1, 2], [3]]
操作後
ALL cells NONEMPTY and every atom occurs EXACTLY ONCE,including null atoms;normalized mass=1;no independence premise
條件：無
本題與全期望的空cell慣例不同，這裡每格必非空；零質量格仍可含真正原子。先核同一law及完整不交partition，X可負，不需要independence。
規則：totalvar_NONEMPTY_cells_complete_disjoint_same_law · 依賴：G001, S002
操作前
Total variance original atom0 weighted X := mul(1/30, 20)
操作後
Total variance original atom0 weighted X = 2/3
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S003
操作前
Total variance original atom1 weighted X := mul(1/15, 21)
操作後
Total variance original atom1 weighted X = 7/5
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S004
操作前
Total variance original atom2 weighted X := mul(9/10, 23)
操作後
Total variance original atom2 weighted X = 207/10
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S005
操作前
Total variance original atom3 weighted X := mul(0, 119)
操作後
Total variance original atom3 weighted X = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S006
操作前
Total variance ORIGINAL global mean := sum(2/3, 7/5, 207/10, 0)
操作後
Total variance ORIGINAL global mean = 683/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S007
操作前
Total variance original atom0 centered X := sub(20, 683/30)
操作後
Total variance original atom0 centered X = -83/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S008
操作前
Total variance original atom0 squared deviation := mul(-83/30, -83/30)
操作後
Total variance original atom0 squared deviation = 6889/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S009
操作前
Total variance original atom0 weighted squared deviation := mul(1/30, 6889/900)
操作後
Total variance original atom0 weighted squared deviation = 6889/27000
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S010
操作前
Total variance original atom1 centered X := sub(21, 683/30)
操作後
Total variance original atom1 centered X = -53/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S011
操作前
Total variance original atom1 squared deviation := mul(-53/30, -53/30)
操作後
Total variance original atom1 squared deviation = 2809/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S012
操作前
Total variance original atom1 weighted squared deviation := mul(1/15, 2809/900)
操作後
Total variance original atom1 weighted squared deviation = 2809/13500
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S013
操作前
Total variance original atom2 centered X := sub(23, 683/30)
操作後
Total variance original atom2 centered X = 7/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S014
操作前
Total variance original atom2 squared deviation := mul(7/30, 7/30)
操作後
Total variance original atom2 squared deviation = 49/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S015
操作前
Total variance original atom2 weighted squared deviation := mul(9/10, 49/900)
操作後
Total variance original atom2 weighted squared deviation = 49/1000
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S016
操作前
Total variance original atom3 centered X := sub(119, 683/30)
操作後
Total variance original atom3 centered X = 2887/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S017
操作前
Total variance original atom3 squared deviation := mul(2887/30, 2887/30)
操作後
Total variance original atom3 squared deviation = 8334769/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S018
操作前
Total variance original atom3 weighted squared deviation := mul(0, 8334769/900)
操作後
Total variance original atom3 weighted squared deviation = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S019
操作前
Total variance ORIGINAL global variance := sum(6889/27000, 2809/13500, 49/1000, 0)
操作後
Total variance ORIGINAL global variance = 461/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S020
操作前
Total variance cell0 mass := sum(1/30, 1/15, 9/10)
操作後
Total variance cell0 mass = 1
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S021
操作前
Total variance cell0 weighted numerator := sum(2/3, 7/5, 207/10)
操作後
Total variance cell0 weighted numerator = 683/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S022
操作前
Total variance positive cell0 mean := div(683/30, 1)
操作後
Total variance positive cell0 mean = 683/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S023
操作前
Total variance cell0 atom0 conditional centering := sub(20, 683/30)
操作後
Total variance cell0 atom0 conditional centering = -83/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S024
操作前
Total variance cell0 atom0 conditional square := mul(-83/30, -83/30)
操作後
Total variance cell0 atom0 conditional square = 6889/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S025
操作前
Total variance cell0 atom0 normalized conditional mass := div(1/30, 1)
操作後
Total variance cell0 atom0 normalized conditional mass = 1/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S026
操作前
Total variance cell0 atom0 conditional variance term := mul(1/30, 6889/900)
操作後
Total variance cell0 atom0 conditional variance term = 6889/27000
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S027
操作前
Total variance cell0 atom0 weighted residual := mul(1/30, -83/30)
操作後
Total variance cell0 atom0 weighted residual = -83/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S028
操作前
Total variance cell0 atom1 conditional centering := sub(21, 683/30)
操作後
Total variance cell0 atom1 conditional centering = -53/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S029
操作前
Total variance cell0 atom1 conditional square := mul(-53/30, -53/30)
操作後
Total variance cell0 atom1 conditional square = 2809/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S030
操作前
Total variance cell0 atom1 normalized conditional mass := div(1/15, 1)
操作後
Total variance cell0 atom1 normalized conditional mass = 1/15
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S031
操作前
Total variance cell0 atom1 conditional variance term := mul(1/15, 2809/900)
操作後
Total variance cell0 atom1 conditional variance term = 2809/13500
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S032
操作前
Total variance cell0 atom1 weighted residual := mul(1/15, -53/30)
操作後
Total variance cell0 atom1 weighted residual = -53/450
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S033
操作前
Total variance cell0 atom2 conditional centering := sub(23, 683/30)
操作後
Total variance cell0 atom2 conditional centering = 7/30
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S034
操作前
Total variance cell0 atom2 conditional square := mul(7/30, 7/30)
操作後
Total variance cell0 atom2 conditional square = 49/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S035
操作前
Total variance cell0 atom2 normalized conditional mass := div(9/10, 1)
操作後
Total variance cell0 atom2 normalized conditional mass = 9/10
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S036
操作前
Total variance cell0 atom2 conditional variance term := mul(9/10, 49/900)
操作後
Total variance cell0 atom2 conditional variance term = 49/1000
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S037
操作前
Total variance cell0 atom2 weighted residual := mul(9/10, 7/30)
操作後
Total variance cell0 atom2 weighted residual = 21/100
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S038
操作前
Total variance positive cell0 conditional variance := sum(6889/27000, 2809/13500, 49/1000)
操作後
Total variance positive cell0 conditional variance = 461/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S039
操作前
Total variance positive cell0 residual mean zero := sum(-83/900, -53/450, 21/100)
操作後
Total variance positive cell0 residual mean zero = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S040
操作前
ORIGINAL cell index=0;actual atoms=[0, 1, 2];mass=1;numerator=683/30
操作後
conditional mean=683/30;conditional variance=461/900;positive-cell weighted residual sum0,so cross term vanishes
條件：無
正質量cell用p_i/cellmass算條件變異數，且Σp_i(X_i−cellmean)=0。零質量cell不除0，均值與變異數都保null，兩個外層貢獻為0；不是把未定義比值算成0。
規則：totalvar_conditional_mean_variance_null_and_cross_term · 依賴：G001, S041
操作前
Total variance cell1 mass := sum(0)
操作後
Total variance cell1 mass = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S042
操作前
Total variance cell1 weighted numerator := sum(0)
操作後
Total variance cell1 weighted numerator = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S043
操作前
ORIGINAL cell index=1;actual atoms=[3];mass=0;numerator=0
操作後
conditional mean=null;conditional variance=null;NONEMPTY null cell:all atom masses0,no conditional division;BOTH quotients null
條件：無
正質量cell用p_i/cellmass算條件變異數，且Σp_i(X_i−cellmean)=0。零質量cell不除0，均值與變異數都保null，兩個外層貢獻為0；不是把未定義比值算成0。
規則：totalvar_conditional_mean_variance_null_and_cross_term · 依賴：G001, S044
操作前
Total variance cell0 weighted WITHIN term := mul(1, 461/900)
操作後
Total variance cell0 weighted WITHIN term = 461/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S045
操作前
Total variance cell0 mean minus global mean := sub(683/30, 683/30)
操作後
Total variance cell0 mean minus global mean = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S046
操作前
Total variance cell0 BETWEEN squared deviation := mul(0, 0)
操作後
Total variance cell0 BETWEEN squared deviation = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S047
操作前
Total variance cell0 weighted BETWEEN term := mul(1, 0)
操作後
Total variance cell0 weighted BETWEEN term = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S048
操作前
Total variance sum WITHIN terms := sum(461/900)
操作後
Total variance sum WITHIN terms = 461/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S049
操作前
Total variance sum BETWEEN terms := sum(0)
操作後
Total variance sum BETWEEN terms = 0
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S050
操作前
Total variance WITHIN plus BETWEEN := sum(461/900, 0)
操作後
Total variance WITHIN plus BETWEEN = 461/900
條件：無
依原題角色、原索引與已證中間量精確代值，不改為浮點近似或其他題目的資料。
規則：exact_rational_arithmetic · 依賴：G001, S051
操作前
ORIGINAL SAME-law mean=683/30;ALL [index,NONEMPTYcell,mass,mean_or_null,var_or_null]=[[0, [0, 1, 2], 1, 683/30, 461/900], [1, [3], 0, null, null]]
操作後
Var(X)=461/900;within=461/900;between=0;sum=461/900;X-mu=(X-c_j)+(c_j-mu),and each positive-cell cross term2(c_j-mu)*sum_i p_i(X_i-c_j)=0
條件：無
逐cell展開平方，第一項合為cellmass乘conditional variance，第二項為cellmean對globalmean的加權平方，交叉項由已核residual0消失。null cell全原子質量0，不能用獨立性或省掉某一項代替此恆等。
規則：totalvar_general_centered_square_decomposition_same_partition · 依賴：G001, S052
操作前
ACTUAL NONEMPTY null cell indices=[1];within=461/900,between=0,Var=461/900
操作後
null_cell_division_claim fixed No;both conditional quotients remain null;total-variance identity remains TRUE
條件：無
最後No拒絕null-cell除法，不否定已證within+between恆等。零條件均值／零條件變異數若來自正cell仍是數值0，不能誤當null。
規則：totalvar_null_division_No_not_identity_failure · 依賴：G001, S053
S054 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。S053 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。S052 · premise_and_result_audit — 以精確有理數重算 Total variance WITHIN plus BETWEEN，不以小數近似替代。S051 · premise_and_result_audit — 以精確有理數重算 Total variance sum BETWEEN terms，不以小數近似替代。S050 · premise_and_result_audit — 以精確有理數重算 Total variance sum WITHIN terms，不以小數近似替代。S049 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 weighted BETWEEN term，不以小數近似替代。S048 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 BETWEEN squared deviation，不以小數近似替代。S047 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 mean minus global mean，不以小數近似替代。S046 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 weighted WITHIN term，不以小數近似替代。S045 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。S044 · premise_and_result_audit — 以精確有理數重算 Total variance cell1 weighted numerator，不以小數近似替代。S043 · premise_and_result_audit — 以精確有理數重算 Total variance cell1 mass，不以小數近似替代。S042 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。S041 · premise_and_result_audit — 以精確有理數重算 Total variance positive cell0 residual mean zero，不以小數近似替代。S040 · premise_and_result_audit — 以精確有理數重算 Total variance positive cell0 conditional variance，不以小數近似替代。S039 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom2 weighted residual，不以小數近似替代。S038 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom2 conditional variance term，不以小數近似替代。S037 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom2 normalized conditional mass，不以小數近似替代。S036 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom2 conditional square，不以小數近似替代。S035 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom2 conditional centering，不以小數近似替代。S034 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom1 weighted residual，不以小數近似替代。S033 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom1 conditional variance term，不以小數近似替代。S032 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom1 normalized conditional mass，不以小數近似替代。S031 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom1 conditional square，不以小數近似替代。S030 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom1 conditional centering，不以小數近似替代。S029 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom0 weighted residual，不以小數近似替代。S028 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom0 conditional variance term，不以小數近似替代。S027 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom0 normalized conditional mass，不以小數近似替代。S026 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom0 conditional square，不以小數近似替代。S025 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 atom0 conditional centering，不以小數近似替代。S024 · premise_and_result_audit — 以精確有理數重算 Total variance positive cell0 mean，不以小數近似替代。S023 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 weighted numerator，不以小數近似替代。S022 · premise_and_result_audit — 以精確有理數重算 Total variance cell0 mass，不以小數近似替代。S021 · premise_and_result_audit — 以精確有理數重算 Total variance ORIGINAL global variance，不以小數近似替代。S020 · premise_and_result_audit — 以精確有理數重算 Total variance original atom3 weighted squared deviation，不以小數近似替代。S019 · premise_and_result_audit — 以精確有理數重算 Total variance original atom3 squared deviation，不以小數近似替代。S018 · premise_and_result_audit — 以精確有理數重算 Total variance original atom3 centered X，不以小數近似替代。S017 · premise_and_result_audit — 以精確有理數重算 Total variance original atom2 weighted squared deviation，不以小數近似替代。S016 · premise_and_result_audit — 以精確有理數重算 Total variance original atom2 squared deviation，不以小數近似替代。S015 · premise_and_result_audit — 以精確有理數重算 Total variance original atom2 centered X，不以小數近似替代。S014 · premise_and_result_audit — 以精確有理數重算 Total variance original atom1 weighted squared deviation，不以小數近似替代。S013 · premise_and_result_audit — 以精確有理數重算 Total variance original atom1 squared deviation，不以小數近似替代。S012 · premise_and_result_audit — 以精確有理數重算 Total variance original atom1 centered X，不以小數近似替代。S011 · premise_and_result_audit — 以精確有理數重算 Total variance original atom0 weighted squared deviation，不以小數近似替代。S010 · premise_and_result_audit — 以精確有理數重算 Total variance original atom0 squared deviation，不以小數近似替代。S009 · premise_and_result_audit — 以精確有理數重算 Total variance original atom0 centered X，不以小數近似替代。S008 · premise_and_result_audit — 以精確有理數重算 Total variance ORIGINAL global mean，不以小數近似替代。S007 · premise_and_result_audit — 以精確有理數重算 Total variance original atom3 weighted X，不以小數近似替代。S006 · premise_and_result_audit — 以精確有理數重算 Total variance original atom2 weighted X，不以小數近似替代。S005 · premise_and_result_audit — 以精確有理數重算 Total variance original atom1 weighted X，不以小數近似替代。S004 · premise_and_result_audit — 以精確有理數重算 Total variance original atom0 weighted X，不以小數近似替代。S003 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。S002 · premise_and_result_audit — 以精確有理數重算 Total variance complete probability mass，不以小數近似替代。S001 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。([[0, [0, 1, 2], 1, 683/30, 461/900], [1, [3], 0, null, null]], 461/900, 0, 461/900, 是, 否, zero_mass_cell_not_divided_and_outer_weighted_contribution_zero)
依上列完整代值及條件核對得到原題答案；原題編號、格式與狀態保持不變。
覆核日期：2026-10-26
原題、答案、步驟表達式、數值 AST 與既有歷史保持原樣；原來的候選狀態屬於來源歷史，不覆寫為形式化證明。
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 3a31af9e690d3d4935f65ef3717c933cb16b1a14917c56560728a84d712dd1b8candidate record SHA-256: 3a57b2b74fc686d9063895bcaea16c9d1a0740869e02cdaf6c26757bdd20e869semantic review receipt SHA-256: 89b8e810eced1a69dbfef28d4b112e829edf156c7905a86e39a3f4958cd75e81question-first witness SHA-256: b2e8b769c463242f05172564ae96e310403eae151e1ec30bcb50be3ffe12cfc7Lean: NOT_RUN · human review: NOT_PERFORMED