lin-0013
The recurring field procedure
Every application substitutes domain-specific objects into the same six-stage discipline.
- Declare.
State the objects, arrows, equations, universal properties, observers, and admissible probe language.
- Differentiate.
Ask how the obstruction moves under supported local variation; retain base and tangent information separately.
- Quotient.
Remove gauge, presentation, baseline, paraphrase, or other variation that the declared decision cannot observe.
- Localize.
Assign the surviving failure to modules, contexts, overlaps, skills, relations, agents, or argument fragments.
- Repair.
Search only within a registered language of typed changes and record what must remain invariant.
- Admit.
Use independent evidence to accept, reject, quarantine, or defer the proposal.
A chapter need not instantiate every stage with equal depth. The map is an audit device: a missing stage should be visible as an open obligation rather than silently replaced by a scalar objective.