Use common outcomes=Fin(4)={0,…,3}, parameter indices=Fin(2)={0,…,1}, complete exact law rows=[[1/22, 2/22, 3/22, 16/22], [2/26, 3/26, 4/26, 17/26]], and one total parameter-independent statistic T=[0, 0, 15, 16] in outcome order. Every law is nonnegative and sums to1. For each parameter, add law masses over each T-fibre; list the distinct statistic values increasingly, retaining zero-mass fibres. A parameter law, a sampling law and an observed estimate are different objects; no prior or posterior is supplied. Give (statistic, claim_marker_1, claim_marker_2, claim_marker_3, claim_marker_4, boundary).
G001 — Use common outcomes=Fin(4)={0,…,3}, parameter indices=Fin(2)={0,…,1}, complete exact law rows=[[1/22, 2/22, 3/22, 16/22], [2/26, 3/26, 4/26, 17/26]], and one total parameter-independent statistic T=[0, 0, 15, 16] in outcome order. Every law is nonnegative and sums to1. For each parameter, add law masses over each T-fibre; list the distinct statistic values increasingly, retaining zero-mass fibres. A parameter law, a sampling law and an observed estimate are different objects; no prior or posterior is supplied. Give (statistic, claim_marker_1, claim_marker_2, claim_marker_3, claim_marker_4, boundary).
Definition and scope
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.
Retain the historical interface marker in the original snapshot while listing ordered source fields here,without JavaScript or external lookup.Field names are not mathematical evidence,and No retains the operation's specific claim scope.
full sum=1;all masses nonnegative=Yes;qualified probability law;zero-mass outcomes retained
Conditions: none
Each complete parameter law must separately be nonnegative and total1.Keep zero-mass outcomes in the original table;do not normalize across parameter rows to invent a prior or posterior.
full sum=1;all masses nonnegative=Yes;qualified probability law;zero-mass outcomes retained
Conditions: none
Each complete parameter law must separately be nonnegative and total1.Keep zero-mass outcomes in the original table;do not normalize across parameter rows to invent a prior or posterior.
sampling:parameter SLOT carrier Fin(2);common outcome carrier Fin(4);ONE total original statistic array=[0, 0, 15, 16]
After
T takes only the observation index,not the unknown parameter;SAME function at all parameter slots;its sampling law may still vary with the slot
Conditions: none
Functional parameter-independence is different from a parameter-free distribution of T(X).Use the same original statistic value at every outcome rather than changing T between laws.
same total statistic=[0, 0, 15, 16];all parameter laws qualified;no target/asymptotic sequence/prior supplied
After
four literal No markers WITHHOLD statistical,likelihood and posterior claims;not four named tests or proved negations
Conditions: none
The four No values are not four failed tests.Without a target,an asymptotic sequence of statistics or a prior,do not derive bias,low-variance,consistency,likelihood or posterior claims from the definition.
S007 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S006 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S005 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S004 · premise_and_result_audit — Recompute sampling parameter1 full law mass with exact rational arithmetic, not rounded decimals.
S003 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S002 · premise_and_result_audit — Recompute sampling parameter0 full law mass with exact rational arithmetic, not rounded decimals.
S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
Result
([0, 0, 15, 16], No, No, No, No, no_unbiased_low_variance_consistency_likelihood_or_posterior_claim)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
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.