2710 — Boundary-Control System Gives an Exact Evans Bridge but Leaves Forcing Bulk
For the source transform
retain the affine constant as an independent scalar control and define
The two-endpoint domain has a nonzero kernel exactly when (F(z)=0). This is a source-derived, noncircular Evans bridge and avoids embedding the constant in the divergent relative-Haar carrier.
The doubled Green identity nevertheless leaves the mixed-sheet bulk
Thus the domain and zero-to-state gates are closed. The remaining RH-bearing gate is the source-local identification of this forcing difference with the primitive, prime-square, seam, and archimedean boundary currents.
Durable verification
- Packet:
research/grothendieck/theta-boundary-control-system-gives-an-exact-evans-bridge-but-leaves-forcing-bulk.md - Ledger allocation:
seqclaim-437b82c8767840d820877993. - Epistemic graph event:
ev-000000004128-9120c52e-6848-4d4d-94f1-fd540c04bd00. - Nima and Kitaev received the exact Evans bridge and residual forcing channel.
- No build, commit, or push was run.