G.10:4.6.2 - GPatternExtension — G.10:Ext.OEEShippingPins
PatternScopeId: G.10:Ext.OEEShippingPins
GPatternExtensionId: OEEShippingPins
GPatternExtensionKind: GeneratorSpecific
GoverningPatternId: G.5
Uses: {G.5, G.11}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
TransferRulesRef.editionEnvironmentValidityRegion?(id/ref; iff an explicit region is declared as part of generator-family support)PathSliceId[](scope key for refreshable generator telemetry when present)
RSCRTriggerSetIds: ∅ (covered by the core trigger set)
Notes (shipping-pin discipline):
- “Open‑endedness” semantics remain defined by the governing pattern; the pack only carries the pins required to make the shipped claim replayable/auditable.