TA35 is the definitional hinge between the block-operator scaffold of TA31-TA34 and the explicit forced block computations of TA36-TA38. TA31 named the blocks A, C, D, E and specified their operator domains. TA35 fixes the precise geometric objects from which those blocks will be derived, establishing that all four are functions of Q5 geometry with no free parameters: \ (A, C, D, E) = F (Q5, wH, Gray, ΠY, K, Θ, AL) \. Ten definitions are provided. The carrier--residual split \ (H₅ = HM ⊕ HR \) partitions spanL, M, R (coherent carrier) from spanBL, BR (residual balancing). The Q5 deposition space \ (Dₐ₅ = CV (Q5) \) assigns each admitted transport state an amplitude profile on the 32 vertices. The Hamming-weight deposition profile \ (P (d) = (P₀,. . . , P₅) \) records amplitude distribution across the six Hamming-weight layers. The admissible target profile \ (d^adm (ψY) \) is characterized by four simultaneous conditions (Gray transport order, Y-gate admissibility, Θ-inversion consistency, and Hamming-weight closure) with explicit vertex-by-vertex computation deferred as a primary open obligation. The deposition defect \ (εY (ψ) ² = Σᵥ |dᵥ − dᵥ^adm|² \) measures failure of the admitted phase to deposit cleanly onto the required profile. The residual extraction subspace is defined as the span over all \ (ψ ∈ HM \) of the deposition mismatch \ (DY (ΠYψ) − d^adm (ΠYψ) \), making it a proper subspace rather than a state-dependent expression. The extraction block D: HM → HR is characterized as the projection of deposition mismatch onto HR, with explicit computation in TA36. The residual circulation kernel E: HR → HR is induced by the helical leakage chain u₂ ↔ u₃ ↔ u₄ (no direct u₂ ↔ u₄ coupling), with spectral abscissa ω (E) determining stability regime and explicit computation in TA37. The reinjection-compatible subspace is defined via Rein (r) (the Y-admissible projection of residual boundary output) with \ (C: = Rein|ₑ㶂₄₈₍ \) computed in TA38, avoiding circularity in the definition. The direct carrier block A is the restriction of barrier-admissible transport to the clean carrier sector after removal of residual-defective deposition. The theorem states that these definitions reduce the block-forcing problem to fixed geometric data so that no phenomenological degrees of freedom remain once the pending explicit computations are carried out. This is a programmatic claim, not a completed derivation: the admissible target profile d^adm remains the primary open computation on which the explicitness of D and εY depends.
Craig Edwin Holdway (Fri,) studied this question.