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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:15:10 UTC

A.15.3:4.3 - Plan a future relation participant

For a RelationSignature row:

  1. open the relation pattern and its obtaining predicate;
  2. choose the RelationSignature edition the plan will use;
  3. choose its declaration-local SlotSpec and SlotKind;
  4. check the planned designation against the SlotSpec’s ValueKind and refMode;
  5. apply the declaration’s semantic cardinality and participant constraints; and
  6. record the row as a positive intended designation.

The row does not fill the SlotSpec. The SlotSpec remains reusable declaration content. The planned designation does not become the actual participant, and the direct relation does not obtain until its direct predicate is satisfied for independently identified participants.