1.11 What this adds to the LINCS workflow

The six-stage workflow introduced in the next chapter can be read at three levels:

1. Axiom 1.1 supplies the universal typed obstruction;

2. the repair calculus transforms licensed structural judgments; and

3. the admission contract decides whether a licensed candidate should alter maintained state.

This separation answers the question raised by the causal analogy in the Preface. LINCS inherits the lesson that action requires an explicit model and rule-governed surgery. Its distinctive contribution is to apply that lesson to the organization of learning itself: representations, computational routes, observers, covers, repair languages, architectures, and declarations become explicit objects of controlled intervention.

Chapter 2 now turns this contract into an operational workflow. The later foundations then justify its factorization, tangent, localization, and admission steps in detail.