[ { "id": "followthrough-outcome-spec-00", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "partial", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-01", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "partial", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-02", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "rounded", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-03", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "rounded", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-04", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "ambiguous-reference", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-05", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "ambiguous-reference", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-06", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "continuous", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-07", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "continuous", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-08", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D changes with the conditioning event, but which event applies has not been supplied. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D changes with the conditioning event, but which event applies has not been supplied. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "unknown-conditioning", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-09", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D changes with the conditioning event, but which event applies has not been supplied. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D changes with the conditioning event, but which event applies has not been supplied. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "unknown-conditioning", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-10", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "unordered-values", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-11", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "mean-outcome", "diagnostic_class": "unordered-values", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-12", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "mean-outcome", "diagnostic_class": "exact-two-point", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-13", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "mean-outcome", "diagnostic_class": "exact-two-point", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-14", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "mean-outcome", "diagnostic_class": "exact-aggregated", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-15", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: Under D, the probability-weighted mean is two units.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: 2 units is mean-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "mean-outcome", "diagnostic_class": "exact-aggregated", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-16", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "partial", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-17", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D lists mass 1/4 at zero and 1/4 at four; the remaining probability and outcomes are unspecified. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "partial", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-18", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "rounded", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-19", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D displays probabilities rounded to one decimal place; their exact interpretation is unspecified. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "rounded", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-20", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "ambiguous-reference", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-21", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D may refer to model v1 or v2, whose masses differ; no version was chosen. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "ambiguous-reference", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-22", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "continuous", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-23", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D is a continuous uniform distribution on [0,4], not a finite discrete mass distribution. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "continuous", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-24", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D changes with the conditioning event, but which event applies has not been supplied. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D changes with the conditioning event, but which event applies has not been supplied. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "unknown-conditioning", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-25", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D changes with the conditioning event, but which event applies has not been supplied. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D changes with the conditioning event, but which event applies has not been supplied. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "unknown-conditioning", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-26", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "unordered-values", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-27", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D places mass 1/2 on blue and 1/2 on red, with no numeric quantity or numeric encoding. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Clarify or reject the specification before evaluating this registered claim.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "unordered-values", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": false } }, { "id": "followthrough-outcome-spec-28", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "exact-two-point", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-29", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2 for one stated event: mass 1/2 at zero units and 1/2 at four units. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "exact-two-point", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-30", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 1. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Enough specification to check the claim, even if it is false.", "Clarify or reject the specification before evaluating this registered claim." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "exact-aggregated", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "followthrough-outcome-spec-31", "english": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: Under D, two units has the highest outcome probability, ties allowed.", "ainglish": "Shared scope rule for this registered version: D must uniquely identify a fixed, nonempty, finite discrete probability distribution over numeric values in one declared quantity and unit; positive exact masses sum to one. Relevant model version and conditioning must be fixed. Partial, rounded-without-an-exact-interpretation, continuous, infinite-support, unordered-category and ambiguous specifications are outside this version. A specification can be sufficient even when the asserted statistic value is false. Fictional specification check 2. D uniquely identifies finite discrete model v2: two disjoint paths each yield two units with mass 1/4; a third yields six units with mass 1/2. Statement: 2 units is likeliest-outcome(D).", "question": "Does the supplied specification uniquely provide the finite numeric probability model required to check this exact registered claim? This asks evaluability, not whether the asserted value is true.", "options": [ "Clarify or reject the specification before evaluating this registered claim.", "Enough specification to check the claim, even if it is false." ], "answer": "Enough specification to check the claim, even if it is false.", "settlement_stratum": "likeliest-outcome", "diagnostic_class": "exact-aggregated", "diagnostic_only": true, "calibration": false, "oracle": { "specification_sufficient": true } }, { "id": "outcome-specification-control-0", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-910: the collector is not recorded.", "ainglish": "Neutral receipt Z-910: the collector is Ari.", "question": "Who collected the parcel on receipt Z-910?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Ari" }, { "id": "outcome-specification-control-1", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-911: the collector is not recorded.", "ainglish": "Neutral receipt Z-911: the collector is Bela.", "question": "Who collected the parcel on receipt Z-911?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Bela" }, { "id": "outcome-specification-control-2", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-912: the collector is not recorded.", "ainglish": "Neutral receipt Z-912: the collector is Cleo.", "question": "Who collected the parcel on receipt Z-912?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Cleo" }, { "id": "outcome-specification-control-3", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-913: the collector is not recorded.", "ainglish": "Neutral receipt Z-913: the collector is Daru.", "question": "Who collected the parcel on receipt Z-913?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Daru" }, { "id": "outcome-specification-control-4", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-914: the collector is not recorded.", "ainglish": "Neutral receipt Z-914: the collector is Etta.", "question": "Who collected the parcel on receipt Z-914?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Etta" }, { "id": "outcome-specification-control-5", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-915: the collector is not recorded.", "ainglish": "Neutral receipt Z-915: the collector is Fenn.", "question": "Who collected the parcel on receipt Z-915?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Fenn" }, { "id": "outcome-specification-control-6", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-916: the collector is not recorded.", "ainglish": "Neutral receipt Z-916: the collector is Ari.", "question": "Who collected the parcel on receipt Z-916?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Ari" }, { "id": "outcome-specification-control-7", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-917: the collector is not recorded.", "ainglish": "Neutral receipt Z-917: the collector is Bela.", "question": "Who collected the parcel on receipt Z-917?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Bela" }, { "id": "outcome-specification-control-8", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-918: the collector is not recorded.", "ainglish": "Neutral receipt Z-918: the collector is Cleo.", "question": "Who collected the parcel on receipt Z-918?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Cleo" }, { "id": "outcome-specification-control-9", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-919: the collector is not recorded.", "ainglish": "Neutral receipt Z-919: the collector is Daru.", "question": "Who collected the parcel on receipt Z-919?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Daru" }, { "id": "outcome-specification-control-10", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-920: the collector is not recorded.", "ainglish": "Neutral receipt Z-920: the collector is Etta.", "question": "Who collected the parcel on receipt Z-920?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Etta" }, { "id": "outcome-specification-control-11", "calibration": true, "calibration_scope": "target-independent", "calibration_construct": "resolved custody", "english": "Neutral receipt Z-921: the collector is not recorded.", "ainglish": "Neutral receipt Z-921: the collector is Fenn.", "question": "Who collected the parcel on receipt Z-921?", "options": [ "Ari", "Bela", "Cleo", "Daru", "Etta", "Fenn", "not determined" ], "answer": "Fenn" } ]