universal-physics-tensor 0.7.2 → 0.14.0

package/dist/bridges/be23-planckian-confrontation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be23-planckian-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be23-planckian-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAKH;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,wEAAwE;IACxE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,8DAA8D;IAC9D,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EACtB,SAAS;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,GACjE,IAAI,CAAC;IACT,0EAA0E;IAC1E,QAAQ,CAAC,oBAAoB,EAAE,WAAW,GAAG,cAAc,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,oBAwBhC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAY,CAAC;AAErE;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,uDAAuD;IACvD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,yEAAyE;IACzE,QAAQ,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;IACtE,2DAA2D;IAC3D,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClD;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,wEAAwE;IACxE,QAAQ,CAAC,eAAe,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC;IAClD;;;;;;OAMG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,qDAAqD;IACrD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;CAC5C;AAUD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,oBAAyC,GAC7C,uBAAuB,CAqEzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCACf,SAAQ,uBAAuB;IAC/B,wDAAwD;IACxD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC;IACvD,yEAAyE;IACzE,QAAQ,CAAC,6BAA6B,EAAE,OAAO,CAAC;CACjD;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,GAAE,oBAAyC,GAC7C,gCAAgC,CAyBlC"}

package/dist/bridges/be23-planckian-confrontation.js

@@ -0,0 +1,196 @@
+/**
+ * BE-23 × overdoped-cuprate Planckian dissipation — the second
+ * real-data confrontation (follows the GW170817 pattern of
+ * `be36-gw170817-confrontation.ts`: observation record with citations,
+ * a `confront` function that recomputes the published comparison, and
+ * honest-finding fields).
+ *
+ * Published dataset: Legros et al. 2019 *Nature Physics* 15:142,
+ * "Universal T-linear resistivity and Planckian dissipation in
+ * overdoped cuprates" (arXiv:1805.02512). The paper measures the
+ * T-linear resistivity slope across overdoped cuprates (Bi2212,
+ * Bi2201, LSCO, Nd-LSCO) and converts it, via the Drude relation
+ * ρ = m* / (n e² τ), into a Planckian scattering coefficient α defined by
+ *
+ *   ℏ/τ = α · k_B T,    finding α ≈ 1 within a factor ~2 (O(1)).
+ *
+ * ── DATA-ENCODING HONESTY LEVEL: AGGREGATE, NOT PER-MATERIAL ──
+ * The per-material α table from Legros et al. was NOT reproduced here:
+ * it could not be re-verified against the paper at encoding time
+ * (network access to arXiv/Nature unavailable), and reproducing table
+ * rows from memory risks fabricating numbers. Per the repo's
+ * no-fabricated-literals rule, this module encodes ONLY the paper's
+ * abstract-level aggregate claim, conservatively stated as
+ * α = 1.0 ± 0.4 (i.e., α is O(1), within roughly a factor of 2 of the
+ * Planckian value α = 1, across the materials studied). Anyone with
+ * the paper in hand can upgrade `PLANCKIAN_CUPRATES` to per-material
+ * rows; the `perMaterialAlphas: null` field is the explicit marker
+ * that this upgrade has not happened.
+ *
+ * ── WHAT IS ACTUALLY CONFRONTED ──
+ * BE-23's evaluator (`evaluateSYKResistivity`) computes
+ *
+ *   ρ(T) = ρ_0 + (m* · k_B T)/(n_e · e² · ℏ) · α_SYK,
+ *
+ * which is exactly the Drude resistivity with the Planckian rate
+ * 1/τ = α_SYK · k_B T / ℏ substituted. So the encoding's α_SYK is the
+ * SAME dimensionless α the paper reports, and the supportable test is:
+ *   1. Is the published α band consistent with the O(1) assumption the
+ *      BE-23 docstring makes for α_SYK? (Operationalized here as the
+ *      factor-2 band [0.5, 2] — OUR reading of "O(1)", not a number
+ *      from the paper.)
+ *   2. Is the evaluator's thermal term algebraically identical to
+ *      (m* / (n_e e²)) · (α k_B T/ℏ), i.e., Drude × Planckian-rate?
+ *      (`encodedFormConsistent`, checked numerically at an arbitrary
+ *      positive parameter point — the parameters cancel structurally,
+ *      so no material data is needed or fabricated for this check.)
+ * NOT claimed: that UPT/SYK *predicts* α (BE-23 bundles α_SYK as a
+ * free O(1) coefficient — status: speculative), nor that agreement
+ * here validates the strange-metal/black-hole bridge framing.
+ *
+ * @module bridges/be23-planckian-confrontation
+ */
+import { PhysicalConstants } from '../core/types.js';
+import { evaluateSYKResistivity } from './equations/be-23-syk-planckian.js';
+/**
+ * Legros et al. 2019 overdoped-cuprate Planckian-dissipation record,
+ * encoded at AGGREGATE honesty level (see module doc for why).
+ *
+ * @public
+ */
+export const PLANCKIAN_CUPRATES = {
+    materials: ['Bi2212', 'Bi2201', 'LSCO', 'Nd-LSCO'],
+    alpha_aggregate: 1.0,
+    alpha_aggregate_err: 0.4,
+    // Eve L-5 note: the paper's "within roughly a factor of 2" is a
+    // MULTIPLICATIVE spread ([0.5, 2.0]); the additive 1.0±0.4 encoded
+    // here is deliberately NARROWER (1σ interval [0.6, 1.4]), which makes
+    // withinPlanckianBandAtOneSigma conservative-by-construction rather
+    // than informative. A faithful multiplicative σ would sit on the band
+    // edge. Upgrade alongside the per-material table when available.
+    perMaterialAlphas: null,
+    encodingHonestyLevel: 'aggregate',
+    citation: 'Legros et al. 2019 Nature Phys. 15:142 (arXiv:1805.02512), ' +
+        '"Universal T-linear resistivity and Planckian dissipation in ' +
+        'overdoped cuprates" — abstract-level claim that the T-linear ' +
+        'scattering rate is the Planckian rate k_B T/ℏ to within ~×2 ' +
+        '(encoded conservatively as α = 1.0 ± 0.4)',
+    honestyNote: 'AGGREGATE encoding only: the per-material α table of Legros et ' +
+        'al. 2019 was not reproduced (paper not re-verifiable at encoding ' +
+        'time; transcribing from memory risks fabrication). α = 1.0 ± 0.4 ' +
+        'encodes the abstract-level "α = O(1), within a factor ~2 of 1" ' +
+        'claim. perMaterialAlphas is null until upgraded from the paper.',
+};
+/**
+ * The factor-2 band [0.5, 2] used to operationalize the "α_SYK is
+ * O(1)" assumption in BE-23's docstring. This band is UPT's reading of
+ * "O(1)" — it is not a number published by Legros et al.
+ *
+ * @public
+ */
+export const PLANCKIAN_O1_BAND = [0.5, 2];
+/** Arbitrary positive parameters for the structural Drude≡evaluator check.
+ *  NOT material data — the identity holds for any positive values. */
+const STRUCTURAL_CHECK = {
+    m_star_kg: 9.1093837015e-31, // electron mass, CODATA 2018 (convenience scale)
+    n_e_per_m3: 1e28,
+    T_K: 100,
+};
+/**
+ * Confront BE-23's Planckian-dissipation encoding with the published
+ * overdoped-cuprate α band (the framework's second real-data
+ * confrontation, after BE-36 × GW170817).
+ *
+ * @public
+ */
+export function confrontBE23(obs = PLANCKIAN_CUPRATES) {
+    if (!(Number.isFinite(obs.alpha_aggregate) && obs.alpha_aggregate > 0)) {
+        throw new RangeError('confrontBE23: alpha_aggregate must be finite and > 0');
+    }
+    if (!Array.isArray(obs.materials) || obs.materials.length === 0) {
+        throw new RangeError('confrontBE23: materials must be a non-empty array');
+    }
+    if (obs.perMaterialAlphas !== null) {
+        for (const row of obs.perMaterialAlphas) {
+            if (!(Number.isFinite(row.alpha) && row.alpha > 0)) {
+                throw new RangeError(`confrontBE23: per-material alpha for "${row.material}" must be finite and > 0`);
+            }
+        }
+    }
+    const { hbar, kB, e } = PhysicalConstants;
+    const alpha = obs.alpha_aggregate;
+    const planckianRateAt = (T_K) => {
+        if (!(Number.isFinite(T_K) && T_K >= 0)) {
+            throw new RangeError('planckianRateAt: T_K must be finite and ≥ 0');
+        }
+        return (alpha * kB * T_K) / hbar;
+    };
+    // All encoded α values within the O(1) band. At aggregate honesty
+    // level there is exactly one: the central value (per-material rows,
+    // when encoded, are all checked).
+    const alphas = obs.perMaterialAlphas !== null
+        ? obs.perMaterialAlphas.map((r) => r.alpha)
+        : [alpha];
+    const [bandLo, bandHi] = PLANCKIAN_O1_BAND;
+    const withinPlanckianBand = alphas.every((a) => a >= bandLo && a <= bandHi);
+    // Structural check: evaluator thermal term ≡ Drude × Planckian rate.
+    const { m_star_kg, n_e_per_m3, T_K } = STRUCTURAL_CHECK;
+    const viaEvaluator = evaluateSYKResistivity({
+        rho_0: 0,
+        m_star_kg,
+        n_e_per_m3,
+        T_K,
+        alpha_SYK: alpha,
+    });
+    const viaDrude = (m_star_kg / (n_e_per_m3 * e * e)) * planckianRateAt(T_K);
+    const encodedFormRelErr = Math.abs(viaEvaluator - viaDrude) / viaDrude;
+    const encodedFormConsistent = encodedFormRelErr <= 1e-12;
+    return {
+        alphaAggregate: alpha,
+        alphaAggregateErr: obs.alpha_aggregate_err,
+        perMaterialAlphas: obs.perMaterialAlphas,
+        planckianBand: PLANCKIAN_O1_BAND,
+        withinPlanckianBand,
+        planckianRateAt,
+        encodedFormConsistent,
+        encodedFormRelErr,
+        note: 'AGGREGATE-level confrontation: only the abstract-level α = ' +
+            '1.0 ± 0.4 claim of Legros et al. 2019 is encoded; the ' +
+            'per-material α table was not reproduced (perMaterialAlphas is ' +
+            'null). The verdict tests consistency of the published O(1) α ' +
+            'band with BE-23\'s α_SYK = O(1) assumption (band [0.5, 2] is ' +
+            'UPT\'s operationalization of "O(1)", not a published number). ' +
+            'No claim that SYK/UPT predicts α — BE-23 bundles α_SYK as a ' +
+            'free coefficient and remains status: speculative.',
+        observation: obs,
+    };
+}
+/**
+ * `confrontBE23` + first-order propagation of the α uncertainty.
+ *
+ * @public
+ */
+export function confrontBE23WithUncertainty(obs = PLANCKIAN_CUPRATES) {
+    const base = confrontBE23(obs);
+    const sigma = obs.alpha_aggregate_err;
+    if (!(Number.isFinite(sigma) && sigma >= 0)) {
+        throw new RangeError('confrontBE23WithUncertainty: alpha_aggregate_err must be finite and ≥ 0');
+    }
+    const { hbar, kB } = PhysicalConstants;
+    const planckianRateSigmaAt = (T_K) => {
+        if (!(Number.isFinite(T_K) && T_K >= 0)) {
+            throw new RangeError('planckianRateSigmaAt: T_K must be finite and ≥ 0');
+        }
+        return (sigma * kB * T_K) / hbar;
+    };
+    const [bandLo, bandHi] = PLANCKIAN_O1_BAND;
+    const withinPlanckianBandAtOneSigma = base.alphaAggregate - sigma >= bandLo &&
+        base.alphaAggregate + sigma <= bandHi;
+    return {
+        ...base,
+        alphaSigma: sigma,
+        planckianRateSigmaAt,
+        withinPlanckianBandAtOneSigma,
+    };
+}
+//# sourceMappingURL=be23-planckian-confrontation.js.map

