FPF Reference

    C.30.TGA-FLOW-REL:4.3 - Claim-kind applications named by value

    Preface node heading:c-30-tga-flow-rel-4-3-claim-kind-applications-named-by-value:54483

    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

    Claim kind being madeGoverning pattern to apply
    Work occurrence or work resultA.15 and the governing work-result or P2W relation
    Gate decisionA.21
    Evidence claimA.10 or G.6
    Assurance claimB.3
    Causal flow or intervention claimC.28
    Mathematical-lens useC.29
    Architecture description or view adequacyC.30 or C.30.ASV
    Function-like wordingA.6.F
    Interface, signature, or module compatibilityInterfaceSignatureBoundaryNote or the module-and-interface repair pattern when the corresponding claim is being made
    Architecture decisionthe project-side architecture decision pattern when the corresponding claim is being made

    This table is the single boundary for generic non-flow claims. Elsewhere in this pattern, keep only local false positives that the TGA relation itself makes tempting: graph-as-architecture, graph-as-functional-architecture, flow-as-work-log, crossing-as-gate, valuation-as-score, generated relation-graph proof, and prompt-data-tool flow as authority proof.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)