Interface contract: Four admitted command kinds

Each command returns the complete output of def:matching, canonical finite reports when applicable, and certified original-name transport.

1. $\mathsf{G}$: fixed-packet flow within one declared module and incidence epoch. Slice advance has nonnegative parameter speed. A particle slice segment may end at the incoming germ or begin at the outgoing germ, but may not cross zero internally. Collar flow requires profile $\mathsf{P}$, a regular fixed $s$, and the prescribed collar window.

2. ${\mathsf{E}}_{3\text{–}6}$: profile $\mathsf{P}$, unrefined slice module, incoming mode, exact $s=0$, and ${\nu }_G\ge 1$. It selects the outgoing germ at the same packet, decreases ${\nu }_G$ by one, and recomputes the incidence and matching tables.

3. ${\mathsf{E}}_A$: profile $\mathsf{A}$, incoming mode, exact $\sigma =0$, and ${\nu }_G\ge 1$. It performs the certified four-face exchange away from the particle, decreases ${\nu }_G$, and preserves the ambient packet.

4. ${\mathsf{S}}_{\mathrm{tab}}$: profile $\mathsf{P}$, unrefined slice module, source stage zero, exact regular parameter $s=-1/2$, a supplied table token satisfying its semantic promise, and ${\nu }_{\mathrm{src}}\ge 1$. It installs the complete realization at the token's packet and the same $s$, decreases ${\nu }_{\mathrm{src}}$, and sets source stage to one.

No command combines source replacement and incidence. Every admitted command acts as the identity on internal matter in a T0 history. Acceptance is conjunctive: every realization requirement and every obligation (E1)–(E5) is required.