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

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:05:10 UTC

A.6.B:8.4.5.3 - Readable recomposition

Tech bundle:

  • “Approved” is not one relation: L-PRJ-01 defines approval kinds.
  • “May start execution” is a gate predicate: A-PRJ-01.
  • ProjectCoordinator-A’s project-entry duty: D-PRJ-01.
  • The actual A.21 gate result is E-PRJ-01; its bounded A.10 evidence support is E-PRJ-02.

Plain paragraph: “Instead of a generic ‘approved’, we select an explicit approval kind as defined in L-PRJ-01 and treat ‘may start execution’ as an admissibility predicate (A-PRJ-01). ProjectCoordinator-A has the project-entry and registry-maintenance duties stated in D-PRJ-01. At snapshot t, the current A.21 profile application maps every required check-application result to pass; E-PRJ-01 records decisionValue=pass with the action consequence ‘start StartExecution-P within the stated window’, and E-PRJ-02 supplies the exact evidence path for reliance on that result.”