FPF Reference

    A.6.3.RT:4.5.a.1. Local conservativity witness

    Preface node heading:a-6-3-rt-4-5-a-1-local-conservativity-witness:12224

    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

    For this pattern, a new EntityOfConcern-side claim is introduced when the receiving rendering:

    • upgrades a source-visible relation into relation theory or dependency semantics not present in the source;
    • turns geometry, notation, embedding proximity, or decoder output into ontology-by-default;
    • adds bridge, substitution, comparative-review, or mechanism claims not already licensed by the source line or declared correspondence;
    • collapses source alternatives, uncertainty, or bounded scope into one wider commitment;
    • or treats decode-mediated recoverability as if it were direct givenness.

    Conservativity is approximated here by checking, together, entityOfConcernPolicy = preserve, source-relation class, factor delta, reasoning-medium delta, loss profile, ontic scaffold preservation, and whether each receiving-side connective can be pointed back to pinned source U.Episteme claim graph or declared same-EntityOfConcern correspondence witness.

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