universal-physics-tensor 0.45.2 → 0.46.0

package/dist/atlas/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAuB,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEjF,qFAAqF;AACrF,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,0BAA0B,CAAC;AAE/B,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,uBAAuB,GACvB,iBAAiB,GACjB,uBAAuB,GACvB,cAAc,GACd,YAAY,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,yMAWa,CAAC;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC;IAC3C,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,MAAM;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9D;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;IACxF;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACxE,wBAAwB;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/C;AAED,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,eAAe;IACf,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;IACjD,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AAEH,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yEAAyE;AACzE,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,iEAAiE;IACjE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,UAAU,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;CAChC;AAED,+EAA+E;AAC/E,MAAM,WAAW,cAAc;IAC7B,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CACxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACjE;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;CAC1C;AAED,wFAAwF;AACxF,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,qBAAa,qBAAsB,SAAQ,KAAK;CAAG"}

package/dist/atlas/types.js

@@ -0,0 +1,61 @@
+/**
+ * Atlas Phase 0 pilot types (oscillator pilot).
+ *
+ * Fixed by `docs/planning/Atlas-Phase-0-Design.md` §2 and the implementation
+ * plan's §"S0 types" block, implemented here verbatim.
+ *
+ * **These are throwaway pilot types** (design note §4). If Phase 1's
+ * relation-contract work disagrees with any of them, the Phase 0 type is
+ * replaced, not adapted: nothing atlas-side is public before Phase 6 and the
+ * only consumers are Phase 0's own tests.
+ *
+ * Name note: the probe's `RelationKind` and `AuditState` are NOT shadowed —
+ * this sprint uses `RelationType` and defines no `AuditState`.
+ * `src/composition/bridge-prediction.ts` has a module-local, unexported
+ * `interface Regime` for tensor-cell placement; different concept, no
+ * import collision.
+ *
+ * @module atlas/types
+ */
+/**
+ * Every `EvidenceTag`, in declaration order, so a report can name all of them.
+ *
+ * Lives HERE, not in `coverage.ts` (which re-exports it), because
+ * `tests/atlas/derived-tag-literals.test.ts` allows the literals
+ * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
+ * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
+ * DERIVED must not be spellable anywhere a record could hand-set it.
+ *
+ * @internal
+ */
+export const ALL_EVIDENCE_TAGS = [
+    'proposed',
+    'reviewed',
+    'dimension-checked',
+    'convention-checked',
+    'symbolically-checked',
+    'numerically-supported',
+    'formally-proved',
+    'empirically-supported',
+    'contradicted',
+    'unresolved',
+];
+/** Thrown when an `ApproximationBound` is built without its machine horizon. @public */
+export class MissingHorizonError extends Error {
+}
+/**
+ * Thrown when an `approximation` bound is built without the machine form of
+ * its `delta`.
+ *
+ * A distinct type rather than a reuse of `MissingHorizonError`: the horizon of
+ * such a record is present and correct, and reporting a missing horizon for it
+ * would send the next reader to the one field that is not the defect.
+ *
+ * @internal
+ */
+export class MissingDeltaAtError extends Error {
+}
+/** Thrown when a bound path has no Lipschitz constant anywhere but at its end. @public */
+export class MissingLipschitzError extends Error {
+}
+//# sourceMappingURL=types.js.map

package/dist/atlas/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/atlas/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA4BH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,iBAAiB;IACjB,uBAAuB;IACvB,cAAc;IACd,YAAY;CAC6B,CAAC;AAyQ5C,wFAAwF;AACxF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;;;;;;;GASG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,0FAA0F;AAC1F,MAAM,OAAO,qBAAsB,SAAQ,KAAK;CAAG"}

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

