FPF Reference

    C.3.A:B.3 Evidence matrix [I]

    Preface node heading:c-3-a-b-3-evidence-matrix-i:45713

    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

    RowsColumnsCell content
    exact kind/subkind signature editions or RoleMask declaration editionsexact context slices with versions and Gamma_timeexact candidate(s) when current, judgment values, evidence units and support relations, freshness, bridge/assertion references, and receiving use

    Rows plan declared distinctions; they do not classify every candidate. A proof-only row may remain declaration-level when it genuinely proves a universal claim. A test or monitoring row becomes candidate-bearing and records exact judgments for the exercised candidates.

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