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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:20:10 UTC

E.20:4.3 - Step 3: Resolve the designator before dependent use

When a change introduces MechanismDefinitionRef, create one resolvable target at the subject-pattern locus before another declaration cites it. Distinguish two target states:

  1. Reference-reservation stub. This is a draft authoring episteme, not U.Mechanism. It reserves the designator, names the intended operation-family EntityOfConcern, cites the subject pattern, and lists the missing A.6.1 identity or content needed for introduction. A publication may expose the stub as a candidate. A suite may cite it only in an explicitly candidate-valued position; the stub cannot satisfy admitted suite membership, closure, planned-baseline, wiring, gate, reuse, or import claims.
  2. Introduced mechanism episteme. MechanismDefinitionRef resolves to one A.6.1 U.Mechanism episteme with recoverable identity and sufficient content for the receiving use. Only this state can fill a position whose ValueKind is U.Mechanism.

A card, table row, file, or register entry may publish either state. Its layout and publication identity do not determine which state obtains.