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.