C.3.5:6 - Usage rules (normative)

AT-01 (Facet, not Characteristic). KindAT SHALL be treated as a Facet per MM-CHR. It has no algebra or threshold and MUST NOT appear in guard predicates or composition math.

AT-02 (Placement). If recorded, KindAT SHALL characterize one exact local U.Kind under an effective reference scheme. A catalog row may represent that assignment. KindAT MUST NOT be attached to a claim, capability, KindSignature episteme, candidate, judgment, or extension as a substitute for its own governor.

AT-03 (No F–G–R effect). Editors SHALL NOT imply that a higher KindAT widens G, raises the signature episteme’s F, increases R, or changes a classification value. Any such sentence MUST name the actual declaration, scope, evidence, or receiving-use change.

AT-04 (Bridge neutrality). Editors assign KindAT from the kind’s intentional stance. The bridge-assertion episteme may record an informative anchor comparison, but CL^k remains a separate assessment of the admitted bridge use from demonstrated signature/order preservation and loss.

AT-05 (Catalog representation). When KindAT is represented in a catalog, the catalog SHOULD identify the local kind and effective reference scheme and reference, rather than collapse, the current KindSignature edition, obtaining subkind relations, KindUseAdaptationDeclaration editions, KindBridge occurrences/assertions, and optional extension representations. Absence of a tag means “not set”, not K0.