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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:50:05 UTC

A.6.1:12.2 - Claim dispositions and return conditions

For a U.Mechanism identification, state that its defining predicate is not satisfied when a required condition is known false; leave the identification unresolved when the text cannot recover an exact declared operation family, typed argument and result meanings, application rules, laws, admission conditions, and Applicability. For an actual application or binding, retain the §4.5 missing-governor blocker when a required declaration-local predicate, extent rule, or identity rule is absent. When those rules are present, state any known predicate failure or the missing participants and case facts that leave the claim unresolved. A realization does not obtain when the entity fails to preserve a declared law for admitted use; leave the realization claim unresolved when its required scope, interval, or case facts cannot be recovered.

Return to the smallest changed object:

  • changed declaration content, EntityOfConcern, or effective reference scheme requires A.6.1 and identifies another mechanism episteme; call it a continuing edition only when the separate C.2.1 EpistemeEditionRelation obtains, otherwise treat it as a non-continuing replacement;
  • exact cross-context SchemeSenseCell correspondence requires F.9; a selected CHR:ReferencePlane change requires CHR, and a model-use-structure change requires A.1.1/A.22. An asserted transition or use relation must name its predicate and participants or stop; none becomes a generic mechanism-transport claim;
  • a particular application or binding returns to its exact declaration-local predicate, extent, and identity rules; if a required rule is absent for the claimed actual use at its required granularity, retain the exact missing-governor blocker rather than widen A.6.1 into a universal work-participant relation;
  • realizer capability or realization scope returns to the direct realization relation;
  • evaluation and evidence currentness require their exact predicates and G.11 when currentness is the claim;
  • method and work changes require A.3.1, A.15.2, or A.15.1;
  • representation and publication changes require A.6.3, A.6.3.RT, or E.24.PUB;
  • a changed governing-definition assignment requires E.20.