G.4:4.5 - Extensions (pattern‑scoped; non‑core)
G.4 supports method‑family and discipline‑specific calculus variations exclusively via pattern‑scoped extensions.
GPatternExtension block: G.4:Ext.EvidenceGraphWiring
- PatternScopeId:
G.4:Ext.EvidenceGraphWiring - GPatternExtensionId:
EvidenceGraphWiring - GPatternExtensionKind:
InteropSpecific - GoverningPatternId:
G.6 - Entry: use only when this CAL pack must cite a shared, addressable G.6 path or slice across more than one downstream consumer.
- Stop: omit the block when a local A.10 source-to-use account is sufficient; remove it when no current clause, proof, or example cites the path.
- Uses:
{G.6} - ⊑/⊑⁺:
∅ - RequiredPins/EditionPins/PolicyPins (minimum):
EvidenceGraphId?PathId[]/PathSliceId[]UTSRowId[](for cited artifacts)
- RSCRTriggerSetIds:
∅ - RSCRTriggerKindIds:
{RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange} - Notes (wiring‑only): This block does not define EvidenceGraph semantics; it only fixes that CAL proofs/examples may cite evidence by Path ids.
GPatternExtension block: G.4:Ext.NQD
- PatternScopeId:
G.4:Ext.NQD - GPatternExtensionId:
NQD - GPatternExtensionKind:
MethodSpecific - GoverningPatternId:
C.18 - Entry: use only when the current task applies a C.18 quality-diversity/archive method and its descriptor, distance, insertion, or archive policy must be pinned for CAL use.
- Stop: omit or retire the block when the task has no current archive/QD clause or when those refs no longer change a CAL action.
- Uses:
{C.18} - ⊑/⊑⁺:
∅ - RequiredPins/EditionPins/PolicyPins (minimum):
DescriptorMapRef.editionDistanceDefRef.editionInsertionPolicyRefArchiveRef?TaskSignatureRef?(if activation is TaskSignature‑bound)
- RSCRTriggerSetIds:
∅ - RSCRTriggerKindIds:
{RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent} - Notes (wiring‑only): CAL does not redefine QD semantics; it only pins the descriptor, distance, and insertion records needed for reproducible archive behavior. Any archive/illumination summaries (e.g., coverage / QD‑score / occupancyEntropy / filledCells) are published as report‑only outputs unless an explicit CAL acceptance clause/policy authorizes promotion.
GPatternExtension block: G.4:Ext.EELog
- PatternScopeId:
G.4:Ext.EELog - GPatternExtensionId:
EELog - GPatternExtensionKind:
MethodSpecific - GoverningPatternId:
C.19 - Entry: use only when the current task has a C.19-governed exploration/exploitation budget or probe-accounting rule that changes a CAL clause or failure branch.
- Stop: omit or retire the block when no current CAL action consumes those C.19 refs.
- Uses:
{C.19} - ⊑/⊑⁺:
∅ - RequiredPins/EditionPins/PolicyPins (minimum):
ExploreExploitBudgetPolicyRefProbeAccountingRef?FailureBehaviorRef?(if probe/sandbox is policy‑bound)
- RSCRTriggerSetIds:
∅ - RSCRTriggerKindIds:
{RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent}
GPatternExtension block: G.4:Ext.SoSLogBranches
- PatternScopeId:
G.4:Ext.SoSLogBranches - GPatternExtensionId:
SoSLogBranches - GPatternExtensionKind:
MethodSpecific - GoverningPatternId:
C.23 - Entry: use only when C.23-governed SoS-LOG branches currently explain a CAL degrade/abstain path.
- Stop: omit or retire the block when those branch/rule ids no longer change a current CAL clause, flow, or explanation.
- Uses:
{C.23} - ⊑/⊑⁺:
∅ - RequiredPins/EditionPins/PolicyPins (minimum):
SoSLogRuleId[]SoSLogBranchId[]FailureBehaviorPolicyId
- RSCRTriggerSetIds:
∅ - RSCRTriggerKindIds:
{RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.MaturityRungChange, RSCRTriggerKindId.TelemetryDelta} - Notes (wiring‑only): This block only pins branch/rule ids for degrade/abstain explanation; it does not redefine rule semantics.