universal-physics-tensor 0.5.1 → 0.7.0

package/dist/bridges/catalog-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-adapter.js","sourceRoot":"","sources":["../../src/bridges/catalog-adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAWH,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AA4CnD;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9B,MAAM,CAAyB;IAE/C,YAAY,MAA8B;QACxC,KAAK,CACH,0BAA0B,MAAM,CAAC,MAAM,CAAC,MAAM,2BAA2B;YACzE,eAAe,MAAM,CAAC,OAAO,CAAC,MAAM,oBAAoB;YACxD,gBAAgB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,QAAQ,EAAE,CACxD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;;;;;GAOG;AACH,SAAS,sBAAsB,CAAC,MAAc;IAC5C,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC;QACzC,KAAK,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC;QACzC,KAAK,oBAAoB,CAAC,CAAC,OAAO,oBAAoB,CAAC;QACvD,KAAK,SAAS;YACZ,yDAAyD;YACzD,6DAA6D;YAC7D,0DAA0D;YAC1D,OAAO,oBAAoB,CAAC;QAC9B;YACE,OAAO,oBAAoB,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc;YACjB,OAAO,KAAK,CAAC;QACf;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,OAA2C;IAE3C,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,KAA0B;IACnD,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAkB,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,MAAM,MAAM,GAAkB,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAEhE,iEAAiE;IACjE,mEAAmE;IACnE,uDAAuD;IACvD,iBAAiB;IACjB,IACE,MAAM,CAAC,KAAK,KAAK,SAAS;QAC1B,MAAM,CAAC,KAAK,KAAK,SAAS,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QACpE,CAAC,CAAC,KAAK,CAAC,aAAa;QACrB,CAAC,CAAC,6BAA6B,KAAK,CAAC,EAAE,GAAG,CAAC;IAE7C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,MAAM,KAAK,CAAC,EAAE,EAAE;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,MAAM;QACN,MAAM;QACN,SAAS,EAAE,KAAK,CAAC,MAAM,KAAK,aAAa;QACzC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI;KAC7E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,SAAS,2BAA2B,CAClC,KAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,EAAE,EAAE,CAAC;IAChC,iEAAiE;IACjE,iEAAiE;IACjE,gBAAgB;IAChB,IAAI,KAAK,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO;YACL,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,yBAAyB;YACnC,MAAM;YACN,OAAO,EACL,MAAM,KAAK,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,gCAAgC;gBAC9D,6DAA6D;gBAC7D,wBAAwB;SAC3B,CAAC;IACJ,CAAC;IACD,gCAAgC;IAChC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,yBAAyB;YACnC,MAAM;YACN,OAAO,EACL,MAAM,KAAK,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,qBAAqB;gBACnD,2DAA2D;gBAC3D,uDAAuD;SAC1D,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,qBAAqB,KAAK,iBAAiB,EAAE,CAAC;QACtD,OAAO;YACL,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,yBAAyB;YACnC,MAAM;YACN,OAAO,EACL,MAAM,KAAK,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,+BAA+B;gBAC7D,IAAI,KAAK,CAAC,qBAAqB,qCAAqC;gBACpE,SAAS,iBAAiB,sCAAsC;SACnE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,OAA2C;IAE3C,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,SAAS,GAAiB,EAAE,CAAC;IAEnC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,KAAK,IAAI,CAAC;QAClC,IAAI,CAAC,WAAW;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;;YACxC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1B,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC5B,KAAK,OAAO;oBAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAAC,MAAM;gBAC7C,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAAC,MAAM;gBACjD,KAAK,MAAM;oBAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAAC,MAAM;YAC5C,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,WAAW;YACtB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtC,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,OAAO,EAAE,QAAQ;QACjB,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,WAAW;QACX,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAuB,EACvB,OAA2C;IAE3C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAA8B;IAE9B,MAAM,WAAW,GAAG;QAClB,GAAG,MAAM,CAAC,MAAM;QAChB,GAAG,MAAM,CAAC,QAAQ;QAClB,GAAG,MAAM,CAAC,IAAI;KACf,CAAC;IACF,OAAO;QACL,WAAW;QACX,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;QAChC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;QACpC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;KAC9B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,145 @@
+/**
+ * Shared helpers for the 43 BE-NN bridge-equation modules in
+ * `src/bridges/equations/`. Three behaviour-preserving extractions
+ * (v0.7.1 Phase 3 — simplifiers S-1, S-2, S-3):
+ *
+ *   - `validateFiniteInputs(input, fieldSpecs, evaluatorName)` —
+ *     replaces the per-evaluator `Number.isFinite(x) || x <= 0`
+ *     boilerplate. ~150 input guards collapse to a single
+ *     declarative call per evaluator.
+ *
+ *   - `validateBEDimensions(lhs, rhs, equationLabel)` — replaces
+ *     the per-bridge `validateBE##Dimensions()` wrapper body
+ *     (`validateEquation` + 2× `validate` + result-shape build).
+ *
+ *   - `sym(name, dim)` — replaces the file-local
+ *     `const sym = (name, dim) => ({ kind: 'symbol', name, dim })`
+ *     factory literally duplicated in all 43 BE-NN modules.
+ *
+ * Mirrors the structure + JSDoc style of `field-equation-helpers.ts`
+ * (the Phase-0 sibling that did the same job for the field-equation
+ * predicate AST nodes). Underscore-prefix on the filename signals
+ * "shared by siblings inside this directory; not part of the
+ * public surface" — same convention as `tests/bridges/_helpers.ts`.
+ *
+ * @module bridges/equations/_be-helpers
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import type { Dimension } from '../../dimensional/types.js';
+/**
+ * Declarative spec for a single field of an evaluator's `input` record.
+ *
+ * The default behaviour (no `min`/`max`) only verifies finiteness
+ * (`Number.isFinite`). The bound predicates compose with `Number.isFinite`
+ * so the resulting error always reads "finite ⟨adj⟩ number" — drop-in
+ * compatible with the existing BE-NN per-evaluator message format
+ * `"<evaluator>: <field> must be a finite <adjective> number, got <v>"`.
+ *
+ * The intentional simplicity: no closed-form domain constraints (e.g.,
+ * `R_near ≤ R_far`). Anything beyond per-field range checks stays inline
+ * in the evaluator (honesty policy — see commit message).
+ *
+ * @internal
+ */
+export interface FieldSpec {
+    /** Field name on the `input` record (e.g., `'M_kg'`). */
+    readonly name: string;
+    /** Inclusive lower bound (default `-Infinity`). */
+    readonly min?: number;
+    /** Inclusive upper bound (default `Infinity`). */
+    readonly max?: number;
+    /** Strict `>` instead of `≥` at the lower bound. */
+    readonly excludeMin?: boolean;
+    /** Strict `<` instead of `≤` at the upper bound. */
+    readonly excludeMax?: boolean;
+    /** Explicit override — when `min === 0` and you want to permit zero. */
+    readonly allowZero?: boolean;
+    /**
+     * Optional domain-specific noun phrase (e.g., 'probability', 'angle').
+     * When set, replaces the auto-generated "in range [a, b]" prose:
+     *   "<evaluator>: <field> must be a finite <description> number, got <v>"
+     *
+     * v0.7.1 Phase 4 Task 4.4 — Eve E4 fix. Restores the pre-extraction
+     * BE-25-iit-phi "probability" domain noun without reverting the
+     * helper-based migration.
+     *
+     * @internal
+     */
+    readonly description?: string;
+}
+/**
+ * Validate every field of `input` named by `fieldSpecs`. Throws a
+ * `RangeError` on the first violation with a message that contains
+ * the keywords (`"finite"`, plus `"positive"` / `"non-negative"` /
+ * `"in range"`) the existing per-BE-NN tests pattern-match against.
+ *
+ * The error message format matches the pre-extraction convention:
+ *
+ *   `<evaluatorName>: <fieldName> must be a finite <range> number, got <value>`
+ *
+ * Sample existing prose this preserves:
+ *
+ *   `evaluateShapiroDelay: M_kg must be a finite positive number, got -1`
+ *   `evaluateLandauerEnergy: temperature_K must be a finite non-negative number, got -1`
+ *   `evaluateQuantumBounce: Lambda_Tinv2 must be finite, got NaN`
+ *
+ * @param input - The evaluator's input record.
+ * @param fieldSpecs - The per-field range specs to enforce.
+ * @param evaluatorName - The calling function's name (e.g.,
+ *   `'evaluateShapiroDelay'`), used as the error-message prefix.
+ *
+ * @internal
+ */
+export declare function validateFiniteInputs<T extends object>(input: T, fieldSpecs: ReadonlyArray<FieldSpec>, evaluatorName: string): void;
+/**
+ * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
+ * and pack the result into the canonical `DimensionValidationReport`
+ * shape used by every BE-NN's `validate*Dimensions()` wrapper.
+ *
+ * The `equationLabel` parameter is currently unused at the message
+ * level (the existing wrappers don't surface labels in the report;
+ * the report is consumed by the dimensional-signature-catalog round-
+ * trip test which only reads `lhsDim` / `rhsDim`). It's accepted so
+ * future error-context enrichment can attach the label without a
+ * signature break.
+ *
+ * @param lhs - The bridge's encoded LHS AST.
+ * @param rhs - The bridge's encoded RHS AST.
+ * @param equationLabel - Human label (e.g., `'BE37'`); reserved for
+ *   future error-message use.
+ *
+ * @internal
+ */
+export declare function validateBEDimensions(lhs: ExprNode, rhs: ExprNode, _equationLabel: string): DimensionValidationReport;
+/**
+ * Build a `kind: 'symbol'` AST node with the given name and dimension.
+ *
+ * Direct replacement for the file-local factory duplicated in all 43
+ * BE-NN modules:
+ *
+ * ```ts
+ * const sym = (name: string, dim: Dimension): ExprNode =>
+ *   ({ kind: 'symbol', name, dim });
+ * ```
+ *
+ * **Bug-sensitivity note** (v0.7.1 Phase 3 risk surface): a subtle
+ * regression here — wrong `kind` discriminator, missing field, type
+ * coercion — affects every BE module silently. Behaviour-preserving
+ * extraction must produce a node that is `===`-structurally-equal
+ * to the pre-extraction literal:
+ *
+ *   - `kind` is literally the string `'symbol'`
+ *   - `name` is the caller's string, unmodified (no trim, no
+ *     case-fold, no whitespace check — the existing factory accepts
+ *     any string including `''`, `'-1'`, `'8pi'`, `'α'`)
+ *   - `dim` is the caller's `Dimension`, by reference (no clone, no
+ *     freeze — matches the existing factory's behaviour)
+ *   - the returned node is a fresh object on every call (no memo)
+ *
+ * @param name - Symbol label. Any string (including the empty string).
+ * @param dim - The SI dimension of the symbol.
+ *
+ * @internal
+ */
+export declare function sym(name: string, dim: Dimension): ExprNode;
+//# sourceMappingURL=_be-helpers.d.ts.map

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

