universal-physics-tensor 7.0.0 → 9.0.0

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

@@ -1,103 +0,0 @@
-/**
- * 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';
-// ---------------------------------------------------------------------------
-// Helper 1 — Runtime input validation (S-1)
-// ---------------------------------------------------------------------------
-// `validateFiniteInputs` (+ `FieldSpec`) moved to the dependency-free leaf
-// `numerical/input-validation.ts` so the numerical layer no longer imports
-// upward from `bridges`. Re-exported here so every BE-NN evaluator is unchanged.
-export { validateFiniteInputs } from '../../numerical/input-validation.js';
-// ---------------------------------------------------------------------------
-// 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, and unused today (hence the underscore).
- *
- * @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
- */
-// Single source of truth in `dimensional/ast-builders`; re-exported here so the
-// ~55 BE/canonical modules that import `sym` from `_be-helpers` are unchanged.
-export { sym } from '../../dimensional/ast-builders.js';
-//# sourceMappingURL=_be-helpers.js.map

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

@@ -1 +0,0 @@
-{"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;AAE5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,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,gFAAgF;AAChF,+EAA+E;AAC/E,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

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

@@ -1,82 +0,0 @@
-/**
- * Bridge Equation 11 — Decoherence Master Equation (Lindblad form).
- *
- * The bridge entry's main formula is the GKSL/Lindblad master equation
- *
- *   ∂ρ/∂t = -(i/ℏ)[H, ρ]
- *           + Σ_k γ_k(λ) [ L_k ρ L_k† − ½ {L_k† L_k, ρ} ]
- *
- * with the coupling-dependent rate (corrected 2026-05-04, Caldeira-Leggett
- * weak-coupling form)
- *
- *   γ_k(λ) = γ_0 (λ / λ_0)²
- *
- * where γ_0 is a reference rate (s^-1), λ is the system-environment coupling,
- * and λ_0 is a reference coupling chosen so γ_k(λ_0) = γ_0.
- *
- * References:
- *   - Lindblad, Commun. Math. Phys. 48:119 (1976) — Lindblad form.
- *   - Gorini-Kossakowski-Sudarshan, J. Math. Phys. 17:821 (1976) — GKSL.
- *   - Caldeira & Leggett, Physica A 121, 587 (1983) — system-bath model.
- *   - Caldeira & Leggett, Phys. Rev. A 31, 1059 (1985), §III.B — γ ∝ λ².
- *   - Breuer & Petruccione, *The Theory of Open Quantum Systems* (OUP 2002),
- *     §3.6, §4.5 — weak-coupling derivation.
- *
- * Status: established (within open-quantum-systems theory).
- *
- * Honest-claude scope notes:
- *   - The full Lindblad equation cannot be encoded as a typed ExprNode tree
- *     in this MVP: the analyzer tracks only SI dimensions, not operator
- *     algebra, commutators [H,ρ], or anti-commutators {A,B}. Density
- *     matrices ρ and Lindblad operators L_k carry operator structure that
- *     this analyzer is not designed to validate.
- *   - What we DO encode is the (corrected) auxiliary rate function
- *     γ_k(λ) = γ_0 (λ/λ_0)², which is an honest scalar relation in
- *     [frequency] = [T^-1]. This validates that the corrected rate is
- *     dimensionally consistent and gives downstream code a numerical
- *     evaluator.
- *   - Tier 4.5 follow-up (operator-aware ExprNode): would let us encode the
- *     LHS dρ/dt and the unitary-and-dissipator RHS terms; out of scope for
- *     the R0 audit fix.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 11: Decoherence Master Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
- * @module bridges/equations/be-11-decoherence-master
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
- * ExprNode tree:  γ_0 * (λ / λ_0)^2.
- *
- * Both λ and λ_0 share the same (unspecified, but identical) dimension, so
- * the ratio is dimensionless; raising to the 2nd power keeps it
- * dimensionless; multiplying by γ_0 (frequency) gives [frequency].
- *
- * We model λ and λ_0 as DIMENSIONLESS in the AST. Physically the user may
- * choose λ to be a dimensionless coupling (most common) or a coupling with
- * its own dimension; either way the *ratio* λ/λ_0 is dimensionless, so the
- * scalar AST encoding faithfully captures the dimensional content.
- */
-export declare const DECOHERENCE_RATE_RHS: ExprNode;
-export interface DecoherenceRateInputs {
-    /** Reference rate γ_0 in inverse seconds (s^-1). Must be ≥ 0. */
-    gamma0_per_s: number;
-    /** System-environment coupling strength (any consistent unit). */
-    lambda: number;
-    /** Reference coupling λ_0 (same unit as λ). Must be > 0. */
-    lambda0: number;
-}
-/**
- * Evaluate γ_k(λ) = γ_0 * (λ / λ_0)^2 (Caldeira-Leggett weak-coupling form).
- *
- * @returns Decoherence rate in s^-1.
- */
-export declare function evaluateDecoherenceRate(input: DecoherenceRateInputs): number;
-/**
- * Run the rate-function AST through the dimensional analyzer and confirm
- * 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 +0,0 @@
-{"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

@@ -1,105 +0,0 @@
-/**
- * Bridge Equation 11 — Decoherence Master Equation (Lindblad form).
- *
- * The bridge entry's main formula is the GKSL/Lindblad master equation
- *
- *   ∂ρ/∂t = -(i/ℏ)[H, ρ]
- *           + Σ_k γ_k(λ) [ L_k ρ L_k† − ½ {L_k† L_k, ρ} ]
- *
- * with the coupling-dependent rate (corrected 2026-05-04, Caldeira-Leggett
- * weak-coupling form)
- *
- *   γ_k(λ) = γ_0 (λ / λ_0)²
- *
- * where γ_0 is a reference rate (s^-1), λ is the system-environment coupling,
- * and λ_0 is a reference coupling chosen so γ_k(λ_0) = γ_0.
- *
- * References:
- *   - Lindblad, Commun. Math. Phys. 48:119 (1976) — Lindblad form.
- *   - Gorini-Kossakowski-Sudarshan, J. Math. Phys. 17:821 (1976) — GKSL.
- *   - Caldeira & Leggett, Physica A 121, 587 (1983) — system-bath model.
- *   - Caldeira & Leggett, Phys. Rev. A 31, 1059 (1985), §III.B — γ ∝ λ².
- *   - Breuer & Petruccione, *The Theory of Open Quantum Systems* (OUP 2002),
- *     §3.6, §4.5 — weak-coupling derivation.
- *
- * Status: established (within open-quantum-systems theory).
- *
- * Honest-claude scope notes:
- *   - The full Lindblad equation cannot be encoded as a typed ExprNode tree
- *     in this MVP: the analyzer tracks only SI dimensions, not operator
- *     algebra, commutators [H,ρ], or anti-commutators {A,B}. Density
- *     matrices ρ and Lindblad operators L_k carry operator structure that
- *     this analyzer is not designed to validate.
- *   - What we DO encode is the (corrected) auxiliary rate function
- *     γ_k(λ) = γ_0 (λ/λ_0)², which is an honest scalar relation in
- *     [frequency] = [T^-1]. This validates that the corrected rate is
- *     dimensionally consistent and gives downstream code a numerical
- *     evaluator.
- *   - Tier 4.5 follow-up (operator-aware ExprNode): would let us encode the
- *     LHS dρ/dt and the unitary-and-dissipator RHS terms; out of scope for
- *     the R0 audit fix.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 11: Decoherence Master Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
- * @module bridges/equations/be-11-decoherence-master
- */
-import { FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST: γ_k(λ) = γ_0 * (λ / λ_0)^2 ---
-/**
- * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
- * ExprNode tree:  γ_0 * (λ / λ_0)^2.
- *
- * Both λ and λ_0 share the same (unspecified, but identical) dimension, so
- * the ratio is dimensionless; raising to the 2nd power keeps it
- * dimensionless; multiplying by γ_0 (frequency) gives [frequency].
- *
- * We model λ and λ_0 as DIMENSIONLESS in the AST. Physically the user may
- * choose λ to be a dimensionless coupling (most common) or a coupling with
- * its own dimension; either way the *ratio* λ/λ_0 is dimensionless, so the
- * scalar AST encoding faithfully captures the dimensional content.
- */
-export const DECOHERENCE_RATE_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('gamma_0', FREQUENCY),
-        {
-            kind: 'op', op: '^',
-            args: [
-                {
-                    kind: 'op', op: '/',
-                    args: [sym('lambda', DIMENSIONLESS), sym('lambda_0', DIMENSIONLESS)],
-                },
-                sym('2', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/** LHS of the equation: a single symbol of dimension [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;
-    const ratio = lambda / lambda0;
-    return gamma0_per_s * ratio * ratio;
-}
-// --- Self-validation ---
-/**
- * Run the rate-function AST through the dimensional analyzer and confirm
- * both sides are [frequency]. Returns the inferred dimensions for
- * traceability.
- */
-/** @internal */
-export function validateDecoherenceRateDimensions() {
-    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 +0,0 @@
-{"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

@@ -1,86 +0,0 @@
-/**
- * Bridge Equation 12 — Mesoscopic Coherence Length (canonical thermal
- * de Broglie wavelength).
- *
- *   λ_T = √(2π ℏ² / (m k_B T)) ≡ h / √(2π m k_B T)
- *
- * This is the standard textbook thermal de Broglie wavelength for a
- * single particle of mass m at temperature T (Pathria 2011
- * *Statistical Mechanics* 3rd ed. §1.4 eq. 1.4.13; Reif 1965
- * *Fundamentals of Statistical and Thermal Physics* §6;
- * Pitaevskii-Stringari 2003 *Bose-Einstein Condensation* §6). It is
- * the natural length scale below which quantum-statistical effects
- * (Bose / Fermi degeneracy, exchange-induced correlations) become
- * non-negligible relative to classical Boltzmann statistics.
- *
- * Status: speculative.
- *
- * Dimensional check (ℏ-flavor):
- *   - [ℏ²] = (J·s)² = (kg·m²/s)²
- *   - [m k_B T] = kg · J = kg² · m²/s²
- *   - [ℏ²/(m k_B T)] = (kg² m⁴/s²) / (kg² m²/s²) = m²
- *   - √(2π ℏ²/(m k_B T)) = m ✓ ([length])
- *
- * Numerical bracket: H atom (m ≈ 1.67e-27 kg) at 300 K → ~100 pm = 1 Å.
- * (The earlier Wave Q A2 form `λ = ℏ/√(2π m k_B T)` was dimensionally
- * [length] but numerically off by a factor of 2π — gave ~16 pm — and
- * was caught by this AST encoding's textbook bracket-check.)
- *
- * Honest-claude scope notes:
- *   - The formula itself is canonical textbook physics; the *bridge
- *     framing* — using a single-particle thermal de Broglie length as
- *     an N-particle "mesoscopic coherence length" — is the speculative
- *     content. Status remains 'speculative' for this reason.
- *   - Two equivalent canonical forms: ℏ-flavor `√(2π ℏ²/(m k_B T))` and
- *     h-flavor `h/√(2π m k_B T)`. We encode the ℏ-flavor since the
- *     dimensional-analyzer constant set already exports `hbar`; using
- *     `h` would require introducing a new named constant for `2πℏ`.
- *   - Mesoscopic-coherence-length variants in the literature insert
- *     additional N-dependence (number of particles), correlation-time
- *     factors (Caldeira-Leggett dephasing time τ_φ), or system-size
- *     cutoffs; UPT BE-12 does not commit to these — the canonical
- *     thermal-de-Broglie form is the bridge's load-bearing content.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 12")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 12)
- * @module bridges/equations/be-12-coherence-length
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the canonical thermal de Broglie wavelength:
- *   λ_T = √(2π ℏ²/(m k_B T))
- *
- * Encoded as `(2π · ℏ² / (m k_B T))^{1/2}`. The `^` op handles non-
- * integer numeric exponents (literal 0.5).
- */
-export declare const BE12_COHERENCE_LENGTH_RHS: ExprNode;
-/** LHS: λ_T has dimension [length]. */
-/** @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/archive/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. */
-    T_K: number;
-}
-/**
- * Evaluate the canonical thermal de Broglie wavelength
- *
- *   λ_T = √(2π ℏ²/(m k_B T))
- *
- * Equivalent textbook form: `h/√(2π m k_B T)`.
- *
- * @returns Wavelength in meters.
- */
-export declare function evaluateThermalDeBroglie(input: ThermalDeBroglieInputs): number;
-/**
- * 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 +0,0 @@
-{"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

@@ -1,120 +0,0 @@
-/**
- * Bridge Equation 12 — Mesoscopic Coherence Length (canonical thermal
- * de Broglie wavelength).
- *
- *   λ_T = √(2π ℏ² / (m k_B T)) ≡ h / √(2π m k_B T)
- *
- * This is the standard textbook thermal de Broglie wavelength for a
- * single particle of mass m at temperature T (Pathria 2011
- * *Statistical Mechanics* 3rd ed. §1.4 eq. 1.4.13; Reif 1965
- * *Fundamentals of Statistical and Thermal Physics* §6;
- * Pitaevskii-Stringari 2003 *Bose-Einstein Condensation* §6). It is
- * the natural length scale below which quantum-statistical effects
- * (Bose / Fermi degeneracy, exchange-induced correlations) become
- * non-negligible relative to classical Boltzmann statistics.
- *
- * Status: speculative.
- *
- * Dimensional check (ℏ-flavor):
- *   - [ℏ²] = (J·s)² = (kg·m²/s)²
- *   - [m k_B T] = kg · J = kg² · m²/s²
- *   - [ℏ²/(m k_B T)] = (kg² m⁴/s²) / (kg² m²/s²) = m²
- *   - √(2π ℏ²/(m k_B T)) = m ✓ ([length])
- *
- * Numerical bracket: H atom (m ≈ 1.67e-27 kg) at 300 K → ~100 pm = 1 Å.
- * (The earlier Wave Q A2 form `λ = ℏ/√(2π m k_B T)` was dimensionally
- * [length] but numerically off by a factor of 2π — gave ~16 pm — and
- * was caught by this AST encoding's textbook bracket-check.)
- *
- * Honest-claude scope notes:
- *   - The formula itself is canonical textbook physics; the *bridge
- *     framing* — using a single-particle thermal de Broglie length as
- *     an N-particle "mesoscopic coherence length" — is the speculative
- *     content. Status remains 'speculative' for this reason.
- *   - Two equivalent canonical forms: ℏ-flavor `√(2π ℏ²/(m k_B T))` and
- *     h-flavor `h/√(2π m k_B T)`. We encode the ℏ-flavor since the
- *     dimensional-analyzer constant set already exports `hbar`; using
- *     `h` would require introducing a new named constant for `2πℏ`.
- *   - Mesoscopic-coherence-length variants in the literature insert
- *     additional N-dependence (number of particles), correlation-time
- *     factors (Caldeira-Leggett dephasing time τ_φ), or system-size
- *     cutoffs; UPT BE-12 does not commit to these — the canonical
- *     thermal-de-Broglie form is the bridge's load-bearing content.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 12")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 12)
- * @module bridges/equations/be-12-coherence-length
- */
-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';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of the canonical thermal de Broglie wavelength:
- *   λ_T = √(2π ℏ²/(m k_B T))
- *
- * Encoded as `(2π · ℏ² / (m k_B T))^{1/2}`. The `^` op handles non-
- * integer numeric exponents (literal 0.5).
- */
-export const BE12_COHERENCE_LENGTH_RHS = {
-    kind: 'op', op: '^',
-    args: [
-        {
-            // 2π · ℏ² / (m k_B T)
-            kind: 'op', op: '/',
-            args: [
-                {
-                    kind: 'op', op: '*',
-                    args: [
-                        sym('2pi', DIMENSIONLESS),
-                        {
-                            // ℏ² = ℏ · ℏ
-                            kind: 'op', op: '*',
-                            args: [sym('hbar', DIM_hbar), sym('hbar', DIM_hbar)],
-                        },
-                    ],
-                },
-                {
-                    kind: 'op', op: '*',
-                    args: [
-                        sym('m', MASS),
-                        sym('k_B', DIM_kB),
-                        sym('T', TEMPERATURE),
-                    ],
-                },
-            ],
-        },
-        sym('0.5', DIMENSIONLESS),
-    ],
-};
-/** LHS: λ_T has dimension [length]. */
-/** @internal */
-export const BE12_COHERENCE_LENGTH_LHS = sym('lambda_T', LENGTH);
-/**
- * Evaluate the canonical thermal de Broglie wavelength
- *
- *   λ_T = √(2π ℏ²/(m k_B T))
- *
- * Equivalent textbook form: `h/√(2π m k_B T)`.
- *
- * @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;
-    const { hbar, kB } = PhysicalConstants;
-    return Math.sqrt((2 * Math.PI * hbar * hbar) / (m_kg * kB * T_K));
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [length].
- */
-/** @internal */
-export function validateBE12Dimensions() {
-    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 +0,0 @@
-{"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

@@ -1,136 +0,0 @@
-/**
- * Bridge Equation 13 — Einstein trace reduction.
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * The scalar trace of the full tensor Einstein equation
- *   R_μν - (1/2) R g_μν + Λ g_μν = (8π G / c⁴) T_μν
- * obtained by contracting with g^μν. In d=4: g^μν g_μν = 4, so
- * g^μν R_μν = R, g^μν · (1/2) R g_μν = 2R, g^μν · Λ g_μν = 4Λ,
- * and g^μν T_μν = T (the trace of stress-energy). Algebraically:
- *   R - 2R + 4Λ = (8πG/c⁴) T
- *   -R + 4Λ = (8πG/c⁴) T
- *   R = 4Λ - (8πG/c⁴) T
- *
- * The Jacobson thermodynamic interpretation (Einstein equations as a
- * macroscopic equation of state, derived from δQ = T dS on local
- * Rindler horizons) is preserved as the bridge framing; the trace
- * is the scalar AST-encodable form.
- *
- * Reference: Jacobson 1995 *Phys. Rev. Lett.* 75:1260
- * (arXiv:gr-qc/9504004; canonical thermodynamic-derivation framing);
- * Einstein 1915 *Sitzungsber. Preuss. Akad. Wiss. Berlin* 778
- * (canonical Einstein field equations); MTW *Gravitation* §17.4
- * (trace of Einstein equations).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The trace equation R = 4Λ - (8πG/c⁴)T is canonical GR (textbook
- *     content, Carroll *Spacetime and Geometry* §4.7). The bridge
- *     framing — Jacobson thermodynamic origin as a UPT
- *     information-physics bridge — is the speculative element.
- *   - Vacuum (T=0, Λ=0): R=0. Pure cosmological constant (T=0):
- *     R = 4Λ. Matter-dominated FRW with T = ρc² (matter trace):
- *     R = 4Λ - (8πG/c⁴)·ρc² = 4Λ - 8πGρ/c² (textbook).
- *   - Dim: [R] = [L⁻²] (Ricci scalar); [Λ] = [L⁻²]; [T] = energy
- *     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/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
- *   `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: Einstein trace reduction")
- * @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
- * dimensionally identical. Same pattern as BE-23's RESISTIVITY and
- * BE-31's INV_LENGTH_2.
- */
-export declare const RICCI_SCALAR_DIM: Dimension;
-/**
- * RHS of the trace of Einstein equations:
- *   R = 4Λ - (8πG / c⁴) T
- *
- * Encoded as `4·Λ + (-1)·(8π·G·T/c⁴)`. The unary minus is captured by
- * a dimensionless `-1` symbol stub (same pattern as BE-39).
- */
-export declare const BE13_EINSTEIN_TRACE_RHS: ExprNode;
-/** LHS: Ricci scalar R has dimension [L⁻²]. */
-/** @internal */
-export declare const BE13_EINSTEIN_TRACE_LHS: ExprNode;
-/**
- * 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/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface EinsteinTraceInputs {
-    /** Cosmological constant Λ (m⁻²). Must be finite. */
-    Lambda_per_m2: number;
-    /**
-     * Trace of stress-energy tensor T = g^μν T_μν (energy density,
-     * J/m³ = kg/(m·s²)). For matter dominance T ≈ ρ c² (positive). For
-     * vacuum T = 0. Must be finite.
-     */
-    T_trace_J_per_m3: number;
-}
-/**
- * Evaluate the trace of Einstein equations
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * @returns Ricci scalar R in m⁻².
- */
-export declare function evaluateEinsteinTrace(input: EinsteinTraceInputs): number;
-/**
- * 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 +0,0 @@
-{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;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"}