FPF Reference

    A.19.SOURCE-SET-SPACE-SUBSTRATE:0.a - TERM/LEX token-status guard (local-first)

    Preface node heading:a-19-source-set-space-substrate-0-a-term-lex-token-status-guard-local-first:24335

    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

    Keep this token-status split explicit:

    • CharacteristicSpace is the reused A.19 kind. This pattern does not mint a second space kind.
    • SearchSpaceRef and OutcomeSpaceRef are role-named local fields whose slot content is typed by the existing CharacteristicSpaceRef / SpaceRef idiom. They are not new heads, not slot aliases inside the space, and not U.Role claims. In source-set/space-substrate or typed-set-view passages, read them as role-specific refinements of that older SpaceRef idiom rather than collapsing the roles back into one umbrella SpaceRef.
    • SpaceRefRelationKind is a local relation-kind field over those two refs. In this slice, sameDeclaredSpaceAs and distinctDeclaredSpaceFrom are controlled token values for that field, not free prose.
    • SourceToOutcomeRelation and DistortionPosture are local declaration fields. Their field names do not by themselves create one new generic ontology; the declaration requirement is satisfied only when their payload is explicit enough to audit.
    • SourceSetFamily, SourceSetComposition, and DerivedViewKind are local fields in this SourceSetSpaceSubstrate declaration. Whether any value later becomes a broader stable head is outside this pattern.
    • BasePaletteRef, OutcomeMapRef, SpaceMetricRef, TransitionRelationRef, BridgeDistortionNote, DescriptorMapRef, and DistanceDefRef are guarded neighboring refs or interpretive qualifiers reused here. This pattern may cite them, but it does not redefine them.
    • carrier inside SourceToOutcomeRelation names the declared line, declared object, or neighboring declared map ref / qualifier ref through which the relation is being realized in this local record. It is not a claim that the thing is U.Carrier.

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