@@ -0,0 +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"}

package/dist/bridges/equations/_be-helpers.js

@@ -0,0 +1,179 @@
+/**
+ * Shared helpers for the 43 BE-NN bridge-equation modules in
+ * `src/bridges/equations/`. Three behaviour-preserving extractions
+ * (v0.7.1 Phase 3 — simplifiers S-1, S-2, S-3):
+ *
+ *   - `validateFiniteInputs(input, fieldSpecs, evaluatorName)` —
+ *     replaces the per-evaluator `Number.isFinite(x) || x <= 0`
+ *     boilerplate. ~150 input guards collapse to a single
+ *     declarative call per evaluator.
+ *
+ *   - `validateBEDimensions(lhs, rhs, equationLabel)` — replaces
+ *     the per-bridge `validateBE##Dimensions()` wrapper body
+ *     (`validateEquation` + 2× `validate` + result-shape build).
+ *
+ *   - `sym(name, dim)` — replaces the file-local
+ *     `const sym = (name, dim) => ({ kind: 'symbol', name, dim })`
+ *     factory literally duplicated in all 43 BE-NN modules.
+ *
+ * Mirrors the structure + JSDoc style of `field-equation-helpers.ts`
+ * (the Phase-0 sibling that did the same job for the field-equation
+ * predicate AST nodes). Underscore-prefix on the filename signals
+ * "shared by siblings inside this directory; not part of the
+ * public surface" — same convention as `tests/bridges/_helpers.ts`.
+ *
+ * @module bridges/equations/_be-helpers
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+/**
+ * Compose the adjective phrase that appears in the error message,
+ * picked to match the existing per-BE-NN prose conventions:
+ *
+ *   - `min=0, excludeMin=true`  → "positive"        (i.e., `> 0`)
+ *   - `min=0`                   → "non-negative"    (i.e., `≥ 0`)
+ *   - bounded but not a 0-pin   → "in range [a, b]" (closed/open as set)
+ *   - unbounded                 → ""                (just "finite")
+ */
+function describeRange(spec) {
+    // Caller-supplied domain noun (e.g., 'probability') takes priority
+    // over the auto-generated range prose. Yields:
+    //   "<evaluator>: <field> must be a finite <description> number, got <v>"
+    // E.g., for BE-25 IIT p_cond / p_marg:
+    //   "evaluateIntrinsicInformation: p_cond must be a finite probability number, got -0.1"
+    if (spec.description !== undefined)
+        return `${spec.description} `;
+    const hasMin = spec.min !== undefined;
+    const hasMax = spec.max !== undefined;
+    const lowOpen = !!spec.excludeMin;
+    const highOpen = !!spec.excludeMax;
+    // The two ubiquitous zero-pinned shapes — keep these phrasings exactly
+    // as the existing 42 BE-NN evaluators emit them.
+    if (hasMin && !hasMax && spec.min === 0 && !spec.allowZero) {
+        if (lowOpen)
+            return 'positive '; // "finite positive number"
+        return 'non-negative '; // "finite non-negative number"
+    }
+    if (!hasMin && !hasMax)
+        return ''; // "finite number"
+    const lo = hasMin ? spec.min : -Infinity;
+    const hi = hasMax ? spec.max : Infinity;
+    const lb = lowOpen ? '(' : '[';
+    const rb = highOpen ? ')' : ']';
+    return `in range ${lb}${lo}, ${hi}${rb} `;
+}
+/**
+ * Validate every field of `input` named by `fieldSpecs`. Throws a
+ * `RangeError` on the first violation with a message that contains
+ * the keywords (`"finite"`, plus `"positive"` / `"non-negative"` /
+ * `"in range"`) the existing per-BE-NN tests pattern-match against.
+ *
+ * The error message format matches the pre-extraction convention:
+ *
+ *   `<evaluatorName>: <fieldName> must be a finite <range> number, got <value>`
+ *
+ * Sample existing prose this preserves:
+ *
+ *   `evaluateShapiroDelay: M_kg must be a finite positive number, got -1`
+ *   `evaluateLandauerEnergy: temperature_K must be a finite non-negative number, got -1`
+ *   `evaluateQuantumBounce: Lambda_Tinv2 must be finite, got NaN`
+ *
+ * @param input - The evaluator's input record.
+ * @param fieldSpecs - The per-field range specs to enforce.
+ * @param evaluatorName - The calling function's name (e.g.,
+ *   `'evaluateShapiroDelay'`), used as the error-message prefix.
+ *
+ * @internal
+ */
+export function validateFiniteInputs(input, fieldSpecs, evaluatorName) {
+    for (const spec of fieldSpecs) {
+        const raw = input[spec.name];
+        const value = raw;
+        if (typeof value !== 'number' || !Number.isFinite(value)) {
+            const range = describeRange(spec);
+            throw new RangeError(`${evaluatorName}: ${spec.name} must be a finite ${range}number, got ${String(value)}`);
+        }
+        if (spec.min !== undefined) {
+            const violatesMin = spec.excludeMin ? value <= spec.min : value < spec.min;
+            if (violatesMin) {
+                const range = describeRange(spec);
+                throw new RangeError(`${evaluatorName}: ${spec.name} must be a finite ${range}number, got ${value}`);
+            }
+        }
+        if (spec.max !== undefined) {
+            const violatesMax = spec.excludeMax ? value >= spec.max : value > spec.max;
+            if (violatesMax) {
+                const range = describeRange(spec);
+                throw new RangeError(`${evaluatorName}: ${spec.name} must be a finite ${range}number, got ${value}`);
+            }
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// Helper 2 — Per-bridge dimensional self-check (S-2)
+// ---------------------------------------------------------------------------
+/**
+ * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
+ * and pack the result into the canonical `DimensionValidationReport`
+ * shape used by every BE-NN's `validate*Dimensions()` wrapper.
+ *
+ * The `equationLabel` parameter is currently unused at the message
+ * level (the existing wrappers don't surface labels in the report;
+ * the report is consumed by the dimensional-signature-catalog round-
+ * trip test which only reads `lhsDim` / `rhsDim`). It's accepted so
+ * future error-context enrichment can attach the label without a
+ * signature break.
+ *
+ * @param lhs - The bridge's encoded LHS AST.
+ * @param rhs - The bridge's encoded RHS AST.
+ * @param equationLabel - Human label (e.g., `'BE37'`); reserved for
+ *   future error-message use.
+ *
+ * @internal
+ */
+export function validateBEDimensions(lhs, rhs, _equationLabel) {
+    const eq = validateEquation(lhs, rhs);
+    const lhsR = validate(lhs);
+    const rhsR = validate(rhs);
+    return {
+        ok: eq.ok,
+        lhsDim: lhsR.inferredDimension,
+        rhsDim: rhsR.inferredDimension,
+    };
+}
+// ---------------------------------------------------------------------------
+// Helper 3 — Symbol-node factory (S-3) [bug-sensitive]
+// ---------------------------------------------------------------------------
+/**
+ * Build a `kind: 'symbol'` AST node with the given name and dimension.
+ *
+ * Direct replacement for the file-local factory duplicated in all 43
+ * BE-NN modules:
+ *
+ * ```ts
+ * const sym = (name: string, dim: Dimension): ExprNode =>
+ *   ({ kind: 'symbol', name, dim });
+ * ```
+ *
+ * **Bug-sensitivity note** (v0.7.1 Phase 3 risk surface): a subtle
+ * regression here — wrong `kind` discriminator, missing field, type
+ * coercion — affects every BE module silently. Behaviour-preserving
+ * extraction must produce a node that is `===`-structurally-equal
+ * to the pre-extraction literal:
+ *
+ *   - `kind` is literally the string `'symbol'`
+ *   - `name` is the caller's string, unmodified (no trim, no
+ *     case-fold, no whitespace check — the existing factory accepts
+ *     any string including `''`, `'-1'`, `'8pi'`, `'α'`)
+ *   - `dim` is the caller's `Dimension`, by reference (no clone, no
+ *     freeze — matches the existing factory's behaviour)
+ *   - the returned node is a fresh object on every call (no memo)
+ *
+ * @param name - Symbol label. Any string (including the empty string).
+ * @param dim - The SI dimension of the symbol.
+ *
+ * @internal
+ */
+export function sym(name, dim) {
+    return { kind: 'symbol', name, dim };
+}
+//# sourceMappingURL=_be-helpers.js.map

package/dist/bridges/equations/_be-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAiD5E;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,IAAe;IACpC,mEAAmE;IACnE,+CAA+C;IAC/C,0EAA0E;IAC1E,uCAAuC;IACvC,yFAAyF;IACzF,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,GAAG,IAAI,CAAC,WAAW,GAAG,CAAC;IAElE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC;IACtC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IAClC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IAEnC,uEAAuE;IACvE,iDAAiD;IACjD,IAAI,MAAM,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QAC3D,IAAI,OAAO;YAAE,OAAO,WAAW,CAAC,CAAG,2BAA2B;QAC9D,OAAO,eAAe,CAAC,CAAW,+BAA+B;IACnE,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC,CAAG,kBAAkB;IAEvD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACzC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/B,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAChC,OAAO,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAQ,EACR,UAAoC,EACpC,aAAqB;IAErB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAI,KAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,GAAa,CAAC;QAE5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,IAAI,UAAU,CAClB,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,qBAAqB,KAAK,eAAe,MAAM,CAAC,KAAK,CAAC,EAAE,CACvF,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;YAC3E,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,IAAI,UAAU,CAClB,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,qBAAqB,KAAK,eAAe,KAAK,EAAE,CAC/E,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;YAC3E,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,IAAI,UAAU,CAClB,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,qBAAqB,KAAK,eAAe,KAAK,EAAE,CAC/E,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,GAAc;IAC9C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC"}

package/dist/bridges/equations/be-11-decoherence-master.d.ts

@@ -58,8 +58,6 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  * scalar AST encoding faithfully captures the dimensional content.
  */
 export declare const DECOHERENCE_RATE_RHS: ExprNode;
-/** LHS of the equation: a single symbol of dimension [frequency]. */
-export declare const DECOHERENCE_RATE_LHS: ExprNode;
 export interface DecoherenceRateInputs {
     /** Reference rate γ_0 in inverse seconds (s^-1). Must be ≥ 0. */
     gamma0_per_s: number;
@@ -79,5 +77,6 @@ export declare function evaluateDecoherenceRate(input: DecoherenceRateInputs): n
  * both sides are [frequency]. Returns the inferred dimensions for
  * traceability.
  */
+/** @internal */
 export declare function validateDecoherenceRateDimensions(): DimensionValidationReport;
 //# sourceMappingURL=be-11-decoherence-master.d.ts.map

package/dist/bridges/equations/be-11-decoherence-master.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-11-decoherence-master.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAelC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,oBAAoB,EAAE,QAAoC,CAAC;AAIxE,MAAM,WAAW,qBAAqB;IACpC,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAmB5E;AAID;;;;GAIG;AACH,wBAAgB,iCAAiC,IAAI,yBAAyB,CAS7E"}
+{"version":3,"file":"be-11-decoherence-master.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAelC,CAAC;AAOF,MAAM,WAAW,qBAAqB;IACpC,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAa5E;AAID;;;;GAIG;AACH,gBAAgB;AAChB,wBAAgB,iCAAiC,IAAI,yBAAyB,CAE7E"}

package/dist/bridges/equations/be-11-decoherence-master.js

@@ -43,10 +43,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
  * @module bridges/equations/be-11-decoherence-master
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST: γ_k(λ) = γ_0 * (λ / λ_0)^2 ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /**
  * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
  * ExprNode tree:  γ_0 * (λ / λ_0)^2.
@@ -77,23 +76,19 @@ export const DECOHERENCE_RATE_RHS = {
     ],
 };
 /** LHS of the equation: a single symbol of dimension [frequency]. */
-export const DECOHERENCE_RATE_LHS = sym('gamma_k', FREQUENCY);
+const DECOHERENCE_RATE_LHS = sym('gamma_k', FREQUENCY);
 /**
  * Evaluate γ_k(λ) = γ_0 * (λ / λ_0)^2 (Caldeira-Leggett weak-coupling form).
  *
  * @returns Decoherence rate in s^-1.
  */
 export function evaluateDecoherenceRate(input) {
+    validateFiniteInputs(input, [
+        { name: 'gamma0_per_s', min: 0 },
+        { name: 'lambda' },
+        { name: 'lambda0', min: 0, excludeMin: true },
+    ], 'evaluateDecoherenceRate');
     const { gamma0_per_s, lambda, lambda0 } = input;
-    if (!Number.isFinite(gamma0_per_s) || gamma0_per_s < 0) {
-        throw new RangeError(`evaluateDecoherenceRate: gamma0_per_s must be a finite non-negative number, got ${gamma0_per_s}`);
-    }
-    if (!Number.isFinite(lambda)) {
-        throw new RangeError(`evaluateDecoherenceRate: lambda must be finite, got ${lambda}`);
-    }
-    if (!Number.isFinite(lambda0) || lambda0 <= 0) {
-        throw new RangeError(`evaluateDecoherenceRate: lambda0 must be a finite positive number, got ${lambda0}`);
-    }
     const ratio = lambda / lambda0;
     return gamma0_per_s * ratio * ratio;
 }
@@ -103,14 +98,8 @@ export function evaluateDecoherenceRate(input) {
  * both sides are [frequency]. Returns the inferred dimensions for
  * traceability.
  */
+/** @internal */
 export function validateDecoherenceRateDimensions() {
-    const eq = validateEquation(DECOHERENCE_RATE_LHS, DECOHERENCE_RATE_RHS);
-    const lhs = validate(DECOHERENCE_RATE_LHS);
-    const rhs = validate(DECOHERENCE_RATE_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(DECOHERENCE_RATE_LHS, DECOHERENCE_RATE_RHS, 'BE11');
 }
 //# sourceMappingURL=be-11-decoherence-master.js.map

package/dist/bridges/equations/be-11-decoherence-master.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-11-decoherence-master.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,mDAAmD;AAEnD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC;QACzB;YACE,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,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;iBACrE;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,oBAAoB,GAAa,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAaxE;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,UAAU,CAClB,mFAAmF,YAAY,EAAE,CAClG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,uDAAuD,MAAM,EAAE,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,0EAA0E,OAAO,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/B,OAAO,YAAY,GAAG,KAAK,GAAG,KAAK,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;;GAIG;AACH,MAAM,UAAU,iCAAiC;IAC/C,MAAM,EAAE,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-11-decoherence-master.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EACL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,mDAAmD;AAEnD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC;QACzB;YACE,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,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;iBACrE;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,qEAAqE;AACrE,MAAM,oBAAoB,GAAa,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAajE;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClB,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChD,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/B,OAAO,YAAY,GAAG,KAAK,GAAG,KAAK,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;;GAIG;AACH,gBAAgB;AAChB,MAAM,UAAU,iCAAiC;IAC/C,OAAO,oBAAoB,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,CAAC,CAAC;AAClF,CAAC"}

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

@@ -55,8 +55,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE12_COHERENCE_LENGTH_RHS: ExprNode;
 /** LHS: λ_T has dimension [length]. */
+/** @internal */
 export declare const BE12_COHERENCE_LENGTH_LHS: ExprNode;
-export interface ThermalDeBroglieInputs {
+/**
+ * @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.
+ */
+interface ThermalDeBroglieInputs {
     /** Particle mass m (kg). Must be > 0 and finite. */
     m_kg: number;
     /** Temperature T (K). Must be > 0 and finite. */
@@ -76,5 +80,7 @@ export declare function evaluateThermalDeBroglie(input: ThermalDeBroglieInputs):
  * Run the AST through the dimensional analyzer; both sides should be
  * [length].
  */
+/** @internal */
 export declare function validateBE12Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-12-coherence-length.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-12-coherence-length.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QA8BvC,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,yBAAyB,EAAE,QAAkC,CAAC;AAI3E,MAAM,WAAW,sBAAsB;IACrC,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAc9E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-12-coherence-length.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QA8BvC,CAAC;AAEF,uCAAuC;AACvC,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAkC,CAAC;AAI3E;;GAEG;AACH,UAAU,sBAAsB;IAC9B,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAY9E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-12-coherence-length.js

@@ -45,11 +45,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 12)
  * @module bridges/equations/be-12-coherence-length
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, } from '../../dimensional/types.js';
 import { hbar as DIM_hbar, k_B as DIM_kB } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the canonical thermal de Broglie wavelength:
  *   λ_T = √(2π ℏ²/(m k_B T))
@@ -89,6 +88,7 @@ export const BE12_COHERENCE_LENGTH_RHS = {
     ],
 };
 /** LHS: λ_T has dimension [length]. */
+/** @internal */
 export const BE12_COHERENCE_LENGTH_LHS = sym('lambda_T', LENGTH);
 /**
  * Evaluate the canonical thermal de Broglie wavelength
@@ -100,13 +100,11 @@ export const BE12_COHERENCE_LENGTH_LHS = sym('lambda_T', LENGTH);
  * @returns Wavelength in meters.
  */
 export function evaluateThermalDeBroglie(input) {
+    validateFiniteInputs(input, [
+        { name: 'm_kg', min: 0, excludeMin: true },
+        { name: 'T_K', min: 0, excludeMin: true },
+    ], 'evaluateThermalDeBroglie');
     const { m_kg, T_K } = input;
-    if (!Number.isFinite(m_kg) || m_kg <= 0) {
-        throw new RangeError(`evaluateThermalDeBroglie: m_kg must be a finite positive number, got ${m_kg}`);
-    }
-    if (!Number.isFinite(T_K) || T_K <= 0) {
-        throw new RangeError(`evaluateThermalDeBroglie: T_K must be a finite positive number, got ${T_K}`);
-    }
     const { hbar, kB } = PhysicalConstants;
     return Math.sqrt((2 * Math.PI * hbar * hbar) / (m_kg * kB * T_K));
 }
@@ -115,14 +113,8 @@ export function evaluateThermalDeBroglie(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [length].
  */
+/** @internal */
 export function validateBE12Dimensions() {
-    const eq = validateEquation(BE12_COHERENCE_LENGTH_LHS, BE12_COHERENCE_LENGTH_RHS);
-    const lhs = validate(BE12_COHERENCE_LENGTH_LHS);
-    const rhs = validate(BE12_COHERENCE_LENGTH_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE12_COHERENCE_LENGTH_LHS, BE12_COHERENCE_LENGTH_RHS, 'BE12');
 }
 //# sourceMappingURL=be-12-coherence-length.js.map

package/dist/bridges/equations/be-12-coherence-length.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-12-coherence-length.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB;4BACE,aAAa;4BACb,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;yBACrD;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;wBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;wBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;qBACtB;iBACF;aACF;SACF;QACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAW3E;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,wEAAwE,IAAI,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,uEAAuE,GAAG,EAAE,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-12-coherence-length.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB;4BACE,aAAa;4BACb,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;yBACrD;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;wBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;wBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;qBACtB;iBACF;aACF;SACF;QACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF,uCAAuC;AACvC,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAc3E;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,yBAAyB,EAAE,yBAAyB,EAAE,MAAM,CAAC,CAAC;AAC5F,CAAC"}

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

@@ -38,12 +38,28 @@
  *     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
+ * §"BE-13 — TensorTraceNode for the Einstein trace"):
+ *
+ *   The `T_trace` stub in `BE13_EINSTEIN_TRACE_RHS` is now supplemented by
+ *   `BE13_T_TRACE_NODE` — a structural `TensorTraceNode` that makes explicit
+ *   that `T = g^μν T_μν` is a metric contraction of the stress-energy tensor,
+ *   not an opaque dimensioned scalar. Both the stub form (backward-compatible,
+ *   embeddable in `ExprNode` ASTs) and the structural form (richer type
+ *   information, validates via `validateTensorTrace`) are exported.
+ *
+ *   `BE13_EINSTEIN_TRACE_RHS` is unchanged (backward compatibility). The
+ *   structural form is exposed via the separate `BE13_T_TRACE_NODE` export.
+ *   See the "BE-13 structural TensorTraceNode" section below.
+ *
  * @see docs/specification/Part-I.md ("Bridge Equation 13")
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
  * @module bridges/equations/be-13-einstein-trace
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
 import { Dimension } from '../../dimensional/types.js';
+import type { TensorTraceNode } from '../../dimensional/tensor-trace.js';
+import type { StressEnergyTensorNode } from '../../dimensional/stress-energy-validators.js';
 /** [L⁻²] — Ricci scalar dimension. Hand-built literal (rather than
  * `power(LENGTH, -2)`) because `power()` produces `-0` on unaffected
  * bases, which compares unequal under deep-strict equality even though
@@ -51,8 +67,6 @@ import { Dimension } from '../../dimensional/types.js';
  * BE-31's INV_LENGTH_2.
  */
 export declare const RICCI_SCALAR_DIM: Dimension;
-/** [M L⁻¹ T⁻²] — energy density (stress-energy trace dimension). */
-export declare const ENERGY_DENSITY_DIM: Dimension;
 /**
  * RHS of the trace of Einstein equations:
  *   R = 4Λ - (8πG / c⁴) T
@@ -62,8 +76,40 @@ export declare const ENERGY_DENSITY_DIM: Dimension;
  */
 export declare const BE13_EINSTEIN_TRACE_RHS: ExprNode;
 /** LHS: Ricci scalar R has dimension [L⁻²]. */
+/** @internal */
 export declare const BE13_EINSTEIN_TRACE_LHS: ExprNode;
-export interface EinsteinTraceInputs {
+/**
+ * The stress-energy tensor T_μν used in the BE-13 trace.
+ *
+ * Rank-2 lower-lower, symmetric, component dim [M L⁻¹ T⁻²] (energy density).
+ * This is the `T_μν` input to the `BE13_T_TRACE_NODE` contraction.
+ *
+ * @public
+ */
+export declare const BE13_STRESS_ENERGY_NODE: StressEnergyTensorNode;
+/**
+ * Structural `TensorTraceNode` for `T = g^μν T_μν` — the stress-energy trace
+ * appearing in BE-13's scalar relation `R = 4Λ - (8πG/c⁴) T`.
+ *
+ * This structural form replaces the stub `sym('T_trace', ENERGY_DENSITY_DIM)` in
+ * `BE13_EINSTEIN_TRACE_RHS` by making explicit that `T` arises from contracting
+ * the stress-energy tensor with the inverse metric. Validate via
+ * `validateTensorTrace(BE13_T_TRACE_NODE)` from
+ * `src/dimensional/tensor-trace.ts`.
+ *
+ * Note: `TensorTraceNode` is not yet part of the `ExprNode` union, so this
+ * node cannot be embedded directly in the scalar `ExprNode` AST of
+ * `BE13_EINSTEIN_TRACE_RHS`. `BE13_EINSTEIN_TRACE_RHS` is kept unchanged
+ * for backward compatibility; this export provides structural content for
+ * consumers that want to inspect the trace operation explicitly.
+ *
+ * @public
+ */
+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.
+ */
+interface EinsteinTraceInputs {
     /** Cosmological constant Λ (m⁻²). Must be finite. */
     Lambda_per_m2: number;
     /**
@@ -85,5 +131,7 @@ export declare function evaluateEinsteinTrace(input: EinsteinTraceInputs): numbe
  * Run the AST through the dimensional analyzer; both sides should be
  * [L⁻²] (Ricci scalar).
  */
+/** @internal */
 export declare function validateBE13Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-13-einstein-trace.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAMpC;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAE9B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,EAAE,SAEhC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAoCrC,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,uBAAuB,EAAE,QAA2C,CAAC;AAIlF,MAAM,WAAW,mBAAmB;IAClC,qDAAqD;IACrD,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAexE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAGpC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+CAA+C,CAAC;AAG5F;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAE9B,CAAC;AAOF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAoCrC,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA2C,CAAC;AAIlF;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,EAAE,sBASrC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,EAAE,eAa/B,CAAC;AAIF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,qDAAqD;IACrD,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAaxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}