universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-13-einstein-trace.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAGH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAc;IACzC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,oEAAoE;AACpE,MAAM,kBAAkB,GAAc;IACpC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aAChC;SACF;QACD;YACE,yBAAyB;YACzB,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;wBACJ;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gCACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gCACf,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC;6BACnC;yBACF;wBACD;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACjD;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAElF,mEAAmE;AAEnE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;QAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;KACnC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,kBAAkB;CACjC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAoB;IAChD,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE;QACN,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;YAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;SACnC;QACD,SAAS,EAAE,SAAS;QACpB,GAAG,EAAE,aAAa;KACnB;CACF,CAAC;AAkBF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE;QACzB,EAAE,IAAI,EAAE,kBAAkB,EAAE;KAC7B,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}

package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts

@@ -1,73 +0,0 @@
-/**
- * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
- *
- * The bridge entry's `formula_latex` shows the holographic-quantum-error-
- * correction code-subspace map; the *physical content* the spec ascribes to
- * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
- *
- *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
- *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
- *
- * γ is the bulk minimal surface anchored to the boundary subregion whose
- * von-Neumann entropy is being computed.
- *
- * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
- * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
- *
- * Status: established (within AdS/CFT). This module exposes:
- *   - the ExprNode AST encoding the SI-form RHS,
- *   - a numerical evaluator in SI units,
- *   - a numerical evaluator in natural units,
- *   - a self-validation helper that runs the AST through the dimensional
- *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
- *
- * Honest-claude scope notes:
- *   - We do NOT compute the minimal surface area; the area is an input.
- *     Computing γ from a bulk metric is a separate (much harder) problem
- *     and is out of scope for the bridge formula itself.
- *   - The SI evaluator and the natural-unit evaluator agree only up to the
- *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
- *     the cross-check.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
- * @module bridges/equations/be-14-ryu-takayanagi
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
-export declare const RYU_TAKAYANAGI_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagi` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface RyuTakayanagiInputs {
-    /** Minimal-surface area γ in SI square metres. Must be ≥ 0. */
-    area_m2: number;
-}
-/**
- * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
- *
- * @returns Boundary von-Neumann entropy in J/K.
- */
-export declare function evaluateRyuTakayanagi(input: RyuTakayanagiInputs): number;
-/**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagiNatural` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface RyuTakayanagiNaturalInputs {
-    /** Area measured in Planck areas (ℓ_P^2). Must be ≥ 0. */
-    area_planck: number;
-}
-/**
- * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
- * input expressed in Planck areas.
- *
- * @returns Dimensionless entropy.
- */
-export declare function evaluateRyuTakayanagiNatural(input: RyuTakayanagiNaturalInputs): number;
-/**
- * Run the AST through the dimensional analyzer and confirm both sides are
- * [entropy]. Returns the inferred dimensions for traceability.
- */
-/** @internal */
-export declare function validateRyuTakayanagiDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-14-ryu-takayanagi.d.ts.map

package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-14-ryu-takayanagi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAiB1F,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,QAyBhC,CAAC;AAOF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAKxE;AAED;;GAEG;AACH,UAAU,0BAA0B;IAClC,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAItF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,+BAA+B,IAAI,yBAAyB,CAE3E"}

package/dist/bridges/equations/be-14-ryu-takayanagi.js

