Transition stratum, exact guard, and transport

Let ${\mathcal{Q}}_{-}$ and ${\mathcal{Q}}_{+}$ be the regular families for $-1\le s<0$ and $0<s\le 1$. Let ${\mathcal{Q}}_0^{-}$ and ${\mathcal{Q}}_0^{+}$ be their certified event germs.

Both germs realize the same capped surface at $s=0$, with one four-face junction. The incoming germ retains an $EW$ edge slot $c_{-}$ and its coincident endpoint labels $j_N,j_S$. The outgoing germ retains an $NS$ slot $c_{+}$ and its coincident endpoint labels $j_E,j_W$. These are event metadata, not positive length edges.

Include a mode bit and a nonnegative permission label. The semantic event rule

has guard

It changes mode to $1$, decreases permission by $1$, and selects outgoing incidence. It does not advance $s$. The no-other-collapse certificate is prop:edge-certificate, not a numerical test.

No active physical matter is placed inside $K$ in this example. Inaccessible spectator names may nevertheless have abstract cell labels there. Their transport is the fixed map

with persistent face, edge, vertex, collar, boundary, and exterior labels unchanged. This map factors through the event junction. It does not inspect states or infer developed positions.