universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-21-kss-bound.d.ts

@@ -1,74 +0,0 @@
-/**
- * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
- * bound (canonical AdS/CFT-derived universal lower bound on the shear-
- * viscosity-to-entropy-density ratio).
- *
- *   η/s = ℏ / (4π k_B)
- *
- * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
- * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
- * holographic dual, two-derivative bulk action) is conjectured to obey
- * the bound η/s ≥ ℏ/(4π k_B).
- *
- * References:
- *   - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
- *     (arXiv:hep-th/0405231; canonical KSS bound paper).
- *   - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
- *     prerequisite Minkowski-correlator AdS/CFT recipe).
- *   - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
- *     (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
- *     SYM at strong coupling).
- *
- * Status: established (KSS itself is established AdS/CFT result).
- *
- * Honest-claude scope notes:
- *   - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
- *     ℏ/(4π k_B) is the saturating value attained in the strong-coupling
- *     limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
- *     in any theory with an Einstein-gravity holographic dual. Encoding
- *     the equality (the saturating value) pins the canonical scalar; the
- *     ≥ inequality is the bridge's load-bearing claim.
- *   - The original BE-21 form was a holographic-dictionary retarded
- *     Green's function recipe (operator-valued, no clean scalar). The
- *     KSS bound is the canonical scalar reduction of the same Son-
- *     Starinets 2002 lineage and captures the most-cited AdS/CMT
- *     result: a *universal* dimensional constant for the viscosity/
- *     entropy-density ratio.
- *   - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
- *     [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
- *     [J·s]/[J/K] = K·s. ✓
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 21")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
- * @module bridges/equations/be-21-kss-bound
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import { Dimension } from '../../dimensional/types.js';
-/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
-export declare const VISCOSITY_OVER_ENTROPY_DENSITY: Dimension;
-/**
- * RHS of the KSS saturating value:
- *   η/s = ℏ / (4π k_B)
- *
- * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
- * dim [J·s] / [J/K] = [T Θ].
- */
-export declare const BE21_KSS_RHS: ExprNode;
-/** LHS: η/s has dimension [T Θ]. */
-/** @internal */
-export declare const BE21_KSS_LHS: ExprNode;
-/**
- * Evaluate the KSS saturating viscosity-to-entropy-density ratio
- *
- *   η/s = ℏ / (4π k_B)
- *
- * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
- */
-export declare function evaluateKSSBound(): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [T Θ] (viscosity / entropy-density).
- */
-/** @internal */
-export declare function validateBE21Dimensions(): DimensionValidationReport;
-//# sourceMappingURL=be-21-kss-bound.d.ts.map

package/dist/bridges/equations/be-21-kss-bound.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAKpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-21-kss-bound.js

@@ -1,97 +0,0 @@
-/**
- * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
- * bound (canonical AdS/CFT-derived universal lower bound on the shear-
- * viscosity-to-entropy-density ratio).
- *
- *   η/s = ℏ / (4π k_B)
- *
- * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
- * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
- * holographic dual, two-derivative bulk action) is conjectured to obey
- * the bound η/s ≥ ℏ/(4π k_B).
- *
- * References:
- *   - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
- *     (arXiv:hep-th/0405231; canonical KSS bound paper).
- *   - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
- *     prerequisite Minkowski-correlator AdS/CFT recipe).
- *   - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
- *     (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
- *     SYM at strong coupling).
- *
- * Status: established (KSS itself is established AdS/CFT result).
- *
- * Honest-claude scope notes:
- *   - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
- *     ℏ/(4π k_B) is the saturating value attained in the strong-coupling
- *     limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
- *     in any theory with an Einstein-gravity holographic dual. Encoding
- *     the equality (the saturating value) pins the canonical scalar; the
- *     ≥ inequality is the bridge's load-bearing claim.
- *   - The original BE-21 form was a holographic-dictionary retarded
- *     Green's function recipe (operator-valued, no clean scalar). The
- *     KSS bound is the canonical scalar reduction of the same Son-
- *     Starinets 2002 lineage and captures the most-cited AdS/CMT
- *     result: a *universal* dimensional constant for the viscosity/
- *     entropy-density ratio.
- *   - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
- *     [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
- *     [J·s]/[J/K] = K·s. ✓
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 21")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
- * @module bridges/equations/be-21-kss-bound
- */
-import { DIMENSIONLESS, } 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, validateBEDimensions } from './_be-helpers.js';
-/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
-export const VISCOSITY_OVER_ENTROPY_DENSITY = {
-    L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
-};
-/**
- * RHS of the KSS saturating value:
- *   η/s = ℏ / (4π k_B)
- *
- * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
- * dim [J·s] / [J/K] = [T Θ].
- */
-export const BE21_KSS_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        sym('hbar', DIM_hbar),
-        {
-            kind: 'op', op: '*',
-            args: [
-                sym('4pi', DIMENSIONLESS),
-                sym('k_B', DIM_kB),
-            ],
-        },
-    ],
-};
-/** LHS: η/s has dimension [T Θ]. */
-/** @internal */
-export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
-// --- Numerical evaluator ---
-/**
- * Evaluate the KSS saturating viscosity-to-entropy-density ratio
- *
- *   η/s = ℏ / (4π k_B)
- *
- * @returns η/s in K·s (SI). Approximately 6.078e-13 K·s.
- */
-export function evaluateKSSBound() {
-    const { hbar, kB } = PhysicalConstants;
-    return hbar / (4 * Math.PI * kB);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [T Θ] (viscosity / entropy-density).
- */
-/** @internal */
-export function validateBE21Dimensions() {
-    return validateBEDimensions(BE21_KSS_LHS, BE21_KSS_RHS, 'BE21');
-}
-//# sourceMappingURL=be-21-kss-bound.js.map

package/dist/bridges/equations/be-21-kss-bound.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAEL,aAAa,GAGd,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,MAAM,kBAAkB,CAAC;AAE7D,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,CAAC,EAAE,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;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}

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

