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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:20:10 UTC

C.3.4:7 - Invariants and Non-goals

  • No Scope leakage. An adaptation declaration cannot widen or narrow Claim scope G; context conditions are enforced by A.2.6 guards.
  • Identity preservation. The base kind remains k; the declaration does not change its EntityOfConcern.
  • Aggregation unaffected. Adaptation and correspondence declarations do not change the applicable F rule under C.2.3 or the justified support-composition model or non-aggregate synthesis under C.2.2; guards route candidate-feature predicates to the exact judgment and context predicates to Scope.