C.2.5:4 - Solution
U.LanguageStateClosureDegree is an ordinal characteristic over how fixed the current candidate set, framing, and admissible next moves are in a published position claim in the declared language-state chart over U.CharacteristicSpace.
C.2.5:4.0a - Kind and characteristic boundary
U.LanguageStateClosureDegree is a dependent durable characteristic value under the declared U.LanguageStateSpace / U.CharacteristicSpace boundary, not a root U-kind. Its identity is the closure-degree basis slot and ordinal scale discipline for governed episteme publication positions. Claims about local route commitments, gates, or authority states remain separate from the closure-degree claim. When one matters to the current use, test it against its applicable rule and current case facts.
C.2.5:4.1 - Characteristic specification
- Kind: CHR characteristic.
- Scale discipline: ordinal.
- What rises: the local state becomes more fixed or more binding.
- What does not follow automatically: truth, trust, formality, or quality.
C.2.5:4.2 - Starter anchor set
| Anchor | Reading | Typical governance effect |
|---|---|---|
CD0 | exploratory-open | broad rival space remains live |
CD1 | weakly stabilized | some contrasts are present, but rival routes remain normal |
CD2 | narrowed candidate space | explicit rivals remain, but the field is meaningfully reduced |
CD3 | selected route or framing | one route is chosen, though reopening remains routine |
CD4 | publication- or operation-fixed under guard | changes require named justification |
CD5 | strongly fixed | relaxation requires an explicit A.16.2 move and governance note |
C.2.5:4.3 - Non-collapse rules
LanguageStateClosureDegree is not:
F;- articulation explicitness;
- gate decision;
- evaluator confidence;
- warrant strength.
A text may be highly explicit but low-closure, or low-explicitness but already high-closure by policy. Those states shall not be collapsed.
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.