package/dist/bridges/be23-planckian-confrontation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be23-planckian-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be23-planckian-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AA2B5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAyB;IACtD,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC;IAClD,eAAe,EAAE,GAAG;IACpB,mBAAmB,EAAE,GAAG;IACxB,gEAAgE;IAChE,mEAAmE;IACnE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,iEAAiE;IACjE,iBAAiB,EAAE,IAAI;IACvB,oBAAoB,EAAE,WAAW;IACjC,QAAQ,EACN,6DAA6D;QAC7D,+DAA+D;QAC/D,+DAA+D;QAC/D,8DAA8D;QAC9D,2CAA2C;IAC7C,WAAW,EACT,iEAAiE;QACjE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;CACpE,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAsCrE;sEACsE;AACtE,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE,gBAAgB,EAAE,iDAAiD;IAC9E,UAAU,EAAE,IAAI;IAChB,GAAG,EAAE,GAAG;CACA,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAA4B,kBAAkB;IAE9C,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,GAAG,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACxC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,UAAU,CAClB,yCAAyC,GAAG,CAAC,QAAQ,0BAA0B,CAChF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,CAAC;IAClC,MAAM,eAAe,GAAG,CAAC,GAAW,EAAU,EAAE;QAC9C,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,6CAA6C,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACnC,CAAC,CAAC;IAEF,kEAAkE;IAClE,oEAAoE;IACpE,kCAAkC;IAClC,MAAM,MAAM,GACV,GAAG,CAAC,iBAAiB,KAAK,IAAI;QAC5B,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACd,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC;IAC3C,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC;IAE5E,qEAAqE;IACrE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,gBAAgB,CAAC;IACxD,MAAM,YAAY,GAAG,sBAAsB,CAAC;QAC1C,KAAK,EAAE,CAAC;QACR,SAAS;QACT,UAAU;QACV,GAAG;QACH,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,SAAS,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC;IACvE,MAAM,qBAAqB,GAAG,iBAAiB,IAAI,KAAK,CAAC;IAEzD,OAAO;QACL,cAAc,EAAE,KAAK;QACrB,iBAAiB,EAAE,GAAG,CAAC,mBAAmB;QAC1C,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;QACxC,aAAa,EAAE,iBAAiB;QAChC,mBAAmB;QACnB,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,IAAI,EACF,6DAA6D;YAC7D,wDAAwD;YACxD,gEAAgE;YAChE,+DAA+D;YAC/D,+DAA+D;YAC/D,gEAAgE;YAChE,8DAA8D;YAC9D,mDAAmD;QACrD,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC;AAuBD;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA4B,kBAAkB;IAE9C,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,CAAC;IACtC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAU,EAAE;QACnD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,kDAAkD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACnC,CAAC,CAAC;IACF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC;IAC3C,MAAM,6BAA6B,GACjC,IAAI,CAAC,cAAc,GAAG,KAAK,IAAI,MAAM;QACrC,IAAI,CAAC,cAAc,GAAG,KAAK,IAAI,MAAM,CAAC;IACxC,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,KAAK;QACjB,oBAAoB;QACpB,6BAA6B;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/be36-gw170817-confrontation.d.ts

