Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1

Proposition: Two different acceptance predicates

Permanent printed-array integrity witness › Known-discrepancy tests are not data acceptance · lines 1074–1092 · proof included or linked

XVI-O1-ST@5#prop:twopredicates

Back to manuscript

Let

P_{consistent} : a^{(0)} + f^{reg} = 0, P_{witness} : a^{(0)} + f^{reg} = \frac{8}{3} e_{6} .

For the retained arrays, $P_{consistent}$ is false and $P_{witness}$ is true. Passing a regression that enforces $P_{witness}$ does not establish $P_{consistent}$ .

Proof. The right sides are different because $8/3 \neq = 0$ . Equation (eq:phaseresidual) proves the assertions.

Displayed formulas in this passage

unlabeled · line 1077
$P_{consistent} : a^{(0)} + f^{reg} = 0, P_{witness} : a^{(0)} + f^{reg} = \frac{8}{3} e_{6} .$

Nearby in this section

section: Known-discrepancy tests are not data acceptance