Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

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 06:15:20 UTC

A.6.RCD:4.8 - Stop and return deliberately

Stop at the first disposition that closes the named receiving use. Use this pattern when:

  • a relied-on base relation or predicate definition changes;
  • the selected substrate edition or constructor semantics changes;
  • applicability, polarity, participant meaning, scope, time, or hidden-intermediate policy changes;
  • the derivation becomes unreadable, computationally unsuitable, or unable to interoperate for the declared use;
  • repeated consumers begin to need one reusable definition or stable occurrence identity;
  • a purported primitive gains an accepted lossless derivation, or a derived kind loses a truthful identity rule.

G.11 supplies currentness, dependency closure, and scoped refresh when a relied-on base definition, substrate edition, or applicability settlement changes. Re-evaluate only affected claims and dependent kinds; do not rebuild a global relation registry.