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

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 13:05:11 UTC

G.3:4.5 - Extensions (pattern‑scoped; non‑core)

All blocks below are GPatternExtension modules (PatternScopeId-scoped; not new PatternIds). They store wiring only and cite governing patterns.

GPatternExtension: SuiteBoundaryLinkage

  • PatternScopeId: G.3:Ext.SuiteBoundaryLinkage

  • GPatternExtensionId: SuiteBoundaryLinkage

  • GPatternExtensionKind: InteropSpecific

  • GoverningPatternId: A.19.CHR

  • Uses: {A.19.CHR, A.15.3}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • CHRMechanismSuiteDescriptionRef.edition? (when the suite description is cited as a reproducibility baseline)
    • CHRMechanismSuiteSlotFillingsPlanItem refs (when planned baseline binds CHR artefacts into WorkPlanning)

  • RSCRTriggerKindIds: {RSCRTriggerKindId.BaselineBindingEdit, RSCRTriggerKindId.EditionPinChange}

  • Notes (wiring‑only): This module binds CHR authoring outputs to the P2W seam (SlotFillingsPlanItem); suite semantics and membership are governed by A.19.CHR.

GPatternExtension: SoTAPackInputs

  • PatternScopeId: G.3:Ext.SoTAPackInputs

  • GPatternExtensionId: SoTAPackInputs

  • GPatternExtensionKind: DisciplineSpecific

  • GoverningPatternId: G.2

  • Uses: {G.2}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • ClaimSheetId[] / operator & object inventory refs (as cited inputs)
    • SoTAPaletteDescriptionId? (when palette/traces are cited; used to dock contested‑term inventory and (if present) lane tags/tolerances)
    • BridgeMatrixId? (when terms/constructs are imported across traditions)
    • UTSRowId[] drafts/aliases from synthesis

  • RSCRTriggerKindIds: {RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.TokenizationOrNameChange, RSCRTriggerKindId.CrossingBundleEdit}

  • Notes (wiring‑only): SoTA pluralism inputs are governed by G.2; this module only specifies which synthesis artefacts are cited while authoring CHR. When CHR authoring relies on pack coverage, cite the same CoverageJudgementRef and HarvestPolicy basis, retaining the counted population and receiving question. CHR terms or cards do not redefine the counted family unit; lineage plurality remains a separate result.

GPatternExtension: CGSpecPromotionWiring

  • PatternScopeId: G.3:Ext.CGSpecPromotionWiring

  • GPatternExtensionId: CGSpecPromotionWiring

  • GPatternExtensionKind: InteropSpecific

  • GoverningPatternId: G.0

  • Uses: {G.0}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • CGSpecRef.edition (when a characteristic is promoted/linked into CG‑Spec)
    • CHR.Characteristic.id pointers included in CG‑Spec.Characteristics := [...] (no shadow ids; CG‑Spec stores pointers, see G.0)

  • RSCRTriggerKindIds: {RSCRTriggerKindId.LegalitySurfaceEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange}

  • Notes (wiring‑only): G.0 governs promotion semantics and the legality gate; CHR only pins and cites.

GPatternExtension: MMCHRLegalityWiring

  • PatternScopeId: G.3:Ext.MMCHRLegalityWiring

  • GPatternExtensionId: MMCHRLegalityWiring

  • GPatternExtensionKind: DisciplineSpecific

  • GoverningPatternId: A.18

  • Uses: {A.17, A.18, C.16}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • CSLC legality proof anchors/carriers (ids/refs as defined by MM‑CHR governing definitions; cite A.18/C.16)
    • Unit coherence references (where units exist)

  • RSCRTriggerKindIds: {RSCRTriggerKindId.LegalitySurfaceEdit, RSCRTriggerKindId.ReferencePlaneEdit}

  • Notes (wiring‑only): This module wires CHR artefacts to MM‑CHR legality proof obligations; legality semantics are governed by the referenced patterns.

GPatternExtension: DecayWiring

  • PatternScopeId: G.3:Ext.DecayWiring

  • GPatternExtensionId: DecayWiring

  • GPatternExtensionKind: DisciplineSpecific

  • GoverningPatternId: B.3.4 (freshness/decay semantics)

  • Uses: {B.3.4, G.6}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • FreshnessWindowDeclRef (or equivalent window pin, as defined by the governing definition)
    • DecayPolicyIdRef? (policy-bound; if decay model is referenced by id)
    • PathSliceId[] (affected evidence carriers / examples that witness drift)

  • RSCRTriggerKindIds: {RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.BaselineBindingEdit}

  • Notes (wiring‑only): CHR does not define decay semantics; it only pins the window/policy defined by the governing pattern and ensures refresh can be triggered on decay events.

GPatternExtension: QD_OEE_Wiring

  • PatternScopeId: G.3:Ext.QD_OEE_Wiring

  • GPatternExtensionId: QD_OEE_Wiring

  • GPatternExtensionKind: MethodSpecific

  • GoverningPatternId: C.18

  • Uses: {C.18, C.19}

  • ⊑/⊑⁺: ∅

  • RequiredPins/EditionPins/PolicyPins (minimum):

    • DescriptorMapRef.edition (if any Characteristic declares descriptor roles)
    • DistanceDefRef.edition (if any Characteristic declares distance roles)
    • DHCMethodRef.edition? (when a C.21 discipline-health measurement definition is actually used; a Q / QD-score role alone does not select it)
    • InsertionPolicyRef? (when archive insertion semantics are declared for reproducibility)

  • RSCRTriggerKindIds: {RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent}

  • Notes (wiring‑only): QD/OEE semantics are governed by C.18 and C.19. CHR only surfaces method‑role declarations (via RoleDecls or the interop alias QD.Role) and the edition/policy pins required for reproducible archive/front interpretation.