universal-physics-tensor 0.47.1 → 1.0.2

package/dist/atlas/oscillators/limit-witnesses.d.ts

@@ -0,0 +1,93 @@
+/**
+ * The measurements behind the in-process witnesses of the three oscillator
+ * bridges that had none: W7 (`ab-pendulum-linear`), W8b (`ab-damped-massless`)
+ * and W9 (`ab-chain-wave`).
+ *
+ * Each one INTEGRATES the premise model's own equation by RK4 and reads the
+ * claimed quantity off the motion. None evaluates the closed form its record
+ * states, so a test comparing the measurement with that closed form compares
+ * two methods, not one method with itself.
+ *
+ * @module atlas/oscillators/limit-witnesses
+ * @internal
+ */
+/**
+ * W7: the pendulum θ'' = −ω0² sin θ at ω0 = 1, released from rest; the
+ * amplitude is `theta0 / resolution`, so refinement moves into the θ0 → 0 limit.
+ *
+ * @internal
+ */
+export declare const W7_FIXTURE: {
+    readonly theta0: 0.4;
+    readonly stepsPerPeriod: 16384;
+};
+/**
+ * T/T0 of the pendulum released from rest at `theta0`, measured by RK4 with
+ * `stepsPerPeriod` steps per linear period T0 = 2π (ω0 = 1).
+ *
+ * @returns NaN unless 0 < theta0 < π.
+ * @internal
+ */
+export declare function measurePendulumPeriodRatio(theta0: number, stepsPerPeriod?: number): number;
+/**
+ * W8b: the damped spring m x'' + b x' + k x = 0 at the record's witness
+ * normalisation b = k = x0 = 1, with v0 = 5 (the edge of |v0| ≤ 5). The mass is
+ * `m / resolution`. The RK4 step is m/20, so the fast rate b/m is resolved at
+ * every mass, and 5m/b is a whole number of steps.
+ *
+ * @internal
+ */
+export declare const W8B_FIXTURE: {
+    readonly m: 0.02;
+    readonly b: 1;
+    readonly k: 1;
+    readonly x0: 1;
+    readonly v0: 5;
+    readonly tEnd: 10;
+    readonly stepsPerMass: 20;
+};
+/**
+ * sup |x(t) − x0 e^(−kt/b)| over the RK4 grid on t ∈ [5m/b, tEnd], x from the
+ * full second-order model: the norm of `ab-damped-massless`'s bound. The
+ * window stops at `tEnd`; both motions there are below x0·e^(−k·tEnd/b).
+ *
+ * @returns NaN unless m, b and k are positive and finite.
+ * @internal
+ */
+export declare function measureMasslessOffset(m: number, fixture?: {
+    readonly b: number;
+    readonly k: number;
+    readonly x0: number;
+    readonly v0: number;
+    readonly tEnd: number;
+    readonly stepsPerMass: number;
+}): number;
+/**
+ * W9: a ring of `masses · resolution` masses, m u_n'' = κ(u_{n+1} − 2u_n + u_{n−1}),
+ * started at rest in its longest mode u_n = cos(2π n/N). Refinement doubles N, so
+ * qa = 2π/N halves.
+ *
+ * @internal
+ */
+export declare const W9_FIXTURE: {
+    readonly masses: 16;
+    readonly kappa: 1;
+    readonly m: 1;
+    readonly a: 1;
+    readonly stepsPerUnitTime: 1000;
+};
+/**
+ * 1 − ω/(c q) on a ring of `masses` masses in its longest mode, with ω measured
+ * from the first zero of u_0(t) = cos ωt (RK4, cubic Hermite and Newton on the
+ * bracketing step) and c = a √(κ/m), q = 2π/(N a).
+ *
+ * @returns NaN for fewer than 3 masses or no crossing.
+ * @internal
+ */
+export declare function measureChainDispersionError(masses: number, fixture?: {
+    readonly kappa: number;
+    readonly m: number;
+    readonly a: number;
+    readonly stepsPerUnitTime: number;
+}): number;
+//# sourceMappingURL=limit-witnesses.d.ts.map

package/dist/atlas/oscillators/limit-witnesses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"limit-witnesses.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/limit-witnesses.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH;;;;;GAKG;AACH,eAAO,MAAM,UAAU;aAAK,MAAM,EAAE,GAAG;aAAE,cAAc,EAAE,KAAM;CAAW,CAAC;AAE3E;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,GAAE,MAAkC,GAAG,MAAM,CAKrH;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,IAAI;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;aAAE,EAAE,EAAE,CAAC;aAAE,EAAE,EAAE,CAAC;aAAE,IAAI,EAAE,EAAE;aAAE,YAAY,EAAE,EAAE;CAAW,CAAC;AAEtG;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,CAAC,EAAE,MAAM,EACT,OAAO,GAAE;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAgB,GAChK,MAAM,CAyBR;AAED;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;aAAK,MAAM,EAAE,EAAE;aAAE,KAAK,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;aAAE,gBAAgB,EAAE,IAAI;CAAW,CAAC;AAEhG;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;CAAe,GAC1H,MAAM,CAoDR"}

