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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:05:06 UTC

C.3.A:1 - Purpose and audience

Use this Annex when a receiving action must check one or more of these without blending them:

  1. the declaration-level compatibility of a claim’s quantified kind with a consumer’s expected kind;
  2. the classification of one exact candidate under one exact signature edition and slice;
  3. Claim or Work scope coverage;
  4. cross-context kind and scope bridges and their R consequences;
  5. a RoleMask declaration and exact masked judgment; or
  6. an actual capability use or Work occurrence whose input/output candidates are typed.

The practical gain is a readable refusal reason. “The kinds are incompatible”, “the candidate is known not to satisfy the criterion”, “classification is unknown”, “scope does not cover”, “a bridge is unavailable”, and “the guard refuses use” remain different outcomes.