C.3:9 - Conformance Checklist

Check	Requirement
`CC-C3-1`	`U.Kind` and `U.SubkindOf` rely on exact accepted E.24.UK results; another public kind name still requires its own admission.
`CC-C3-2`	Kind, `KindSignature`, admissibility result, admissible three-valued judgment, and optional extension remain distinct; scheme and locality are not stored on the kind.
`CC-C3-3`	Kind identity is tested through candidate domain, membership distinction, intended member/non-member boundary, and continuity rule. A practice/source change is a comparison cue, not proof.
`CC-C3-4`	Candidate and slice applicability is checked before judgment; `not-applicable` is distinct from admissible `unknown`.
`CC-C3-5`	The governed condition named by the criterion decides membership. Evidentiary use alone does not constitute an independent condition, while directly criterion-bearing epistemes, statuses, and relations keep their own governors.
`CC-C3-6`	Subkind facts follow C.3.1’s criterion-entailment or exhaustive closed-domain branch and form a preorder; classification equivalence does not merge kind identities.
`CC-C3-7`	Kind scope is absent; declaration and assertion scopes remain on their epistemes, and the slice remains an evaluation input.
`CC-C3-8`	An extension is a representation of admissible true candidates, not `U.EntitySet`, a world-side collection-belonging claim, a collection holon, or a direct relation occurrence.
`CC-C3-9`	C.3.3 is used only after distinct kinds and a proposed correspondence are independently established; same-kind reuse still gets a fresh receiving judgment.
`CC-C3-10`	`U.Work`, exact `W : U.Work`, and any episteme about W remain distinct.