C.3.5:1 - Purpose
Teams need a quick answer to a planning question: is this local kind intended as a curated instance-like cohort, a behavioral pattern, a formal invariant-bearing kind, or a kind considered up to structural equivalence? The answer can guide where declaration rigor and assurance effort are likely to pay off without pretending that abstraction itself widens scope, raises formality, settles classification, or increases reliability.
KindAT gives that planning vocabulary while keeping the governing objects separate:
- the local kind and its order remain under C.3/C.3.1;
- the
KindSignatureremains a declaration episteme whose ownU.Formalitymay change; - for an admissible request,
J(candidate, kind, signatureEdition, slice)remainstrue,false, orunknown; - any
KindExtensionremains a pinned-edition representation of true candidates; and - bridge and kind-use adaptation objects retain the ontology assigned by C.3.3 and C.3.4.