Definition: Claim specification

A finite categorical recovery claim specifies:

1. the curve, monodromy quotient, named objects, and allowed coefficient spaces;

2. the positive state algebra and its permitted references;

3. the encoding, inaccessible systems, and receiver access;

4. a target channel or named effect;

5. the decoder programme and its allowed elementary operations;

6. the error topology and implementation comparison;

7. a predeclared validation family, calibration allowance, transfer allowance, and decision rule.

A geometric interpretation is not part of this definition.