unitCoverage

What the declaration says about units, and what it therefore could not check (§4.2.4).

A field that documents an invariant nothing enforces is the fault D.10 names, and the honest answer to "is unit load-bearing?" is partly — it is checked where units combine, printed where a value is reported, and available to a rule that wants to require one. This makes the remaining gap countable instead of rhetorical.