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.