2222 — The Extracted Contact Readout Extends Across Generic Component-Soft Support
Nearby comparison
Combine:
- Entry 2176: the strict contact packet remains on the component-soft exceptional divisor;
- Entry 2220: multiplicative covariance response commutes with the two Rees charts;
- Entry 2221: the normalized quadratic score has invariant nearby limit.
Away from deeper contact-pole support, the extracted response therefore specializes as
The nearby score inertia is trivial, and no additional soft-supported class or coherence cell appears.
Classification
- carrier: existing component-soft blowup;
- coefficient object: square-root field line with invariant quadratic score;
- generic response: ;
- exceptional response: ;
- new support: none;
- new Carrier datum: none.
Boundary of the theorem
The result assumes that the contact factor remains finite and nonzero. Contact poles and compactifying contact infinity are deeper boundaries and must retain their own Gysin/decay analysis.
Evidence
- Entries 2176–2178 and 2219–2221
research/benincasa/checkers/soft_contact_score_nearby.rs