FPF Reference

    A.6.B:5.4 — Quadrant E: Work‑Effects & Evidence

    Preface node heading:a-6-b-5-4-quadrant-e-work-effects-evidence:9949

    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

    Intent. State a truth-conditional result that can be settled only from actual work, evaluation, observation, or produced carriers.

    Adjudication. In-work or by an exact evaluation of work and its conditions. Reading an owner pattern or seeing a record is not enough.

    Canonical form. Write the ordinary result first, then make recoverable only what settles it:

    1. the exact predicate and object that the claim concerns;
    2. the participants, work or evaluation occurrence, scope/window, comparison frame, and other conditions required by that predicate; and
    3. the evidence or source-use relation and its carrier only when a gate, plan, audit, or assurance decision relies on that support. A carrier may support the claim but does not create the work, effect, or finding.

    When permission wording is current, use the branch in §8.4.1 for the exact occurrence or finding, its failure test, and its direct owner; do not repeat that owner catalogue here.

    Prohibitions.

    • E-* statements SHOULD NOT use RFC deontic keywords; they report adjudicable results rather than obligations.
    • An E-* statement MUST NOT hide a gate predicate; gate predicates are A-*.
    • An E-* statement MUST NOT assign agency to an interface, record, or publication. Name the admitted system that performed any cited Work and keep its covering assignment separate; if enforceability or commitment is intended, express a separate D-* claim.

    A.7 EntityOfConcern binding. An E-* claim episteme concerns the exact work effect, evaluated finding, evidence relation, or carrier condition named by its predicate. A record or carrier is a separate object and becomes the concern only when its existence or condition is itself the claim.

    Required references (explicit).

    • If the result is conditioned on a gate decision, the E-* statement SHOULD reference the relevant A-* ID(s).
    • If another object is needed to settle the predicate, reference that object's direct owner without importing its quadrant.
    • If evidence is used for reliance, cite the exact A.10 or G.6 evidence-use relation rather than treating carrier presence as truth.

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