The incidence update as a G-rule

Let $g_0^{-}$ and $g_0^{+}$ denote the certified incoming and outgoing germs with their common regular limit. Use the exact guard

where, if a finite clock code is used, $s=j{2}^{-d}$ is a declared exact parameter. The rule changes mode to $1$, decreases ${\nu }_G$, and selects outgoing incidence metadata. It changes no particle packet.

Persistent vertex, edge, face, collar, and exterior labels have identity abstract transport. Their embedded realizations need not remain fixed. In particular, $e_i$ changes from $[P,A_i]$ to $[B_i,A_i]$.

At $s=0$, original names occupy only regular persistent cells of the limiting slice. New vertices $B_i,C_i$, new edges, and ${U_i}^{\pm }$ are not independent regular locations until positive outgoing advance.