universal-physics-tensor 0.45.2 → 0.47.0

package/dist/atlas/waves/bridges-closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-closure.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE9E,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAE3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAEnC,MAAM,MAAM,GAAG,CACb,UAAuD,EACvD,YAAmD,EAC5B,EAAE,CAAC,CAAC;IAC3B,MAAM,EAAE,iBAAiB;IACzB,YAAY;IACZ,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,UAAU,EAAE,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,wBAAwB;IACpC,cAAc,EACZ,wGAAwG;IAC1G,SAAS,EAAE,CAAC,yCAAyC,EAAE,WAAW,CAAC;IACnE,eAAe,EAAE;QACf,oCAAoC;QACpC,+BAA+B;QAC/B,kCAAkC;KACnC;IACD,cAAc,EAAE,CAAC,yCAAyC,EAAE,qDAAqD,CAAC;IAClH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,sBAAsB,CAAC,WAAW,CAAC;QAC1C,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;YACb,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;YAClF,OAAO,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAClD,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,8FAA8F;QACpG,MAAM,EAAE,iBAAiB;QACzB,OAAO,EACL,oFAAoF;QACtF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC;YAC3B,MAAM,KAAK,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,cAAc,EAAE,iBAAiB;QACjC,cAAc,EAAE,SAAS;QACzB,gEAAgE;QAChE,UAAU,EAAE,CAAC,oDAAoD,CAAC;KACnE,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;QAC9B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;KACzB,EACD,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CACrF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,2FAA2F;gBAC3F,4BAA4B;YAC9B,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4EAA4E;SACxF;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2EAA2E;SACvF;KACF;IACD,SAAS,EAAE;QACT,2HAA2H;KAC5H;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAgB;IAC/C,EAAE,EAAE,kBAAkB;IACtB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,iDAAiD;IACjE,SAAS,EAAE,CAAC,wBAAwB,EAAE,kBAAkB,CAAC;IACzD,eAAe,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,CAAC;IAC/D,cAAc,EAAE,CAAC,gCAAgC,EAAE,mDAAmD,CAAC;IACvG,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;QAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,eAAe,EAAE;KACpC,EACD,EAAE,CACH;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,8FAA8F;SAC1G;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE,iBAAiB;IACrB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,mDAAmD;IACnE,SAAS,EAAE,CAAC,4CAA4C,EAAE,2BAA2B,CAAC;IACtF,eAAe,EAAE,CAAC,0DAA0D,EAAE,sCAAsC,CAAC;IACrH,cAAc,EAAE,CAAC,mBAAmB,EAAE,0DAA0D,CAAC;IACjG,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CACb,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;QAC1F,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,mBAAmB;QAC3B,OAAO,EACL,iFAAiF;QACnF,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7F,MAAM,KAAK,GAAG,qBAAqB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,2DAA2D,CAAC;KAC1E,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;QACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACtC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;KAC/B;IACD,sEAAsE;IACtE,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CACjG;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,uFAAuF;YACzF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,yFAAyF;SACrG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,sCAAsC;SAClD;KACF;IACD,SAAS,EAAE;QACT,oGAAoG;KACrG;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAA2B;IAC1D,qBAAqB;IACrB,oBAAoB;IACpB,mBAAmB;CACpB,CAAC"}

