C.3.5:7.1 - Fast rubric
- Concrete exemplars or a bounded cohort suggest K0.
- Behavioral obligations with few stable global invariants suggest K1.
- Explicit invariant-bearing criteria and a reviewed local order suggest K2.
- An explicit, load-bearing equivalence notion suggests K3.