Definition: Geometry–matter configuration

A configuration is

where $q\in {\mathcal{Q}}_{\mathrm{adm}}$, $\Gamma$ is a finite labelled interface, and $\rho \in D({\mathcal{H}}_{\Gamma })$. Classical names satisfy joint block diagonality. The geometric projection is ${\pi }_g(C)=q$.

Control and resource labels are either included in $q$ or carried as separately declared classical data. Compared executions have equal initial declared control and resource data.

Permitted transition-germ locations, their realizations, and their transport belong to the event certificate.