Prescribed carrier and installed data

For a deficit $0<\mu <2\pi$, let the regular part of the spatial spinless cone have the supplied metric

The reference deficit is

When a spacetime carrier is needed for a local kinematic comparison, we declare

The singular apex is not included in differential calculations. Matching at a particle event is instead part of the finite certificate interface.

Let ${\mathcal{P}}_{\mathrm{inst}}$ be a finite set of installed packet codes. Each code $p$ references complete supplied data, including a deficit $\mu (p)$, seam convention, charts, worldline and rest data, labels, and matching conditions. The code is not itself the geometric tensor or affine word.

Let $\mathcal{J}$ be a finite incidence-code set with a declared reading table

The parameter $s$, the code $j$, and its reading $\tau (j)$ are distinct objects. Injectivity of $\tau$ is not assumed unless specified for an application.

Let $\mathcal{T}$ be a finite source-token set. A token table is a declared map

This map implements a supplied token. It contains no procedure for obtaining the token from an unknown quantum state.