universal-physics-tensor 0.45.2 → 0.46.0

package/dist/atlas/oscillators/bridges-limits.d.ts

@@ -0,0 +1,118 @@
+/**
+ * The two Phase 0 APPROXIMATION bridges — design note §3, bridges 3 and 4.
+ *
+ * - `ab-pendulum-linear` — a REGULAR limit. `θ'' + ω0² sin θ = 0` reduces to
+ *   `θ'' + ω0² θ = 0` as `θ0 → 0`. The order of the system does not drop, the
+ *   error is `O(θ0²)` in the relative period, and the approximation is
+ *   NON-UNIFORM in time: a fixed relative period error accumulates phase
+ *   without bound, so the bound carries the horizon `t ≪ 16 T0/θ0²`.
+ * - `ab-damped-massless` — a SINGULAR limit. `m x'' + b x' + k x = 0` reduces
+ *   to `b x' + k x = 0` as `m → 0`. The order DROPS from two to one, one
+ *   initial condition is lost, and the reduced model cannot satisfy `x'(0)`.
+ *   The bound therefore holds only OUTSIDE the boundary layer, `t ≥ 5 m/b`.
+ *
+ * On the position offset of the singular bridge: `x_full − x_red` is an
+ * `O((1 + |v0|) m)` deviation that PERSISTS THROUGHOUT THE OUTER REGION and
+ * decays only on the slow time scale `b/k`. It is the matched-asymptotics
+ * correction, not a boundary-layer transient, and waiting out the fast mode
+ * does not remove it. (Design note §9 YELLOW (5) — "non-vanishing" was the
+ * imprecise wording this replaces: the offset does go to zero as `t → ∞`.)
+ *
+ * @module atlas/oscillators/bridges-limits
+ */
+import type { ApproximationBound, AtlasBridge, RelationContract } from '../types.js';
+/**
+ * Build an `ApproximationBound`, rejecting one with no prose horizon.
+ *
+ * Every `approximation` bridge in this module is constructed through here, so
+ * the mandatory-horizon rule of `ApproximationBound` has something that FAILS
+ * rather than a comment asking for compliance. `horizonHolds` is mandatory by
+ * the type; the prose `horizon` is the field a caller can satisfy with `''`,
+ * so it is the one checked at run time. `uniformity: null` is accepted: not
+ * yet analysed is a real state, and the refusal lives in `boundPath`.
+ *
+ * @throws MissingHorizonError if `horizon` is empty or whitespace.
+ * @internal
+ */
+export declare function makeApproximation(bound: ApproximationBound): ApproximationBound;
+/**
+ * The EXACT relative period error of the pendulum at amplitude `theta0`:
+ * `(2/π) K(sin(θ0/2)) − 1 = 1/AGM(1, cos(θ0/2)) − 1`.
+ *
+ * This is the machine form of `ab-pendulum-linear`'s `delta`. It is SHARP —
+ * the bound equals the error it bounds — and it is strictly increasing in
+ * `|θ0|`, so its value at the edge of a declared amplitude range is the
+ * supremum over that range. That last property is what lets the record state
+ * one scalar for the whole domain honestly.
+ *
+ * The series `θ0²/16` is the LEADING TERM of this quantity, not an upper bound
+ * on it: at the domain edge `θ0 = 0.5` the series gives `0.0156250` while the
+ * exact error is `0.0158525311`, so the series UNDERSTATES by 1.456%. A record
+ * that declares the series value is violated at its own boundary.
+ *
+ * @returns `Infinity` outside `|θ0| < π`, where no finite period error exists.
+ * @internal
+ */
+export declare function pendulumPeriodErrorAt(params: Readonly<Record<string, number>>): number;
+/**
+ * The position-offset bound of `ab-damped-massless` at a point:
+ * `2 (1 + |v0|) m / b`, the formula this record's docstring has always
+ * carried. It is a bound ONLY at the witness normalisation `b = k = x0 = 1`:
+ * the leading offset is `(m/b)(v0 + k x0/b)`, and the formula has no `k` or
+ * `x0` in it. At `m = 1e-3, b = 1, k = 100` (inside `m k/b² < 1/4`) the true
+ * error is more than 20 times the formula.
+ *
+ * @returns `Infinity` unless `m`, `b`, `k`, `x0` and `v0` are all finite and
+ *   `b = k = x0 = 1` — a missing parameter would otherwise silently return a
+ *   bound for a normalisation the caller did not ask about.
+ * @internal
+ */
+export declare function dampedOffsetBoundAt(params: Readonly<Record<string, number>>): number;
+/**
+ * `ab-pendulum-linear` — small-angle pendulum → harmonic spring.
+ *
+ * `θ0²/16` is the leading term of the exact relative period error
+ * `(2/π) K(sin(θ0/2)) − 1`. At `θ0 = 0.2` the residual is `5.744e-6`, which
+ * the next series term `11 θ0⁴/3072 = 5.729e-6` accounts for to `1.5e-8`.
+ *
+ * `delta` is the EXACT error at the edge of the declared range, not that
+ * series term. The record previously declared `0.5²/16 = 0.0156250`, which is
+ * the series evaluated at `θ0 = 0.5` — and the exact error there is
+ * `0.0158525311`, so the declared bound was VIOLATED AT ITS OWN BOUNDARY by
+ * 1.456%. A truncated series is an approximation of the error, not a bound on
+ * it, and the sign of its omitted tail decides which. Here the tail is
+ * positive, so the series sits below what it was asked to cover.
+ *
+ * @internal
+ */
+export declare const AB_PENDULUM_LINEAR: AtlasBridge;
+/**
+ * `ab-damped-massless` — the SINGULAR `m → 0` limit of the damped spring.
+ *
+ * `deltaAt = 2(1 + |v0|) m/b` bounds the position offset outside the boundary
+ * layer, and `delta` is its supremum over the declared range rather than its
+ * value at one fixture. The lost initial condition is visible in the VELOCITY: inside the
+ * layer the reduced model's `x'` is wrong by O(1/m·…), and it is only after
+ * `t ≈ 5 m/b` that the fast mode has decayed.
+ *
+ * @internal
+ */
+export declare const AB_DAMPED_MASSLESS: AtlasBridge;
+/** The two approximation bridges of this module, in design-note order. @internal */
+export declare const LIMIT_BRIDGES: readonly AtlasBridge[];
+/**
+ * The two approximation bridges re-registered through `RelationContract`.
+ *
+ * The union REQUIRES `bound` on an `approximation`, and `ApproximationBound`
+ * requires its own machine `horizonHolds`, so these two lines are what turn
+ * Sprint 0's doc-comment requirement into a compile-and-throw one. Both bounds
+ * are the records' own, measured ones — nothing is restated here.
+ *
+ * @internal
+ */
+export declare const CONTRACT_PENDULUM_LINEAR: RelationContract;
+/** @internal */
+export declare const CONTRACT_DAMPED_MASSLESS: RelationContract;
+/** The two limit contracts, in design-note order. @internal */
+export declare const LIMIT_CONTRACTS: readonly RelationContract[];
+//# sourceMappingURL=bridges-limits.d.ts.map

