Name | Spectral Projector Gauge Invariance
Object | Eigenframe $V$ of a Hermitian eigenspace
Type | Exact projector identity
Identity | $VV^\dagger=(VU)(VU)^\dagger$ for unitary $U$ on the eigenspace
Evidence | E0 + E1
Boundary | Gauge of FPV20-C07 reconstruction; degeneracies retain stated freedom.
Parents: FPV20-C07, E47-PREC-C03.
Witness: PF-FPV20-REP-015.