E.24.UK:4.3 - Practitioner-first Admission Tree
- Recover the candidates and criterion. Identify the decision subject, candidate individuals, stable membership or identity rule, intended extent, nearest non-member, and named action-facing use. For a relation kind, use the rule that defines its participant meanings, obtaining, applicability, and occurrence identity, and cite the PatternID that locates that rule; an
A.6.RCDapplication may record a derived or primitive candidate only with a proposed direct subject settlement. If no subject or criterion is recoverable, keep the inquiry open. - Try an admitted durable kind. If one accepted result already preserves those individuals, the criterion, extent, boundary, and use, record
reusethrough that exact result and stop. - Try bounded classification. If one project or context needs only typed membership or quantification, record
local-kindthrough one exact C.3.2 declaration and stop. - Test the need for a new durable kind. Continue only when repeated cross-pattern use needs one stable membership law that existing durable kinds and direct relations cannot preserve. Run the eight tests and name each downstream question, its defining or testing rule, and the PatternID that locates that rule.
- Choose the positive form. Use
rootfor independently identified individuals,same-individual-dependentwhen one root individual gains an additional stable membership predicate and inclusion law, oridentity-dependentwhen a distinct individual has an already governed dependence relation to one root individual plus all discriminators. Fill the shared E.24-family decision and separately test the need for additional durable coordination. Direct-rule sufficiency permits positive kind admission with an explicit no-additional-ontic conclusion; use atomic co-decision only when both new outputs are needed. Apply A.11 and A.8 when kernel status is claimed. - Close or leave unresolved, then name. Record the positive admission when the selected form passes every condition. A missing branch law or fact leaves admission unresolved. Use
rejectonly when no classificatory distinction survives, and recover the non-kind object under the rule that defines or tests it. Only after one disposition and governed object are stable may F.8, F.5, F.18, or F.17 expose a public name.
The subject pattern remains a locator, not an authority: C.3 states the membership and continuity rules for kinds; A.6.REL states the common relation-occurrence discipline; each direct relation pattern states participant meanings, obtaining, applicability, and occurrence identity; A.6.0/A.6.5 define reusable declarations; E.24 defines ontic-settlement predicates; and F.8/F.5/F.18/F.17 constrain names after ontology is settled.