fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 104856–104859

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 18:05:19 UTC

E.24.UK:5.5 - Lower-level Heading

A lower-level heading containing U.* does not admit kindhood by heading shape. Recover whether the heading names an already admitted root or dependent U-kind, a declaration-local SlotKind, a claim-bearing U.Episteme, a relation-defined participant meaning, or a publication object. Keep the recovered object and the rule that defines or tests it; rename the heading when it advertises a different kind.