FPF Reference

    A.19.SOURCE-SET-SPACE-SUBSTRATE:4.2 - Minimal declaration stack

    Preface node heading:a-19-source-set-space-substrate-4-2-minimal-declaration-stack:24430

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    Use the following notation-independent stack:

    SourceSetSpaceSubstrate := <
  SourceSetFamily,
  SourceSetRef?,
  SearchSpaceRef,
  OutcomeSpaceRef,
  SpaceRefRelationKind,
  SourceToOutcomeRelation,
  DistortionPosture,
  SourceSetComposition?,
  DerivedViewKind?,
  BasePaletteRef?,
  OutcomeMapRef?,
  SpaceMetricRef?,
  TransitionRelationRef?,
  BridgeDistortionNote?
>

    Interpret the fields as follows:

    • SourceSetFamily names the primary declared source-set family that the line is anchored on.
    • SourceSetRef? names the concrete declared source set or declared set result when several same-family source sets or set results are live or when one neighboring governing pattern must be cited to keep that identity unique. It may be omitted only when the concrete source set is unambiguous from the declared line.
    • SearchSpaceRef points to one declared [A.19](/generated/patterns/A.19) CharacteristicSpace in the search-side position.
    • OutcomeSpaceRef points to one declared [A.19](/generated/patterns/A.19) CharacteristicSpace in the outcome-side position.
    • SpaceRefRelationKind states how those two refs relate. In ordinary use, the token is either sameDeclaredSpaceAs or distinctDeclaredSpaceFrom.
    • SourceToOutcomeRelation is one controlled declaration slot. State at least direction, mode, and carrier.
    • DistortionPosture is one controlled declaration slot with one primary posture token plus optional clarifying note. In this slice, lawful posture tokens include transparent-for-current-use, lossy-bridge, metric/model-dependent, transition-dependent, uncertainty-bearing, learned/adaptive, and unstable-under-refresh.
    • SourceSetComposition, DerivedViewKind, and related ...Kind values remain declaration fields or controlled field values unless some governing pattern explicitly promotes them; they are not automatically independent heads merely because their names end with Kind.

    This is an [A.6.5](/generated/patterns/A.6.5) / [A.6.P](/generated/patterns/A.6.P) move: SearchSpaceRef and OutcomeSpaceRef are ref-typed slot contents, while SpaceRefRelationKind is the explicit RelationKind token that governs how those two ref positions are read together.

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)