Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:40:18 UTC

F.4:8 - Anti-Patterns and Repairs

Anti-patternSymptomRepair
Description as kind admissionA card is treated as if it constituted the local kind.Establish the kind under A.2 with C.3; keep F.4 for its description.
Description as classification“The card lists Alice, so Alice is a reviewer.”Evaluate the exact candidate under the current KindSignature.
Description as assignment“The inspector is assigned” appears without an exact holder, kind, direct species, and assignment occurrence.Use A.2.1; keep F.4 for description of the kind.
Description as capability proof“ReviewerSystemRole can verify formal models.”Put capability under A.2.2; F.4 may cite the requirement.
Description as MethodThe description contains a procedure.Move the procedure to Method or MethodDescription patterns.
Description as Work evidenceA card is cited as proof that review occurred.Recover the exact U.Work occurrence and evidence relation.
Episteme as system-role holderA report, standard, dataset, theorem, dashboard, or publication is said to hold a role.Recover the exact evidence, source, standard, requirement, publication, status, or assurance relation.
Status-template fusionA status, permission, or evidence standing becomes another kind-description branch.Use the direct status, policy, permission, or evidence relation.
Relation position as system role“The subject role in this relation …”Recover participant meaning, SlotKind, ValueKind, and RefKind under A.6.RSIR and A.6.5.
Bridge by labelShared spelling, or a changed practice or source, is treated as proof of kind sameness or difference.Compare the exact C.3 definitions first. Reuse one kind when its candidate domain and operative distinction continue; identify two only when those distinctions differ. Use C.3.3 only when an actual relation between two exact kinds obtains. Use F.9 only for an actual relation between distinct F.17 local-sense cells.