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

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 11:20:03 UTC

A.2.5:4.1 - Direct Relation Declaration

This pattern defines the RelationSignature for SystemRoleAssignmentStateRelation:

SlotKindValueKindrefModeMeaning
SystemRoleAssignmentSlotU.SystemRoleAssignmentU.RelationRef constrained to U.SystemRoleAssignmentThe exact assignment occurrence being evaluated; its declared species remains recoverable.
StatePredicateSlotSystemRoleAssignmentStatePredicateByValueThe exact predicate value identified under section 0.1.

These are the only two generic participants. SystemRoleAssignmentStateRelation obtains exactly while the assignment obtains and the fixed by-value predicate is true under its temporal reading. Its actual extent is the maximal continuous interval of that obtaining. An affirmative assertion or occurrence description may state the known extent as systemRoleAssignmentStateExtent only for an independently established occurrence; a receiving evaluation may state a separate declaredSystemRoleAssignmentStateEvaluationWindow. Neither temporal value, assertion polarity, reliance posture, taxonomy episteme, reference scheme, bridge, nor model-use structure is another relation participant.

A relied-on assertion uses a direct evidence-use relation. Another world-side occurrence affects predicate truth only when an exact truth-condition clause cites that occurrence through its subject pattern.