universal-physics-tensor 7.0.0 → 9.0.0

package/dist/composition/edges/_catalog-helpers.js

@@ -1,90 +0,0 @@
-/**
- * Shared builders/constants for the domain-split catalog edge files
- * (`catalog-{quantum,gravitation-cosmology,fields,condensed-matter}.ts`).
- * Extracted verbatim from the former `catalog-full.ts` god-file.
- *
- * @module composition/edges/_catalog-helpers
- */
-import { LENGTH, TEMPERATURE, DIMENSIONLESS } from '../../dimensional/types.js';
-export const isFin = Number.isFinite;
-// --- Symbolic forms (v0.24 — clean-monomial bridges for the identity-consequence
-// surfacer). Leaves are source-quantity names + CONSTANTS tokens; dims match the
-// Quantity/CONSTANTS dim. Drift-guarded against `evaluate` in
-// symbolic-composition.test.ts (SYMBOLIC_EDGES). ---
-const symN = (name, dim) => ({ kind: 'symbol', name, dim });
-const ENERGY_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
-const VELOCITY_DIM = { L: 1, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
-const GRAV_DIM = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
-const LAMBDA_CURV_DIM = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
-/** m_dark = yukawa-coupling · vacuum-expectation-value (g·v). */
-export const BE18_SYMBOLIC = {
-    kind: 'op',
-    op: '*',
-    args: [symN('yukawa-coupling', DIMENSIONLESS), symN('vacuum-expectation-value', ENERGY_DIM)],
-};
-/** ρ_Λ = c²·cosmological-constant-curvature / (8π·G). */
-export const BE20_SYMBOLIC = {
-    kind: 'op',
-    op: '/',
-    args: [
-        {
-            kind: 'op',
-            op: '*',
-            args: [
-                { kind: 'op', op: '^', args: [symN('c', VELOCITY_DIM), symN('2', DIMENSIONLESS)] },
-                symN('cosmological-constant-curvature', LAMBDA_CURV_DIM),
-            ],
-        },
-        { kind: 'op', op: '*', args: [symN('8pi', DIMENSIONLESS), symN('G', GRAV_DIM)] },
-    ],
-};
-/** δS_EE = δ⟨H_R⟩. The evaluator returns its one input. */
-export const BE30_SYMBOLIC = symN('modular-hamiltonian-variation', DIMENSIONLESS);
-/** (c_GW − c) / c. */
-export const BE36_SYMBOLIC = {
-    kind: 'op',
-    op: '/',
-    args: [
-        {
-            kind: 'op',
-            op: '-',
-            args: [symN('gravitational-wave-speed', VELOCITY_DIM), symN('c', VELOCITY_DIM)],
-        },
-        symN('c', VELOCITY_DIM),
-    ],
-};
-/**
- * BE-33 Hertz-Millis correlation length: (reference-correlation-length,
- * temperature, reference-temperature, static-exponent-nu, dynamic-exponent-z) →
- * ξ(T) = ξ_0 (T/T_0)^(−1/z). Wraps `evaluateHertzMillis` (SI; returns m). The
- * evaluator's `nu` is retained for API stability but does not enter the
- * formula. Reuses the canonical `temperature` node.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-/**
- * Faithful Hertz-Millis correlation length ξ_0·(T/T_0)^(−1/z) as a composition
- * `symbolic` form (v0.13 — symbolic exponents). The exponent −1/z is
- * input-dependent on the DIMENSIONLESS base T/T_0, which the literal-exponent
- * grammar could not express (the catalog AST `BE33_HERTZ_MILLIS_RHS` pins z=1
- * with a literal `^(-1)`; it is left UNCHANGED). Leaves are graph-quantity
- * names; drift-guarded against `evaluateHertzMillis`. BE-33 composes with
- * nothing — this is a demonstration of the now-expressible faithful encoding.
- */
-export const BE33_HERTZ_MILLIS_SYMBOLIC = {
-    kind: 'op',
-    op: '*',
-    args: [
-        symN('reference-correlation-length', LENGTH),
-        {
-            kind: 'op',
-            op: '^',
-            args: [
-                { kind: 'op', op: '/', args: [symN('temperature', TEMPERATURE), symN('reference-temperature', TEMPERATURE)] },
-                { kind: 'op', op: '/', args: [symN('-1', DIMENSIONLESS), symN('dynamic-exponent-z', DIMENSIONLESS)] },
-            ],
-        },
-    ],
-};
-//# sourceMappingURL=_catalog-helpers.js.map

package/dist/composition/edges/_catalog-helpers.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"_catalog-helpers.js","sourceRoot":"","sources":["../../../src/composition/edges/_catalog-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;AAErC,kFAAkF;AAClF,iFAAiF;AACjF,8DAA8D;AAC9D,qDAAqD;AACrD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEzF,MAAM,UAAU,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;AAEhF,MAAM,YAAY,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;AAElF,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE/E,MAAM,eAAe,GAAc,EAAE,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,EAAE,CAAC;AAErF,iEAAiE;AACjE,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,0BAA0B,EAAE,UAAU,CAAC,CAAC;CAC7F,CAAC;AAEF,yDAAyD;AACzD,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;gBAClF,IAAI,CAAC,iCAAiC,EAAE,eAAe,CAAC;aACzD;SACF;QACD,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;KACjF;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,aAAa,GAAa,IAAI,CAAC,+BAA+B,EAAE,aAAa,CAAC,CAAC;AAE5F,sBAAsB;AACtB,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE,CAAC,IAAI,CAAC,0BAA0B,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;SAChF;QACD,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC;KACxB;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,IAAI,CAAC,8BAA8B,EAAE,MAAM,CAAC;QAC5C;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,uBAAuB,EAAE,WAAW,CAAC,CAAC,EAAE;gBAC7G,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC,EAAE;aACtG;SACF;KACF;CACF,CAAC"}

package/dist/composition/edges/applied-physicist.d.ts

@@ -1,181 +0,0 @@
-/**
- * Composition edges for BE-66 through BE-76.
- *
- * Each edge's endpoints state the same scale and force, so `kind` is
- * `law`. The overlay `formalRef` is kind `bridge`, so each id is a
- * seed. Confidence stays `established`: that grade is the catalog
- * status, and a proof does not promote it. `μ0` is `1/(ε0 c²)`, the
- * same product the Alfvén evaluator uses, so the leaf is `epsilon_0`
- * and `c` rather than a new canonical constant.
- *
- * @module composition/edges/applied-physicist
- */
-import { type BridgeEdge } from '../edge.js';
-/**
- * BE-66 radiation pressure:
- * (poynting-flux, reflectance, incidence-angle) → radiation-pressure,
- * `P_n = (I/c) (1+R) cos²θ`. `c` is a constant. Endpoints share the
- * classical electromagnetic attributes: a law.
- *
- * @public
- */
-export declare const be66Edge: BridgeEdge;
-/**
- * BE-67 Alfvén speed: (magnetic-flux-density, plasma-mass-density) →
- * alfven-speed, `v_A = B / √(μ0 ρ)`. `ρ` is the total mass density.
- * `μ0` is a constant. Endpoints share the classical electromagnetic
- * attributes: a law.
- *
- * @public
- */
-export declare const be67Edge: BridgeEdge;
-/**
- * BE-68 Tolman–Ehrenfest: (proper-temperature, metric-g00) →
- * tolman-invariant, `T √(−g_00)`. Endpoints share the classical
- * gravitational attributes: a law. Not an identification with
- * `temperature` or `hawking-temperature`.
- *
- * @public
- */
-export declare const be68Edge: BridgeEdge;
-/**
- * BE-69 fast magnetosonic speed:
- * (sound-speed, magnetic-flux-density, plasma-mass-density) →
- * fast-magnetosonic-speed. `c_s = 0` recovers the Alfvén number and
- * does not identify this target with `alfven-speed`.
- *
- * @public
- */
-export declare const be69Edge: BridgeEdge;
-/**
- * BE-70 Einstein relation: (electrical-mobility, einstein-temperature,
- * carrier-charge) → diffusivity, `D = μ k_B T / q`.
- *
- * @public
- */
-export declare const be70Edge: BridgeEdge;
-/**
- * BE-71 Clapeyron slope: (specific-latent-heat, clapeyron-temperature,
- * specific-volume-change) → clapeyron-slope, `dP/dT = L/(T Δv)`.
- *
- * @public
- */
-export declare const be71Edge: BridgeEdge;
-/**
- * BE-72 gravitational redshift: (redshift-metric-g00-1,
- * redshift-metric-g00-2) → gravitational-frequency-ratio,
- * `ν1/ν2 = √(g2/g1)`. The quantities are not BE-68's, so this edge
- * does not compose into the Tolman invariant.
- *
- * @public
- */
-export declare const be72Edge: BridgeEdge;
-/**
- * BE-73 Kelvin relation: (seebeck-coefficient, peltier-temperature) →
- * peltier-coefficient, `Π = S T`. Onsager reciprocity is the structure
- * field in the theorem, not a source.
- *
- * @public
- */
-export declare const be73Edge: BridgeEdge;
-/**
- * BE-74 magnetic pressure: magnetic-flux-density → magnetic-pressure,
- * `p_B = B²/(2 μ0)`. `μ0` is a constant. The endpoints share the
- * classical electromagnetic attributes: a law.
- *
- * @public
- */
-export declare const be74Edge: BridgeEdge;
-/**
- * BE-75 London penetration depth: (effective-mass, carrier-density) →
- * london-penetration-depth, `λ_L = √(m/(μ0 n e²))`. `e` and `μ0` are
- * constants. The endpoints share the carrier attributes: a law.
- *
- * @public
- */
-export declare const be75Edge: BridgeEdge;
-/**
- * BE-76 plasma beta: (carrier-density, temperature, magnetic-pressure) →
- * plasma-beta, `β = n k_B T / p_B`. The magnetic-pressure source is
- * BE-74, so the edges compose. `carrier-density` is quantum and
- * `magnetic-pressure` is classical, so the endpoints differ: a bridge.
- * Not a plasma-β inequality.
- *
- * @public
- */
-export declare const be76Edge: BridgeEdge;
-/**
- * BE-77 Hagen–Poiseuille: (radius, pressure drop, viscosity, length) →
- * flux. The axial balance, centerline slope 0, and no-slip are hypotheses.
- *
- * @public
- */
-export declare const be77Edge: BridgeEdge;
-/**
- * BE-78 Euler buckling: (modulus, area moment, length) → pinned load.
- * The cantilever load is a different factor.
- *
- * @public
- */
-export declare const be78Edge: BridgeEdge;
-/**
- * BE-79 pull-in: (stiffness, rest gap, area) → voltage. Parallel-plate
- * and quasi-static balance are hypotheses. Not a fringing field.
- *
- * @public
- */
-export declare const be79Edge: BridgeEdge;
-/**
- * BE-80 Mott–Gurney: drift, Poisson, and an injecting contact. Not
- * Child–Langmuir.
- *
- * @public
- */
-export declare const be80Edge: BridgeEdge;
-/**
- * BE-81 Child–Langmuir. Collisionless energy, Poisson, and the 4/3
- * profile. Poisson is not claimed at the cathode. `e` is elementary.
- *
- * @public
- */
-export declare const be81Edge: BridgeEdge;
-/**
- * BE-82 Shockley diode at ideality 1. Not a diffusion-length ODE.
- *
- * @public
- */
-export declare const be82Edge: BridgeEdge;
-/**
- * BE-83 Thomson coefficient. Builds on the Kelvin relation read along
- * temperature. The quantities do not meet be-73, so the edges do not compose.
- *
- * @public
- */
-export declare const be83Edge: BridgeEdge;
-/**
- * BE-84 four-point sheet resistance. The radial 1/r potential is a premise.
- *
- * @public
- */
-export declare const be84Edge: BridgeEdge;
-/**
- * BE-85 one-sided shot noise. Not Johnson–Nyquist and not the two-sided e I.
- *
- * @public
- */
-export declare const be85Edge: BridgeEdge;
-/**
- * BE-86 Reynolds analogy. Matched wall slopes and Pr = 1 are hypotheses.
- *
- * @public
- */
-export declare const be86Edge: BridgeEdge;
-/**
- * BE-87 capacitor voltage variance. One quadratic term, not (3/2) k_B T/C.
- *
- * @public
- */
-export declare const be87Edge: BridgeEdge;
-/** The applied-physicist edges, in catalog-id order. @public */
-export declare const APPLIED_PHYSICIST_EDGES: readonly BridgeEdge[];
-//# sourceMappingURL=applied-physicist.d.ts.map

package/dist/composition/edges/applied-physicist.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"applied-physicist.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/applied-physicist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA2BH,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AA6G/D;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCrB,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UA2BrB,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UA4BrB,CAAC;AAgCH;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UA+BrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UA8BrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UA8BrB,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UA4BrB,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBrB,CAAC;AAiBH;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmBrB,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBrB,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UA8BrB,CAAC;AAmEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmCrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmCrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UA8BrB,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBrB,CAAC;AAEH,gEAAgE;AAChE,eAAO,MAAM,uBAAuB,EAAE,SAAS,UAAU,EAuBxD,CAAC"}