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)