Proposition: Retained comparison and mutation arithmetic

For the printed frozen/own arrays, the advertised comparison discrepancy is zero. The component-mutant comparisons give

At common bound $B=32$, the complex-report distances are

The D01 changed-entry count and maximum discrepancy are the same if the regression vector $f^{\mathrm{reg}}$ defined below is used instead of $f^{\mathrm{tex}}$.

Proof. The displayed own/frozen entries coincide. For D01, entry 5 changes by $431/15$, the maximum. For D03, the maximum is $2/3$, at entries 5 and 10. For D06, it is $5/6$, at entry 2. All magnitudes are below 32, so Theorem thm:error applies. Changing only D01 entry 6 from $-4/3$ to $+4/3$ changes that mutant discrepancy from $7$ to $13/3$; neither is the maximum, and both are nonzero.