package/dist/atlas/oscillators/bridges-limits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-limits.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/bridges-limits.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,gBAAgB,EAAU,MAAM,aAAa,CAAC;AAQ7F;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAO/E;AAYD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAItF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAKpF;AAuCD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,kBAAkB,EAAE,WA2FhC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAyEhC,CAAC;AAEF,oFAAoF;AACpF,eAAO,MAAM,aAAa,EAAE,SAAS,WAAW,EAA6C,CAAC;AAE9F;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,gBACC,CAAC;AAEzC,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,gBACC,CAAC;AAEzC,+DAA+D;AAC/D,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAGtD,CAAC"}

package/dist/atlas/oscillators/bridges-limits.js

@@ -0,0 +1,342 @@
+/**
+ * The two Phase 0 APPROXIMATION bridges — design note §3, bridges 3 and 4.
+ *
+ * - `ab-pendulum-linear` — a REGULAR limit. `θ'' + ω0² sin θ = 0` reduces to
+ *   `θ'' + ω0² θ = 0` as `θ0 → 0`. The order of the system does not drop, the
+ *   error is `O(θ0²)` in the relative period, and the approximation is
+ *   NON-UNIFORM in time: a fixed relative period error accumulates phase
+ *   without bound, so the bound carries the horizon `t ≪ 16 T0/θ0²`.
+ * - `ab-damped-massless` — a SINGULAR limit. `m x'' + b x' + k x = 0` reduces
+ *   to `b x' + k x = 0` as `m → 0`. The order DROPS from two to one, one
+ *   initial condition is lost, and the reduced model cannot satisfy `x'(0)`.
+ *   The bound therefore holds only OUTSIDE the boundary layer, `t ≥ 5 m/b`.
+ *
+ * On the position offset of the singular bridge: `x_full − x_red` is an
+ * `O((1 + |v0|) m)` deviation that PERSISTS THROUGHOUT THE OUTER REGION and
+ * decays only on the slow time scale `b/k`. It is the matched-asymptotics
+ * correction, not a boundary-layer transient, and waiting out the fast mode
+ * does not remove it. (Design note §9 YELLOW (5) — "non-vanishing" was the
+ * imprecise wording this replaces: the offset does go to zero as `t → ∞`.)
+ *
+ * @module atlas/oscillators/bridges-limits
+ */
+import { deriveRegimeGroups } from '../regime.js';
+import { MissingHorizonError } from '../types.js';
+import { relationContractOf } from './bridges-exact.js';
+import { DAMPING, SPRING_CONSTANT } from './dimensions.js';
+import { ACCELERATION, LENGTH, MASS } from '../../dimensional/types.js';
+const FAMILY = 'oscillators';
+const TEST_FILE = 'tests/atlas/oscillators-limits.test.ts';
+/**
+ * Build an `ApproximationBound`, rejecting one with no prose horizon.
+ *
+ * Every `approximation` bridge in this module is constructed through here, so
+ * the mandatory-horizon rule of `ApproximationBound` has something that FAILS
+ * rather than a comment asking for compliance. `horizonHolds` is mandatory by
+ * the type; the prose `horizon` is the field a caller can satisfy with `''`,
+ * so it is the one checked at run time. `uniformity: null` is accepted: not
+ * yet analysed is a real state, and the refusal lives in `boundPath`.
+ *
+ * @throws MissingHorizonError if `horizon` is empty or whitespace.
+ * @internal
+ */
+export function makeApproximation(bound) {
+    if (bound.horizon.trim() === '') {
+        throw new MissingHorizonError('an approximation bound requires a non-empty prose horizon beside horizonHolds');
+    }
+    return bound;
+}
+/** Arithmetic–geometric mean, the standard evaluation route for `K`. @internal */
+function agm(a0, b0) {
+    let a = a0;
+    let b = b0;
+    for (let i = 0; i < 60 && a !== b; i++) {
+        [a, b] = [(a + b) / 2, Math.sqrt(a * b)];
+    }
+    return a;
+}
+/**
+ * The EXACT relative period error of the pendulum at amplitude `theta0`:
+ * `(2/π) K(sin(θ0/2)) − 1 = 1/AGM(1, cos(θ0/2)) − 1`.
+ *
+ * This is the machine form of `ab-pendulum-linear`'s `delta`. It is SHARP —
+ * the bound equals the error it bounds — and it is strictly increasing in
+ * `|θ0|`, so its value at the edge of a declared amplitude range is the
+ * supremum over that range. That last property is what lets the record state
+ * one scalar for the whole domain honestly.
+ *
+ * The series `θ0²/16` is the LEADING TERM of this quantity, not an upper bound
+ * on it: at the domain edge `θ0 = 0.5` the series gives `0.0156250` while the
+ * exact error is `0.0158525311`, so the series UNDERSTATES by 1.456%. A record
+ * that declares the series value is violated at its own boundary.
+ *
+ * @returns `Infinity` outside `|θ0| < π`, where no finite period error exists.
+ * @internal
+ */
+export function pendulumPeriodErrorAt(params) {
+    const { theta0 } = params;
+    if (!Number.isFinite(theta0) || Math.abs(theta0) >= Math.PI)
+        return Infinity;
+    return 1 / agm(1, Math.cos(theta0 / 2)) - 1;
+}
+/**
+ * The position-offset bound of `ab-damped-massless` at a point:
+ * `2 (1 + |v0|) m / b`, the formula this record's docstring has always
+ * carried. It is a bound ONLY at the witness normalisation `b = k = x0 = 1`:
+ * the leading offset is `(m/b)(v0 + k x0/b)`, and the formula has no `k` or
+ * `x0` in it. At `m = 1e-3, b = 1, k = 100` (inside `m k/b² < 1/4`) the true
+ * error is more than 20 times the formula.
+ *
+ * @returns `Infinity` unless `m`, `b`, `k`, `x0` and `v0` are all finite and
+ *   `b = k = x0 = 1` — a missing parameter would otherwise silently return a
+ *   bound for a normalisation the caller did not ask about.
+ * @internal
+ */
+export function dampedOffsetBoundAt(params) {
+    const { m, b, k, x0, v0 } = params;
+    if (![m, b, k, x0, v0].every(Number.isFinite))
+        return Infinity;
+    if (b !== 1 || k !== 1 || x0 !== 1)
+        return Infinity;
+    return (2 * (1 + Math.abs(v0)) * m) / b;
+}
+/** Pendulum regime: `θ0 ≤ 0.5 rad`, stated on the dimensionless input. @internal */
+const PENDULUM_REGIME = {
+    family: FAMILY,
+    inequalities: [{ group: 'theta0', op: '<=', bound: 0.5, alias: 'θ0 ≤ 0.5 rad' }],
+    groupDefinitions: deriveRegimeGroups(FAMILY, [
+        { name: 'g', dim: ACCELERATION },
+        { name: 'ell', dim: LENGTH },
+    ], ['theta0']),
+};
+/**
+ * Damped-spring regime: overdamped, `m k / b² < 1/4`.
+ *
+ * The inequality is written on the π-group, not on `ζ = ½ (m k / b²)^(−½)`,
+ * which is a derived quantity and not a group (`RegimeInequality` doc).
+ * `m k / b² < 1/4` is exactly `ζ > 1`, recorded as the display alias.
+ *
+ * @internal
+ */
+const DAMPED_REGIME = {
+    family: FAMILY,
+    inequalities: [{ group: 'm · b^-2 · k', op: '<', bound: 0.25, alias: 'ζ > 1' }],
+    groupDefinitions: deriveRegimeGroups(FAMILY, [
+        { name: 'm', dim: MASS },
+        { name: 'b', dim: DAMPING },
+        { name: 'k', dim: SPRING_CONSTANT },
+    ], []),
+};
+/**
+ * `ab-pendulum-linear` — small-angle pendulum → harmonic spring.
+ *
+ * `θ0²/16` is the leading term of the exact relative period error
+ * `(2/π) K(sin(θ0/2)) − 1`. At `θ0 = 0.2` the residual is `5.744e-6`, which
+ * the next series term `11 θ0⁴/3072 = 5.729e-6` accounts for to `1.5e-8`.
+ *
+ * `delta` is the EXACT error at the edge of the declared range, not that
+ * series term. The record previously declared `0.5²/16 = 0.0156250`, which is
+ * the series evaluated at `θ0 = 0.5` — and the exact error there is
+ * `0.0158525311`, so the declared bound was VIOLATED AT ITS OWN BOUNDARY by
+ * 1.456%. A truncated series is an approximation of the error, not a bound on
+ * it, and the sign of its omitted tail decides which. Here the tail is
+ * positive, so the series sits below what it was asked to cover.
+ *
+ * @internal
+ */
+export const AB_PENDULUM_LINEAR = {
+    id: 'ab-pendulum-linear',
+    relation: 'approximation',
+    premises: ['model-pendulum'],
+    conclusion: 'model-spring',
+    transformation: 'sin θ → θ, with x ↔ ℓ θ and ω0² = g/ℓ',
+    preserves: ['harmonic frequency ω0 to O(θ0²)', 'energy conservation', 'time-reversal symmetry'],
+    doesNotPreserve: ['the amplitude dependence of the period', 'phase over times t ≳ 16 T0/θ0²'],
+    sideConditions: ['θ0 ≤ 0.5 rad', 'the bound is a PERIOD error and is not uniform in time'],
+    bound: makeApproximation({
+        K: 1,
+        // Sup over `θ0 ≤ 0.5`: the error is strictly increasing in |θ0|, so the
+        // edge value IS the supremum. 0.0158525311014... (AGM), independently
+        // reproduced by quadrature of the complete elliptic integral.
+        delta: pendulumPeriodErrorAt({ theta0: 0.5 }),
+        deltaAt: pendulumPeriodErrorAt,
+        norm: 'relative period error',
+        domain: 'θ0 ≤ 0.5 rad',
+        horizon: 't ≪ 16 T0/θ0²; machine form t < 4 T0/θ0², the π/2-drift time',
+        // ⚠ The machine form is a QUARTER of the prose scale, and it must be.
+        // `16 T0/θ0²` is the time at which the accumulated phase drift reaches a
+        // FULL 2π (measured: 400 T0 at θ0 = 0.2, drift 6.2976 rad) — by then the
+        // approximation has lapped, so `t < 16 T0/θ0²` is not a horizon at all.
+        // The `≪` is what carries the whole claim, and `<` does not render it.
+        // `4 T0/θ0²` is the π/2-drift time, which is exactly what W7b measures
+        // independently (99.77 cycles at θ0 = 0.2). It is also what makes
+        // `horizonHolds(200 T0)` false and `horizonHolds(10 T0)` true.
+        horizonHolds: (t, params) => {
+            const { T0, theta0 } = params;
+            if (!Number.isFinite(T0) || !Number.isFinite(theta0) || theta0 === 0)
+                return false;
+            return t < (4 * T0) / theta0 ** 2;
+        },
+        parameterRange: 'θ0 ≤ 0.5 rad',
+        limitCharacter: 'regular',
+        // A period error. The record says it is not uniform in time, so time is
+        // not listed.
+        uniformity: ['one period, for θ0 in the stated domain'],
+    }),
+    regime: PENDULUM_REGIME,
+    counterexamples: [
+        {
+            description: 'the approximation is non-uniform in time: at θ0 = 0.2 the phase drift reaches π/2 ' +
+                'after ~100 cycles, however small the per-cycle error is',
+            witness: 'W7b',
+        },
+    ],
+    evidence: new Set(['numerically-supported']),
+    witnesses: [
+        {
+            id: 'W7',
+            kind: 'numeric',
+            test: TEST_FILE,
+            tolerance: 'T/T0 − 1 ∈ [0.002505, 0.002507]; residual ∈ [5.70e-6, 5.76e-6] at θ0 = 0.2',
+        },
+        {
+            id: 'W7b',
+            kind: 'numeric',
+            test: TEST_FILE,
+            tolerance: 'cycles to π/2 drift ∈ [99, 101] at θ0 = 0.2',
+        },
+        {
+            id: 'W7c',
+            kind: 'numeric',
+            test: TEST_FILE,
+            tolerance: 'RK4 zero-crossing lag within 0.05° of the elliptic prediction 89.98°',
+        },
+    ],
+    citations: [
+        'Landau & Lifshitz, Mechanics §11 (pendulum period as a complete elliptic integral)',
+        'Abramowitz & Stegun §17.6 (AGM evaluation of K)',
+    ],
+    reviewStatus: 'proposed',
+    // Phase 4 S4.6. A checked counterpart of this bridge's TRANSFORMATION — the
+    // linearized pendulum IS the harmonic oscillator with mass mℓ², spring
+    // constant mgℓ, hence ω0² = g/ℓ. It does NOT certify `bound.delta`: Physlib's
+    // period results concern `periodFormula`, which its own TODO has not yet tied
+    // to the motion. Axioms measured with `#print axioms` on a local build at
+    // this commit (positive control: a `sorry` prints `sorryAx`; none here). The probes and
+    // their gate: `formal/physlib/`, `tools/formalref-axiom-gate/`.
+    // Fidelity is earned in tests/atlas/formal-sanity.test.ts.
+    formalRef: {
+        system: 'lean4-physlib',
+        statement: 'ClassicalMechanics.SimplePendulum.linearizedEquationOfMotion_iff: for a smooth lift θ, ' +
+            'θ̈ + ω²θ = 0 iff θ solves the equation of motion of toHarmonicOscillator (mass mℓ², ' +
+            'spring constant mgℓ); with toHarmonicOscillator_ω, ω = √(g/ℓ)',
+        version: 'physlib@5ad56e24de155462acd8478458292347393d5908 lean4:v4.34.0',
+        axioms: ['propext', 'Classical.choice', 'Quot.sound'],
+        fidelity: 'sanity-lemmas',
+    },
+};
+/**
+ * `ab-damped-massless` — the SINGULAR `m → 0` limit of the damped spring.
+ *
+ * `deltaAt = 2(1 + |v0|) m/b` bounds the position offset outside the boundary
+ * layer, and `delta` is its supremum over the declared range rather than its
+ * value at one fixture. The lost initial condition is visible in the VELOCITY: inside the
+ * layer the reduced model's `x'` is wrong by O(1/m·…), and it is only after
+ * `t ≈ 5 m/b` that the fast mode has decayed.
+ *
+ * @internal
+ */
+export const AB_DAMPED_MASSLESS = {
+    id: 'ab-damped-massless',
+    relation: 'approximation',
+    premises: ['model-damped-spring'],
+    conclusion: 'model-first-order',
+    transformation: 'm → 0, dropping the m x″ term',
+    preserves: ['the slow relaxation rate k/b to O(m)', 'the sign and monotonicity of the decay'],
+    doesNotPreserve: [
+        'the order of the system (two → one)',
+        "the initial condition x'(0), which the reduced model cannot satisfy",
+        'the fast mode r ≈ −b/m',
+    ],
+    sideConditions: [
+        'overdamped: m k / b² < 1/4',
+        'the bound holds only outside the boundary layer, t ≥ 5 m/b',
+    ],
+    bound: makeApproximation({
+        K: 1,
+        // Sup over the DECLARED range, not the fixture. `2(1+|v0|)m/b` increases
+        // in both m and |v0|, and the declared range is `m k/b² < 1/4` with
+        // `|v0| ≤ 5`; at the witness normalisation `b = k = 1` that is `m < 1/4`,
+        // so the supremum is `2·(1+5)·(1/4) = 3`, approached at the open edge and
+        // not attained. The record previously declared `2·(1+5)·1e-3 = 0.012`,
+        // the same formula frozen at the ONE fixture mass `m = 1e-3` — true error
+        // there is 5.96e-3, but at m = 0.24 it is 5.19e-1, forty times the
+        // declared bound.
+        delta: dampedOffsetBoundAt({ m: 0.25, b: 1, k: 1, x0: 1, v0: 5 }),
+        deltaAt: dampedOffsetBoundAt,
+        norm: 'sup |x − x_reduced| for t ≥ 5 m/b',
+        domain: 't ≥ 5 m/b, overdamped, at the witness normalisation b = k = 1',
+        horizon: 't ≥ 5 m/b (outside the boundary layer)',
+        horizonHolds: (t, params) => {
+            const { m, b } = params;
+            if (!Number.isFinite(m) || !Number.isFinite(b) || b === 0)
+                return false;
+            return t >= (5 * m) / b;
+        },
+        parameterRange: 'm k / b² < 1/4, |v0| ≤ 5; with b = k = 1 this is m < 1/4',
+        limitCharacter: 'singular',
+        uniformity: [
+            't ≥ 5 m/b, overdamped, at the witness normalisation b = k = 1',
+            'm k / b² < 1/4, |v0| ≤ 5',
+        ],
+    }),
+    regime: DAMPED_REGIME,
+    counterexamples: [
+        {
+            description: "inside the boundary layer the reduced model's velocity is wrong by O(1): at " +
+                "t = 0.5 m/b with v0 = 5 the velocity error is 3.6, against x'_red = −1",
+            witness: 'W8b',
+        },
+    ],
+    evidence: new Set(['numerically-supported']),
+    witnesses: [
+        {
+            id: 'W8',
+            kind: 'numeric',
+            test: TEST_FILE,
+            tolerance: '|r_slow + k/b| < 2m and |r_fast·m + b| < 2m for m ∈ {1e-1, 1e-2, 1e-3}',
+        },
+        {
+            id: 'W8b',
+            kind: 'numeric',
+            test: TEST_FILE,
+            tolerance: "|x_full − x_red| < 2(1+v0)·m for t ≥ 5 m/b; |x'| error > 1 at 0.5 m/b and < 0.05 at 5 m/b",
+        },
+    ],
+    citations: [
+        "Kevorkian & Cole, Multiple Scale and Singular Perturbation Methods §2 (Tikhonov's theorem)",
+        'Verhulst, Methods and Applications of Singular Perturbations §8 (boundary layers)',
+    ],
+    reviewStatus: 'proposed',
+};
+/** The two approximation bridges of this module, in design-note order. @internal */
+export const LIMIT_BRIDGES = [AB_PENDULUM_LINEAR, AB_DAMPED_MASSLESS];
+/**
+ * The two approximation bridges re-registered through `RelationContract`.
+ *
+ * The union REQUIRES `bound` on an `approximation`, and `ApproximationBound`
+ * requires its own machine `horizonHolds`, so these two lines are what turn
+ * Sprint 0's doc-comment requirement into a compile-and-throw one. Both bounds
+ * are the records' own, measured ones — nothing is restated here.
+ *
+ * @internal
+ */
+export const CONTRACT_PENDULUM_LINEAR = relationContractOf(AB_PENDULUM_LINEAR);
+/** @internal */
+export const CONTRACT_DAMPED_MASSLESS = relationContractOf(AB_DAMPED_MASSLESS);
+/** The two limit contracts, in design-note order. @internal */
+export const LIMIT_CONTRACTS = [
+    CONTRACT_PENDULUM_LINEAR,
+    CONTRACT_DAMPED_MASSLESS,
+];
+//# sourceMappingURL=bridges-limits.js.map

