universal-physics-tensor 0.7.3 → 0.15.0

package/dist/bridges/bridge-equations.js

@@ -0,0 +1,130 @@
+/**
+ * `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 const BridgeEquations = {
+    decoherenceRate: evaluateDecoherenceRate, // BE-11
+    thermalDeBroglie: evaluateThermalDeBroglie, // BE-12
+    einsteinTrace: evaluateEinsteinTrace, // BE-13
+    ryuTakayanagi: evaluateRyuTakayanagi, // BE-14
+    ryuTakayanagiNatural: evaluateRyuTakayanagiNatural, // BE-14 (natural units)
+    coarseningLength: evaluateCoarseningLength, // BE-15
+    coarseningLengthSquared: evaluateCoarseningLengthSquared, // BE-15 (squared form)
+    landauerEnergy: evaluateLandauerEnergy, // BE-16
+    spinDensitySquared: evaluateBE17SpinDensitySquared, // BE-17
+    higgsMass: evaluateHiggsMass, // BE-18
+    quantumBounce: evaluateQuantumBounce, // BE-19
+    cosmologicalConstantDensity: evaluateCosmologicalConstantDensity, // BE-20
+    kssBound: evaluateKSSBound, // BE-21 (no-arg constant)
+    topologicalEntanglementEntropy: evaluateTEE, // BE-22
+    sykResistivity: evaluateSYKResistivity, // BE-23
+    fretEfficiency: evaluateFRETEfficiency, // BE-24
+    intrinsicInformation: evaluateIntrinsicInformation, // BE-25 (IIT; OrchOR archived)
+    dnaTunneling: evaluateDNATunneling, // BE-26
+    effectiveTemperature: evaluateEffectiveTemperature, // BE-27
+    onsagerEntropyProduction: evaluateOnsagerEntropyProduction, // BE-28 (definiendum, NOT MEPP)
+    jarzynski: evaluateJarzynski, // BE-29
+    bekensteinBound: evaluateBekensteinBound, // BE-30
+    flmFirstLaw: evaluateFLMFirstLaw, // BE-30 (first law)
+    benincasaDowker: evaluateBenincasaDowker, // BE-31
+    qrfOverlap: evaluateQRFOverlap, // BE-32
+    hertzMillis: evaluateHertzMillis, // BE-33
+    kibbleZurek: evaluateKibbleZurek, // BE-34
+    crossingResidual: evaluateCrossingResidual, // BE-35
+    gwSpeedRatio: evaluateGWSpeedRatio, // BE-36
+    shapiroDelay: evaluateShapiroDelay, // BE-37
+    mondForce: evaluateMONDForce, // BE-38
+    betaG: evaluateBetaG, // BE-39 (Newton coupling)
+    betaLambda: evaluateBetaLambda, // BE-39 (cosmological coupling)
+    compositeHiggs: evaluateCompositeHiggs, // BE-40
+    swampland: evaluateSwampland, // BE-41
+    hawkingTemperature: evaluateHawkingTemperature, // BE-42
+    erEprBound: evaluateEREPRBound, // BE-43
+    softHairCharge: evaluateBE44SoftHairCharge, // BE-44
+    tcc: evaluateTCC, // BE-45
+    weinbergVilenkinP: evaluateWeinbergVilenkinP, // BE-46
+    bbnDark: evaluateBBNDark, // BE-47
+    grwLocalization: evaluateGRWLocalization, // BE-48
+    quantumDarwinism: evaluateQuantumDarwinism, // BE-49
+    wfTimeSymmetry: evaluateWFTimeSymmetry, // BE-50
+    yangMillsBeta: evaluateYangMillsBeta, // BE-53
+    randallSundrumH2: evaluateRandallSundrumH2, // BE-54
+    // v0.4.0 GR evaluators (return result objects, not scalars):
+    gravitationalLensing: evaluateGravitationalLensing, // GR lensing
+    perihelionPrecession: evaluatePerihelionPrecession, // BE-52
+};
+//# sourceMappingURL=bridge-equations.js.map

package/dist/bridges/bridge-equations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridge-equations.js","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,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,wBAAwB;IAClF,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,uBAAuB,EAAE,+BAA+B,EAAE,uBAAuB;IACjF,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,kBAAkB,EAAE,8BAA8B,EAAQ,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,2BAA2B,EAAE,mCAAmC,EAAE,QAAQ;IAC1E,QAAQ,EAAE,gBAAgB,EAAgC,0BAA0B;IACpF,8BAA8B,EAAE,WAAW,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,+BAA+B;IACzF,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,wBAAwB,EAAE,gCAAgC,EAAE,gCAAgC;IAC5F,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,oBAAoB;IAC9E,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,0BAA0B;IACpF,UAAU,EAAE,kBAAkB,EAA4B,gCAAgC;IAC1F,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,cAAc,EAAE,0BAA0B,EAAgB,QAAQ;IAClE,GAAG,EAAE,WAAW,EAA0C,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,6DAA6D;IAC7D,oBAAoB,EAAE,4BAA4B,EAAQ,aAAa;IACvE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;CAC1D,CAAC"}

package/dist/bridges/catalog-adapter.d.ts

@@ -1,5 +1,5 @@
 /**
- * Catalog adapter: ingests the 42-entry `BRIDGE_EQUATIONS` array into
+ * Catalog adapter: ingests the 44-entry `BRIDGE_EQUATIONS` array into
  * the v0.7-p2 sparse semantic catalog as `BridgeCell` values.
  *
  * Phase 3 of v0.7 Proposal 2 (Sparse Semantic Catalog).

package/dist/bridges/catalog-adapter.js

@@ -1,5 +1,5 @@
 /**
- * Catalog adapter: ingests the 42-entry `BRIDGE_EQUATIONS` array into
+ * Catalog adapter: ingests the 44-entry `BRIDGE_EQUATIONS` array into
  * the v0.7-p2 sparse semantic catalog as `BridgeCell` values.
  *
  * Phase 3 of v0.7 Proposal 2 (Sparse Semantic Catalog).

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

@@ -0,0 +1,67 @@
+/**
+ * Empirical-spine coverage audit (Direction 4).
+ *
+ * "Strengthen the empirical spine" must NOT fabricate physics data, so the
+ * responsible, composable deliverable is tooling that makes the spine's gaps
+ * machine-visible: for each catalogued bridge, what grounding does it
+ * actually have — a real-data confrontation, a computable graph edge, a
+ * dimensional-signature encoding, or nothing but a status label? The report
+ * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
+ * is thinnest, and lets the discovery loop prefer well-grounded bridges.
+ *
+ * This INVENTS nothing — every field is read from the catalog
+ * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the two
+ * committed data-confrontation modules.
+ *
+ * INTERNAL — surfaced via `upt coverage`.
+ *
+ * @module bridges/confrontation-coverage
+ */
+/**
+ * The grounding tier of one bridge, strongest first:
+ *   - `data-confronted` — has a committed real-data confrontation.
+ *   - `graph-computable` — has a composition-graph edge AND a dimensional
+ *      signature (numerically computable + dimensionally encoded).
+ *   - `encoded-only` — has a dimensional signature but no graph edge.
+ *   - `thin` — no dimensional signature (catalogued by label/prose only).
+ */
+export type GroundingTier = 'data-confronted' | 'graph-computable' | 'encoded-only' | 'thin';
+/** One bridge's empirical-grounding profile. */
+interface BridgeCoverage {
+    readonly id: number;
+    readonly status: string;
+    readonly tier: GroundingTier;
+    /** A committed real-data confrontation exists. */
+    readonly hasDataConfrontation: boolean;
+    /** A composition-graph edge (computable evaluator) exists for this id. */
+    readonly hasGraphEdge: boolean;
+    /** A dimensional signature is registered for this id. */
+    readonly dimensionalSignaturePresent: boolean;
+    /** Number of literature references in the catalog entry. */
+    readonly citationCount: number;
+    /** Number of recorded known issues. */
+    readonly knownIssueCount: number;
+}
+/** The catalog-wide coverage report. */
+interface CoverageReport {
+    readonly bridges: readonly BridgeCoverage[];
+    readonly total: number;
+    /** Count by grounding tier. */
+    readonly byTier: Readonly<Record<GroundingTier, number>>;
+    /** Bridges with NO real-data confrontation (the empirical gap). */
+    readonly withoutDataConfrontation: number;
+    /** Bridges with NO literature reference at all. */
+    readonly withoutCitation: number;
+    /** Ids of the thinnest bridges (no dimensional signature), sorted. */
+    readonly thinBridges: readonly number[];
+}
+/**
+ * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
+ * composition graph, and the data-confrontation registry; fabricates
+ * nothing. See module docs.
+ *
+ * @internal
+ */
+export declare function auditCoverage(): CoverageReport;
+export {};
+//# sourceMappingURL=confrontation-coverage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"confrontation-coverage.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontation-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAaH;;;;;;;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

