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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:20:20 UTC

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

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.PresentationCarrier or another carrier relation.