universal-physics-tensor 6.1.0 → 8.0.0

package/dist/bridges/equations/be-40-composite-higgs.js

@@ -1,149 +0,0 @@
-/**
- * Bridge Equation 40 — Composite Higgs Potential
- * (canonical SO(5)/SO(4) coset / SILH form, post Wave J Tier C5
- * dimensional fix).
- *
- *   V(h) = -α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) - sin²(h/f) cos²(h/f)]
- *
- * V has dim [energy⁴] (natural-unit Lagrangian-density convention; same
- * SI shape as BE-18, [L^8 M^4 T^-8]). f is the pseudo-Goldstone decay
- * constant (typically TeV-scale); h is the Higgs field; both have dim
- * [energy]. α, β are dimensionless Wilson coefficients; the trig
- * functions sin/cos take the dimensionless argument h/f.
- *
- * Reference: Kaplan & Georgi 1984 *Phys. Lett. B* 136:183 (composite
- * Higgs as pseudo-Goldstone boson; original SO(5)/SO(4) construction);
- * Giudice, Grojean, Pomarol & Rattazzi 2007 *JHEP* 0706:045
- * (arXiv:hep-ph/0703164; canonical SILH effective Lagrangian).
- *
- * Status: established (after Wave J Tier C5 f² → f⁴ dimensional fix).
- *
- * Honest-claude scope notes:
- *   - The four trig terms `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`,
- *     `sin²(h/f)·cos²(h/f)` are built (v0.19) from faithful `transcendental`
- *     sin/cos nodes over the exposed dimensionless argument h/f, so h and f are
- *     visible to differentiation. The argument h/f is exposed as
- *     `BE40_HIGGS_DIMLESS_ARG` for the lemma test.
- *   - Working in natural units (f, h dimensionless TeV-scale) is the
- *     particle-physics convention; the numerical evaluator takes f, h
- *     as bare numbers and returns V in those same natural units.
- *   - The minimum at sin²(h/f) = (α+β)/(4β) gives `V_min = -f⁴·(α+β)²/
- *     (8β)`; for α = β = 1, V_min = -f⁴/2.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 40: Composite Higgs Potential")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 40)
- * @module bridges/equations/be-40-composite-higgs
- */
-import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
-import { power } from '../../dimensional/algebra.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/** [energy⁴] = [L^8 M^4 T^-8]. */
-const ENERGY4 = power(ENERGY, 4);
-/**
- * Lemma AST: the dimensionless argument h/f for the trig functions.
- *
- * h and f both have dim [energy], so h/f is dimensionless.
- */
-export const BE40_HIGGS_DIMLESS_ARG = {
-    kind: 'op', op: '/',
-    args: [
-        sym('h', ENERGY),
-        sym('f', ENERGY),
-    ],
-};
-/** f⁴ — energy^4 prefactor common to both terms. */
-const F4 = {
-    kind: 'op', op: '^',
-    args: [sym('f', ENERGY), sym('4', DIMENSIONLESS)],
-};
-// Faithful trig of h/f (v0.19): sin/cos `transcendental` nodes over the exposed
-// dimensionless argument h/f, so h and f are visible to differentiation. Each
-// is DIMENSIONLESS, so the round-trip dimensional_signature is unchanged from
-// the former sin²/sin⁴/sin²cos² symbol stubs.
-const BE40_SIN = { kind: 'transcendental', fn: 'sin', arg: BE40_HIGGS_DIMLESS_ARG };
-const BE40_COS = { kind: 'transcendental', fn: 'cos', arg: BE40_HIGGS_DIMLESS_ARG };
-const BE40_SIN2 = { kind: 'op', op: '^', args: [BE40_SIN, sym('2', DIMENSIONLESS)] };
-const BE40_SIN4 = { kind: 'op', op: '^', args: [BE40_SIN, sym('4', DIMENSIONLESS)] };
-const BE40_COS2 = { kind: 'op', op: '^', args: [BE40_COS, sym('2', DIMENSIONLESS)] };
-const BE40_SIN2_COS2 = { kind: 'op', op: '*', args: [BE40_SIN2, BE40_COS2] };
-/**
- * RHS of the SILH composite-Higgs potential:
- *
- *   V = -α·f⁴·sin²(h/f) + β·f⁴·(sin⁴(h/f) - sin²(h/f)·cos²(h/f))
- *
- * The four trig combinations (`sin²`, `cos²`, `sin⁴`, `sin²cos²`) are built
- * from the faithful `transcendental` sin/cos of h/f above (`BE40_SIN`/
- * `BE40_COS`, v0.19). The LHS argument h/f is exposed separately as
- * `BE40_HIGGS_DIMLESS_ARG`.
- */
-export const BE40_COMPOSITE_HIGGS_RHS = {
-    kind: 'op', op: '+',
-    args: [
-        {
-            // -α · f⁴ · sin²(h/f)
-            // Encode the unary minus as multiplication by a dimensionless '-1' stub.
-            kind: 'op', op: '*',
-            args: [
-                sym('-1', DIMENSIONLESS),
-                sym('alpha', DIMENSIONLESS),
-                F4,
-                BE40_SIN2,
-            ],
-        },
-        {
-            // β · f⁴ · (sin⁴(h/f) - sin²(h/f)·cos²(h/f))
-            kind: 'op', op: '*',
-            args: [
-                sym('beta', DIMENSIONLESS),
-                F4,
-                {
-                    kind: 'op', op: '-',
-                    args: [
-                        BE40_SIN4,
-                        BE40_SIN2_COS2,
-                    ],
-                },
-            ],
-        },
-    ],
-};
-/** LHS: V(h) has dim [energy⁴]. */
-/** @internal */
-export const BE40_COMPOSITE_HIGGS_LHS = sym('V', ENERGY4);
-/**
- * Evaluate the SILH composite-Higgs potential
- *
- *   V(h) = -α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) - sin²(h/f) cos²(h/f)]
- *
- * in natural units (f, h dimensionless). Result V is in those same
- * natural units (e.g. TeV⁴).
- *
- * @returns V(h) in natural-unit f⁴-scale.
- */
-export function evaluateCompositeHiggs(input) {
-    validateFiniteInputs(input, [
-        { name: 'f', min: 0, excludeMin: true },
-        { name: 'h' },
-        { name: 'alpha' },
-        { name: 'beta' },
-    ], 'evaluateCompositeHiggs');
-    const { h, f, alpha, beta } = input;
-    const arg = h / f;
-    const s = Math.sin(arg);
-    const c = Math.cos(arg);
-    const s2 = s * s;
-    const c2 = c * c;
-    const s4 = s2 * s2;
-    const f4 = Math.pow(f, 4);
-    return -alpha * f4 * s2 + beta * f4 * (s4 - s2 * c2);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [energy⁴].
- */
-/** @internal */
-export function validateBE40Dimensions() {
-    return validateBEDimensions(BE40_COMPOSITE_HIGGS_LHS, BE40_COMPOSITE_HIGGS_RHS, 'BE40');
-}
-//# sourceMappingURL=be-40-composite-higgs.js.map

package/dist/bridges/equations/be-40-composite-higgs.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kCAAkC;AAClC,MAAM,OAAO,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,EAAE,GAAa;IACnB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAClD,CAAC;AAEF,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,8CAA8C;AAC9C,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,QAAQ,GAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;AAC9F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,SAAS,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;AAC/F,MAAM,cAAc,GAAa,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;AAEvF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,yEAAyE;YACzE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE;gBACF,SAAS;aACV;SACF;QACD;YACE,6CAA6C;YAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1B,EAAE;gBACF;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,SAAS;wBACT,cAAc;qBACf;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAkBpE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}