package/dist/atlas/oscillators/limit-witnesses.js

@@ -0,0 +1,152 @@
+/**
+ * The measurements behind the in-process witnesses of the three oscillator
+ * bridges that had none: W7 (`ab-pendulum-linear`), W8b (`ab-damped-massless`)
+ * and W9 (`ab-chain-wave`).
+ *
+ * Each one INTEGRATES the premise model's own equation by RK4 and reads the
+ * claimed quantity off the motion. None evaluates the closed form its record
+ * states, so a test comparing the measurement with that closed form compares
+ * two methods, not one method with itself.
+ *
+ * @module atlas/oscillators/limit-witnesses
+ * @internal
+ */
+import { quarterPeriod } from './norm-transport-witness.js';
+/**
+ * W7: the pendulum θ'' = −ω0² sin θ at ω0 = 1, released from rest; the
+ * amplitude is `theta0 / resolution`, so refinement moves into the θ0 → 0 limit.
+ *
+ * @internal
+ */
+export const W7_FIXTURE = { theta0: 0.4, stepsPerPeriod: 16_384 };
+/**
+ * T/T0 of the pendulum released from rest at `theta0`, measured by RK4 with
+ * `stepsPerPeriod` steps per linear period T0 = 2π (ω0 = 1).
+ *
+ * @returns NaN unless 0 < theta0 < π.
+ * @internal
+ */
+export function measurePendulumPeriodRatio(theta0, stepsPerPeriod = W7_FIXTURE.stepsPerPeriod) {
+    if (!(theta0 > 0 && theta0 < Math.PI))
+        return Number.NaN;
+    const T0 = 2 * Math.PI;
+    const quarter = quarterPeriod((x) => -Math.sin(x), theta0, T0 / stepsPerPeriod, 2 * stepsPerPeriod);
+    return (4 * quarter) / T0;
+}
+/**
+ * W8b: the damped spring m x'' + b x' + k x = 0 at the record's witness
+ * normalisation b = k = x0 = 1, with v0 = 5 (the edge of |v0| ≤ 5). The mass is
+ * `m / resolution`. The RK4 step is m/20, so the fast rate b/m is resolved at
+ * every mass, and 5m/b is a whole number of steps.
+ *
+ * @internal
+ */
+export const W8B_FIXTURE = { m: 0.02, b: 1, k: 1, x0: 1, v0: 5, tEnd: 10, stepsPerMass: 20 };
+/**
+ * sup |x(t) − x0 e^(−kt/b)| over the RK4 grid on t ∈ [5m/b, tEnd], x from the
+ * full second-order model: the norm of `ab-damped-massless`'s bound. The
+ * window stops at `tEnd`; both motions there are below x0·e^(−k·tEnd/b).
+ *
+ * @returns NaN unless m, b and k are positive and finite.
+ * @internal
+ */
+export function measureMasslessOffset(m, fixture = W8B_FIXTURE) {
+    const { b, k, x0, v0, tEnd, stepsPerMass } = fixture;
+    if (![m, b, k].every((v) => Number.isFinite(v) && v > 0))
+        return Number.NaN;
+    const h = m / stepsPerMass;
+    const layerSteps = Math.ceil((5 * stepsPerMass) / b);
+    const steps = Math.ceil(tEnd / h);
+    let x = x0;
+    let v = v0;
+    let sup = 0;
+    for (let i = 1; i <= steps; i++) {
+        // The damped force reads v as well as x, so the first-order system is stepped here.
+        const f = (xx, vv) => -(b * vv + k * xx) / m;
+        const k1x = v;
+        const k1v = f(x, v);
+        const k2x = v + 0.5 * h * k1v;
+        const k2v = f(x + 0.5 * h * k1x, v + 0.5 * h * k1v);
+        const k3x = v + 0.5 * h * k2v;
+        const k3v = f(x + 0.5 * h * k2x, v + 0.5 * h * k2v);
+        const k4x = v + h * k3v;
+        const k4v = f(x + h * k3x, v + h * k3v);
+        x += (h / 6) * (k1x + 2 * k2x + 2 * k3x + k4x);
+        v += (h / 6) * (k1v + 2 * k2v + 2 * k3v + k4v);
+        if (i >= layerSteps)
+            sup = Math.max(sup, Math.abs(x - x0 * Math.exp((-k / b) * i * h)));
+    }
+    return sup;
+}
+/**
+ * W9: a ring of `masses · resolution` masses, m u_n'' = κ(u_{n+1} − 2u_n + u_{n−1}),
+ * started at rest in its longest mode u_n = cos(2π n/N). Refinement doubles N, so
+ * qa = 2π/N halves.
+ *
+ * @internal
+ */
+export const W9_FIXTURE = { masses: 16, kappa: 1, m: 1, a: 1, stepsPerUnitTime: 1000 };
+/**
+ * 1 − ω/(c q) on a ring of `masses` masses in its longest mode, with ω measured
+ * from the first zero of u_0(t) = cos ωt (RK4, cubic Hermite and Newton on the
+ * bracketing step) and c = a √(κ/m), q = 2π/(N a).
+ *
+ * @returns NaN for fewer than 3 masses or no crossing.
+ * @internal
+ */
+export function measureChainDispersionError(masses, fixture = W9_FIXTURE) {
+    const N = masses;
+    if (!Number.isInteger(N) || N < 3)
+        return Number.NaN;
+    const { kappa, m, a, stepsPerUnitTime } = fixture;
+    const w = kappa / m;
+    const accel = (u) => {
+        const out = new Float64Array(N);
+        for (let n = 0; n < N; n++)
+            out[n] = w * (u[(n + 1) % N] - 2 * u[n] + u[(n - 1 + N) % N]);
+        return out;
+    };
+    const axpy = (y, s, x) => {
+        const out = new Float64Array(N);
+        for (let n = 0; n < N; n++)
+            out[n] = y[n] + s * x[n];
+        return out;
+    };
+    const h = 1 / stepsPerUnitTime;
+    let u = Float64Array.from({ length: N }, (_, n) => Math.cos((2 * Math.PI * n) / N));
+    let v = new Float64Array(N);
+    // Twice the lattice quarter period π/(4√(κ/m) sin(π/N)): the crossing is inside.
+    const maxSteps = Math.ceil(((2 * Math.PI) / (4 * Math.sqrt(w) * Math.sin(Math.PI / N))) * stepsPerUnitTime);
+    for (let i = 0; i < maxSteps; i++) {
+        const k1u = v;
+        const k1v = accel(u);
+        const k2u = axpy(v, 0.5 * h, k1v);
+        const k2v = accel(axpy(u, 0.5 * h, k1u));
+        const k3u = axpy(v, 0.5 * h, k2v);
+        const k3v = accel(axpy(u, 0.5 * h, k2u));
+        const k4u = axpy(v, h, k3v);
+        const k4v = accel(axpy(u, h, k3u));
+        const nu = new Float64Array(N);
+        const nv = new Float64Array(N);
+        for (let n = 0; n < N; n++) {
+            nu[n] = u[n] + (h / 6) * (k1u[n] + 2 * k2u[n] + 2 * k3u[n] + k4u[n]);
+            nv[n] = v[n] + (h / 6) * (k1v[n] + 2 * k2v[n] + 2 * k3v[n] + k4v[n]);
+        }
+        if (u[0] > 0 && nu[0] <= 0) {
+            const [p0, m0, p1, m1] = [u[0], v[0] * h, nu[0], nv[0] * h];
+            const p = (s) => (2 * s ** 3 - 3 * s ** 2 + 1) * p0 + (s ** 3 - 2 * s ** 2 + s) * m0 + (-2 * s ** 3 + 3 * s ** 2) * p1 + (s ** 3 - s ** 2) * m1;
+            const dp = (s) => (6 * s ** 2 - 6 * s) * p0 + (3 * s ** 2 - 4 * s + 1) * m0 + (-6 * s ** 2 + 6 * s) * p1 + (3 * s ** 2 - 2 * s) * m1;
+            let s = p0 / (p0 - p1);
+            for (let j = 0; j < 8; j++)
+                s -= p(s) / dp(s);
+            const omega = Math.PI / (2 * (i + s) * h);
+            const c = a * Math.sqrt(w);
+            const q = (2 * Math.PI) / (N * a);
+            return 1 - omega / (c * q);
+        }
+        u = nu;
+        v = nv;
+    }
+    return Number.NaN;
+}
+//# sourceMappingURL=limit-witnesses.js.map