package/dist/atlas/waves/bridges.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Atlas Phase 4, S4.5 — the four bridges of the wave family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * | Bridge | Relation | Premises | Witnesses |
+ * |---|---|---|---|
+ * | string → 1-D wave | `restriction` | 1 | WS1 (convergence) |
+ * | 1-D wave → d'Alembert | `derivation` | 1 | WS2 (convergence) |
+ * | Euler + adiabatic EOS → sound | `derivation` | **2 (hyperedge)** | WS3 (convergence), WS3b (Newton) |
+ * | Klein–Gordon → 1-D wave | `approximation` | 1 | WS4 (convergence), WS4b (long waves) |
+ *
+ * The chain → wave coarse-graining the plan also lists already exists in the
+ * oscillator family (`ab-chain-wave`) and is not duplicated.
+ *
+ * @module atlas/waves/bridges
+ */
+import type { AtlasBridge } from '../types.js';
+/** The perturbation ceiling of the sound derivation: `p₁/p₀ ≤ 1/100`. @internal */
+export declare const SOUND_MAX_PERTURBATION = 0.01;
+/** The dispersion-free domain edge: `ω₀/(c k) ≤ 0.1`. @internal */
+export declare const KG_MAX_DISPERSION_RATIO = 0.1;
+/** Bridge: string → 1-D wave equation, a restriction with c² = F/μ. @internal */
+export declare const BRIDGE_STRING_WAVE: AtlasBridge;
+/** Bridge: 1-D wave equation → d'Alembert's general solution. @internal */
+export declare const BRIDGE_WAVE_DALEMBERT: AtlasBridge;
+/**
+ * Bridge: linearized Euler + adiabatic EOS → the acoustic wave equation.
+ *
+ * A HYPEREDGE: neither premise alone yields sound. The Euler pair has no
+ * closure from ρ′ to p′, and the equation of state has no dynamics.
+ *
+ * @internal
+ */
+export declare const BRIDGE_SOUND_SPEED: AtlasBridge;
+/**
+ * Bridge: Klein–Gordon → 1-D wave, the dispersion-free limit ω₀/(ck) → 0.
+ *
+ * `delta` is the EXACT relative phase-velocity error at the domain edge, not a
+ * series term: {@link kleinGordonPhaseError} is increasing in ω₀/(ck), so its
+ * edge value is the supremum. The pendulum record learned the hard way that a
+ * truncated series can sit BELOW the error it claims to bound.
+ *
+ * @internal
+ */
+export declare const BRIDGE_KLEIN_GORDON_WAVE: AtlasBridge;
+/** The wave family's bridges, in design-note order. @internal */
+export declare const WAVE_BRIDGES: readonly AtlasBridge[];
+//# sourceMappingURL=bridges.d.ts.map

package/dist/atlas/waves/bridges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAMH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,mFAAmF;AACnF,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,mEAAmE;AACnE,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,iFAAiF;AACjF,eAAO,MAAM,kBAAkB,EAAE,WAwChC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,qBAAqB,EAAE,WA+BnC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAoEhC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,WAmFtC,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAK9C,CAAC"}

package/dist/atlas/waves/bridges.js

