1852 — The Total-Soft Angular Residue Uses Only Frozen OFPT Facets
Scope correction (Entry 1854). This entry bounds the pole support of an ambient rational lift before imposing the two active wall equations. It does not by itself count the physical restricted poles. Entry 1854 performs the required restriction and supersedes the physical count below.
Projective residue
Factor Entry 1851's radial weight from the ordered region-pair residue. The remaining coefficient is a rational function on the exceptional all-soft shape space.
For the representative pair
the ten source terms use twelve distinct residual denominator labels:
Every label is an already frozen OFPT facet.
Cyclic closure
Transporting these labels through the five occurrence charts gives exactly twenty-one distinct residual facets. The five active three-site walls form the complementary orbit. Hence the complete source-facet partition is
The ten-term sum may cancel poles on some of the twenty-one facets, but it cannot create a pole away from their union. Entry 1830's ordered residue sign is constant around the cyclic orbit, so this partition is occurrence-covariant.
Narrow result
The projective all-soft coefficient requires no additional support cell:
Together with Entry 1851, the source-defined total-soft specialization is completely typed at radial-weight and carrier-support level. Any remaining complexity belongs to the coefficient local system on the frozen projective arrangement, not to new carrier incidence.
Scope
This is a pole-support theorem, not a computation of cancellations, residues, or projective cohomology. It also does not identify the physical period of the angular coefficient.
Next falsifier
Compute the projective logarithmic cohomology class of the ten-term angular residue modulo exact forms. Test whether it lies in the Orlik--Solomon module generated by the twenty-one frozen facets or requires a non-arrangement coefficient extension.
Evidence
research/benincasa/checkers/five_site_region_pair_total_soft_angular_support.pyresearch/benincasa/results/five-site-region-pair-total-soft-angular-support.jsonresearch/benincasa/results/five-cycle-ofpt-packet.json- Entries 1830 and 1851
- allocator claim:
seqclaim-e5830085771f063ba665eecd