@@ -0,0 +1,111 @@
+/**
+ * BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
+ * per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
+ *
+ * Recomputes the published GW170817/GRB 170817A graviton-speed bounds
+ * from the observation record and confronts BE-36's encoded bound:
+ *
+ *   upper = +c·Δt_obs / D          (attributes the whole observed
+ *                                   1.74 s lag to faster GW travel)
+ *   lower = −c·(t_delay,max − Δt_obs) / D
+ *                                  (assumes a 10 s intrinsic EM
+ *                                   emission delay, of which only
+ *                                   1.74 s materialized)
+ *
+ * with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
+ * (not the 40 Mpc central value). Published result:
+ * −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
+ * Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
+ *
+ * BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
+ * `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
+ * negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
+ * `passesEncodedBound` therefore refers to the positive (GW-faster)
+ * side only — see the result fields for the honest breakdown.
+ *
+ * @module bridges/be36-gw170817-confrontation
+ */
+/**
+ * A multi-messenger speed-bound observation record.
+ *
+ * @public
+ */
+export interface GWSpeedObservation {
+    /** Observed GW-merger → EM-onset lag (s). */
+    readonly dt_obs_s: number;
+    /** 1σ uncertainty on the lag (s). */
+    readonly dt_obs_err_s: number;
+    /** Central luminosity distance (Mpc). */
+    readonly distance_central_mpc: number;
+    /** Conservative LOWER distance bound used for the speed constraint (Mpc). */
+    readonly distance_lower_mpc: number;
+    /** Maximum assumed intrinsic EM-emission delay (s). */
+    readonly emission_delay_max_s: number;
+    readonly citation: string;
+}
+/**
+ * The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
+ * INTEGRAL).
+ *
+ * @public
+ */
+export declare const GW170817: GWSpeedObservation;
+/**
+ * Result of confronting BE-36 with a speed-bound observation.
+ *
+ * @public
+ */
+export interface BE36ConfrontationResult {
+    /** Recomputed upper bound on (c_GW − c)/c (positive, GW-faster side). */
+    readonly upperBound: number;
+    /** Recomputed lower bound on (c_GW − c)/c (negative, GW-slower side). */
+    readonly lowerBound: number;
+    /** Conservative distance used (m). */
+    readonly distance_m: number;
+    /**
+     * Whether the recomputed POSITIVE side satisfies BE-36's encoded
+     * |ratio| ≤ 1e-15. The encoded bound is symmetric; the published
+     * negative side (−3e-15) does not satisfy it — see `note`.
+     */
+    readonly passesEncodedBound: boolean;
+    /** BE-36's encoded bound is two-sided (`Math.abs`). */
+    readonly encodedBoundIsSymmetric: true;
+    readonly encodedBound: number;
+    readonly note: string;
+    readonly observation: GWSpeedObservation;
+}
+/**
+ * Recompute the GW170817-style speed bounds from an observation record
+ * and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
+ * first confrontation with real experimental data rather than
+ * reproduction of a closed form).
+ *
+ * @public
+ */
+export declare function confrontBE36(obs?: GWSpeedObservation): BE36ConfrontationResult;
+/**
+ * Confrontation result with first-order uncertainty (v0.10.0 T4).
+ *
+ * Propagates σ(Δt_obs) = ±0.05 s only: both bounds are linear in
+ * Δt_obs (|∂bound/∂Δt| = c/D), so σ_bound = (c/D)·σ_Δt. The distance
+ * enters as the paper's deliberately-conservative LOWER bound (26 Mpc)
+ * — a bound, not a central value — so propagating a distance σ on top
+ * would double-count conservatism; documented, not hidden.
+ *
+ * @public
+ */
+export interface BE36ConfrontationWithUncertainty extends BE36ConfrontationResult {
+    /** 1σ on the positive (GW-faster) bound, from σ(Δt_obs). */
+    readonly upperBoundSigma: number;
+    /** 1σ on the negative (GW-slower) bound, from σ(Δt_obs). */
+    readonly lowerBoundSigma: number;
+}
+/**
+ * `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
+ * — the G-3 "uncertainty propagates" claim, delivered for the data
+ * confrontation).
+ *
+ * @public
+ */
+export declare function confrontBE36WithUncertainty(obs?: GWSpeedObservation): BE36ConfrontationWithUncertainty;
+//# sourceMappingURL=be36-gw170817-confrontation.d.ts.map

