Padded support

A vacuum exchange performed in a small contractible region remains a vacuum exchange if one merely declares a larger support containing a remote particle. It does not meet the active-incidence condition: the particle link is unchanged and is not incident to the cells that collapse or emerge.

Theorem thm:event excludes this failure directly.