package/dist/atlas/oscillators/limit-witnesses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"limit-witnesses.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/limit-witnesses.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,EAAW,CAAC;AAE3E;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAAc,EAAE,cAAc,GAAW,UAAU,CAAC,cAAc;IAC3G,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IACzD,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;IACvB,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC;IACpG,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAW,CAAC;AAEtG;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAAS,EACT,OAAO,GAA+I,WAAW;IAEjK,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC;IACrD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IAC5E,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,oFAAoF;QACpF,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,EAAU,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;QAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;QAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACxB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACxC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;QAC/C,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,UAAU;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAW,CAAC;AAEhG;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAc,EACd,OAAO,GAA0G,UAAU;IAE3H,MAAM,CAAC,GAAG,MAAM,CAAC;IACjB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IACrD,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,gBAAgB,EAAE,GAAG,OAAO,CAAC;IAClD,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,CAAC,CAAe,EAAgB,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;QAC7F,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAe,EAAE,CAAS,EAAE,CAAe,EAAgB,EAAE;QACzE,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACvD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC;IAC/B,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,CAAC,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,iFAAiF;IACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC;IAC5G,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YAC1E,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAE,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAC9B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACjI,MAAM,EAAE,GAAG,CAAC,CAAS,EAAU,EAAE,CAC/B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrH,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClC,OAAO,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,CAAC,GAAG,EAAE,CAAC;QACP,CAAC,GAAG,EAAE,CAAC;IACT,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC;AACpB,CAAC"}

