Corrections to the proposed theorem

Three qualifications are necessary before a valid theorem can be stated.

can sometimes continue. Destructive readout of one factor does not imply that every unmeasured factor becomes incapable of further evolution. Source En10-A@1 explicitly retains a conditional system, and under additional covariance assumptions that system has a relational unitary evolution CheungRelational. The correct statement here is that neither measured data name is returned. Any surviving spectator or inaccessible environment is a different interface.

qubits do not encode every proposed observable. Two position qubits cannot simultaneously provide independent position, two-particle spin, energy-bin, and annihilation-flag registers. We therefore freeze a position-only interface. The relaxation channel below is a declared surrogate, not a physical annihilation event. The primary records are occupation words, not annihilation or escape counts.

is a hypothesis, not a consequence of readout. An arbitrary finite measurement need not distinguish a proposed source parameter. We select one family for which the accessible probability is affine with a strictly positive slope. The slope appears explicitly in every estimation bound.