universal-physics-tensor 0.25.0 → 0.28.0

package/dist/canonical/entries/atomic.d.ts

@@ -0,0 +1,17 @@
+/**
+ * L1 (scalar-AST) canonical entries — atomic-scale derived constants. The
+ * Rydberg energy, the classical electron radius, and the Bohr magneton: monomial
+ * combinations of fundamental constants (e, ℏ, ε₀, m_e, c), the same character
+ * as the existing Bohr radius and Planck units. L0 fields are engine-derived
+ * (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). Leading numeric/geometric prefactors (½, 4π, 8) are recorded via
+ * `scalar-up-to-constant`. The fine-structure constant α (dimensionless-only) is
+ * out of scope. See docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/atomic
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const ATOMIC: readonly CanonicalEquation[];
+//# sourceMappingURL=atomic.d.ts.map

package/dist/canonical/entries/atomic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAQlE,eAAO,MAAM,MAAM,EAAE,SAAS,iBAAiB,EAgE9C,CAAC"}

package/dist/canonical/entries/atomic.js

@@ -0,0 +1,71 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { MASS, VELOCITY, ENERGY, LENGTH, ACTION, CHARGE } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
+const MAGNETIC_MOMENT = dim(2, 0, 0, 1); // [L² I] (A·m²)
+export const ATOMIC = [
+    l1({ name: 'rydberg-energy', dim: ENERGY }, [
+        { name: 'm_e', dim: MASS },
+        { name: 'e', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'hbar', dim: ACTION },
+    ], {
+        id: 'CE-rydberg-energy',
+        name: 'Rydberg energy',
+        domain: 'quantum',
+        formula_latex: 'E_R = m_e e^4 / (8 \\varepsilon_0^2 \\hbar^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('m_e', MASS), pow(sym('e', CHARGE), '4')]),
+            op('*', [pow(sym('epsilon_0', PERMITTIVITY), '2'), pow(sym('hbar', ACTION), '2')]),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['hydrogen-like', 'non-relativistic'],
+        references: ['Rydberg 1888; Bohr 1913'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'classical-electron-radius', dim: LENGTH }, [
+        { name: 'e', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'm_e', dim: MASS },
+        { name: 'c', dim: VELOCITY },
+    ], {
+        id: 'CE-classical-electron-radius',
+        name: 'Classical electron radius',
+        domain: 'quantum',
+        formula_latex: 'r_e = e^2 / (4\\pi \\varepsilon_0 m_e c^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            pow(sym('e', CHARGE), '2'),
+            op('*', [
+                sym('epsilon_0', PERMITTIVITY),
+                sym('m_e', MASS),
+                pow(sym('c', VELOCITY), '2'),
+            ]),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['classical point-charge self-energy scale'],
+        references: ['Lorentz; Thomson scattering'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'bohr-magneton', dim: MAGNETIC_MOMENT }, [
+        { name: 'e', dim: CHARGE },
+        { name: 'hbar', dim: ACTION },
+        { name: 'm_e', dim: MASS },
+    ], {
+        id: 'CE-bohr-magneton',
+        name: 'Bohr magneton',
+        domain: 'quantum',
+        formula_latex: '\\mu_B = e \\hbar / (2 m_e)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('e', CHARGE), sym('hbar', ACTION)]),
+            sym('m_e', MASS),
+        ]),
+        regime: { scale: 'quantum', force: 'electromagnetic' },
+        assumptions: ['electron magnetic-moment scale'],
+        references: ['Bohr 1913; Pauli 1920'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=atomic.js.map

package/dist/canonical/entries/atomic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAiC;IAClD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,+CAA+C;QAC9D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACnF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4CAA4C;QAC3D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;YAC1B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/electromagnetism.d.ts

@@ -0,0 +1,18 @@
+/**
+ * L1 (scalar-AST) canonical entries — electromagnetism & circuits. The standard
+ * textbook monomial EM laws: Ohm's law, electrical power, material resistance,
+ * parallel-plate capacitance, capacitor/inductor energy, the field of a long
+ * wire, cyclotron frequency, Larmor radius, the point-charge field, and LC
+ * resonance. L0 fields are engine-derived (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). Numeric/geometric prefactors (½, 2π, 4π) are recorded via
+ * `scalar-up-to-constant`; the LC √-law is `dimensional`. Maxwell's equations
+ * (vector PDEs) are deliberately out of scope. See
+ * docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/electromagnetism
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const ELECTROMAGNETISM: readonly CanonicalEquation[];
+//# sourceMappingURL=electromagnetism.d.ts.map

package/dist/canonical/entries/electromagnetism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"electromagnetism.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAyBlE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAqMxD,CAAC"}

package/dist/canonical/entries/electromagnetism.js

@@ -0,0 +1,212 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { MASS, VELOCITY, ENERGY, POWER, LENGTH, AREA, FREQUENCY, CHARGE, } from '../../dimensional/types.js';
+import { dim, op, pow, l1 } from './_l1-build.js';
+const CURRENT = dim(0, 0, 0, 1); // ampere [I]
+const VOLTAGE = dim(2, 1, -3, -1); // volt [L² M T⁻³ I⁻¹]
+const RESISTANCE = dim(2, 1, -3, -2); // ohm [L² M T⁻³ I⁻²]
+const RESISTIVITY = dim(3, 1, -3, -2); // ohm·m [L³ M T⁻³ I⁻²]
+const CAPACITANCE = dim(-2, -1, 4, 2); // farad [L⁻² M⁻¹ T⁴ I²]
+const INDUCTANCE = dim(2, 1, -2, -2); // henry [L² M T⁻² I⁻²]
+const MAGNETIC_FIELD = dim(0, 1, -2, -1); // tesla [M T⁻² I⁻¹]
+const ELECTRIC_FIELD = dim(1, 1, -3, -1); // V/m [L M T⁻³ I⁻¹]
+const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
+const PERMEABILITY = dim(1, 1, -2, -2); // μ₀ [L M T⁻² I⁻²]
+export const ELECTROMAGNETISM = [
+    l1({ name: 'voltage', dim: VOLTAGE }, [
+        { name: 'current', dim: CURRENT },
+        { name: 'resistance', dim: RESISTANCE },
+    ], {
+        id: 'CE-ohm-law',
+        name: "Ohm's law",
+        domain: 'electromagnetism',
+        formula_latex: 'V = I R',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('current', CURRENT), sym('resistance', RESISTANCE)]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['ohmic conductor'],
+        references: ['Ohm 1827'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'power', dim: POWER }, [
+        { name: 'current', dim: CURRENT },
+        { name: 'voltage', dim: VOLTAGE },
+    ], {
+        id: 'CE-electrical-power',
+        name: 'Electrical power',
+        domain: 'electromagnetism',
+        formula_latex: 'P = I V',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('current', CURRENT), sym('voltage', VOLTAGE)]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Joule 1841'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'resistance', dim: RESISTANCE }, [
+        { name: 'resistivity', dim: RESISTIVITY },
+        { name: 'length', dim: LENGTH },
+        { name: 'area', dim: AREA },
+    ], {
+        id: 'CE-resistance-material',
+        name: 'Resistance of a uniform conductor',
+        domain: 'electromagnetism',
+        formula_latex: 'R = \\rho L / A',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('resistivity', RESISTIVITY), sym('length', LENGTH)]),
+            sym('area', AREA),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['uniform cross-section', 'homogeneous material'],
+        references: ['Pouillet 1837'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'capacitance', dim: CAPACITANCE }, [
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'area', dim: AREA },
+        { name: 'distance', dim: LENGTH },
+    ], {
+        id: 'CE-capacitance-parallel-plate',
+        name: 'Parallel-plate capacitance',
+        domain: 'electromagnetism',
+        formula_latex: 'C = \\varepsilon_0 A / d',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('epsilon_0', PERMITTIVITY), sym('area', AREA)]),
+            sym('distance', LENGTH),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['vacuum gap', 'ideal plates (no fringing)'],
+        references: ['Faraday 1837'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'energy', dim: ENERGY }, [
+        { name: 'capacitance', dim: CAPACITANCE },
+        { name: 'voltage', dim: VOLTAGE },
+    ], {
+        id: 'CE-capacitor-energy',
+        name: 'Capacitor stored energy',
+        domain: 'electromagnetism',
+        formula_latex: 'U = \\tfrac{1}{2} C V^2',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('*', [
+            sym('capacitance', CAPACITANCE),
+            pow(sym('voltage', VOLTAGE), '2'),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Standard electromagnetism (Griffiths §2.4)'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'energy', dim: ENERGY }, [
+        { name: 'inductance', dim: INDUCTANCE },
+        { name: 'current', dim: CURRENT },
+    ], {
+        id: 'CE-inductor-energy',
+        name: 'Inductor stored energy',
+        domain: 'electromagnetism',
+        formula_latex: 'U = \\tfrac{1}{2} L I^2',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('*', [
+            sym('inductance', INDUCTANCE),
+            pow(sym('current', CURRENT), '2'),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: [],
+        references: ['Standard electromagnetism (Griffiths §7.2)'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'magnetic-field', dim: MAGNETIC_FIELD }, [
+        { name: 'mu_0', dim: PERMEABILITY },
+        { name: 'current', dim: CURRENT },
+        { name: 'distance', dim: LENGTH },
+    ], {
+        id: 'CE-magnetic-field-wire',
+        name: 'Magnetic field of a long straight wire',
+        domain: 'electromagnetism',
+        formula_latex: 'B = \\mu_0 I / (2\\pi r)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            op('*', [sym('mu_0', PERMEABILITY), sym('current', CURRENT)]),
+            sym('distance', LENGTH),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['infinite straight wire', 'magnetostatic'],
+        references: ['Ampère 1826'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'cyclotron-frequency', dim: FREQUENCY }, [
+        { name: 'charge', dim: CHARGE },
+        { name: 'magnetic-field', dim: MAGNETIC_FIELD },
+        { name: 'mass', dim: MASS },
+    ], {
+        id: 'CE-cyclotron-frequency',
+        name: 'Cyclotron frequency',
+        domain: 'electromagnetism',
+        formula_latex: '\\omega_c = q B / m',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('charge', CHARGE), sym('magnetic-field', MAGNETIC_FIELD)]),
+            sym('mass', MASS),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['non-relativistic charged particle'],
+        references: ['Standard plasma physics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'larmor-radius', dim: LENGTH }, [
+        { name: 'mass', dim: MASS },
+        { name: 'speed', dim: VELOCITY },
+        { name: 'charge', dim: CHARGE },
+        { name: 'magnetic-field', dim: MAGNETIC_FIELD },
+    ], {
+        id: 'CE-larmor-radius',
+        name: 'Larmor (gyro) radius',
+        domain: 'electromagnetism',
+        formula_latex: 'r_L = m v_\\perp / (q B)',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [
+            op('*', [sym('mass', MASS), sym('speed', VELOCITY)]),
+            op('*', [sym('charge', CHARGE), sym('magnetic-field', MAGNETIC_FIELD)]),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['velocity perpendicular to B', 'non-relativistic'],
+        references: ['Standard plasma physics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'electric-field', dim: ELECTRIC_FIELD }, [
+        { name: 'charge', dim: CHARGE },
+        { name: 'epsilon_0', dim: PERMITTIVITY },
+        { name: 'r', dim: LENGTH },
+    ], {
+        id: 'CE-point-charge-field',
+        name: 'Point-charge electric field (Coulomb field)',
+        domain: 'electromagnetism',
+        formula_latex: 'E = q / (4\\pi \\varepsilon_0 r^2)',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('/', [
+            sym('charge', CHARGE),
+            op('*', [sym('epsilon_0', PERMITTIVITY), pow(sym('r', LENGTH), '2')]),
+        ]),
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['point charge', 'vacuum', 'electrostatic'],
+        references: ['Coulomb 1785'],
+        partnerBridges: [],
+    }),
+    // ── LC resonance (√-law: dimensional-only, engine-derived fractional monomial)
+    l1({ name: 'angular-frequency', dim: FREQUENCY }, [
+        { name: 'inductance', dim: INDUCTANCE },
+        { name: 'capacitance', dim: CAPACITANCE },
+    ], {
+        id: 'CE-lc-resonance',
+        name: 'LC resonant angular frequency',
+        domain: 'electromagnetism',
+        formula_latex: '\\omega_0 = 1/\\sqrt{L C}',
+        epistemicStatus: 'dimensional',
+        regime: { scale: 'classical', force: 'electromagnetic' },
+        assumptions: ['ideal lossless LC circuit'],
+        references: ['Standard circuit theory'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=electromagnetism.js.map

package/dist/canonical/entries/electromagnetism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"electromagnetism.js","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC3D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC9D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB;AAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC7D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;AAE3D,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAChC,UAAU,EAAE,CAAC,UAAU,CAAC;QACxB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;QAC9D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,YAAY,EAAE,4BAA4B,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;YAC7B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;QAChE,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACtE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,2BAA2B;QAC1C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/fluids-waves.d.ts

@@ -0,0 +1,18 @@
+/**
+ * L1 (scalar-AST) canonical entries — fluids & waves (classical mechanics).
+ * Hydrostatic pressure, the pressure and density definitions, buoyancy, Stokes
+ * drag, the wave relation v = fλ, and the fluid sound speed. L0 fields are
+ * engine-derived (see `_l1-build`).
+ *
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
+ * 2026-06-20). `domain: 'mechanics'` — the `CanonicalDomain` enum has no
+ * `fluids`/`waves` arm, and these are classical-mechanics laws. The sound-speed
+ * √-law is `dimensional` (the dimensionless adiabatic index γ is a leading
+ * constant, not a governing quantity). Navier–Stokes (a PDE) is out of scope.
+ * See docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/fluids-waves
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const FLUIDS_WAVES: readonly CanonicalEquation[];
+//# sourceMappingURL=fluids-waves.d.ts.map

package/dist/canonical/entries/fluids-waves.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fluids-waves.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAkBlE,eAAO,MAAM,YAAY,EAAE,SAAS,iBAAiB,EAyHpD,CAAC"}

package/dist/canonical/entries/fluids-waves.js

@@ -0,0 +1,130 @@
+import { sym } from '../../bridges/equations/_be-helpers.js';
+import { MASS, VELOCITY, ACCELERATION, FORCE, LENGTH, AREA, FREQUENCY, } from '../../dimensional/types.js';
+import { dim, op, l1 } from './_l1-build.js';
+const PRESSURE = dim(-1, 1, -2); // pascal [M L⁻¹ T⁻²]
+const DENSITY = dim(-3, 1, 0); // [M L⁻³]
+const VOLUME = dim(3, 0, 0); // [L³]
+const VISCOSITY = dim(-1, 1, -1); // dynamic viscosity, Pa·s [M L⁻¹ T⁻¹]
+export const FLUIDS_WAVES = [
+    l1({ name: 'pressure', dim: PRESSURE }, [
+        { name: 'density', dim: DENSITY },
+        { name: 'g', dim: ACCELERATION },
+        { name: 'height', dim: LENGTH },
+    ], {
+        id: 'CE-hydrostatic-pressure',
+        name: 'Hydrostatic pressure',
+        domain: 'mechanics',
+        formula_latex: 'P = \\rho g h',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [
+            sym('density', DENSITY),
+            sym('g', ACCELERATION),
+            sym('height', LENGTH),
+        ]),
+        regime: { scale: 'classical', force: 'gravitational' },
+        assumptions: ['incompressible fluid', 'uniform gravity'],
+        references: ['Pascal 1647'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'pressure', dim: PRESSURE }, [
+        { name: 'force', dim: FORCE },
+        { name: 'area', dim: AREA },
+    ], {
+        id: 'CE-pressure-definition',
+        name: 'Pressure (force per area)',
+        domain: 'mechanics',
+        formula_latex: 'P = F / A',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [sym('force', FORCE), sym('area', AREA)]),
+        regime: { scale: 'classical' },
+        assumptions: ['force normal to surface'],
+        references: ['Standard mechanics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'density', dim: DENSITY }, [
+        { name: 'mass', dim: MASS },
+        { name: 'volume', dim: VOLUME },
+    ], {
+        id: 'CE-density-definition',
+        name: 'Mass density',
+        domain: 'mechanics',
+        formula_latex: '\\rho = m / V',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('/', [sym('mass', MASS), sym('volume', VOLUME)]),
+        regime: { scale: 'classical' },
+        assumptions: ['uniform body'],
+        references: ['Standard mechanics'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'force', dim: FORCE }, [
+        { name: 'density', dim: DENSITY },
+        { name: 'volume', dim: VOLUME },
+        { name: 'g', dim: ACCELERATION },
+    ], {
+        id: 'CE-buoyant-force',
+        name: "Buoyant force (Archimedes')",
+        domain: 'mechanics',
+        formula_latex: 'F_b = \\rho V g',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [
+            sym('density', DENSITY),
+            sym('volume', VOLUME),
+            sym('g', ACCELERATION),
+        ]),
+        regime: { scale: 'classical', force: 'gravitational' },
+        assumptions: ['fully submerged', 'static fluid'],
+        references: ['Archimedes, On Floating Bodies'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'force', dim: FORCE }, [
+        { name: 'viscosity', dim: VISCOSITY },
+        { name: 'radius', dim: LENGTH },
+        { name: 'speed', dim: VELOCITY },
+    ], {
+        id: 'CE-stokes-drag',
+        name: "Stokes' drag",
+        domain: 'mechanics',
+        formula_latex: 'F_d = 6\\pi \\eta r v',
+        epistemicStatus: 'scalar-up-to-constant',
+        scalarAst: op('*', [
+            sym('viscosity', VISCOSITY),
+            sym('radius', LENGTH),
+            sym('speed', VELOCITY),
+        ]),
+        regime: { scale: 'classical', force: 'emergent' },
+        assumptions: ['low Reynolds number', 'rigid sphere'],
+        references: ['Stokes 1851'],
+        partnerBridges: [],
+    }),
+    l1({ name: 'speed', dim: VELOCITY }, [
+        { name: 'frequency', dim: FREQUENCY },
+        { name: 'wavelength', dim: LENGTH },
+    ], {
+        id: 'CE-wave-speed',
+        name: 'Wave relation (v = fλ)',
+        domain: 'mechanics',
+        formula_latex: 'v = f \\lambda',
+        epistemicStatus: 'fully-quantitative',
+        scalarAst: op('*', [sym('frequency', FREQUENCY), sym('wavelength', LENGTH)]),
+        regime: { scale: 'classical' },
+        assumptions: ['single propagating mode'],
+        references: ['Standard wave mechanics'],
+        partnerBridges: [],
+    }),
+    // ── sound speed (√-law: dimensional-only; γ is a dimensionless leading const)
+    l1({ name: 'speed', dim: VELOCITY }, [
+        { name: 'pressure', dim: PRESSURE },
+        { name: 'density', dim: DENSITY },
+    ], {
+        id: 'CE-sound-speed',
+        name: 'Speed of sound in a fluid',
+        domain: 'mechanics',
+        formula_latex: 'c = \\sqrt{\\gamma P / \\rho}',
+        epistemicStatus: 'dimensional',
+        regime: { scale: 'classical' },
+        assumptions: ['adiabatic', 'ideal fluid (γ dimensionless)'],
+        references: ['Newton–Laplace'],
+        partnerBridges: [],
+    }),
+];
+//# sourceMappingURL=fluids-waves.js.map

package/dist/canonical/entries/fluids-waves.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO;AACpC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;AAExE,MAAM,CAAC,MAAM,YAAY,GAAiC;IACxD,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;YACtB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,cAAc,CAAC;QAC7B,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC;YAC3B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;QAC3D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}

package/dist/canonical/entries/mechanics.d.ts

@@ -0,0 +1,18 @@
+/**
+ * L1 (scalar-AST) canonical entries — classical mechanics. The foundational
+ * laws (Newton's 2nd, mass–energy, momentum) plus the standard textbook
+ * monomial mechanics laws (kinetic/potential energy, work, power, torque,
+ * angular momentum, Hooke's law, impulse, SHM). Each is a unique dimensional
+ * monomial (0 free groups); L0 fields are engine-derived (see `_l1-build`).
+ *
+ * Scope: generic, purely dimensional MONOMIAL laws (the "only laws that
+ * genuinely fit the dimensional L-layer" bar — Adam+Eve adversarial pass,
+ * 2026-06-20). Numeric prefactors (½) are recorded via `scalar-up-to-constant`;
+ * √-laws (SHM) are `dimensional` with engine-derived fractional monomials, like
+ * the pendulum. See docs/research/bridges-vs-canonical-map.md.
+ *
+ * @module canonical/entries/mechanics
+ */
+import type { CanonicalEquation } from '../canonical-equation.js';
+export declare const MECHANICS: readonly CanonicalEquation[];
+//# sourceMappingURL=mechanics.d.ts.map

package/dist/canonical/entries/mechanics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsBlE,eAAO,MAAM,SAAS,EAAE,SAAS,iBAAiB,EAwQjD,CAAC"}