package/dist/atlas/oscillators/bridges-limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-limits.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/bridges-limits.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAExE,MAAM,MAAM,GAAG,aAAa,CAAC;AAC7B,MAAM,SAAS,GAAG,wCAAwC,CAAC;AAE3D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAyB;IACzD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,SAAS,GAAG,CAAC,EAAU,EAAE,EAAU;IACjC,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAwC;IAC5E,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAC7E,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAwC;IAC1E,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC;IACnC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,oFAAoF;AACpF,MAAM,eAAe,GAAW;IAC9B,MAAM,EAAE,MAAM;IACd,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAChF,gBAAgB,EAAE,kBAAkB,CAClC,MAAM,EACN;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;QAChC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7B,EACD,CAAC,QAAQ,CAAC,CACX;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAW;IAC5B,MAAM,EAAE,MAAM;IACd,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC/E,gBAAgB,EAAE,kBAAkB,CAClC,MAAM,EACN;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;KACpC,EACD,EAAE,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,oBAAoB;IACxB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,gBAAgB,CAAC;IAC5B,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,uCAAuC;IACvD,SAAS,EAAE,CAAC,iCAAiC,EAAE,qBAAqB,EAAE,wBAAwB,CAAC;IAC/F,eAAe,EAAE,CAAC,wCAAwC,EAAE,gCAAgC,CAAC;IAC7F,cAAc,EAAE,CAAC,cAAc,EAAE,wDAAwD,CAAC;IAC1F,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,wEAAwE;QACxE,sEAAsE;QACtE,8DAA8D;QAC9D,KAAK,EAAE,qBAAqB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC7C,OAAO,EAAE,qBAAqB;QAC9B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,cAAc;QACtB,OAAO,EAAE,8DAA8D;QACvE,sEAAsE;QACtE,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,uEAAuE;QACvE,uEAAuE;QACvE,kEAAkE;QAClE,+DAA+D;QAC/D,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC1B,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACnF,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,cAAc,EAAE,cAAc;QAC9B,cAAc,EAAE,SAAS;QACzB,wEAAwE;QACxE,cAAc;QACd,UAAU,EAAE,CAAC,yCAAyC,CAAC;KACxD,CAAC;IACF,MAAM,EAAE,eAAe;IACvB,eAAe,EAAE;QACf;YACE,WAAW,EACT,oFAAoF;gBACpF,yDAAyD;YAC3D,OAAO,EAAE,KAAK;SACf;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC;IAC5C,SAAS,EAAE;QACT;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,4EAA4E;SACxF;QACD;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,6CAA6C;SACzD;QACD;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,sEAAsE;SAClF;KACF;IACD,SAAS,EAAE;QACT,oFAAoF;QACpF,iDAAiD;KAClD;IACD,YAAY,EAAE,UAAU;IACxB,4EAA4E;IAC5E,uEAAuE;IACvE,8EAA8E;IAC9E,8EAA8E;IAC9E,0EAA0E;IAC1E,wFAAwF;IACxF,gEAAgE;IAChE,2DAA2D;IAC3D,SAAS,EAAE;QACT,MAAM,EAAE,eAAe;QACvB,SAAS,EACP,yFAAyF;YACzF,sFAAsF;YACtF,+DAA+D;QACjE,OAAO,EAAE,gEAAgE;QACzE,MAAM,EAAE,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAC;QACrD,QAAQ,EAAE,eAAe;KAC1B;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,oBAAoB;IACxB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,qBAAqB,CAAC;IACjC,UAAU,EAAE,mBAAmB;IAC/B,cAAc,EAAE,+BAA+B;IAC/C,SAAS,EAAE,CAAC,sCAAsC,EAAE,wCAAwC,CAAC;IAC7F,eAAe,EAAE;QACf,qCAAqC;QACrC,qEAAqE;QACrE,wBAAwB;KACzB;IACD,cAAc,EAAE;QACd,4BAA4B;QAC5B,4DAA4D;KAC7D;IACD,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,yEAAyE;QACzE,oEAAoE;QACpE,0EAA0E;QAC1E,0EAA0E;QAC1E,uEAAuE;QACvE,0EAA0E;QAC1E,mEAAmE;QACnE,kBAAkB;QAClB,KAAK,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,mBAAmB;QAC5B,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,+DAA+D;QACvE,OAAO,EAAE,wCAAwC;QACjD,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC1B,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QACD,cAAc,EAAE,0DAA0D;QAC1E,cAAc,EAAE,UAAU;QAC1B,UAAU,EAAE;YACV,+DAA+D;YAC/D,0BAA0B;SAC3B;KACF,CAAC;IACF,MAAM,EAAE,aAAa;IACrB,eAAe,EAAE;QACf;YACE,WAAW,EACT,8EAA8E;gBAC9E,wEAAwE;YAC1E,OAAO,EAAE,KAAK;SACf;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC;IAC5C,SAAS,EAAE;QACT;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,wEAAwE;SACpF;QACD;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,SAAS,EACP,2FAA2F;SAC9F;KACF;IACD,SAAS,EAAE;QACT,4FAA4F;QAC5F,mFAAmF;KACpF;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,oFAAoF;AACpF,MAAM,CAAC,MAAM,aAAa,GAA2B,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAE9F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GACnC,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;AAEzC,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GACnC,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;AAEzC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D,wBAAwB;IACxB,wBAAwB;CACzB,CAAC"}

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

