Explore related knowledge and questions →
← Question derivation index · Original question batch
P250-0140 · q-20261015-advance-20261116-r05-finite-sufficient-statistic-0040
Use complete theta labels=[a14, b14], samples=[140, 141, 142, 143], aligned exact probability rows=[[[2, 5], [1, 10], [2, 5], [1, 10]], [[1, 10], [2, 5], [1, 10], [2, 5]]] and total statistic=[0, 1, 0, 1]. Each theta law is normalized. Fibers partition the full sample carrier, retaining zero-mass cells. Give (conditional_cells, boundary).
G001 — Use complete theta labels=[a14, b14], samples=[140, 141, 142, 143], aligned exact probability rows=[[[2, 5], [1, 10], [2, 5], [1, 10]], [[1, 10], [2, 5], [1, 10], [2, 5]]] and total statistic=[0, 1, 0, 1]. Each theta law is normalized. Fibers partition the full sample carrier, retaining zero-mass cells. Give (conditional_cells, boundary).The statistic is total on the full sample carrier. Normalize each parameter law and condition only on positive-mass fibers.
Before
Ω=[140, 141, 142, 143]; T=[0, 1, 0, 1]
After
fibers=[[0, [140, 142]], [1, [141, 143]]]
Conditions: none
Group the original sample labels by statistic value; distinguish a sample's position from its label.
Rule: statistic_fibers · Uses: G001
Before
[[0, [140, 142]], [1, [141, 143]]]
After
disjoint union of fibers = [140, 141, 142, 143]
Conditions: none
Each sample lies in exactly one fiber, and their union covers all of Omega.
Rule: partition_audit · Uses: G001, S001
Before
P_a14(Ω) := sum(2/5, 1/10, 2/5, 1/10)
After
P_a14(Ω) = 1
Conditions: none
Verify normalization of the probability row for this parameter.
Rule: exact_rational_arithmetic · Uses: G001, S002
Before
P_a14(T=0) := sum(2/5, 2/5)
After
P_a14(T=0) = 4/5
Conditions: none
Sum only the masses in fiber [140, 142].
Rule: exact_rational_arithmetic · Uses: G001, S003
Before
P_a14(X=140|T=0) := div(2/5, 4/5)
After
P_a14(X=140|T=0) = 1/2
Conditions: none
The numerator is the atom mass 2/5 under the same law and the denominator is the fiber mass 4/5.
Rule: exact_rational_arithmetic · Uses: G001, S004
Before
reconstruct P_a14(X=140) := mul(1/2, 4/5)
After
reconstruct P_a14(X=140) = 2/5
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S005
Before
P_a14(X=142|T=0) := div(2/5, 4/5)
After
P_a14(X=142|T=0) = 1/2
Conditions: none
The numerator is the atom mass 2/5 under the same law and the denominator is the fiber mass 4/5.
Rule: exact_rational_arithmetic · Uses: G001, S006
Before
reconstruct P_a14(X=142) := mul(1/2, 4/5)
After
reconstruct P_a14(X=142) = 2/5
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S007
Before
conditional total (a14,0) := sum(1/2, 1/2)
After
conditional total (a14,0) = 1
Conditions: none
The full conditional law on a positive-mass fiber must sum to 1.
Rule: exact_rational_arithmetic · Uses: G001, S008
Before
P_a14(T=1) := sum(1/10, 1/10)
After
P_a14(T=1) = 1/5
Conditions: none
Sum only the masses in fiber [141, 143].
Rule: exact_rational_arithmetic · Uses: G001, S009
Before
P_a14(X=141|T=1) := div(1/10, 1/5)
After
P_a14(X=141|T=1) = 1/2
Conditions: none
The numerator is the atom mass 1/10 under the same law and the denominator is the fiber mass 1/5.
Rule: exact_rational_arithmetic · Uses: G001, S010
Before
reconstruct P_a14(X=141) := mul(1/2, 1/5)
After
reconstruct P_a14(X=141) = 1/10
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S011
Before
P_a14(X=143|T=1) := div(1/10, 1/5)
After
P_a14(X=143|T=1) = 1/2
Conditions: none
The numerator is the atom mass 1/10 under the same law and the denominator is the fiber mass 1/5.
Rule: exact_rational_arithmetic · Uses: G001, S012
Before
reconstruct P_a14(X=143) := mul(1/2, 1/5)
After
reconstruct P_a14(X=143) = 1/10
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S013
Before
conditional total (a14,1) := sum(1/2, 1/2)
After
conditional total (a14,1) = 1
Conditions: none
The full conditional law on a positive-mass fiber must sum to 1.
Rule: exact_rational_arithmetic · Uses: G001, S014
Before
P_b14(Ω) := sum(1/10, 2/5, 1/10, 2/5)
After
P_b14(Ω) = 1
Conditions: none
Verify normalization of the probability row for this parameter.
Rule: exact_rational_arithmetic · Uses: G001, S015
Before
P_b14(T=0) := sum(1/10, 1/10)
After
P_b14(T=0) = 1/5
Conditions: none
Sum only the masses in fiber [140, 142].
Rule: exact_rational_arithmetic · Uses: G001, S016
Before
P_b14(X=140|T=0) := div(1/10, 1/5)
After
P_b14(X=140|T=0) = 1/2
Conditions: none
The numerator is the atom mass 1/10 under the same law and the denominator is the fiber mass 1/5.
Rule: exact_rational_arithmetic · Uses: G001, S017
Before
reconstruct P_b14(X=140) := mul(1/2, 1/5)
After
reconstruct P_b14(X=140) = 1/10
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S018
Before
P_b14(X=142|T=0) := div(1/10, 1/5)
After
P_b14(X=142|T=0) = 1/2
Conditions: none
The numerator is the atom mass 1/10 under the same law and the denominator is the fiber mass 1/5.
Rule: exact_rational_arithmetic · Uses: G001, S019
Before
reconstruct P_b14(X=142) := mul(1/2, 1/5)
After
reconstruct P_b14(X=142) = 1/10
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S020
Before
conditional total (b14,0) := sum(1/2, 1/2)
After
conditional total (b14,0) = 1
Conditions: none
The full conditional law on a positive-mass fiber must sum to 1.
Rule: exact_rational_arithmetic · Uses: G001, S021
Before
P_b14(T=1) := sum(2/5, 2/5)
After
P_b14(T=1) = 4/5
Conditions: none
Sum only the masses in fiber [141, 143].
Rule: exact_rational_arithmetic · Uses: G001, S022
Before
P_b14(X=141|T=1) := div(2/5, 4/5)
After
P_b14(X=141|T=1) = 1/2
Conditions: none
The numerator is the atom mass 2/5 under the same law and the denominator is the fiber mass 4/5.
Rule: exact_rational_arithmetic · Uses: G001, S023
Before
reconstruct P_b14(X=141) := mul(1/2, 4/5)
After
reconstruct P_b14(X=141) = 2/5
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S024
Before
P_b14(X=143|T=1) := div(2/5, 4/5)
After
P_b14(X=143|T=1) = 1/2
Conditions: none
The numerator is the atom mass 2/5 under the same law and the denominator is the fiber mass 4/5.
Rule: exact_rational_arithmetic · Uses: G001, S025
Before
reconstruct P_b14(X=143) := mul(1/2, 4/5)
After
reconstruct P_b14(X=143) = 2/5
Conditions: none
Multiply by the fiber mass to recover that atom's original probability.
Rule: exact_rational_arithmetic · Uses: G001, S026
Before
conditional total (b14,1) := sum(1/2, 1/2)
After
conditional total (b14,1) = 1
Conditions: none
The full conditional law on a positive-mass fiber must sum to 1.
Rule: exact_rational_arithmetic · Uses: G001, S027
Before
all parameter × fiber cells audited
After
[[a14, 0, 4/5, [[140, 1/2], [142, 1/2]]], [a14, 1, 1/5, [[141, 1/2], [143, 1/2]]], [b14, 0, 1/5, [[140, 1/2], [142, 1/2]]], [b14, 1, 4/5, [[141, 1/2], [143, 1/2]]]]
Conditions: none
Return every cell in parameter order and then statistic-value order; retain the zero-mass branch rule.
Rule: complete_conditional_table · Uses: G001, S028
S029 · premise_and_result_audit — This task computes the conditional table; it makes no estimator-quality claim and does not invoke factorization.S028 · premise_and_result_audit — Recompute conditional total (b14,1) with exact rational arithmetic, not rounded decimals.S027 · premise_and_result_audit — Recompute reconstruct P_b14(X=143) with exact rational arithmetic, not rounded decimals.S026 · premise_and_result_audit — Recompute P_b14(X=143|T=1) with exact rational arithmetic, not rounded decimals.S025 · premise_and_result_audit — Recompute reconstruct P_b14(X=141) with exact rational arithmetic, not rounded decimals.S024 · premise_and_result_audit — Recompute P_b14(X=141|T=1) with exact rational arithmetic, not rounded decimals.S023 · premise_and_result_audit — Recompute P_b14(T=1) with exact rational arithmetic, not rounded decimals.S022 · premise_and_result_audit — Recompute conditional total (b14,0) with exact rational arithmetic, not rounded decimals.S021 · premise_and_result_audit — Recompute reconstruct P_b14(X=142) with exact rational arithmetic, not rounded decimals.S020 · premise_and_result_audit — Recompute P_b14(X=142|T=0) with exact rational arithmetic, not rounded decimals.S019 · premise_and_result_audit — Recompute reconstruct P_b14(X=140) with exact rational arithmetic, not rounded decimals.S018 · premise_and_result_audit — Recompute P_b14(X=140|T=0) with exact rational arithmetic, not rounded decimals.S017 · premise_and_result_audit — Recompute P_b14(T=0) with exact rational arithmetic, not rounded decimals.S016 · premise_and_result_audit — Recompute P_b14(Ω) with exact rational arithmetic, not rounded decimals.S015 · premise_and_result_audit — Recompute conditional total (a14,1) with exact rational arithmetic, not rounded decimals.S014 · premise_and_result_audit — Recompute reconstruct P_a14(X=143) with exact rational arithmetic, not rounded decimals.S013 · premise_and_result_audit — Recompute P_a14(X=143|T=1) with exact rational arithmetic, not rounded decimals.S012 · premise_and_result_audit — Recompute reconstruct P_a14(X=141) with exact rational arithmetic, not rounded decimals.S011 · premise_and_result_audit — Recompute P_a14(X=141|T=1) with exact rational arithmetic, not rounded decimals.S010 · premise_and_result_audit — Recompute P_a14(T=1) with exact rational arithmetic, not rounded decimals.S009 · premise_and_result_audit — Recompute conditional total (a14,0) with exact rational arithmetic, not rounded decimals.S008 · premise_and_result_audit — Recompute reconstruct P_a14(X=142) with exact rational arithmetic, not rounded decimals.S007 · premise_and_result_audit — Recompute P_a14(X=142|T=0) with exact rational arithmetic, not rounded decimals.S006 · premise_and_result_audit — Recompute reconstruct P_a14(X=140) with exact rational arithmetic, not rounded decimals.S005 · premise_and_result_audit — Recompute P_a14(X=140|T=0) with exact rational arithmetic, not rounded decimals.S004 · premise_and_result_audit — Recompute P_a14(T=0) with exact rational arithmetic, not rounded decimals.S003 · premise_and_result_audit — Recompute P_a14(Ω) with exact rational arithmetic, not rounded decimals.S002 · premise_and_result_audit — A fiber stays in the partition even when it has zero mass under a parameter.S001 · premise_and_result_audit — T must have exactly one value at every sample point.([[a14, 0, 4/5, [[140, 1/2], [142, 1/2]]], [a14, 1, 1/5, [[141, 1/2], [143, 1/2]]], [b14, 0, 1/5, [[140, 1/2], [142, 1/2]]], [b14, 1, 4/5, [[141, 1/2], [143, 1/2]]]], zero_mass_cells_remain_undefined)
The full cellwise conditional laws are listed; zero-mass cells must retain null.
Review date: 2026-10-24
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 9ffafa532e5f2e7cb5fd2f6cedcd992fbfc41281250f4fc1777967c90e68da52candidate record SHA-256: 3a0194735126ce95295a08b070b3255e1871a190cb06bc7c32436c3730475220semantic review receipt SHA-256: 4727d1bd957a9b7f6cadb7972ddb5ab80a31f5259dc5394c1dff2b71944ed36bquestion-first witness SHA-256: 51e18649133238ac992229f6e16542a5f3af53ca73b2262ab0524508ea937deeLean: NOT_RUN · human review: NOT_PERFORMED