@@ -1,87 +0,0 @@
-/**
- * Bridge Equation 22 — Topological Entanglement Entropy
- * (Kitaev-Preskill / Levin-Wen single-subsystem form).
- *
- *   S(R) = α · L(R) − γ + O(L^-1)
- *
- * S(R) is the von Neumann entanglement entropy of subsystem R
- * (dimensionless, in nats); α is a non-universal area-law coefficient
- * with dim [L^-1]; L(R) is the perimeter (boundary length) of R, dim [L];
- * γ is the topological entanglement entropy (dimensionless). For an
- * abelian topological phase, γ = log D where D = √(Σᵢ d²ᵢ) is the
- * total quantum dimension. For the Z₂ toric code, D = 2 and γ = log 2.
- *
- * References:
- *   - Kitaev-Preskill 2006 Phys. Rev. Lett. 96:110404
- *     (arXiv:hep-th/0510092): "Topological entanglement entropy".
- *   - Levin-Wen 2006 Phys. Rev. Lett. 96:110405
- *     (arXiv:cond-mat/0510613): "Detecting topological order in a
- *     ground state wave function".
- *
- * Status: speculative. The Kitaev-Preskill formula itself is
- * established in condensed-matter / topological-order literature.
- * The "QG link" framing (originally BE-22 in this catalog) is
- * original to UPT and not in either reference: applying TEE to
- * quantum gravity requires identifying which gravitational degree of
- * freedom the boundary R bounds, which has not been committed to
- * within UPT scope. The encoding pins the math; the bridge to QG is
- * the speculative content.
- *
- * Honest-claude scope notes:
- *   - The `O(L^-1)` correction is dropped per the encoding scope; we
- *     encode only the leading area + topological terms.
- *   - The AST has no dedicated way to express "S(R) is dimensionless
- *     because each term is dimensionless"; we encode the RHS as
- *     `α · L − γ`, which the validator infers as DIMENSIONLESS
- *     because (α [L^-1]) · (L [L]) = [1] and γ is [1]. The lemma
- *     terms `BE22_AREA_TERM = α · L` and `BE22_TOPOLOGICAL_TERM = γ`
- *     are exposed for direct per-term verification.
- *   - Sign convention follows Kitaev-Preskill: TEE enters with a
- *     minus sign so that γ > 0 for non-trivial topological order.
- *   - Log base: natural log (entropy in nats). Bit-convention (log₂)
- *     would scale γ by 1/ln 2; the numerical evaluator does not pick
- *     a base — the caller passes γ directly.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 22: Topological Entanglement Entropy")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 22)
- * @module bridges/equations/be-22-topological-entanglement
- */
-import type { ExprNode } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the area-law term `α · L`. Exposed for direct dimensional
- * verification — should infer to DIMENSIONLESS.
- */
-export declare const BE22_AREA_TERM: ExprNode;
-/**
- * Lemma AST: the topological term γ (already dimensionless by
- * definition; exposed for symmetry with BE22_AREA_TERM).
- */
-export declare const BE22_TOPOLOGICAL_TERM: ExprNode;
-/**
- * RHS of `S(R) = α · L − γ` as a typed ExprNode tree. The
- * `+ O(L^-1)` correction is dropped per the encoding scope.
- */
-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/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface TEEInputs {
-    /** Non-universal area-law coefficient α in m^-1. Must be finite. */
-    alpha_per_meter: number;
-    /** Boundary length L(R) in metres. Must be ≥ 0. */
-    perimeter_m: number;
-    /** Topological entanglement entropy γ (nats). Must be finite. */
-    gamma: number;
-}
-/**
- * Evaluate S(R) = α · L − γ in nats.
- *
- * Honest-claude: returns the leading-order Kitaev-Preskill form
- * exactly; the `O(L^-1)` finite-size correction is not modelled. For
- * the Z₂ toric code, γ = log 2 ≈ 0.693; for Fibonacci, γ ≈ 0.643.
- *
- * @returns S in nats (dimensionless).
- */
-export declare function evaluateTEE(input: TEEInputs): number;
-export {};
-//# sourceMappingURL=be-22-topological-entanglement.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-22-topological-entanglement.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAe1F;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,QAM5B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAsC,CAAC;AAE3E;;;GAGG;AACH,eAAO,MAAM,iCAAiC,EAAE,QAM/C,CAAC;AAOF;;GAEG;AACH,UAAU,SAAS;IACjB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAYpD"}