package/dist/atlas/oscillators/models.d.ts

@@ -13,7 +13,8 @@
  * says "not recorded" where a present empty one would claim "there are none".
  *
  * `canonicalRefs` are restricted to ids that exist in `CANONICAL_EQUATIONS`;
- * `tests/atlas/models.test.ts` resolves every one of them.
+ * `tests/atlas/models.test.ts` resolves every one of them, and a new one needs
+ * a numeric check in `tests/atlas/canonical-links.test.ts`.
  *
  * @module atlas/oscillators/models
  */

package/dist/atlas/oscillators/models.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AASH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA6B9C,6EAA6E;AAC7E,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAmH7C,CAAC;AAIF,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIpD"}
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AASH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA6B9C,6EAA6E;AAC7E,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAmH7C,CAAC;AAIF,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIpD"}

package/dist/atlas/oscillators/models.js

@@ -13,7 +13,8 @@
  * says "not recorded" where a present empty one would claim "there are none".
  *
  * `canonicalRefs` are restricted to ids that exist in `CANONICAL_EQUATIONS`;
- * `tests/atlas/models.test.ts` resolves every one of them.
+ * `tests/atlas/models.test.ts` resolves every one of them, and a new one needs
+ * a numeric check in `tests/atlas/canonical-links.test.ts`.
  *
  * @module atlas/oscillators/models
  */
@@ -60,7 +61,7 @@ export const ATLAS_MODELS = [
             { name: 'C', dim: CAPACITANCE },
         ],
         dimensionlessInputs: [],