@@ -0,0 +1,266 @@
+/**
+ * Atlas Phase 4, S4.5 — the four bridges of the wave family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * | Bridge | Relation | Premises | Witnesses |
+ * |---|---|---|---|
+ * | string → 1-D wave | `restriction` | 1 | WS1 (convergence) |
+ * | 1-D wave → d'Alembert | `derivation` | 1 | WS2 (convergence) |
+ * | Euler + adiabatic EOS → sound | `derivation` | **2 (hyperedge)** | WS3 (convergence), WS3b (Newton) |
+ * | Klein–Gordon → 1-D wave | `approximation` | 1 | WS4 (convergence), WS4b (long waves) |
+ *
+ * The chain → wave coarse-graining the plan also lists already exists in the
+ * oscillator family (`ab-chain-wave`) and is not duplicated.
+ *
+ * @module atlas/waves/bridges
+ */
+import { FORCE, FREQUENCY, VELOCITY } from '../../dimensional/types.js';
+import { DENSITY } from '../diffusion/dimensions.js';
+import { makeApproximation } from '../oscillators/bridges-limits.js';
+import { deriveRegimeGroups } from '../regime.js';
+import { LINEAR_DENSITY, PRESSURE, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';
+import { kleinGordonPhaseError } from './numerics.js';
+const TEST = 'tests/atlas/waves.test.ts';
+/** The perturbation ceiling of the sound derivation: `p₁/p₀ ≤ 1/100`. @internal */
+export const SOUND_MAX_PERTURBATION = 0.01;
+/** The dispersion-free domain edge: `ω₀/(c k) ≤ 0.1`. @internal */
+export const KG_MAX_DISPERSION_RATIO = 0.1;
+/** Bridge: string → 1-D wave equation, a restriction with c² = F/μ. @internal */
+export const BRIDGE_STRING_WAVE = {
+    id: 'ab-string-wave',
+    relation: 'restriction',
+    premises: ['model-string'],
+    conclusion: 'model-wave-1d',
+    transformation: 'y ↦ u, with c² = F/μ',
+    preserves: ['the solution operator for small slopes', 'normal-mode frequencies nπc/ℓ'],
+    doesNotPreserve: [
+        'the separate values of F and μ — only F/μ survives',
+        'the transverse geometry: the wave equation does not know u is a displacement',
+    ],
+    sideConditions: ['small slopes |y_x| ≪ 1', 'uniform tension and density', 'perfectly flexible'],
+    regime: {
+        family: WAVES_FAMILY_NAME,
+        inequalities: [],
+        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
+            { name: 'F', dim: FORCE },
+            { name: 'mu', dim: LINEAR_DENSITY },
+            { name: 'c', dim: VELOCITY },
+        ], []),
+    },
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS1',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'leapfrog string solution at the midpoint within 2e-4 of sin(πx)cos(πct), c = √(F/μ), at 80 cells',
+        },
+    ],
+    citations: [
+        'Morse & Ingard, Theoretical Acoustics - the flexible string and its wave equation with c² = T/ρ',
+    ],
+    reviewStatus: 'proposed',
+};
+/** Bridge: 1-D wave equation → d'Alembert's general solution. @internal */
+export const BRIDGE_WAVE_DALEMBERT = {
+    id: 'ab-wave-dalembert',
+    relation: 'derivation',
+    premises: ['model-wave-1d'],
+    conclusion: 'model-dalembert',
+    transformation: 'characteristics ξ = x − ct, η = x + ct turn u_tt = c²u_xx into u_ξη = 0',
+    preserves: ['every C² solution on the whole line', 'the speed c'],
+    doesNotPreserve: [
+        'boundary conditions: on a bounded domain f and g are fixed only up to reflections',
+    ],
+    sideConditions: ['infinite line, or boundaries handled by the method of images', 'u ∈ C²'],
+    regime: {
+        family: WAVES_FAMILY_NAME,
+        inequalities: [],
+        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [{ name: 'c', dim: VELOCITY }], []),
+    },
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS2',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'finite-difference residual |u_tt − c²u_xx| below 2e-3 at h = 0.0125',
+        },
+    ],
+    citations: [
+        "d'Alembert, Recherches sur la courbe que forme une corde tendue mise en vibration (1747)",
+        'Strauss, Partial Differential Equations: An Introduction - §2.1, the wave equation on the line',
+    ],
+    reviewStatus: 'proposed',
+};
+/**
+ * Bridge: linearized Euler + adiabatic EOS → the acoustic wave equation.
+ *
+ * A HYPEREDGE: neither premise alone yields sound. The Euler pair has no
+ * closure from ρ′ to p′, and the equation of state has no dynamics.
+ *
+ * @internal
+ */
+export const BRIDGE_SOUND_SPEED = {
+    id: 'ab-sound-speed',
+    relation: 'derivation',
+    premises: ['model-euler-linear', 'model-adiabatic-eos'],
+    conclusion: 'model-sound',
+    transformation: 'close the Euler pair with p′ = (dp/dρ)|ρ₀ ρ′ = (γp₀/ρ₀) ρ′, then eliminate v: p′_tt = (γp₀/ρ₀) p′_xx',
+    preserves: ['linearity', 'the sound speed c_s² = γp₀/ρ₀'],
+    doesNotPreserve: [
+        'nonlinear steepening and shocks at finite amplitude',
+        'viscous and thermal attenuation',
+    ],
+    sideConditions: [
+        'small perturbations: |p′| ≪ p₀',
+        'adiabatic compression (no heat exchange within a wavelength)',
+        'fluid at rest, no ambient flow',
+    ],
+    regime: {
+        family: WAVES_FAMILY_NAME,
+        inequalities: [
+            {
+                group: 'p0 · p1^-1',
+                op: '>=',
+                bound: 1 / SOUND_MAX_PERTURBATION,
+                alias: '|p′| ≪ p₀ (machine form p₀/p₁ ≥ 100)',
+            },
+        ],
+        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
+            { name: 'rho0', dim: DENSITY },
+            { name: 'p0', dim: PRESSURE },
+            { name: 'p1', dim: PRESSURE },
+            { name: 'c', dim: VELOCITY },
+        ], ['gamma']),
+    },
+    counterexamples: [
+        {
+            description: 'The adiabatic premise is necessary. Closing the same Euler pair ISOTHERMALLY (Newton) ' +
+                'gives √(p₀/ρ₀) = 290.1 m/s for air at 20 °C, 15% below the measured ≈343 m/s; the ' +
+                'adiabatic closure gives 343.2 m/s.',
+            witness: 'WS3b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS3',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'staggered Euler + adiabatic-closure solution within 2e-4 of the sound model’s sin(2πx)cos(2πc_s t) at 128 cells',
+        },
+        {
+            id: 'WS3b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'air, 101325 Pa, 1.204 kg/m³, γ = 1.4: adiabatic 343.25 m/s, isothermal 290.10 m/s',
+        },
+    ],
+    citations: [
+        'Laplace, Ann. Chim. Phys. 3 (1816) 238 - the adiabatic correction to Newton’s speed of sound',
+        'Landau & Lifshitz, Fluid Mechanics §64 - sound waves from the linearized equations of motion',
+    ],
+    reviewStatus: 'proposed',
+};
+/**
+ * Bridge: Klein–Gordon → 1-D wave, the dispersion-free limit ω₀/(ck) → 0.
+ *
+ * `delta` is the EXACT relative phase-velocity error at the domain edge, not a
+ * series term: {@link kleinGordonPhaseError} is increasing in ω₀/(ck), so its
+ * edge value is the supremum. The pendulum record learned the hard way that a
+ * truncated series can sit BELOW the error it claims to bound.
+ *
+ * @internal
+ */
+export const BRIDGE_KLEIN_GORDON_WAVE = {
+    id: 'ab-klein-gordon-wave',
+    relation: 'approximation',
+    premises: ['model-klein-gordon'],
+    conclusion: 'model-wave-1d',
+    transformation: 'drop the mass term ω₀²u; ω(k) = √(c²k² + ω₀²) → ck',
+    preserves: ['the wave speed c for short wavelengths', 'linearity'],
+    doesNotPreserve: [
+        'dispersion: wave packets spread under Klein–Gordon and not under the wave equation',
+        'the gap: Klein–Gordon has no mode below ω₀',
+    ],
+    sideConditions: ['short wavelengths: ω₀/(ck) ≤ 0.1', 'the bound is a PHASE-VELOCITY error, not uniform in time'],
+    bound: makeApproximation({
+        K: 1,
+        delta: kleinGordonPhaseError(KG_MAX_DISPERSION_RATIO, 1, 1),
+        deltaAt: (params) => {
+            const { omega0, c, k } = params;
+            return kleinGordonPhaseError(omega0 ?? Number.NaN, c ?? Number.NaN, k ?? Number.NaN);
+        },
+        deltaAtBasis: 'closed-form',
+        norm: 'relative phase-velocity error of a Fourier mode, normalized by the value of the reduced model',
+        domain: 'ω₀/(c k) ≤ 0.1',
+        horizon: 't ≪ π/(2 c k δ): the phase drift reaches π/2; machine form t < π/(2 c k δ(ω₀, c, k))',
+        horizonHolds: (t, params) => {
+            const { omega0, c, k } = params;
+            if (omega0 === undefined || c === undefined || k === undefined)
+                return false;
+            const delta = kleinGordonPhaseError(omega0, c, k);
+            if (!Number.isFinite(delta) || delta <= 0)
+                return delta === 0;
+            return t < Math.PI / (2 * c * k * delta);
+        },
+        parameterRange: 'ω₀/(c k) ≤ 0.1',
+        limitCharacter: 'regular',
+        // A phase-velocity error. The record says it is not uniform in time.
+        uniformity: ['phase velocity of one Fourier mode, for ω₀/(ck) ≤ 0.1'],
+    }),
+    regime: {
+        family: WAVES_FAMILY_NAME,
+        inequalities: [
+            {
+                group: 'c · omega0^-1 · k',
+                op: '>=',
+                bound: 1 / KG_MAX_DISPERSION_RATIO,
+                alias: 'ω₀/(c k) ≤ 0.1',
+            },
+        ],
+        groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, [
+            { name: 'c', dim: VELOCITY },
+            { name: 'omega0', dim: FREQUENCY },
+            { name: 'k', dim: WAVENUMBER },
+        ], []),
+    },
+    counterexamples: [
+        {
+            description: 'At ω₀/(c k) = 1 the phase velocity is √2 c: a 41% error. The dispersion-free limit is a ' +
+                'short-wavelength statement and fails for the long waves the domain excludes.',
+            witness: 'WS4b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS4',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'phase velocity within 2e-3 of c at k = 20 (ω₀ = c = 1); error falls ≈4× per doubling of k',
+        },
+        {
+            id: 'WS4b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'relative phase error √2 − 1 at ω₀/(ck) = 1',
+        },
+    ],
+    citations: [
+        'Whitham, Linear and Nonlinear Waves - §11.1, dispersive waves and the Klein-Gordon equation',
+    ],
+    reviewStatus: 'proposed',
+};
+/** The wave family's bridges, in design-note order. @internal */
+export const WAVE_BRIDGES = [
+    BRIDGE_STRING_WAVE,
+    BRIDGE_WAVE_DALEMBERT,
+    BRIDGE_SOUND_SPEED,
+    BRIDGE_KLEIN_GORDON_WAVE,
+];
+//# sourceMappingURL=bridges.js.map

