FPF Reference

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

    Preface node heading:c-30-tfs-rel-4-3-claim-kind-applications-named-by-value:55636

    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 compatibilityA.6.M module-and-interface repair plus A.6.5 slot discipline, with A.6.0 only when a signature declaration 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 blocked local overreads that the transformation-flow relation itself makes tempting: structure-as-architecture, graph-description-as-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-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)