Gate Projector and Leakage Complement in the Reduced Q5 Crossing Sector

T96 provides the explicit matrix realization of the gate-admission and leakage operators that were introduced abstractly in T93–T95. The theorem establishes a canonical orthogonal decomposition of the reduced Q5 crossing sector ₏ₐ=C^2\ into a \ (Y\) -admissible crossing mode and its leakage complement. This converts the leakage architecture from an abstract projector framework into an explicitly computable model. The admissible crossing mode is defined as \|Y=12pmatrix1\, \ representing the quarter-turn phase relation associated with the \ (Y\) -gate. The corresponding gate projector is \Y=|Y Y|=12pmatrix1 & -i\ & 1pmatrix, \ and the leakage complement is =I-Y=12pmatrix1 & i\\-i & 1pmatrix. \ The theorem proves that both operators are orthogonal projectors satisfying \Y²=Y, ²=K, YK=KY=0, \ yielding the canonical decomposition ₏ₐ=span\|Y\ (Y). \ Every reduced crossing state \=pmatrixP\\ admits the unique decomposition \=Y+K, \ with norm identity \\|\|²=\|Y\|²+\|K\|². \ The theorem further derives explicit formulas for gate admission and leakage strength. The crossing-mode amplitude is \ Y|=12 (P-iQ), \ and therefore the gate-admission strength is Y () =\|Y\|²=12|P-iQ|². \ For normalized states, Y () =\|K\|²=1-12|P-iQ|², \ so that Y () +DY () =1. \ Gate coherence and leakage are therefore complementary quantities. Several structural consequences follow. A state crosses cleanly if and only if =0, \ equivalently \=cpmatrix1\\ for some complex scalar \ (c\). Any deviation from this quarter-turn phase relation produces a nonzero leakage component. The theorem also provides the explicit realization of the abstract leakage operator appearing in T93–T95. Quantities such as the leakage norm \\|K₀\|²\ and the short-time visibility decay derived in T95 become directly computable from the crossing amplitudes \ (P\) and \ (Q\). The projector formalism, therefore, acquires a concrete matrix representation suitable for explicit calculations. T96 serves as the foundational algebraic theorem of the leakage program. It identifies the admissible crossing mode, constructs the associated projector and leakage complement, establishes the orthogonal decomposition of the reduced crossing sector, and converts the abstract coherence and leakage measures of T93–T95 into explicit computable formulas.