C.3:3 - Forces · fpf.tools

Force	Tension
Bounded typed use vs public ontology growth	A project needs typed claims now, but not every useful kind needs its own durable public `U.*` name.
Kind vs declaration	A kind can continue across compatible declaration editions without becoming identical to the episteme that declares its criterion.
Identity vs locality	A changed practice or source warns that the membership distinction may differ, but cannot prove sameness or difference.
Admissibility vs uncertainty	An ill-typed or out-of-applicability request must not look like an admissible candidate whose relevant facts are unsettled.
Condition vs evidentiary use	The governed condition named by the criterion makes membership hold; an item’s use as evidence alone does not. The criterion may itself concern an episteme, status, or relation.
Extent vs ontology	A set of true members can serve a query without becoming a collection holon, entity-set kind, or direct classification relation.
Scope vs kind	A claim can have narrow scope without creating a narrower kind or storing scope on the kind.
Formal discipline vs ordinary use	Repeated typed use may need a declaration; one readable case should not require a card or extension table.