E.10:8.9 - LEX-CHR-STRICT — Reserve Characteristic for CSLC-measurable aspects
Intent. Prevent calling non-measurable objects (sets, statuses, scopes, policies, bridges, contexts, guards) “characteristics”.
Rule L-CHR-S1 (Reservation). Use Characteristic only for variables that declare a CSLC scale (nominal, ordinal, interval, or ratio) with admissible values, units, and polarity (Part C.16 and A.17–A.18).
Rule L-CHR-S2 (USM). U.Scope, U.ClaimScope (G), and U.WorkScope are USM scope objects, not Characteristics or CHR components of a CharacteristicSpace.
Rule L-CHR-S3 (Status). Episteme statuses, SystemRoleAssignmentStateRelation occurrences or assertions, deontic statuses, and epistemic statuses are not Characteristics by label alone; each remains governed by its direct pattern.
Rule L-CHR-S4 (Lexical classifiers). Keep a lexical classifier or tag under its classification rule: a local classification function and value set, source wording, C.29 representation element, example or alternative set, status or state-frame value set, local kind or classifier, or another construction defined for that classifier. Call it a U.Characteristic only when that characteristic and one CSLC scale are declared. Do not default the residue to Facet, attribute, or another umbrella kind.
Checks.
- CC-L-CHR-1.
scope characteristic(s)is banned in Kernel and local-use Tech wording. - CC-L-CHR-2.
CharacteristicSpacenearScopeis a cue to inspect the claimed relation. Reject wording that treats a scope as a CHR component. A scope may qualify use of a characteristic space while remaining a distinct USM scope object. - CC-L-CHR-3. Kind-preserving repair:
F–G–R characteristics→F–G–R componentsonly when the recovered kind is component rather than characteristic.