package/dist/bridges/equations/be-22-topological-entanglement.js

@@ -1,111 +0,0 @@
-/**
- * Bridge Equation 22 — Topological Entanglement Entropy
- * (Kitaev-Preskill / Levin-Wen single-subsystem form).
- *
- *   S(R) = α · L(R) − γ + O(L^-1)
- *
- * S(R) is the von Neumann entanglement entropy of subsystem R
- * (dimensionless, in nats); α is a non-universal area-law coefficient
- * with dim [L^-1]; L(R) is the perimeter (boundary length) of R, dim [L];
- * γ is the topological entanglement entropy (dimensionless). For an
- * abelian topological phase, γ = log D where D = √(Σᵢ d²ᵢ) is the
- * total quantum dimension. For the Z₂ toric code, D = 2 and γ = log 2.
- *
- * References:
- *   - Kitaev-Preskill 2006 Phys. Rev. Lett. 96:110404
- *     (arXiv:hep-th/0510092): "Topological entanglement entropy".
- *   - Levin-Wen 2006 Phys. Rev. Lett. 96:110405
- *     (arXiv:cond-mat/0510613): "Detecting topological order in a
- *     ground state wave function".
- *
- * Status: speculative. The Kitaev-Preskill formula itself is
- * established in condensed-matter / topological-order literature.
- * The "QG link" framing (originally BE-22 in this catalog) is
- * original to UPT and not in either reference: applying TEE to
- * quantum gravity requires identifying which gravitational degree of
- * freedom the boundary R bounds, which has not been committed to
- * within UPT scope. The encoding pins the math; the bridge to QG is
- * the speculative content.
- *
- * Honest-claude scope notes:
- *   - The `O(L^-1)` correction is dropped per the encoding scope; we
- *     encode only the leading area + topological terms.
- *   - The AST has no dedicated way to express "S(R) is dimensionless
- *     because each term is dimensionless"; we encode the RHS as
- *     `α · L − γ`, which the validator infers as DIMENSIONLESS
- *     because (α [L^-1]) · (L [L]) = [1] and γ is [1]. The lemma
- *     terms `BE22_AREA_TERM = α · L` and `BE22_TOPOLOGICAL_TERM = γ`
- *     are exposed for direct per-term verification.
- *   - Sign convention follows Kitaev-Preskill: TEE enters with a
- *     minus sign so that γ > 0 for non-trivial topological order.
- *   - Log base: natural log (entropy in nats). Bit-convention (log₂)
- *     would scale γ by 1/ln 2; the numerical evaluator does not pick
- *     a base — the caller passes γ directly.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 22: Topological Entanglement Entropy")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 22)
- * @module bridges/equations/be-22-topological-entanglement
- */
-import { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
-/** Inverse-length [L^-1] dimension for the area-law coefficient α. */
-const INV_LENGTH = {
-    L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
-};
-/**
- * Lemma AST: the area-law term `α · L`. Exposed for direct dimensional
- * verification — should infer to DIMENSIONLESS.
- */
-export const BE22_AREA_TERM = {
-    kind: 'op', op: '*',
-    args: [
-        sym('alpha', INV_LENGTH),
-        sym('L', LENGTH),
-    ],
-};
-/**
- * Lemma AST: the topological term γ (already dimensionless by
- * definition; exposed for symmetry with BE22_AREA_TERM).
- */
-export const BE22_TOPOLOGICAL_TERM = sym('gamma', DIMENSIONLESS);
-/**
- * RHS of `S(R) = α · L − γ` as a typed ExprNode tree. The
- * `+ O(L^-1)` correction is dropped per the encoding scope.
- */
-export const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS = {
-    kind: 'op', op: '-',
-    args: [
-        BE22_AREA_TERM,
-        BE22_TOPOLOGICAL_TERM,
-    ],
-};
-/** LHS: S(R) is dimensionless (entropy in nats). */
-const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS = sym('S_R', DIMENSIONLESS);
-/**
- * Evaluate S(R) = α · L − γ in nats.
- *
- * Honest-claude: returns the leading-order Kitaev-Preskill form
- * exactly; the `O(L^-1)` finite-size correction is not modelled. For
- * the Z₂ toric code, γ = log 2 ≈ 0.693; for Fibonacci, γ ≈ 0.643.
- *
- * @returns S in nats (dimensionless).
- */
-export function evaluateTEE(input) {
-    validateFiniteInputs(input, [
-        { name: 'alpha_per_meter' },
-        { name: 'perimeter_m', min: 0 },
-        { name: 'gamma' },
-    ], 'evaluateTEE');
-    const { alpha_per_meter, perimeter_m, gamma } = input;
-    return alpha_per_meter * perimeter_m - gamma;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-function validateTEEDimensions() {
-    return validateBEDimensions(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS, 'BE22');
-}
-//# sourceMappingURL=be-22-topological-entanglement.js.map

package/dist/bridges/equations/be-22-topological-entanglement.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-22-topological-entanglement.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,sEAAsE;AACtE,MAAM,UAAU,GAAc;IAC5B,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;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAa;IACzD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,cAAc;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,iCAAiC,GAAa,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAgB9E;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE;KAClB,EACD,aAAa,CACd,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACtD,OAAO,eAAe,GAAG,WAAW,GAAG,KAAK,CAAC;AAC/C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,qBAAqB;IAC5B,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,iCAAiC,EACjC,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-23-syk-planckian.d.ts

@@ -1,95 +0,0 @@
-/**
- * Bridge Equation 23 — Strange-Metal / Black-Hole duality (SYK
- * Planckian dissipation, post Wave P-C R-C1 reformulation + Wave Q
- * A1 m* dimensional fix).
- *
- *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
- *
- * Resistivity SI dim:
- *   - Ω = V/A = J/(C·A) = (kg·m²/s²)/(s·A·A) = kg·m²/(s³·A²)
- *   - Ω·m = kg·m³/(s³·A²)  ≡  [L³ M T⁻³ I⁻²]
- *
- * The thermal term is the canonical Planckian-dissipation linear-in-T
- * resistivity: τ ~ ℏ/(k_B T) sets the relaxation rate, m* is the
- * carrier effective mass, n_e the carrier density, e the elementary
- * charge, and α_SYK is a dimensionless O(1) Sachdev-Ye-Kitaev
- * coefficient. The Wave Q A1 fix added the missing m* prefactor that
- * the prior Wave P-C R-C1 form was missing — without it, the SI
- * dimension was m³/(s·C²) instead of Ω·m = kg·m³/(s·C²).
- *
- * References:
- *   - Sachdev-Ye 1993 *Phys. Rev. Lett.* 70:3339 (original SY model);
- *   - Kitaev 2015 KITP (canonical SYK formulation);
- *   - Maldacena-Stanford 2016 *Phys. Rev. D* 94:106002
- *     (arXiv:1604.07818; emergent SL(2,R) symmetry, MSS chaos bound);
- *   - Hartnoll 2015 *Nature Phys.* 11:54 (review of strange-metal
- *     Planckian dissipation);
- *   - Bruin et al. 2013 *Science* 339:804; Legros et al. 2019 *Nature
- *     Phys.* 15:142 (empirical confirmation).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The Planckian linear-in-T resistivity is canonical phenomenology;
- *     the *bridge framing* (treating the SYK Planckian rate as a UPT
- *     condensed-matter ↔ holography duality, with α_SYK bundled rather
- *     than derived) is the speculative content.
- *   - α_SYK depends on the SYK-q variant (q=4 most studied); UPT does
- *     not commit to a specific q-value.
- *   - The lemma ExprNode `BE23_SYK_THERMAL_TERM` exposes the
- *     `(m* k_B T)/(n_e e² ℏ)` factor directly so the Wave Q A1 m*
- *     prefactor fix is testable in isolation.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 23: Strange-Metal / Black-Hole Duality")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 23)
- * @module bridges/equations/be-23-syk-planckian
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the Planckian thermal term `(m* · k_B T) / (n_e · e² · ℏ)`.
- *
- * Should infer to RESISTIVITY = [L³ M T⁻³ I⁻²]. Exposed for the
- * lemma test that verifies the m* prefactor restores correct
- * resistivity dimensions (Wave Q A1 fix).
- */
-export declare const BE23_SYK_THERMAL_TERM: ExprNode;
-/**
- * RHS of `ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK`.
- *
- * Both ρ_0 and the thermal term must have dim [L³ M T⁻³ I⁻²].
- */
-export declare const BE23_SYK_RESISTIVITY_RHS: ExprNode;
-/** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
-/** @internal */
-export declare const BE23_SYK_RESISTIVITY_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateSYKResistivity` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface SYKResistivityInputs {
-    /** Residual resistivity ρ_0 (Ω·m). Must be ≥ 0 and finite. */
-    rho_0: number;
-    /** Carrier effective mass m* (kg). Must be > 0 and finite. */
-    m_star_kg: number;
-    /** Carrier number density n_e (m⁻³). Must be > 0 and finite. */
-    n_e_per_m3: number;
-    /** Temperature T (K). Must be ≥ 0 and finite. */
-    T_K: number;
-    /** Dimensionless SYK coefficient α_SYK (typically O(1)). Must be finite. */
-    alpha_SYK: number;
-}
-/**
- * Evaluate the Planckian-dissipation resistivity
- *
- *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
- *
- * @returns Resistivity in Ω·m (SI).
- */
-export declare function evaluateSYKResistivity(input: SYKResistivityInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * resistivity ([L³ M T⁻³ I⁻²]).
- */
-/** @internal */
-export declare function validateBE23Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-23-syk-planckian.d.ts.map

package/dist/bridges/equations/be-23-syk-planckian.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-23-syk-planckian.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAyB1F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAyBnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAYtC,CAAC;AAEF,oDAAoD;AACpD,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAAkC,CAAC;AAI1E;;GAEG;AACH,UAAU,oBAAoB;IAC5B,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAgB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-23-syk-planckian.js

@@ -1,141 +0,0 @@
-/**
- * Bridge Equation 23 — Strange-Metal / Black-Hole duality (SYK
- * Planckian dissipation, post Wave P-C R-C1 reformulation + Wave Q
- * A1 m* dimensional fix).
- *
- *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
- *
- * Resistivity SI dim:
- *   - Ω = V/A = J/(C·A) = (kg·m²/s²)/(s·A·A) = kg·m²/(s³·A²)
- *   - Ω·m = kg·m³/(s³·A²)  ≡  [L³ M T⁻³ I⁻²]
- *
- * The thermal term is the canonical Planckian-dissipation linear-in-T
- * resistivity: τ ~ ℏ/(k_B T) sets the relaxation rate, m* is the
- * carrier effective mass, n_e the carrier density, e the elementary
- * charge, and α_SYK is a dimensionless O(1) Sachdev-Ye-Kitaev
- * coefficient. The Wave Q A1 fix added the missing m* prefactor that
- * the prior Wave P-C R-C1 form was missing — without it, the SI
- * dimension was m³/(s·C²) instead of Ω·m = kg·m³/(s·C²).
- *
- * References:
- *   - Sachdev-Ye 1993 *Phys. Rev. Lett.* 70:3339 (original SY model);
- *   - Kitaev 2015 KITP (canonical SYK formulation);
- *   - Maldacena-Stanford 2016 *Phys. Rev. D* 94:106002
- *     (arXiv:1604.07818; emergent SL(2,R) symmetry, MSS chaos bound);
- *   - Hartnoll 2015 *Nature Phys.* 11:54 (review of strange-metal
- *     Planckian dissipation);
- *   - Bruin et al. 2013 *Science* 339:804; Legros et al. 2019 *Nature
- *     Phys.* 15:142 (empirical confirmation).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The Planckian linear-in-T resistivity is canonical phenomenology;
- *     the *bridge framing* (treating the SYK Planckian rate as a UPT
- *     condensed-matter ↔ holography duality, with α_SYK bundled rather
- *     than derived) is the speculative content.
- *   - α_SYK depends on the SYK-q variant (q=4 most studied); UPT does
- *     not commit to a specific q-value.
- *   - The lemma ExprNode `BE23_SYK_THERMAL_TERM` exposes the
- *     `(m* k_B T)/(n_e e² ℏ)` factor directly so the Wave Q A1 m*
- *     prefactor fix is testable in isolation.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 23: Strange-Metal / Black-Hole Duality")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 23)
- * @module bridges/equations/be-23-syk-planckian
- */
-import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, } from '../../dimensional/types.js';
-import { power } from '../../dimensional/algebra.js';
-import { hbar as DIM_hbar, k_B as DIM_kB, e as DIM_e, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/** [L^-3] — number-density dimension for n_e. */
-const NUMBER_DENSITY = power(LENGTH, -3);
-/** [L³ M T⁻³ I⁻²] — resistivity (Ω·m). */
-const RESISTIVITY = {
-    L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0,
-};
-/**
- * Lemma AST: the Planckian thermal term `(m* · k_B T) / (n_e · e² · ℏ)`.
- *
- * Should infer to RESISTIVITY = [L³ M T⁻³ I⁻²]. Exposed for the
- * lemma test that verifies the m* prefactor restores correct
- * resistivity dimensions (Wave Q A1 fix).
- */
-export const BE23_SYK_THERMAL_TERM = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: m* · k_B · T
-            kind: 'op', op: '*',
-            args: [
-                sym('m_star', MASS),
-                sym('k_B', DIM_kB),
-                sym('T', TEMPERATURE),
-            ],
-        },
-        {
-            // denominator: n_e · e² · ℏ
-            kind: 'op', op: '*',
-            args: [
-                sym('n_e', NUMBER_DENSITY),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('e', DIM_e), sym('2', DIMENSIONLESS)],
-                },
-                sym('hbar', DIM_hbar),
-            ],
-        },
-    ],
-};
-/**
- * RHS of `ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK`.
- *
- * Both ρ_0 and the thermal term must have dim [L³ M T⁻³ I⁻²].
- */
-export const BE23_SYK_RESISTIVITY_RHS = {
-    kind: 'op', op: '+',
-    args: [
-        sym('rho_0', RESISTIVITY),
-        {
-            kind: 'op', op: '*',
-            args: [
-                BE23_SYK_THERMAL_TERM,
-                sym('alpha_SYK', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
-/** @internal */
-export const BE23_SYK_RESISTIVITY_LHS = sym('rho', RESISTIVITY);
-/**
- * Evaluate the Planckian-dissipation resistivity
- *
- *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
- *
- * @returns Resistivity in Ω·m (SI).
- */
-export function evaluateSYKResistivity(input) {
-    validateFiniteInputs(input, [
-        { name: 'rho_0', min: 0 },
-        { name: 'm_star_kg', min: 0, excludeMin: true },
-        { name: 'n_e_per_m3', min: 0, excludeMin: true },
-        { name: 'T_K', min: 0 },
-        { name: 'alpha_SYK' },
-    ], 'evaluateSYKResistivity');
-    const { rho_0, m_star_kg, n_e_per_m3, T_K, alpha_SYK } = input;
-    const { hbar, kB, e } = PhysicalConstants;
-    const thermal = (m_star_kg * kB * T_K) / (n_e_per_m3 * e * e * hbar);
-    return rho_0 + thermal * alpha_SYK;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * resistivity ([L³ M T⁻³ I⁻²]).
- */
-/** @internal */
-export function validateBE23Dimensions() {
-    return validateBEDimensions(BE23_SYK_RESISTIVITY_LHS, BE23_SYK_RESISTIVITY_RHS, 'BE23');
-}
-//# sourceMappingURL=be-23-syk-planckian.js.map

package/dist/bridges/equations/be-23-syk-planckian.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-23-syk-planckian.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAY,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,GACX,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,iDAAiD;AACjD,MAAM,cAAc,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpD,0CAA0C;AAC1C,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,0BAA0B;YAC1B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACnB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;gBAC1B;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,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;QACzB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,qBAAqB;gBACrB,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC;aAChC;SACF;KACF;CACF,CAAC;AAEF,oDAAoD;AACpD,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAoB1E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;QACzB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,WAAW,EAAE;KACtB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/D,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AACrC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}