@@ -0,0 +1,34 @@
+/**
+ * Dimension constants the oscillator pilot needs that the canonical entry
+ * files declare MODULE-LOCAL and do not export.
+ *
+ * They are redefined here with the same `dim(...)` arguments, quoted from
+ * source in design note §10 Q2. `tests/atlas/models.test.ts` asserts the
+ * values, so a future divergence in an entry file fails a test.
+ *
+ * `FREQUENCY`, `MASS`, `LENGTH`, `VELOCITY` and `ACCELERATION` are importable
+ * from `src/dimensional/types.ts` and are NOT redefined here.
+ *
+ * @module atlas/oscillators/dimensions
+ */
+import type { Dimension } from '../../dimensional/types.js';
+/** farad, `L^-2 M^-1 T^4 I^2` — `src/canonical/entries/electromagnetism.ts:42`. @internal */
+export declare const CAPACITANCE: Dimension;
+/** henry, `L^2 M T^-2 I^-2` — `src/canonical/entries/electromagnetism.ts:43`. @internal */
+export declare const INDUCTANCE: Dimension;
+/** ohm, `L^2 M T^-3 I^-2` — `src/canonical/entries/electromagnetism.ts:40`. @internal */
+export declare const RESISTANCE: Dimension;
+/**
+ * `M T^-2` — defined TWICE, identically, at
+ * `src/canonical/entries/mechanics.ts:35` and
+ * `src/canonical/entries/fluids-waves.ts:48`. One definition here; the test
+ * asserts agreement with both.
+ *
+ * @internal
+ */
+export declare const SPRING_CONSTANT: Dimension;
+/** `M T^-1` — the `b` of `m x'' + b x' + k x = 0`. @internal */
+export declare const DAMPING: Dimension;
+/** `M L^-2 T^-2` — the `β` of `m x'' + k x + β x³ = 0`. @internal */
+export declare const CUBIC_STIFFNESS: Dimension;
+//# sourceMappingURL=dimensions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dimensions.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/dimensions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,6FAA6F;AAC7F,eAAO,MAAM,WAAW,EAAE,SAA6B,CAAC;AAExD,2FAA2F;AAC3F,eAAO,MAAM,UAAU,EAAE,SAA6B,CAAC;AAEvD,yFAAyF;AACzF,eAAO,MAAM,UAAU,EAAE,SAA6B,CAAC;AAEvD;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,EAAE,SAAyB,CAAC;AAExD,gEAAgE;AAChE,eAAO,MAAM,OAAO,EAAE,SAAyB,CAAC;AAEhD,qEAAqE;AACrE,eAAO,MAAM,eAAe,EAAE,SAA0B,CAAC"}