package/dist/atlas/waves/bridges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bridges.js","sourceRoot":"","sources":["../../../src/atlas/waves/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,IAAI,GAAG,2BAA2B,CAAC;AAEzC,mFAAmF;AACnF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,mEAAmE;AACnE,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C,iFAAiF;AACjF,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,cAAc,CAAC;IAC1B,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,sBAAsB;IACtC,SAAS,EAAE,CAAC,wCAAwC,EAAE,+BAA+B,CAAC;IACtF,eAAe,EAAE;QACf,oDAAoD;QACpD,8EAA8E;KAC/E;IACD,cAAc,EAAE,CAAC,wBAAwB,EAAE,6BAA6B,EAAE,oBAAoB,CAAC;IAC/F,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;YACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC7B,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,kGAAkG;SACrG;KACF;IACD,SAAS,EAAE;QACT,iGAAiG;KAClG;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,eAAe,CAAC;IAC3B,UAAU,EAAE,iBAAiB;IAC7B,cAAc,EAAE,yEAAyE;IACzF,SAAS,EAAE,CAAC,qCAAqC,EAAE,aAAa,CAAC;IACjE,eAAe,EAAE;QACf,mFAAmF;KACpF;IACD,cAAc,EAAE,CAAC,8DAA8D,EAAE,QAAQ,CAAC;IAC1F,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;KAC5F;IACD,eAAe,EAAE,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,qEAAqE;SACjF;KACF;IACD,SAAS,EAAE;QACT,0FAA0F;QAC1F,gGAAgG;KACjG;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IACvD,UAAU,EAAE,aAAa;IACzB,cAAc,EACZ,sGAAsG;IACxG,SAAS,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;IACzD,eAAe,EAAE;QACf,qDAAqD;QACrD,iCAAiC;KAClC;IACD,cAAc,EAAE;QACd,gCAAgC;QAChC,8DAA8D;QAC9D,gCAAgC;KACjC;IACD,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,YAAY;gBACnB,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,CAAC,GAAG,sBAAsB;gBACjC,KAAK,EAAE,sCAAsC;aAC9C;SACF;QACD,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC7B,EACD,CAAC,OAAO,CAAC,CACV;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,oFAAoF;gBACpF,oCAAoC;YACtC,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EACP,iHAAiH;SACpH;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,mFAAmF;SAC/F;KACF;IACD,SAAS,EAAE;QACT,8FAA8F;QAC9F,8FAA8F;KAC/F;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAgB;IACnD,EAAE,EAAE,sBAAsB;IAC1B,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAChC,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,oDAAoD;IACpE,SAAS,EAAE,CAAC,wCAAwC,EAAE,WAAW,CAAC;IAClE,eAAe,EAAE;QACf,oFAAoF;QACpF,4CAA4C;KAC7C;IACD,cAAc,EAAE,CAAC,kCAAkC,EAAE,0DAA0D,CAAC;IAChH,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,qBAAqB,CAAC,uBAAuB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE;YAClB,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,OAAO,qBAAqB,CAAC,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,+FAA+F;QACrG,MAAM,EAAE,gBAAgB;QACxB,OAAO,EACL,sFAAsF;QACxF,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;YAC1B,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7E,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;gBAAE,OAAO,KAAK,KAAK,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3C,CAAC;QACD,cAAc,EAAE,gBAAgB;QAChC,cAAc,EAAE,SAAS;QACzB,qEAAqE;QACrE,UAAU,EAAE,CAAC,uDAAuD,CAAC;KACtE,CAAC;IACF,MAAM,EAAE;QACN,MAAM,EAAE,iBAAiB;QACzB,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,mBAAmB;gBAC1B,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,CAAC,GAAG,uBAAuB;gBAClC,KAAK,EAAE,gBAAgB;aACxB;SACF;QACD,gBAAgB,EAAE,kBAAkB,CAClC,iBAAiB,EACjB;YACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;YAClC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;SAC/B,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,0FAA0F;gBAC1F,8EAA8E;YAChF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,2FAA2F;SACvG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4CAA4C;SACxD;KACF;IACD,SAAS,EAAE;QACT,6FAA6F;KAC9F;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD,kBAAkB;IAClB,qBAAqB;IACrB,kBAAkB;IAClB,wBAAwB;CACzB,CAAC"}

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