@@ -0,0 +1,39 @@
+/**
+ * Atlas Phase 4 — the three wave-family bridges added to close Sprint 4's
+ * "≥ 20 bridges" exit criterion.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4 (Sprint 4 closure).
+ *
+ * | Bridge | Relation | Witnesses |
+ * |---|---|---|
+ * | Klein–Gordon → free Schrödinger | `approximation` (ck/ω₀ → 0) | WS5 (convergence), WS5b |
+ * | Klein–Gordon → spring | `restriction` (uniform mode) | WS6 (convergence) |
+ * | stiff string → string | `approximation` (EIk²/F → 0) | WS7 (convergence), WS7b |
+ *
+ * Two of these END in other families (`model-schrodinger-free` in diffusion,
+ * `model-spring` in oscillators): the atlas is one graph, and
+ * `tests/atlas/families.test.ts` resolves endpoints across all of it.
+ *
+ * @module atlas/waves/bridges-closure
+ */
+import type { AtlasBridge } from '../types.js';
+/** Domain edge of the non-relativistic limit: ck/ω₀ ≤ 0.1. @internal */
+export declare const KG_NR_MAX_X = 0.1;
+/** Domain edge of the flexible-string limit: β = EIk²/F ≤ 0.01. @internal */
+export declare const STIFF_MAX_BETA = 0.01;
+/**
+ * Bridge: Klein–Gordon → free Schrödinger, the non-relativistic limit.
+ *
+ * Factor out the rest-frequency phase e^{−iω₀t}; the remaining envelope obeys
+ * the free Schrödinger equation with ħ/m ↦ c²/ω₀ (that is, mc² = ħω₀).
+ *
+ * @internal
+ */
+export declare const BRIDGE_KG_SCHRODINGER: AtlasBridge;
+/** Bridge: Klein–Gordon → spring, restricted to the spatially uniform mode. @internal */
+export declare const BRIDGE_KG_OSCILLATOR: AtlasBridge;
+/** Bridge: stiff string → flexible string, as bending stiffness → 0. @internal */
+export declare const BRIDGE_STIFF_STRING: AtlasBridge;
+/** The wave-family closure bridges. @internal */
+export declare const WAVE_CLOSURE_BRIDGES: readonly AtlasBridge[];
+//# sourceMappingURL=bridges-closure.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/waves/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAM/C,wEAAwE;AACxE,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,6EAA6E;AAC7E,eAAO,MAAM,cAAc,OAAO,CAAC;AAWnC;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,WA6EnC,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,oBAAoB,EAAE,WA+BlC,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,EAAE,WAoEjC,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,SAAS,WAAW,EAItD,CAAC"}

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

