FPF Reference

    A.6.3.CR:4.5.f. Local conservativity witness for borderline textual cases

    Preface node heading:a-6-3-cr-4-5-f-local-conservativity-witness-for-borderline-textual-cases:10988

    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 borderline textual rewrites, a reviewer treats the case as no longer conservative under this pattern unless each point below remains visibly preserved or is explicitly loss-declared with the handoff destination stated.

    • Modality and force. A rewrite may not silently turn possibility, uncertainty, permission, obligation, recommendation, decision status, bounded scope, temporal window, or hypothesis language into a wider commitment.
    • Caveats and qualifications. A rewrite may not quietly remove conditions, exception notes, uncertainty markers, or temporal qualifiers that still matter for interpreting the same source.
    • Reliability assessment. Cleaner prose, better ordering, or manager-facing polish may not silently raise confidence, warrant claim, or readiness for action.
    • Bridge and substitution admissibility record. Same-entity textual fluency may not import cross-context equivalence, substitution, or comparative-review licence unless that admissibility record is declared elsewhere.
    • Alternative preservation. A rewrite may not collapse open alternatives, rival hypotheses, or declared plurality into one apparently settled interpretation unless the loss is stated and still admissible under this pattern.

    This witness is local to ConservativeRetextualization. It does not replace the broader conservativity invariants of A.6.3; it makes them inspectable for textual rewrites where fluent prose can otherwise hide strengthening.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)