C.3.5:7 - Authoring and review guidance (informative)

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.

C.3.5:7.2 - Review questions

1. Is the tagged object the exact local kind rather than its signature, card, candidate, claim, or extension?
2. Does the anchor describe the kind’s intentional stance rather than the current number of candidates?
3. Are proposed F and R changes stated as planning decisions over their actual owners rather than effects of KindAT?
4. Does a stable distinction expressed in an adaptation declaration require a separately identified kind and independently obtaining subkind relation?
5. When cross-context use relies on a KindBridge, does it recover the exact occurrence and separate bridge assertion instead of inferring congruence from the tag?