C.3.1:9 - Conformance Checklist

Check	Requirement
`CC-C31-1`	Each `U.Kind` individual has a recoverable candidate domain, operative membership condition, intended member/non-member boundary, and continuity rule. Practice/source provenance is a comparison cue, not an automatic identity discriminator.
`CC-C31-2`	`U.SubkindOf` cites `E24UK-AR-USUBKINDOF-R5-01`, has exact ordered kind participants, declared applicability, one valid obtaining branch, and participant-determined occurrence identity.
`CC-C31-2a`	Predicate content, C.2.1 assertion, evidence item, representation edge, scheme and signature editions, and optional occurrence designator remain distinct; none makes the relation obtain by form.
`CC-C31-2b`	Obtaining facts form a preorder. Mutual facts between distinct kinds record classification equivalence for the alignment; a partial order is formed only over equivalence groups when needed.
`CC-C31-3`	Criterion entailment compares exact membership rules under aligned interpretation, or exhaustive evaluation covers a deliberately closed finite domain. Non-exhaustive observations support only the assertion.
`CC-C31-4`	Only candidates admissible under both declarations enter the comparison. `unknown` neither establishes nor refutes a universal proposal; `not-applicable` forms no judgment.
`CC-C31-5`	Reference schemes and declaration editions qualify interpretation, applicability, and assertions but do not identify the relation occurrence. An aligned edition change triggers reevaluation of the same participant-determined relation.
`CC-C31-6`	Kind continuity uses before/after candidate-domain, membership-discriminator, member/non-member probes, and receiving-use tests; old judgments retain their cited edition.
`CC-C31-7`	A locality change prompts the continuity test; C.3.3 is used only after two distinct kinds and a correspondence proposal exist.
`CC-C31-8`	Scope is absent from the kind, and `U.Work`, one `W : U.Work`, and any episteme about W remain distinct.