Theorem: Restricted catalogue and isolation

Within the admitted windows:

1. the unrefined particle slice module has only ${\mathsf{E}}_{3\text{–}6}$, at $s=0$, with the installed packet frozen;

2. the four-face profile has only ${\mathsf{E}}_A$, at $\sigma =0$, with the particle outside the moving incidence patch and its packet frozen;

3. regular within-epoch flow introduces no additional incidence;

4. the collar module has no incidence event on its full window.

This is isolation in the prescribed families, not genericity among arbitrary slicings.

Proof. The particle constructor supplies the two decompositions and their germs. Born vertices are proportional to $s$, their nonzero length coefficients are positive by spacelikeness, and the star remains strictly inside the cap. The supplied incidence value is therefore the sole coalescence in this window.

In profile $\mathsf{A}$, each central length in eq:A-central has its sole zero at $\sigma =0$. Noncentral cells remain positive by the four-face interface. Within-epoch flow preserves these incidence diagrams. The collar conclusion is lem:collar.