A compact operational report

Displayed formulas in this passage

• unlabeled · line 1875

  $$\begin{array}{ll}\text{Object:}& {\mathcal{L}}_k\otimes C\text{, with its gauge convention};\\ \text{Access:}& J\text{ and the declared coefficient legs};\\ \text{Target:}& \mathcal{T}\text{ or the named effect};\\ \text{Programme:}& {\mathcal{D}}_{12},{\mathcal{D}}_1,\text{ or another tested map};\\ \text{Resources:}& \text{receiver, supplier, reference, and classical ledgers};\\ \text{Certificate:}& [L_{\nu },U_{\nu }]\text{ under the complete contract};\\ \text{Decision:}& \text{certified, tested-programme excluded, or inconclusive};\\ \text{Uniform exclusion:}& \text{only if a separately proved all-decoder bound applies}.\end{array}$$