@@ -0,0 +1,16 @@
+/**
+ * Wave-family assembly (Atlas Phase 4, S4.5).
+ *
+ * Assembly only: this module defines no physics and no numbers of its own.
+ *
+ * @module atlas/waves
+ */
+import type { AtlasFamily } from '../oscillators/index.js';
+/**
+ * The wave family: seven models and seven bridges (four from S4.5, three from
+ * the Sprint 4 closure), no rejections. Several bridges end in other families.
+ *
+ * @internal
+ */
+export declare const WAVES_FAMILY: AtlasFamily;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAK3D;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,WAK1B,CAAC"}

package/dist/atlas/waves/index.js

@@ -0,0 +1,23 @@
+/**
+ * Wave-family assembly (Atlas Phase 4, S4.5).
+ *
+ * Assembly only: this module defines no physics and no numbers of its own.
+ *
+ * @module atlas/waves
+ */
+import { WAVE_BRIDGES } from './bridges.js';
+import { WAVE_CLOSURE_BRIDGES } from './bridges-closure.js';
+import { WAVE_MODELS, WAVES_FAMILY_NAME } from './models.js';
+/**
+ * The wave family: seven models and seven bridges (four from S4.5, three from
+ * the Sprint 4 closure), no rejections. Several bridges end in other families.
+ *
+ * @internal
+ */
+export const WAVES_FAMILY = {
+    family: WAVES_FAMILY_NAME,
+    models: WAVE_MODELS,
+    bridges: [...WAVE_BRIDGES, ...WAVE_CLOSURE_BRIDGES],
+    rejections: [],
+};
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/atlas/waves/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACvC,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,WAAW;IACnB,OAAO,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,oBAAoB,CAAC;IACnD,UAAU,EAAE,EAAE;CACf,CAAC"}

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

