Definition: Configuration

A configuration is

where $g$ is the complete geometric description, $\Gamma ,\rho$ are the named matter interface and state, $\ell :\Gamma \to \mathrm{Cell}(g)$ is the abstract location map, $h$ is finite controller data, ${\nu }_G,{\nu }_{\mathrm{src}}$ are separate permission registers, and $\mathfrak{r}$ is the resource reservation. A certified $g$ includes its accepted certificate.