fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 49733–49740

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 18:55:10 UTC

C.2.3:14.3 - Typical delta-F moves

  • F2 -> F3: replace loose prose with controlled phrasing and explicit acceptance statements.
  • F3 -> F4: recast acceptance into typed predicates or invariants.
  • F4 -> F5: give the expression declared executable semantics.
  • F5 -> F6: make multi-layer obligations explicit.
  • F6 -> F7/F8: move critical claims into machine-checked proof or dependent-type form.