-        canonicalRefs: ['CE-lc-resonance'],
+        canonicalRefs: ['CE-lc-resonance', 'CE-capacitor-energy'],
     }),
     model({
         id: 'model-damped-spring',
@@ -98,7 +99,7 @@ export const ATLAS_MODELS = [
             { name: 'ell', dim: LENGTH },
         ],
         dimensionlessInputs: ['theta0'],
-        canonicalRefs: [],
+        canonicalRefs: ['CE-pendulum-period'],
     }),
     model({
         id: 'model-chain',

package/dist/atlas/oscillators/models.js.map

@@ -1 +1 @@
-{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAGlD,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,GAAG,aAAa,CAAC;AAE7B,SAAS,KAAK,CACZ,IAEC;IAED,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,MAAM,EAAE,MAAM;YACd,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,mBAAmB,CAAC;SACxF;KACF,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD,KAAK,CAAC;QACJ,EAAE,EAAE,cAAc;QAClB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;QAClC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE;YACb,8BAA8B;YAC9B,4BAA4B;YAC5B,sBAAsB;SACvB;KACF,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,UAAU;QACd,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;QAClC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,CAAC,iBAAiB,CAAC;KACnC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,qBAAqB;QACzB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;QACxB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;YAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,WAAW;QACf,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;QACxB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,gBAAgB;QACpB,UAAU,EAAE,kBAAkB;QAC9B,QAAQ,EAAE,sBAAsB;QAChC,WAAW,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;YAChC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;SAC7B;QACD,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,aAAa;QACjB,UAAU,EAAE,yBAAyB;QACrC,QAAQ,EAAE,sCAAsC;QAChD,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC;QAC1C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE;YACvC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;SAC3B;QACD,mBAAmB,EAAE,CAAC,IAAI,CAAC;QAC3B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,eAAe;QACnB,UAAU,EAAE,2BAA2B;QACvC,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC;QACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,CAAC,eAAe,CAAC;KACjC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,4BAA4B,CAAC;QACtD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;YACnC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,eAAe,EAAE;YACtC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;SAC5B;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,mBAAmB;QACvB,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,CAAC;QAClB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;YAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC;AAEF,MAAM,KAAK,GAAoC,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3F,mEAAmE;AACnE,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAGlD,OAAO,EACL,WAAW,EACX,eAAe,EACf,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,GAAG,aAAa,CAAC;AAE7B,SAAS,KAAK,CACZ,IAEC;IAED,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,MAAM;QACd,MAAM,EAAE;YACN,MAAM,EAAE,MAAM;YACd,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,mBAAmB,CAAC;SACxF;KACF,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD,KAAK,CAAC;QACJ,EAAE,EAAE,cAAc;QAClB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;QAClC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE;YACb,8BAA8B;YAC9B,4BAA4B;YAC5B,sBAAsB;SACvB;KACF,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,UAAU;QACd,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;QAClC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;KAC1D,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,qBAAqB;QACzB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;QACxB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;YAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,WAAW;QACf,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;QACxB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;YAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,gBAAgB;QACpB,UAAU,EAAE,kBAAkB;QAC9B,QAAQ,EAAE,sBAAsB;QAChC,WAAW,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;QAC1C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;YAChC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;SAC7B;QACD,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,aAAa,EAAE,CAAC,oBAAoB,CAAC;KACtC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,aAAa;QACjB,UAAU,EAAE,yBAAyB;QACrC,QAAQ,EAAE,sCAAsC;QAChD,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC;QAC1C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE;YACvC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;SAC3B;QACD,mBAAmB,EAAE,CAAC,IAAI,CAAC;QAC3B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,eAAe;QACnB,UAAU,EAAE,2BAA2B;QACvC,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC;QACvC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,CAAC,eAAe,CAAC;KACjC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,cAAc;QAC1B,QAAQ,EAAE,uBAAuB;QACjC,WAAW,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,4BAA4B,CAAC;QACtD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;YACnC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,eAAe,EAAE;YACtC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;SAC5B;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,mBAAmB;QACvB,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,CAAC,GAAG,CAAC;QAClB,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;YAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;SACpC;QACD,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC;AAEF,MAAM,KAAK,GAAoC,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3F,mEAAmE;AACnE,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/atlas/oscillators/norm-transport-witness.d.ts

@@ -0,0 +1,37 @@
+/**
+ * The measurement behind W1τ, `ab-spring-lc`'s relative-period norm transport
+ * (`./norm-transport.ts`).
+ *
+ * The pendulum is pushed through the bridge's map q(t_LC) = (q0/θ0)·θ(t),
+ * t_LC = t·ω_s/ω_LC, and integrated as its OWN equation in circuit time,
+ * q'' = −ω_LC² (q0/θ0) sin(θ0 q/q0). Its period is measured by RK4 and compared
+ * with the LC circuit's period 2π√(LC). Nothing here multiplies a pendulum
+ * period by a factor: the image is solved where the circuit lives.
+ *
+ * @module atlas/oscillators/norm-transport-witness
+ * @internal
+ */
+/** The circuit and release a measurement uses. @internal */
+export interface TransportCircuit {
+    readonly L: number;
+    readonly C: number;
+    /** Release charge, > 0. */
+    readonly q0: number;
+}
+/**
+ * First downward zero crossing of the release from rest at `q0 > 0`, by cubic
+ * Hermite interpolation of the bracketing RK4 step (values and derivatives at
+ * both ends), refined by Newton. Released from rest, it is a quarter period.
+ *
+ * @internal
+ */
+export declare function quarterPeriod(accel: (q: number) => number, q0: number, h: number, maxSteps: number): number;
+/**
+ * T_image / T_LC − 1: the relative period error of the pendulum's image against
+ * the circuit, with `stepsPerPeriod` RK4 steps per LC period.
+ *
+ * @returns NaN when `theta0` is not in (0, π) or no crossing is found.
+ * @internal
+ */
+export declare function measureTransportedPeriodError(theta0: number, stepsPerPeriod: number, circuit?: TransportCircuit): number;
+//# sourceMappingURL=norm-transport-witness.d.ts.map

package/dist/atlas/oscillators/norm-transport-witness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"norm-transport-witness.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/norm-transport-witness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,4DAA4D;AAC5D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAmB3G;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,MAAM,EACtB,OAAO,GAAE,gBAAgC,GACxC,MAAM,CAOR"}

package/dist/atlas/oscillators/norm-transport-witness.js

@@ -0,0 +1,58 @@
+/**
+ * The measurement behind W1τ, `ab-spring-lc`'s relative-period norm transport
+ * (`./norm-transport.ts`).
+ *
+ * The pendulum is pushed through the bridge's map q(t_LC) = (q0/θ0)·θ(t),
+ * t_LC = t·ω_s/ω_LC, and integrated as its OWN equation in circuit time,
+ * q'' = −ω_LC² (q0/θ0) sin(θ0 q/q0). Its period is measured by RK4 and compared
+ * with the LC circuit's period 2π√(LC). Nothing here multiplies a pendulum
+ * period by a factor: the image is solved where the circuit lives.
+ *
+ * @module atlas/oscillators/norm-transport-witness
+ * @internal
+ */
+import { rk4Step } from './pendulum-motion.js';
+import { W1TAU_FIXTURE } from './norm-transport.js';
+/**
+ * First downward zero crossing of the release from rest at `q0 > 0`, by cubic
+ * Hermite interpolation of the bracketing RK4 step (values and derivatives at
+ * both ends), refined by Newton. Released from rest, it is a quarter period.
+ *
+ * @internal
+ */
+export function quarterPeriod(accel, q0, h, maxSteps) {
+    let x = q0;
+    let v = 0;
+    for (let i = 0; i < maxSteps; i++) {
+        const [nx, nv] = rk4Step(x, v, h, accel);
+        if (x > 0 && nx <= 0) {
+            const [p0, m0, p1, m1] = [x, v * h, nx, nv * h];
+            const p = (s) => (2 * s ** 3 - 3 * s ** 2 + 1) * p0 + (s ** 3 - 2 * s ** 2 + s) * m0 + (-2 * s ** 3 + 3 * s ** 2) * p1 + (s ** 3 - s ** 2) * m1;
+            const dp = (s) => (6 * s ** 2 - 6 * s) * p0 + (3 * s ** 2 - 4 * s + 1) * m0 + (-6 * s ** 2 + 6 * s) * p1 + (3 * s ** 2 - 2 * s) * m1;
+            let s = p0 / (p0 - p1);
+            for (let k = 0; k < 8; k++)
+                s -= p(s) / dp(s);
+            return (i + s) * h;
+        }
+        x = nx;
+        v = nv;
+    }
+    return Number.NaN;
+}
+/**
+ * T_image / T_LC − 1: the relative period error of the pendulum's image against
+ * the circuit, with `stepsPerPeriod` RK4 steps per LC period.
+ *
+ * @returns NaN when `theta0` is not in (0, π) or no crossing is found.
+ * @internal
+ */
+export function measureTransportedPeriodError(theta0, stepsPerPeriod, circuit = W1TAU_FIXTURE) {
+    if (!(theta0 > 0 && theta0 < Math.PI) || !(circuit.q0 > 0))
+        return Number.NaN;
+    const omegaLC = 1 / Math.sqrt(circuit.L * circuit.C);
+    const tLC = (2 * Math.PI) / omegaLC;
+    const accel = (q) => -(omegaLC ** 2) * (circuit.q0 / theta0) * Math.sin((theta0 * q) / circuit.q0);
+    const quarter = quarterPeriod(accel, circuit.q0, tLC / stepsPerPeriod, 2 * stepsPerPeriod);
+    return (4 * quarter) / tLC - 1;
+}
+//# sourceMappingURL=norm-transport-witness.js.map

package/dist/atlas/oscillators/norm-transport-witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"norm-transport-witness.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/norm-transport-witness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAUpD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAA4B,EAAE,EAAU,EAAE,CAAS,EAAE,QAAgB;IACjG,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAC9B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACjI,MAAM,EAAE,GAAG,CAAC,CAAS,EAAU,EAAE,CAC/B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACrH,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9C,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,CAAC,GAAG,EAAE,CAAC;QACP,CAAC,GAAG,EAAE,CAAC;IACT,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAc,EACd,cAAsB,EACtB,OAAO,GAAqB,aAAa;IAEzC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IAC9E,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACnH,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,GAAG,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC;IAC3F,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;AACjC,CAAC"}

package/dist/atlas/oscillators/norm-transport.d.ts

@@ -0,0 +1,44 @@
+/**
+ * `ab-spring-lc`'s declared norm transport: the spring → LC map carries a bound
+ * in RELATIVE PERIOD ERROR unchanged. Design:
+ * `docs/planning/ADR-transported-norm-composition.md`.
+ *
+ * The bridge's composed map is q(t_LC) = (q0/x0)·x(t) with t_LC = t·ω_s/ω_LC:
+ * an amplitude scale and a uniform time scale. A period is a time, so every
+ * period on the spring side is multiplied by the same ω_s/ω_LC on the circuit
+ * side, and the ratio T_full/T_reduced − 1 is unchanged. K = 1, with no
+ * additive term.
+ *
+ * Declared in ONE direction and ONE norm:
+ *
+ * - LC → spring is not declared. The same algebra gives K = 1 there too, but no
+ *   witness checks it and no route in the atlas uses it, and a declaration
+ *   without its own witness is what the ADR forbids.
+ * - The absolute period error (factor ω_s/ω_LC) and the trajectory error
+ *   (factor q0/x0, metres to coulombs) are not declared: the map is not an
+ *   isometry of either, and a route in those norms stays refused.
+ *
+ * @module atlas/oscillators/norm-transport
+ * @internal
+ */
+import type { NormTransport } from '../types.js';
+/** @internal */
+export declare const SPRING_LC_TRANSPORT_TEST = "tests/atlas/spring-lc-norm-transport.test.ts";
+/**
+ * The circuit W1τ integrates in: L = 0.5, C = 0.25 (W1a's circuit), so
+ * ω_LC = 2√2 while the spring side's ω_s = 2 — the time map is not the identity.
+ * q0 > 0 is the release charge, and θ0 = 0.5 is the edge of ab-pendulum-linear's
+ * domain, where its error is largest.
+ *
+ * @internal
+ */
+export declare const W1TAU_FIXTURE: {
+    readonly L: 0.5;
+    readonly C: 0.25;
+    readonly q0: 0.001;
+    readonly theta0: 0.5;
+    readonly omegaS: 2;
+};
+/** @internal */
+export declare const SPRING_LC_RELATIVE_PERIOD_TRANSPORT: NormTransport;
+//# sourceMappingURL=norm-transport.d.ts.map

package/dist/atlas/oscillators/norm-transport.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"norm-transport.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/norm-transport.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGjD,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,iDAAiD,CAAC;AAEvF;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa;aAAK,CAAC,EAAE,GAAG;aAAE,CAAC,EAAE,IAAI;aAAE,EAAE,EAAE,KAAI;aAAE,MAAM,EAAE,GAAG;aAAE,MAAM,EAAE,CAAC;CAAW,CAAC;AAE5F,gBAAgB;AAChB,eAAO,MAAM,mCAAmC,EAAE,aA+BjD,CAAC"}

