G.2:4.5.1 - GPatternExtension: GammaEpistSynthesis
PatternScopeId: G.2:Ext.GammaEpistSynthesis
GPatternExtensionId: GammaEpistSynthesis
GPatternExtensionKind: GeneratorSpecific
GoverningPatternId: G.2
Uses: {G.Core, B.3, F.9, G.6} (penalty routing + trust/decay cues + bridges/CL + evidence path citation when used)
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
GammaEpistSynthId[](pack‑local ids of synthesis records; emitted iff fusion/substitution is asserted)EvidenceAnchorRef[](provenance union; evidence carriers cited by A.10 evidence-provenance paths)BridgeMatrixIdandBridgeCardId[](explicit object alignment references when crossing is involved)CL/CL^planeandΦ/Ψ/Φ_plane policy-idswhen required by the cited crossing or actually used loss model (semantics and penalties →R_effremain governed by the cited definitions)PathId/PathSliceId?(only when citing viaG.6)
RSCRTriggerKindIds: {RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.EditionPinChange}
Notes (normative intent; duplication‑avoidant):
- The auditable synthesis record identified by
GammaEpistSynthIdbinds: (i) provenance union, (ii) explicit object alignment refs, (iii) assurance tuple refs (via their governing definitions) for each asserted fusion/substitution. A B.1.3Γ_epist^synthapplication and its returned episteme remain separate from this record. - This extension cites the
Γ‑fold,Φ, and penalty rules throughG.Coreand exposes the pins needed for replay. When B.3/C.2.2 supplies no justified common numerical score or loss calculation, retain the separate support, actual mapping limitations and bounded assurance conclusion; a synthesis record does not supply the missing model.