package/dist/atlas/oscillators/dimensions.js

@@ -0,0 +1,34 @@
+/**
+ * Dimension constants the oscillator pilot needs that the canonical entry
+ * files declare MODULE-LOCAL and do not export.
+ *
+ * They are redefined here with the same `dim(...)` arguments, quoted from
+ * source in design note §10 Q2. `tests/atlas/models.test.ts` asserts the
+ * values, so a future divergence in an entry file fails a test.
+ *
+ * `FREQUENCY`, `MASS`, `LENGTH`, `VELOCITY` and `ACCELERATION` are importable
+ * from `src/dimensional/types.ts` and are NOT redefined here.
+ *
+ * @module atlas/oscillators/dimensions
+ */
+import { dim } from '../../dimensional/ast-builders.js';
+/** farad, `L^-2 M^-1 T^4 I^2` — `src/canonical/entries/electromagnetism.ts:42`. @internal */
+export const CAPACITANCE = dim(-2, -1, 4, 2);
+/** henry, `L^2 M T^-2 I^-2` — `src/canonical/entries/electromagnetism.ts:43`. @internal */
+export const INDUCTANCE = dim(2, 1, -2, -2);
+/** ohm, `L^2 M T^-3 I^-2` — `src/canonical/entries/electromagnetism.ts:40`. @internal */
+export const RESISTANCE = dim(2, 1, -3, -2);
+/**
+ * `M T^-2` — defined TWICE, identically, at
+ * `src/canonical/entries/mechanics.ts:35` and
+ * `src/canonical/entries/fluids-waves.ts:48`. One definition here; the test
+ * asserts agreement with both.
+ *
+ * @internal
+ */
+export const SPRING_CONSTANT = dim(0, 1, -2);
+/** `M T^-1` — the `b` of `m x'' + b x' + k x = 0`. @internal */
+export const DAMPING = dim(0, 1, -1);
+/** `M L^-2 T^-2` — the `β` of `m x'' + k x + β x³ = 0`. @internal */
+export const CUBIC_STIFFNESS = dim(-2, 1, -2);
+//# sourceMappingURL=dimensions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dimensions.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/dimensions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAGxD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,WAAW,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAExD,2FAA2F;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvD,yFAAyF;AACzF,MAAM,CAAC,MAAM,UAAU,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAExD,gEAAgE;AAChE,MAAM,CAAC,MAAM,OAAO,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEhD,qEAAqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,38 @@
+/**
+ * Oscillator-family assembly (Atlas Phase 0, S0.6).
+ *
+ * Collects the W1/W2 records — the nine models, the five bridges and the one
+ * rejection — into the single value the JSON projection serializes. Assembly
+ * only: this module defines no physics and no numbers of its own, so a change
+ * to a bridge is a change in ONE place.
+ *
+ * The design note calls this file `family.ts` (§1 layout); the S0.6 brief
+ * places it at `oscillators/index.ts`. The brief is followed, because the
+ * package's `exports` map and every other barrel in this tree use `index.ts`.
+ *
+ * @module atlas/oscillators
+ */
+import type { AtlasBridge, AtlasRejection } from '../types.js';
+import type { AtlasModel } from '../model.js';
+/**
+ * One atlas family: its models, the bridges between them, and the claimed
+ * bridges that were refuted. A rejection is evidence, not an omission, so it
+ * travels with the family rather than being dropped.
+ *
+ * @internal
+ */
+export interface AtlasFamily {
+    /** `'oscillators'`. */
+    readonly family: string;
+    readonly models: readonly AtlasModel[];
+    readonly bridges: readonly AtlasBridge[];
+    readonly rejections: readonly AtlasRejection[];
+}
+/**
+ * The oscillator pilot family, in design-note order: the two exact
+ * equivalences, the two approximations, then the coarse-graining.
+ *
+ * @internal
+ */
+export declare const OSCILLATOR_FAMILY: AtlasFamily;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/atlas/oscillators/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAO9C;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;CAChD;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAU/B,CAAC"}

