A.6.P:4.7 — Two-view and polarity discipline (no silent role flips)
Preface node
heading:a-6-p-4-7-two-view-and-polarity-discipline-no-silent-role-flips:12589
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
A RPR‑pattern SHALL specify how the same relation is expressed from both “sides” without polarity flips:
- Either keep both endpoints visible with the same polarity-preserving token, or
- declare explicit inverse tokens and require them for inverse prose.
Implicit role flips (“B validates A” without explicit inverse) are prohibited in Tech/normative prose. This is already a core rule for basedness patterns and is generalised here.
Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)