Three-clause completeness

For the present class, $W={\mathbb{R}}^{15120}$. Lemma lem:coverage proves constant-coefficient spanning and that every generator is allowed. Proposition prop:quotient proves that quotient-representative changes are response-null. Thus all three clauses hold.

The catalogue count alone proves none of these clauses. It records the size of the spanning construction after coverage has been established.