Each of these traces to a defect that occurred here and was caught. They are not hypothetical failure modes.
Ingredient statements match, token by token
The statement on the specification and the statement on the panel are compared word for word and in order — not merely for the same ingredients, but the same sequence, because descending order by weight is a regulatory requirement rather than a formatting preference.
Every guarantee is checked against the formula
A minimum above what the formula delivers cannot hold on assay, and a maximum below it cannot either. The formula's actual output is recorded alongside the guarantee so the comparison is made mechanically rather than remembered.
Values are converted to every basis that governs
As fed, dry matter, per 1,000 kcal, and as a share of energy. A figure can satisfy one basis and breach another — a calcium maximum of 1.7% as fed is 1.889% on a dry-matter basis — so all of them are computed, not the convenient one.
Energy is reconciled against serving weight
Calories per serving must equal energy density multiplied by the weight of that serving. A feeding table computed against the wrong density understates every amount on it, and nothing else in the document disagrees.
Statement class matches product class
A complete food carries a life-stage adequacy statement and names the profile it meets. A treat carries none, and instead carries the intermittent-or-supplemental-feeding statement its exemption depends on.
Claim ceilings are enforced, not advisory
No specification may carry language that would make the product a drug, and no livestock product may describe itself as acting through the immune system. The boundary is checked in the copy, not left to whoever writes it.