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

Back to manuscript

For a response problem on a domain , a list is complete when:

  1. every allowed response change is , with coefficients constant on ;

  2. every listed direction is allowed, or the permitted coefficient subspace is explicitly named;

  3. 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.

Nearby in this section