Quantum / CONCEPT

SpectralTransposeRecovery

The existing finite-matrix functional calculus constructs a support projection and spectral inverse square root. The shared decoder normalization lemma is the existing proof extracted once and consumed by both the original candidate and the reference completion; it claims no independent mathematical gain. Explicit Kraus completion gives a canonical CPTP candidate even for a zero CP branch. Exact recoverability and smoothness are separate conclusions.