FPF Reference

    C.3.A:C.1 ESG obligations (normative)

    Preface node heading:c-3-a-c-1-esg-obligations-normative:45768

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    When a state transition publishes or relies on a claim quantified over kinds, the ESG guard SHALL:

    1. pin the claim, exact quantified claim kind, receiving kind, and both needed KindSignature editions;
    2. establish the correct same-context restriction direction or the exact source-claim to target-receiving KindBridge relation and separate assertion;
    3. check Claim scope and explicit Gamma_time;
    4. when one or more actual candidates are part of the transition, evaluate each exact four-input target receiving-kind judgment and preserve all three values;
    5. when a RoleMask is used, recover its declaration edition and evaluate the exact masked judgment;
    6. apply justified bridge consequences to R only;
    7. check formality and freshness on their actual owners; and
    8. return a separate state-transition disposition.

    ESG MUST NOT widen G to hide incompatibility, treat a label as a candidate judgment, or convert unknown to false.

    Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)