Manuscript X-J-ST@1 · X-J-ST.tex · theorem · 8f0d1a36
Theorem: Selective visibility or erasure
Section B: selective amplitude visibility › The retained amplitude family · lines 1067–1096 · proof included or linked
X-J-ST@1#thm:amplitude
For a fixed instrument and fixed , its complete output on is constant on a nonempty open interval containing zero if and only if
In that case it is constant on the entire declared real-amplitude family.
For the classical law alone, the corresponding condition is
Proof. Differentiate (eq:selective):
At zero, constancy forces . At any nonzero point in the interval, , so . The converse follows from the exact formula. Distinct classical blocks cannot cancel. Taking traces gives the outcome-law statement.
Displayed formulas in this passage
unlabeled · line 1072
unlabeled · line 1079
unlabeled · line 1086