E.24.UK:4.1 - Positive Test For A Durable U-kind

Test a proposed new durable U-kind against these eight conditions. It may receive root, same-individual-dependent, or identity-dependent only if all eight hold:

1. Governed individuals. The candidate classifies identifiable governed individuals, not source expressions, declaration fields, table columns, reference suffixes, publication forms, or mathematical representation elements.
2. Stable identity or membership. Cite an identity, grounding, recognition, or membership rule that reidentifies individuals and determines whether they enter the intended extent.
3. Reviewable witness. Cite the direct operational test. For a relation-kind candidate, cite the pattern passage that defines the relation; that passage must state participant meanings, obtaining, applicability, and occurrence identity. If no current direct relation closes the claim, an A.6.RCD application may record a derived or primitive candidate with a proposed direct subject settlement; its local-claim and predicate-definition exits are not kind witnesses. Every other candidate cites its direct constructive, classificatory, or membership test. A signature, row, declaration, or mathematical trace counts only when its declaration or defining rule states the correspondence to the governed individuals.
4. Action-facing need. FPF users need to state, compare, constrain, transform, or otherwise reason about those individuals under this kind; a wording preference alone does not qualify.
5. Non-duplication. Existing U-kinds, direct relations, declaration SlotKinds, local C.3 kinds, and selected structures cannot preserve the needed distinction without this durable kind.
6. Defining locus. One primary rule passage or accepted governed source set states the kind’s identity or membership, intended extent, admissible use, and non-use boundary.
7. Shared E.24-family settlement. Fill E.24:4.0a with the subject kind and identity rule, the smallest governed relation set needed by the named use, any identity-bearing relation selected by the current settlement decision, declarations actually reused, direct defining or testing rules, receiving use, and non-use and reopen boundaries. Also cite the durable-membership rule and scheme, the same-individual inclusion law or identity-dependence relation when applicable, and the exact result references. Record whether an additional durable ontic is actually needed. If direct rules suffice, return the direct-use or bounded-coordination disposition and no new ontic result. Only when both new outputs are independently needed does an atomic co-decision return separate provisional outputs without circular premises.
8. By-value dependence. Current or selected downstream uses cite the kind by value rather than only repeating its label.

If any positive-admission condition fails, do not force the candidate into a durable root or dependent form. Select reuse when an admitted durable kind already covers the distinction, local-kind when bounded C.3.2 classification is sufficient, or reject when no classificatory distinction remains. Recover the exact direct relation, declaration component, selected structure, episteme, publication form, representation element, or source wording that carries the current claim. Only after disposition is settled may an author apply F.8, F.5, and F.18 naming criteria and constitute any public F.17 row.