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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:35:10 UTC

A.20:11 - SoTA echo

Current practice lineAdopted moveLimit
Refinement-type, property-based, and proof-carrying validationName the property, case, outcome, and witness rather than publishing an unqualified validation label.A witness supports only the stated property and case.
Dimensional analysis and assumption-bound numerical validationKeep quantity, unit, domain, assumptions, and validity region with the result.The check does not define unit conversion or comparison policy.
Safety and assurance practiceKeep technical finding, evidence use, assurance, and decision consequence separate.A complete record does not make the tested constraint true.
Current FPF A.6.4 retargetingUse the exact proposition in q as A.20’s constrained subject only when it is a named internal constraint; keep r, q, any application, and the separate tri-state current-case judgement distinct.A semantic Bridge is a separate F.9 relation and use claim.