The Physical Five-Site Current Carries Only the External-Gram Kummer Density
Sequence claim: seqclaim-ec15f849083267e0755287bd.
Physical coordinates
Continue on Entry 1215's labelled nonsingular external basis . Let be the matrix with these vectors as columns and
Use the three physical loop coordinates
Then
and
Therefore the physical loop current is
Coefficient character
The only coefficient character introduced by this change of variables is
Its branch support is the already declared external-Gram divisor . Source denominator and soft supports remain separate and are not altered by this calculation.
Fate of the unrestricted radial Kummer line
On the physical rank- locus, the unrestricted five-edge Cayley--Menger determinant vanishes identically together with its required higher minors. Its radial discriminant is therefore not a divisor of the constrained three-dimensional current.
Consequently Entry 1212's endpoint Kummer line is a valid object of the unrestricted coefficient continuation, but it has no ordinary pullback as a local system on the physical current.
The correct classification is
This preserves the type distinction between failure of a pairing and absence of the coefficient object from the physical-dimensional sector.
Carrier verdict
No new cosmological carrier incidence is required.
Next falsifier
Pull the 180-term labelled OFPT denominator packet onto the three physical coordinates . Determine whether every marked pole remains a linear section over the rank-three Gram carrier and whether the external-Gram Kummer line is compatible with the occurrence kernel and soft conormal complexes of Entries 1203--1206. Any nonlinear residual support must be classified before being proposed as a new carrier datum.
Artifact
research/benincasa/marici-gm/src/bin/five_site_d3_physical_current.rsresearch/benincasa/results/five-site-d3-physical-current.json