universal-physics-tensor 10.0.0 → 12.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,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,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;AACxE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;AACnD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AACrD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAErD,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,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;YAClB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;YAC9C,OAAO,EAAE,wFAAwF;SAClG;QACD,KAAK,EAAE,8BAA8B;QACrC,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,KAAK,EAAE,kCAAkC;QACzC,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,gFAAgF;IAChF,6EAA6E;IAC7E,qDAAqD;IACrD,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACzC,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,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,cAAc,EAAE;YACd,KAAK,EAAE,OAAO;YACd,WAAW,EAAE,CAAC;YACd,QAAQ,EAAE,GAAG;YACb,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;YAC1D,OAAO,EAAE,qEAAqE;SAC/E;QACD,KAAK,EAAE,+BAA+B;QACtC,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;IACF,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,IAAI,CAAC;YACjC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,8CAA8C,CAAC;QAC5D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC7C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC9C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACnC,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;SACpC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE;YACT,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gCAAgC;YACjD,OAAO,EAAE,4EAA4E;SACtF;QACD,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,2BAA2B;YAC5C,OAAO,EAAE,qEAAqE;SAC/E;QACD,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SACzC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,qCAAqC,CAAC;QACnD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,uEAAuE;IACvE,0EAA0E;IAC1E,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC7C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;YAC9C,OAAO,EAAE,4EAA4E;SACtF;QACD,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — fluids & waves (classical mechanics).\n * Hydrostatic pressure, the pressure and density definitions, buoyancy, Stokes\n * drag, the wave relation v = fλ, the fluid sound speed, (batch 2) continuity\n * flow rate, Newtonian shear stress, Laplace pressure, dynamic pressure, and\n * (batch 6) harmonic oscillator energy. L0 fields are engine-derived (see\n * `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). `domain: 'mechanics'` — the `CanonicalDomain` enum has no\n * `fluids`/`waves` arm, and these are classical-mechanics laws. The sound-speed\n * √-law is `dimensional` (the dimensionless adiabatic index γ is a leading\n * constant, not a governing quantity). Navier–Stokes (a PDE) is out of scope.\n * Poiseuille's law is also out of scope — its two independent length scales\n * (tube radius and length) make it a non-monomial that dimensional analysis\n * alone cannot pin down. See docs/research/bridges-vs-canonical-map.md.\n *\n * Reynolds number (`Re = ρvL/μ`) was in the batch-2 brief but is DELIBERATELY\n * OMITTED: with 4 governing quantities (ρ, v, L, μ) spanning only 3\n * independent base dimensions (L, M, T) and a DIMENSIONLESS target, the\n * Buckingham-π null space is 1-dimensional (`freeDimensionlessGroups === 1`,\n * `monomial === null`, engine-verified) — dimensional analysis alone cannot\n * distinguish Re from Re² or 1/Re, so it fails the \"dimensionally unique\n * monomial\" bar this batch requires. See the batch-2 report for detail.\n *\n * @module canonical/entries/fluids-waves\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ACCELERATION,\n  FORCE,\n  LENGTH,\n  AREA,\n  FREQUENCY,\n  ENERGY,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst PRESSURE = dim(-1, 1, -2); // pascal [M L⁻¹ T⁻²]\nconst DENSITY = dim(-3, 1, 0); // [M L⁻³]\nconst VOLUME = dim(3, 0, 0); // [L³]\nconst VISCOSITY = dim(-1, 1, -1); // dynamic viscosity, Pa·s [M L⁻¹ T⁻¹]\nconst VOLUME_FLOW_RATE = dim(3, 0, -1); // [L³ T⁻¹]\nconst SURFACE_TENSION = dim(0, 1, -2); // N/m [M T⁻²]\nconst SPRING_CONSTANT = dim(0, 1, -2); // N/m [M T⁻²]\n\nexport const FLUIDS_WAVES: readonly CanonicalEquation[] = [\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'g', dim: ACCELERATION },\n    { name: 'height', dim: LENGTH },\n  ], {\n    id: 'CE-hydrostatic-pressure',\n    name: 'Hydrostatic pressure',\n    domain: 'mechanics',\n    formula_latex: 'P = \\\\rho g h',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      sym('g', ACCELERATION),\n      sym('height', LENGTH),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['incompressible fluid', 'uniform gravity'],\n    references: ['Pascal 1647'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'force', dim: FORCE },\n    { name: 'area', dim: AREA },\n  ], {\n    id: 'CE-pressure-definition',\n    name: 'Pressure (force per area)',\n    domain: 'mechanics',\n    formula_latex: 'P = F / A',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('force', FORCE), sym('area', AREA)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force normal to surface'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'density', dim: DENSITY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'volume', dim: VOLUME },\n  ], {\n    id: 'CE-density-definition',\n    name: 'Mass density',\n    domain: 'mechanics',\n    formula_latex: '\\\\rho = m / V',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('mass', MASS), sym('volume', VOLUME)]),\n    regime: { scale: 'classical' },\n    assumptions: ['uniform body'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'volume', dim: VOLUME },\n    { name: 'g', dim: ACCELERATION },\n  ], {\n    id: 'CE-buoyant-force',\n    name: \"Buoyant force (Archimedes')\",\n    domain: 'mechanics',\n    formula_latex: 'F_b = \\\\rho V g',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      sym('volume', VOLUME),\n      sym('g', ACCELERATION),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['fully submerged', 'static fluid'],\n    references: ['Archimedes, On Floating Bodies'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'viscosity', dim: VISCOSITY },\n    { name: 'radius', dim: LENGTH },\n    { name: 'speed', dim: VELOCITY },\n  ], {\n    id: 'CE-stokes-drag',\n    prefactor: {\n      value: 6 * Math.PI,\n      quote: String.raw`\\zeta = 6 \\pi \\, \\eta \\, r,`,\n      locator: \"Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 77\",\n    },\n    holds: 'viscosity > 0 and radius > 0',\n    name: \"Stokes' drag\",\n    domain: 'mechanics',\n    formula_latex: 'F_d = 6\\\\pi \\\\eta r v',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('viscosity', VISCOSITY),\n      sym('radius', LENGTH),\n      sym('speed', VELOCITY),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['low Reynolds number', 'rigid sphere'],\n    references: ['Stokes 1851'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'speed', dim: VELOCITY }, [\n    { name: 'frequency', dim: FREQUENCY },\n    { name: 'wavelength', dim: LENGTH },\n  ], {\n    id: 'CE-wave-speed',\n    holds: 'frequency > 0 and wavelength > 0',\n    name: 'Wave relation (v = fλ)',\n    domain: 'mechanics',\n    formula_latex: 'v = f \\\\lambda',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('frequency', FREQUENCY), sym('wavelength', LENGTH)]),\n    regime: { scale: 'classical' },\n    assumptions: ['single propagating mode'],\n    references: ['Standard wave mechanics'],\n    partnerBridges: [],\n  }),\n  // ── sound speed (√-law: dimensional-only; γ is a dimensionless leading const).\n  // The quantity is sound-speed. The generic quantity speed is a flow velocity\n  // and a wave speed, and this law does not target it.\n  l1({ name: 'sound-speed', dim: VELOCITY }, [\n    { name: 'pressure', dim: PRESSURE },\n    { name: 'density', dim: DENSITY },\n  ], {\n    id: 'CE-sound-speed',\n    targetAliases: ['speed'],\n    groupPrefactor: {\n      group: 'gamma',\n      coefficient: 1,\n      exponent: 0.5,\n      quote: String.raw`c = \\sqrt{\\gamma \\cdot {p \\over \\rho}},`,\n      locator: \"Wikipedia, 'Speed of sound', revision 1373106219, wikitext line 142\",\n    },\n    holds: 'pressure >= 0 and density > 0',\n    name: 'Speed of sound in a fluid',\n    domain: 'mechanics',\n    formula_latex: 'c = \\\\sqrt{\\\\gamma P / \\\\rho}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical' },\n    assumptions: ['adiabatic', 'ideal fluid (γ dimensionless)'],\n    references: ['Newton–Laplace'],\n    partnerBridges: [],\n  }),\n  // ── batch 2: continuity/shear/Laplace/dynamic-pressure (Reynolds number\n  // excluded — see the module docstring) ─────────────────────────────────────\n  l1({ name: 'volume-flow-rate', dim: VOLUME_FLOW_RATE }, [\n    { name: 'cross-sectional-area', dim: AREA },\n    { name: 'flow-velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-volume-flow-rate',\n    name: 'Volume flow rate (continuity)',\n    domain: 'mechanics',\n    formula_latex: 'Q = A v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('cross-sectional-area', AREA),\n      sym('flow-velocity', VELOCITY),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['incompressible flow', 'steady state'],\n    references: ['Batchelor, An Introduction to Fluid Dynamics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'shear-stress', dim: PRESSURE }, [\n    { name: 'dynamic-viscosity', dim: VISCOSITY },\n    { name: 'velocity-gradient', dim: FREQUENCY },\n  ], {\n    id: 'CE-shear-stress',\n    holds: 'dynamic-viscosity > 0',\n    name: 'Shear stress (Newtonian fluid)',\n    domain: 'mechanics',\n    formula_latex: '\\\\tau = \\\\mu (dv/dy)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('dynamic-viscosity', VISCOSITY),\n      sym('velocity-gradient', FREQUENCY),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['Newtonian fluid', 'laminar flow'],\n    references: ['Newton; standard fluid mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'laplace-pressure', dim: PRESSURE }, [\n    { name: 'surface-tension', dim: SURFACE_TENSION },\n    { name: 'droplet-radius', dim: LENGTH },\n  ], {\n    id: 'CE-laplace-pressure',\n    prefactor: {\n      value: 2,\n      quote: String.raw`\\Delta p = \\frac{2 \\gamma}{R}.`,\n      locator: \"Wikipedia, 'Young–Laplace equation', revision 1350190310, wikitext line 40\",\n    },\n    holds: 'surface-tension >= 0 and droplet-radius > 0',\n    name: 'Laplace pressure (surface tension)',\n    domain: 'mechanics',\n    formula_latex: '\\\\Delta P = 2\\\\gamma / r',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('/', [\n      sym('surface-tension', SURFACE_TENSION),\n      sym('droplet-radius', LENGTH),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['spherical interface'],\n    references: ['Young–Laplace'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'dynamic-pressure', dim: PRESSURE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'flow-velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-dynamic-pressure',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`q = \\frac{1}{2}\\rho\\, u^2`,\n      locator: \"Wikipedia, 'Dynamic pressure', revision 1323192083, wikitext line 6\",\n    },\n    holds: 'density >= 0',\n    name: 'Dynamic pressure',\n    domain: 'mechanics',\n    formula_latex: 'q = \\\\tfrac{1}{2} \\\\rho v^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      pow(sym('flow-velocity', VELOCITY), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['incompressible flow'],\n    references: ['Bernoulli; standard fluid mechanics'],\n    partnerBridges: [],\n  }),\n  // ── batch 6 (final): harmonic oscillator energy (scalar-up-to-constant,\n  // the ½). NOTE: string wave speed (v = √(T/μ)) was in the batch-6 brief but\n  // is DELIBERATELY OMITTED here — `CE-string-wave-speed` already exists as an\n  // L0 dimensional entry in `dimensional-classics.ts` (tension/linear-density\n  // governing set, same physics); adding it here would collide on id and\n  // violate the registry's id-uniqueness invariant. See the batch-6 report.\n  l1({ name: 'oscillator-energy', dim: ENERGY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'amplitude', dim: LENGTH },\n  ], {\n    id: 'CE-oscillator-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E = K + U = \\tfrac12 k A^2.`,\n      locator: \"Wikipedia, 'Simple harmonic motion', revision 1347475303, wikitext line 80\",\n    },\n    name: 'Harmonic oscillator energy',\n    domain: 'mechanics',\n    formula_latex: 'E = \\\\tfrac{1}{2} k A^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('spring-constant', SPRING_CONSTANT),\n      pow(sym('amplitude', LENGTH), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['simple harmonic motion', 'linear spring'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n];\n"]}
+{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,SAAS,EACT,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,UAAU;AACxC,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;AACnD,MAAM,eAAe,GAAG,eAAe,CAAC,CAAC,cAAc;AAEvD,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,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;YAClB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;YAC9C,OAAO,EAAE,wFAAwF;SAClG;QACD,KAAK,EAAE,8BAA8B;QACrC,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,KAAK,EAAE,kCAAkC;QACzC,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,gFAAgF;IAChF,6EAA6E;IAC7E,qDAAqD;IACrD,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACzC,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,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,cAAc,EAAE;YACd,KAAK,EAAE,OAAO;YACd,WAAW,EAAE,CAAC;YACd,QAAQ,EAAE,GAAG;YACb,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,yCAAyC;YAC1D,OAAO,EAAE,qEAAqE;SAC/E;QACD,KAAK,EAAE,+BAA+B;QACtC,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;IACF,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,IAAI,CAAC;YACjC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,8CAA8C,CAAC;QAC5D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC7C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC9C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACnC,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;SACpC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE;YACT,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gCAAgC;YACjD,OAAO,EAAE,4EAA4E;SACtF;QACD,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,2BAA2B;YAC5C,OAAO,EAAE,qEAAqE;SAC/E;QACD,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SACzC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,qCAAqC,CAAC;QACnD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,uEAAuE;IACvE,0EAA0E;IAC1E,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC7C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,6BAA6B;YAC9C,OAAO,EAAE,4EAA4E;SACtF;QACD,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — fluids & waves (classical mechanics).\n * Hydrostatic pressure, the pressure and density definitions, buoyancy, Stokes\n * drag, the wave relation v = fλ, the fluid sound speed, (batch 2) continuity\n * flow rate, Newtonian shear stress, Laplace pressure, dynamic pressure, and\n * (batch 6) harmonic oscillator energy. L0 fields are engine-derived (see\n * `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). `domain: 'mechanics'` — the `CanonicalDomain` enum has no\n * `fluids`/`waves` arm, and these are classical-mechanics laws. The sound-speed\n * √-law is `dimensional` (the dimensionless adiabatic index γ is a leading\n * constant, not a governing quantity). Navier–Stokes (a PDE) is out of scope.\n * Poiseuille's law is also out of scope — its two independent length scales\n * (tube radius and length) make it a non-monomial that dimensional analysis\n * alone cannot pin down. See docs/research/bridges-vs-canonical-map.md.\n *\n * Reynolds number (`Re = ρvL/μ`) was in the batch-2 brief but is DELIBERATELY\n * OMITTED: with 4 governing quantities (ρ, v, L, μ) spanning only 3\n * independent base dimensions (L, M, T) and a DIMENSIONLESS target, the\n * Buckingham-π null space is 1-dimensional (`freeDimensionlessGroups === 1`,\n * `monomial === null`, engine-verified) — dimensional analysis alone cannot\n * distinguish Re from Re² or 1/Re, so it fails the \"dimensionally unique\n * monomial\" bar this batch requires. See the batch-2 report for detail.\n *\n * @module canonical/entries/fluids-waves\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ACCELERATION,\n  FORCE,\n  LENGTH,\n  AREA,\n  FREQUENCY,\n  ENERGY,\n  PRESSURE,\n  MASS_DENSITY,\n  VOLUME,\n  VISCOSITY,\n  SPRING_CONSTANT,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst DENSITY = MASS_DENSITY; // [M L⁻³]\nconst VOLUME_FLOW_RATE = dim(3, 0, -1); // [L³ T⁻¹]\nconst SURFACE_TENSION = SPRING_CONSTANT; // N/m [M T⁻²]\n\nexport const FLUIDS_WAVES: readonly CanonicalEquation[] = [\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'g', dim: ACCELERATION },\n    { name: 'height', dim: LENGTH },\n  ], {\n    id: 'CE-hydrostatic-pressure',\n    name: 'Hydrostatic pressure',\n    domain: 'mechanics',\n    formula_latex: 'P = \\\\rho g h',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      sym('g', ACCELERATION),\n      sym('height', LENGTH),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['incompressible fluid', 'uniform gravity'],\n    references: ['Pascal 1647'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'force', dim: FORCE },\n    { name: 'area', dim: AREA },\n  ], {\n    id: 'CE-pressure-definition',\n    name: 'Pressure (force per area)',\n    domain: 'mechanics',\n    formula_latex: 'P = F / A',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('force', FORCE), sym('area', AREA)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force normal to surface'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'density', dim: DENSITY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'volume', dim: VOLUME },\n  ], {\n    id: 'CE-density-definition',\n    name: 'Mass density',\n    domain: 'mechanics',\n    formula_latex: '\\\\rho = m / V',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('mass', MASS), sym('volume', VOLUME)]),\n    regime: { scale: 'classical' },\n    assumptions: ['uniform body'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'volume', dim: VOLUME },\n    { name: 'g', dim: ACCELERATION },\n  ], {\n    id: 'CE-buoyant-force',\n    name: \"Buoyant force (Archimedes')\",\n    domain: 'mechanics',\n    formula_latex: 'F_b = \\\\rho V g',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      sym('volume', VOLUME),\n      sym('g', ACCELERATION),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['fully submerged', 'static fluid'],\n    references: ['Archimedes, On Floating Bodies'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'viscosity', dim: VISCOSITY },\n    { name: 'radius', dim: LENGTH },\n    { name: 'speed', dim: VELOCITY },\n  ], {\n    id: 'CE-stokes-drag',\n    prefactor: {\n      value: 6 * Math.PI,\n      quote: String.raw`\\zeta = 6 \\pi \\, \\eta \\, r,`,\n      locator: \"Wikipedia, 'Einstein relation (kinetic theory)', revision 1353047788, wikitext line 77\",\n    },\n    holds: 'viscosity > 0 and radius > 0',\n    name: \"Stokes' drag\",\n    domain: 'mechanics',\n    formula_latex: 'F_d = 6\\\\pi \\\\eta r v',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('viscosity', VISCOSITY),\n      sym('radius', LENGTH),\n      sym('speed', VELOCITY),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['low Reynolds number', 'rigid sphere'],\n    references: ['Stokes 1851'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'speed', dim: VELOCITY }, [\n    { name: 'frequency', dim: FREQUENCY },\n    { name: 'wavelength', dim: LENGTH },\n  ], {\n    id: 'CE-wave-speed',\n    holds: 'frequency > 0 and wavelength > 0',\n    name: 'Wave relation (v = fλ)',\n    domain: 'mechanics',\n    formula_latex: 'v = f \\\\lambda',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('frequency', FREQUENCY), sym('wavelength', LENGTH)]),\n    regime: { scale: 'classical' },\n    assumptions: ['single propagating mode'],\n    references: ['Standard wave mechanics'],\n    partnerBridges: [],\n  }),\n  // ── sound speed (√-law: dimensional-only; γ is a dimensionless leading const).\n  // The quantity is sound-speed. The generic quantity speed is a flow velocity\n  // and a wave speed, and this law does not target it.\n  l1({ name: 'sound-speed', dim: VELOCITY }, [\n    { name: 'pressure', dim: PRESSURE },\n    { name: 'density', dim: DENSITY },\n  ], {\n    id: 'CE-sound-speed',\n    targetAliases: ['speed'],\n    groupPrefactor: {\n      group: 'gamma',\n      coefficient: 1,\n      exponent: 0.5,\n      quote: String.raw`c = \\sqrt{\\gamma \\cdot {p \\over \\rho}},`,\n      locator: \"Wikipedia, 'Speed of sound', revision 1373106219, wikitext line 142\",\n    },\n    holds: 'pressure >= 0 and density > 0',\n    name: 'Speed of sound in a fluid',\n    domain: 'mechanics',\n    formula_latex: 'c = \\\\sqrt{\\\\gamma P / \\\\rho}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical' },\n    assumptions: ['adiabatic', 'ideal fluid (γ dimensionless)'],\n    references: ['Newton–Laplace'],\n    partnerBridges: [],\n  }),\n  // ── batch 2: continuity/shear/Laplace/dynamic-pressure (Reynolds number\n  // excluded — see the module docstring) ─────────────────────────────────────\n  l1({ name: 'volume-flow-rate', dim: VOLUME_FLOW_RATE }, [\n    { name: 'cross-sectional-area', dim: AREA },\n    { name: 'flow-velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-volume-flow-rate',\n    name: 'Volume flow rate (continuity)',\n    domain: 'mechanics',\n    formula_latex: 'Q = A v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('cross-sectional-area', AREA),\n      sym('flow-velocity', VELOCITY),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['incompressible flow', 'steady state'],\n    references: ['Batchelor, An Introduction to Fluid Dynamics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'shear-stress', dim: PRESSURE }, [\n    { name: 'dynamic-viscosity', dim: VISCOSITY },\n    { name: 'velocity-gradient', dim: FREQUENCY },\n  ], {\n    id: 'CE-shear-stress',\n    holds: 'dynamic-viscosity > 0',\n    name: 'Shear stress (Newtonian fluid)',\n    domain: 'mechanics',\n    formula_latex: '\\\\tau = \\\\mu (dv/dy)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('dynamic-viscosity', VISCOSITY),\n      sym('velocity-gradient', FREQUENCY),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['Newtonian fluid', 'laminar flow'],\n    references: ['Newton; standard fluid mechanics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'laplace-pressure', dim: PRESSURE }, [\n    { name: 'surface-tension', dim: SURFACE_TENSION },\n    { name: 'droplet-radius', dim: LENGTH },\n  ], {\n    id: 'CE-laplace-pressure',\n    prefactor: {\n      value: 2,\n      quote: String.raw`\\Delta p = \\frac{2 \\gamma}{R}.`,\n      locator: \"Wikipedia, 'Young–Laplace equation', revision 1350190310, wikitext line 40\",\n    },\n    holds: 'surface-tension >= 0 and droplet-radius > 0',\n    name: 'Laplace pressure (surface tension)',\n    domain: 'mechanics',\n    formula_latex: '\\\\Delta P = 2\\\\gamma / r',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('/', [\n      sym('surface-tension', SURFACE_TENSION),\n      sym('droplet-radius', LENGTH),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['spherical interface'],\n    references: ['Young–Laplace'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'dynamic-pressure', dim: PRESSURE }, [\n    { name: 'density', dim: DENSITY },\n    { name: 'flow-velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-dynamic-pressure',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`q = \\frac{1}{2}\\rho\\, u^2`,\n      locator: \"Wikipedia, 'Dynamic pressure', revision 1323192083, wikitext line 6\",\n    },\n    holds: 'density >= 0',\n    name: 'Dynamic pressure',\n    domain: 'mechanics',\n    formula_latex: 'q = \\\\tfrac{1}{2} \\\\rho v^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('density', DENSITY),\n      pow(sym('flow-velocity', VELOCITY), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['incompressible flow'],\n    references: ['Bernoulli; standard fluid mechanics'],\n    partnerBridges: [],\n  }),\n  // ── batch 6 (final): harmonic oscillator energy (scalar-up-to-constant,\n  // the ½). NOTE: string wave speed (v = √(T/μ)) was in the batch-6 brief but\n  // is DELIBERATELY OMITTED here — `CE-string-wave-speed` already exists as an\n  // L0 dimensional entry in `dimensional-classics.ts` (tension/linear-density\n  // governing set, same physics); adding it here would collide on id and\n  // violate the registry's id-uniqueness invariant. See the batch-6 report.\n  l1({ name: 'oscillator-energy', dim: ENERGY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'amplitude', dim: LENGTH },\n  ], {\n    id: 'CE-oscillator-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E = K + U = \\tfrac12 k A^2.`,\n      locator: \"Wikipedia, 'Simple harmonic motion', revision 1347475303, wikitext line 80\",\n    },\n    name: 'Harmonic oscillator energy',\n    domain: 'mechanics',\n    formula_latex: 'E = \\\\tfrac{1}{2} k A^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('spring-constant', SPRING_CONSTANT),\n      pow(sym('amplitude', LENGTH), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['simple harmonic motion', 'linear spring'],\n    references: ['Standard mechanics'],\n    partnerBridges: [],\n  }),\n];\n"]}

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

