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

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:15:14 UTC

A.6.1:4.10 - Use progressive explicitness

Choose the explicitness needed by the current question:

  • A direct sentence names one operation and its condition clearly enough for present work.
  • A U.Signature is identified when reusable vocabulary, laws, or applicability matter.
  • A U.Mechanism is identified when reusable operation and admission semantics matter.
  • One particular application and its exact argument or result bindings are identified only when a downstream claim asserts that the application occurred or that one exact value participated or was returned.
  • A mechanism-realization relation occurrence is explicitly individuated only when another claim relies on that occurrence identity.

These conditions govern different objects. If entries, branches, returns, or stops form one reusable structure, apply A.22.CGUS only after its A.22 identity, local loci, selected relations and constraints, and potential continuations are recoverable.