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 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:30:20 UTC

C.2.3:18 - Glossary and Notation

  • U.Formality / F. The rigor-of-expression characteristic governed by this pattern.
  • Anchor. A named ordinal milestone on the F ladder.
  • Sub-anchor. A context-local refinement docked to one parent anchor.
  • Delta-F. A content change that alters expression rigor.
  • Essential support for composite F. Content or inference required by the assessed composite expression under its named compositional support relation; external evidential warrant is assessed separately.
  • Example notation. F = F4, F = F7[HOL], requires F >= F6.