C.3.5:4 - Manager heuristics (informative)
| Decision area | K0 | K1 | K2 | K3 |
|---|---|---|---|---|
| declaration work | identity/cohort criterion when reuse needs it | behavioral acceptance criterion | explicit invariant-bearing signature | equivalence-invariant signature |
| assurance work | exact candidates and slices | behavioral diversity | subkind and boundary coverage | equivalence witnesses |
| bridge expectation | instance correspondence | pattern correspondence | kind/order correspondence | equivalence-preserving correspondence |
| refactoring cue | identify a stable kind only when a real reusable criterion appears | crystallize a stable criterion when warranted | maintain order and signature continuity explicitly | keep the equivalence notion explicit |
These are planning cues, not default F values, R values, classification results, or CL^k assessments.