Definition: Constraint-preserving geometric update

A geometric update is constraint preserving if it:

1. returns an accepted output certificate, or a certified outgoing germ with its common event limit;

2. preserves $\mathsf{Sig}$ under the declared marking;

3. supplies the required original-name location transport.

The realization-dependent equations are recomputed.