From an installed evaluation to an ordinary number

A report package supplies:

1. a named compact evaluation configuration and all classical source data;

2. a finite Grassmann coefficient convention;

3. an ordinary real extraction from that evaluation;

4. a finite encoding, calibration basis, and program;

5. every returned quantum residual, failure, and reference.

For example, if

in a specified finite Grassmann algebra, a report may use

with $I_{\ast }$ fixed in advance. A reciprocity report may instead use the ordinary real number ${\beta }_{\mathrm{G}}$ in (eq:recinput).

These numbers are different reports. No map from an odd Grassmann element to a positive density matrix is asserted.