package/dist/bridges/equations/be-41-swampland.d.ts

@@ -1,73 +0,0 @@
-/**
- * Bridge Equation 41 — Swampland Distance Conjecture.
- *
- *   m(φ) = m₀ exp(−α |φ − φ₀| / M_P)
- *
- * As one moves in scalar-field-space by a Planck distance ~M_P, an
- * infinite tower of states becomes exponentially light. α is an
- * O(1) dimensionless coefficient.
- *
- * Reference: Vafa 2005 "The String Landscape and the Swampland"
- * (arXiv:hep-th/0509212); Ooguri-Vafa 2007 Nucl. Phys. B 766:21.
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The current AST has no `exp` primitive. We encode the relation
- *     `m(φ) = m₀ · ε` where ε is a dimensionless symbol named
- *     `exp(-α|φ-φ₀|/M_P)`, and we expose the exp ARGUMENT as a
- *     separate ExprNode `SWAMPLAND_EXP_ARG` so a downstream consumer
- *     (and the test suite) can verify the argument is dimensionless.
- *     This pattern preserves the structural information that an exp
- *     factor is present and that its argument carries no dimension,
- *     without lying that the AST 'understands' exp.
- *   - φ is encoded with dim of [mass] (canonically normalized scalar
- *     field; matches M_P).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 41: Swampland Distance Conjecture Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 41)
- * @module bridges/equations/be-41-swampland
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the exp argument α(φ−φ₀)/M_P, exposed for verification
- * that it is dimensionless.
- */
-export declare const SWAMPLAND_EXP_ARG: ExprNode;
-/**
- * RHS of the Swampland mass relation: `m₀ · exp(−α|φ−φ₀|/M_P)`. The exp factor is
- * encoded faithfully (v0.19) as `transcendental(exp, −1 · SWAMPLAND_EXP_ARG)`
- * (SWAMPLAND_EXP_ARG = α|φ−φ₀|/M_P), so α, φ, φ₀, M_P are visible to
- * differentiation. `exp` of a DIMENSIONLESS argument is DIMENSIONLESS, so the
- * round-trip dimensional_signature is unchanged from the former symbol stub.
- */
-export declare const SWAMPLAND_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateSwampland` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface SwamplandInputs {
-    /** Reference mass m₀. Must be ≥ 0 (any consistent unit; output in same unit). */
-    m0: number;
-    /** Dimensionless O(1) coefficient α. */
-    alpha: number;
-    /** Scalar-field value φ (any consistent unit; must match phi0 and M_P). */
-    phi: number;
-    /** Scalar-field reference φ₀. */
-    phi0: number;
-    /** Planck mass M_P (same unit as phi, phi0). Must be > 0. */
-    M_P: number;
-}
-/**
- * Evaluate m(φ) = m₀ · exp(−α |φ − φ₀| / M_P).
- *
- * @returns m in the same unit as m0.
- */
-export declare function evaluateSwampland(input: SwamplandInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [mass].
- */
-/** @internal */
-export declare function validateSwamplandDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-41-swampland.d.ts.map

package/dist/bridges/equations/be-41-swampland.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-41-swampland.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAqB/B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,EAAE,QAa3B,CAAC;AAOF;;GAEG;AACH,UAAU,eAAe;IACvB,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,GAAG,EAAE,MAAM,CAAC;IACZ,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAehE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,2BAA2B,IAAI,yBAAyB,CAEvE"}

package/dist/bridges/equations/be-41-swampland.js

@@ -1,108 +0,0 @@
-/**
- * Bridge Equation 41 — Swampland Distance Conjecture.
- *
- *   m(φ) = m₀ exp(−α |φ − φ₀| / M_P)
- *
- * As one moves in scalar-field-space by a Planck distance ~M_P, an
- * infinite tower of states becomes exponentially light. α is an
- * O(1) dimensionless coefficient.
- *
- * Reference: Vafa 2005 "The String Landscape and the Swampland"
- * (arXiv:hep-th/0509212); Ooguri-Vafa 2007 Nucl. Phys. B 766:21.
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The current AST has no `exp` primitive. We encode the relation
- *     `m(φ) = m₀ · ε` where ε is a dimensionless symbol named
- *     `exp(-α|φ-φ₀|/M_P)`, and we expose the exp ARGUMENT as a
- *     separate ExprNode `SWAMPLAND_EXP_ARG` so a downstream consumer
- *     (and the test suite) can verify the argument is dimensionless.
- *     This pattern preserves the structural information that an exp
- *     factor is present and that its argument carries no dimension,
- *     without lying that the AST 'understands' exp.
- *   - φ is encoded with dim of [mass] (canonically normalized scalar
- *     field; matches M_P).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 41: Swampland Distance Conjecture Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 41)
- * @module bridges/equations/be-41-swampland
- */
-import { DIMENSIONLESS, MASS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * Lemma AST: the exp argument α(φ−φ₀)/M_P, exposed for verification
- * that it is dimensionless.
- */
-export const SWAMPLAND_EXP_ARG = {
-    kind: 'op', op: '*',
-    args: [
-        sym('alpha', DIMENSIONLESS),
-        {
-            kind: 'op', op: '/',
-            args: [
-                // |φ − φ₀| — the `abs` node (v0.19) preserves dimension, so φ and φ₀
-                // are visible to differentiation (a faithful AST counterpart to the
-                // numerical evaluator's |·|).
-                {
-                    kind: 'abs',
-                    arg: {
-                        kind: 'op', op: '-',
-                        args: [sym('phi', MASS), sym('phi_0', MASS)],
-                    },
-                },
-                sym('M_P', MASS),
-            ],
-        },
-    ],
-};
-/**
- * RHS of the Swampland mass relation: `m₀ · exp(−α|φ−φ₀|/M_P)`. The exp factor is
- * encoded faithfully (v0.19) as `transcendental(exp, −1 · SWAMPLAND_EXP_ARG)`
- * (SWAMPLAND_EXP_ARG = α|φ−φ₀|/M_P), so α, φ, φ₀, M_P are visible to
- * differentiation. `exp` of a DIMENSIONLESS argument is DIMENSIONLESS, so the
- * round-trip dimensional_signature is unchanged from the former symbol stub.
- */
-export const SWAMPLAND_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('m_0', MASS),
-        {
-            kind: 'transcendental',
-            fn: 'exp',
-            arg: {
-                kind: 'op', op: '*',
-                args: [sym('-1', DIMENSIONLESS), SWAMPLAND_EXP_ARG],
-            },
-        },
-    ],
-};
-/** LHS: m(φ) has dimension [mass]. */
-const SWAMPLAND_LHS = sym('m_phi', MASS);
-/**
- * Evaluate m(φ) = m₀ · exp(−α |φ − φ₀| / M_P).
- *
- * @returns m in the same unit as m0.
- */
-export function evaluateSwampland(input) {
-    validateFiniteInputs(input, [
-        { name: 'm0', min: 0 },
-        { name: 'alpha' },
-        { name: 'phi' },
-        { name: 'phi0' },
-        { name: 'M_P', min: 0, excludeMin: true },
-    ], 'evaluateSwampland');
-    const { m0, alpha, phi, phi0, M_P } = input;
-    const arg = (alpha * Math.abs(phi - phi0)) / M_P;
-    return m0 * Math.exp(-arg);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [mass].
- */
-/** @internal */
-export function validateSwamplandDimensions() {
-    return validateBEDimensions(SWAMPLAND_LHS, SWAMPLAND_RHS, 'BE41');
-}
-//# sourceMappingURL=be-41-swampland.js.map

package/dist/bridges/equations/be-41-swampland.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-41-swampland.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;QAC3B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,qEAAqE;gBACrE,oEAAoE;gBACpE,8BAA8B;gBAC9B;oBACE,IAAI,EAAE,KAAK;oBACX,GAAG,EAAE;wBACH,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;wBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;qBAC7C;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QAChB;YACE,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC;aACpD;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAoBnD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QACtB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,MAAM,EAAE;QAChB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC;IACjD,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,2BAA2B;IACzC,OAAO,oBAAoB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC"}

package/dist/bridges/equations/be-42-hawking-temperature.d.ts

@@ -1,72 +0,0 @@
-/**
- * Bridge Equation 42 — Hawking temperature (canonical 1975 derivation,
- * post Wave Y reformulation).
- *
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * The temperature scale at which the firewall paradox lives: a black
- * hole of mass M radiates a thermal Hawking spectrum at temperature
- * T_H, and the firewall question concerns whether an infalling
- * observer encounters a fiery transition at the horizon. The
- * reformulated BE-42 encodes the temperature scalar; the firewall
- * complement-principle quantum-state superposition `|ψ⟩ = α|smooth⟩
- * + β|firewall⟩` is the AST-unencodable bridge framing that motivates
- * BE-42's catalog placement.
- *
- * Reference: Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical
- * derivation of the Hawking temperature from quantum-field-theory in
- * Schwarzschild background); Bardeen-Carter-Hawking 1973 *Commun.
- * Math. Phys.* 31:161 (the four laws of black-hole mechanics that
- * pre-figure thermodynamic interpretation).
- *
- * Status: highly-speculative.
- *
- * Honest-claude scope notes:
- *   - The Hawking temperature itself is canonical; the original BE-42
- *     framing (firewall complement principle as a quantum-state
- *     superposition) is the AST-unencodable speculative element.
- *   - Numerical bracket: solar-mass black hole (M = 1.989×10³⁰ kg)
- *     gives T_H ≈ 6.17×10⁻⁸ K — the textbook Hawking temperature for
- *     a stellar-mass BH (Wald *General Relativity* Eq. 14.3.7;
- *     Birrell-Davies *Quantum Fields in Curved Space* §8.1).
- *   - Dim check: [ℏ c³] = [J·s · m³/s³] = [J·m³/s²] = [M L⁵ T⁻⁴];
- *     [G M k_B] = [m³/(kg·s²)] · [kg] · [J/K] = [J·m³/(s²·K)] =
- *     [M L⁵ T⁻⁴ Θ⁻¹]. Ratio = [Θ] ✓.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 42")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 42)
- * @module bridges/equations/be-42-hawking-temperature
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the Hawking temperature:
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * Encoded as `ℏ · c³ / (8π · G · M · k_B)`.
- */
-export declare const BE42_HAWKING_TEMPERATURE_RHS: ExprNode;
-/** LHS: T_H has dimension [temperature]. */
-/** @internal */
-export declare const BE42_HAWKING_TEMPERATURE_LHS: ExprNode;
-export interface HawkingTemperatureInputs {
-    /** Black-hole mass M (kg). Must be > 0 and finite. */
-    M_kg: number;
-}
-/**
- * Evaluate the Hawking temperature
- *
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * @returns Hawking temperature in K (SI).
- * @throws {RangeError} when `M_kg` is not a finite positive number, or when
- *   the SI evaluation overflows to a non-finite temperature. A non-finite
- *   return would become `null` under `JSON.stringify`.
- */
-export declare function evaluateHawkingTemperature(input: HawkingTemperatureInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [temperature].
- */
-/** @internal */
-export declare function validateBE42Dimensions(): DimensionValidationReport;
-//# sourceMappingURL=be-42-hawking-temperature.d.ts.map

package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAe1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAelF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-42-hawking-temperature.js

@@ -1,108 +0,0 @@
-/**
- * Bridge Equation 42 — Hawking temperature (canonical 1975 derivation,
- * post Wave Y reformulation).
- *
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * The temperature scale at which the firewall paradox lives: a black
- * hole of mass M radiates a thermal Hawking spectrum at temperature
- * T_H, and the firewall question concerns whether an infalling
- * observer encounters a fiery transition at the horizon. The
- * reformulated BE-42 encodes the temperature scalar; the firewall
- * complement-principle quantum-state superposition `|ψ⟩ = α|smooth⟩
- * + β|firewall⟩` is the AST-unencodable bridge framing that motivates
- * BE-42's catalog placement.
- *
- * Reference: Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical
- * derivation of the Hawking temperature from quantum-field-theory in
- * Schwarzschild background); Bardeen-Carter-Hawking 1973 *Commun.
- * Math. Phys.* 31:161 (the four laws of black-hole mechanics that
- * pre-figure thermodynamic interpretation).
- *
- * Status: highly-speculative.
- *
- * Honest-claude scope notes:
- *   - The Hawking temperature itself is canonical; the original BE-42
- *     framing (firewall complement principle as a quantum-state
- *     superposition) is the AST-unencodable speculative element.
- *   - Numerical bracket: solar-mass black hole (M = 1.989×10³⁰ kg)
- *     gives T_H ≈ 6.17×10⁻⁸ K — the textbook Hawking temperature for
- *     a stellar-mass BH (Wald *General Relativity* Eq. 14.3.7;
- *     Birrell-Davies *Quantum Fields in Curved Space* §8.1).
- *   - Dim check: [ℏ c³] = [J·s · m³/s³] = [J·m³/s²] = [M L⁵ T⁻⁴];
- *     [G M k_B] = [m³/(kg·s²)] · [kg] · [J/K] = [J·m³/(s²·K)] =
- *     [M L⁵ T⁻⁴ Θ⁻¹]. Ratio = [Θ] ✓.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 42")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 42)
- * @module bridges/equations/be-42-hawking-temperature
- */
-import { DIMENSIONLESS, MASS, TEMPERATURE, } from '../../dimensional/types.js';
-import { hbar as DIM_hbar, c as DIM_c, G as DIM_G, 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 Hawking temperature:
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * Encoded as `ℏ · c³ / (8π · G · M · k_B)`.
- */
-export const BE42_HAWKING_TEMPERATURE_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: ℏ · c³
-            kind: 'op', op: '*',
-            args: [
-                sym('hbar', DIM_hbar),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('3', DIMENSIONLESS)],
-                },
-            ],
-        },
-        {
-            // denominator: 8π · G · M · k_B
-            kind: 'op', op: '*',
-            args: [
-                sym('8pi', DIMENSIONLESS),
-                sym('G', DIM_G),
-                sym('M', MASS),
-                sym('k_B', DIM_kB),
-            ],
-        },
-    ],
-};
-/** LHS: T_H has dimension [temperature]. */
-/** @internal */
-export const BE42_HAWKING_TEMPERATURE_LHS = sym('T_H', TEMPERATURE);
-/**
- * Evaluate the Hawking temperature
- *
- *   T_H = ℏ c³ / (8π G M k_B)
- *
- * @returns Hawking temperature in K (SI).
- * @throws {RangeError} when `M_kg` is not a finite positive number, or when
- *   the SI evaluation overflows to a non-finite temperature. A non-finite
- *   return would become `null` under `JSON.stringify`.
- */
-export function evaluateHawkingTemperature(input) {
-    validateFiniteInputs(input, [{ name: 'M_kg', min: 0, excludeMin: true }], 'evaluateHawkingTemperature');
-    const { M_kg } = input;
-    const { hbar, c, G, kB } = PhysicalConstants;
-    const temperature = (hbar * c * c * c) / (8 * Math.PI * G * M_kg * kB);
-    if (!Number.isFinite(temperature)) {
-        throw new RangeError(`evaluateHawkingTemperature: T_H is not a finite number for M_kg=${M_kg} (the SI evaluation overflowed to ${temperature}).`);
-    }
-    return temperature;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [temperature].
- */
-/** @internal */
-export function validateBE42Dimensions() {
-    return validateBEDimensions(BE42_HAWKING_TEMPERATURE_LHS, BE42_HAWKING_TEMPERATURE_RHS, 'BE42');
-}
-//# sourceMappingURL=be-42-hawking-temperature.js.map

package/dist/bridges/equations/be-42-hawking-temperature.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;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;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC5C,4BAA4B,CAC7B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,MAAM,WAAW,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,mEAAmE,IAAI,qCAAqC,WAAW,IAAI,CAC5H,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-43-er-epr.d.ts

@@ -1,79 +0,0 @@
-/**
- * Bridge Equation 43 — ER=EPR Wormhole-Entropy Bound (canonical
- * Bekenstein-Hawking applied to the Einstein-Rosen bridge minimal
- * cross-section, post Wave P-A R-A3 reformulation).
- *
- *   S_entanglement = A_wormhole / (4 ℓ_P²)         [natural units]
- *   S_entanglement = k_B · A_wormhole / (4 ℓ_P²)   [SI form]
- *
- * Equivalently, since ℓ_P² = ℏ G / c³,
- *   S_entanglement = k_B · c³ · A_wormhole / (4 G ℏ)  [BE-14 form]
- *
- * The form encoded here mirrors BE-14 Ryu-Takayanagi's SI convention
- * exactly so the per-bridge dimensional_signature is `[entropy]` (not
- * `[1]` — a dimensionless bit/nat count would also be physically valid
- * but breaks the cross-bridge convention).
- *
- * Reference: Maldacena & Susskind 2013 *Fortschr. Phys.* 61:781
- * (arXiv:1306.0533; canonical ER=EPR statement). Bekenstein 1973
- * *Phys. Rev. D* 7:2333 (original S ~ A/(4 ℓ_P²) BH-entropy bound).
- * Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical S = A/(4 ℓ_P²)
- * prefactor confirmation).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The Bekenstein-Hawking bound itself is canonical; the *bridge
- *     framing* — that entanglement-entropy structure is *equivalent
- *     to* (not merely correlated with) wormhole geometry in the bulk
- *     dual outside the strict eternal-black-hole / thermofield-double
- *     AdS/CFT regime — is the speculative ER=EPR-extension content.
- *   - The minimal cross-section A_wormhole is a free input; computing
- *     it from a concrete bulk geometry (e.g., Stanford-Susskind 2014
- *     complexity-volume duality) is out of scope for the bridge formula.
- *   - We deliberately mirror BE-14's SI convention (`[entropy]`) rather
- *     than the natural-units form `S = A/(4 ℓ_P²)` (which would round-
- *     trip to `[1]`). Both forms are physically equivalent under
- *     k_B = 1; the SI form is canonical for the catalog.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 43: ER=EPR Wormhole-Entropy Bound")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 43)
- * @see src/bridges/equations/be-14-ryu-takayanagi.ts (mirrored convention)
- * @module bridges/equations/be-43-er-epr
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the ER=EPR wormhole-entropy bound (SI form):
- *   S = k_B · A_wormhole / (4 · ℓ_P²)
- *
- * `[entropy] · [L²] / [L²] = [entropy]` — round-trips to `[entropy]`.
- */
-export declare const BE43_ER_EPR_RHS: ExprNode;
-/** LHS: S_entanglement has dimension [entropy]. */
-/** @internal */
-export declare const BE43_ER_EPR_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateEREPRBound` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface EREPRBoundInputs {
-    /** Wormhole minimal cross-section area (m²). Must be ≥ 0 and finite. */
-    area_m2: number;
-}
-/**
- * Evaluate the ER=EPR wormhole-entropy bound in SI units:
- *
- *   S_entanglement = k_B · A_wormhole / (4 · ℓ_P²)
- *
- * with ℓ_P² = ℏ G / c³ (Planck-length squared, ~2.612e-70 m²).
- *
- * @returns Entanglement entropy in J/K (SI).
- */
-export declare function evaluateEREPRBound(input: EREPRBoundInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [entropy].
- */
-/** @internal */
-export declare function validateBE43Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-43-er-epr.d.ts.map

package/dist/bridges/equations/be-43-er-epr.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-43-er-epr.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAa1F;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAuB7B,CAAC;AAEF,mDAAmD;AACnD,gBAAgB;AAChB,eAAO,MAAM,eAAe,EAAE,QAAyC,CAAC;AAIxE;;GAEG;AACH,UAAU,gBAAgB;IACxB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}