@@ -1 +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;AAuBlE,eAAO,MAAM,SAAS,EAAE,SAAS,iBAAiB,EAoSjD,CAAC"}
+{"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;AAyBlE,eAAO,MAAM,SAAS,EAAE,SAAS,iBAAiB,EAoSjD,CAAC"}

package/dist/canonical/entries/mechanics.js

@@ -1,12 +1,10 @@
 import { sym } from '../../dimensional/ast-builders.js';
-import { MASS, VELOCITY, ENERGY, FORCE, ACCELERATION, LENGTH, TIME, POWER, FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { MASS, VELOCITY, ENERGY, FORCE, ACCELERATION, LENGTH, TIME, POWER, FREQUENCY, DIMENSIONLESS, MOMENTUM, ACTION, SPRING_CONSTANT, GRAVITATIONAL_CONSTANT, } from '../../dimensional/types.js';
 import { dim, op, pow, l1 } from './_l1-build.js';
-const MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]
-const TORQUE = dim(2, 1, -2); // [L² M T⁻²]
-const ANGULAR_MOMENTUM = dim(2, 1, -1); // [L² M T⁻¹]
+const TORQUE = ENERGY; // [L² M T⁻²]
+const ANGULAR_MOMENTUM = ACTION; // [L² M T⁻¹]
 const MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]
