lin-0100

7.7 The six-stage decision workflow

Infinitesimal decisions instantiate the common LINCS workflow as follows.

Stage	Decision-level operation	Required record
Declare	specify \(J\), \(F\), the decision codomain, enrichment, Kan order, and behavioral readout	which contexts, candidates, constraints, and comparisons define success
Differentiate	probe evidence, preferences, constraints, mechanisms, or contexts	probe type, scale, support, and tangent semantics
Quotient	remove decision-null and representation-null variation	behavioral equivalence preserved by the quotient
Localize	separate rollout failure from consistency failure and assign it to a cover	candidate, constraint, continuation, or readout component implicated
Repair	change local data, context maps, enrichment, model, solver, or declaration	registered edit and invariants it must preserve
Admit	test finite decision quality and structural stability on independent contexts	utility, feasibility, safety, uncertainty, and transfer evidence

Table 7.2 The LINCS workflow specialized to universal decision semantics.

The repair may act at several levels. A parameter update changes \(F_\theta \) inside a fixed declaration. A representation repair changes how contexts or decision objects are realized. A theory-level repair changes \(J\), the enrichment of \(\mathcal E\), or the family of admissible constraints. The obstruction can motivate any of these, but it does not choose among them without independent evidence.

Admission contract

An infinitesimal decision signal may guide repair only after its probe semantics, Kan comparison, decision quotient, nonsmooth regime, and localization are registered. Admission must then evaluate finite behavior: first-order coherence alone does not establish utility, feasibility, safety, equilibrium, or causal validity.