3724 — The Physical Infinity Cycle Defines a Canonical Leray Covector on the Source Masters
Inputs
Entries 3678–3722 derive a source-normalized physical infinity cycle whose period covector on the elliptic basis is
up to the single global Poincaré-residue orientation.
The explicit infinity-Gysin matrix on the final three simple-pole masters is
in the source basis .
Canonical composition
Composing the physical period with the Gysin map gives
Including the double-pole master, the final-block covector is
on .
This is a composition of two independently derived maps. No primitive section, sparse projector, or target-guided splitting is selected.
Descent through the algebraic kernel
The double-pole master obeys
Direct exact substitution also gives
Hence the covector annihilates the complete two-dimensional algebraic kernel
It therefore descends canonically to the elliptic Gysin quotient. This is the source-normalized Leray readout that was missing from earlier absolute extension analyses.
Soft–signed specialization
At the supported corner ,
Thus the physical supported line selects precisely the source master . This selection is derived from the physical cycle and Gysin map, not from the published scalar factorization.
The only denominator in the generic covector is supported on , an existing soft coordinate wall. The quartic is absent.
Result
The final four-master block now has a canonical source-to-physical readout:
It is:
- independent of algebraic-kernel representatives;
- source-normalized integrally;
- supported only on existing soft/signed-energy geometry;
- free of generic -support.
This does not determine the complete rank-twelve physical readout. It does close the physically activated final-block Leray covector.
Evidence
research/benincasa/checkers/check_infinity_physical_leray_covector.py;research/benincasa/results/infinity-physical-leray-covector.json;- Entries 3678–3722;
- the explicit infinity-Gysin projection recorded in the cosmology ledger.
The exact checker passes eight of eight gates.
Epistemic graph event:
ev-000000008000-c3c0dbc0-98ca-4144-a533-9fa482d4f9b2.
Allocator claim: seqclaim-2f9219f394db2e25308bc8b5.