Definition: Admitted commands

Each admitted command returns the entire realized output packet, all five certificate components, exact parameter metadata, canonical finite reports when used, and the declared original-name transport.

1. ${\mathsf{G}}_{s\to s^{\prime }}$: nondecreasing slice advance within one incidence epoch at fixed $m$. It may end at $0^{-}$ or begin at $0^{+}$, but does not cross zero internally.

2. ${\mathsf{S}}_{\mathrm{tab}}$: source stage zero, exact $s=-1/2$, incoming regular mode, ${\nu }_{\mathrm{S}}\ge 1$, and a supplied compatible token. It replaces the complete catalogue realization by the entry $m_{\mathrm{src}}$, decreases ${\nu }_{\mathrm{S}}$, and sets source stage to one. It does not spend ${\nu }_{\mathrm{G}}$.

3. ${\mathsf{E}}_{3\to 6}$: exact $s=0$, incoming germ, and ${\nu }_{\mathrm{G}}\ge 1$. It selects the outgoing germ at the same fixed catalogue deficit, decreases ${\nu }_{\mathrm{G}}$, and recomputes its incidence and matching tables.

All these description operations act as identity on internal matter in a promised-token history.