G.7:4.6 - Extensions (pattern‑scoped; non‑core)

Extensions carry wiring only (pins/editions/policy‑ids + which governing patterns are applied). They MUST NOT redefine core invariants or defaults.

GPatternExtension: MatrixIntake

• PatternScopeId: G.7:Ext.MatrixIntake

• GPatternExtensionId: MatrixIntake

• GPatternExtensionKind: InteropSpecific

• GoverningPatternId: G.2 (BridgeMatrix semantics and comparable-construct inventory)

• Uses: {G.2, F.9}

• ⊑/⊑⁺: ∅

• RequiredPins/EditionPins/PolicyPins (minimum):

  • BridgeMatrixId (and, if editioned: BridgeMatrixRef.edition)
  • BridgeMatrixRowRef[] (row‑level anchors for intake; defined by the governing pattern; e.g., PatternScopeId / UTSRowId / row ids)
  • ComparableConstructId[] (row keys; if the source does not supply a stable id, G.7 mints one while preserving BridgeMatrixRowRef as the provenance anchor)
  • LossNoteRef[]? (if exported by G.2; otherwise authored in G.7 and cited from the CalibrationLedger)

• RSCRTriggerKindIds: {RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.EditionPinChange}

• Notes (wiring‑only): This module binds “row candidates” from G.2 to the BCT/Ledger intake without copying G.2 semantics into G.7.

GPatternExtension: DHCAccounting

• PatternScopeId: G.7:Ext.DHCAccounting

• GPatternExtensionId: DHCAccounting

• GPatternExtensionKind: DisciplineSpecific

• GoverningPatternId: C.21 (DHC metric semantics, including AlignmentDensity)

• Uses: {C.21}

• ⊑/⊑⁺: ∅

• RequiredPins/EditionPins/PolicyPins (minimum; conditional on use):

  • AlignmentDensityMethodRef.edition?
  • DeclaredUnitsRef? (the C.21 Unit for the reported quantity; AlignmentDensity uses obtaining_relations/100_compared_cells)

• RSCRTriggerKindIds: {RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.EditionPinChange}

• Notes (wiring‑only):

  • G.7 stores the counts and declared units as a surface; C.21 governs the meaning and legality constraints.
  • When reporting AlignmentDensity, follow C.21’s declared F.17 cell set and count only exact obtaining directed F.9 relations. Preserve each counted relation’s orientation and admitted-use qualifier, and keep observed loss in its evidence account. CL values neither change that count definition nor grant substitution; CC‑G7‑DHC‑Units‑1 checks the report’s units and cited method.

GPatternExtension: QDParityPins

• PatternScopeId: G.7:Ext.QDParityPins

• GPatternExtensionId: QDParityPins

• GPatternExtensionKind: InteropSpecific

• GoverningPatternId: C.18 (QD artefact semantics; uses C.19 for exploration/logging pins as needed)

• Uses: {C.18, C.19}

• ⊑/⊑⁺: ∅

• RequiredPins/EditionPins/PolicyPins (minimum; conditional on use):

  • DescriptorMapRef.edition
  • DistanceDefRef.edition
  • InsertionPolicyRef (policy id or pinned policy ref, per governing definition semantics)

• RSCRTriggerKindIds: {RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent}

• Notes (wiring‑only): Enforces reproducibility of cross‑Context archive/illumination comparisons without pulling QD semantics into the core bridge kit. The pins from this module should be attached via RowEntry.ExtensionPins[QDParityPins] (or an equivalent extension‑pin map) and included in BridgeSentinel.payloadPins whenever the watched scope consumes QD telemetry.

GPatternExtension: SoSLogClauses

• PatternScopeId: G.7:Ext.SoSLogClauses
• GPatternExtensionId: SoSLogClauses
• GPatternExtensionKind: InteropSpecific
• GoverningPatternId: C.23 (SoS‑LOG rule and branch semantics; G.7 does not redefine meaning)
• Uses: {C.23, G.6}
• ⊑/⊑⁺: ∅
• RequiredPins/EditionPins/PolicyPins (minimum; conditional on use):
  • SoSLogRuleId[] (or governing definition‑equivalent ids)
  • FailureBehaviorPolicyId? (policy id, when degrade behavior is bound)
  • PathId/PathSliceId citations for explainability (via G.6)
  • BridgeCardId[] (bridges whose reuse is being justified)
• RSCRTriggerKindIds: {RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.MaturityRungChange}
• Notes (wiring‑only): Ensures cross‑Tradition bridge reuse decisions can be justified by citing SoS‑LOG clauses and evidence paths, without embedding SoS‑LOG semantics into G.7.

GPatternExtension: AcceptanceHooks

• PatternScopeId: G.7:Ext.AcceptanceHooks
• GPatternExtensionId: AcceptanceHooks
• GPatternExtensionKind: MethodSpecific
• GoverningPatternId: G.4 (Acceptance/threshold/unknown handling; G.7 does not define thresholds)
• Uses: {G.4}
• ⊑/⊑⁺: ∅
• RequiredPins/EditionPins/PolicyPins (minimum; conditional on use):
  • AcceptanceClauseId[] (or governing definition‑equivalent ids)
  • AcceptancePolicyId? (policy id when acceptance behavior is pinned)
  • BridgeCardId[] (bridges whose calibrated status is being used as a gate input)
• RSCRTriggerKindIds: {RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.BaselineBindingEdit, RSCRTriggerKindId.LegalitySurfaceEdit}
• Notes (wiring‑only): When bridges are used as selector gates, thresholds and unknown-handling remain governed by Acceptance; this module only pins the linkage and refresh relevance.

GPatternExtension: AdvancedCalibrationProcedures (Phase‑3 seed)

• PatternScopeId: G.7:Ext.AdvancedCalibrationProcedures
• GPatternExtensionId: AdvancedCalibrationProcedures
• GPatternExtensionKind: Phase3Seed
• GoverningPatternId: governing pattern not yet selected
• Uses: { }
• ⊑/⊑⁺: ∅
• RequiredPins/EditionPins/PolicyPins: pending governing-pattern selection
• RSCRTriggerKindIds: {RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.ReferencePlaneEdit}
• Notes (seed; non‑normative): Placeholder for domain‑specific / statistical calibration families beyond the minimal auditable procedure (e.g., uncertainty‑aware calibration, probabilistic mapping). No Part‑G‑wide norms are introduced.