package/dist/atlas/oscillators/norm-transport.js

@@ -0,0 +1,66 @@
+/**
+ * `ab-spring-lc`'s declared norm transport: the spring → LC map carries a bound
+ * in RELATIVE PERIOD ERROR unchanged. Design:
+ * `docs/planning/ADR-transported-norm-composition.md`.
+ *
+ * The bridge's composed map is q(t_LC) = (q0/x0)·x(t) with t_LC = t·ω_s/ω_LC:
+ * an amplitude scale and a uniform time scale. A period is a time, so every
+ * period on the spring side is multiplied by the same ω_s/ω_LC on the circuit
+ * side, and the ratio T_full/T_reduced − 1 is unchanged. K = 1, with no
+ * additive term.
+ *
+ * Declared in ONE direction and ONE norm:
+ *
+ * - LC → spring is not declared. The same algebra gives K = 1 there too, but no
+ *   witness checks it and no route in the atlas uses it, and a declaration
+ *   without its own witness is what the ADR forbids.
+ * - The absolute period error (factor ω_s/ω_LC) and the trajectory error
+ *   (factor q0/x0, metres to coulombs) are not declared: the map is not an
+ *   isometry of either, and a route in those norms stays refused.
+ *
+ * @module atlas/oscillators/norm-transport
+ * @internal
+ */
+import { RELATIVE_PERIOD_NORM } from './norms.js';
+/** @internal */
+export const SPRING_LC_TRANSPORT_TEST = 'tests/atlas/spring-lc-norm-transport.test.ts';
+/**
+ * The circuit W1τ integrates in: L = 0.5, C = 0.25 (W1a's circuit), so
+ * ω_LC = 2√2 while the spring side's ω_s = 2 — the time map is not the identity.
+ * q0 > 0 is the release charge, and θ0 = 0.5 is the edge of ab-pendulum-linear's
+ * domain, where its error is largest.
+ *
+ * @internal
+ */
+export const W1TAU_FIXTURE = { L: 0.5, C: 0.25, q0: 1e-3, theta0: 0.5, omegaS: 2 };
+/** @internal */
+export const SPRING_LC_RELATIVE_PERIOD_TRANSPORT = {
+    id: 'nt-spring-lc-relative-period',
+    fromModel: 'model-spring',
+    toModel: 'model-lc',
+    from: RELATIVE_PERIOD_NORM,
+    to: RELATIVE_PERIOD_NORM,
+    K: 1,
+    KAt: () => 1,
+    domain: "every m, k, L, C > 0 and x0, q0 ≠ 0 (the bridge's side conditions); K is the same constant throughout",
+    derivation: 'q(t_LC) = (q0/x0)·x(t) with t_LC = t·ω_s/ω_LC scales every period by the same ω_s/ω_LC, so a ratio of two ' +
+        'periods, T_full/T_reduced − 1, is unchanged: K = 1 and nothing is added',
+    timeMap: {
+        map: 't_LC = t·ω_s/ω_LC, one constant factor for every t',
+        uniform: true,
+        horizon: 'a horizon that reads time only through t/T0 holds unchanged with t read on the circuit clock and ' +
+            'T0 = 2π√(LC): a uniform time scale leaves t/T0 invariant',
+        restateHorizon: (holds) => holds,
+    },
+    uniformity: "preserved: K is one constant over the whole domain, so the incoming bound's uniformity holds unchanged",
+    witness: {
+        id: 'W1τ',
+        kind: 'numeric',
+        test: SPRING_LC_TRANSPORT_TEST,
+        tolerance: "RK4 relative period error of the pendulum's image q'' = −ω_LC²(q0/θ0) sin(θ0 q/q0) against the LC period, " +
+            'in circuit time (L = 0.5, C = 0.25, ω_LC = 2√2 ≠ ω_s = 2), at 640 steps per LC period within 1e-9 of K ' +
+            'times the closed-form elliptic error at θ0 = 0.5; 160 steps is the coarse resolution',
+    },
+    basis: 'numerically-supported',
+};
+//# sourceMappingURL=norm-transport.js.map

