fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 6708–6712

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 18:05:19 UTC

A.2.6:21.4 - With exact F.9 Bridge occurrences

  • Translation boundary. Use an exact F.9 Bridge only for exact local-sense translation. State the translation’s direction, rule, tolerated loss, and polarity in a separate C.2.1 claim. Before the receiving use proceeds, require A.10 pass for ordinary reliance or, when an actual named assurance claim is current, a B.3 AssuranceResult for the same use with disposition=supported-for-use.
  • Best practice. If the bounded-use claim’s rule and tolerance permit translation only for part of the source scope, identify that part and return its target image; do not turn observed mapping loss into a Bridge identity field or a generic R penalty.