Manuscript En10-B@1 · En10-B.tex · proposition · a1105bad
Proposition: Different source weights with identical complete records
Competing explanations and complete-record discrimination › An explicit complete-law ambiguity · lines 1093–1158 · proof included or linked
En10-B@1#prop:overlap
There is an admissible finite-kick calibration set containing two members with different source weights and identical complete laws. For that pair, every randomized binary test based on ideal independent records has errors satisfying .
Proof. Take , , and three possible transition values
They are realized by and . For an explicit admissible angle bound, choose
The other offset has smaller absolute value. For instance, the relevant elementary angle inequalities give
Hence and . A compact set containing these fixed angles and the weight simplex satisfies (eq:calibration-set).
For the first member choose
Then . For the second choose
Direct rational arithmetic gives . Both members have
Their common complete law is
Let a randomized test declare the second member with probability . The record-list laws are identical, so
Displayed formulas in this passage
unlabeled · line 1105
unlabeled · line 1112
unlabeled · line 1117
unlabeled · line 1128
unlabeled · line 1133
unlabeled · line 1140
unlabeled · line 1144
unlabeled · line 1153