Remark: The unresolved compact-spacetime sequence

The exact sequence (eq:exact) depends on $B$. It is not an exactness theorem on the usual compact-spacetime test space. On that space we have proved only

The reverse inclusion is not established here. A time-compact spectral solution need not have support bounded away from the removed worldsheet. This distinction must not be erased when comparing with Minkowski equation quotients or free-field algebras.