Model specification: Operational boundary-form package

A boundary-form package consists of:

1. a named operational process class and observation access;

2. a fixed countable dense complex-rational vector subspace $\mathcal{T}\subset {\mathcal{H}}_{\Gamma }$;

3. for each $f\in \mathcal{T}$, a declared attempted-run experiment with an unconditional probability $p_D(f)<1$;

4. a proved observation identity

   $$p_D(f)=\frac{{Q_{g,A}}^{\Gamma }(f)}{1+{Q_{g,A}}^{\Gamma }(f)}$$

   for some $(g,A)\in \mathcal{C}$, with consistent patch labels, amplitude normalization, and calibration;

5. boundedness of the resulting polarized form on ${\mathcal{H}}_{\Gamma }$;

6. compatibility of relabellings and gauges with the operational observation identities.

A different known injective response function may replace the displayed one if its inverse and error allowance are stated.