Explore related knowledge and questions →
← Question derivation index · Original question batch
P1000-0670 · q-20261015-advance-20261116-r05-finite-sufficient-statistic-0070
Use complete theta labels=[a19, b19], samples=[190, 191, 192, 193], 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 (fiber_invariance_rows, sufficient, certificate).
G001 — Use complete theta labels=[a19, b19], samples=[190, 191, 192, 193], 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 (fiber_invariance_rows, sufficient, certificate).Conditional laws are defined only on positive-mass fibers; sufficiency needs every fiber to be parameter-invariant.
Before
Θ=[a19, b19]; Ω=[190, 191, 192, 193]
After
[[2/5, 1/10, 2/5, 1/10], [1/10, 2/5, 1/10, 2/5]]
Conditions: none
Each row is one parameter law and each column an outcome; reorder probabilities together with labels.
Rule: full_parametric_model · Uses: G001
Before
P_a19(Ω) := sum(2/5, 1/10, 2/5, 1/10)
After
P_a19(Ω) = 1
Conditions: none
Check this law's complete total mass first.
Rule: exact_rational_arithmetic · Uses: G001, S001
Before
P_b19(Ω) := sum(1/10, 2/5, 1/10, 2/5)
After
P_b19(Ω) = 1
Conditions: none
Check this law's complete total mass first.
Rule: exact_rational_arithmetic · Uses: G001, S002
Before
sample=190
After
T(190)=0
Conditions: none
Every sample has exactly one statistic value.
Rule: total_statistic_map · Uses: G001, S003
Before
sample=191
After
T(191)=1
Conditions: none
Every sample has exactly one statistic value.
Rule: total_statistic_map · Uses: G001, S004
Before
sample=192
After
T(192)=0
Conditions: none
Every sample has exactly one statistic value.
Rule: total_statistic_map · Uses: G001, S005
Before
sample=193
After
T(193)=1
Conditions: none
Every sample has exactly one statistic value.
Rule: total_statistic_map · Uses: G001, S006
Before
[(190, 0), (191, 1), (192, 0), (193, 1)]
After
fibers=[[0, [190, 192]], [1, [191, 193]]]
Conditions: none
Grouping by value produces disjoint fibers whose union is the complete carrier.
Rule: fiber_partition · Uses: G001, S007
Before
P_a19(T=0) := sum(2/5, 2/5)
After
P_a19(T=0) = 4/5
Conditions: none
First compute the conditioning event's full mass.
Rule: exact_rational_arithmetic · Uses: G001, S008
Before
P_a19(190|T=0) := div(2/5, 4/5)
After
P_a19(190|T=0) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S009
Before
reconstruct atom 190 under a19 := mul(1/2, 4/5)
After
reconstruct atom 190 under a19 = 2/5
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S010
Before
P_a19(192|T=0) := div(2/5, 4/5)
After
P_a19(192|T=0) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S011
Before
reconstruct atom 192 under a19 := mul(1/2, 4/5)
After
reconstruct atom 192 under a19 = 2/5
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S012
Before
conditional total (a19,0) := sum(1/2, 1/2)
After
conditional total (a19,0) = 1
Conditions: none
The complete conditional law must have total mass1.
Rule: exact_rational_arithmetic · Uses: G001, S013
Before
P_a19(T=1) := sum(1/10, 1/10)
After
P_a19(T=1) = 1/5
Conditions: none
First compute the conditioning event's full mass.
Rule: exact_rational_arithmetic · Uses: G001, S014
Before
P_a19(191|T=1) := div(1/10, 1/5)
After
P_a19(191|T=1) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S015
Before
reconstruct atom 191 under a19 := mul(1/2, 1/5)
After
reconstruct atom 191 under a19 = 1/10
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S016
Before
P_a19(193|T=1) := div(1/10, 1/5)
After
P_a19(193|T=1) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S017
Before
reconstruct atom 193 under a19 := mul(1/2, 1/5)
After
reconstruct atom 193 under a19 = 1/10
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S018
Before
conditional total (a19,1) := sum(1/2, 1/2)
After
conditional total (a19,1) = 1
Conditions: none
The complete conditional law must have total mass1.
Rule: exact_rational_arithmetic · Uses: G001, S019
Before
P_b19(T=0) := sum(1/10, 1/10)
After
P_b19(T=0) = 1/5
Conditions: none
First compute the conditioning event's full mass.
Rule: exact_rational_arithmetic · Uses: G001, S020
Before
P_b19(190|T=0) := div(1/10, 1/5)
After
P_b19(190|T=0) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S021
Before
reconstruct atom 190 under b19 := mul(1/2, 1/5)
After
reconstruct atom 190 under b19 = 1/10
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S022
Before
P_b19(192|T=0) := div(1/10, 1/5)
After
P_b19(192|T=0) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S023
Before
reconstruct atom 192 under b19 := mul(1/2, 1/5)
After
reconstruct atom 192 under b19 = 1/10
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S024
Before
conditional total (b19,0) := sum(1/2, 1/2)
After
conditional total (b19,0) = 1
Conditions: none
The complete conditional law must have total mass1.
Rule: exact_rational_arithmetic · Uses: G001, S025
Before
P_b19(T=1) := sum(2/5, 2/5)
After
P_b19(T=1) = 4/5
Conditions: none
First compute the conditioning event's full mass.
Rule: exact_rational_arithmetic · Uses: G001, S026
Before
P_b19(191|T=1) := div(2/5, 4/5)
After
P_b19(191|T=1) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S027
Before
reconstruct atom 191 under b19 := mul(1/2, 4/5)
After
reconstruct atom 191 under b19 = 2/5
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S028
Before
P_b19(193|T=1) := div(2/5, 4/5)
After
P_b19(193|T=1) = 1/2
Conditions: none
Divide the same law's atom mass by its positive fiber mass.
Rule: exact_rational_arithmetic · Uses: G001, S029
Before
reconstruct atom 193 under b19 := mul(1/2, 4/5)
After
reconstruct atom 193 under b19 = 2/5
Conditions: none
Multiply by fiber mass to check the original atom probability.
Rule: exact_rational_arithmetic · Uses: G001, S030
Before
conditional total (b19,1) := sum(1/2, 1/2)
After
conditional total (b19,1) = 1
Conditions: none
The complete conditional law must have total mass1.
Rule: exact_rational_arithmetic · Uses: G001, S031
Before
valid positive-mass laws for T=0: [[a19, [[190, 1/2], [192, 1/2]]], [b19, [[190, 1/2], [192, 1/2]]]]
After
parameter-invariant: Yes
Conditions: none
Compare full defined conditional laws; parameter invariance requires every sample probability to agree.
Rule: conditional_law_comparison · Uses: G001, S032
Before
valid positive-mass laws for T=1: [[a19, [[191, 1/2], [193, 1/2]]], [b19, [[191, 1/2], [193, 1/2]]]]
After
parameter-invariant: Yes
Conditions: none
Compare full defined conditional laws; parameter invariance requires every sample probability to agree.
Rule: conditional_law_comparison · Uses: G001, S033
Before
[[0, [[a19, [[190, 1/2], [192, 1/2]]], [b19, [[190, 1/2], [192, 1/2]]]], Yes], [1, [[a19, [[191, 1/2], [193, 1/2]]], [b19, [[191, 1/2], [193, 1/2]]]], Yes]]
After
all fibers invariant: Yes
Conditions: none
Sufficiency under this finite contract requires every fiber to pass, not just one.
Rule: finite_sufficiency_definition · Uses: G001, S034
S035 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S034 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S033 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S032 · premise_and_result_audit — Recompute conditional total (b19,1) with exact rational arithmetic, not rounded decimals.S031 · premise_and_result_audit — Recompute reconstruct atom 193 under b19 with exact rational arithmetic, not rounded decimals.S030 · premise_and_result_audit — Recompute P_b19(193|T=1) with exact rational arithmetic, not rounded decimals.S029 · premise_and_result_audit — Recompute reconstruct atom 191 under b19 with exact rational arithmetic, not rounded decimals.S028 · premise_and_result_audit — Recompute P_b19(191|T=1) with exact rational arithmetic, not rounded decimals.S027 · premise_and_result_audit — Recompute P_b19(T=1) with exact rational arithmetic, not rounded decimals.S026 · premise_and_result_audit — Recompute conditional total (b19,0) with exact rational arithmetic, not rounded decimals.S025 · premise_and_result_audit — Recompute reconstruct atom 192 under b19 with exact rational arithmetic, not rounded decimals.S024 · premise_and_result_audit — Recompute P_b19(192|T=0) with exact rational arithmetic, not rounded decimals.S023 · premise_and_result_audit — Recompute reconstruct atom 190 under b19 with exact rational arithmetic, not rounded decimals.S022 · premise_and_result_audit — Recompute P_b19(190|T=0) with exact rational arithmetic, not rounded decimals.S021 · premise_and_result_audit — Recompute P_b19(T=0) with exact rational arithmetic, not rounded decimals.S020 · premise_and_result_audit — Recompute conditional total (a19,1) with exact rational arithmetic, not rounded decimals.S019 · premise_and_result_audit — Recompute reconstruct atom 193 under a19 with exact rational arithmetic, not rounded decimals.S018 · premise_and_result_audit — Recompute P_a19(193|T=1) with exact rational arithmetic, not rounded decimals.S017 · premise_and_result_audit — Recompute reconstruct atom 191 under a19 with exact rational arithmetic, not rounded decimals.S016 · premise_and_result_audit — Recompute P_a19(191|T=1) with exact rational arithmetic, not rounded decimals.S015 · premise_and_result_audit — Recompute P_a19(T=1) with exact rational arithmetic, not rounded decimals.S014 · premise_and_result_audit — Recompute conditional total (a19,0) with exact rational arithmetic, not rounded decimals.S013 · premise_and_result_audit — Recompute reconstruct atom 192 under a19 with exact rational arithmetic, not rounded decimals.S012 · premise_and_result_audit — Recompute P_a19(192|T=0) with exact rational arithmetic, not rounded decimals.S011 · premise_and_result_audit — Recompute reconstruct atom 190 under a19 with exact rational arithmetic, not rounded decimals.S010 · premise_and_result_audit — Recompute P_a19(190|T=0) with exact rational arithmetic, not rounded decimals.S009 · premise_and_result_audit — Recompute P_a19(T=0) with exact rational arithmetic, not rounded decimals.S008 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S007 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S006 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S005 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S004 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.S003 · premise_and_result_audit — Recompute P_b19(Ω) with exact rational arithmetic, not rounded decimals.S002 · premise_and_result_audit — Recompute P_a19(Ω) with exact rational arithmetic, not rounded decimals.S001 · premise_and_result_audit — Retain every parameter and sample label; distinguish null, empty tables, zero distributions and tied optima.([[0, [[a19, [[190, 1/2], [192, 1/2]]], [b19, [[190, 1/2], [192, 1/2]]]], Yes], [1, [[a19, [[191, 1/2], [193, 1/2]]], [b19, [[191, 1/2], [193, 1/2]]]], Yes]], Yes, conditional_law_must_be_theta_independent_on_every_positive_mass_cell)
The full substitutions and premise audits recover the original answer, retaining its field order and verdict meanings.
Review date: 2026-10-26
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: 486d8b411b8a45088a95bb46b9e45f633d4f60ddd0bd3751e699689a6fdb28c9candidate record SHA-256: 36ea15afb7943fb63ae05a451d7621a53e2d0e0f56bca74f474f763d6967ebffsemantic review receipt SHA-256: 6c2c6d46aded7582a11ac41a8c0b3bdde2669a53bdb6e796eea2039994a02772question-first witness SHA-256: 77e43898df9efdbf8094ad81fe4ab91cf4b4bd82f481eb9b4699b73cb4da612bLean: NOT_RUN · human review: NOT_PERFORMED