Definition: Sequential programme certificate

A certificate contains:

1. the injection, emission maps, and initial internal state;

2. the finite decoder instruction tree;

3. its branch path maps and reported classical coarse-graining;

4. an equality or error bound for the complete decoded channel;

5. a branchwise laboratory and external-storage ledger;

6. an explicit consumption and final-return specification.

No successful branch is substituted for the complete channel.