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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 10:17:34 UTC · last check 2026-10-03 10:25:09 UTC

A.2.5:0.1 - Kind Settlement

SystemRoleAssignmentStateRelation is admitted as a direct relation kind under U.Relation.

SystemRoleAssignmentStatePredicate is a local ValueKind declared by this pattern, not another root U-kind. One predicate value is identified by:

  1. the exact local system-role kind for whose assignments it is defined;
  2. normalized truth-condition ClaimGraph clauses naming the governed qualities or relations tested;
  3. its temporal reading;
  4. its applicability conditions; and
  5. the exact semantic basis whose edition changes meaning, including a KindSignature, reference scheme, bridge, or model-use structure only when the clauses depend on it.

A displayed name such as InspectionReady can designate the predicate. The name alone does not identify it. Ready@InspectorSystemRole and Ready@ApproverSystemRole are different predicate values unless one separately declared predicate has one exact common domain and identical clauses, temporal reading, applicability, and semantic basis.

A compatible semantic-basis edition preserves the predicate only through an explicit predicate-continuity decision showing that those identity-bearing facts continue. A changed system-role kind, truth clause, temporal reading, applicability condition, or meaning-bearing semantic basis yields another predicate.

A SystemRoleAssignmentStateAssertion is a U.Episteme whose EntityOfConcern is the exact assignment or an explicitly individuated state-relation occurrence, according to the claim. Its ClaimGraph names the predicate, direct claim family, and assertionPolarity: affirmative | negative. An affirmative claim may state a known actual extent only after A.2.5 independently establishes obtaining. A receiving evaluation may separately state its target window. Supported, refuted, or unresolved reliance belongs to A.10 or a separately constituted evaluation result or reliance assertion. Assertion, reliance posture, evidence episteme, evidence-use relation, and world-side occurrence remain different objects.

A representation episteme may describe predicates, possible configurations, and possible changes. A statechart or state-machine display is a mathematical or representational lens.