2118 — Dashed-Edge Ports Translate the Physical Readout Base
Hard-to-vary claim
The dashed-edge Kummer adapter commutes with the source site-energy convolution only after translating the external-energy base at both endpoints of the deleted edge.
It is therefore not an endomorphism of a fixed-kinematics physical readout.
Source objects
Equation (2.26) of arXiv:2401.05207 maps a universal correlator integrand to a physical correlator by the site convolutions
For an edge e=(s,t), Entry 2115 typed the dashed operation as
Exact comparison
Changing variables
gives
The real integration chain translates without a boundary term, but the convolution kernel is evaluated at translated external energies.
Consequence
The source adapter has three typed layers:
Thus edge deletion does not compare two coefficient objects over the same physical base point. Any fixed-kinematics comparison requires an additional transport back from
The primary source does not identify this return transport with a cube differential.
Relevance to
The pre-integration deletion carrier remains -free. However, the adapter samples coefficient systems along translated external-energy loci before loop integration. A polynomial may therefore enter the integrated pushforward discriminant even though it is absent from every static deletion port.
This is a legitimate surviving home for a successor of , provided it is derived from the pushforward critical locus rather than fitted to the known quartic.
Next falsifier
For the homogeneous three-site loop, form the source-derived map
where Sigma_i is the sum of deleted incident-edge energies. Compute the critical/discriminant locus of this translated family under the frozen loop pushforward. Test whether it produces the source quartic or only existing soft, energy, Gram, and Landau support.
No conclusion about is authorized before that elimination.