Definition: Admissible second-coefficient task

A task specifies:

1. the functional ${\mathcal{C}}_i$, a charge $q_i(\varphi ;\xi )$, or a specified real coefficient of ${\mathcal{J}}_i$;

2. all compact profiles, polarization directions, calibration data, and smooth evaluation data;

3. for odd expressions, a finite exterior algebra and a specified ordered real coefficient extraction;

4. a supplied value or a justified numerical enclosure;

5. a fixed finite encoding and output boundary.

A report dictionary is a finite collection of such tasks.