@@ -0,0 +1,223 @@
+/**
+ * Atlas Phase 4 — the three wave-family bridges added to close Sprint 4's
+ * "≥ 20 bridges" exit criterion.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4 (Sprint 4 closure).
+ *
+ * | Bridge | Relation | Witnesses |
+ * |---|---|---|
+ * | Klein–Gordon → free Schrödinger | `approximation` (ck/ω₀ → 0) | WS5 (convergence), WS5b |
+ * | Klein–Gordon → spring | `restriction` (uniform mode) | WS6 (convergence) |
+ * | stiff string → string | `approximation` (EIk²/F → 0) | WS7 (convergence), WS7b |
+ *
+ * Two of these END in other families (`model-schrodinger-free` in diffusion,
+ * `model-spring` in oscillators): the atlas is one graph, and
+ * `tests/atlas/families.test.ts` resolves endpoints across all of it.
+ *
+ * @module atlas/waves/bridges-closure
+ */
+import { ACTION, FORCE, FREQUENCY, MASS, VELOCITY } from '../../dimensional/types.js';
+import { makeApproximation } from '../oscillators/bridges-limits.js';
+import { SPRING_CONSTANT } from '../oscillators/dimensions.js';
+import { deriveRegimeGroups } from '../regime.js';
+import { FLEXURAL_RIGIDITY, LINEAR_DENSITY, WAVENUMBER, WAVES_FAMILY_NAME } from './models.js';
+import { kgNonrelativisticError, stiffStringPhaseError } from './numerics.js';
+const TEST = 'tests/atlas/closure.test.ts';
+/** Domain edge of the non-relativistic limit: ck/ω₀ ≤ 0.1. @internal */
+export const KG_NR_MAX_X = 0.1;
+/** Domain edge of the flexible-string limit: β = EIk²/F ≤ 0.01. @internal */
+export const STIFF_MAX_BETA = 0.01;
+const regime = (parameters, inequalities) => ({
+    family: WAVES_FAMILY_NAME,
+    inequalities,
+    groupDefinitions: deriveRegimeGroups(WAVES_FAMILY_NAME, parameters, []),
+});
+/**
+ * Bridge: Klein–Gordon → free Schrödinger, the non-relativistic limit.
+ *
+ * Factor out the rest-frequency phase e^{−iω₀t}; the remaining envelope obeys
+ * the free Schrödinger equation with ħ/m ↦ c²/ω₀ (that is, mc² = ħω₀).
+ *
+ * @internal
+ */
+export const BRIDGE_KG_SCHRODINGER = {
+    id: 'ab-kg-schrodinger',
+    relation: 'approximation',
+    premises: ['model-klein-gordon'],
+    conclusion: 'model-schrodinger-free',
+    transformation: 'u = Re(ψ e^{−iω₀t}) with ψ slowly varying; ħ/m ↦ c²/ω₀: ω − ω₀ = ω₀(√(1 + x²) − 1) → ω₀x²/2, x = ck/ω₀',
+    preserves: ['the kinetic frequency ħk²/(2m) to O(x²)', 'linearity'],
+    doesNotPreserve: [
+        'the rest-frequency phase e^{−iω₀t}',
+        'the negative-frequency branch',
+        'relativistic dispersion at x ≳ 1',
+    ],
+    sideConditions: ['non-relativistic modes: x = ck/ω₀ ≤ 0.1', 'the bound is a FREQUENCY error, not uniform in time'],
+    bound: makeApproximation({
+        K: 1,
+        delta: kgNonrelativisticError(KG_NR_MAX_X),
+        deltaAt: (p) => {
+            const { c, k, omega0 } = p;
+            if (c === undefined || k === undefined || omega0 === undefined)
+                return Number.NaN;
+            return kgNonrelativisticError((c * k) / omega0);
+        },
+        norm: 'relative error of the kinetic frequency ω − ω₀',
+        domain: 'x = ck/ω₀ ≤ 0.1',
+        horizon: 't ≪ π/(δ ω₀ x²): the kinetic-phase drift reaches π/2; machine form t < π/(δ ω₀ x²)',
+        horizonHolds: (t, p) => {
+            const { c, k, omega0 } = p;
+            if (c === undefined || k === undefined || omega0 === undefined)
+                return false;
+            const x = (c * k) / omega0;
+            const delta = kgNonrelativisticError(x);
+            if (!Number.isFinite(delta))
+                return false;
+            if (delta === 0)
+                return true;
+            return t < Math.PI / (delta * omega0 * x * x);
+        },
+        parameterRange: 'x = ck/ω₀ ≤ 0.1',
+        limitCharacter: 'regular',
+        // A frequency error. The record says it is not uniform in time.
+        uniformity: ['kinetic frequency of one mode, for x = ck/ω₀ ≤ 0.1'],
+    }),
+    regime: regime([
+        { name: 'c', dim: VELOCITY },
+        { name: 'omega0', dim: FREQUENCY },
+        { name: 'k', dim: WAVENUMBER },
+        { name: 'hbar', dim: ACTION },
+        { name: 'm', dim: MASS },
+    ], [{ group: 'c · omega0^-1 · k', op: '<=', bound: KG_NR_MAX_X, alias: 'ck/ω₀ ≤ 0.1' }]),
+    counterexamples: [
+        {
+            description: 'At x = ck/ω₀ = 1 the non-relativistic kinetic frequency is 17% too high: the limit is a ' +
+                'long-wavelength statement.',
+            witness: 'WS5b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS5',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'kinetic-frequency error below 1e-3 at x = 0.05; falls ≈4× per halving of x',
+        },
+        {
+            id: 'WS5b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'relative error 3 − 2√2 = 0.1716 at x = 1',
+        },
+    ],
+    citations: [
+        'Greiner, Relativistic Quantum Mechanics: Wave Equations - Ch. 1, the Klein-Gordon equation and its non-relativistic limit',
+    ],
+    reviewStatus: 'proposed',
+};
+/** Bridge: Klein–Gordon → spring, restricted to the spatially uniform mode. @internal */
+export const BRIDGE_KG_OSCILLATOR = {
+    id: 'ab-kg-oscillator',
+    relation: 'restriction',
+    premises: ['model-klein-gordon'],
+    conclusion: 'model-spring',
+    transformation: 'u(x, t) = u(t): u_tt = −ω₀² u; u ↦ x, ω₀² ↦ k/m',
+    preserves: ['the k = 0 mode exactly', 'the frequency ω₀'],
+    doesNotPreserve: ['every mode with k ≠ 0', 'spatial structure'],
+    sideConditions: ['spatially uniform initial data', 'periodic or infinite domain (no boundary forcing)'],
+    regime: regime([
+        { name: 'omega0', dim: FREQUENCY },
+        { name: 'm', dim: MASS },
+        { name: 'k', dim: SPRING_CONSTANT },
+    ], []),
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS6',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'uniform leapfrog field within 3e-4 of cos(ω₀t) at 100 steps (ω₀ = 2, t = 3); ≈4× per halving',
+        },
+    ],
+    citations: [
+        'Whitham, Linear and Nonlinear Waves - §11.1, dispersive waves and the Klein-Gordon equation',
+    ],
+    reviewStatus: 'proposed',
+};
+/** Bridge: stiff string → flexible string, as bending stiffness → 0. @internal */
+export const BRIDGE_STIFF_STRING = {
+    id: 'ab-stiff-string',
+    relation: 'approximation',
+    premises: ['model-stiff-string'],
+    conclusion: 'model-string',
+    transformation: 'drop EI y_xxxx: ω² = (F/μ)k² + (EI/μ)k⁴ → (F/μ)k²',
+    preserves: ['the wave speed √(F/μ) for long wavelengths', 'harmonic partials to O(β)'],
+    doesNotPreserve: ['inharmonicity: high partials of a stiff string are sharp', 'the fourth-order boundary conditions'],
+    sideConditions: ['β = EIk²/F ≤ 0.01', 'the bound is a PHASE-VELOCITY error, not uniform in time'],
+    bound: makeApproximation({
+        K: 1,
+        delta: stiffStringPhaseError(1, STIFF_MAX_BETA, 1),
+        deltaAt: (p) => stiffStringPhaseError(p['F'] ?? Number.NaN, p['EI'] ?? Number.NaN, p['k'] ?? Number.NaN),
+        norm: 'relative phase-velocity error of a Fourier mode',
+        domain: 'β = EIk²/F ≤ 0.01',
+        horizon: 't ≪ π/(2 c k δ): the phase drift reaches π/2; machine form t < π/(2 √(F/μ) k δ)',
+        horizonHolds: (t, p) => {
+            const { F, EI, k, mu } = p;
+            if (F === undefined || EI === undefined || k === undefined || mu === undefined)
+                return false;
+            const delta = stiffStringPhaseError(F, EI, k);
+            if (!Number.isFinite(delta))
+                return false;
+            if (delta === 0)
+                return true;
+            return t < Math.PI / (2 * Math.sqrt(F / mu) * k * delta);
+        },
+        parameterRange: 'β = EIk²/F ≤ 0.01',
+        limitCharacter: 'regular',
+        // A phase-velocity error. The record says it is not uniform in time.
+        uniformity: ['phase velocity of one Fourier mode, for β = EIk²/F ≤ 0.01'],
+    }),
+    regime: regime([
+        { name: 'F', dim: FORCE },
+        { name: 'mu', dim: LINEAR_DENSITY },
+        { name: 'EI', dim: FLEXURAL_RIGIDITY },
+        { name: 'k', dim: WAVENUMBER },
+    ], 
+    // The derived group is F/(EIk²) = 1/β, so β ≤ 0.01 is F/(EIk²) ≥ 100.
+    [{ group: 'F · EI^-1 · k^-2', op: '>=', bound: 1 / STIFF_MAX_BETA, alias: 'β = EIk²/F ≤ 0.01' }]),
+    counterexamples: [
+        {
+            description: 'The partials of a stiff string are sharp: at β = 1 the phase velocity is √2 times the ' +
+                'flexible-string value, the inharmonicity piano tuners stretch octaves to accommodate.',
+            witness: 'WS7b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WS7',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'phase velocity within 0.15 of √(F/μ) = 100 at k = 5 (EI/F = 1e-4); ≈4× per halving of k',
+        },
+        {
+            id: 'WS7b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'relative phase error √2 − 1 at β = 1',
+        },
+    ],
+    citations: [
+        'Fletcher, J. Acoust. Soc. Am. 36 (1964) 203 - Normal vibration frequencies of a stiff piano string',
+    ],
+    reviewStatus: 'proposed',
+};
+/** The wave-family closure bridges. @internal */
+export const WAVE_CLOSURE_BRIDGES = [
+    BRIDGE_KG_SCHRODINGER,
+    BRIDGE_KG_OSCILLATOR,
+    BRIDGE_STIFF_STRING,
+];
+//# sourceMappingURL=bridges-closure.js.map

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,IAAI,EAAE,gDAAgD;QACtD,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,0FAA0F;gBAC1F,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,0CAA0C;SACtD;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,IAAI,EAAE,iDAAiD;QACvD,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,WAkFtC,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAK9C,CAAC"}