universal-physics-tensor 7.0.0 → 8.0.0

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

@@ -1,170 +0,0 @@
-/**
- * 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.
- *
- * **v0.7 BE-X re-encoding** — the preferred structural form is now
- * `BE39_BETA_G_STRUCTURAL` / `BE39_BETA_LAMBDA_STRUCTURAL` (added below),
- * which wraps the polynomial ExprNode in a `BetaFunctionNode` carrying the
- * (g, λ) coupling vector + target + optional NGFP fixed-point pin. The
- * legacy `BE39_BETA_G_RHS` / `BE39_BETA_G_LHS` exports remain unchanged
- * for catalog round-trip and existing-test compatibility.
- *
- * 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)
- * @see src/dimensional/rg-flow.ts (BetaFunctionNode + RGCouplingNode)
- * @module bridges/equations/be-39-asymptotic-safety
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import type { BetaFunctionNode, RGCouplingNode } from '../../dimensional/rg-flow.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. */
-/** @internal */
-export declare const BE39_BETA_G_LHS: ExprNode;
-/**
- * RHS of the canonical β_λ equation:
- *   β_λ = −2λ + D·λ² − E·g·λ − F·g²
- *
- * All symbols are dimensionless. Mirrors the β_g encoding pattern —
- * unary minus on a leading term is absorbed into a dimensionless symbol
- * stub (`-2`) for the binary-op grammar.
- *
- * Added in v0.7 BE-X re-encoding to support the `BetaFunctionNode`
- * structural form below.
- */
-export declare const BE39_BETA_LAMBDA_RHS: ExprNode;
-/** LHS: β_λ is dimensionless. */
-/** @internal */
-export declare const BE39_BETA_LAMBDA_LHS: ExprNode;
-/**
- * Shared coupling vector for BE-39. The asymptotic-safety EH-truncation
- * RG flow runs on the two-coupling space (g, λ); both β-functions live
- * on this same flow direction, so the same `RGCouplingNode` instances
- * are reused below.
- *
- * @public
- */
-export declare const BE39_COUPLING_G: RGCouplingNode;
-/** @public */
-export declare const BE39_COUPLING_LAMBDA: RGCouplingNode;
-/**
- * Structural β_g — the preferred v0.7+ encoding. Wraps `BE39_BETA_G_RHS`
- * in a `BetaFunctionNode` carrying the full (g, λ) coupling vector and
- * a Gaussian fixed-point pin at (0, 0). The non-Gaussian fixed point is
- * scheme-dependent and not pinned here; downstream consumers may
- * construct their own scheme-specific `BetaFunctionNode` with a numerical
- * NGFP value via Reuter-Weyer 2009 or Codello-Percacci-Rahmede 2009.
- *
- * @public
- */
-export declare const BE39_BETA_G_STRUCTURAL: BetaFunctionNode;
-/**
- * Structural β_λ — the preferred v0.7+ encoding. Wraps `BE39_BETA_LAMBDA_RHS`
- * in a `BetaFunctionNode`. Same (g, λ) coupling vector as β_g (the RG flow
- * is shared between the two β-functions); target is `λ`. Gaussian fixed
- * point pinned at (0, 0) for symmetry with β_g.
- *
- * @public
- */
-export declare const BE39_BETA_LAMBDA_STRUCTURAL: BetaFunctionNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateBetaG` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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;
-/**
- * @internal — typed-arg shape for the file-local `evaluateBetaLambda` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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.
- */
-/** @internal */
-export declare function validateBE39Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-39-asymptotic-safety.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAIrF;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,QA6C7B,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAwClC,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,QAA4C,CAAC;AAMhF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,EAAE,cAAgC,CAAC;AAE/D,cAAc;AACd,eAAO,MAAM,oBAAoB,EAAE,cAAqC,CAAC;AAEzE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,gBAMpC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,gBAMzC,CAAC;AAIF;;GAEG;AACH,UAAU,WAAW;IACnB,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,CAcxD;AAID;;GAEG;AACH,UAAU,gBAAgB;IACxB,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,CAclE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,263 +0,0 @@
-/**
- * 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.
- *
- * **v0.7 BE-X re-encoding** — the preferred structural form is now
- * `BE39_BETA_G_STRUCTURAL` / `BE39_BETA_LAMBDA_STRUCTURAL` (added below),
- * which wraps the polynomial ExprNode in a `BetaFunctionNode` carrying the
- * (g, λ) coupling vector + target + optional NGFP fixed-point pin. The
- * legacy `BE39_BETA_G_RHS` / `BE39_BETA_G_LHS` exports remain unchanged
- * for catalog round-trip and existing-test compatibility.
- *
- * 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)
- * @see src/dimensional/rg-flow.ts (BetaFunctionNode + RGCouplingNode)
- * @module bridges/equations/be-39-asymptotic-safety
- */
-import { DIMENSIONLESS } from '../../dimensional/types.js';
-import { rgCoupling } from '../../dimensional/rg-flow.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.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 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. */
-/** @internal */
-export const BE39_BETA_G_LHS = sym('beta_g', DIMENSIONLESS);
-/**
- * RHS of the canonical β_λ equation:
- *   β_λ = −2λ + D·λ² − E·g·λ − F·g²
- *
- * All symbols are dimensionless. Mirrors the β_g encoding pattern —
- * unary minus on a leading term is absorbed into a dimensionless symbol
- * stub (`-2`) for the binary-op grammar.
- *
- * Added in v0.7 BE-X re-encoding to support the `BetaFunctionNode`
- * structural form below.
- */
-export const BE39_BETA_LAMBDA_RHS = {
-    kind: 'op', op: '+',
-    args: [
-        {
-            // -2λ
-            kind: 'op', op: '*',
-            args: [sym('-2', DIMENSIONLESS), sym('lambda', DIMENSIONLESS)],
-        },
-        {
-            // D · λ²
-            kind: 'op', op: '*',
-            args: [
-                sym('D', DIMENSIONLESS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('lambda', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
-                },
-            ],
-        },
-        {
-            // -E · g · λ
-            kind: 'op', op: '*',
-            args: [
-                sym('-E', DIMENSIONLESS),
-                sym('g', DIMENSIONLESS),
-                sym('lambda', DIMENSIONLESS),
-            ],
-        },
-        {
-            // -F · g²
-            kind: 'op', op: '*',
-            args: [
-                sym('-F', DIMENSIONLESS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('g', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
-                },
-            ],
-        },
-    ],
-};
-/** LHS: β_λ is dimensionless. */
-/** @internal */
-export const BE39_BETA_LAMBDA_LHS = sym('beta_lambda', DIMENSIONLESS);
-// ─────────────────────────────────────────────────────────────────────────────
-// v0.7 BE-X re-encoding — structural BetaFunctionNode wrappers
-// ─────────────────────────────────────────────────────────────────────────────
-/**
- * Shared coupling vector for BE-39. The asymptotic-safety EH-truncation
- * RG flow runs on the two-coupling space (g, λ); both β-functions live
- * on this same flow direction, so the same `RGCouplingNode` instances
- * are reused below.
- *
- * @public
- */
-export const BE39_COUPLING_G = rgCoupling('g');
-/** @public */
-export const BE39_COUPLING_LAMBDA = rgCoupling('lambda');
-/**
- * Structural β_g — the preferred v0.7+ encoding. Wraps `BE39_BETA_G_RHS`
- * in a `BetaFunctionNode` carrying the full (g, λ) coupling vector and
- * a Gaussian fixed-point pin at (0, 0). The non-Gaussian fixed point is
- * scheme-dependent and not pinned here; downstream consumers may
- * construct their own scheme-specific `BetaFunctionNode` with a numerical
- * NGFP value via Reuter-Weyer 2009 or Codello-Percacci-Rahmede 2009.
- *
- * @public
- */
-export const BE39_BETA_G_STRUCTURAL = {
-    kind: 'beta-function',
-    couplings: [BE39_COUPLING_G, BE39_COUPLING_LAMBDA],
-    target: BE39_COUPLING_G,
-    polynomialExpansion: BE39_BETA_G_RHS,
-    fixedPoint: [0, 0], // Gaussian fixed point (trivial)
-};
-/**
- * Structural β_λ — the preferred v0.7+ encoding. Wraps `BE39_BETA_LAMBDA_RHS`
- * in a `BetaFunctionNode`. Same (g, λ) coupling vector as β_g (the RG flow
- * is shared between the two β-functions); target is `λ`. Gaussian fixed
- * point pinned at (0, 0) for symmetry with β_g.
- *
- * @public
- */
-export const BE39_BETA_LAMBDA_STRUCTURAL = {
-    kind: 'beta-function',
-    couplings: [BE39_COUPLING_G, BE39_COUPLING_LAMBDA],
-    target: BE39_COUPLING_LAMBDA,
-    polynomialExpansion: BE39_BETA_LAMBDA_RHS,
-    fixedPoint: [0, 0], // Gaussian fixed point (trivial)
-};
-/**
- * Evaluate the β-function for the dimensionless Newton coupling:
- *
- *   β_g = 2g + A·g² + B·g³ − C·g²·λ
- *
- * @returns Dimensionless β_g value.
- */
-export function evaluateBetaG(input) {
-    validateFiniteInputs(input, [
-        { name: 'g' },
-        { name: 'lambda' },
-        { name: 'A' },
-        { name: 'B' },
-        { name: 'C' },
-    ], 'evaluateBetaG');
-    const { g, lambda, A, B, C } = input;
-    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) {
-    validateFiniteInputs(input, [
-        { name: 'g' },
-        { name: 'lambda' },
-        { name: 'D' },
-        { name: 'E' },
-        { name: 'F' },
-    ], 'evaluateBetaLambda');
-    const { g, lambda, D, E, F } = input;
-    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.
- */
-/** @internal */
-export function validateBE39Dimensions() {
-    return validateBEDimensions(BE39_BETA_G_LHS, BE39_BETA_G_RHS, 'BE39');
-}
-//# sourceMappingURL=be-39-asymptotic-safety.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-39-asymptotic-safety.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;;;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,gBAAgB;AAChB,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,MAAM;YACN,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;SAC/D;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,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBAC9D;aACF;SACF;QACD;YACE,aAAa;YACb,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;aAC7B;SACF;QACD;YACE,UAAU;YACV,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;aACF;SACF;KACF;CACF,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAa,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAEhF,gFAAgF;AAChF,+DAA+D;AAC/D,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAmB,UAAU,CAAC,GAAG,CAAC,CAAC;AAE/D,cAAc;AACd,MAAM,CAAC,MAAM,oBAAoB,GAAmB,UAAU,CAAC,QAAQ,CAAC,CAAC;AAEzE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAqB;IACtD,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,CAAC,eAAe,EAAE,oBAAoB,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,mBAAmB,EAAE,eAAe;IACpC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC;CACtD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAqB;IAC3D,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,CAAC,eAAe,EAAE,oBAAoB,CAAC;IAClD,MAAM,EAAE,oBAAoB;IAC5B,mBAAmB,EAAE,oBAAoB;IACzC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC;CACtD,CAAC;AAoBF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClB,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;KACd,EACD,eAAe,CAChB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,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;AAoBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClB,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;KACd,EACD,oBAAoB,CACrB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}

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

@@ -1,89 +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 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))
- *
- * 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 declare const BE40_COMPOSITE_HIGGS_RHS: ExprNode;
-/** LHS: V(h) has dim [energy⁴]. */
-/** @internal */
-export declare const BE40_COMPOSITE_HIGGS_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateCompositeHiggs` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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⁴].
- */
-/** @internal */
-export declare function validateBE40Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-40-composite-higgs.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAmBF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE;;GAEG;AACH,UAAU,oBAAoB;IAC5B,+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,CAoB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}