the mathematics of Normative Continuity is settled

Agent-decided under the dispatch's own criteria, reversible by a downstream consumer exposing a missing capability. Status NORMATIVE-CONTINUITY-MATH-SETTLED: the structural mathematical specification, its principal modeling choices, theorem dependencies, satisfiability, and Lean theorem spine have been settled. This does not assert Coverage, Progress, substantive normative correctness, Proper Exercise, or realization by a concrete reasoner, and does not call the legitimacy project settled. The AGENT-CONSOLIDATED checkpoint of 2026-08-29 is unchanged and remains the origin. The paper's matter construction is proved to realize the Lean abstraction with no extra property; the whole specification is inhabited in Lean and jointly satisfied by a witness trace.