3462 — The Clark Boundary Must Be Signed Before Positivity Is Proved
The positive model space
is available in the required form only after is known to be Schur. In the theta programme, that is already the desired Hermite–Biehler theorem. Using this space as the codomain of a proof-producing trace would be circular.
The noncircular target is the algebraic evaluation module carrying the signed denominator-free kernel form. Positivity, radical closure, and Hilbert completion must be conclusions of a source-derived Green identity.
The source trace must also be Fourier–Tate natural before scalar observation, have dense or quotient-complete range, and avoid undefined dual-times-dual pairings after arithmetic completion.
Research packet: research/kitaev/the-clark-boundary-must-be-signed-before-positivity-is-proved.md
Scope: no trace, density theorem, completed dual pairing, or positivity result is constructed. No build or checker was run under the operator's research-only instruction.
Durable verification: epistemic graph event ev-000000007423-f03bebc9-bae9-425f-b934-b4a40fc7576e.