FPF Reference

    C.30.TFS-REL:4.6 - Lowering and currentness conditions

    Preface node heading:c-30-tfs-rel-4-6-lowering-and-currentness-conditions:55724

    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

    Lower, narrow, or reopen the relation at the smallest changed locus when:

    • E.18 selected structure, path, crossing, or flow-valuation semantics change;
    • edition, plane, context pin, set-return, or no-hidden-scalarization discipline changes;
    • source graph edition, path slice, source observation class, source pin, unexplored region, or source-return condition changes;
    • the C.30 architecture locus, selected architecture-relevant structure, architecture structural view, conditional architecture description, or C.30.ASV relation changes;
    • functional-to-transformation-flow correspondence changes;
    • a non-flow claim is being made and is governed by C.30.TFS-REL:4.3 rather than by this relation;
    • C.29, C.16, C.28, A.10, G.6, B.3, A.20, A.21, A.15, C.30, C.30.ASV, A.6.F, C.30.STRAT, or E.18 changes the governing boundary used by the relation.

    Admissible repair results are: update the affected reference, add or change correspondence, add or change source-return condition, narrow admissible use, keep the selected-structure claim inside E.18, keep the mathematical-description claim inside E.18.2, keep the math-lens-use claim inside C.29, apply the governing pattern to a non-flow claim, lower to quote-only or reduced-use cue, or block the architecture-to-transformation-flow use.

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)