@@ -0,0 +1,83 @@
+/**
+ * Empirical-spine coverage audit (Direction 4).
+ *
+ * "Strengthen the empirical spine" must NOT fabricate physics data, so the
+ * responsible, composable deliverable is tooling that makes the spine's gaps
+ * machine-visible: for each catalogued bridge, what grounding does it
+ * actually have — a real-data confrontation, a computable graph edge, a
+ * dimensional-signature encoding, or nothing but a status label? The report
+ * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
+ * is thinnest, and lets the discovery loop prefer well-grounded bridges.
+ *
+ * This INVENTS nothing — every field is read from the catalog
+ * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the two
+ * committed data-confrontation modules.
+ *
+ * INTERNAL — surfaced via `upt coverage`.
+ *
+ * @module bridges/confrontation-coverage
+ */
+import { BRIDGE_EQUATIONS } from './index.js';
+import { CATALOG_GRAPH } from '../composition/catalog-graph.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)
+ */
+const DATA_CONFRONTED_IDS = new Set([23, 36]);
+/**
+ * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
+ * composition graph, and the data-confrontation registry; fabricates
+ * nothing. See module docs.
+ *
+ * @internal
+ */
+export function auditCoverage() {
+    const graphEdgeIds = new Set();
+    for (const e of CATALOG_GRAPH) {
+        if (e.beId !== null)
+            graphEdgeIds.add(e.beId);
+    }
+    const bridges = BRIDGE_EQUATIONS.map((entry) => {
+        const hasDataConfrontation = DATA_CONFRONTED_IDS.has(entry.id);
+        const hasGraphEdge = graphEdgeIds.has(entry.id);
+        const dimensionalSignaturePresent = entry.dimensional_signature !== null;
+        let tier;
+        if (hasDataConfrontation)
+            tier = 'data-confronted';
+        else if (hasGraphEdge && dimensionalSignaturePresent)
+            tier = 'graph-computable';
+        else if (dimensionalSignaturePresent)
+            tier = 'encoded-only';
+        else
+            tier = 'thin';
+        return {
+            id: entry.id,
+            status: entry.status,
+            tier,
+            hasDataConfrontation,
+            hasGraphEdge,
+            dimensionalSignaturePresent,
+            citationCount: entry.references.length,
+            knownIssueCount: entry.known_issues.length,
+        };
+    });
+    const byTier = {
+        'data-confronted': 0,
+        'graph-computable': 0,
+        'encoded-only': 0,
+        thin: 0,
+    };
+    for (const b of bridges)
+        byTier[b.tier]++;
+    return {
+        bridges: bridges.sort((a, b) => a.id - b.id),
+        total: bridges.length,
+        byTier,
+        withoutDataConfrontation: bridges.filter((b) => !b.hasDataConfrontation).length,
+        withoutCitation: bridges.filter((b) => b.citationCount === 0).length,
+        thinBridges: bridges.filter((b) => b.tier === 'thin').map((b) => b.id).sort((a, b) => a - b),
+    };
+}
+//# sourceMappingURL=confrontation-coverage.js.map

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

