lin-0046

2.3 The six-stage workflow

The recurring LINCS workflow. The arrows do not imply that every failure reaches admission: the process can stop at unidentifiability, incomplete localization, unsupported repair, or failed validation.
Figure 2.1 The recurring LINCS workflow. The arrows do not imply that every failure reaches admission: the process can stop at unidentifiability, incomplete localization, unsupported repair, or failed validation.

Declare.

Specify the objects, arrows, path equations, universal properties, and observations that define success. This determines the type of failure the system is permitted to report.

Differentiate.

Lift the sketch and its obstruction to a tangent setting. The infinitesimal obstruction

\[ \mathcal O_1(D)=\operatorname {INC}(D) \]

describes how the structural failure moves under admissible perturbations.

Quotient.

Remove variation that is presentationally redundant or null for the declared decision. A tangent direction that only changes a paraphrase, gauge, or advantage baseline should not masquerade as semantic repair.

Localize.

Restrict the obstruction to a cover of layers, agents, argument roles, database faces, population strata, or computational blocks. Local agreement must still be distinguished from global realization.

Repair.

Search only within a typed repair language: low-rank adapter changes, executable skill sections, policy updates, sparse relational corrections, or warrant-level argument edits.

Admit.

Validate a candidate repair against separate structural, semantic, statistical, and operational blocks. Rejection and abstention are first-class outcomes.