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 11:00:10 UTC

E.24.UK:10 - Rationale

FPF needs U-kind names to stay rare and load-bearing because they orient many patterns at once. Without a separate U-kind governance rule, ordinary type words, source-ontology classes, slot labels, filenames, and memorable headings create a second ontology beside E.24 ontic settlement and C.3 typed reasoning.

The admission rule keeps durable classification connected to direct ontology without making every local class public. E.24 and E.24.UK share one settlement; C.3 handles bounded classification. A same-individual dependent kind adds one membership predicate and root-inclusion law to an existing individual. An identity-dependent kind instead requires a governed relation to a distinct root-kind individual plus all discriminators. Missing branch evidence blocks admission, and no public name, reference field, or owner label substitutes for it.