Jump to text
On this page
Copy and source
Published source confirmed at last check

Source changed 2026-10-07 22:29:00 UTC · snapshot created 2026-10-07 22:29:53 UTC · last check 2026-10-08 05:25:10 UTC

E.24.UK:1 - Problem Frame

FPF reserves U.* names for admitted durable U-kinds. Current source material and older corpus passages can still place that spelling on a declaration-local SlotKind, participant designation, selected structure, publication form, representation element, or unsettled candidate. The spelling is therefore evidence of admission pressure, not evidence of admission.

Section 4.2 separates exact accepted admission-result references from open prerequisites, blocked candidates, and non-admission exits. A public spelling, owner citation, or orientation row supplies no admission by itself. Existing root and same-individual-dependent kinds remain usable only through the exact accepted result reference recorded there; U.Capability is rejected for the recovered A.2.2 need because qualified holder-ability claims require no additional kind, and unresolved prerequisite kinds remain unsettled rather than being inherited by assertion.

E.24.UK governs this separation. A world-side relation participant keeps its independently governed kind; a RelationSignature SlotKind stays declaration-local; an assertion-side designation stays in its claim-bearing episteme; and a publication form or C.29 representation keeps its direct use. It is an E.24 subpattern because kind admission and ontology disposition share one decision basis. A justified kind admission does not require an additional durable ontic; E.24 separately tests whether such coordination is needed. E.24 remains the head pattern for U.Ontic and ontic introduction. E.24.UK governs the detailed U-kind admission rules.