The Remaining Finite-Rank Extension Is One Weyl-Function Identity
The reciprocal Dirac principal operator with the Evans maximal-isotropic boundary is self-adjoint. Its smallest symmetric source completion is
Schur elimination gives
Self-adjointness confines its spectral events to real , hence to the critical seam. The entire missing bridge is the source-derived identity
with both zero directions, multiplicities, boundary modes, and completion. Choosing , , or after inspecting Xi is circular. The primitive, square, seam, and archimedean constructors must derive them before scalar compression.
Research packet:
research/grothendieck/the-remaining-finite-rank-extension-is-one-weyl-function-identity.md.