package/dist/atlas/oscillators/index.js

@@ -0,0 +1,37 @@
+/**
+ * Oscillator-family assembly (Atlas Phase 0, S0.6).
+ *
+ * Collects the W1/W2 records — the nine models, the five bridges and the one
+ * rejection — into the single value the JSON projection serializes. Assembly
+ * only: this module defines no physics and no numbers of its own, so a change
+ * to a bridge is a change in ONE place.
+ *
+ * The design note calls this file `family.ts` (§1 layout); the S0.6 brief
+ * places it at `oscillators/index.ts`. The brief is followed, because the
+ * package's `exports` map and every other barrel in this tree use `index.ts`.
+ *
+ * @module atlas/oscillators
+ */
+import { ATLAS_MODELS } from './models.js';
+import { BRIDGE_SPRING_LC, BRIDGE_DAMPED_RLC } from './bridges-exact.js';
+import { LIMIT_BRIDGES } from './bridges-limits.js';
+import { BRIDGE_CHAIN_WAVE } from './bridges-coarse.js';
+import { ATLAS_REJECTIONS } from './rejections.js';
+/**
+ * The oscillator pilot family, in design-note order: the two exact
+ * equivalences, the two approximations, then the coarse-graining.
+ *
+ * @internal
+ */
+export const OSCILLATOR_FAMILY = {
+    family: 'oscillators',
+    models: ATLAS_MODELS,
+    bridges: [
+        BRIDGE_SPRING_LC,
+        BRIDGE_DAMPED_RLC,
+        ...LIMIT_BRIDGES,
+        BRIDGE_CHAIN_WAVE,
+    ],
+    rejections: ATLAS_REJECTIONS,
+};
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/atlas/oscillators/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAiBnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAgB;IAC5C,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE;QACP,gBAAgB;QAChB,iBAAiB;QACjB,GAAG,aAAa;QAChB,iBAAiB;KAClB;IACD,UAAU,EAAE,gBAAgB;CAC7B,CAAC"}