package/dist/atlas/oscillators/norm-transport.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"norm-transport.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/norm-transport.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAG,8CAA8C,CAAC;AAEvF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAW,CAAC;AAE5F,gBAAgB;AAChB,MAAM,CAAC,MAAM,mCAAmC,GAAkB;IAChE,EAAE,EAAE,8BAA8B;IAClC,SAAS,EAAE,cAAc;IACzB,OAAO,EAAE,UAAU;IACnB,IAAI,EAAE,oBAAoB;IAC1B,EAAE,EAAE,oBAAoB;IACxB,CAAC,EAAE,CAAC;IACJ,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACZ,MAAM,EAAE,uGAAuG;IAC/G,UAAU,EACR,4GAA4G;QAC5G,yEAAyE;IAC3E,OAAO,EAAE;QACP,GAAG,EAAE,oDAAoD;QACzD,OAAO,EAAE,IAAI;QACb,OAAO,EACL,mGAAmG;YACnG,0DAA0D;QAC5D,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;KACjC;IACD,UAAU,EAAE,wGAAwG;IACpH,OAAO,EAAE;QACP,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,wBAAwB;QAC9B,SAAS,EACP,4GAA4G;YAC5G,yGAAyG;YACzG,sFAAsF;KACzF;IACD,KAAK,EAAE,uBAAuB;CAC/B,CAAC"}

