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 be the kernel of the linked geometric operator , including its two canonical blocks, and . At a fixed surface parameter , write the maintained first-order parent as
Here , , , and 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
The inverse exists because . Splitting an eigenfunction into , the exact elimination is
The source has negative normal chirality, whereas has positive chirality. This removes the term proportional to . Expansion through the first nonzero order gives
The same coefficient follows by normalizing the complete spatial wave: , so . The omitted field adds positive norm. It does not supply negative inertia.
Canonical normalization of (4) gives the Hermitian operator
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
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
The hopping part is obtained from the positive-chiral radial Green equations of , 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 and . Angular selection then restricts the off-diagonal block of (5): its row-minus-column shift lies between and . If an entry contains and has shift , it obeys .
Combining this rule with the small-branch endpoint vectors gives
where has a finite large- 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 , the positive surface branch gives:
| Depth and control | Coefficient of |
|---|---|
| 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 , the range of , and the range of reproduces the leading coefficient independently. It retains complex basis vectors. The normal part has a positive gap, the complete matrix has the required chiral symmetry, and halving 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.