C.3.5:3 - Anchors K0…K3 (informative)

C.3.5:3.1 - K0 — Instance-level

Intent. The local kind is used for named exemplars or a tightly curated cohort.

Cues. The reusable criterion, when one is needed, relies mainly on direct identity features or an enumerated bounded candidate domain.

Non-example. A stable invariant-bearing distinction belongs nearer K2 even if few candidates are currently known.

Planning. Prefer exact slice-bound judgments and assurance over the current candidate domain. Cross-context reuse is likely to need explicit instance correspondence. If the use relies on a KindBridge between distinct kinds, CL^k may be low.

C.3.5:3.2 - K1 — Behavioral pattern

Intent. The local kind is recognized through repeatable behavior or role-like performance rather than a mature formal invariant set.

Cues. A KindSignature may use controlled prose, behavioral obligations, or executable acceptance predicates.

Non-example. A kind with stable explicit predicates and order relations belongs nearer K2.

Planning. Invest in making the signature criterion evaluable and in testing behavioral diversity. Bridges are usually pattern correspondences whose assertions must state loss.

C.3.5:3.3 - K2 — Formal kind/class

Intent. The local kind has explicit invariants, relations, and a reviewed position in a local kind order.

Cues. A reusable KindSignature declaration episteme pins predicate-like criteria, dependencies, and reference scheme; judgments are replayable under exact editions.

Non-example. An informal cohort or role cue does not become K2 merely because it is stored in a schema.

Planning. Consider raising the declaration episteme’s F where the receiving use warrants it; plan R across relevant subkinds and boundary cases. KindBridge assertions may support medium or high CL^k only from demonstrated signature/order preservation.

C.3.5:3.4 - K3 — Up-to-Iso

Intent. The kind’s governed criterion is invariant under a declared isomorphism or equivalence notion.

Cues. Structural equivalence, rather than individual identity, is load-bearing in the signature and receiving use.

Non-example. A class whose candidate identity matters beyond the declared structure is not K3.

Planning. Require explicit equivalence witnesses and receiver acceptance. High CL^k is justified only when the obtaining bridge and its assertion demonstrate preservation of the relevant equivalence structure.