CC-E24UK-1 | Before the shared E.24-family decision is filled, one exact local kind, proposal episteme, or source-construct entity is selected as its EntityOfConcern; if none is identifiable, the work remains inquiry and stops before an admission disposition. |
CC-E24UK-1a | The proposed criterion, governed individuals, intended extent and non-member boundary, public spelling, and dependent claims remain in the decision ClaimGraph. An extension, member list, rule bundle, title, or spelling never substitutes for the EntityOfConcern. |
CC-E24UK-2 | Durable membership follows the admitted kind’s direct predicate and reference scheme; its extent contains exactly the independently identified candidates for which that predicate holds. |
CC-E24UK-2a | A C.3 local projection cites the durable predicate in its own KindSignature criterion and creates neither durable admission nor an automatic U.SubkindOf edge. |
CC-E24UK-2b | E24UK-AR-UKIND-R5-01 retains U.Kind root admission through its C.3/C.3.1 candidate domain, operative membership condition, member/non-member boundary and continuity rule. E24-CO-UKIND-R19-01 independently returns direct subject-pattern use without an additional durable ontic; the original R5 decision remains provenance. Locality, spelling, scheme, declaration, extension, assertion and publication decide neither identity nor membership by themselves. |
CC-E24UK-2c | U.SubkindOf is admitted only through atomic decision E24-CO-USUBKINDOF-R5-01 and its separate outputs E24-OS-USUBKINDOF-R5-01 and E24UK-AR-USUBKINDOF-R5-01. It is a same-individual dependent kind under U.Relation; its occurrence has exact ordered kind participants and obtains only by exact criterion entailment or exhaustive evaluation over a deliberately closed finite domain. A hierarchy edge, sample, or assertion is not the occurrence. |
CC-E24UK-3 | Every positive result cites the kind’s direct membership, extent and branch-specific law and all eight admission conditions. Its shared decision either cites an accepted ontic actually needed, supplies a separately justified new ontic, or explicitly records direct use or bounded coordination with no additional durable ontic. A reconstructed RG result keeps its exact admission reference and by-value basis; test any newly needed coordination instead of inventing a sibling identifier. |
CC-E24UK-3a | Root U.Relation classifies only individuable obtaining relation occurrences. A.6.REL supplies the common discipline; each admitted direct or derived relation kind has a direct subject settlement for participant meanings, obtaining, applicability, and occurrence identity. An A.6.RCD local-claim or predicate-definition result does not count as kind admission; only a derived or primitive candidate that carries the proposed direct subject settlement can be tested by the E.24/E.24.UK admission rules. |
CC-E24UK-3b | The claim-bearing decision episteme records exactly one typed AdmissionDisposition value — root, same-individual-dependent, identity-dependent, reuse, local-kind, or reject — and only the detail fields conditional on that value; it creates no project-side relation occurrence, and naming begins only after disposition. |
CC-E24UK-3c | The practitioner-first admission tree tests exact existing-kind coverage and bounded C.3 classification before new admission; a resolved non-admission closes as reuse with its accepted result, local-kind with one exact C.3.2 declaration, or reject with the actual object and direct governor recovered under section 4.6. A missing required law or fact leaves admission unresolved rather than supplying one of those results. |
CC-E24UK-3d | Only when both a new ontic and a new public kind are independently needed does an atomic E24FamilySettlementDecision return separate results from common inputs, with neither used as prior evidence and both provisional while a required branch is unresolved. A justified no-additional-ontic conclusion uses U-kind-only and the existing direct-use or bounded-coordination disposition; it never admits an empty connected unit. |
CC-E24UK-4 | A same-individual dependent kind states its root kind, direct membership predicate, and the implication from dependent to root membership for the same individual. An identity-dependent kind states an already governed two-place dependence relation to one exact root-kind individual plus every additional discriminator; a root reference alone never closes either case. |
CC-E24UK-4a | U.MethodDescription preserves C.2.1 identity and uses the exact stable A.3.2 membership condition: one admitted U.Method is the exact EntityOfConcern and at least one substantive claim concerns that method as a way of doing; mention-only content, use adequacy, C.29 representation, publication occurrence, publication form, U.PresentationCarrier, approval, and work do not establish membership. U.Viewpoint and U.View likewise preserve C.2.1 identity and use the exact stable E.17.0 membership predicates; structure selection, bundle membership, a describing use or its selected viewpoint, direct authoring, A.6.3 construction, form, carrier, publication, query execution, evaluation, and work do not substitute for those predicates. |
CC-E24UK-4b | U.EpistemePublication is rejected; Plain published episteme is relation-defined wording in a claim that states obtaining participation and identifies or permits recovery of the exact EpistemePublicationRelation occurrence. The Plain wording is neither a reference nor a designator and does not resolve. |
CC-E24UK-4c | Every retained public example resolves through one exact E24UK-AR-* admission-result reference to its direct membership/identity basis and decision provenance. Follow an ontic output only when the receiving use actually consumes it. The U.Kind R5 root result is preserved while its additional-ontic disposition is stated separately; a reconstructed result retains its cited direct passage and by-value basis. Labels, row shape and unresolved decisions establish no admission. |
CC-E24UK-4d | Under the effective reference scheme, ViewpointId i designates exact viewpoint episteme P and resolving U.ViewpointRef r that uses i yields P; i, r, and P remain distinct, and neither designation nor resolution grants membership. Membership follows only from E.17.0’s predicate. A named describing use may select P, but the use and selection remain separate from designation, reference resolution, conformance, and membership. |
CC-E24UK-4e | Bootstrap co-decision E24-CO-UONTIC-BOOT-01 returns distinct outputs E24-OS-UONTIC-BOOT-01 and E24UK-AR-UONTIC-BOOT-01 without presupposing an admitted U.Ontic or making the schema, pattern, decision episteme, or kind an ontology-unit instance. Any prerequisite kind without a resolvable accepted result remains in the open table. |
CC-E24UK-4f | Base U.Structure identity is context-independent and comes only from the four A.22 discriminators. BoundedModelUseStructure and A.22’s conditional crossing-analysis specialization are same-individual dependent predicates over an already identified structure and add no second root identity. Only the bounded-model-use name currently has an F.17 public row. An A.2.6 scope or membership outcome affects identity only through an exact applied constraint that refers to it; the bare value or outcome is not a discriminator. A context, system, team, subsystem, label, scope, method, work, result, description, view, representation, publication, or use alone creates neither the base structure nor specialization membership. |
CC-E24UK-5 | Structural locations retain U.* only with settlement evidence or direct reference to an already admitted U-kind. |
CC-E24UK-6 | A world-side relation participant retains its independently governed kind. The cited direct relation pattern states what that participant means in the relation; a relation kind or occurrence does not own a ClaimGraph. |
CC-E24UK-6a | A reusable declaration component remains one A.6.5 SlotSpec; its SlotKind does not become a U-kind. |
CC-E24UK-6b | A participant designation or other assertion or description field remains inside the receiving U.Episteme. |
CC-E24UK-6c | A selected structure, reusable form, or representation element remains under A.22, E.24.PUB, or C.29 respectively. |
CC-E24UK-7 | F.8, F.5, F.18, and F.17 are used only after the governed object and admission decision are stable. |
CC-E24UK-8 | E.24 remains the head ontic pattern; use E.24.UK for detailed U-kind admission without duplicating that procedure back into E.24. |