Manuscript II@2 · II.tex · definition · 50d64def
Definition: Complete response catalogue
Coverage and the evaluation contract › Three-clause completeness · lines 930–946
II@2#def:complete-catalogue
For a response problem on a domain , a list is complete when:
every allowed response change is , with coefficients constant on ;
every listed direction is allowed, or the permitted coefficient subspace is explicitly named;
all admitted representative variations are covered, either by those combinations or by a proof that they are response-null under the same evaluation prescription.
If a proper is declared, the allowed image is , not automatically the span of all columns.