The small mass-frequency branch survives the leading response of the omitted normal modes. Their contribution includes a positive correction to kinetic normalization. It must be retained together with their change to the frequency operator.

This calculation uses the maintained full spatial parent. It supplies a specific improvement over a finite-band assumption, while leaving the infinite-complement remainder and the occupied supporting geometry open. The bounded angular completion then uses the same spatial structure to remove the leading mode-dependent departure from the simplex factors.

Eliminate the spatial modes before squaring

Let PP be the kernel of the linked geometric operator DD, including its two canonical blocks, and Q=I−PQ=I-P. At a fixed surface parameter β\beta, write the maintained first-order parent as

H=ΛD+M,M=−Cχ1β−12Kχ1−Cγ(χ−h+χ+hˉ),h=zB/2.(1) H=\Lambda D+M,\qquad M=-C\chi_1\beta-\frac12K\chi_1 -C\gamma(\chi_-h+\chi_+\bar h), \quad h=zB/2. \tag{1}

Here Λ=R/L\Lambda=R/L, γ=gΛ\gamma=g\Lambda, K=(d+1−a)S−aIK=(d+1-a)S-aI, and DD is the geometric Jacobi operator. All its radial coefficients are shared by the particle indices at one depth. The normal plane remains an ordinary unbounded spatial plane.

Define

HP=PMP,F=QMP,Y=DQ−1F.(2) H_P=PMP,\qquad F=QMP,\qquad Y=D_Q^{-1}F. \tag{2}

The inverse exists because ∣DQ∣≥2/d+1|D_Q|\ge 2/\sqrt{d+1}. Splitting an eigenfunction into ψ=p+q\psi=p+q, the exact elimination is

[HP−F†(ΛDQ+QMQ−ω)−1F]p=ωp.(3) \left[H_P-F^\dagger(\Lambda D_Q+QMQ-\omega)^{-1}F\right]p =\omega p. \tag{3}

The source FF has negative normal chirality, whereas YY has positive chirality. This removes the term proportional to Λ−1\Lambda^{-1}. Expansion through the first nonzero order gives

(HP+AΛ2)p=ω(I+NΛ2)p+⋯ ,N=Y†Y≥0,A=Y†M+Y.(4) \boxed{ \left(H_P+\frac A{\Lambda^2}\right)p =\omega\left(I+\frac N{\Lambda^2}\right)p+\cdots, \qquad N=Y^\dagger Y\ge0,\quad A=Y^\dagger M_+Y.} \tag{4}

The same coefficient follows by normalizing the complete spatial wave: q=−Yp/Λ+⋯q=-Yp/\Lambda+\cdots, so ∥ψ∥2=p†(I+N/Λ2)p+⋯\|\psi\|^2=p^\dagger(I+N/\Lambda^2)p+\cdots. The omitted field adds positive norm. It does not supply negative inertia.

Canonical normalization of (4) gives the Hermitian operator

Hlow=HP+1Λ2(A−12{N,HP})+⋯ .(5) \boxed{H_{\rm low}=H_P+\frac1{\Lambda^2} \left(A-\frac12\{N,H_P\}\right)+\cdots.} \tag{5}

The frequency shift computed from (4) agrees with (5), including both canonical blocks. The amplitude normalization fixes how this frequency enters the action; it is not a mass-fitting variable.

In contrast, direct compression of the full square gives

PH2P=HP2+F†F.(6) PH^2P=H_P^2+F^\dagger F. \tag{6}

The additional term is positive but does not describe the low spectral subspace after its normal dressing. Numerically, it overwhelms the tiny mass branch. Equation (6) therefore cannot replace (3).

The spatial inverse is explicit

The polarization part uses the exact identity

D(RΦl)=(K−kl)Φl,R=−iSα⋅x,kl=d−1−2l.(7) D(\mathcal R\Phi_l)=(K-k_l)\Phi_l, \qquad \mathcal R=-iS\alpha\cdot x,\quad k_l=d-1-2l. \tag{7}

The hopping part is obtained from the positive-chiral radial Green equations of D2D^2, retaining both radial components, their connection terms and the subtraction of the retained projection. This is an actual spatial inverse, rather than a scalar denominator assigned to an omitted mode.

The radial fields determine every entry of NN and AA. Angular selection then restricts the off-diagonal block of (5): its row-minus-column shift lies between −1-1 and 22. If an entry contains γp\gamma^p and has shift ss, it obeys p−s≤2p-s\le2.

Combining this rule with the small-branch endpoint vectors gives

δωn,dωn,d=g2κn,d(γ)+higher orders,g=γ/Λ,(8) \frac{\delta\omega_{n,d}}{\omega_{n,d}} =g^2\kappa_{n,d}(\gamma)+\text{higher orders}, \qquad g=\gamma/\Lambda, \tag{8}

where κn,d\kappa_{n,d} has a finite large-γ\gamma limit for each maintained index. The leading correction is not amplified by an inverse power of the tiny mass-frequency itself. A bound on the full operator norm would miss this angular information.

For example, at γ=10000\gamma=10000, the positive surface branch gives:

Depth and control Coefficient κn,d\kappa_{n,d} of g2g^2
2, W -0.0966583
3, down -0.1550261
3, strange -0.2188834
4, up -0.3775428
4, top -0.4328352
5, first neutrino -0.6593903
6, electron -0.9628474
6, muon -0.9869815
10, tau -2.7745591

The coefficients are not exactly common within a depth. The maintained parent therefore does not preserve the simplex law exactly after this correction. Its formal zero locations shift as well. This is a limitation of that full extension, not a change to the assigned particle indices.

What the larger spatial comparison establishes

A finite spatial Galerkin space containing PP, the range of FF, and the range of YY reproduces the leading coefficient independently. It retains 6d6d complex basis vectors. The normal part has a positive gap, the complete matrix has the required chiral symmetry, and halving gg gives the expected fourth-order frequency remainder after (8).

The basis is deliberately sufficient to test this order. It is not an exhaustive discretization of the infinite normal plane. Independent radial refinement checks the spatial integrals used in the small eigenvalue; high-precision diagonalization alone would not establish that accuracy.

The result supports a positive, properly normalized reduced wave action under the stated parent. It does not supply the overall physical phase normalization, the same-field source balance, or the total inertia of a localized occupied particle. Those require the supporting action as well.

Verification

normal_complement_expansion.py constructs the spatial inverse matrices and the larger Galerkin comparison. normal_complement_expansion_checks.py passes 384 checks across all six depths, every maintained particle control and both surface signs. The report retains the formal-root shifts, independent radial refinements, exact executed source hashes and separate raw spatial arrays. The 384-check complementary-mode report contains the complete frequency, normalization and spatial refinement results.