2159 — Component Factorization Canonically Normalizes the Moving Contact Kernel
Source ratio
Entry 2158 retained the connected spectator periods and contact products . The exact two-site component formula, transported cyclically, fixes their ratio:
where is the connected component-energy denominator and is the retained edge energy. This ratio is an identity between already constructed scalar summands. It is not promoted to an inter-sector coefficient morphism.
Canonical rational kernel
Substitution into Entry 2158's pointwise kernel gives the source-normalized rational line
The exact checker verifies the denominator-cleared kernel identity for all three cyclic components at three signed generic packets.
Thus Entry 2158's negative result is narrowed precisely:
- there is no kinematics-independent constant circuit;
- there is a canonical source-normalized rational moving circuit.
Why this is not yet Strominger's exceptional class
On the open locus where all , the line is generated by ordinary component-factorization identities. It is therefore generic presentation redundancy, not yet supported information loss.
The potentially physical test lies where a primary route or its inverse ceases to exist:
Ordinary substitution into is forbidden there. The connected period has a compensating pole at , while the rational generator has a zero; at the generator has a pole. The correct object is the Rees/nearby-cycle specialization of the complete matrix and kernel line.
Strominger-style falsifier
For each labelled component, compute the specialized exact sequence
at , at , and at their intersection. A genuine cosmological null syndrome is born only if the specialized kernel acquires a nonzero supported grade that is not the continuation of the generic factorization relation.
This is the direct analogue of simultaneous primary/fallback route failure.
Classification
- generic rational kernel: canonical;
- constant integral circuit: absent;
- generic physical information loss: absent;
- supported exceptional circuit: untested;
- admitted supports: component-energy and soft divisors only;
- new Carrier datum: none.
Evidence
- Entry 2149's exact scalar ratio, retyped by Entry 2153
- Entry 2158
- research/benincasa/checkers/canonical_rational_contact_kernel.rs
- allocator claim seqclaim-3c292d9257023addff8442ec