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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 14:35:13 UTC

A.6.2:5.3 - Retargeting sketch (entityOfConcernChangeMode = retarget)

Context. E.18 structural reinterpretation relates a physical-layout episteme to a functional-behaviour episteme. The EntityOfConcern changes from the physical assembly to the functional network.

Inside EFEM, this becomes a species with entityOfConcernChangeMode = retarget:

  • input episteme describes S₁ (e.g. a component hierarchy holon);
  • output episteme describes S₂ (e.g. a functional network holon);
  • one exact arrow r relates the two endpoint epistemes under its declared formal rule; a separate A.6.4 assertion q states the invariant, visible loss, bounded receiving use, conditions, and polarity; and a current-case judgement separately tests the exact facts;
  • P2 checks only the formal consequence relation declared for r; the ordinary current-case judgement tests the exact facts against q, and A.20 enters only when that proposition is an internal constraint.

The details belong to A.6.4 and E.18; EFEM provides the generic discipline.