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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:20:03 UTC

A.2.5:6.4 - Two Approval Predicates

ApprovalService-2 holds an exact assignment to ApproverSystemRole. FulfilmentApprovalReady concerns fulfilment-state change; PaymentApprovalReady concerns payment authorization. Their truth clauses and applicability differ, so they are different SystemRoleAssignmentStatePredicate values even if one interface displays both as Ready.

If an independently selected model-use structure changes the meaning of one predicate’s clauses, its exact edition belongs in that predicate’s semantic basis. If it only selects which already identified predicate a view presents, it remains a receiving-use qualification.