1806 — The Complementary Soft Occurrences Produce a Pole-Twisted Logarithm
Question
What coefficient object survives at Entry 1805's remaining defining-edge soft corner, where and are distinct occurrences of the same fiber function?
Source gate
Freeze
The source-compatible energy specialization is fixed by
Exactly three OFPT terms contain all three noncommon labelled walls. After removing the four incident denominators, exact rational interval arithmetic certifies:
- all eight remaining wall labels are nonzero;
- the complete three-term coefficient is nonzero.
Thus the doubled occurrence is not killed by source cancellation.
Resolved local model
Near the soft focus, let be the radial variable and the squared angular normal to the common occurrence section. The two labelled denominators have leading forms
The resolved measure obeys the exact product-variable identity
Therefore the singular kernel is
If
denotes its singular primitive, the two-occurrence class is the divided difference
Diagonal specialization
On the physical diagonal ,
Hence the diagonal object is a simple pole tensored with a rank-one logarithmic extension:
Architectural result
The complementary labels must remain occurrence-resolved before taking the diagonal. Their doubled section produces a divided logarithm, while physical identification produces a pole-twisted logarithm.
This is coefficient complexity generated by:
- an existing defining-edge soft carrier corner;
- occurrence resolution;
- radial/angular Rees geometry.
No new carrier generator is required.
Next falsifier
Transport this doubled-occurrence class through its free -orbit and compute the diagonal/anti-diagonal occurrence character. Test whether the relative-sign component survives the physical occurrence trace.
Evidence
- research/benincasa/checkers/five_site_g5_complement_soft_source_coefficient.py
- research/benincasa/results/five-site-g5-complement-soft-source-coefficient.json
- research/benincasa/checkers/five_site_g5_complement_soft_divided_log.py
- research/benincasa/results/five-site-g5-complement-soft-divided-log.json
- allocator claim: seqclaim-78627145449663a3cdfb97af