package/dist/bridges/be36-gw170817-confrontation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be36-gw170817-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAQH;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yCAAyC;IACzC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,uDAAuD;IACvD,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,kBAStB,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sCAAsC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,uDAAuD;IACvD,QAAQ,CAAC,uBAAuB,EAAE,IAAI,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,kBAA6B,GACjC,uBAAuB,CAyCzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gCACf,SAAQ,uBAAuB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,GAAE,kBAA6B,GACjC,gCAAgC,CASlC"}

package/dist/bridges/be36-gw170817-confrontation.js

@@ -0,0 +1,100 @@
+/**
+ * BE-36 × GW170817 — the first real-data confrontation (v0.8.0 T5,
+ * per docs/planning/v0.8.0-Design.md §4 + r2-2/r2-3).
+ *
+ * Recomputes the published GW170817/GRB 170817A graviton-speed bounds
+ * from the observation record and confronts BE-36's encoded bound:
+ *
+ *   upper = +c·Δt_obs / D          (attributes the whole observed
+ *                                   1.74 s lag to faster GW travel)
+ *   lower = −c·(t_delay,max − Δt_obs) / D
+ *                                  (assumes a 10 s intrinsic EM
+ *                                   emission delay, of which only
+ *                                   1.74 s materialized)
+ *
+ * with the paper's CONSERVATIVE lower distance bound D = 26 Mpc
+ * (not the 40 Mpc central value). Published result:
+ * −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (1 significant figure;
+ * Abbott et al. 2017 ApJL 848:L13 §3, arXiv:1710.05832).
+ *
+ * BE-36's encoded bound is SYMMETRIC (|ratio| ≤ 10⁻¹⁵,
+ * `GW170817_SPEED_BOUND`); the published bound is asymmetric and its
+ * negative side (−3×10⁻¹⁵) lies OUTSIDE the symmetric encoding.
+ * `passesEncodedBound` therefore refers to the positive (GW-faster)
+ * side only — see the result fields for the honest breakdown.
+ *
+ * @module bridges/be36-gw170817-confrontation
+ */
+import { C_SI } from '../core/constants.js';
+import { GW170817_SPEED_BOUND } from './equations/be-36-gw-speed-bound.js';
+/** Metres per megaparsec (repo-conventional literal, cf. H0_SI). */
+const MPC_M = 3.0857e22;
+/**
+ * The GW170817 / GRB 170817A observation (LIGO/Virgo + Fermi-GBM +
+ * INTEGRAL).
+ *
+ * @public
+ */
+export const GW170817 = {
+    dt_obs_s: 1.74,
+    dt_obs_err_s: 0.05,
+    distance_central_mpc: 40,
+    distance_lower_mpc: 26,
+    emission_delay_max_s: 10,
+    citation: 'Abbott et al. 2017 ApJ Lett. 848:L13 (arXiv:1710.05832), §3 ' +
+        '"Speed of Gravity"',
+};
+/**
+ * Recompute the GW170817-style speed bounds from an observation record
+ * and confront BE-36's encoded bound (v0.8.0 G-3 — the framework's
+ * first confrontation with real experimental data rather than
+ * reproduction of a closed form).
+ *
+ * @public
+ */
+export function confrontBE36(obs = GW170817) {
+    if (!(Number.isFinite(obs.dt_obs_s) && obs.dt_obs_s > 0)) {
+        throw new RangeError('confrontBE36: dt_obs_s must be finite and > 0');
+    }
+    if (!(Number.isFinite(obs.distance_lower_mpc) && obs.distance_lower_mpc > 0)) {
+        throw new RangeError('confrontBE36: distance_lower_mpc must be finite and > 0');
+    }
+    if (!(Number.isFinite(obs.emission_delay_max_s) &&
+        obs.emission_delay_max_s >= obs.dt_obs_s)) {
+        throw new RangeError('confrontBE36: emission_delay_max_s must be finite and ≥ dt_obs_s ' +
+            '(the lower bound assumes the intrinsic delay exceeds the observed lag)');
+    }
+    const distance_m = obs.distance_lower_mpc * MPC_M;
+    const upperBound = (C_SI * obs.dt_obs_s) / distance_m;
+    const lowerBound = (-C_SI * (obs.emission_delay_max_s - obs.dt_obs_s)) / distance_m;
+    return {
+        upperBound,
+        lowerBound,
+        distance_m,
+        passesEncodedBound: upperBound <= GW170817_SPEED_BOUND,
+        encodedBoundIsSymmetric: true,
+        encodedBound: GW170817_SPEED_BOUND,
+        note: 'The encoded BE-36 bound |ratio| ≤ 1e-15 is a symmetric ' +
+            'simplification; the published bound is asymmetric ' +
+            '(−3e-15 ≤ ratio ≤ +7e-16) and its negative side exceeds the ' +
+            'symmetric encoding. passesEncodedBound refers to the positive ' +
+            'side only.',
+        observation: obs,
+    };
+}
+/**
+ * `confrontBE36` + first-order uncertainty on both bounds (v0.10.0 T4
+ * — the G-3 "uncertainty propagates" claim, delivered for the data
+ * confrontation).
+ *
+ * @public
+ */
+export function confrontBE36WithUncertainty(obs = GW170817) {
+    const base = confrontBE36(obs);
+    if (!(Number.isFinite(obs.dt_obs_err_s) && obs.dt_obs_err_s >= 0)) {
+        throw new RangeError('confrontBE36WithUncertainty: dt_obs_err_s must be finite and ≥ 0');
+    }
+    const sigma = (C_SI * obs.dt_obs_err_s) / base.distance_m;
+    return { ...base, upperBoundSigma: sigma, lowerBoundSigma: sigma };
+}
+//# sourceMappingURL=be36-gw170817-confrontation.js.map

