universal-physics-tensor 0.32.0 → 0.34.0

package/README.md

@@ -67,6 +67,7 @@ npm run upt -- coverage                                    # audit each bridge's
 npm run upt -- canonical                                   # the standard-physics L-layer registry (answer key)
 npm run upt -- recover                                     # validate bridges against standard physics
 npm run upt -- symbolic --simplify                         # compose + fold bridges' SYMBOLIC forms (MathTS simplify)
+npm run upt -- confront                                    # run the catalog's committed real-data confrontations (predicted vs observed)
 npm run upt -- map --source=both --format=mermaid          # VISUAL map of the graph (Mermaid; also --format=dot|svg, --proposed, --out=PATH)
 npm run upt -- map --equation "period = 2*pi*sqrt(length/gravity)"   # drop YOUR OWN equation onto the map: dimensional check + where it lands
 # ...and YOUR OWN equations:
@@ -247,8 +248,8 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
 
 ## Development Status
 
-**Current version:** v0.31.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
-matches (registry-verified 2026-07-02) — building on
+**Current version:** v0.34.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
+— building on
 the **v0.8.0 → v0.23.0** rollup arc (composition
 graph + GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX
 Phase C/D, the full catalog→graph migration, the bridge-inference +
@@ -287,11 +288,24 @@ unknown/mistyped flags now exit 2 instead of being silently ignored. v0.31.0
 (`src/composition/adjudication.ts`) plus a calibration benchmark, so `upt
 discover` remembers past human verdicts and folds recorded decoy/entailed
 candidates out of its default output instead of re-surfacing them every run.
+Discovery-hardening Phase 4 Unit A adds **consequence propagation**
+(`src/composition/consequence.ts`) — a machine pre-classifier that labels
+each `promising` candidate `entailed` (re-derives a known canonical
+equation), `novel-consequence` (a valid, unmatched algebraic consequence),
+or `inconclusive`, surfaced as a `[consequence: …]` trailer in `upt discover`
+and a `consequence` field under `--json`; annotation-only, so the funnel's
+promising/inert/contradictory counts never move. v0.34.0 **expands the
+canonical L-layer 66 → 93 equations** (+41%, 27 new cited monomial laws) across
+a new `condensed-matter` domain (Drude/Fermi/Hall) plus fluids, EM, thermo,
+statistical mechanics, and mechanics/quantum — and, just as importantly, maps
+the boundaries of the monomial L0 model: sums, transcendentals, hidden length
+scales, dimensionless numbers, and pure counts are excluded (not force-fit) and
+logged for a future L1-sum/L2 tier (`docs/research/canonical-expansion-candidate-audit.md`).
 
 | Metric | Value |
 |---|---|
 | Bridge catalog | **44** (IDs 11-54) — 8 established · 33 speculative · 3 highly-speculative · 0 invalid; membership-adjudicated **36 bridges · 5 not-a-bridge · 3 contested**; **41-edge composition graph** (full migration, 131 centralized quantity nodes) with a bridge-inference suite — **identifiability classifier**, **retrodiction harness**, **Buckingham-π enumerator**, unified by an **`explainQuantity`** entry point, plus (v0.12) the candidate-vetting **discovery loop**, regime-prediction map, empirical-coverage audit, and **symbolic composition** (the Observable contract + MathTS simplification) |
-| Test suite | **3431** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 317 files — gated by CI |
+| Test suite | **3548** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 328 files — gated by CI |
 | `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
 | GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
 | First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
@@ -344,10 +358,16 @@ spec's own revision ledger is at
   namespacing rule (`CompositionAliasError` + reviewable
   `SOURCE_ALIAS_DISPOSITIONS`); the ~90 new quantity-naming judgments
   are the standing physicist-review surface.
-- **More data confrontations** — GW170817 → BE-36 and the BE-23
+- **More data confrontations** — GW170817 → BE-36, the BE-23
   Planckian-dissipation check (Legros et al. 2019, honest
-  aggregate-level encoding) have shipped; upgrading BE-23 to the
-  per-material α table is the next bounded step.
+  aggregate-level encoding), BE-37 Shapiro delay → Cassini PPN-γ, and
+  BE-48 GRW collapse rate → the LISA-Pathfinder CSL bound have shipped
+  (data-confronted bridges 3 → 5), unified behind `upt confront
+  [--bridge] [--sensitivity]` and a typed observation registry. Upgrading
+  BE-23 to the per-material α table, BE-16 Landauer/Bérut (machinery
+  built, paywalled Fig-4 asymptote pending), and the BE-38 MOND/SPARC
+  deep-limit (contingent on a genuine-test determination) are the next
+  bounded steps.
 - **Three.js / game-engine class visualization** in a separate repo
   (out of UPT scope per project decision; see
   `docs/planning/Future-Production-Hardening.md`).

package/dist/bridges/be37-cassini-confrontation.d.ts

@@ -0,0 +1,43 @@
+/**
+ * BE-37 × Cassini — confront the Shapiro-delay bridge with the Cassini
+ * radio-link measurement of the PPN parameter γ (Bertotti, Iess & Tortora
+ * 2003). BE-37 encodes the γ=1 general-relativistic Shapiro delay, so the
+ * bridge PREDICTS γ = 1 exactly; the confrontation observable is the
+ * measured γ. This is the framework's first Shapiro/PPN data confrontation
+ * (be-37 has a numerical validation anchor but no data confrontation before
+ * this). Value-kind.
+ *
+ * @module bridges/be37-cassini-confrontation
+ */
+import type { ObservationProvenance } from './observations/types.js';
+/** A PPN-γ observation record. @public */
+export interface CassiniObservation {
+    /** Measured PPN parameter γ (dimensionless). */
+    readonly observed_gamma: number;
+    /** 1σ on the measured γ. */
+    readonly observed_gamma_sigma: number;
+    readonly provenance: ObservationProvenance;
+}
+/**
+ * Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
+ * γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
+ *
+ * @public
+ */
+export declare const CASSINI: CassiniObservation;
+/** Result of confronting BE-37 with a PPN-γ measurement. @public */
+export interface BE37ConfrontationResult {
+    /** BE-37 predicts γ = 1 (GR Shapiro form). */
+    readonly predicted_gamma: number;
+    readonly observed_gamma: number;
+    readonly residual_in_sigma: number;
+    readonly withinObserved: boolean;
+    readonly observation: CassiniObservation;
+}
+/**
+ * Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
+ *
+ * @public
+ */
+export declare function confrontBE37(obs?: CassiniObservation): BE37ConfrontationResult;
+//# sourceMappingURL=be37-cassini-confrontation.d.ts.map

package/dist/bridges/be37-cassini-confrontation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be37-cassini-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,EAAE,kBASrB,CAAC;AAEF,oEAAoE;AACpE,MAAM,WAAW,uBAAuB;IACtC,8CAA8C;IAC9C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,GAAE,kBAA4B,GAAG,uBAAuB,CAUvF"}

package/dist/bridges/be37-cassini-confrontation.js

@@ -0,0 +1,34 @@
+import { residualInSigma } from './observations/types.js';
+/**
+ * Cassini 2002 solar-conjunction Shapiro-delay determination of γ:
+ * γ = 1 + (2.1 ± 2.3)×10⁻⁵ (Bertotti-Iess-Tortora 2003, Nature 425:374).
+ *
+ * @public
+ */
+export const CASSINI = {
+    observed_gamma: 1 + 2.1e-5,
+    observed_gamma_sigma: 2.3e-5,
+    provenance: {
+        citation: 'Bertotti, Iess & Tortora 2003, Nature 425:374-376 (Cassini radio-link Shapiro delay, June 2002 solar conjunction)',
+        year: 2003,
+        retrieved: '2026-07-02',
+        note: 'BE-37 encodes the gamma=1 GR Shapiro form, so the predicted PPN gamma is exactly 1; the observable confronted is Cassini gamma.',
+    },
+};
+/**
+ * Confront BE-37's γ=1 Shapiro prediction with the Cassini γ measurement.
+ *
+ * @public
+ */
+export function confrontBE37(obs = CASSINI) {
+    const predicted_gamma = 1;
+    const residual_in_sigma = residualInSigma(predicted_gamma, obs.observed_gamma, obs.observed_gamma_sigma);
+    return {
+        predicted_gamma,
+        observed_gamma: obs.observed_gamma,
+        residual_in_sigma,
+        withinObserved: residual_in_sigma <= 1,
+        observation: obs,
+    };
+}
+//# sourceMappingURL=be37-cassini-confrontation.js.map

package/dist/bridges/be37-cassini-confrontation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be37-cassini-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be37-cassini-confrontation.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAW1D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAuB;IACzC,cAAc,EAAE,CAAC,GAAG,MAAM;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,UAAU,EAAE;QACV,QAAQ,EAAE,mHAAmH;QAC7H,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,iIAAiI;KACxI;CACF,CAAC;AAYF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAA0B,OAAO;IAC5D,MAAM,eAAe,GAAG,CAAC,CAAC;IAC1B,MAAM,iBAAiB,GAAG,eAAe,CAAC,eAAe,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACzG,OAAO;QACL,eAAe;QACf,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}

package/dist/bridges/be48-collapse-confrontation.d.ts

@@ -0,0 +1,52 @@
+/**
+ * BE-48 × LISA-Pathfinder — confront the GRW mass-amplified localization
+ * rate with the experimental upper bound on spontaneous-collapse rates
+ * (Carlesso et al. 2016). BE-48 encodes the GRW single-nucleon rate
+ * λ₀ = 10⁻¹⁶ s⁻¹; LISA-Pathfinder bounds the CSL rate at
+ * λ ≤ 2.96×10⁻⁸ s⁻¹ (r_C = 100 nm). The GRW rate sits ~8 orders below the
+ * exclusion → NOT excluded. Upper-bound-kind.
+ *
+ * MODEL CAVEAT: GRW and CSL are related-but-distinct collapse models; this
+ * is a fail-to-exclude, not a confirmation (GRW's original rate predicts no
+ * observable collapse). The same bound overlaps Adler's proposed floor
+ * 10⁻⁸±² s⁻¹.
+ *
+ * @module bridges/be48-collapse-confrontation
+ */
+import type { ObservationProvenance } from './observations/types.js';
+/** A collapse-rate upper-bound observation. @public */
+export interface CollapseBoundObservation {
+    /** Experimental upper bound on the collapse rate (s⁻¹). */
+    readonly bound_rate_per_s: number;
+    /** 1σ on the bound (s⁻¹). */
+    readonly bound_sigma_per_s: number;
+    /** Correlation length the bound is quoted at (m). */
+    readonly r_C_m: number;
+    readonly provenance: ObservationProvenance;
+}
+/**
+ * LISA-Pathfinder CSL upper bound: λ ≤ (2.96 ± 0.12)×10⁻⁸ s⁻¹ at
+ * r_C = 100 nm (Carlesso et al. 2016, arXiv 1606.03637 / PRD 95:084054;
+ * data Armano et al. 2016, PRL 116:231101).
+ *
+ * @public
+ */
+export declare const LISA_PATHFINDER_CSL: CollapseBoundObservation;
+/** Result of confronting BE-48 with a collapse-rate bound. @public */
+export interface BE48ConfrontationResult {
+    /** GRW single-nucleon rate λ₀ (s⁻¹) = evaluateGRWLocalization at m = m_0. */
+    readonly predicted_rate_per_s: number;
+    readonly bound_rate_per_s: number;
+    /** predicted ≤ bound (not excluded). */
+    readonly satisfied: boolean;
+    readonly observation: CollapseBoundObservation;
+}
+/**
+ * Confront BE-48's GRW single-nucleon rate with an experimental collapse
+ * bound. The single-nucleon rate is `evaluateGRWLocalization` at m = m_0
+ * (mass ratio 1), i.e. exactly λ₀.
+ *
+ * @public
+ */
+export declare function confrontBE48(obs?: CollapseBoundObservation): BE48ConfrontationResult;
+//# sourceMappingURL=be48-collapse-confrontation.d.ts.map

package/dist/bridges/be48-collapse-confrontation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be48-collapse-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be48-collapse-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAGrE,uDAAuD;AACvD,MAAM,WAAW,wBAAwB;IACvC,2DAA2D;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,6BAA6B;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,qDAAqD;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,wBAUjC,CAAC;AAEF,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,wCAAwC;IACxC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC;CAChD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,GAAE,wBAA8C,GAAG,uBAAuB,CASzG"}

package/dist/bridges/be48-collapse-confrontation.js

@@ -0,0 +1,37 @@
+import { evaluateGRWLocalization } from './equations/be-48-grw-localization.js';
+/**
+ * LISA-Pathfinder CSL upper bound: λ ≤ (2.96 ± 0.12)×10⁻⁸ s⁻¹ at
+ * r_C = 100 nm (Carlesso et al. 2016, arXiv 1606.03637 / PRD 95:084054;
+ * data Armano et al. 2016, PRL 116:231101).
+ *
+ * @public
+ */
+export const LISA_PATHFINDER_CSL = {
+    bound_rate_per_s: 2.96e-8,
+    bound_sigma_per_s: 0.12e-8,
+    r_C_m: 1e-7,
+    provenance: {
+        citation: 'Carlesso, Bassi, Falferi & Vinante 2016, arXiv:1606.03637 / Phys. Rev. D 95:084054 (2017); LISA-Pathfinder data Armano et al. 2016, PRL 116:231101',
+        year: 2016,
+        retrieved: '2026-07-02',
+        note: 'CSL bound; BE-48 encodes the GRW single-nucleon rate. GRW rate ~8 orders below the exclusion: fail-to-exclude, NOT a confirmation. The bound overlaps Adler 10^-8±2 /s.',
+    },
+};
+/**
+ * Confront BE-48's GRW single-nucleon rate with an experimental collapse
+ * bound. The single-nucleon rate is `evaluateGRWLocalization` at m = m_0
+ * (mass ratio 1), i.e. exactly λ₀.
+ *
+ * @public
+ */
+export function confrontBE48(obs = LISA_PATHFINDER_CSL) {
+    const m_0 = 1.67e-27; // nucleon mass, the GRW reference
+    const predicted_rate_per_s = evaluateGRWLocalization({ m_kg: m_0, m_0_kg: m_0 });
+    return {
+        predicted_rate_per_s,
+        bound_rate_per_s: obs.bound_rate_per_s,
+        satisfied: predicted_rate_per_s <= obs.bound_rate_per_s,
+        observation: obs,
+    };
+}
+//# sourceMappingURL=be48-collapse-confrontation.js.map

package/dist/bridges/be48-collapse-confrontation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be48-collapse-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be48-collapse-confrontation.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAahF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA6B;IAC3D,gBAAgB,EAAE,OAAO;IACzB,iBAAiB,EAAE,OAAO;IAC1B,KAAK,EAAE,IAAI;IACX,UAAU,EAAE;QACV,QAAQ,EAAE,oJAAoJ;QAC9J,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,yKAAyK;KAChL;CACF,CAAC;AAYF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,MAAgC,mBAAmB;IAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,kCAAkC;IACxD,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,oBAAoB;QACpB,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,SAAS,EAAE,oBAAoB,IAAI,GAAG,CAAC,gBAAgB;QACvD,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}

package/dist/bridges/confrontation-coverage.d.ts

@@ -18,16 +18,11 @@
  * @module bridges/confrontation-coverage
  */
 /**
- * Catalog ids with a committed real-data confrontation:
- *   - BE-36 — GW170817 vs the GW-speed bound (be36-gw170817-confrontation.ts)
- *   - BE-23 — SYK Planckian dissipation vs cuprate data
- *             (be23-planckian-confrontation.ts)
- *   - BE-52 — Mercury anomalous perihelion advance vs Einstein 1915
- *             (be52-mercury-confrontation.ts) — the first established-bridge
- *             confrontation, GR's original empirical triumph
- *
- * Single source of truth — also consumed by `composition/bridge-analysis.ts`
- * (the priority scorecard's data-confrontation flag).
+ * Catalog ids with a committed real-data confrontation — a SORTED
+ * projection of the confrontation registry's keyset (single source of
+ * truth; adding a `ConfrontationEntry` grows this set automatically).
+ * Consumed by `composition/bridge-analysis.ts` for the scorecard's
+ * data-confrontation flag.
  *
  * @internal
  */

package/dist/bridges/confrontation-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAKH;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAyB,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}
+{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAMH;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAEnD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}

package/dist/bridges/confrontation-coverage.js

@@ -19,21 +19,17 @@
  */
 import { BRIDGE_EQUATIONS } from './index.js';
 import { CATALOG_GRAPH } from '../composition/catalog-graph.js';
+import { CONFRONTATIONS } from './confrontations.js';
 /**
- * Catalog ids with a committed real-data confrontation:
- *   - BE-36 — GW170817 vs the GW-speed bound (be36-gw170817-confrontation.ts)
- *   - BE-23 — SYK Planckian dissipation vs cuprate data
- *             (be23-planckian-confrontation.ts)
- *   - BE-52 — Mercury anomalous perihelion advance vs Einstein 1915
- *             (be52-mercury-confrontation.ts) — the first established-bridge
- *             confrontation, GR's original empirical triumph
- *
- * Single source of truth — also consumed by `composition/bridge-analysis.ts`
- * (the priority scorecard's data-confrontation flag).
+ * Catalog ids with a committed real-data confrontation — a SORTED
+ * projection of the confrontation registry's keyset (single source of
+ * truth; adding a `ConfrontationEntry` grows this set automatically).
+ * Consumed by `composition/bridge-analysis.ts` for the scorecard's
+ * data-confrontation flag.
  *
  * @internal
  */
-export const DATA_CONFRONTED_IDS = new Set([23, 36, 52]);
+export const DATA_CONFRONTED_IDS = new Set([...CONFRONTATIONS.keys()].sort((a, b) => a - b));
 /**
  * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
  * composition graph, and the data-confrontation registry; fabricates

package/dist/bridges/confrontation-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+C9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"confrontation-coverage.js","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAC7D,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjD,CAAC;AA+CF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}

package/dist/bridges/confrontations.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Confrontation registry — maps a bridge id to a normalized
+ * `ConfrontationOutcome`-producing `run()`. Wraps the three existing
+ * confrontation modules (be-23/36/52) behind the unified outcome shape and
+ * hosts the new confrontations. `DATA_CONFRONTED_IDS` is a projection of
+ * this registry's keyset (single source of truth). Confrontations are
+ * ORTHOGONAL to the discovery funnel — nothing here imports discovery.
+ *
+ * @module bridges/confrontations
+ */
+import type { ConfrontationOutcome, ObservationKind } from './observations/types.js';
+/** One registered confrontation. @public */
+export interface ConfrontationEntry {
+    readonly bridgeId: number;
+    readonly title: string;
+    readonly kind: ObservationKind;
+    run(): ConfrontationOutcome;
+}
+/** The registry (frozen view). @public */
+export declare const CONFRONTATIONS: ReadonlyMap<number, ConfrontationEntry>;
+/** All entries, in ascending bridge-id order. @public */
+export declare function listConfrontations(): ConfrontationEntry[];
+/** Run one confrontation; `undefined` if the id is not registered. @public */
+export declare function runConfrontation(bridgeId: number): ConfrontationOutcome | undefined;
+//# sourceMappingURL=confrontations.d.ts.map

package/dist/bridges/confrontations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAQrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAoHD,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAY,CAAC;AAEhF,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}

package/dist/bridges/confrontations.js

@@ -0,0 +1,125 @@
+import { residualInSigma } from './observations/types.js';
+import { confrontBE52 } from './be52-mercury-confrontation.js';
+import { confrontBE37 } from './be37-cassini-confrontation.js';
+import { confrontBE36 } from './be36-gw170817-confrontation.js';
+import { confrontBE23 } from './be23-planckian-confrontation.js';
+import { confrontBE48 } from './be48-collapse-confrontation.js';
+const be52Entry = {
+    bridgeId: 52,
+    title: 'GR perihelion precession vs Mercury (Clemence 1947)',
+    kind: 'value',
+    run() {
+        const r = confrontBE52();
+        return {
+            kind: 'value',
+            predicted: r.predicted_arcsec_per_century,
+            observed: r.observed_arcsec_per_century,
+            sigma: r.observation.observed_sigma_arcsec_per_century,
+            residualInSigma: r.residual_in_sigma,
+            withinObserved: r.withinObserved,
+            units: 'arcsec/century',
+            provenance: { citation: r.observation.citation, year: 1947, retrieved: '2026-07-02' },
+        };
+    },
+};
+const be23Entry = {
+    bridgeId: 23,
+    title: 'Planckian dissipation α vs overdoped cuprates (Legros 2019)',
+    kind: 'value',
+    run() {
+        const r = confrontBE23();
+        // withinObserved means "within 1σ" (see ConfrontationOutcome / the CLI's
+        // "within 1σ ✓" label) — derive it from the residual, not from
+        // r.withinPlanckianBand (a separate O(1)-band membership check that can
+        // diverge from the residual verdict away from the committed α).
+        return {
+            kind: 'value',
+            predicted: 1.0,
+            observed: r.alphaAggregate,
+            sigma: r.alphaAggregateErr,
+            residualInSigma: residualInSigma(1.0, r.alphaAggregate, r.alphaAggregateErr),
+            withinObserved: residualInSigma(1.0, r.alphaAggregate, r.alphaAggregateErr) <= 1,
+            units: 'dimensionless (α)',
+            provenance: { citation: r.observation.citation, year: 2019, retrieved: '2026-07-02' },
+        };
+    },
+};
+// be-36 upper-bound confrontation. VERIFIED field names (BE36ConfrontationResult,
+// be36-gw170817-confrontation.ts:76-93): upperBound, lowerBound, encodedBound,
+// passesEncodedBound, observation. It is two-sided; map BE-36's encoded bound
+// as `predicted` and the observational positive-side bound as `bound`, with
+// `passesEncodedBound` as `satisfied`. GWSpeedObservation's citation field is
+// named `citation` (verified at be36-gw170817-confrontation.ts:51).
+const be36Entry = {
+    bridgeId: 36,
+    title: 'GW speed vs GW170817 bound',
+    kind: 'upper-bound',
+    run() {
+        const r = confrontBE36();
+        return {
+            kind: 'upper-bound',
+            predicted: r.encodedBound,
+            bound: r.upperBound,
+            satisfied: r.passesEncodedBound,
+            units: '|c_GW − c| / c (dimensionless)',
+            provenance: {
+                citation: r.observation.citation,
+                year: 2017,
+                retrieved: '2026-07-02',
+                note: `two-sided bound: upper ${r.upperBound}, lower ${r.lowerBound}; encoded |ratio| ≤ ${r.encodedBound}`,
+            },
+        };
+    },
+};
+const be37Entry = {
+    bridgeId: 37,
+    title: 'GR Shapiro delay (PPN γ) vs Cassini (Bertotti 2003)',
+    kind: 'value',
+    run() {
+        const r = confrontBE37();
+        return {
+            kind: 'value',
+            predicted: r.predicted_gamma,
+            observed: r.observed_gamma,
+            sigma: r.observation.observed_gamma_sigma,
+            residualInSigma: r.residual_in_sigma,
+            withinObserved: r.withinObserved,
+            units: 'PPN γ (dimensionless)',
+            provenance: r.observation.provenance,
+        };
+    },
+};
+const be48Entry = {
+    bridgeId: 48,
+    title: 'GRW collapse rate vs LISA-Pathfinder bound (Carlesso 2016)',
+    kind: 'upper-bound',
+    run() {
+        const r = confrontBE48();
+        return {
+            kind: 'upper-bound',
+            predicted: r.predicted_rate_per_s,
+            bound: r.bound_rate_per_s,
+            satisfied: r.satisfied,
+            units: 's⁻¹ (collapse rate)',
+            provenance: r.observation.provenance,
+        };
+    },
+};
+const REGISTRY = new Map([
+    [23, be23Entry],
+    [36, be36Entry],
+    [37, be37Entry],
+    [48, be48Entry],
+    [52, be52Entry],
+]);
+/** The registry (frozen view). @public */
+export const CONFRONTATIONS = REGISTRY;
+/** All entries, in ascending bridge-id order. @public */
+export function listConfrontations() {
+    return [...REGISTRY.values()].sort((a, b) => a.bridgeId - b.bridgeId);
+}
+/** Run one confrontation; `undefined` if the id is not registered. @public */
+export function runConfrontation(bridgeId) {
+    return REGISTRY.get(bridgeId)?.run();
+}
+//# sourceMappingURL=confrontations.js.map

package/dist/bridges/confrontations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAUhE,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,4BAA4B;YACzC,QAAQ,EAAE,CAAC,CAAC,2BAA2B;YACvC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,iCAAiC;YACtD,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gBAAgB;YACvB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,yEAAyE;QACzE,+DAA+D;QAC/D,wEAAwE;QACxE,gEAAgE;QAChE,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,iBAAiB;YAC1B,eAAe,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC;YAC5E,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAChF,KAAK,EAAE,mBAAmB;YAC1B,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,KAAK,EAAE,CAAC,CAAC,UAAU;YACnB,SAAS,EAAE,CAAC,CAAC,kBAAkB;YAC/B,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE;gBACV,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ;gBAChC,IAAI,EAAE,IAAI;gBACV,SAAS,EAAE,YAAY;gBACvB,IAAI,EAAE,0BAA0B,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,YAAY,EAAE;aAC3G;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;YACzC,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,uBAAuB;YAC9B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4DAA4D;IACnE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,oBAAoB;YACjC,KAAK,EAAE,CAAC,CAAC,gBAAgB;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,KAAK,EAAE,qBAAqB;YAC5B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA6B;IACnD,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;CAChB,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAA4C,QAAQ,CAAC;AAEhF,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}

package/dist/bridges/observations/types.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Typed observation + confrontation-outcome layer for `upt confront`.
+ * The outcome is a discriminated union on `kind` so each confrontation
+ * carries only the fields it can honestly populate (no NaN placeholders).
+ *
+ * @module bridges/observations/types
+ */
+/** Provenance every observation record must carry. @public */
+export interface ObservationProvenance {
+    /** Paper + locus, e.g. "Bertotti-Iess-Tortora 2003, Nature 425:374". */
+    readonly citation: string;
+    readonly year: number;
+    /** ISO date the value was transcribed into the repo. */
+    readonly retrieved: string;
+    /** Caveats: what was digitized, unit conversions, model conventions. */
+    readonly note?: string;
+}
+/** One named uncertainty component (e.g. statistical vs systematic). @public */
+export interface SigmaComponent {
+    readonly label: string;
+    readonly value: number;
+}
+/** How the observation constrains the prediction. @public */
+export type ObservationKind = 'value' | 'upper-bound' | 'consistency' | 'table';
+/**
+ * Normalized confrontation result — discriminated on `kind`. Each arm
+ * carries only the fields it can honestly populate.
+ *
+ * @public
+ */
+export type ConfrontationOutcome = {
+    readonly kind: 'value';
+    readonly predicted: number;
+    readonly observed: number;
+    readonly sigma: number;
+    readonly residualInSigma: number;
+    readonly withinObserved: boolean;
+    readonly units: string;
+    readonly provenance: ObservationProvenance;
+} | {
+    readonly kind: 'upper-bound';
+    readonly predicted: number;
+    readonly bound: number;
+    readonly satisfied: boolean;
+    readonly units: string;
+    readonly provenance: ObservationProvenance;
+} | {
+    readonly kind: 'consistency';
+    readonly predicted: number;
+    readonly approaches: number;
+    readonly fractionalGap: number;
+    readonly units: string;
+    readonly provenance: ObservationProvenance;
+} | {
+    readonly kind: 'table';
+    readonly rows: ReadonlyArray<{
+        readonly label: string;
+        readonly predicted: number;
+        readonly observed: number;
+        readonly sigma: number;
+        readonly residualInSigma: number;
+    }>;
+    readonly units: string;
+    readonly provenance: ObservationProvenance;
+};
+/** |predicted − observed| in units of the observed 1σ. @public */
+export declare function residualInSigma(predicted: number, observed: number, sigma: number): number;
+/** Combined 1σ from named components (root-sum-square). @public */
+export declare function combineInQuadrature(components: readonly SigmaComponent[]): number;
+//# sourceMappingURL=types.d.ts.map

package/dist/bridges/observations/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/bridges/observations/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,8DAA8D;AAC9D,MAAM,WAAW,qBAAqB;IACpC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,6DAA6D;AAC7D,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,OAAO,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,CAAC,CAAC;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C,CAAC;AAEN,kEAAkE;AAClE,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK1F;AAED,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,CAKjF"}

package/dist/bridges/observations/types.js

@@ -0,0 +1,22 @@
+/**
+ * Typed observation + confrontation-outcome layer for `upt confront`.
+ * The outcome is a discriminated union on `kind` so each confrontation
+ * carries only the fields it can honestly populate (no NaN placeholders).
+ *
+ * @module bridges/observations/types
+ */
+/** |predicted − observed| in units of the observed 1σ. @public */
+export function residualInSigma(predicted, observed, sigma) {
+    if (!(Number.isFinite(sigma) && sigma > 0)) {
+        throw new RangeError('residualInSigma: sigma must be finite and > 0');
+    }
+    return Math.abs(predicted - observed) / sigma;
+}
+/** Combined 1σ from named components (root-sum-square). @public */
+export function combineInQuadrature(components) {
+    if (components.length === 0) {
+        throw new RangeError('combineInQuadrature: need at least one component');
+    }
+    return Math.sqrt(components.reduce((acc, c) => acc + c.value * c.value, 0));
+}
+//# sourceMappingURL=types.js.map

package/dist/bridges/observations/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/bridges/observations/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoEH,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,QAAgB,EAAE,KAAa;IAChF,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;AAChD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,UAAqC;IACvE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/bridges/sensitivity.d.ts

@@ -0,0 +1,13 @@
+/** One input's elasticity. @public */
+export interface Elasticity {
+    readonly input: string;
+    readonly elasticity: number;
+}
+/**
+ * Elasticity ranking for a value-kind confrontation's inputs, descending.
+ * `[]` for non-value-kind or unregistered ids.
+ *
+ * @public
+ */
+export declare function decidingMeasurement(bridgeId: number): Elasticity[];
+//# sourceMappingURL=sensitivity.d.ts.map

package/dist/bridges/sensitivity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sensitivity.d.ts","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAcA,sCAAsC;AACtC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAkBD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,EAAE,CA2BlE"}