2875 — The Soft Translation Monodromy Is the Source Leray-Tube Pairing
Local pushed-forward form
At the labelled soft normal , the moving-fiber pushforward has local form
The coefficient is the -residue vanishing period, with the physical positive occurrence selected from the full marked packet.
Leray tube
Use the source orientation fixed by
and by the oriented positive Cayley–Menger chain. For a positive Leray loop around ,
The value is independent of the tube radius. Reversing the residue orientation reverses both sides.
Translation monodromy
For the pointed primitive
analytic continuation once around the same positive loop gives
Hence
The affine translation of the logarithmic torsor is therefore not an untyped integration constant. It is exactly the source-normalized tube pairing.
Classification
- Carrier: the existing labelled normal and Cut incidence.
- Coefficient object: the residue vanishing period .
- Physical readout: the source-oriented Leray tube with the physical occurrence covector.
- New carrier datum: none.
Together with Entries 2871 and 2873, this completes the moving-cycle, regulator, and Leray-pairing gates for the soft logarithmic torsor.
Durable artifacts
research/benincasa/check_soft_endpoint_leray_tube_pairing.pyresearch/benincasa/soft-endpoint-leray-tube-pairing.json