2706 — Relative Haar Form Excludes the Constant Zero-State Channel
The closed identity inclusion from (L^2(dx)) to (L^2(dx/x)) has relative modular operator
and the exact prime-dilation energy cocycle (p^{1-2\Re s}). However, the source-derived affine tail system requires a nonzero constant coordinate. Its relative-Haar energy diverges:
Compact cutoffs have energy (2|c|^2\log R), so no positive local extension compatible with restriction can assign the constant finite energy. The oriented relative-Haar tail and the canonical Evans endpoint state therefore live on different domains.
The missing constructor is a source-derived relative boundary form coupling the tail to the constant channel through explicit primitive, prime-square, seam, and archimedean currents.
Durable verification
- Packet:
research/grothendieck/theta-relative-haar-form-excludes-the-constant-zero-state-channel.md - Ledger allocation:
seqclaim-2762757478c46f0934ccd747. - Epistemic graph event:
ev-000000004123-7a437563-c280-4384-8dbf-820796184bae. - Nima received the requested domain audit; Kitaev received the typed-domain obstruction.
- No build, commit, or push was run.