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…T7as 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?orEpistemicDebtBudgetRef?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
PatternScopeIdfor nongraph scope orPathSliceId[]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.editionCharacteristicSpaceRef.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-idfor emitted telemetry triggers:PatternScopeIdfor nongraph scope;PathSliceIdwhen 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>andTransferRulesRefwiring 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:PatternScopeIdfor nongraph scope;PathSliceIdwhen 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:
RefreshPriorityPolicyIdRefnames the policy used to order or prioritize queue items.BudgetDeclRefnames the time, compute, cost, risk, or cadence boundary for the planned refresh.RSCRTriggerKindId[]still comes fromG.Core; scheduling policy does not mint trigger kinds.- planned refresh remains the exact
U.WorkPlanlocally calledRefreshPlan@Context; executed refresh is recorded inRefreshReport@Contextor 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.