C.2.5:4.4 - Change discipline

Increasing CD requires narrowing candidate space, route space, or frame space explicitly. Lowering CD is admissible only through a named move such as reopen, sketchBackoff, or respecify, with a retained-witness and discarded-assumption note.

An ordinary PatternID in governingPatternRef locates the FPF rule relevant to the closure claim. Use a separate relationFunctionClaimRef for its exact defining or constraining ClaimGraph only when admissible interpretation, comparison, migration, publication, or reuse depends on that exact rule identity (E.10, E.4.PFR). Use authoritySourceRef when a non-pattern source carries the relevant authority.