Model specification: Finite pinned package

A package supplies:

1. the action, gauge fermion, field/antifield normalizations, Fourier and Grassmann conventions, and subtraction prescription;

2. the complete inventory and the derivation of every zero;

3. complete row assembly and all computational dependencies;

4. counterterm generators, relations, and reconstruction maps;

5. exact arrays or explicit missing entries;

6. original minors, complete kernels, residuals, negative controls, error conventions, and budgets;

7. a manifest binding exact versions and bytes.

An unfinished task or resource refusal is not zero.