E.10:7.3 - DiscriminatorToken and local-use ContextToken — Domain Anchoring (DA-D)

DA-D1 (kind anchoring). The head noun names the FPF kind or exact local construction being classified—for example Sense, Bridge, Characteristic, SystemRole, or another subject-specific head. A concrete local system-role-kind designation may use the SystemRole compound, for example ReviewerSystemRole; bare Role fails this test because it does not reveal whether the claim concerns classification, assignment, participation, declaration, representation, episteme use, or ordinary wording. Readers can answer “X of what?” without relying on an unstated container. DA-D2 (Enumeration rule, not axis). An enumerated property is a CHR construction only when one named U.Characteristic is bound to one declared CSLC scale in a CharacteristicSpace. Otherwise recover the closed value set, classified kind, local classifier, state/status frame, source wording, C.29 representation, example or alternative set, or another construction defined for that value. Avoid spatial metaphors (axis, dimension, plane, lane, tier, layer) unless the metaphor is a pattern-defined primitive in this spec. DA-D3 (Enum clarity). If the term denotes an enumeration, the value set is small and closed, membership criteria are obvious from the definition, and the kind being classified is explicit in the name (e.g., SenseFamily, not bare Family, RowPlane or overly general Facet). DA-D4 (Anti-recipe). Do not bake how-to or local methods into discriminator names. The way of doing belongs in one exact U.Method; a claim-bearing episteme belongs in U.MethodDescription only when that method is its exact EntityOfConcern and A.3.2’s positive threshold is met. Use A.2.2 when the recovered claim concerns a holder’s ability under stated conditions and bounds; that claim alone calls for no additional kind. DA-D5 (Mapping discipline). A cross-local relation is not inferred from similar labels or token classes. Use F.9 only when its direct Bridge predicate obtains between exact distinct cells; discriminator names do not suggest global identity. DA-D6 (Register discipline). Keep normative tokens stable; synonyms belong in the Plain register only and stay outside constraints and tests. DA-D7 (Ban generic combinators). Reject vague composites like NameUseMode, NamingScope, RowFacet, RowPlane, or RowLane. Each candidate passes DA-D1 and DA-D3 for a kind-anchored head, explicit classified kind, and closed-value interpretation under its classification rule. Require a CharacteristicSpace only when one named U.Characteristic and its CSLC scale have independently been declared.