lin-0247
21.1 The declaration card
Every system begins with a declaration card containing:
the learning sketch and its intended factorization;
the base and tangent obstruction objects;
the observation maps used for measurement;
the decision quotient;
the localization cover and its completeness claim;
the allowed repair language;
the admission blocks;
the abstention conditions;
the certificate emitted after a decision;
the structural level at which each repair acts; and
the non-target obligations that every repair must preserve.
Design principle
If an application cannot fill out the declaration card before optimization, its residual has not yet been given enough structure to function as a LINCS learning signal.