The bilinear symbol and its counter-propagating values

Gate 1 ends at Constructed: $B_{\Sigma }$ is explicit in Cauchy data on the sectors used, the scalar slot is a spectator, and Proposition prop:planewave below identifies $B_{\Sigma }$ as the leading onset coefficient of the class invariant.