@@ -1,101 +0,0 @@
-/**
- * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
- *
- * The bridge entry's `formula_latex` shows the holographic-quantum-error-
- * correction code-subspace map; the *physical content* the spec ascribes to
- * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
- *
- *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
- *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
- *
- * γ is the bulk minimal surface anchored to the boundary subregion whose
- * von-Neumann entropy is being computed.
- *
- * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
- * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
- *
- * Status: established (within AdS/CFT). This module exposes:
- *   - the ExprNode AST encoding the SI-form RHS,
- *   - a numerical evaluator in SI units,
- *   - a numerical evaluator in natural units,
- *   - a self-validation helper that runs the AST through the dimensional
- *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
- *
- * Honest-claude scope notes:
- *   - We do NOT compute the minimal surface area; the area is an input.
- *     Computing γ from a bulk metric is a separate (much harder) problem
- *     and is out of scope for the bridge formula itself.
- *   - The SI evaluator and the natural-unit evaluator agree only up to the
- *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
- *     the cross-check.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
- * @module bridges/equations/be-14-ryu-takayanagi
- */
-import { AREA, DIMENSIONLESS, ENTROPY, } from '../../dimensional/types.js';
-import { k_B as DIM_kB, c as DIM_c, G as DIM_G, hbar as DIM_hbar, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST: RHS = k_B * c^3 * A / (4 * G * ℏ) ---
-/** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
-export const RYU_TAKAYANAGI_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: k_B * c^3 * A
-            kind: 'op', op: '*',
-            args: [
-                sym('k_B', DIM_kB),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('3', DIMENSIONLESS)],
-                },
-                sym('A', AREA),
-            ],
-        },
-        {
-            // denominator: 4 * G_N * ℏ
-            kind: 'op', op: '*',
-            args: [
-                sym('4', DIMENSIONLESS),
-                sym('G_N', DIM_G),
-                sym('hbar', DIM_hbar),
-            ],
-        },
-    ],
-};
-/** LHS of the equation: a single symbol of dimension [entropy]. */
-const RYU_TAKAYANAGI_LHS = sym('S_boundary', ENTROPY);
-/**
- * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
- *
- * @returns Boundary von-Neumann entropy in J/K.
- */
-export function evaluateRyuTakayanagi(input) {
-    validateFiniteInputs(input, [{ name: 'area_m2', min: 0 }], 'evaluateRyuTakayanagi');
-    const { area_m2 } = input;
-    const { kB, c, G, hbar } = PhysicalConstants;
-    return (kB * c * c * c * area_m2) / (4 * G * hbar);
-}
-/**
- * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
- * input expressed in Planck areas.
- *
- * @returns Dimensionless entropy.
- */
-export function evaluateRyuTakayanagiNatural(input) {
-    validateFiniteInputs(input, [{ name: 'area_planck', min: 0 }], 'evaluateRyuTakayanagiNatural');
-    const { area_planck } = input;
-    return area_planck / 4;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer and confirm both sides are
- * [entropy]. Returns the inferred dimensions for traceability.
- */
-/** @internal */
-export function validateRyuTakayanagiDimensions() {
-    return validateBEDimensions(RYU_TAKAYANAGI_LHS, RYU_TAKAYANAGI_RHS, 'BE14');
-}
-//# sourceMappingURL=be-14-ryu-takayanagi.js.map

package/dist/bridges/equations/be-14-ryu-takayanagi.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-14-ryu-takayanagi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,IAAI,IAAI,QAAQ,GACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,0DAA0D;AAE1D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;aACf;SACF;QACD;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACjB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF,mEAAmE;AACnE,MAAM,kBAAkB,GAAa,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AAYhE;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACpF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AACrD,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,8BAA8B,CAAC,CAAC;IAC/F,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,OAAO,WAAW,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,+BAA+B;IAC7C,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC"}

package/dist/bridges/equations/be-15-emergence.d.ts

@@ -1,184 +0,0 @@
-/**
- * Bridge Equation 15 — Universal Emergence Equation (Hohenberg-Halperin
- * Model A, Kawasaki-Gunton coarsening scaling-law reduction).
- *
- * **Original (un-encodable) form.** Canonical Model A gradient flow:
- *
- *   ∂φ/∂t = -Γ δH/δφ + ζ(x,t)
- *   ⟨ζ(x,t) ζ(x',t')⟩ = 2 Γ k_B T δ(x-x') δ(t-t')
- *   H[φ] = ∫ d³x [½(∇φ)² + V(φ)]
- *
- * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
- * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
- * over field configurations.
- *
- * **v0.14 update — barriers 1 and 2 lifted.** The dimensional AST grammar now
- * provides `dirac-delta` (δ(x), with `[δ(x)] = [x]⁻¹`) and
- * `variational-derivative` (δF/δφ, with `[δF/δφ] = [F]/([φ]·[μ])`) scalar
- * primitives. The full Model A Langevin / fluctuation-dissipation relation is
- * therefore now DIMENSIONALLY EXPRESSIBLE (and validated homogeneous — see
- * `tests/dimensional/distributional-grammar.test.ts`). Barrier 3 (functional
- * integration over field configurations, a measure over function space) remains
- * out of scope. Note the *kinetic-coefficient* Γ of the bare Langevin equation
- * carries dim `[φ]²·L³·T⁻¹·E⁻¹`, a DIFFERENT object from the coarsening
- * diffusion constant Γ of the encoded scaling law below (`[Γ] = [L²/T]`); the
- * two coincide only under a specific field normalization.
- *
- * The CATALOG encoding below is UNCHANGED: re-encoding the bridge from the
- * Kawasaki-Gunton `L²=Γt` reduction to the now-expressible faithful Langevin
- * form is a physics-curation decision (CONTRIBUTING.md), deferred to a
- * physicist. v0.14 delivers only the grammar + a standalone homogeneity proof.
- *
- * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
- * Wave Z-D applies OpenAI's scalar reduction: the late-stage
- * Kawasaki-Gunton coarsening length-scale of Model A satisfies
- *
- *   **L(t)² = Γ · t**     (equivalently L(t) = √(Γ t))
- *
- * a closed-form algebraic relation that IS expressible in the AST
- * grammar. This is the canonical z = 2 dynamic-critical-exponent
- * scaling for non-conserved order parameters — the signature
- * dynamical content that distinguishes Model A from Model B
- * (conserved density, z ≈ 3, L(t) ~ (Γt)^{1/3}) and from Model H
- * (fluid, z ≈ 3 with additional flow corrections).
- *
- * The bridge label `microscale → emergent` is captured directly: at
- * the microscale Γ is a kinetic coefficient with dim [L²/T] (set by
- * the local relaxation dynamics); at the emergent scale L(t) is the
- * characteristic correlation length grown by domain-wall annihilation
- * over time t. Kawasaki-Gunton (1976) derived this scaling from the
- * Allen-Cahn equation; it is reproduced by the linear Model A
- * relaxation of long-wavelength modes.
- *
- * **Squared-form encoding.** We encode `L² = Γ · t` rather than
- * `L = √(Γ t)` because the AST's `^` operator requires dimensionless
- * exponents, and a non-integer power-1/2 on a dimensionful base
- * (`(Γt)^{1/2}`) would require a `sqrt` primitive the grammar does
- * not provide. The squared form is an exact algebraic equality whose
- * dimensions check directly: Γ [L²/T] · t [T] = [L²] = dim(L²).
- * Same pattern as BE-17 (Einstein-Cartan): the squared invariant
- * lives in the AST; the root lives in the numerical evaluator.
- *
- * Bracket-checks (numerical evaluator computes L(t) = √(Γt)):
- *   - Γ = 1 m²/s, t = 1 s: L = 1 m.
- *   - Γ = 1 m²/s, t = 100 s: L = 10 m.
- *   - Γ scaling: doubling Γ at fixed t scales L by √2.
- *   - t scaling: doubling t at fixed Γ scales L by √2.
- *
- * References:
- *   - Hohenberg & Halperin 1977 *Rev. Mod. Phys.* 49:435 (canonical
- *     critical-dynamics classification: Model A purely-dissipative).
- *   - Kawasaki & Gunton 1976 *Phys. Rev. A* 13:2294 (coarsening
- *     theory of non-conserved order parameter; original L(t) ~ √(Γt)
- *     derivation).
- *   - Allen & Cahn 1979 *Acta Metall.* 27:1085 (Allen-Cahn equation
- *     and motion-by-mean-curvature derivation of L(t) ~ √(Γt)).
- *   - Bray 1994 *Adv. Phys.* 43:357 (canonical review of coarsening
- *     dynamics; comprehensive treatment of all Hohenberg-Halperin
- *     models and their scaling laws).
- *   - Chaikin & Lubensky 1995 *Principles of Condensed Matter
- *     Physics* Ch. 8 (standard textbook reference).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - This module encodes ONE scalar invariant of Model A — the
- *     late-stage coarsening length-scale. The full Langevin equation
- *     (gradient flow + FDT-balanced noise), the field-space
- *     Hamiltonian H[φ], the functional derivative δH/δφ, and the
- *     δ-correlated noise structure are all OUTSIDE the encoding.
- *   - The relation `L² = Γt` is the **late-stage asymptotic** scaling
- *     of the correlation length for non-conserved order parameters.
- *     It is exact in the linear (Allen-Cahn) regime and in the
- *     scaling regime of the nonlinear theory; for early-time
- *     transients and near-critical behavior it is corrected by
- *     logarithms and renormalization-group factors (Bray 1994 §3).
- *     The encoding does NOT capture these corrections.
- *   - Status 'speculative' is **not lifted by this encoding**. Model
- *     A itself is canonical condensed-matter physics; the *bridge
- *     framing* — committing to Model A's specific coarse-graining as
- *     the UPT microscale-↔-emergent bridge — remains the speculative
- *     element. The original UPT "Universal Emergence" claim is
- *     explicitly dropped (Wave P-D R-D1): Model B, C, H each require
- *     their own bridge entry.
- *   - Other Model-A scalars considered but NOT chosen (per OpenAI o3
- *     Wave Z-D consultation 2026-05-11):
- *     * Zero-mode equipartition `⟨|φ_k|²⟩ = k_BT / (Γ ω_k)` is
- *       generic statistical mechanics (applies to any linearized
- *       field theory at equilibrium) and does not encode Model A's
- *       dynamics specifically. Rejected as physics-losing /
- *       mislabeling.
- *     * Fluctuation-dissipation amplitude `D = 2Γk_BT` is the FDT
- *       coefficient but loses all dynamical content. Rejected.
- *     * Equal-time spatial correlation `C(r) ~ exp(-r/ξ)` would
- *       require an `exp` stub and a typed ξ symbol; less direct
- *       coverage of the dynamics than L(t). Acceptable alternative
- *       but Kawasaki-Gunton is more diagnostic of the z=2 dynamic
- *       critical exponent.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 15: Universal Emergence Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 15)
- * @module bridges/equations/be-15-emergence
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Symbol for the Model A kinetic coefficient Γ. Dim [L²/T].
- *
- * Exposed for the lemma test that verifies the typed dim.
- */
-export declare const BE15_MOBILITY: ExprNode;
-/**
- * Symbol for time t. Dim [T].
- *
- * Exposed for the lemma test that verifies the typed dim.
- */
-export declare const BE15_TIME: ExprNode;
-/**
- * RHS of `L(t)² = Γ · t` as a typed ExprNode tree:
- *
- *   Γ · t
- *
- * Dim: [L²/T] · [T] = [L²] = [AREA]. The squared-length form is the
- * AST-encodable algebraic relation; the root `L(t) = √(Γt)` is
- * computed in the numerical evaluator.
- */
-export declare const BE15_COARSENING_LENGTH_SQUARED_RHS: ExprNode;
-/**
- * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
- */
-/** @internal */
-export declare const BE15_COARSENING_LENGTH_SQUARED_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateCoarsening` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface CoarseningInputs {
-    /** Model A kinetic coefficient Γ in [m²/s]. Must be finite and > 0. */
-    gamma: number;
-    /** Time t in [s]. Must be finite and > 0. */
-    t: number;
-}
-/**
- * Evaluate the Kawasaki-Gunton coarsening length:
- *
- *   L(t) = √(Γ · t)
- *
- * @returns Coarsening length L(t) in [m] (SI). For Γ in m²/s and t in
- *   seconds, the result is in meters.
- */
-export declare function evaluateCoarseningLength(input: CoarseningInputs): number;
-/**
- * Evaluate the squared coarsening length:
- *
- *   L(t)² = Γ · t
- *
- * Useful for AST round-trip checks and avoiding the square-root step.
- */
-export declare function evaluateCoarseningLengthSquared(input: CoarseningInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be [AREA] = [L²].
- */
-/** @internal */
-export declare function validateBE15Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-15-emergence.d.ts.map

package/dist/bridges/equations/be-15-emergence.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyHG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF;;GAEG;AACH,UAAU,gBAAgB;IACxB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAWxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAW/E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-15-emergence.js

@@ -1,208 +0,0 @@
-/**
- * Bridge Equation 15 — Universal Emergence Equation (Hohenberg-Halperin
- * Model A, Kawasaki-Gunton coarsening scaling-law reduction).
- *
- * **Original (un-encodable) form.** Canonical Model A gradient flow:
- *
- *   ∂φ/∂t = -Γ δH/δφ + ζ(x,t)
- *   ⟨ζ(x,t) ζ(x',t')⟩ = 2 Γ k_B T δ(x-x') δ(t-t')
- *   H[φ] = ∫ d³x [½(∇φ)² + V(φ)]
- *
- * Three grammar barriers: (1) Dirac-delta correlators for ⟨ζζ⟩;
- * (2) functional derivative δH/δφ; (3) functional integration `H[φ]`
- * over field configurations.
- *
- * **v0.14 update — barriers 1 and 2 lifted.** The dimensional AST grammar now
- * provides `dirac-delta` (δ(x), with `[δ(x)] = [x]⁻¹`) and
- * `variational-derivative` (δF/δφ, with `[δF/δφ] = [F]/([φ]·[μ])`) scalar
- * primitives. The full Model A Langevin / fluctuation-dissipation relation is
- * therefore now DIMENSIONALLY EXPRESSIBLE (and validated homogeneous — see
- * `tests/dimensional/distributional-grammar.test.ts`). Barrier 3 (functional
- * integration over field configurations, a measure over function space) remains
- * out of scope. Note the *kinetic-coefficient* Γ of the bare Langevin equation
- * carries dim `[φ]²·L³·T⁻¹·E⁻¹`, a DIFFERENT object from the coarsening
- * diffusion constant Γ of the encoded scaling law below (`[Γ] = [L²/T]`); the
- * two coincide only under a specific field normalization.
- *
- * The CATALOG encoding below is UNCHANGED: re-encoding the bridge from the
- * Kawasaki-Gunton `L²=Γt` reduction to the now-expressible faithful Langevin
- * form is a physics-curation decision (CONTRIBUTING.md), deferred to a
- * physicist. v0.14 delivers only the grammar + a standalone homogeneity proof.
- *
- * **Encoded reduction (Kawasaki-Gunton coarsening scaling law).**
- * Wave Z-D applies OpenAI's scalar reduction: the late-stage
- * Kawasaki-Gunton coarsening length-scale of Model A satisfies
- *
- *   **L(t)² = Γ · t**     (equivalently L(t) = √(Γ t))
- *
- * a closed-form algebraic relation that IS expressible in the AST
- * grammar. This is the canonical z = 2 dynamic-critical-exponent
- * scaling for non-conserved order parameters — the signature
- * dynamical content that distinguishes Model A from Model B
- * (conserved density, z ≈ 3, L(t) ~ (Γt)^{1/3}) and from Model H
- * (fluid, z ≈ 3 with additional flow corrections).
- *
- * The bridge label `microscale → emergent` is captured directly: at
- * the microscale Γ is a kinetic coefficient with dim [L²/T] (set by
- * the local relaxation dynamics); at the emergent scale L(t) is the
- * characteristic correlation length grown by domain-wall annihilation
- * over time t. Kawasaki-Gunton (1976) derived this scaling from the
- * Allen-Cahn equation; it is reproduced by the linear Model A
- * relaxation of long-wavelength modes.
- *
- * **Squared-form encoding.** We encode `L² = Γ · t` rather than
- * `L = √(Γ t)` because the AST's `^` operator requires dimensionless
- * exponents, and a non-integer power-1/2 on a dimensionful base
- * (`(Γt)^{1/2}`) would require a `sqrt` primitive the grammar does
- * not provide. The squared form is an exact algebraic equality whose
- * dimensions check directly: Γ [L²/T] · t [T] = [L²] = dim(L²).
- * Same pattern as BE-17 (Einstein-Cartan): the squared invariant
- * lives in the AST; the root lives in the numerical evaluator.
- *
- * Bracket-checks (numerical evaluator computes L(t) = √(Γt)):
- *   - Γ = 1 m²/s, t = 1 s: L = 1 m.
- *   - Γ = 1 m²/s, t = 100 s: L = 10 m.
- *   - Γ scaling: doubling Γ at fixed t scales L by √2.
- *   - t scaling: doubling t at fixed Γ scales L by √2.
- *
- * References:
- *   - Hohenberg & Halperin 1977 *Rev. Mod. Phys.* 49:435 (canonical
- *     critical-dynamics classification: Model A purely-dissipative).
- *   - Kawasaki & Gunton 1976 *Phys. Rev. A* 13:2294 (coarsening
- *     theory of non-conserved order parameter; original L(t) ~ √(Γt)
- *     derivation).
- *   - Allen & Cahn 1979 *Acta Metall.* 27:1085 (Allen-Cahn equation
- *     and motion-by-mean-curvature derivation of L(t) ~ √(Γt)).
- *   - Bray 1994 *Adv. Phys.* 43:357 (canonical review of coarsening
- *     dynamics; comprehensive treatment of all Hohenberg-Halperin
- *     models and their scaling laws).
- *   - Chaikin & Lubensky 1995 *Principles of Condensed Matter
- *     Physics* Ch. 8 (standard textbook reference).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - This module encodes ONE scalar invariant of Model A — the
- *     late-stage coarsening length-scale. The full Langevin equation
- *     (gradient flow + FDT-balanced noise), the field-space
- *     Hamiltonian H[φ], the functional derivative δH/δφ, and the
- *     δ-correlated noise structure are all OUTSIDE the encoding.
- *   - The relation `L² = Γt` is the **late-stage asymptotic** scaling
- *     of the correlation length for non-conserved order parameters.
- *     It is exact in the linear (Allen-Cahn) regime and in the
- *     scaling regime of the nonlinear theory; for early-time
- *     transients and near-critical behavior it is corrected by
- *     logarithms and renormalization-group factors (Bray 1994 §3).
- *     The encoding does NOT capture these corrections.
- *   - Status 'speculative' is **not lifted by this encoding**. Model
- *     A itself is canonical condensed-matter physics; the *bridge
- *     framing* — committing to Model A's specific coarse-graining as
- *     the UPT microscale-↔-emergent bridge — remains the speculative
- *     element. The original UPT "Universal Emergence" claim is
- *     explicitly dropped (Wave P-D R-D1): Model B, C, H each require
- *     their own bridge entry.
- *   - Other Model-A scalars considered but NOT chosen (per OpenAI o3
- *     Wave Z-D consultation 2026-05-11):
- *     * Zero-mode equipartition `⟨|φ_k|²⟩ = k_BT / (Γ ω_k)` is
- *       generic statistical mechanics (applies to any linearized
- *       field theory at equilibrium) and does not encode Model A's
- *       dynamics specifically. Rejected as physics-losing /
- *       mislabeling.
- *     * Fluctuation-dissipation amplitude `D = 2Γk_BT` is the FDT
- *       coefficient but loses all dynamical content. Rejected.
- *     * Equal-time spatial correlation `C(r) ~ exp(-r/ξ)` would
- *       require an `exp` stub and a typed ξ symbol; less direct
- *       coverage of the dynamics than L(t). Acceptable alternative
- *       but Kawasaki-Gunton is more diagnostic of the z=2 dynamic
- *       critical exponent.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 15: Universal Emergence Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 15)
- * @module bridges/equations/be-15-emergence
- */
-import { TIME, AREA, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Local dim constants ---
-/**
- * [L²·T⁻¹] — Model A kinetic coefficient Γ. The coarsening law
- * L²(t) = Γt has its dimensional consistency precisely encoded here:
- * [L²/T] · [T] = [L²]. Γ is sometimes called the Onsager kinetic
- * coefficient or the mobility in Model A; the SI numerical value
- * depends on the order parameter's specific physical interpretation.
- */
-const MOBILITY = { L: 2, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
-// --- Symbolic AST ---
-/**
- * Symbol for the Model A kinetic coefficient Γ. Dim [L²/T].
- *
- * Exposed for the lemma test that verifies the typed dim.
- */
-export const BE15_MOBILITY = sym('Gamma', MOBILITY);
-/**
- * Symbol for time t. Dim [T].
- *
- * Exposed for the lemma test that verifies the typed dim.
- */
-export const BE15_TIME = sym('t', TIME);
-/**
- * RHS of `L(t)² = Γ · t` as a typed ExprNode tree:
- *
- *   Γ · t
- *
- * Dim: [L²/T] · [T] = [L²] = [AREA]. The squared-length form is the
- * AST-encodable algebraic relation; the root `L(t) = √(Γt)` is
- * computed in the numerical evaluator.
- */
-export const BE15_COARSENING_LENGTH_SQUARED_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        BE15_MOBILITY,
-        BE15_TIME,
-    ],
-};
-/**
- * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
- */
-/** @internal */
-export const BE15_COARSENING_LENGTH_SQUARED_LHS = sym('L_squared', AREA);
-/**
- * Evaluate the Kawasaki-Gunton coarsening length:
- *
- *   L(t) = √(Γ · t)
- *
- * @returns Coarsening length L(t) in [m] (SI). For Γ in m²/s and t in
- *   seconds, the result is in meters.
- */
-export function evaluateCoarseningLength(input) {
-    validateFiniteInputs(input, [
-        { name: 'gamma', min: 0, excludeMin: true },
-        { name: 't', min: 0, excludeMin: true },
-    ], 'evaluateCoarseningLength');
-    const { gamma, t } = input;
-    return Math.sqrt(gamma * t);
-}
-/**
- * Evaluate the squared coarsening length:
- *
- *   L(t)² = Γ · t
- *
- * Useful for AST round-trip checks and avoiding the square-root step.
- */
-export function evaluateCoarseningLengthSquared(input) {
-    validateFiniteInputs(input, [
-        { name: 'gamma', min: 0, excludeMin: true },
-        { name: 't', min: 0, excludeMin: true },
-    ], 'evaluateCoarseningLengthSquared');
-    const { gamma, t } = input;
-    return gamma * t;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be [AREA] = [L²].
- */
-/** @internal */
-export function validateBE15Dimensions() {
-    return validateBEDimensions(BE15_COARSENING_LENGTH_SQUARED_LHS, BE15_COARSENING_LENGTH_SQUARED_RHS, 'BE15');
-}
-//# sourceMappingURL=be-15-emergence.js.map

package/dist/bridges/equations/be-15-emergence.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyHG;AAGH,OAAO,EAEL,IAAI,EACJ,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAcF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,iCAAiC,CAClC,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,kCAAkC,EAClC,kCAAkC,EAClC,MAAM,CACP,CAAC;AACJ,CAAC"}