universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-39-asymptotic-safety.d.ts

@@ -0,0 +1,106 @@
+/**
+ * Bridge Equation 39 — Asymptotic Safety in Quantum Gravity (functional
+ * renormalization-group β-functions in the canonical Einstein-Hilbert
+ * truncation).
+ *
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ + O(g⁴)
+ *   β_λ = −2λ + D·λ² − E·g·λ − F·g² + O(λ³, g³)
+ *
+ * Where g ≡ G(k)·k² is the dimensionless Newton coupling, λ ≡ Λ(k)/k²
+ * is the dimensionless cosmological constant, and (A, B, C, D, E, F)
+ * are truncation-scheme-dependent coefficients (Reuter 1998
+ * *Phys. Rev. D* 57:971, arXiv:hep-th/9605030; Reuter-Weyer 2009
+ * *Gen. Rel. Grav.* 41:983 for the canonical EH-truncation values;
+ * Codello-Percacci-Rahmede 2009 review of sign conventions).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The β-functions are dimensionless functions of dimensionless
+ *     couplings (g, λ). Both LHS and RHS infer to DIMENSIONLESS;
+ *     dim_signature: '[1]'.
+ *   - Coefficients (A, B, C, D, E, F) are NOT universal — they depend
+ *     on the truncation scheme, the regulator function R_k, and the
+ *     gauge-fixing. Different schemes yield different numerical
+ *     coefficients. Calling them "universal" was misleading; the
+ *     spec's known_issues entry (Wave L Tier I5) documents this.
+ *   - The AST encodes β_g as the canonical RHS for the catalog
+ *     round-trip; β_λ has the same dimensional structure
+ *     (dimensionless polynomial in dimensionless g and λ) and is
+ *     numerically evaluable separately via `evaluateBetaLambda`.
+ *   - At the Gaussian fixed point (g, λ) = (0, 0), both β-functions
+ *     vanish — the "trivial fixed point" of the RG flow.
+ *   - The non-Gaussian fixed point (NGFP) is the conjectural UV-
+ *     attractive fixed point that motivates the asymptotic-safety
+ *     program: numerical truncation studies find g_* ≈ 0.7, λ_* ≈ 0.4
+ *     (in some sign conventions) for the canonical EH truncation, but
+ *     the values are scheme-dependent.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 39: Asymptotic Safety in Quantum Gravity")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 39)
+ * @module bridges/equations/be-39-asymptotic-safety
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the canonical β_g equation:
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ
+ *
+ * All symbols are dimensionless. The result is dimensionless (β-functions
+ * are derivatives of dimensionless couplings w.r.t. log of energy scale).
+ *
+ * Encoded as an explicit sum of terms with a `-1` dimensionless stub for
+ * the unary minus on the C·g²·λ term (the AST's `op '-'` is binary).
+ */
+export declare const BE39_BETA_G_RHS: ExprNode;
+/** LHS: β_g is dimensionless. */
+export declare const BE39_BETA_G_LHS: ExprNode;
+export interface BetaGInputs {
+    /** Dimensionless Newton coupling g = G(k)·k². Must be finite. */
+    g: number;
+    /** Dimensionless cosmological constant λ = Λ(k)/k². Must be finite. */
+    lambda: number;
+    /** Truncation-scheme coefficient A (g² term). Must be finite. */
+    A: number;
+    /** Truncation-scheme coefficient B (g³ term). Must be finite. */
+    B: number;
+    /** Truncation-scheme coefficient C (g²λ cross-coupling). Must be finite. */
+    C: number;
+}
+/**
+ * Evaluate the β-function for the dimensionless Newton coupling:
+ *
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ
+ *
+ * @returns Dimensionless β_g value.
+ */
+export declare function evaluateBetaG(input: BetaGInputs): number;
+export interface BetaLambdaInputs {
+    /** Dimensionless Newton coupling g. Must be finite. */
+    g: number;
+    /** Dimensionless cosmological constant λ. Must be finite. */
+    lambda: number;
+    /** Truncation-scheme coefficient D (λ² term). Must be finite. */
+    D: number;
+    /** Truncation-scheme coefficient E (g·λ cross-coupling). Must be finite. */
+    E: number;
+    /** Truncation-scheme coefficient F (g² term, Wave S addition). Must be finite. */
+    F: number;
+}
+/**
+ * Evaluate the β-function for the dimensionless cosmological constant:
+ *
+ *   β_λ = −2λ + D·λ² − E·g·λ − F·g²
+ *
+ * The −F·g² term was added in Wave S (per Math iter-7 IMP-6); its
+ * presence is required for the canonical Einstein-Hilbert truncation
+ * to fix the non-Gaussian fixed point's λ_* value.
+ *
+ * @returns Dimensionless β_λ value.
+ */
+export declare function evaluateBetaLambda(input: BetaLambdaInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * DIMENSIONLESS.
+ */
+export declare function validateBE39Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-39-asymptotic-safety.d.ts.map

package/dist/bridges/equations/be-39-asymptotic-safety.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAM1F;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,QA6C7B,CAAC;AAEF,iCAAiC;AACjC,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAItE,MAAM,WAAW,WAAW;IAC1B,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAUxD;AAID,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,CAAC,EAAE,MAAM,CAAC;IACV,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;IACV,kFAAkF;IAClF,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-39-asymptotic-safety.js

@@ -0,0 +1,155 @@
+/**
+ * Bridge Equation 39 — Asymptotic Safety in Quantum Gravity (functional
+ * renormalization-group β-functions in the canonical Einstein-Hilbert
+ * truncation).
+ *
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ + O(g⁴)
+ *   β_λ = −2λ + D·λ² − E·g·λ − F·g² + O(λ³, g³)
+ *
+ * Where g ≡ G(k)·k² is the dimensionless Newton coupling, λ ≡ Λ(k)/k²
+ * is the dimensionless cosmological constant, and (A, B, C, D, E, F)
+ * are truncation-scheme-dependent coefficients (Reuter 1998
+ * *Phys. Rev. D* 57:971, arXiv:hep-th/9605030; Reuter-Weyer 2009
+ * *Gen. Rel. Grav.* 41:983 for the canonical EH-truncation values;
+ * Codello-Percacci-Rahmede 2009 review of sign conventions).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The β-functions are dimensionless functions of dimensionless
+ *     couplings (g, λ). Both LHS and RHS infer to DIMENSIONLESS;
+ *     dim_signature: '[1]'.
+ *   - Coefficients (A, B, C, D, E, F) are NOT universal — they depend
+ *     on the truncation scheme, the regulator function R_k, and the
+ *     gauge-fixing. Different schemes yield different numerical
+ *     coefficients. Calling them "universal" was misleading; the
+ *     spec's known_issues entry (Wave L Tier I5) documents this.
+ *   - The AST encodes β_g as the canonical RHS for the catalog
+ *     round-trip; β_λ has the same dimensional structure
+ *     (dimensionless polynomial in dimensionless g and λ) and is
+ *     numerically evaluable separately via `evaluateBetaLambda`.
+ *   - At the Gaussian fixed point (g, λ) = (0, 0), both β-functions
+ *     vanish — the "trivial fixed point" of the RG flow.
+ *   - The non-Gaussian fixed point (NGFP) is the conjectural UV-
+ *     attractive fixed point that motivates the asymptotic-safety
+ *     program: numerical truncation studies find g_* ≈ 0.7, λ_* ≈ 0.4
+ *     (in some sign conventions) for the canonical EH truncation, but
+ *     the values are scheme-dependent.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 39: Asymptotic Safety in Quantum Gravity")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 39)
+ * @module bridges/equations/be-39-asymptotic-safety
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the canonical β_g equation:
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ
+ *
+ * All symbols are dimensionless. The result is dimensionless (β-functions
+ * are derivatives of dimensionless couplings w.r.t. log of energy scale).
+ *
+ * Encoded as an explicit sum of terms with a `-1` dimensionless stub for
+ * the unary minus on the C·g²·λ term (the AST's `op '-'` is binary).
+ */
+export const BE39_BETA_G_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        {
+            // 2g
+            kind: 'op', op: '*',
+            args: [sym('2', DIMENSIONLESS), sym('g', DIMENSIONLESS)],
+        },
+        {
+            // A · g²
+            kind: 'op', op: '*',
+            args: [
+                sym('A', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('g', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
+                },
+            ],
+        },
+        {
+            // B · g³
+            kind: 'op', op: '*',
+            args: [
+                sym('B', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('g', DIMENSIONLESS), sym('3', DIMENSIONLESS)],
+                },
+            ],
+        },
+        {
+            // -C · g² · λ  (encoded as a single dimensionless symbol stub
+            // 'minus_C_g2_lambda' to keep the binary-op structure clean; the
+            // sign is captured in the symbol name)
+            kind: 'op', op: '*',
+            args: [
+                sym('-C', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('g', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
+                },
+                sym('lambda', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
+/** LHS: β_g is dimensionless. */
+export const BE39_BETA_G_LHS = sym('beta_g', DIMENSIONLESS);
+/**
+ * Evaluate the β-function for the dimensionless Newton coupling:
+ *
+ *   β_g = 2g + A·g² + B·g³ − C·g²·λ
+ *
+ * @returns Dimensionless β_g value.
+ */
+export function evaluateBetaG(input) {
+    const { g, lambda, A, B, C } = input;
+    for (const [name, val] of [['g', g], ['lambda', lambda], ['A', A], ['B', B], ['C', C]]) {
+        if (!Number.isFinite(val)) {
+            throw new RangeError(`evaluateBetaG: ${name} must be finite, got ${val}`);
+        }
+    }
+    return 2 * g + A * g * g + B * g * g * g - C * g * g * lambda;
+}
+/**
+ * Evaluate the β-function for the dimensionless cosmological constant:
+ *
+ *   β_λ = −2λ + D·λ² − E·g·λ − F·g²
+ *
+ * The −F·g² term was added in Wave S (per Math iter-7 IMP-6); its
+ * presence is required for the canonical Einstein-Hilbert truncation
+ * to fix the non-Gaussian fixed point's λ_* value.
+ *
+ * @returns Dimensionless β_λ value.
+ */
+export function evaluateBetaLambda(input) {
+    const { g, lambda, D, E, F } = input;
+    for (const [name, val] of [['g', g], ['lambda', lambda], ['D', D], ['E', E], ['F', F]]) {
+        if (!Number.isFinite(val)) {
+            throw new RangeError(`evaluateBetaLambda: ${name} must be finite, got ${val}`);
+        }
+    }
+    return -2 * lambda + D * lambda * lambda - E * g * lambda - F * g * g;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * DIMENSIONLESS.
+ */
+export function validateBE39Dimensions() {
+    const eq = validateEquation(BE39_BETA_G_LHS, BE39_BETA_G_RHS);
+    const lhs = validate(BE39_BETA_G_LHS);
+    const rhs = validate(BE39_BETA_G_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-39-asymptotic-safety.js.map

package/dist/bridges/equations/be-39-asymptotic-safety.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-39-asymptotic-safety.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAa,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEtE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,KAAK;YACL,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACzD;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,8DAA8D;YAC9D,iEAAiE;YACjE,uCAAuC;YACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;gBACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;aAC7B;SACF;KACF;CACF,CAAC;AAEF,iCAAiC;AACjC,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAiBtE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAU,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,UAAU,CAClB,kBAAkB,IAAI,wBAAwB,GAAG,EAAE,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;AAChE,CAAC;AAiBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAU,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,UAAU,CAClB,uBAAuB,IAAI,wBAAwB,GAAG,EAAE,CACzD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-40-composite-higgs.d.ts

@@ -0,0 +1,81 @@
+/**
+ * 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 AST has no transcendental primitives. The four trig terms
+ *     `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`, `sin²(h/f)·cos²(h/f)` are
+ *     each encoded as dimensionless symbol stubs. 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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Lemma AST: the dimensionless argument h/f for the trig functions.
+ *
+ * h and f both have dim [energy], so h/f is dimensionless.
+ */
+export declare const BE40_HIGGS_DIMLESS_ARG: ExprNode;
+/**
+ * RHS of the SILH composite-Higgs potential:
+ *
+ *   V = -α·f⁴·sin²(h/f) + β·f⁴·(sin⁴(h/f) - sin²(h/f)·cos²(h/f))
+ *
+ * Encoded with dimensionless stubs for the four trig combinations
+ * (`sin²`, `cos²`, `sin⁴`, `sin²cos²`). The LHS argument h/f is
+ * exposed separately as `BE40_HIGGS_DIMLESS_ARG`.
+ */
+export declare const BE40_COMPOSITE_HIGGS_RHS: ExprNode;
+/** LHS: V(h) has dim [energy⁴]. */
+export declare const BE40_COMPOSITE_HIGGS_LHS: ExprNode;
+export interface CompositeHiggsInputs {
+    /** Higgs field h (natural units, e.g. TeV). Must be finite. */
+    h: number;
+    /** Pseudo-Goldstone decay constant f (natural units, e.g. TeV). Must be > 0 and finite. */
+    f: number;
+    /** Dimensionless Wilson coefficient α. Must be finite. */
+    alpha: number;
+    /** Dimensionless Wilson coefficient β. Must be finite. */
+    beta: number;
+}
+/**
+ * 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 declare function evaluateCompositeHiggs(input: CompositeHiggsInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [energy⁴].
+ */
+export declare function validateBE40Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-40-composite-higgs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAQF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE,MAAM,WAAW,oBAAoB;IACnC,+DAA+D;IAC/D,CAAC,EAAE,MAAM,CAAC;IACV,2FAA2F;IAC3F,CAAC,EAAE,MAAM,CAAC;IACV,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CA8B1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

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

@@ -0,0 +1,149 @@
+/**
+ * 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 AST has no transcendental primitives. The four trig terms
+ *     `sin²(h/f)`, `cos²(h/f)`, `sin⁴(h/f)`, `sin²(h/f)·cos²(h/f)` are
+ *     each encoded as dimensionless symbol stubs. 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
+import { power } from '../../dimensional/algebra.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** [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)],
+};
+/**
+ * RHS of the SILH composite-Higgs potential:
+ *
+ *   V = -α·f⁴·sin²(h/f) + β·f⁴·(sin⁴(h/f) - sin²(h/f)·cos²(h/f))
+ *
+ * Encoded with dimensionless stubs for the four trig combinations
+ * (`sin²`, `cos²`, `sin⁴`, `sin²cos²`). 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,
+                sym('sin^2(h/f)', DIMENSIONLESS),
+            ],
+        },
+        {
+            // β · f⁴ · (sin⁴(h/f) - sin²(h/f)·cos²(h/f))
+            kind: 'op', op: '*',
+            args: [
+                sym('beta', DIMENSIONLESS),
+                F4,
+                {
+                    kind: 'op', op: '-',
+                    args: [
+                        sym('sin^4(h/f)', DIMENSIONLESS),
+                        sym('sin^2(h/f)*cos^2(h/f)', DIMENSIONLESS),
+                    ],
+                },
+            ],
+        },
+    ],
+};
+/** LHS: V(h) has dim [energy⁴]. */
+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) {
+    const { h, f, alpha, beta } = input;
+    if (!Number.isFinite(f) || f <= 0) {
+        throw new RangeError(`evaluateCompositeHiggs: f must be a finite positive number, got ${f}`);
+    }
+    if (!Number.isFinite(h)) {
+        throw new RangeError(`evaluateCompositeHiggs: h must be finite, got ${h}`);
+    }
+    if (!Number.isFinite(alpha)) {
+        throw new RangeError(`evaluateCompositeHiggs: alpha must be finite, got ${alpha}`);
+    }
+    if (!Number.isFinite(beta)) {
+        throw new RangeError(`evaluateCompositeHiggs: beta must be finite, got ${beta}`);
+    }
+    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⁴].
+ */
+export function validateBE40Dimensions() {
+    const eq = validateEquation(BE40_COMPOSITE_HIGGS_LHS, BE40_COMPOSITE_HIGGS_RHS);
+    const lhs = validate(BE40_COMPOSITE_HIGGS_LHS);
+    const rhs = validate(BE40_COMPOSITE_HIGGS_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-40-composite-higgs.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAErD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,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;;;;;;;;GAQG;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,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;aACjC;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,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;wBAChC,GAAG,CAAC,uBAAuB,EAAE,aAAa,CAAC;qBAC5C;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAepE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,mEAAmE,CAAC,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,iDAAiD,CAAC,EAAE,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,qDAAqD,KAAK,EAAE,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAClB,oDAAoD,IAAI,EAAE,CAC3D,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,67 @@
+/**
+ * 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₀ · ε`, where ε is a
+ * dimensionless symbol standing for exp(SWAMPLAND_EXP_ARG).
+ */
+export declare const SWAMPLAND_RHS: ExprNode;
+/** LHS: m(φ) has dimension [mass]. */
+export declare const SWAMPLAND_LHS: ExprNode;
+export 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].
+ */
+export declare function validateSwamplandDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-41-swampland.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAU1F;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAoB/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,QAM3B,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,aAAa,EAAE,QAA6B,CAAC;AAI1D,MAAM,WAAW,eAAe;IAC9B,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,CAsBhE;AAID;;;GAGG;AACH,wBAAgB,2BAA2B,IAAI,yBAAyB,CASvE"}