1396 — Mellin Half-Line Modes Generate the Xi Cauchy Boundary
Epistemic-graph event: 1440.
For , the one-sided logarithmic mode
has Fourier transform
These vectors lie in the absolutely convergent Euler–Weil domain. The extended explicit-formula pairing satisfies
Therefore is an exact indefinite isometry from the Mellin half-line test quotient into the Xi Pick boundary preshape. The Cauchy vectors are source-derived boundary modes, not functions manufactured from a zero list.
The remaining gates are positivity, continuation from to the full upper half-plane, closability, and the physical coefficient–Betti comparison.
Scope: exact Euler-domain comparison and indefinite isometry; no positive Hilbert completion or self-adjoint operator is asserted.
Durable verification:
- Research packet: `research/grothendieck/weil-cauchy-euler-domain-map.md`.
- One-sided Fourier transform, Euler convergence, and Pick-kernel pairing.
- Epistemic-graph event: 1440.