Manuscript VIII-A@3 · VIII-A-v3.tex · corollary · 2398a747
Corollary: Fixed-signature incidence preservation
The complete fixed-cone construction › The incidence update as a G-rule · lines 2123–2144 · proof included or linked
VIII-A@3#A:cor:G-event
The incidence update is a constraint-preserving -rule. It preserves , returns the complete outgoing-germ certificate, and has the certified common limiting slice. Its geometric decision and guard are independent of matter occupancy and internal state.
Proof. The two germs have the same limiting graph, packet, worldline, reference frame, collar marking, and primitive peripheral holonomy. Their realization-dependent matching tables are separately checked by A:thm:event,A:prop:fixed-certificate. The persistent abstract transport is specified above.
The guard uses only mode, exact clock, and incidence permission. The rule neither reads matter state nor tests occupancy. Separate spectator reservation supplies the required extension legality.