package/dist/atlas/oscillators/norms.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Norm names the oscillator records share, so a bound and the transport that
+ * carries it name the same norm by the same string. `boundPath` compares norms
+ * verbatim, and a norm spelled twice is a norm that can drift.
+ *
+ * @module atlas/oscillators/norms
+ * @internal
+ */
+/** The norm `ab-pendulum-linear` states its bound in. @internal */
+export declare const RELATIVE_PERIOD_NORM = "relative period error, normalized by the value of the reduced model";
+//# sourceMappingURL=norms.d.ts.map

package/dist/atlas/oscillators/norms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"norms.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/norms.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,mEAAmE;AACnE,eAAO,MAAM,oBAAoB,wEAAwE,CAAC"}

package/dist/atlas/oscillators/norms.js

@@ -0,0 +1,11 @@
+/**
+ * Norm names the oscillator records share, so a bound and the transport that
+ * carries it name the same norm by the same string. `boundPath` compares norms
+ * verbatim, and a norm spelled twice is a norm that can drift.
+ *
+ * @module atlas/oscillators/norms
+ * @internal
+ */
+/** The norm `ab-pendulum-linear` states its bound in. @internal */
+export const RELATIVE_PERIOD_NORM = 'relative period error, normalized by the value of the reduced model';
+//# sourceMappingURL=norms.js.map

package/dist/atlas/oscillators/norms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"norms.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/norms.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,mEAAmE;AACnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,qEAAqE,CAAC"}

package/dist/atlas/oscillators/pendulum-motion.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The pendulum and its linear oscillator, integrated and read off, for the
+ * witnesses of `ab-pendulum-linear`'s declared translations. Time is in units
+ * of T0 (ω0 = 2π); both motions are released from rest at θ0.
+ *
+ * Also the closed forms those translations are built from: θ0 recovered from
+ * the bound's ε, and the nome q of the pendulum's elliptic modulus.
+ *
+ * @module atlas/oscillators/pendulum-motion
+ * @internal
+ */
+/** ω0² at T0 = 1. @internal */
+export declare const W2: number;
+/** @internal */
+export declare const pendulumAccel: (x: number) => number;
+/** @internal */
+export declare const linearAccel: (x: number) => number;
+/** One classical RK4 step of x″ = accel(x). @internal */
+export declare function rk4Step(x: number, v: number, h: number, accel: (x: number) => number): [number, number];
+/** Zero-crossing times of a release from rest at `theta0`, over `periods` of T0 = 1. @internal */
+export declare function crossingTimes(accel: (x: number) => number, theta0: number, stepsPerPeriod: number, periods: number): number[];
+/** The phase at `t`, interpolated through the anchors (0, 0) and (c_k, π/2 + kπ). @internal */
+export declare function phaseAt(crossings: readonly number[], t: number): number;
+/**
+ * θ0 in [0, π) whose exact relative period error is `eps`, by bisection on the
+ * strictly increasing `pendulumPeriodErrorAt`.
+ *
+ * @returns NaN for a negative or non-finite `eps`.
+ * @internal
+ */
+export declare function theta0OfPeriodError(eps: number): number;
+/**
+ * The nome q = exp(−π K′/K) of the modulus k = sin(θ0/2), with
+ * K′/K = AGM(1, cos(θ0/2)) / AGM(1, sin(θ0/2)).
+ * @internal
+ */
+export declare function pendulumNome(theta0: number): number;
+//# sourceMappingURL=pendulum-motion.d.ts.map

package/dist/atlas/oscillators/pendulum-motion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pendulum-motion.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/pendulum-motion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,+BAA+B;AAC/B,eAAO,MAAM,EAAE,QAAqB,CAAC;AACrC,gBAAgB;AAChB,eAAO,MAAM,aAAa,MAAO,MAAM,KAAG,MAA2B,CAAC;AACtE,gBAAgB;AAChB,eAAO,MAAM,WAAW,MAAO,MAAM,KAAG,MAAiB,CAAC;AAE1D,yDAAyD;AACzD,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAUvG;AA4BD,kGAAkG;AAClG,wBAAgB,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAY7H;AAED,+FAA+F;AAC/F,wBAAgB,OAAO,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAWvE;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAYvD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAInD"}