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.