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

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 07:10:10 UTC

G.0:4.1 - G.Core linkage (normative)

Builds on: G.Core (Part-G core invariants; governing-pattern citation)

GCoreLinkageManifest (normative; size-controlled via profiles/sets).

Effective obligations/pins/triggers are computed by union expansion of the referenced ids (per G.Core:4.2). Profiles/sets + explicit deltas; Nil‑elision applies.

  • CoreConformanceProfileIds :=
    • GCoreConformanceProfileId.PartG.AuthoringBase
    • GCoreConformanceProfileId.PartG.TriStateGuard
    • GCoreConformanceProfileId.PartG.UTSWhenPublicIdsMinted
  • CorePinSetIds :=
    • GCorePinSetId.PartG.AuthoringMinimal
    • GCorePinSetId.PartG.CrossingVisibilityPins
  • CorePinsRequired := (delta over PinSets)
    • UTSRowId[]
    • ReferenceMap
    • ComparatorSetRef.edition
    • SCPRef.edition
    • ΓFoldRef.edition?
    • MinimalEvidenceRef.edition?
    • FailureBehaviorPolicyId?
  • DefaultsConsumed := {DefaultId.GammaFoldForR_eff} (governing definition: CC‑G5.4 per G.Core.DefaultGoverningDefinitionIndex)
  • RSCRTriggerSetIds := {GCoreTriggerSetId.CGSpecGate}
  • RSCRTriggerKindIds := (delta over TriggerSets)
    • RSCRTriggerKindId.EvidenceSurfaceEdit
    • RSCRTriggerKindId.TokenizationOrNameChange
    • RSCRTriggerKindId.DefaultGoverningDefinitionChange
  • TriggerAliasMapRef := ∅