G.7 - Cross‑Tradition Bridge Calibration Kit (BridgeMatrix → BridgeCards + BCT/Sentinels)
Tag. Architectural pattern
Stage. design‑time (calibration + publication) + run‑time (sentinel‑driven telemetry emission; orchestration governed by G.11)
Start here. Name the correspondence to be calibrated and the question of the receiving use, if one is already known. Recover its exact endpoints and governing relation, then state the evidence, preserved distinctions and losses. The first useful result is a bounded calibration statement; its suitability for a receiving use requires that use’s own rule, loss tolerance and reliance. Add the kit fields below when calibrated values or published, refreshable calibration records are needed. For a bounded reuse needing neither, follow the correspondence’s direct rule instead (F.9 for senses, C.3.3 for kinds, or the named plane rule).
Primary output. A calibration kit with a BridgeCalibrationTable (BCT), CalibrationLedger, RegressionSet and SentinelSet. Each row cites the actual sense, kind or plane correspondence being calibrated. F.9 rows carry BridgeCards; public naming and real flow/gate crossings add their required UTS or bundle anchors. Sentinel triggers carry the affected references and live scope.
Primary hooks. G.Core (Part‑G invariants + RSCR trigger catalogue + Default Governing Definition Index), G.2 (BridgeMatrix), F.9 (BridgeCard + CL), C.3.3 (KindBridge + CL^k when the kind channel is used), F.3 (source-local sense clustering), F.17 (SenseCell anchoring), F.7 (source-local comparison display), E.18/A.21 (GateCrossing + CrossingBundle checks), G.6 (PathId/PathSliceId citation surface), G.5 (downstream consumer for eligibility/selection), G.11 (refresh orchestration consumer), B.3 (assurance lanes + penalty policies), C.21 (DHC accounts such as AlignmentDensity), C.18 and C.19 (QD/OEE pins when relevant), C.23 (SoS‑LOG clauses as explainability gates for cross‑Tradition choices), G.4 (Acceptance hooks/thresholds when bridges are used as selector gates), E.10 (LEX / strict distinction discipline).
Working‑Model first. Prefer a minimal, auditable calibration procedure and worked micro‑cases; escalate to heavier harnesses only where risk warrants (per E.8).
Non‑duplication note. Universal Part‑G invariants (no shadow specs; Bridge‑only crossings; penalty routing to R_eff only; P2W split; typed/id‑based RSCR causes; defaults with one governing definition; Δ‑discipline) are governed by G.Core and are cited via CC‑GCORE‑*. This pattern defines only the bridge calibration kit and its surfaces.
G.7:1 - Problem frame
SoTA synthesis (G.2) can legitimately preserve pluralism by exporting a BridgeMatrix: a Tradition×Tradition inventory of “comparable constructs” with preliminary notes (candidate correspondences, likely losses, tentative levels). When the receiving use requires calibrated cross‑Context reuse, downstream patterns (CHR/CAL/selector/logging/shipping) must ensure that the reuse is:
- recoverable through the actual correspondence and its source basis, including BridgeCards for F.9 rows,
- calibrated with a small, auditable procedure (so CL/CL^k/plane routing is not a narrative),
- published with the anchors required by the receiving use; UTS and E.18/A.21 harnesses apply to their actual public names and flow/gate crossings,
- refreshable in a targeted way (path‑scoped RSCR rather than whole‑pack reruns).
G.7 packages this into a kit: BCT + applicable correspondence references + RegressionSet/SentinelSet wiring, so that later patterns can satisfy core invariants without re‑inventing cross‑Tradition machinery.
G.7:2 - Problem
- Cross‑Tradition comparisons are frequently attempted via informal “synonymy” or ad‑hoc mappings, causing silent meaning drift and hidden crossings.
- Plane mismatches (world ↔ concept ↔ episteme, or other
ReferencePlaneshifts) are often ignored, or conflated with “semantic sameness”, causing wrong downstream confidence. - Calibration changes (CL/CL^k/plane or their policy pins) must trigger targeted re‑checks; pack‑wide reweaves are too costly and too slow.
- If bridges are involved in QD/illumination or other edition‑sensitive telemetry, edition pins must be tracked (otherwise comparisons become irreproducible after a map/distance/policy update).
- Row‑level summaries (for matrix rows / comparable construct groups) tend to be averaged or “smoothed”, which is incompatible with bottleneck semantics and loss honesty.
G.7:3 - Forces
| Force | Tension |
|---|---|
| Comparability vs local authority | Enable comparisons across Traditions ↔ avoid overriding Context‑local meaning. |
| Auditability vs authoring throughput | Require explicit artefacts, losses, and pins ↔ keep the calibration procedure light enough to be used. |
| Targeted refresh vs safety | Emit path‑local RSCR triggers ↔ ensure triggers are typed and carry enough payload pins for audit and rerun planning. |
| Plane awareness vs “one story” | Explicitly surface ReferencePlane and plane penalties ↔ avoid turning plane discussion into a second semantics of “sameness”. |
| QD comparability vs metric drift | Enable cross‑context reporting of archive/illumination telemetry ↔ enforce edition‑aware pins for descriptor/distance/policies only when those modes are actually in use. |
G.7:4 - Solution — Bridge calibration kit (BCT + BridgeCards + RegressionSet/Sentinels)
G.7:4.1 - G.Core linkage (normative)
Builds on: G.Core (Part‑G core invariants; citation/delegation hub)
GCoreLinkageManifest (normative).
GCoreLinkageManifest := ⟨ CoreConformanceProfileIds := { GCoreConformanceProfileId.PartG.AuthoringBase, GCoreConformanceProfileId.PartG.TriStateGuard, GCoreConformanceProfileId.PartG.UTSWhenPublicIdsMinted }, RSCRTriggerSetIds := { GCoreTriggerSetId.BridgeCalibrationKit }, CorePinSetIds := { GCorePinSetId.PartG.CrossingVisibilityPins }, CorePinsRequired := { BridgeCalibrationTableId (BCT.id), RegressionSetId, SentinelSetId, FreshnessWindowRef, CalibrationLedgerId, RowScopeId, ReferencePlane(src)?, ReferencePlane(tgt)?, UTSRowId[]?, PathId[]?/PathSliceId[]? }, DefaultsConsumed := ∅, TriggerAliasMapRef := ∅ ⟩
- Expansion rule. Effective
CoreConformanceIds,RSCRTriggerKindIds, andCorePinsRequiredare obtained by expanding the cited profile/set ids and unioning with the explicit ids above (seeG.Corenil‑elision + expansion rule). - Conditional pins.
- Relation, calibration and policy pins follow the channel/use conditions in G.Core:4.2.3. Source/target planes are required for an actual plane claim or another rule that consumes them; UTS and Path pins follow actual public-name and path uses.
BridgeCardRef.editionis required iff an F.9 BridgeCard is published as an editioned artefact.- Sentinel scopes MAY be recorded as
PatternScopeId[]when path surfaces are not available (and SHALL then be present in sentinel records and emitted trigger payload pins).
- CN/CG note.
CC‑GCORE‑CN‑CG‑1is included viaGCoreConformanceProfileId.PartG.AuthoringBaseand is exercised only when the governance card and legality gate (e.g.,CNSpecRef.edition/CGSpecRef.edition) are explicitly pinned; penalty/guard policy ids (Φ(CL),Ψ(CL^k),Φ_plane) are policy pins, not governance cards or legality gates.
(payload pins, minimum: affected members of the effective CorePinsRequired (after expansion) plus any pins introduced by active extensions (e.g., QD parity pins), scoped to the watched PathSliceId[]/PathId[]/PatternScopeId[].)
G.7:4.2 - Kit objects (surface governed by this pattern)
This pattern defines the bridge calibration kit as a set of minimal, checkable surfaces. F.9 governs BridgeCard and CL meaning; C.3.3 governs KindBridge and CL^k when the kind channel is used. G.7 adds calibration records and publication/wiring surfaces.
(A) BridgeCalibrationTable (BCT) — object.
A BridgeCalibrationTable is a per‑Tradition‑pair registry of calibrated bridge entries.
Minimal fields (conceptual):
BridgeCalibrationTable := ⟨ BCT.id, TradPairId, FreshnessWindowRef, RowEntries[] ⟩
Source provenance (when sourced from G.2). If the BCT is derived from a G.2 BridgeMatrix, publish BridgeMatrixId (+ BridgeMatrixRef.edition when editioned) and row‑level linkage via G.7:Ext.MatrixIntake (wiring‑only), rather than duplicating G.2 semantics in core.
Where each RowEntry minimally binds:
RowEntry := ⟨ RowEntryId, ComparableConstructId, RowScopeId, BridgeCardId[]?, KindBridgeAssertionRef[]?, PlaneRelationRef[]?, RowCL_min?, RowCL_k_min?, RowCL_plane_min?, CalibrationBasisRef, LossNoteRef[]?, CounterExampleRef[]?, CounterExampleAbsenceRef?, ReceivingUseClaimRef[]?, ReceivingPolicyRef[]?, WaiverRef[]?, RegressionSetId, SentinelSetId, PolicyPins?: { Φ(CL)?, Ψ(CL^k)?, Φ_plane? }, PlanePins?: { ReferencePlane(src), ReferencePlane(tgt) }, ExtensionPins?: { [GPatternExtensionId]: { …ids… } } ⟩
(B) CalibrationLedger — object.
A CalibrationLedger is the auditable “row narrative” that remains pin‑first: it records what was calibrated, what was lost, and which artefacts/policies witness that.
Minimal fields:
CalibrationLedger := ⟨ LedgerId, TradPairId, Entries[] // cite RowEntryId, relation/card refs, calibration basis and supported summaries, losses, counterexamples or search disclosure, UTS rows and any regression-run/delta refs; keep receiving-use/policy claims and a policy exception distinct ⟩
(C) RegressionSet — object.
A RegressionSet is a small set of regression probes/checks that are runnable against the BCT row entries. It exists to detect drift (bridge edits, policy edits, plane edits, edition pin changes) and to provide the evidential payload for RSCR triggers.
Minimal fields:
RegressionSet := ⟨ RegressionSetId, TradPairId, TestCaseId[], ExpectedOutcomesRef?, RegressionRunRef? ⟩
G.7:4.2.1 - Interpret calibration and assess a receiving use separately
Calibration question. State which correspondence, direction, scope, source editions and evidence the row assesses. Keep an F.9 sense correspondence, a C.3.3 kind correspondence and an applicable plane relation under their separate predicates. A record or favourable summary makes none of them obtain.
For a stated F.9 correspondence, optional CL shorthand means: 0 contradicted, 1 weakly comparable, 2 bounded support with explicit counterexamples, and 3 matched stated invariants with no current material counterexample. Cite the actual calibration basis. A kind-channel value follows C.3.3; a plane-channel value requires its own declared calibration rule. One channel cannot raise or replace another.
Summary meaning. Use RowCL_min only when a non-empty set of cells shares the declared ordinal scale and calibration question and the receiving report needs its weakest calibrated level. Cite that cell set and keep each loss recoverable. Apply the same condition independently to kind or plane summaries. An empty, mixed or unresolved basis has no such minimum; publish the separate results or the precise gap. A minimum is a calibration summary, not an admissibility result, and ordinal values are not averaged.
Evidence honesty. Preserve actual counterexamples and losses. Level 2 needs its cited bounded-support counterexample; level 0 identifies the contradiction. Weak or incomplete evidence must be disclosed rather than dressed as a discovered counterexample. At level 3, when none is cited, supply a citable search/absence account stating what was examined and that none was found or is currently known. This reports the search basis, not universal absence. A loss-noted row cannot be presented as free substitution.
Receiving use. For an F.9 use, state the separate claim with its use, direction, correspondence rule, loss tolerance and polarity; obtain matching A.10 reliance, or the B.3 result when an actual named assurance claim is current. A C.3.3 use separately checks receiving admissibility and target classification. Missing classification evidence remains unknown. Authorization, when required, follows its own rule. No CL level supplies these results.
A receiving policy may impose an additional threshold for one named use. Cite that use, the policy’s justification and authority, and its other necessary premises. The threshold is an additional policy condition, not F.9’s general law. A WaiverRef identifies an authorized exception to that policy only: it supplies no missing correspondence, target fact, suitable-use claim or evidence. Preserve any narrower allowed use and its independently supported conditions.
Plane and loss policies. When a receiving use relies on a plane relation, name the source and target planes, its predicate, calibration basis and applicable policy. Missing required plane information leaves that use unresolved. Keep any downstream abstain or policy-bound degrade under its receiving guard. Plane evidence does not rewrite CL or CL^k; a numerical loss requires its own receiving model and policy, with the consequence in R only.
(D) SentinelSet & BridgeSentinel — object.
A SentinelSet is a watch‑list that connects bridge calibration changes to RSCR‑ready triggers scoped to downstream consumption.
Minimal fields:
BridgeSentinel := ⟨ SentinelId, watchedRowEntryIds: RowEntryId[], watchedRelationRefs: exact references to the correspondences assessed by those rows, watchedScope: PathSliceId[] | PathId[] | PatternScopeId[], payloadPins: { BCT.id, RegressionSetId, FreshnessWindowRef, affected RowEntryId[], watchedRelationRefs, PolicyPins?, PlanePins?, UTSRowId[]? } ⟩
SentinelSet := ⟨ SentinelSetId, BridgeSentinel[] ⟩
G.7:4.3 - Minimal calibration procedure (auditable; table‑backed; bridge‑first)
For each Tradition‑pair and each comparable construct row from G.2:
- Recover the correspondence being calibrated. For an F.9 row, resolve the exact F.17 sense cells and profile, then produce or reuse its BridgeCard. A kind-channel row cites the C.3.3 kind endpoints and assertion; a plane row cites its own relation and rule. A coarser source label must be resolved to those actual endpoints before calibration.
- Record row scope and losses. Author a
RowScopeIdand record loss notes as first‑class citations (e.g.,LossNoteRef[]), not as informal footnotes. Record the calibration basis and any meaningful channel summary under §4.2.1. If a receiving use is named, cite its separate suitability/classification and reliance results. Cite a waiver only for its exact authorized policy exception; it does not repair missing evidence. - Resolve any plane claim. If the row or receiving use consumes a plane relation, record its exact reference, source and target planes, governing rule and any plane policy actually applied. A kind-only or sense-only row creates no plane claim.
- Expose policies actually used. Record policy and model references for a named threshold, exception, numerical loss or assurance calculation. Calibration without such a receiving use needs no invented Φ/Ψ/Φ_plane policy. Applied penalties retain G.Core’s R/R_eff-only rule.
- Summarize only a common calibration basis. Use the minimum only under §4.2.1’s shared-scale and shared-question conditions. Retain each actual loss and counterexample; otherwise report the separate cell results or the unresolved basis.
- Regression and sentinel wiring. Create/update the
RegressionSetandSentinelSet. Any calibration change that can affect downstream audit (CL/CL^k/plane pins, relevant policy ids, edition pins for involved telemetry surfaces, freshness window) emits typed RSCR triggers (canonical ids; scope + payload pins). If the regression harness is run, record a citableRegressionRunRef(or equivalent run/delta reference) and attach it to the relevant ledger entries (pin‑first; no narrative-only deltas).
G.7:4.4 - Publication surfaces (UTS + GateCrossing harness)
A conformant G.7 publication:
- publishes the exact correspondence references for each row, including BridgeCards for F.9 rows and UTS identifiers when the naming/publication rule requires them,
- makes an independently governed E.18 crossing or A.21 gate checkable through its applicable harness, preserving lexical, lane and required-pin constraints,
- emits RSCR triggers using canonical
RSCRTriggerKindIdand attaches the minimum payload pins listed in §4.1. - keeps SCR/Evidence citations complete for their actual use: include the row locator, exact correspondence basis and
{BCT.id, RegressionSetId}, plus the policy/model pins actually consumed by the reliance or assurance claim. Representation follows G.6/SCR when that surface is used.
G.7:4.5 - Worked mini‑examples (informative; post‑2015; row scopes + loss notes)
These worked rows use illustrative calibration values and source scopes. Actual calibration needs its stated evidence. Each receiving use still has a separate rule and loss tolerance.
-
Preference‑learning objective (Method; RowScope = “training‑objective‑intent”). Cells:
RLHF@Context‑A↔DPO@Context‑B↔IPO@Context‑CRowCL_min: 2 (calibrated bounded support in this worked case) Loss notes: different inductive biases (reward model vs direct preference likelihood; sensitivity to preference noise model; implicit regularisation forms). Proposed use: a didactic comparison of objective intent. Its separate claim must limit the comparison to that intent and retain the listed differences; method eligibility and acceptance require their own rule. -
Robustness evaluation (Measurement; RowScope = “metric‑family‑intent”). Cells:
Accuracy@IID↔Robustness@ShiftBench(e.g., distribution‑shift benchmarks common in post‑2019 practice) RowCL_min: 2 Loss notes: shift taxonomy differs; comparability depends on pinned protocol editions and window selection; “robustness” is not a scalar substitute for accuracy. -
Quality‑Diversity archive comparability (Measurement; RowScope = “DescriptorMap‑only”). Cells:
MAP‑Elites grid indices↔CVT‑MAP‑Elites centroids↔CMA‑ME archiveRowCL_min: 2 Loss notes: discretisation vs centroidal tessellation; archive pressure differs; drift occurs ifDistanceDefor insertion policy changes. Proposed use: cross-reporting only the named descriptor-map relation under explicit edition pins and an affirmative bounded-use claim with passing reliance. Edition pins alone do not make the telemetry comparable. -
Open‑ended transfer semantics (Method; RowScope = “transfer‑rule intent”). Cells:
POET‑class transfer rule↔Enhanced‑POET‑class transfer rule↔ “modern open‑ended transfer variants” RowCL_min: 2 Loss notes: environment validity region differs; transfer timing and selection pressures differ; pinning transfer rule editions is mandatory for audit.
Paired receiving case — Vehicle to TransportUnit. Use C.3.3 §9.1’s exact source and target kind declarations, pinned scheme editions, registryAPI v1.4 and selected time window. In row VehicleTransportOrder, record the obtaining KindBridge, preserved PassengerCar/Vehicle subkind order and collapsed EV distinction, with the reported CL^k=2 and battery-health loss. This is the kind channel; an F.9 sense Bridge is added only if the receiving claim separately relies on one.
For a G.5 shortlist of independently admitted Methods for a transport review, suppose the applicability criterion uses only the preserved transport/passenger order and explicitly ignores propulsion. The row can support that narrow applicability comparison after receiving admissibility, fresh target classification of the subject vehicles and the matching evidence-reliance result pass. The Methods’ other eligibility criteria remain applicable. For a battery-health review whose Method-selection rule needs EV/battery information, the same correspondence fails that use because the required distinction is lost. A favourable CL value or a waiver cannot supply the battery premise. The correspondence and calibration can stay unchanged while these two use conclusions differ. Use these two questions as a paired RegressionSet probe when this row is reused: recover the transport-order premise for the first and expose the missing battery premise for the second. Recheck the affected use after its criterion or the row’s preservation/loss basis changes.
In C.3.3 §9.3’s AdultPatient/AdultPerson_Y case, the age-boundary loss and CL^k=1 remain evidence about the kind correspondence. An authorized policy exception does not supply an unresolved date of birth; the receiving classification stays unknown.
Choose pins for the actual use. These cases apply the same conditions to a compact result and to the fuller kit:
| Use | What the result must retain |
|---|---|
| VehicleTransportOrder kind-only calibration | its C.3.3 kind endpoints, assertion, CL^k calibration basis, battery-health loss, row/freshness and kit references; a live sentinel can use PatternScopeId. No sense Bridge, plane relation or loss policy follows from this row. |
| F.9 sense-only calibration | exact F.17 sense endpoints, obtaining Bridge, BridgeCard and any reported CL basis; add neither a kind correspondence nor a plane claim without its own basis. |
| Plane-only calibration | the independently governed plane relation, planes and calibration rule/basis; add a numerical loss policy only if that receiving model is used. Plane change alone supplies no F.9 Bridge. |
| A G.2 harvest with no crossing, or a suite contract reused on another entity of the same kind | ordinary source/edition and applicability information; no crossing pin set is instantiated merely from the harvest, entity change or a new declaration edition. |
| A use relying on both a sense and kind correspondence | both independently established relations and their receiving conditions; neither channel replaces the other. |
| A safety-assurance comparison using an F.9 calibration, a defined plane-loss model and an A.21 gate | the exact Bridge/Card and row, BCT/regression/freshness evidence, actual plane relation and model/policy pins, matching A.10/B.3 reliance and assurance grounds, and every required gate anchor. A required missing pin leaves that use unresolved; favourable calibration alone grants no permission. |
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.7mints one while preservingBridgeMatrixRowRefas the provenance anchor)LossNoteRef[]?(if exported byG.2; otherwise authored inG.7and cited from theCalibrationLedger)
-
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 usesobtaining_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‑1checks 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.editionDistanceDefRef.editionInsertionPolicyRef(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 inBridgeSentinel.payloadPinswhenever 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/PathSliceIdcitations for explainability (viaG.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.
G.7:5 - Archetypal Grounding (System / Episteme)
System case: Cross-standard comparison of safety claims about one physical system (bridge-first).
A team must compare a safety assurance claim across two regulatory Traditions (e.g., a “functional safety case” tradition and a “ML system testing” tradition) for the same physical system scope. G.7 forces explicit SenseCell‑level bridges (what exactly is the “hazard”, what is the “evidence carrier”, what is the “pass criterion”), records losses, pins planes, and provides sentinels so that changes in the safety evidence protocol editions trigger path‑local RSCR rather than re‑authoring the entire safety case.
Episteme case: Benchmark protocol pluralism (post-2015 evaluation practice).
A research group wants to compare “state‑of‑the‑art” across multiple evaluation Traditions (IID performance, shift robustness, preference‑based evaluation). G.7 turns “these are comparable” into explicit BridgeCards with declared row scope, pins the evaluation protocol editions, and registers sentinels so that when a benchmark protocol or policy pin changes, downstream selector decisions can be re‑audited by replaying the affected PathSlice‑scoped evidence.
G.7:6 - Bias‑Annotation
Bias lenses: Gov, Arch, Onto/Epist, Prag, Did.
Scope: Universal for the bridge calibration kit; any method‑family or discipline‑specific calibration technique is modularized as GPatternExtension and cited to its governing patterns.
G.7:7 - Conformance Checklist (normative) — CC‑G7
| ConformanceId | Requirement | Purpose |
|---|---|---|
| CC‑G7‑CoreRef | G.7 is conformant only if it satisfies the effective G.Core obligations declared by the GCoreLinkageManifest in §4.1 (after nil‑elision and expansion of profile/set/pinset ids), including any explicit deltas listed there. | Make universal invariants one governing definition and enforce citation‑based reuse. |
| CC‑G7‑BCT‑1 | An active calibration kit has a BCT with its freshness basis, exact row scope, relation/card references, calibration basis and applicable evidence, regression and sentinel references. Channel summaries and policy/plane pins are present only under their declared calibration or receiving-use conditions. | Make the calibration and its use independently recoverable. |
| CC‑G7‑BridgeCard‑1 | An F.9 BridgeCard resolves its exact F.17 endpoint senses and relation profile. A kind-channel assertion follows C.3.3 and cites its exact kind endpoints; a plane claim cites its own governor. Keep the channels distinct. | Preserve the subject of each correspondence. |
| CC‑G7‑UTS‑1 | When G.7 mints or publishes a public identifier, apply CC-GCORE-UTS-1 and expose the resulting UTS rows in the consuming BCT/Ledger or crossing bundle. Include a BridgeCard or GateCrossing row only when that actual object is used; a kind-only calibration creates no F.9 BridgeCard. | Make public names citable without inventing relations. |
| CC‑G7‑RowScope‑1 | Every BCT row MUST declare its RowScopeId (which correspondence or difference is being calibrated), and any loss notes MUST be recorded as citable artefacts (refs/ids), not only narrative text. | Keep reuse honest and locally bounded. |
| CC‑G7‑CLRegime‑1 | Every reported CL summary satisfies §4.2.1’s calibration meaning and aggregation conditions. Actual losses, counterexamples and required search/absence disclosures remain citable. The receiving use has its own rule, tolerance and reliance; a threshold or waiver cites its policy use, justification, authority and additional premises. | Calibration evidence supplies no automatic permission or receiving classification. |
| CC‑G7‑SCRLinkage‑1 | A calibration cited in SCR/Evidence surfaces MUST identify its exact sense, kind or plane correspondence, row locator and {BCT.id, RegressionSetId}. Add BridgeCard/UTS anchors for the actual F.9/public-name use and policy/model pins for the actual reliance, numerical loss or assurance calculation. | Preserve the evidence consumed by the claim without fabricating another channel. |
| CC‑G7‑SoSLOG‑Pins‑1 | When G.7:Ext.SoSLogClauses is in use, G.7 outputs MUST expose the cited SoS‑LOG rule ids and the relevant PathId/PathSliceId evidence citations; any change in those pins MUST be RSCR‑relevant per CC‑GCORE‑TRIG‑1…TRIG‑4. | Keep cross‑Tradition reuse explainable without embedding C.23 semantics. |
| CC‑G7‑Acceptance‑1 | When G.7:Ext.AcceptanceHooks is in use, G.7 outputs MUST expose the Acceptance clause ids/policy ids used as gates; thresholds/unknown handling remain governed by Acceptance; any change MUST be RSCR‑relevant per CC‑GCORE‑TRIG‑1…TRIG‑4. | Keep thresholds and unknowns out of bridges while preserving auditability. |
| CC‑G7‑RowBottleneck‑1 | A minimum summarizes only a non-empty cell set sharing the declared ordinal scale and calibration question. Keep the constituent evidence and losses; otherwise report separate results or the gap. | Avoid averaging ordinal evidence or treating its minimum as a use decision. |
| CC‑G7‑PolicyPins‑1 | G.7 outputs MUST publish the policy id pins required to audit penalty routing and plane effects (ids only), as required by CC‑GCORE‑LINK‑1/2 and CC‑GCORE‑PEN‑1. G.7 MUST NOT duplicate policy tables or redefine penalty semantics. | Keep penalty routing auditable while preserving single‑governing-pattern policy semantics. |
| CC‑G7‑GateCrossing‑1 | An independently governed E.18 flow crossing or A.21 gate that consumes calibration MUST retain its required harness, pins, lexical constraints and lane checks. A calibration relation alone is not that flow crossing or gate. | Make actual crossings and gates checkable. |
| CC‑G7‑Sentinels‑1 | G.7 MUST register BridgeSentinel entries for bridges used by live scopes and MUST emit typed RSCR triggers (canonical RSCRTriggerKindId; see CC‑GCORE‑TRIG‑1…TRIG‑4) on calibration‑relevant edits, scoped to the watched PathSliceId[] or PatternScopeId[], with the minimum payload pins from §4.1. | Enable targeted refresh rather than pack‑wide reruns. |
| CC‑G7‑QD‑Pins‑1 | When G.7:Ext.QDParityPins is in use, G.7 outputs MUST include {DescriptorMapRef.edition, DistanceDefRef.edition, InsertionPolicyRef} and treat any change to those pins as RSCR‑relevant per CC‑GCORE‑TRIG‑1…TRIG‑4. | Prevent silent QD telemetry drift. |
| CC‑G7‑DHC‑Units‑1 | When AlignmentDensity is reported, G.7 outputs MUST count the exact obtaining directed F.9 relations in the declared F.17 cell set under C.21, include the declared units, and cite the active DHC method and replay basis. Related DHC accounts use their own exact C.21 definitions. CL labels grant no substitution and do not redefine the counted relation set; G.7 MUST NOT invent arithmetic over ordinal or otherwise inadmissible surfaces. | Keep dashboards and discipline-health readings faithful to their measurement definitions and bounded-use claims. |
G.7:8 - Common Anti-Patterns and How to Avoid Them
- Bridge‑by‑prose (“they have the same sense”). Avoid: publish BCT rows + BridgeCards + UTS rows; require SenseCell anchoring and row scopes.
- Scope or sense relation used as a kind bridge.
Avoid: state the channel in
RowScopeIdand use its direct governor. A C.3.3 correspondence needs its kind endpoints and separate receiving classification; cite CL^k and any loss policy only when that calibration or reliance account uses them. - Plane blindness (“concept = world”). Avoid: record plane pins and policy id pins; keep plane effects auditable and separable from CL/CL^k semantics.
- CL smoothing / averaging. Avoid: establish the common scale and calibration question before taking a minimum; retain actual counterexamples and losses, and keep the receiving decision separate.
- Pack‑wide refresh on a local bridge edit.
Avoid: register sentinels scoped to
PathSliceIdand emit typed RSCR triggers with minimal payload pins. - QD metric drift by unpinned artefacts.
Avoid: enable
G.7:Ext.QDParityPinsonly when needed and require edition/policy pins when enabled.
G.7:9 - Consequences
- Auditable pluralism. Cross‑Tradition reuse becomes explicit, loss‑aware, and checkable.
- Targeted, edition‑aware refresh. Calibration drift triggers path‑scoped RSCR rather than expensive global reruns.
- Downstream cleanliness. Selectors/logging/shipping can cite bridges and policy pins without inventing local crossing rules or shadow specs.
G.7:10 - Rationale
- Why a kit (not a new governance card or legality gate)? Bridge calibration must support many downstream consumers without becoming a competing legality gate; governing-spec semantics remain governed by
CG‑Spec/CN‑Spec. - Why BCT + RegressionSet + SentinelSet? Regression tests make calibration drift detectable; sentinels identify the downstream scopes to refresh.
- Why row scopes? Because “comparable” is not one thing; scope must be explicit to avoid accidental substitution.
G.7:11 - SoTA-Echoing — calibrate a correspondence for its receiving use
Practice question. When a correspondence has a favourable calibration, what must an engineer check before reusing it for a different task? The selected best-known line for this question keeps the exact relation, its justification and source versions recoverable, then tests the receiving task’s required distinctions. The serious alternative is to select an alignment by its reference-benchmark score and carry that favourable score into downstream use.
SSSOM 1.0’s mapping model supplies the first line’s concrete separation of endpoints, relation predicate and justification. Its mapping FAQ distinguishes relation precision from confidence and explains why source versions and justification matter. Adopt that separation for the BCT row’s exact correspondence and calibration basis in §4.2. These sources address exchangeable ontology mappings; they do not establish an F.9 Bridge, a C.3.3 classification or permission for an FPF receiving use.
The OAEI 2025 Conference evaluation is the serious benchmark comparator: its precision/recall measures assess generated correspondences against stated reference alignments and populations. That is useful for choosing a matcher on that question. Reject carrying its aggregate success, or one CL value, as a substitute for a different task’s premises. This is a limit of the inference, not a claim that OAEI promises such transfer.
Adapt the mapping-and-justification line in §4.2.1 and procedure steps 2/6: retain direction, scope and losses, and use a small regression pair whose required distinction changes. In §4.5, VehicleTransportOrder can retain passenger/transport order while losing battery information. The same calibrated relation can therefore support the stated transport comparison and fail the battery-health question. Keeping that distinction prevents a concrete erroneous use that a single favourable summary cannot detect.
At comparable effort, both alternatives start with the same relation row and existing calibration evidence. The selected line adds one named use condition and the smallest counterexample or regression pair that can change the answer. That is extra effort deliberately accepted for reuse across task boundaries; ordinary one-off correspondence handling remains with F.9 when a calibration kit adds no value. SSSOM and OAEI provide the compared technical approaches, not empirical validation of this kit. Reopen when a new receiver needs a distinction outside the row’s stated preservation/loss basis, or when a cheaper rule can distinguish those same allowed and failed uses with equivalent support.
G.7:12 - Relations
Builds on: G.Core, G.2, F.3, F.7, F.9, F.17, B.3, E.10, E.18, A.21, G.6, C.21; C.3.3 when the kind channel is used.
Optionally uses via Extensions: G.4 (Acceptance hooks), C.23 (SoS‑LOG clauses), C.18 and C.19 (QD/OEE pins).
Used by / prerequisite for: In uses that consume this kit’s calibration, G.5 (cross‑Tradition eligibility/selection), G.11 (refresh orchestration), G.9 (parity across Traditions where bridges are required), G.10 (shipping surfaces that must cite bridge calibration ids), G.12 (DHC dashboards when bridge counts/units are surfaced).
Publishes to: UTS (bridge and crossing rows; twin labels as applicable) and emits RSCR‑ready telemetry/trigger payloads for G.11.
Constrains: Any downstream consumer that relies on this kit’s calibration claims or records must use the corresponding calibrated bridge artefacts/pins surfaced by this kit (governing G.Core crossing invariants apply).