1514 — Supercritical Sector Weights Expose a Finite Infinity-Jet Filtration
Status
General asymptotic consequence of Entry 1509, with the first three coefficients derived exactly for a generic bivalent site.
Infinity expansion
For , write
Entry 1512 identifies as the borderline residue coefficient. Now let the sector supply the supercritical weight
Then
Thus exactly the finite block
must be retained to subtract the polynomial divergence and type the remaining logarithmic residue.
Exact bivalent packet
For a generic bivalent site with independent adjacent edge energies,
and
where
The checker verifies exactly that weights expose jet lengths one, two, and three respectively, with the final unsubtracted coefficient appearing as the residue.
Recursion
Expanding the source edge-deletion identity in gives a triangular recursion for the jet. Incident-edge deletions supply the same jet grade and lower grades mixed by the endpoint shift ; nonincident deletions enter one grade later. The expansion of the total-energy denominator mixes only earlier grades.
Therefore every finite jet block is derived from lower-edge source data. No counterterm coefficient needs to be fitted independently.
Architectural consequence
The infinity readout is not just a trichotomy. It is a filtered coefficient object whose length is selected by the excess of sector weight over local valence:
This directly parallels Benincasa's finite boundary-jet filtration for initial-state renormalization, but here it is derived from carrier incidence and the sector weight.
Durable evidence
research/nima/check_supercritical_infinity_jet.sage;- allocator claim
seqclaim-2998e79e277a38f8e9600f11.