@@ -0,0 +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;;;;;GAKG;AACH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AA+CnE;;;;;;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/equations/_be-helpers.d.ts

@@ -41,7 +41,7 @@ import type { Dimension } from '../../dimensional/types.js';
  *
  * @internal
  */
-export interface FieldSpec {
+interface FieldSpec {
     /** Field name on the `input` record (e.g., `'M_kg'`). */
     readonly name: string;
     /** Inclusive lower bound (default `-Infinity`). */
@@ -142,4 +142,5 @@ export declare function validateBEDimensions(lhs: ExprNode, rhs: ExprNode, _equa
  * @internal
  */
 export declare function sym(name: string, dim: Dimension): ExprNode;
+export {};
 //# sourceMappingURL=_be-helpers.d.ts.map

package/dist/bridges/equations/_be-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAM5D;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,SAAS;IACxB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,oDAAoD;IACpD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,wEAAwE;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAwCD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,EACnD,KAAK,EAAE,CAAC,EACR,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,EACpC,aAAa,EAAE,MAAM,GACpB,IAAI,CAgCN;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAE1D"}
+{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAM5D;;;;;;;;;;;;;;GAcG;AACH,UAAU,SAAS;IACjB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,kDAAkD;IAClD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,oDAAoD;IACpD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,wEAAwE;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAwCD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,EACnD,KAAK,EAAE,CAAC,EACR,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,EACpC,aAAa,EAAE,MAAM,GACpB,IAAI,CAgCN;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAE1D"}

package/dist/bridges/equations/be-12-coherence-length.d.ts

@@ -58,7 +58,7 @@ export declare const BE12_COHERENCE_LENGTH_RHS: ExprNode;
 /** @internal */
 export declare const BE12_COHERENCE_LENGTH_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateThermalDeBroglie` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateThermalDeBroglie` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface ThermalDeBroglieInputs {
     /** Particle mass m (kg). Must be > 0 and finite. */

package/dist/bridges/equations/be-13-einstein-trace.d.ts

@@ -38,7 +38,7 @@
  *     density = [M L⁻¹ T⁻²]; [8πG/c⁴] = [L³M⁻¹T⁻²]/[L⁴T⁻⁴] =
  *     [L⁻¹M⁻¹T²]; [(8πG/c⁴)·T] = [L⁻¹M⁻¹T²]·[ML⁻¹T⁻²] = [L⁻²] ✓.
  *
- * v0.7 BE-X re-encoding (per docs/architecture/v0.7-be-x-reencoding-design-note.md
+ * v0.7 BE-X re-encoding (per docs/architecture/archive/v0.7-be-x-reencoding-design-note.md
  * §"BE-13 — TensorTraceNode for the Einstein trace"):
  *
  *   The `T_trace` stub in `BE13_EINSTEIN_TRACE_RHS` is now supplemented by
@@ -107,7 +107,7 @@ export declare const BE13_STRESS_ENERGY_NODE: StressEnergyTensorNode;
  */
 export declare const BE13_T_TRACE_NODE: TensorTraceNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateEinsteinTrace` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateEinsteinTrace` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface EinsteinTraceInputs {
     /** Cosmological constant Λ (m⁻²). Must be finite. */

package/dist/bridges/equations/be-13-einstein-trace.js

@@ -38,7 +38,7 @@
  *     density = [M L⁻¹ T⁻²]; [8πG/c⁴] = [L³M⁻¹T⁻²]/[L⁴T⁻⁴] =
  *     [L⁻¹M⁻¹T²]; [(8πG/c⁴)·T] = [L⁻¹M⁻¹T²]·[ML⁻¹T⁻²] = [L⁻²] ✓.
  *
- * v0.7 BE-X re-encoding (per docs/architecture/v0.7-be-x-reencoding-design-note.md
+ * v0.7 BE-X re-encoding (per docs/architecture/archive/v0.7-be-x-reencoding-design-note.md
  * §"BE-13 — TensorTraceNode for the Einstein trace"):
  *
  *   The `T_trace` stub in `BE13_EINSTEIN_TRACE_RHS` is now supplemented by

package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts

@@ -37,7 +37,7 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
 /** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
 export declare const RYU_TAKAYANAGI_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagi` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagi` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface RyuTakayanagiInputs {
     /** Minimal-surface area γ in SI square metres. Must be ≥ 0. */
@@ -50,7 +50,7 @@ interface RyuTakayanagiInputs {
  */
 export declare function evaluateRyuTakayanagi(input: RyuTakayanagiInputs): number;
 /**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagiNatural` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagiNatural` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface RyuTakayanagiNaturalInputs {
     /** Area measured in Planck areas (ℓ_P^2). Must be ≥ 0. */

package/dist/bridges/equations/be-15-emergence.d.ts

@@ -10,10 +10,24 @@
  *
  * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
  * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
- * over field configurations. The UPT AST grammar
- * (`symbol | op (* / + - ^) | integral | derivative`) provides none of
- * these primitives. The full Model A Langevin equation therefore
- * cannot be encoded as a closed-form scalar relation.
+ * over field configurations.
+ *
+ * **v0.14 update — barriers 1 and 2 lifted.** The dimensional AST grammar now
+ * provides `dirac-delta` (δ(x), with `[δ(x)] = [x]⁻¹`) and
+ * `variational-derivative` (δF/δφ, with `[δF/δφ] = [F]/([φ]·[μ])`) scalar
+ * primitives. The full Model A Langevin / fluctuation-dissipation relation is
+ * therefore now DIMENSIONALLY EXPRESSIBLE (and validated homogeneous — see
+ * `tests/dimensional/distributional-grammar.test.ts`). Barrier 3 (functional
+ * integration over field configurations, a measure over function space) remains
+ * out of scope. Note the *kinetic-coefficient* Γ of the bare Langevin equation
+ * carries dim `[φ]²·L³·T⁻¹·E⁻¹`, a DIFFERENT object from the coarsening
+ * diffusion constant Γ of the encoded scaling law below (`[Γ] = [L²/T]`); the
+ * two coincide only under a specific field normalization.
+ *
+ * The CATALOG encoding below is UNCHANGED: re-encoding the bridge from the
+ * Kawasaki-Gunton `L²=Γt` reduction to the now-expressible faithful Langevin
+ * form is a physics-curation decision (CONTRIBUTING.md), deferred to a
+ * physicist. v0.14 delivers only the grammar + a standalone homogeneity proof.
  *
  * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
  * Wave Z-D applies OpenAI's scalar reduction: the late-stage
@@ -135,7 +149,7 @@ export declare const BE15_COARSENING_LENGTH_SQUARED_RHS: ExprNode;
 /** @internal */
 export declare const BE15_COARSENING_LENGTH_SQUARED_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateCoarsening` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateCoarsening` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface CoarseningInputs {
     /** Model A kinetic coefficient Γ in [m²/s]. Must be finite and > 0. */

package/dist/bridges/equations/be-15-emergence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF;;GAEG;AACH,UAAU,gBAAgB;IACxB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAWxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAW/E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
+{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyHG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF;;GAEG;AACH,UAAU,gBAAgB;IACxB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAWxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAW/E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-15-emergence.js

@@ -10,10 +10,24 @@
  *
  * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
  * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
- * over field configurations. The UPT AST grammar
- * (`symbol | op (* / + - ^) | integral | derivative`) provides none of
- * these primitives. The full Model A Langevin equation therefore
- * cannot be encoded as a closed-form scalar relation.
+ * over field configurations.
+ *
+ * **v0.14 update — barriers 1 and 2 lifted.** The dimensional AST grammar now
+ * provides `dirac-delta` (δ(x), with `[δ(x)] = [x]⁻¹`) and
+ * `variational-derivative` (δF/δφ, with `[δF/δφ] = [F]/([φ]·[μ])`) scalar
+ * primitives. The full Model A Langevin / fluctuation-dissipation relation is
+ * therefore now DIMENSIONALLY EXPRESSIBLE (and validated homogeneous — see
+ * `tests/dimensional/distributional-grammar.test.ts`). Barrier 3 (functional
+ * integration over field configurations, a measure over function space) remains
+ * out of scope. Note the *kinetic-coefficient* Γ of the bare Langevin equation
+ * carries dim `[φ]²·L³·T⁻¹·E⁻¹`, a DIFFERENT object from the coarsening
+ * diffusion constant Γ of the encoded scaling law below (`[Γ] = [L²/T]`); the
+ * two coincide only under a specific field normalization.
+ *
+ * The CATALOG encoding below is UNCHANGED: re-encoding the bridge from the
+ * Kawasaki-Gunton `L²=Γt` reduction to the now-expressible faithful Langevin
+ * form is a physics-curation decision (CONTRIBUTING.md), deferred to a
+ * physicist. v0.14 delivers only the grammar + a standalone homogeneity proof.
  *
  * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
  * Wave Z-D applies OpenAI's scalar reduction: the late-stage

package/dist/bridges/equations/be-15-emergence.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAGH,OAAO,EAEL,IAAI,EACJ,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAcF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,iCAAiC,CAClC,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,kCAAkC,EAClC,kCAAkC,EAClC,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyHG;AAGH,OAAO,EAEL,IAAI,EACJ,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAcF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,iCAAiC,CAClC,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,kCAAkC,EAClC,kCAAkC,EAClC,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-16-landauer.d.ts

@@ -161,7 +161,7 @@ export declare const BE16_LANDAUER_RHS: ExprNode;
 /** @internal */
 export declare const BE16_LANDAUER_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateLandauer` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateLandauer` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface LandauerInputs {
     /** Thermodynamic temperature T in kelvin. Must be finite and ≥ 0. */

package/dist/bridges/equations/be-17-einstein-cartan.d.ts

@@ -216,7 +216,7 @@ export declare const BE17_SPIN_DENSITY_SQUARED_RHS: ExprNode;
 /** @internal */
 export declare const BE17_SPIN_DENSITY_SQUARED_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBE17` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBE17` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BE17Inputs {
     /**

package/dist/bridges/equations/be-18-higgs-mass.d.ts

@@ -45,7 +45,7 @@ export declare const BE18_HIGGS_MASS_RHS: ExprNode;
 /** @internal */
 export declare const BE18_HIGGS_MASS_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateHiggsMass` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateHiggsMass` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface HiggsMassInputs {
     /** Dimensionless Yukawa coupling g_dark (= y in SM convention). Must be finite. */

package/dist/bridges/equations/be-19-quantum-bounce.d.ts

@@ -61,7 +61,7 @@ import type { FriedmannEquationNode } from '../../dimensional/friedmann-equation
  */
 export declare const QUANTUM_BOUNCE_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateQuantumBounce` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateQuantumBounce` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface QuantumBounceInputs {
     /** Mass-energy density ρ in kg/m³. Must be ≥ 0. */

package/dist/bridges/equations/be-20-vacuum-energy.d.ts

@@ -7,7 +7,9 @@
  * The mass density associated with the observed cosmological constant
  * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
  * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
- * ρ_Λ ≈ 5.4×10⁻²⁷ kg/m³, matching the observed dark-energy density
+ * ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
+ * the previous 5.4×10⁻²⁷ figure did not match the formula), in the
+ * observed dark-energy density range
  * (≈70% of the critical density at the present epoch).
  *
  * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
@@ -46,8 +48,6 @@
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
 import { Dimension } from '../../dimensional/types.js';
-/** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
-export declare const INV_LENGTH_2: Dimension;
 /** [M L⁻³] — mass density (kg/m³). */
 export declare const MASS_DENSITY: Dimension;
 /**
@@ -63,7 +63,7 @@ export declare const BE20_VACUUM_ENERGY_RHS: ExprNode;
 /** @internal */
 export declare const BE20_VACUUM_ENERGY_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateCosmologicalConstant` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateCosmologicalConstant` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface CosmologicalConstantInputs {
     /**

package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAOpC,qEAAqE;AACrE,eAAO,MAAM,YAAY,EAAE,SAA6B,CAAC;AAEzD,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAqBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
+{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAUpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAqBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-20-vacuum-energy.js

@@ -7,7 +7,9 @@
  * The mass density associated with the observed cosmological constant
  * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
  * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
- * ρ_Λ ≈ 5.4×10⁻²⁷ kg/m³, matching the observed dark-energy density
+ * ρ_Λ ≈ 5.9×10⁻²⁷ kg/m³ (recomputed 2026-06-11 from Λ = 1.1056×10⁻⁵² m⁻²;
+ * the previous 5.4×10⁻²⁷ figure did not match the formula), in the
+ * observed dark-energy density range
  * (≈70% of the critical density at the present epoch).
  *
  * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
@@ -51,7 +53,7 @@ import { LENGTH } from '../../dimensional/types.js';
 import { PhysicalConstants } from '../../core/types.js';
 import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
-export const INV_LENGTH_2 = power(LENGTH, -2);
+const INV_LENGTH_2 = power(LENGTH, -2);
 /** [M L⁻³] — mass density (kg/m³). */
 export const MASS_DENSITY = {
     L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,

package/dist/bridges/equations/be-20-vacuum-energy.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,CAAC,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEzD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,OAAO,EAAE,oCAAoC;CACrD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}
+{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,OAAO,EAAE,oCAAoC;CACrD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}

package/dist/bridges/equations/be-22-topological-entanglement.d.ts

@@ -63,7 +63,7 @@ export declare const BE22_TOPOLOGICAL_TERM: ExprNode;
  */
 export declare const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateTEE` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateTEE` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface TEEInputs {
     /** Non-universal area-law coefficient α in m^-1. Must be finite. */