package/dist/bridges/be36-gw170817-confrontation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be36-gw170817-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be36-gw170817-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,oEAAoE;AACpE,MAAM,KAAK,GAAG,SAAS,CAAC;AAqBxB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,oBAAoB,EAAE,EAAE;IACxB,kBAAkB,EAAE,EAAE;IACtB,oBAAoB,EAAE,EAAE;IACxB,QAAQ,EACN,8DAA8D;QAC9D,oBAAoB;CACvB,CAAC;AA2BF;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,MAA0B,QAAQ;IAElC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC,kBAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,UAAU,CAClB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IACE,CAAC,CACC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACzC,GAAG,CAAC,oBAAoB,IAAI,GAAG,CAAC,QAAQ,CACzC,EACD,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,mEAAmE;YACjE,wEAAwE,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,kBAAkB,GAAG,KAAK,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC;IACtD,MAAM,UAAU,GACd,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,oBAAoB,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,UAAU,CAAC;IAEnE,OAAO;QACL,UAAU;QACV,UAAU;QACV,UAAU;QACV,kBAAkB,EAAE,UAAU,IAAI,oBAAoB;QACtD,uBAAuB,EAAE,IAAI;QAC7B,YAAY,EAAE,oBAAoB;QAClC,IAAI,EACF,yDAAyD;YACzD,oDAAoD;YACpD,8DAA8D;YAC9D,gEAAgE;YAChE,YAAY;QACd,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC;AAqBD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA0B,QAAQ;IAElC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,UAAU,CAClB,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1D,OAAO,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AACrE,CAAC"}

