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:3 - Forces

ForceTension
Public mnemonic usefulness vs ontology truthA U.* name can improve discovery; it can also advertise a false governed object.
Root stability vs dependent reuseSome dependent distinctions deserve durable names but retain identity through one root settlement.
C.3 typed reasoning vs U-kind governanceU.Kind is an admitted meta-kind and C.3 kinds are its individuals; this does not give each such individual its own public U.* subject-kind name. U.SubkindOf is separately admitted as a same-individual dependent relation kind under U.Relation. Every other durable subject-kind proposal still needs its own E.24.UK result.
Kernel parsimony vs expressive pattern languageFPF needs useful names, but new U-kinds are expensive and must not replace slots and relations.
Host and ToC structure vs prose nuanceA false U.* in a title, filename, heading, or ToC row is stronger than a false prose occurrence.