@@ -0,0 +1,29 @@
+/**
+ * Atlas Phase 4, S4.5 — the models of the wave family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * The 1-D wave equation itself is NOT redefined here. It is `model-wave-1d` in
+ * the oscillator family, where Phase 0 put it as the conclusion of the chain →
+ * wave coarse-graining. The wave family's bridges point at that same record,
+ * because a second definition of one model would be a second source of truth.
+ * `tests/atlas/families.test.ts` pins that model ids are unique across the
+ * whole atlas and that every bridge endpoint resolves in SOME registered family.
+ *
+ * @module atlas/waves/models
+ */
+import type { Dimension } from '../../dimensional/types.js';
+import type { AtlasModel } from '../model.js';
+/** The family name every wave record carries. @internal */
+export declare const WAVES_FAMILY_NAME = "waves";
+/** kg/m, `L^-1 M` — `src/canonical/entries/dimensional-classics.ts` (`LIN_DENSITY`). @internal */
+export declare const LINEAR_DENSITY: Dimension;
+/** Pa, `L^-1 M T^-2` — `src/canonical/entries/fluids-waves.ts` (`PRESSURE`). @internal */
+export declare const PRESSURE: Dimension;
+/** Flexural rigidity E·I, N·m², `L^3 M T^-2`. @internal */
+export declare const FLEXURAL_RIGIDITY: Dimension;
+/** rad/m, `L^-1`. @internal */
+export declare const WAVENUMBER: Dimension;
+/** The wave-family models, in design-note order. @internal */
+export declare const WAVE_MODELS: readonly AtlasModel[];
+//# sourceMappingURL=models.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAG5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,UAAU,CAAC;AAEzC,kGAAkG;AAClG,eAAO,MAAM,cAAc,EAAE,SAAsB,CAAC;AAEpD,0FAA0F;AAC1F,eAAO,MAAM,QAAQ,EAAE,SAA0B,CAAC;AAElD,2DAA2D;AAC3D,eAAO,MAAM,iBAAiB,EAAE,SAAyB,CAAC;AAE1D,+BAA+B;AAC/B,eAAO,MAAM,UAAU,EAAE,SAAmB,CAAC;AA+B7C,8DAA8D;AAC9D,eAAO,MAAM,WAAW,EAAE,SAAS,UAAU,EA8E5C,CAAC"}

