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.