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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:30:10 UTC

A.6.4:12 - Mini-checklist (for use)

When you think you need retargeting, ask:

  1. Does the EntityOfConcern change? If no, use A.6.3 or another preserving pattern.
  2. Which exact arrow, endpoint epistemes and EntitiesOfConcern are involved? Name them before naming a mapping technology.
  3. Which invariant does q state? Name its exact proposition and case assumptions.
  4. What is lost, and which receiving use tolerates that loss? A broad “same meaning” answer is insufficient.
  5. What witnesses the invariant and loss judgement? If the witness is missing or contradicted, stop or reopen.
  6. Is a relation between two local senses also claimed? Only then test F.9 separately; no Bridge follows merely from retargeting.
  7. Was computation or other Work performed? When an A.6.1 operation declaration is current, identify the exact application and its argument and result bindings. Identify any performed Work separately from r and q.