package/dist/atlas/waves/models.js

@@ -0,0 +1,127 @@
+/**
+ * Atlas Phase 4, S4.5 — the models of the wave family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * The 1-D wave equation itself is NOT redefined here. It is `model-wave-1d` in
+ * the oscillator family, where Phase 0 put it as the conclusion of the chain →
+ * wave coarse-graining. The wave family's bridges point at that same record,
+ * because a second definition of one model would be a second source of truth.
+ * `tests/atlas/families.test.ts` pins that model ids are unique across the
+ * whole atlas and that every bridge endpoint resolves in SOME registered family.
+ *
+ * @module atlas/waves/models
+ */
+import { dim } from '../../dimensional/ast-builders.js';
+import { FORCE, FREQUENCY, VELOCITY } from '../../dimensional/types.js';
+import { DENSITY } from '../diffusion/dimensions.js';
+import { deriveRegimeGroups } from '../regime.js';
+/** The family name every wave record carries. @internal */
+export const WAVES_FAMILY_NAME = 'waves';
+/** kg/m, `L^-1 M` — `src/canonical/entries/dimensional-classics.ts` (`LIN_DENSITY`). @internal */
+export const LINEAR_DENSITY = dim(-1, 1);
+/** Pa, `L^-1 M T^-2` — `src/canonical/entries/fluids-waves.ts` (`PRESSURE`). @internal */
+export const PRESSURE = dim(-1, 1, -2);
+/** Flexural rigidity E·I, N·m², `L^3 M T^-2`. @internal */
+export const FLEXURAL_RIGIDITY = dim(3, 1, -2);
+/** rad/m, `L^-1`. @internal */
+export const WAVENUMBER = dim(-1);
+function model(spec) {
+    const dimensionless = spec.dimensionlessInputs ?? [];
+    return {
+        id: spec.id,
+        family: WAVES_FAMILY_NAME,
+        stateSpace: spec.stateSpace,
+        dynamics: spec.dynamics,
+        observables: spec.observables,
+        parameters: spec.parameters,
+        dimensionlessInputs: dimensionless,
+        canonicalRefs: spec.canonicalRefs,
+        regime: {
+            family: WAVES_FAMILY_NAME,
+            inequalities: [],
+            groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, spec.parameters, dimensionless),
+        },
+    };
+}
+/** The wave-family models, in design-note order. @internal */
+export const WAVE_MODELS = [
+    model({
+        id: 'model-string',
+        stateSpace: 'y(x, t), transverse displacement of a string on [0, ℓ]',
+        dynamics: 'μ y_tt = F y_xx (small slopes, |y_x| ≪ 1)',
+        observables: ['y', 'y_t', 'normal-mode frequencies'],
+        parameters: [
+            { name: 'F', dim: FORCE },
+            { name: 'mu', dim: LINEAR_DENSITY },
+        ],
+        canonicalRefs: ['CE-string-wave-speed'],
+    }),
+    model({
+        id: 'model-dalembert',
+        stateSpace: 'u(x, t) = f(x − ct) + g(x + ct), f and g twice differentiable',
+        dynamics: 'two profiles translating rigidly at ±c',
+        observables: ['u', 'the two travelling profiles'],
+        parameters: [{ name: 'c', dim: VELOCITY }],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-euler-linear',
+        stateSpace: '(ρ′, v)(x, t), small perturbations of a fluid at rest',
+        dynamics: '∂ρ′/∂t = −ρ₀ ∂v/∂x,  ρ₀ ∂v/∂t = −∂p′/∂x',
+        observables: ['ρ′', 'v', 'p′'],
+        parameters: [
+            { name: 'rho0', dim: DENSITY },
+            { name: 'p0', dim: PRESSURE },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-adiabatic-eos',
+        stateSpace: 'p(ρ), a barotropic closure',
+        dynamics: 'p = p₀ (ρ/ρ₀)^γ',
+        observables: ['p', 'dp/dρ'],
+        parameters: [
+            { name: 'rho0', dim: DENSITY },
+            { name: 'p0', dim: PRESSURE },
+        ],
+        dimensionlessInputs: ['gamma'],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-sound',
+        stateSpace: 'p′(x, t), the acoustic pressure',
+        dynamics: 'p′_tt = c_s² p′_xx with c_s² = γ p₀/ρ₀',
+        observables: ['p′', 'sound speed c_s'],
+        parameters: [
+            { name: 'rho0', dim: DENSITY },
+            { name: 'p0', dim: PRESSURE },
+        ],
+        dimensionlessInputs: ['gamma'],
+        canonicalRefs: ['CE-sound-speed'],
+    }),
+    model({
+        id: 'model-klein-gordon',
+        stateSpace: 'u(x, t), a field on ℝ × ℝ',
+        dynamics: 'u_tt = c² u_xx − ω₀² u (dispersive: ω² = c²k² + ω₀²)',
+        observables: ['u', 'dispersion ω(k)', 'phase velocity'],
+        parameters: [
+            { name: 'c', dim: VELOCITY },
+            { name: 'omega0', dim: FREQUENCY },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-stiff-string',
+        stateSpace: 'y(x, t), transverse displacement of a string with bending stiffness',
+        dynamics: 'μ y_tt = F y_xx − EI y_xxxx (dispersive: ω² = (F/μ)k² + (EI/μ)k⁴)',
+        observables: ['y', 'partial frequencies (inharmonicity)'],
+        parameters: [
+            { name: 'F', dim: FORCE },
+            { name: 'mu', dim: LINEAR_DENSITY },
+            { name: 'EI', dim: FLEXURAL_RIGIDITY },
+        ],
+        canonicalRefs: [],
+    }),
+];
+//# sourceMappingURL=models.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/waves/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAGxD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAErD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpD,0FAA0F;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1D,+BAA+B;AAC/B,MAAM,CAAC,MAAM,UAAU,GAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAY7C,SAAS,KAAK,CAAC,IAAe;IAC5B,MAAM,aAAa,GAAG,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACrD,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,MAAM,EAAE,iBAAiB;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,mBAAmB,EAAE,aAAa;QAClC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE;YACN,MAAM,EAAE,iBAAiB;YACzB,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;SACxF;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAA0B;IAChD,KAAK,CAAC;QACJ,EAAE,EAAE,cAAc;QAClB,UAAU,EAAE,wDAAwD;QACpE,QAAQ,EAAE,2CAA2C;QACrD,WAAW,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,yBAAyB,CAAC;QACpD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;SACpC;QACD,aAAa,EAAE,CAAC,sBAAsB,CAAC;KACxC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,iBAAiB;QACrB,UAAU,EAAE,+DAA+D;QAC3E,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,GAAG,EAAE,6BAA6B,CAAC;QACjD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,uDAAuD;QACnE,QAAQ,EAAE,yCAAyC;QACnD,WAAW,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;QAC9B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,qBAAqB;QACzB,UAAU,EAAE,4BAA4B;QACxC,QAAQ,EAAE,iBAAiB;QAC3B,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC;QAC3B,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,aAAa;QACjB,UAAU,EAAE,iCAAiC;QAC7C,QAAQ,EAAE,wCAAwC;QAClD,WAAW,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACtC,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;SAC9B;QACD,mBAAmB,EAAE,CAAC,OAAO,CAAC;QAC9B,aAAa,EAAE,CAAC,gBAAgB,CAAC;KAClC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,2BAA2B;QACvC,QAAQ,EAAE,sDAAsD;QAChE,WAAW,EAAE,CAAC,GAAG,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;QACvD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE;SACnC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,oBAAoB;QACxB,UAAU,EAAE,qEAAqE;QACjF,QAAQ,EAAE,mEAAmE;QAC7E,WAAW,EAAE,CAAC,GAAG,EAAE,qCAAqC,CAAC;QACzD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;YACzB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;YACnC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;SACvC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC"}