-const SPRING_CONSTANT = dim(0, 1, -2); // [M T⁻²]
-const G_DIM = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
+const G_DIM = GRAVITATIONAL_CONSTANT; // Newton's constant [L³ M⁻¹ T⁻²]
 export const MECHANICS = [
     // ── foundational ──────────────────────────────────────────────────────────
     l1({ name: 'force', dim: FORCE }, [

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

@@ -1 +1 @@
-{"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AACrD,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AACjD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;YAChD,OAAO,EAAE,oEAAoE;SAC9E;QACD,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+CAA+C;YAChE,OAAO,EAAE,sEAAsE;SAChF;QACD,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,cAAc,EAAE,gIAAgI;QAChJ,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;aACjB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,oCAAoC;YACrD,OAAO,EAAE,kEAAkE;SAC5E;QACD,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,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;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,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,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,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,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,cAAc,EAAE,uGAAuG;QACvH,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,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,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,4BAA4B;YAC7C,OAAO,EAAE,yEAAyE;SACnF;QACD,KAAK,EAAE,kCAAkC;QACzC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — classical mechanics. The foundational\n * laws (Newton's 2nd, mass–energy, momentum) plus the standard textbook\n * monomial mechanics laws (kinetic/potential energy, work, power, torque,\n * angular momentum, Hooke's law, impulse, SHM). Each is a unique dimensional\n * monomial (0 free groups); L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic, purely dimensional MONOMIAL laws (the \"only laws that\n * genuinely fit the dimensional L-layer\" bar — Adam+Eve adversarial pass,\n * 2026-06-20). Numeric prefactors (½) are recorded via `scalar-up-to-constant`;\n * √-laws (SHM) are `dimensional` with engine-derived fractional monomials, like\n * the pendulum. See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/mechanics\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  FORCE,\n  ACCELERATION,\n  LENGTH,\n  TIME,\n  POWER,\n  FREQUENCY,\n  DIMENSIONLESS,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]\nconst TORQUE = dim(2, 1, -2); // [L² M T⁻²]\nconst ANGULAR_MOMENTUM = dim(2, 1, -1); // [L² M T⁻¹]\nconst MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]\nconst SPRING_CONSTANT = dim(0, 1, -2); // [M T⁻²]\nconst G_DIM = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]\n\nexport const MECHANICS: readonly CanonicalEquation[] = [\n  // ── foundational ──────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'acceleration', dim: ACCELERATION },\n  ], {\n    id: 'CE-newton-second-law',\n    name: \"Newton's second law\",\n    domain: 'mechanics',\n    formula_latex: 'F = m a',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('acceleration', ACCELERATION)]),\n    regime: { scale: 'classical' },\n    assumptions: ['inertial frame', 'constant mass'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rest-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'c', dim: VELOCITY },\n  ], {\n    id: 'CE-mass-energy',\n    name: 'Mass–energy equivalence',\n    domain: 'mechanics',\n    formula_latex: 'E = m c^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('c', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['rest energy of a massive body'],\n    references: ['Einstein 1905, Ann. Phys. 18:639'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'mass', dim: MASS },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-momentum',\n    name: 'Momentum (non-relativistic)',\n    domain: 'mechanics',\n    formula_latex: 'p = m v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic (v ≪ c)'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  // ── energy ────────────────────────────────────────────────────────────────\n  l1({ name: 'kinetic-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n  ], {\n    id: 'CE-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{k} = \\frac{1}{2} mv^2`,\n      locator: \"Wikipedia, 'Kinetic energy', revision 1370969006, wikitext line 56\",\n    },\n    name: 'Kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} m v^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rotational-kinetic-energy', dim: ENERGY }, [\n    { name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA },\n    { name: 'angular-velocity', dim: FREQUENCY },\n  ], {\n    id: 'CE-rotational-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{rotational} = \\tfrac{1}{2} I \\omega^2`,\n      locator: \"Wikipedia, 'Rotational energy', revision 1258577842, wikitext line 3\",\n    },\n    name: 'Rotational kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} I \\\\omega^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('moment-of-inertia', MOMENT_OF_INERTIA),\n      pow(sym('angular-velocity', FREQUENCY), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['rigid body'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'gravitational-potential-energy', dim: ENERGY }, [\n    { name: 'G', dim: G_DIM },\n    { name: 'mass', dim: MASS },\n    { name: 'secondary-mass', dim: MASS },\n    { name: 'r', dim: LENGTH },\n  ], {\n    id: 'CE-gravitational-potential-energy',\n    conventionNote: 'gravitational potential energy is U = −G m1 m2/r. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n    name: 'Gravitational potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = -G m_1 m_2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      op('/', [\n        op('*', [sym('G', G_DIM), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        sym('r', LENGTH),\n      ]),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['two point masses', 'zero reference at infinity'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'work', dim: ENERGY }, [\n    { name: 'force', dim: FORCE },\n    { name: 'distance', dim: LENGTH },\n  ], {\n    id: 'CE-work',\n    name: 'Work (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'W = F d',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('distance', LENGTH)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force along displacement'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'spring-potential-energy', dim: ENERGY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-spring-potential-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`U_\\mathrm{el}(x) = \\tfrac 1 2 kx^2`,\n      locator: \"Wikipedia, 'Hooke's law', revision 1375736650, wikitext line 146\",\n    },\n    name: 'Elastic potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = \\\\tfrac{1}{2} k x^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('spring-constant', SPRING_CONSTANT),\n      pow(sym('displacement', LENGTH), '2'),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['Hookean (linear) spring'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n  // ── power ─────────────────────────────────────────────────────────────────\n  l1({ name: 'power', dim: POWER }, [\n    { name: 'force', dim: FORCE },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-power',\n    name: 'Mechanical power',\n    domain: 'mechanics',\n    formula_latex: 'P = F v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force along velocity'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  // ── force ─────────────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-centripetal-force',\n    name: 'Centripetal force',\n    domain: 'mechanics',\n    formula_latex: 'F = m v^2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n      sym('radius', LENGTH),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['uniform circular motion'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-hooke-law',\n    conventionNote: 'Hooke\\'s law is F = −kx. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    name: \"Hooke's law\",\n    domain: 'mechanics',\n    formula_latex: 'F = -k x',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('spring-constant', SPRING_CONSTANT),\n      sym('displacement', LENGTH),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['linear elastic regime'],\n    references: ['Hooke 1678'],\n    partnerBridges: [],\n  }),\n  // ── rotational + impulse ────────────────────────────────────────────────────\n  l1({ name: 'torque', dim: TORQUE }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'force', dim: FORCE },\n  ], {\n    id: 'CE-torque',\n    name: 'Torque (perpendicular force)',\n    domain: 'mechanics',\n    formula_latex: '\\\\tau = r F',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('force', FORCE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force perpendicular to lever arm'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'angular-momentum', dim: ANGULAR_MOMENTUM }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'p', dim: MOMENTUM },\n  ], {\n    id: 'CE-angular-momentum',\n    name: 'Angular momentum (point particle)',\n    domain: 'mechanics',\n    formula_latex: 'L = r p',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('p', MOMENTUM)]),\n    regime: { scale: 'classical' },\n    assumptions: ['momentum perpendicular to radius'],\n    references: ['Taylor, Classical Mechanics §3'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA }, [\n    { name: 'mass', dim: MASS },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-moment-of-inertia',\n    name: 'Moment of inertia (point mass)',\n    domain: 'mechanics',\n    formula_latex: 'I = m r^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('radius', LENGTH), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['point mass at radius r'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'force', dim: FORCE },\n    { name: 'time', dim: TIME },\n  ], {\n    id: 'CE-impulse',\n    name: 'Impulse (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'J = F t',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('time', TIME)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force over interval t'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  // ── oscillations (√-law: dimensional-only, engine-derived fractional monomial)\n  l1({ name: 'angular-velocity', dim: FREQUENCY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'mass', dim: MASS },\n  ], {\n    id: 'CE-simple-harmonic-frequency',\n    prefactor: {\n      value: 1,\n      quote: String.raw`\\omega = \\sqrt{\\frac k m}.`,\n      locator: \"Wikipedia, 'Harmonic oscillator', revision 1373924880, wikitext line 44\",\n    },\n    holds: 'spring-constant > 0 and mass > 0',\n    name: 'Simple-harmonic angular frequency',\n    domain: 'mechanics',\n    formula_latex: '\\\\omega = \\\\sqrt{k/m}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['ideal mass–spring oscillator'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n];\n"]}
+{"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,EACT,aAAa,EACb,QAAQ,EACR,MAAM,EACN,eAAe,EACf,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,aAAa;AACpC,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,aAAa;AAC9C,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,KAAK,GAAG,sBAAsB,CAAC,CAAC,iCAAiC;AAEvE,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;YAChD,OAAO,EAAE,oEAAoE;SAC9E;QACD,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+CAA+C;YAChE,OAAO,EAAE,sEAAsE;SAChF;QACD,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,cAAc,EAAE,gIAAgI;QAChJ,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;aACjB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,oCAAoC;YACrD,OAAO,EAAE,kEAAkE;SAC5E;QACD,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,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;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,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,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,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,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,cAAc,EAAE,uGAAuG;QACvH,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,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,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,4BAA4B;YAC7C,OAAO,EAAE,yEAAyE;SACnF;QACD,KAAK,EAAE,kCAAkC;QACzC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — classical mechanics. The foundational\n * laws (Newton's 2nd, mass–energy, momentum) plus the standard textbook\n * monomial mechanics laws (kinetic/potential energy, work, power, torque,\n * angular momentum, Hooke's law, impulse, SHM). Each is a unique dimensional\n * monomial (0 free groups); L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic, purely dimensional MONOMIAL laws (the \"only laws that\n * genuinely fit the dimensional L-layer\" bar — Adam+Eve adversarial pass,\n * 2026-06-20). Numeric prefactors (½) are recorded via `scalar-up-to-constant`;\n * √-laws (SHM) are `dimensional` with engine-derived fractional monomials, like\n * the pendulum. See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/mechanics\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  FORCE,\n  ACCELERATION,\n  LENGTH,\n  TIME,\n  POWER,\n  FREQUENCY,\n  DIMENSIONLESS,\n  MOMENTUM,\n  ACTION,\n  SPRING_CONSTANT,\n  GRAVITATIONAL_CONSTANT,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst TORQUE = ENERGY; // [L² M T⁻²]\nconst ANGULAR_MOMENTUM = ACTION; // [L² M T⁻¹]\nconst MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]\nconst G_DIM = GRAVITATIONAL_CONSTANT; // Newton's constant [L³ M⁻¹ T⁻²]\n\nexport const MECHANICS: readonly CanonicalEquation[] = [\n  // ── foundational ──────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'acceleration', dim: ACCELERATION },\n  ], {\n    id: 'CE-newton-second-law',\n    name: \"Newton's second law\",\n    domain: 'mechanics',\n    formula_latex: 'F = m a',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('acceleration', ACCELERATION)]),\n    regime: { scale: 'classical' },\n    assumptions: ['inertial frame', 'constant mass'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rest-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'c', dim: VELOCITY },\n  ], {\n    id: 'CE-mass-energy',\n    name: 'Mass–energy equivalence',\n    domain: 'mechanics',\n    formula_latex: 'E = m c^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('c', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['rest energy of a massive body'],\n    references: ['Einstein 1905, Ann. Phys. 18:639'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'mass', dim: MASS },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-momentum',\n    name: 'Momentum (non-relativistic)',\n    domain: 'mechanics',\n    formula_latex: 'p = m v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic (v ≪ c)'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  // ── energy ────────────────────────────────────────────────────────────────\n  l1({ name: 'kinetic-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n  ], {\n    id: 'CE-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{k} = \\frac{1}{2} mv^2`,\n      locator: \"Wikipedia, 'Kinetic energy', revision 1370969006, wikitext line 56\",\n    },\n    name: 'Kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} m v^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rotational-kinetic-energy', dim: ENERGY }, [\n    { name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA },\n    { name: 'angular-velocity', dim: FREQUENCY },\n  ], {\n    id: 'CE-rotational-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{rotational} = \\tfrac{1}{2} I \\omega^2`,\n      locator: \"Wikipedia, 'Rotational energy', revision 1258577842, wikitext line 3\",\n    },\n    name: 'Rotational kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} I \\\\omega^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('moment-of-inertia', MOMENT_OF_INERTIA),\n      pow(sym('angular-velocity', FREQUENCY), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['rigid body'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'gravitational-potential-energy', dim: ENERGY }, [\n    { name: 'G', dim: G_DIM },\n    { name: 'mass', dim: MASS },\n    { name: 'secondary-mass', dim: MASS },\n    { name: 'r', dim: LENGTH },\n  ], {\n    id: 'CE-gravitational-potential-energy',\n    conventionNote: 'gravitational potential energy is U = −G m1 m2/r. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n    name: 'Gravitational potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = -G m_1 m_2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      op('/', [\n        op('*', [sym('G', G_DIM), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        sym('r', LENGTH),\n      ]),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['two point masses', 'zero reference at infinity'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'work', dim: ENERGY }, [\n    { name: 'force', dim: FORCE },\n    { name: 'distance', dim: LENGTH },\n  ], {\n    id: 'CE-work',\n    name: 'Work (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'W = F d',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('distance', LENGTH)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force along displacement'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'spring-potential-energy', dim: ENERGY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-spring-potential-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`U_\\mathrm{el}(x) = \\tfrac 1 2 kx^2`,\n      locator: \"Wikipedia, 'Hooke's law', revision 1375736650, wikitext line 146\",\n    },\n    name: 'Elastic potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = \\\\tfrac{1}{2} k x^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('spring-constant', SPRING_CONSTANT),\n      pow(sym('displacement', LENGTH), '2'),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['Hookean (linear) spring'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n  // ── power ─────────────────────────────────────────────────────────────────\n  l1({ name: 'power', dim: POWER }, [\n    { name: 'force', dim: FORCE },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-power',\n    name: 'Mechanical power',\n    domain: 'mechanics',\n    formula_latex: 'P = F v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force along velocity'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  // ── force ─────────────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-centripetal-force',\n    name: 'Centripetal force',\n    domain: 'mechanics',\n    formula_latex: 'F = m v^2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n      sym('radius', LENGTH),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['uniform circular motion'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-hooke-law',\n    conventionNote: 'Hooke\\'s law is F = −kx. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    name: \"Hooke's law\",\n    domain: 'mechanics',\n    formula_latex: 'F = -k x',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('spring-constant', SPRING_CONSTANT),\n      sym('displacement', LENGTH),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['linear elastic regime'],\n    references: ['Hooke 1678'],\n    partnerBridges: [],\n  }),\n  // ── rotational + impulse ────────────────────────────────────────────────────\n  l1({ name: 'torque', dim: TORQUE }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'force', dim: FORCE },\n  ], {\n    id: 'CE-torque',\n    name: 'Torque (perpendicular force)',\n    domain: 'mechanics',\n    formula_latex: '\\\\tau = r F',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('force', FORCE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force perpendicular to lever arm'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'angular-momentum', dim: ANGULAR_MOMENTUM }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'p', dim: MOMENTUM },\n  ], {\n    id: 'CE-angular-momentum',\n    name: 'Angular momentum (point particle)',\n    domain: 'mechanics',\n    formula_latex: 'L = r p',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('p', MOMENTUM)]),\n    regime: { scale: 'classical' },\n    assumptions: ['momentum perpendicular to radius'],\n    references: ['Taylor, Classical Mechanics §3'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA }, [\n    { name: 'mass', dim: MASS },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-moment-of-inertia',\n    name: 'Moment of inertia (point mass)',\n    domain: 'mechanics',\n    formula_latex: 'I = m r^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('radius', LENGTH), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['point mass at radius r'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'force', dim: FORCE },\n    { name: 'time', dim: TIME },\n  ], {\n    id: 'CE-impulse',\n    name: 'Impulse (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'J = F t',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('time', TIME)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force over interval t'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  // ── oscillations (√-law: dimensional-only, engine-derived fractional monomial)\n  l1({ name: 'angular-velocity', dim: FREQUENCY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'mass', dim: MASS },\n  ], {\n    id: 'CE-simple-harmonic-frequency',\n    prefactor: {\n      value: 1,\n      quote: String.raw`\\omega = \\sqrt{\\frac k m}.`,\n      locator: \"Wikipedia, 'Harmonic oscillator', revision 1373924880, wikitext line 44\",\n    },\n    holds: 'spring-constant > 0 and mass > 0',\n    name: 'Simple-harmonic angular frequency',\n    domain: 'mechanics',\n    formula_latex: '\\\\omega = \\\\sqrt{k/m}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['ideal mass–spring oscillator'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n];\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAqBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EA0ZnD,CAAC"}
+{"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA6BlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EA0ZnD,CAAC"}

package/dist/canonical/entries/nonmonomial.js

@@ -1,21 +1,13 @@
 import { sym } from '../../dimensional/ast-builders.js';
-import { DIMENSIONLESS, TIME } from '../../dimensional/types.js';
-import { dim, op, pow, l1 } from './_l1-build.js';
-const PRESSURE = dim(-1, 1, -2, 0, 0);
-const DENSITY = dim(-3, 1, 0, 0, 0);
-const VELOCITY = dim(1, 0, -1, 0, 0);
-const ACCELERATION = dim(1, 0, -2, 0, 0);
-const HEIGHT = dim(1, 0, 0, 0, 0);
-const DECAY_CONSTANT = dim(0, 0, -1, 0, 0);
-const ENERGY = dim(2, 1, -2, 0, 0);
-const PLANCK = dim(2, 1, -1, 0, 0);
-const FREQUENCY = dim(0, 0, -1, 0, 0);
-const TEMPERATURE = dim(0, 0, 0, 0, 1);
-const BOLTZMANN = dim(2, 1, -2, 0, -1);
-const MASS = dim(0, 1, 0, 0, 0);
-const LENGTH = dim(1, 0, 0, 0, 0);
-const INVERSE_LENGTH = dim(-1, 0, 0, 0, 0);
-const INTENSITY = dim(0, 1, -3, 0, 0);
+import { DIMENSIONLESS, TIME, PRESSURE, MASS_DENSITY, VELOCITY, ACCELERATION, LENGTH, FREQUENCY, ENERGY, ACTION, TEMPERATURE, ENTROPY, MASS, WAVENUMBER, ENERGY_FLUX, } from '../../dimensional/types.js';
+import { op, pow, l1 } from './_l1-build.js';
+const DENSITY = MASS_DENSITY;
+const HEIGHT = LENGTH;
+const DECAY_CONSTANT = FREQUENCY;
+const PLANCK = ACTION;
+const BOLTZMANN = ENTROPY;
+const INVERSE_LENGTH = WAVENUMBER;
+const INTENSITY = ENERGY_FLUX;
 export const NONMONOMIAL = [
     l1({ name: 'bernoulli-total-pressure', dim: PRESSURE }, [
         { name: 'density', dim: DENSITY },

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

@@ -1 +1 @@
-{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC7E,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,8DAA8D;QACrE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,+HAA+H;QACtI,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBAClE,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,kDAAkD;QACzD,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;aAChD,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,gHAAgH;QACvH,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qFAAqF;QACrF,mFAAmF;QACnF,sEAAsE;QACtE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC;YAC5B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,EAAE,wDAAwD,CAAC;QACvH,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,+IAA+I;QACtJ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,yBAAyB;QAChC,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YACrB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kEAAkE;YACnF,OAAO,EAAE,yEAAyE;SACnF;QACD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,qEAAqE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,4CAA4C;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;qBAChF,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * L1-sum tier — the FIRST canonical entries whose RHS is a genuine\n * NON-monomial: a sum (Bernoulli) and a transcendental (radioactive decay).\n * Dimensional analysis alone cannot pin either as a power-monomial (there are\n * several pressure-dimensioned terms in Bernoulli; a dimensionless factor in\n * decay), so the engine reports `monomial: null` with `freeDimensionlessGroups\n * >= 1` — the CLASSIC \"dimensionally underdetermined\" state that carries no\n * monomial. What makes these entries new is that the exact form IS known and is\n * carried in the `scalarAst` (so `epistemicStatus` reflects the known closed\n * form, not the dimensional under-determination). Built via `l1()` so the L0\n * fields are engine-derived and self-consistent (F1: monomial:null ⟺ freeGroups\n * >= 1) exactly like the existing underdetermined monomials (Newton F,\n * Bekenstein-Hawking).\n *\n * Value: these enrich the canonical *reference* with famous non-monomial laws\n * and are structurally scanned by `scanLinkages` / `upt recover` (normalForm is\n * sum- and transcendental-aware). A 2026-07-04 measurement found they produce\n * ZERO structural bridge matches today — the value is reference-completeness,\n * not bridge-validation (design + measurement:\n * docs/superpowers/specs/2026-07-04-l1-sum-tier-design.md).\n *\n * @module canonical/entries/nonmonomial\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport { DIMENSIONLESS, TIME } from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst PRESSURE = dim(-1, 1, -2, 0, 0);\nconst DENSITY = dim(-3, 1, 0, 0, 0);\nconst VELOCITY = dim(1, 0, -1, 0, 0);\nconst ACCELERATION = dim(1, 0, -2, 0, 0);\nconst HEIGHT = dim(1, 0, 0, 0, 0);\nconst DECAY_CONSTANT = dim(0, 0, -1, 0, 0);\nconst ENERGY = dim(2, 1, -2, 0, 0);\nconst PLANCK = dim(2, 1, -1, 0, 0);\nconst FREQUENCY = dim(0, 0, -1, 0, 0);\nconst TEMPERATURE = dim(0, 0, 0, 0, 1);\nconst BOLTZMANN = dim(2, 1, -2, 0, -1);\nconst MASS = dim(0, 1, 0, 0, 0);\nconst LENGTH = dim(1, 0, 0, 0, 0);\nconst INVERSE_LENGTH = dim(-1, 0, 0, 0, 0);\nconst INTENSITY = dim(0, 1, -3, 0, 0);\n\nexport const NONMONOMIAL: readonly CanonicalEquation[] = [\n  l1(\n    { name: 'bernoulli-total-pressure', dim: PRESSURE },\n    [\n      { name: 'density', dim: DENSITY },\n      { name: 'flow-velocity', dim: VELOCITY },\n      { name: 'gravitational-acceleration', dim: ACCELERATION },\n      { name: 'height', dim: HEIGHT },\n      { name: 'static-pressure', dim: PRESSURE },\n    ],\n    {\n      id: 'CE-bernoulli',\n      name: 'Bernoulli equation',\n      domain: 'mechanics',\n      formula_latex: '\\\\tfrac12 \\\\rho v^2 + \\\\rho g h + P = \\\\text{const}',\n      epistemicStatus: 'fully-quantitative', // P + ½ρv² + ρgh, the exact total pressure\n      scalarAst: op('+', [\n        op('*', [\n          sym('0.5', DIMENSIONLESS),\n          op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),\n        ]),\n        op('*', [\n          sym('density', DENSITY),\n          op('*', [\n            sym('gravitational-acceleration', ACCELERATION),\n            sym('height', HEIGHT),\n          ]),\n        ]),\n        sym('static-pressure', PRESSURE),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['incompressible', 'inviscid', 'steady flow along a streamline'],\n      references: ['Bernoulli 1738 Hydrodynamica'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'remaining-nuclei', dim: DIMENSIONLESS },\n    [\n      { name: 'initial-nuclei', dim: DIMENSIONLESS },\n      { name: 'decay-constant', dim: DECAY_CONSTANT },\n      { name: 'elapsed-time', dim: TIME },\n    ],\n    {\n      id: 'CE-radioactive-decay',\n      name: 'Radioactive decay law',\n      domain: 'quantum', // matches CE-half-life's domain\n      formula_latex: 'N = N_0 e^{-\\\\lambda t}',\n      epistemicStatus: 'fully-quantitative', // exact closed form (carried in scalarAst)\n      // N0 · exp(−(λ·t)); the exp arg λt is dimensionless ([T⁻¹]·[T]); the unary\n      // minus is the sym('-1', DIMENSIONLESS) multiplicative stub (be-34 idiom).\n      scalarAst: op('*', [\n        sym('initial-nuclei', DIMENSIONLESS),\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('*', [sym('decay-constant', DECAY_CONSTANT), sym('elapsed-time', TIME)]),\n          ]),\n        },\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['first-order decay', 'large-N statistical limit'],\n      references: ['Rutherford & Soddy 1902'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'photoelectron-max-energy', dim: ENERGY },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'photon-frequency', dim: FREQUENCY },\n      { name: 'work-function', dim: ENERGY },\n    ],\n    {\n      id: 'CE-photoelectric',\n      holds: 'h * photon-frequency >= work-function and work-function >= 0',\n      name: 'Photoelectric equation',\n      domain: 'quantum',\n      formula_latex: 'K_{\\\\max} = h f - W',\n      epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)\n      scalarAst: op('-', [\n        op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),\n        sym('work-function', ENERGY),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['single-photon absorption', 'above threshold (hf > W)'],\n      references: ['Einstein 1905 Ann. Phys. 17:132'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'carnot-efficiency', dim: DIMENSIONLESS },\n    [\n      { name: 'cold-reservoir-temperature', dim: TEMPERATURE },\n      { name: 'hot-reservoir-temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-carnot-efficiency',\n      holds: 'cold-reservoir-temperature >= 0 and hot-reservoir-temperature > 0 and cold-reservoir-temperature <= hot-reservoir-temperature',\n      name: 'Carnot efficiency',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\eta = 1 - \\\\tfrac{T_c}{T_h}',\n      epistemicStatus: 'fully-quantitative', // exact: 1 − Tc/Th\n      // 1 − Tc/Th; the leading 1 is a dimensionless literal stub.\n      scalarAst: op('-', [\n        sym('1', DIMENSIONLESS),\n        op('/', [\n          sym('cold-reservoir-temperature', TEMPERATURE),\n          sym('hot-reservoir-temperature', TEMPERATURE),\n        ]),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['reversible cycle', 'two heat reservoirs'],\n      references: ['Carnot 1824 Réflexions sur la puissance motrice du feu'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'state-energy', dim: ENERGY },\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-boltzmann-factor',\n      name: 'Boltzmann factor',\n      domain: 'statistical',\n      formula_latex: 'e^{-E/k_B T}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // exp(−E/(kB·T)); the arg −E/(kB T) is dimensionless (energy/energy).\n      scalarAst: {\n        kind: 'transcendental',\n        fn: 'exp',\n        arg: op('*', [\n          sym('-1', DIMENSIONLESS),\n          op('/', [\n            sym('state-energy', ENERGY),\n            op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),\n          ]),\n        ]),\n      },\n      regime: { scale: 'classical' },\n      assumptions: ['canonical ensemble', 'thermal equilibrium'],\n      references: ['Boltzmann 1868 Wien. Ber. 58:517'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'lorentz-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'velocity', dim: VELOCITY },\n      { name: 'c', dim: VELOCITY },\n    ],\n    {\n      id: 'CE-lorentz-factor',\n      holds: 'abs(velocity) < c',\n      name: 'Lorentz factor',\n      domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain\n      formula_latex: '\\\\gamma = \\\\left(1 - \\\\tfrac{v^2}{c^2}\\\\right)^{-1/2}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (1 − v²/c²)^(−1/2); the base is dimensionless (velocity²/velocity²), so\n      // the fractional literal exponent '-0.5' validates on it directly.\n      scalarAst: pow(\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          op('/', [\n            pow(sym('velocity', VELOCITY), '2'),\n            pow(sym('c', VELOCITY), '2'),\n          ]),\n        ]),\n        '-0.5',\n      ),\n      regime: { scale: 'classical' },\n      assumptions: ['special relativity', 'inertial frames'],\n      references: ['Einstein 1905 Ann. Phys. 17:891'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'compton-wavelength-shift', dim: LENGTH },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'm_e', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'scattering-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-compton-shift',\n      holds: 'scattering-angle >= 0 and scattering-angle <= pi',\n      name: 'Compton shift',\n      domain: 'quantum',\n      formula_latex: '\\\\Delta\\\\lambda = \\\\tfrac{h}{m_e c}(1 - \\\\cos\\\\theta)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.\n      scalarAst: op('*', [\n        op('/', [\n          sym('h', PLANCK),\n          op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),\n        ]),\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'cos', arg: sym('scattering-angle', DIMENSIONLESS) },\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['elastic photon-electron scattering', 'free electron at rest'],\n      references: ['Compton 1923 Phys. Rev. 21:483'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH },\n    [\n      { name: 'lower-level-n', dim: DIMENSIONLESS },\n      { name: 'upper-level-n', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-rydberg-formula',\n      holds: 'isInteger(lower-level-n) and isInteger(upper-level-n) and lower-level-n >= 1 and upper-level-n > lower-level-n',\n      name: 'Rydberg formula',\n      domain: 'quantum',\n      formula_latex: '\\\\tfrac{1}{\\\\lambda} = R\\\\left(\\\\tfrac{1}{n_1^2} - \\\\tfrac{1}{n_2^2}\\\\right)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the\n      // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied\n      // (the owner's decision of 2026-10-09: a constant is never an input).\n      scalarAst: op('*', [\n        sym('R_inf', INVERSE_LENGTH),\n        op('-', [\n          pow(sym('lower-level-n', DIMENSIONLESS), '-2'),\n          pow(sym('upper-level-n', DIMENSIONLESS), '-2'),\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],\n      references: ['Rydberg 1890 / Balmer 1885'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'refracted-index', dim: DIMENSIONLESS },\n    [\n      { name: 'incident-index', dim: DIMENSIONLESS },\n      { name: 'angle-of-incidence', dim: DIMENSIONLESS },\n      { name: 'angle-of-refraction', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-snell-law',\n      holds: 'incident-index > 0 and angle-of-incidence >= 0 and angle-of-incidence <= pi / 2 and angle-of-refraction > 0 and angle-of-refraction <= pi / 2',\n      name: \"Snell's law\",\n      domain: 'electromagnetism', // optics\n      formula_latex: 'n_2 = n_1 \\\\sin\\\\theta_1 / \\\\sin\\\\theta_2', // solved for n2\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // n1·sin θ1 / sin θ2; both angles are dimensionless.\n      scalarAst: op('/', [\n        op('*', [\n          sym('incident-index', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-incidence', DIMENSIONLESS) },\n        ]),\n        { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-refraction', DIMENSIONLESS) },\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['geometric optics', 'planar interface between isotropic media'],\n      references: ['Snell 1621 / Descartes 1637'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'transmitted-intensity', dim: INTENSITY },\n    [\n      { name: 'incident-intensity', dim: INTENSITY },\n      { name: 'polarization-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-malus-law',\n      holds: 'incident-intensity >= 0',\n      name: \"Malus's law\",\n      domain: 'electromagnetism',\n      formula_latex: 'I = I_0 \\\\cos^2\\\\theta',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // I0·cos²θ; the polarization angle is dimensionless.\n      scalarAst: op('*', [\n        sym('incident-intensity', INTENSITY),\n        pow(\n          { kind: 'transcendental', fn: 'cos', arg: sym('polarization-angle', DIMENSIONLESS) },\n          '2',\n        ),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['ideal linear polarizer', 'coherent linearly-polarized incident light'],\n      references: ['Malus 1809'],\n      partnerBridges: [],\n    },\n  ),\n  // ── poster entries 1, 2, 13 (Sprint 3 / ROADMAP Phase 3) ──────────────────\n  // Three of the sixteen poster equations that the registry did not yet carry.\n  // Entry numbers are the ROADMAP Phase 3 bridge-line numbering; the entries\n  // themselves are DERIVED from the identifying context of those lines\n  // (`2 → 13`, `2 → 1`, `13 ↔ 4`, `6 ↔ 13`), not from Appendix A, which is not\n  // vendored here.\n  l1(\n    { name: 'internal-energy-change', dim: ENERGY },\n    [\n      { name: 'heat-added', dim: ENERGY },\n      { name: 'work-done-by-system', dim: ENERGY },\n    ],\n    {\n      id: 'CE-first-law-thermodynamics',\n      name: 'First law of thermodynamics',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\Delta U = Q - W',\n      epistemicStatus: 'fully-quantitative',\n      // A genuine DIFFERENCE of two same-dimensioned terms: dimensional\n      // analysis alone cannot pin it (three energies), so the engine reports\n      // monomial: null with freeGroups >= 1, like Bernoulli above.\n      scalarAst: op('-', [\n        sym('heat-added', ENERGY),\n        sym('work-done-by-system', ENERGY),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'closed system',\n        'sign convention: Q into the system, W done by the system',\n      ],\n      references: ['Clausius 1850', 'Callen, Thermodynamics'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-entropy', dim: BOLTZMANN },\n    [\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'microstate-count', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-boltzmann-entropy',\n      holds: 'microstate-count >= 1',\n      name: 'Boltzmann entropy',\n      domain: 'statistical',\n      formula_latex: 'S = k_B \\ln W',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      scalarAst: op('*', [\n        sym('k_B', BOLTZMANN),\n        {\n          kind: 'transcendental',\n          fn: 'ln',\n          arg: sym('microstate-count', DIMENSIONLESS),\n        },\n      ]),\n      forms: { logBase: 'e' },\n      regime: { scale: 'mesoscopic' },\n      assumptions: ['microcanonical ensemble', 'equiprobable microstates'],\n      references: ['Boltzmann 1877 Wien. Ber. 76:373', 'Planck 1901'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'normal-probability-density', dim: INVERSE_LENGTH },\n    [\n      { name: 'standard-deviation', dim: LENGTH },\n      { name: 'deviation-from-mean', dim: LENGTH },\n    ],\n    {\n      id: 'CE-normal-distribution',\n      prefactor: {\n        value: 1 / Math.sqrt(2 * Math.PI),\n        quote: String.raw`\\frac{1}{\\sqrt{2\\pi\\sigma^2}} e^{-\\frac{(x - \\mu)^2}{2\\sigma^2}}`,\n        locator: \"Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14\",\n      },\n      name: 'Normal (Gaussian) distribution',\n      domain: 'statistical',\n      formula_latex:\n        'p(x) = \\\\frac{1}{\\\\sigma\\\\sqrt{2\\\\pi}} e^{-(x-\\\\mu)^2 / 2\\\\sigma^2}',\n      // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the\n      // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different\n      // functions, so the 2 stays inside the AST.\n      epistemicStatus: 'scalar-up-to-constant',\n      scalarAst: op('/', [\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('/', [\n              pow(sym('deviation-from-mean', LENGTH), '2'),\n              op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),\n            ]),\n          ]),\n        },\n        sym('standard-deviation', LENGTH),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'sigma > 0',\n        // The variate carries whatever dimension the modelled quantity has; it\n        // is taken length-dimensioned here as the representative case, so that\n        // the density is inverse-length. Nothing in the law depends on that\n        // choice — only the two dimensions cancelling inside the exponent does.\n        'variate taken length-dimensioned as the representative case',\n      ],\n      references: [\n        'Gauss 1809 Theoria Motus',\n        'Laplace 1812 Théorie analytique des probabilités',\n      ],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}
+{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,SAAS,EACT,MAAM,EACN,MAAM,EACN,WAAW,EACX,OAAO,EACP,IAAI,EACJ,UAAU,EACV,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,OAAO,GAAG,YAAY,CAAC;AAC7B,MAAM,MAAM,GAAG,MAAM,CAAC;AACtB,MAAM,cAAc,GAAG,SAAS,CAAC;AACjC,MAAM,MAAM,GAAG,MAAM,CAAC;AACtB,MAAM,SAAS,GAAG,OAAO,CAAC;AAC1B,MAAM,cAAc,GAAG,UAAU,CAAC;AAClC,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC7E,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,8DAA8D;QACrE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,+HAA+H;QACtI,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBAClE,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,kDAAkD;QACzD,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;aAChD,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,gHAAgH;QACvH,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qFAAqF;QACrF,mFAAmF;QACnF,sEAAsE;QACtE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC;YAC5B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,EAAE,wDAAwD,CAAC;QACvH,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,+IAA+I;QACtJ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,yBAAyB;QAChC,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YACrB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kEAAkE;YACnF,OAAO,EAAE,yEAAyE;SACnF;QACD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,qEAAqE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,4CAA4C;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;qBAChF,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * L1-sum tier — the FIRST canonical entries whose RHS is a genuine\n * NON-monomial: a sum (Bernoulli) and a transcendental (radioactive decay).\n * Dimensional analysis alone cannot pin either as a power-monomial (there are\n * several pressure-dimensioned terms in Bernoulli; a dimensionless factor in\n * decay), so the engine reports `monomial: null` with `freeDimensionlessGroups\n * >= 1` — the CLASSIC \"dimensionally underdetermined\" state that carries no\n * monomial. What makes these entries new is that the exact form IS known and is\n * carried in the `scalarAst` (so `epistemicStatus` reflects the known closed\n * form, not the dimensional under-determination). Built via `l1()` so the L0\n * fields are engine-derived and self-consistent (F1: monomial:null ⟺ freeGroups\n * >= 1) exactly like the existing underdetermined monomials (Newton F,\n * Bekenstein-Hawking).\n *\n * Value: these enrich the canonical *reference* with famous non-monomial laws\n * and are structurally scanned by `scanLinkages` / `upt recover` (normalForm is\n * sum- and transcendental-aware). A 2026-07-04 measurement found they produce\n * ZERO structural bridge matches today — the value is reference-completeness,\n * not bridge-validation (design + measurement:\n * docs/superpowers/specs/2026-07-04-l1-sum-tier-design.md).\n *\n * @module canonical/entries/nonmonomial\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  DIMENSIONLESS,\n  TIME,\n  PRESSURE,\n  MASS_DENSITY,\n  VELOCITY,\n  ACCELERATION,\n  LENGTH,\n  FREQUENCY,\n  ENERGY,\n  ACTION,\n  TEMPERATURE,\n  ENTROPY,\n  MASS,\n  WAVENUMBER,\n  ENERGY_FLUX,\n} from '../../dimensional/types.js';\nimport { op, pow, l1 } from './_l1-build.js';\n\nconst DENSITY = MASS_DENSITY;\nconst HEIGHT = LENGTH;\nconst DECAY_CONSTANT = FREQUENCY;\nconst PLANCK = ACTION;\nconst BOLTZMANN = ENTROPY;\nconst INVERSE_LENGTH = WAVENUMBER;\nconst INTENSITY = ENERGY_FLUX;\n\nexport const NONMONOMIAL: readonly CanonicalEquation[] = [\n  l1(\n    { name: 'bernoulli-total-pressure', dim: PRESSURE },\n    [\n      { name: 'density', dim: DENSITY },\n      { name: 'flow-velocity', dim: VELOCITY },\n      { name: 'gravitational-acceleration', dim: ACCELERATION },\n      { name: 'height', dim: HEIGHT },\n      { name: 'static-pressure', dim: PRESSURE },\n    ],\n    {\n      id: 'CE-bernoulli',\n      name: 'Bernoulli equation',\n      domain: 'mechanics',\n      formula_latex: '\\\\tfrac12 \\\\rho v^2 + \\\\rho g h + P = \\\\text{const}',\n      epistemicStatus: 'fully-quantitative', // P + ½ρv² + ρgh, the exact total pressure\n      scalarAst: op('+', [\n        op('*', [\n          sym('0.5', DIMENSIONLESS),\n          op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),\n        ]),\n        op('*', [\n          sym('density', DENSITY),\n          op('*', [\n            sym('gravitational-acceleration', ACCELERATION),\n            sym('height', HEIGHT),\n          ]),\n        ]),\n        sym('static-pressure', PRESSURE),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['incompressible', 'inviscid', 'steady flow along a streamline'],\n      references: ['Bernoulli 1738 Hydrodynamica'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'remaining-nuclei', dim: DIMENSIONLESS },\n    [\n      { name: 'initial-nuclei', dim: DIMENSIONLESS },\n      { name: 'decay-constant', dim: DECAY_CONSTANT },\n      { name: 'elapsed-time', dim: TIME },\n    ],\n    {\n      id: 'CE-radioactive-decay',\n      name: 'Radioactive decay law',\n      domain: 'quantum', // matches CE-half-life's domain\n      formula_latex: 'N = N_0 e^{-\\\\lambda t}',\n      epistemicStatus: 'fully-quantitative', // exact closed form (carried in scalarAst)\n      // N0 · exp(−(λ·t)); the exp arg λt is dimensionless ([T⁻¹]·[T]); the unary\n      // minus is the sym('-1', DIMENSIONLESS) multiplicative stub (be-34 idiom).\n      scalarAst: op('*', [\n        sym('initial-nuclei', DIMENSIONLESS),\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('*', [sym('decay-constant', DECAY_CONSTANT), sym('elapsed-time', TIME)]),\n          ]),\n        },\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['first-order decay', 'large-N statistical limit'],\n      references: ['Rutherford & Soddy 1902'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'photoelectron-max-energy', dim: ENERGY },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'photon-frequency', dim: FREQUENCY },\n      { name: 'work-function', dim: ENERGY },\n    ],\n    {\n      id: 'CE-photoelectric',\n      holds: 'h * photon-frequency >= work-function and work-function >= 0',\n      name: 'Photoelectric equation',\n      domain: 'quantum',\n      formula_latex: 'K_{\\\\max} = h f - W',\n      epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)\n      scalarAst: op('-', [\n        op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),\n        sym('work-function', ENERGY),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['single-photon absorption', 'above threshold (hf > W)'],\n      references: ['Einstein 1905 Ann. Phys. 17:132'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'carnot-efficiency', dim: DIMENSIONLESS },\n    [\n      { name: 'cold-reservoir-temperature', dim: TEMPERATURE },\n      { name: 'hot-reservoir-temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-carnot-efficiency',\n      holds: 'cold-reservoir-temperature >= 0 and hot-reservoir-temperature > 0 and cold-reservoir-temperature <= hot-reservoir-temperature',\n      name: 'Carnot efficiency',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\eta = 1 - \\\\tfrac{T_c}{T_h}',\n      epistemicStatus: 'fully-quantitative', // exact: 1 − Tc/Th\n      // 1 − Tc/Th; the leading 1 is a dimensionless literal stub.\n      scalarAst: op('-', [\n        sym('1', DIMENSIONLESS),\n        op('/', [\n          sym('cold-reservoir-temperature', TEMPERATURE),\n          sym('hot-reservoir-temperature', TEMPERATURE),\n        ]),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['reversible cycle', 'two heat reservoirs'],\n      references: ['Carnot 1824 Réflexions sur la puissance motrice du feu'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'state-energy', dim: ENERGY },\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-boltzmann-factor',\n      name: 'Boltzmann factor',\n      domain: 'statistical',\n      formula_latex: 'e^{-E/k_B T}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // exp(−E/(kB·T)); the arg −E/(kB T) is dimensionless (energy/energy).\n      scalarAst: {\n        kind: 'transcendental',\n        fn: 'exp',\n        arg: op('*', [\n          sym('-1', DIMENSIONLESS),\n          op('/', [\n            sym('state-energy', ENERGY),\n            op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),\n          ]),\n        ]),\n      },\n      regime: { scale: 'classical' },\n      assumptions: ['canonical ensemble', 'thermal equilibrium'],\n      references: ['Boltzmann 1868 Wien. Ber. 58:517'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'lorentz-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'velocity', dim: VELOCITY },\n      { name: 'c', dim: VELOCITY },\n    ],\n    {\n      id: 'CE-lorentz-factor',\n      holds: 'abs(velocity) < c',\n      name: 'Lorentz factor',\n      domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain\n      formula_latex: '\\\\gamma = \\\\left(1 - \\\\tfrac{v^2}{c^2}\\\\right)^{-1/2}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (1 − v²/c²)^(−1/2); the base is dimensionless (velocity²/velocity²), so\n      // the fractional literal exponent '-0.5' validates on it directly.\n      scalarAst: pow(\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          op('/', [\n            pow(sym('velocity', VELOCITY), '2'),\n            pow(sym('c', VELOCITY), '2'),\n          ]),\n        ]),\n        '-0.5',\n      ),\n      regime: { scale: 'classical' },\n      assumptions: ['special relativity', 'inertial frames'],\n      references: ['Einstein 1905 Ann. Phys. 17:891'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'compton-wavelength-shift', dim: LENGTH },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'm_e', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'scattering-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-compton-shift',\n      holds: 'scattering-angle >= 0 and scattering-angle <= pi',\n      name: 'Compton shift',\n      domain: 'quantum',\n      formula_latex: '\\\\Delta\\\\lambda = \\\\tfrac{h}{m_e c}(1 - \\\\cos\\\\theta)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.\n      scalarAst: op('*', [\n        op('/', [\n          sym('h', PLANCK),\n          op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),\n        ]),\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'cos', arg: sym('scattering-angle', DIMENSIONLESS) },\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['elastic photon-electron scattering', 'free electron at rest'],\n      references: ['Compton 1923 Phys. Rev. 21:483'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH },\n    [\n      { name: 'lower-level-n', dim: DIMENSIONLESS },\n      { name: 'upper-level-n', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-rydberg-formula',\n      holds: 'isInteger(lower-level-n) and isInteger(upper-level-n) and lower-level-n >= 1 and upper-level-n > lower-level-n',\n      name: 'Rydberg formula',\n      domain: 'quantum',\n      formula_latex: '\\\\tfrac{1}{\\\\lambda} = R\\\\left(\\\\tfrac{1}{n_1^2} - \\\\tfrac{1}{n_2^2}\\\\right)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the\n      // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied\n      // (the owner's decision of 2026-10-09: a constant is never an input).\n      scalarAst: op('*', [\n        sym('R_inf', INVERSE_LENGTH),\n        op('-', [\n          pow(sym('lower-level-n', DIMENSIONLESS), '-2'),\n          pow(sym('upper-level-n', DIMENSIONLESS), '-2'),\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],\n      references: ['Rydberg 1890 / Balmer 1885'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'refracted-index', dim: DIMENSIONLESS },\n    [\n      { name: 'incident-index', dim: DIMENSIONLESS },\n      { name: 'angle-of-incidence', dim: DIMENSIONLESS },\n      { name: 'angle-of-refraction', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-snell-law',\n      holds: 'incident-index > 0 and angle-of-incidence >= 0 and angle-of-incidence <= pi / 2 and angle-of-refraction > 0 and angle-of-refraction <= pi / 2',\n      name: \"Snell's law\",\n      domain: 'electromagnetism', // optics\n      formula_latex: 'n_2 = n_1 \\\\sin\\\\theta_1 / \\\\sin\\\\theta_2', // solved for n2\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // n1·sin θ1 / sin θ2; both angles are dimensionless.\n      scalarAst: op('/', [\n        op('*', [\n          sym('incident-index', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-incidence', DIMENSIONLESS) },\n        ]),\n        { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-refraction', DIMENSIONLESS) },\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['geometric optics', 'planar interface between isotropic media'],\n      references: ['Snell 1621 / Descartes 1637'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'transmitted-intensity', dim: INTENSITY },\n    [\n      { name: 'incident-intensity', dim: INTENSITY },\n      { name: 'polarization-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-malus-law',\n      holds: 'incident-intensity >= 0',\n      name: \"Malus's law\",\n      domain: 'electromagnetism',\n      formula_latex: 'I = I_0 \\\\cos^2\\\\theta',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // I0·cos²θ; the polarization angle is dimensionless.\n      scalarAst: op('*', [\n        sym('incident-intensity', INTENSITY),\n        pow(\n          { kind: 'transcendental', fn: 'cos', arg: sym('polarization-angle', DIMENSIONLESS) },\n          '2',\n        ),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['ideal linear polarizer', 'coherent linearly-polarized incident light'],\n      references: ['Malus 1809'],\n      partnerBridges: [],\n    },\n  ),\n  // ── poster entries 1, 2, 13 (Sprint 3 / ROADMAP Phase 3) ──────────────────\n  // Three of the sixteen poster equations that the registry did not yet carry.\n  // Entry numbers are the ROADMAP Phase 3 bridge-line numbering; the entries\n  // themselves are DERIVED from the identifying context of those lines\n  // (`2 → 13`, `2 → 1`, `13 ↔ 4`, `6 ↔ 13`), not from Appendix A, which is not\n  // vendored here.\n  l1(\n    { name: 'internal-energy-change', dim: ENERGY },\n    [\n      { name: 'heat-added', dim: ENERGY },\n      { name: 'work-done-by-system', dim: ENERGY },\n    ],\n    {\n      id: 'CE-first-law-thermodynamics',\n      name: 'First law of thermodynamics',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\Delta U = Q - W',\n      epistemicStatus: 'fully-quantitative',\n      // A genuine DIFFERENCE of two same-dimensioned terms: dimensional\n      // analysis alone cannot pin it (three energies), so the engine reports\n      // monomial: null with freeGroups >= 1, like Bernoulli above.\n      scalarAst: op('-', [\n        sym('heat-added', ENERGY),\n        sym('work-done-by-system', ENERGY),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'closed system',\n        'sign convention: Q into the system, W done by the system',\n      ],\n      references: ['Clausius 1850', 'Callen, Thermodynamics'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-entropy', dim: BOLTZMANN },\n    [\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'microstate-count', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-boltzmann-entropy',\n      holds: 'microstate-count >= 1',\n      name: 'Boltzmann entropy',\n      domain: 'statistical',\n      formula_latex: 'S = k_B \\ln W',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      scalarAst: op('*', [\n        sym('k_B', BOLTZMANN),\n        {\n          kind: 'transcendental',\n          fn: 'ln',\n          arg: sym('microstate-count', DIMENSIONLESS),\n        },\n      ]),\n      forms: { logBase: 'e' },\n      regime: { scale: 'mesoscopic' },\n      assumptions: ['microcanonical ensemble', 'equiprobable microstates'],\n      references: ['Boltzmann 1877 Wien. Ber. 76:373', 'Planck 1901'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'normal-probability-density', dim: INVERSE_LENGTH },\n    [\n      { name: 'standard-deviation', dim: LENGTH },\n      { name: 'deviation-from-mean', dim: LENGTH },\n    ],\n    {\n      id: 'CE-normal-distribution',\n      prefactor: {\n        value: 1 / Math.sqrt(2 * Math.PI),\n        quote: String.raw`\\frac{1}{\\sqrt{2\\pi\\sigma^2}} e^{-\\frac{(x - \\mu)^2}{2\\sigma^2}}`,\n        locator: \"Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14\",\n      },\n      name: 'Normal (Gaussian) distribution',\n      domain: 'statistical',\n      formula_latex:\n        'p(x) = \\\\frac{1}{\\\\sigma\\\\sqrt{2\\\\pi}} e^{-(x-\\\\mu)^2 / 2\\\\sigma^2}',\n      // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the\n      // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different\n      // functions, so the 2 stays inside the AST.\n      epistemicStatus: 'scalar-up-to-constant',\n      scalarAst: op('/', [\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('/', [\n              pow(sym('deviation-from-mean', LENGTH), '2'),\n              op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),\n            ]),\n          ]),\n        },\n        sym('standard-deviation', LENGTH),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'sigma > 0',\n        // The variate carries whatever dimension the modelled quantity has; it\n        // is taken length-dimensioned here as the representative case, so that\n        // the density is inverse-length. Nothing in the law depends on that\n        // choice — only the two dimensions cancelling inside the exponent does.\n        'variate taken length-dimensioned as the representative case',\n      ],\n      references: [\n        'Gauss 1809 Theoria Motus',\n        'Laplace 1812 Théorie analytique des probabilités',\n      ],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"relativity.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsIlE,eAAO,MAAM,UAAU,EAAE,SAAS,iBAAiB,EAqNlD,CAAC"}
+{"version":3,"file":"relativity.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAyIlE,eAAO,MAAM,UAAU,EAAE,SAAS,iBAAiB,EAqNlD,CAAC"}

package/dist/canonical/entries/relativity.js

@@ -1,11 +1,11 @@
 import { metric } from '../../dimensional/metric.js';
 import { tsym } from '../../dimensional/tensor.js';
 import { sym } from '../../dimensional/ast-builders.js';
-import { LENGTH, DIMENSIONLESS, MASS, VELOCITY, ACTION, ENTROPY, TEMPERATURE, AREA, FORCE, } from '../../dimensional/types.js';
+import { LENGTH, DIMENSIONLESS, MASS, VELOCITY, ACTION, ENTROPY, TEMPERATURE, AREA, FORCE, PRESSURE, GRAVITATIONAL_CONSTANT, MASS_DENSITY, } from '../../dimensional/types.js';
 import { dim, op, pow, l1 } from './_l1-build.js';
 // ── EFE node builders (the canonical G_μν + Λg_μν = (8πG/c⁴)T_μν structure) ──
 const L_INV2 = dim(-2); // [L⁻²] — per-component dim of every EFE term
-const ENERGY_DENSITY = dim(-1, 1, -2); // T_μν componentDim [M L⁻¹ T⁻²]
+const ENERGY_DENSITY = PRESSURE; // T_μν componentDim [M L⁻¹ T⁻²]
 function buildRiemann(mu = 'mu', nu = 'nu') {
     const gLower = metric('g', [
         { label: 'a', variance: 'lower' },
@@ -67,16 +67,16 @@ const EFE_NODE = {
     coupling: 'einstein',
 };
 // ── dimensional layer for the EFE (per-component [L⁻²] from 8πG·T/c⁴) ────────
-const GRAV = dim(3, -1, -2);
+const GRAV = GRAVITATIONAL_CONSTANT;
 const EFE_TARGET = { name: 'efe-curvature', dim: L_INV2 };
 const EFE_GOV = [
     { name: 'G', dim: GRAV },
-    { name: 'c', dim: dim(1, 0, -1) },
+    { name: 'c', dim: VELOCITY },
     { name: 'stress-energy-density', dim: ENERGY_DENSITY },
 ];
 // ── Friedmann (flat, matter-dominated): H² = 8πG ρ / 3 ───────────────────────
 const HSQUARED = dim(0, 0, -2); // [T⁻²]
-const DENSITY = dim(-3, 1); // [M L⁻³]
+const DENSITY = MASS_DENSITY; // [M L⁻³]
 const FRIEDMANN_TARGET = { name: 'hubble-rate-squared', dim: HSQUARED };
 const FRIEDMANN_GOV = [
     { name: 'G', dim: GRAV },
@@ -105,7 +105,7 @@ export const RELATIVITY = [
     }),
     l1(FRIEDMANN_TARGET, [
         ...FRIEDMANN_GOV,
-        { name: 'c', dim: dim(1, 0, -1) },
+        { name: 'c', dim: VELOCITY },
         { name: 'curvature-k', dim: DIMENSIONLESS },
         { name: 'scale-factor', dim: LENGTH },
     ], {