package/dist/bridges/bridge-equations.d.ts

@@ -0,0 +1,129 @@
+/**
+ * `BridgeEquations` — a convenience facade over the per-bridge evaluators.
+ *
+ * Every catalogued bridge ships a self-contained `evaluate*()` function in its
+ * `src/bridges/equations/be-*.ts` module (plus the two v0.4.0 GR evaluators at
+ * `src/bridges/`). Those modules are reachable only by subpath import. This
+ * facade gathers them under one root-level object keyed by readable names, so a
+ * consumer can write `BridgeEquations.decoherenceRate({...})` from the package
+ * root. Each method is a **1:1 pass-through** to the existing pure function —
+ * NO new physics, no recomputation; the method name simply mirrors the
+ * evaluator (the `evaluate` prefix dropped).
+ *
+ * Scope honesty (these are NOT changed by the facade):
+ *   - Methods backed by a documented typed-stub / reformulation carry that
+ *     module's caveats. In particular `onsagerEntropyProduction` (BE-28) encodes
+ *     the Onsager σ = ΣJX *definiendum*, NOT the MEPP maximization principle
+ *     (see the ⚠ CRITICAL WARNING in be-28-onsager-entropy-production.ts).
+ *   - BE-25 maps to the live IIT `intrinsicInformation`; the archived
+ *     Penrose-Hameroff `evaluateOrchOR` is deliberately NOT surfaced.
+ *   - BE-51 has no evaluator and is intentionally absent (no fabricated physics).
+ *     BE-52 is `perihelionPrecession` (the v0.4.0 GR evaluator).
+ *
+ * The README previously described this as "specified in Parts I–III"; the specs
+ * actually specify the physics + AST encodings, not this TypeScript API, so the
+ * facade is a deliberate ergonomic layer, not a spec transcription.
+ *
+ * @module bridges/bridge-equations
+ */
+import { evaluateDecoherenceRate } from './equations/be-11-decoherence-master.js';
+import { evaluateThermalDeBroglie } from './equations/be-12-coherence-length.js';
+import { evaluateEinsteinTrace } from './equations/be-13-einstein-trace.js';
+import { evaluateRyuTakayanagi, evaluateRyuTakayanagiNatural } from './equations/be-14-ryu-takayanagi.js';
+import { evaluateCoarseningLength, evaluateCoarseningLengthSquared } from './equations/be-15-emergence.js';
+import { evaluateLandauerEnergy } from './equations/be-16-landauer.js';
+import { evaluateBE17SpinDensitySquared } from './equations/be-17-einstein-cartan.js';
+import { evaluateHiggsMass } from './equations/be-18-higgs-mass.js';
+import { evaluateQuantumBounce } from './equations/be-19-quantum-bounce.js';
+import { evaluateCosmologicalConstantDensity } from './equations/be-20-vacuum-energy.js';
+import { evaluateKSSBound } from './equations/be-21-kss-bound.js';
+import { evaluateTEE } from './equations/be-22-topological-entanglement.js';
+import { evaluateSYKResistivity } from './equations/be-23-syk-planckian.js';
+import { evaluateFRETEfficiency } from './equations/be-24-foerster-fret.js';
+import { evaluateIntrinsicInformation } from './equations/be-25-iit-phi.js';
+import { evaluateDNATunneling } from './equations/be-26-dna-tunneling.js';
+import { evaluateEffectiveTemperature } from './equations/be-27-effective-temperature.js';
+import { evaluateOnsagerEntropyProduction } from './equations/be-28-onsager-entropy-production.js';
+import { evaluateJarzynski } from './equations/be-29-jarzynski.js';
+import { evaluateBekensteinBound, evaluateFLMFirstLaw } from './equations/be-30-flm-first-law.js';
+import { evaluateBenincasaDowker } from './equations/be-31-causal-set-bd.js';
+import { evaluateQRFOverlap } from './equations/be-32-quantum-reference-frame.js';
+import { evaluateHertzMillis } from './equations/be-33-hertz-millis.js';
+import { evaluateKibbleZurek } from './equations/be-34-kibble-zurek.js';
+import { evaluateCrossingResidual } from './equations/be-35-conformal-bootstrap.js';
+import { evaluateGWSpeedRatio } from './equations/be-36-gw-speed-bound.js';
+import { evaluateShapiroDelay } from './equations/be-37-shapiro-delay.js';
+import { evaluateMONDForce } from './equations/be-38-mond.js';
+import { evaluateBetaG, evaluateBetaLambda } from './equations/be-39-asymptotic-safety.js';
+import { evaluateCompositeHiggs } from './equations/be-40-composite-higgs.js';
+import { evaluateSwampland } from './equations/be-41-swampland.js';
+import { evaluateHawkingTemperature } from './equations/be-42-hawking-temperature.js';
+import { evaluateEREPRBound } from './equations/be-43-er-epr.js';
+import { evaluateBE44SoftHairCharge } from './equations/be-44-soft-hair.js';
+import { evaluateTCC } from './equations/be-45-tcc.js';
+import { evaluateWeinbergVilenkinP } from './equations/be-46-multiverse-measure.js';
+import { evaluateBBNDark } from './equations/be-47-bbn-dark-sector.js';
+import { evaluateGRWLocalization } from './equations/be-48-grw-localization.js';
+import { evaluateQuantumDarwinism } from './equations/be-49-quantum-darwinism.js';
+import { evaluateWFTimeSymmetry } from './equations/be-50-wheeler-feynman.js';
+import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
+import { evaluateRandallSundrumH2 } from './equations/be-54-randall-sundrum-brane.js';
+import { evaluateGravitationalLensing } from './gravitational-lensing.js';
+import { evaluatePerihelionPrecession } from './perihelion-precession.js';
+/**
+ * Root-level facade keyed by readable method names. Each value is a re-export of
+ * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
+ *
+ * @public
+ */
+export declare const BridgeEquations: {
+    readonly decoherenceRate: typeof evaluateDecoherenceRate;
+    readonly thermalDeBroglie: typeof evaluateThermalDeBroglie;
+    readonly einsteinTrace: typeof evaluateEinsteinTrace;
+    readonly ryuTakayanagi: typeof evaluateRyuTakayanagi;
+    readonly ryuTakayanagiNatural: typeof evaluateRyuTakayanagiNatural;
+    readonly coarseningLength: typeof evaluateCoarseningLength;
+    readonly coarseningLengthSquared: typeof evaluateCoarseningLengthSquared;
+    readonly landauerEnergy: typeof evaluateLandauerEnergy;
+    readonly spinDensitySquared: typeof evaluateBE17SpinDensitySquared;
+    readonly higgsMass: typeof evaluateHiggsMass;
+    readonly quantumBounce: typeof evaluateQuantumBounce;
+    readonly cosmologicalConstantDensity: typeof evaluateCosmologicalConstantDensity;
+    readonly kssBound: typeof evaluateKSSBound;
+    readonly topologicalEntanglementEntropy: typeof evaluateTEE;
+    readonly sykResistivity: typeof evaluateSYKResistivity;
+    readonly fretEfficiency: typeof evaluateFRETEfficiency;
+    readonly intrinsicInformation: typeof evaluateIntrinsicInformation;
+    readonly dnaTunneling: typeof evaluateDNATunneling;
+    readonly effectiveTemperature: typeof evaluateEffectiveTemperature;
+    readonly onsagerEntropyProduction: typeof evaluateOnsagerEntropyProduction;
+    readonly jarzynski: typeof evaluateJarzynski;
+    readonly bekensteinBound: typeof evaluateBekensteinBound;
+    readonly flmFirstLaw: typeof evaluateFLMFirstLaw;
+    readonly benincasaDowker: typeof evaluateBenincasaDowker;
+    readonly qrfOverlap: typeof evaluateQRFOverlap;
+    readonly hertzMillis: typeof evaluateHertzMillis;
+    readonly kibbleZurek: typeof evaluateKibbleZurek;
+    readonly crossingResidual: typeof evaluateCrossingResidual;
+    readonly gwSpeedRatio: typeof evaluateGWSpeedRatio;
+    readonly shapiroDelay: typeof evaluateShapiroDelay;
+    readonly mondForce: typeof evaluateMONDForce;
+    readonly betaG: typeof evaluateBetaG;
+    readonly betaLambda: typeof evaluateBetaLambda;
+    readonly compositeHiggs: typeof evaluateCompositeHiggs;
+    readonly swampland: typeof evaluateSwampland;
+    readonly hawkingTemperature: typeof evaluateHawkingTemperature;
+    readonly erEprBound: typeof evaluateEREPRBound;
+    readonly softHairCharge: typeof evaluateBE44SoftHairCharge;
+    readonly tcc: typeof evaluateTCC;
+    readonly weinbergVilenkinP: typeof evaluateWeinbergVilenkinP;
+    readonly bbnDark: typeof evaluateBBNDark;
+    readonly grwLocalization: typeof evaluateGRWLocalization;
+    readonly quantumDarwinism: typeof evaluateQuantumDarwinism;
+    readonly wfTimeSymmetry: typeof evaluateWFTimeSymmetry;
+    readonly yangMillsBeta: typeof evaluateYangMillsBeta;
+    readonly randallSundrumH2: typeof evaluateRandallSundrumH2;
+    readonly gravitationalLensing: typeof evaluateGravitationalLensing;
+    readonly perihelionPrecession: typeof evaluatePerihelionPrecession;
+};
+//# sourceMappingURL=bridge-equations.d.ts.map

package/dist/bridges/bridge-equations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-equations.d.ts","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkDlB,CAAC"}