Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

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 12:20:10 UTC

G.11:4.4 - Extensions (pattern-scoped; non-core)

Discipline-specific refresh strategies and generator-specific wiring live as GPatternExtension blocks. Scheduling, ordering, priority, and budget policy for the refresh queue are not separate extension semantics: G.11 defines the required policy pins on RefreshQueue and RefreshPlan@Context, while A.15.2 and A.15.3 keep the WorkPlan and its local content separate from dated Work.

G.11:4.4.1 - GPatternExtension — G.11:Ext.TriggerAliases

PatternScopeId: G.11:Ext.TriggerAliases GPatternExtensionId: TriggerAliases GPatternExtensionKind: InteropSpecific (alias docking) GoverningPatternId: G.Core Uses: {G.Core} (cites G.Core.TriggerAliasMap.G11) ⊑ and ⊑⁺: ∅ Required pins, edition pins, and policy pins (minimum):

  • RSCRTriggerKindId[] (canonical ids recorded on triggers)
  • RSCRTriggerAliasId? (e.g., G.11:T0…T7 as labels only)
  • scope: PathSliceId[] | PatternScopeId

RSCRTriggerKindIds: {RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.MaturityRungChange, RSCRTriggerKindId.EvidenceSurfaceEdit} Notes (wiring-only): This block does not define what T0…T7 mean; it only preserves the labels and requires docking via G.Core.TriggerAliasMap.G11.

G.11:4.4.2 - GPatternExtension — G.11:Ext.DecayAndDebt

PatternScopeId: G.11:Ext.DecayAndDebt GPatternExtensionId: DecayAndDebt GPatternExtensionKind: DisciplineSpecific GoverningPatternId: B.3.4 (use-qualified currentness and interpreted planning debt) Uses: {B.3.4, G.6} ⊑ and ⊑⁺: ∅ Required pins, edition pins, and policy pins (minimum):

  • The receiving claim/use and the changed premise or applicable review condition, with source references where published.
  • FreshnessWindowDeclRef?, DecayPolicyIdRef? or EpistemicDebtBudgetRef? only when the adopted window, deterioration model or planning measure is used. Their source supplies the meaning; no default expiry or debt budget is required.
  • Exact dependent claims and uses actually affected, expressed as PatternScopeId for nongraph scope or PathSliceId[] for graph scope. Retain graph pins when an independently applicable profile requires them; carrier age alone does not select every use of that carrier.

RSCRTriggerKindIds: {RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.BaselineBindingEdit} Notes (wiring-only): B.3.4 determines what the trigger means for the use. Continue, narrow, refresh, suspend or an authorized exception remain available where warranted; no Refresh/Deprecate/Waive triad or automatic downgrade is introduced here. Currentness is not assurance of the underlying claim. Budget and priority logic apply only when their interpreted policies are used.

G.11:4.4.3 - GPatternExtension — G.11:Ext.QDRefreshWiring

PatternScopeId: G.11:Ext.QDRefreshWiring GPatternExtensionId: QDRefreshWiring GPatternExtensionKind: MethodSpecific GoverningPatternId: C.18 (QD semantics; descriptor, distance, and insertion) Uses: {C.18, C.19, G.5, G.8} ⊑ and ⊑⁺: ∅ Required pins, edition pins, and policy pins (minimum):

  • DescriptorMapRef.edition, DistanceDefRef.edition
  • CharacteristicSpaceRef.edition? (required when a domain-family coordinate is declared by the QD governing definition)
  • InsertionPolicyRef, EmitterPolicyRef (policy-bound)
  • Exact archive or illumination scope and policy-id for emitted telemetry triggers: PatternScopeId for nongraph scope; PathSliceId when graph-expressed or required by an independently applicable parity, evidence or shipping contract.

RSCRTriggerKindIds: {RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange} Notes (wiring-only): G.11 does not restate QD semantics; it ensures pins are present so reruns are comparable.

G.11:4.4.4 - GPatternExtension — G.11:Ext.OEERefreshWiring

PatternScopeId: G.11:Ext.OEERefreshWiring GPatternExtensionId: OEERefreshWiring GPatternExtensionKind: MethodSpecific GoverningPatternId: C.19 (open-ended exploration and exploration-exploitation logistics) Uses: {C.19, G.5, G.8, G.9} ⊑ and ⊑⁺: ∅ Required pins, edition pins, and policy pins (minimum):

  • TransferRulesRef.edition, EnvironmentValidityRegion (when OEE is declared by the subject patterns)
  • GeneratorFamilyRowRef = <GeneratorFamilyId, rowEdition> and TransferRulesRef wiring pins (as published by G.5 and the governing definitions); resolve the exact row edition used by the affected result
  • exact telemetry scope and policy-id: PatternScopeId for nongraph scope; PathSliceId when graph-expressed or required by an independently applicable parity, evidence or shipping contract.

RSCRTriggerKindIds: {RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.PolicyPinChange} Notes (wiring-only): Any OEE method semantics live with the governing definition; this module only wires refresh triggers to comparable reruns.

G.11:4.4a - Scheduling and priority policy pins

Scheduling strategies (bandit-style allocation, queueing, cadence policies, early stopping, or manual priority rules) may influence the order and budget of refresh work, but they do not define trigger meaning, action semantics, parity semantics, shipping semantics, or Part-G-wide defaults.

G.11 therefore treats scheduling as policy-bound refresh planning:

  • RefreshPriorityPolicyIdRef names the policy used to order or prioritize queue items.
  • BudgetDeclRef names the time, compute, cost, risk, or cadence boundary for the planned refresh.
  • RSCRTriggerKindId[] still comes from G.Core; scheduling policy does not mint trigger kinds.
  • planned refresh remains the exact U.WorkPlan locally called RefreshPlan@Context; executed refresh is recorded in RefreshReport@Context or Work-bound audit.

If no priority or budget policy is declared, no scheduling heuristic is admissible by appearance; the plan must either use the ordinary queue order or state the missing policy pin as a blocker.