universal-physics-tensor 0.45.2 → 0.47.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"dimensions.d.ts","sourceRoot":"","sources":["../../../src/atlas/diffusion/dimensions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,uFAAuF;AACvF,eAAO,MAAM,WAAW,EAAE,SAAyB,CAAC;AAEpD,iGAAiG;AACjG,eAAO,MAAM,oBAAoB,EAAE,SAAgC,CAAC;AAEpE,sFAAsF;AACtF,eAAO,MAAM,OAAO,EAAE,SAAsB,CAAC;AAE7C,kGAAkG;AAClG,eAAO,MAAM,aAAa,EAAE,SAAgC,CAAC"}

package/dist/atlas/diffusion/dimensions.js

@@ -0,0 +1,21 @@
+/**
+ * Dimension constants the diffusion family needs that the canonical entry
+ * files declare MODULE-LOCAL and do not export.
+ *
+ * Redefined here with the same `dim(...)` arguments as their sources, the same
+ * discipline as `oscillators/dimensions.ts`. `tests/atlas/diffusion.test.ts`
+ * asserts the values against the canonical registry, so a future divergence
+ * fails a test rather than silently forking the physics.
+ *
+ * @module atlas/diffusion/dimensions
+ */
+import { dim } from '../../dimensional/ast-builders.js';
+/** m²/s, `L^2 T^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:44`. @internal */
+export const DIFFUSIVITY = dim(2, 0, -1);
+/** W·m⁻¹·K⁻¹, `L M T^-3 Θ^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:42`. @internal */
+export const THERMAL_CONDUCTIVITY = dim(1, 1, -3, 0, -1);
+/** kg/m³, `L^-3 M` — `src/canonical/entries/thermo-nuclear-cosmo.ts:43`. @internal */
+export const DENSITY = dim(-3, 1);
+/** J·kg⁻¹·K⁻¹, `L^2 T^-2 Θ^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:35`. @internal */
+export const SPECIFIC_HEAT = dim(2, 0, -2, 0, -1);
+//# sourceMappingURL=dimensions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dimensions.js","sourceRoot":"","sources":["../../../src/atlas/diffusion/dimensions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAGxD,uFAAuF;AACvF,MAAM,CAAC,MAAM,WAAW,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpD,iGAAiG;AACjG,MAAM,CAAC,MAAM,oBAAoB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpE,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7C,kGAAkG;AAClG,MAAM,CAAC,MAAM,aAAa,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,16 @@
+/**
+ * Diffusion-family assembly (Atlas Phase 4, S4.4).
+ *
+ * Assembly only: this module defines no physics and no numbers of its own.
+ *
+ * @module atlas/diffusion
+ */
+import type { AtlasFamily } from '../oscillators/index.js';
+/**
+ * The diffusion family: eight models and eight bridges (three from S4.4, five
+ * from the Sprint 4 closure), no rejections.
+ *
+ * @internal
+ */
+export declare const DIFFUSION_FAMILY: AtlasFamily;
+//# sourceMappingURL=index.d.ts.map

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

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

package/dist/atlas/diffusion/index.js

@@ -0,0 +1,23 @@
+/**
+ * Diffusion-family assembly (Atlas Phase 4, S4.4).
+ *
+ * Assembly only: this module defines no physics and no numbers of its own.
+ *
+ * @module atlas/diffusion
+ */
+import { DIFFUSION_BRIDGES } from './bridges.js';
+import { DIFFUSION_CLOSURE_BRIDGES } from './bridges-closure.js';
+import { DIFFUSION_FAMILY_NAME, DIFFUSION_MODELS } from './models.js';
+/**
+ * The diffusion family: eight models and eight bridges (three from S4.4, five
+ * from the Sprint 4 closure), no rejections.
+ *
+ * @internal
+ */
+export const DIFFUSION_FAMILY = {
+    family: DIFFUSION_FAMILY_NAME,
+    models: DIFFUSION_MODELS,
+    bridges: [...DIFFUSION_BRIDGES, ...DIFFUSION_CLOSURE_BRIDGES],
+    rejections: [],
+};
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/atlas/diffusion/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAgB;IAC3C,MAAM,EAAE,qBAAqB;IAC7B,MAAM,EAAE,gBAAgB;IACxB,OAAO,EAAE,CAAC,GAAG,iBAAiB,EAAE,GAAG,yBAAyB,CAAC;IAC7D,UAAU,EAAE,EAAE;CACf,CAAC"}

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

@@ -0,0 +1,24 @@
+/**
+ * Atlas Phase 4, S4.4 — the four models of the diffusion family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * `canonicalRefs` lists an entry only where the canonical registry genuinely
+ * holds one. It has `CE-thermal-diffusivity` (α = κ/(ρ c_p)) and nothing for
+ * Fick's law, the heat equation as a PDE, the lattice random walk, or the free
+ * Schrödinger equation — so those models carry `[]` rather than a nearby entry
+ * that states something else.
+ *
+ * @module atlas/diffusion/models
+ */
+import type { Dimension } from '../../dimensional/types.js';
+import type { AtlasModel } from '../model.js';
+/** The family name every diffusion record carries. @internal */
+export declare const DIFFUSION_FAMILY_NAME = "diffusion";
+/** Pa·s, `L^-1 M T^-1` — `src/canonical/entries/fluids-waves.ts:45` (`VISCOSITY`). @internal */
+export declare const VISCOSITY: Dimension;
+/** The diffusion models, in design-note order; the last four were added to close Sprint 4. @internal */
+export declare const DIFFUSION_MODELS: readonly AtlasModel[];
+/** Look up a diffusion model by id, throwing on an unknown one. @internal */
+export declare function getDiffusionModel(id: string): AtlasModel;
+//# sourceMappingURL=models.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/atlas/diffusion/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAI9C,gEAAgE;AAChE,eAAO,MAAM,qBAAqB,cAAc,CAAC;AA+BjD,gGAAgG;AAChG,eAAO,MAAM,SAAS,EAAE,SAA0B,CAAC;AAEnD,wGAAwG;AACxG,eAAO,MAAM,gBAAgB,EAAE,SAAS,UAAU,EAyFjD,CAAC;AAEF,6EAA6E;AAC7E,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAIxD"}

package/dist/atlas/diffusion/models.js

@@ -0,0 +1,139 @@
+/**
+ * Atlas Phase 4, S4.4 — the four models of the diffusion family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * `canonicalRefs` lists an entry only where the canonical registry genuinely
+ * holds one. It has `CE-thermal-diffusivity` (α = κ/(ρ c_p)) and nothing for
+ * Fick's law, the heat equation as a PDE, the lattice random walk, or the free
+ * Schrödinger equation — so those models carry `[]` rather than a nearby entry
+ * that states something else.
+ *
+ * @module atlas/diffusion/models
+ */
+import { ACTION, ENERGY, LENGTH, MASS, TIME } from '../../dimensional/types.js';
+import { dim } from '../../dimensional/ast-builders.js';
+import { DAMPING } from '../oscillators/dimensions.js';
+import { deriveRegimeGroups } from '../regime.js';
+import { DENSITY, DIFFUSIVITY, SPECIFIC_HEAT, THERMAL_CONDUCTIVITY } from './dimensions.js';
+/** The family name every diffusion record carries. @internal */
+export const DIFFUSION_FAMILY_NAME = 'diffusion';
+function model(spec) {
+    return {
+        id: spec.id,
+        family: DIFFUSION_FAMILY_NAME,
+        stateSpace: spec.stateSpace,
+        dynamics: spec.dynamics,
+        observables: spec.observables,
+        parameters: spec.parameters,
+        dimensionlessInputs: [],
+        canonicalRefs: spec.canonicalRefs,
+        regime: {
+            family: DIFFUSION_FAMILY_NAME,
+            inequalities: [],
+            groupDefinitions: deriveRegimeGroups(DIFFUSION_FAMILY_NAME, spec.parameters, []),
+        },
+        ...(spec.symmetryGroup === undefined ? {} : { symmetryGroup: spec.symmetryGroup }),
+    };
+}
+/** Pa·s, `L^-1 M T^-1` — `src/canonical/entries/fluids-waves.ts:45` (`VISCOSITY`). @internal */
+export const VISCOSITY = dim(-1, 1, -1);
+/** The diffusion models, in design-note order; the last four were added to close Sprint 4. @internal */
+export const DIFFUSION_MODELS = [
+    model({
+        id: 'model-random-walk',
+        stateSpace: 'P(n, k): probability at lattice site n ∈ ℤ after k ∈ ℕ steps',
+        dynamics: 'P(n, k+1) = ½ P(n−1, k) + ½ P(n+1, k), sites Δx apart, steps Δt apart',
+        observables: ['P(n, k)', 'mean-square displacement ⟨x²⟩'],
+        parameters: [
+            { name: 'dx', dim: LENGTH },
+            { name: 'dt', dim: TIME },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-fick',
+        stateSpace: 'c(x, t), x ∈ ℝ',
+        dynamics: '∂c/∂t = D ∂²c/∂x² (Fick’s second law)',
+        observables: ['c(x, t)', 'total amount ∫c dx', 'variance of c'],
+        parameters: [
+            { name: 'D', dim: DIFFUSIVITY },
+            { name: 'ell', dim: LENGTH },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-heat',
+        stateSpace: 'T(x, t), x ∈ ℝ',
+        dynamics: 'ρ c_p ∂T/∂t = κ ∂²T/∂x²',
+        observables: ['T(x, t)', 'heat content ∫ρ c_p T dx'],
+        parameters: [
+            { name: 'kappa', dim: THERMAL_CONDUCTIVITY },
+            { name: 'rho', dim: DENSITY },
+            { name: 'cp', dim: SPECIFIC_HEAT },
+            { name: 'ell', dim: LENGTH },
+        ],
+        canonicalRefs: ['CE-thermal-diffusivity'],
+    }),
+    model({
+        id: 'model-schrodinger-free',
+        stateSpace: 'ψ(x, t) ∈ ℂ, x ∈ ℝ',
+        dynamics: 'i ħ ∂ψ/∂t = −(ħ²/2m) ∂²ψ/∂x²',
+        observables: ['|ψ|²', 'position spread σx'],
+        parameters: [
+            { name: 'hbar', dim: ACTION },
+            { name: 'm', dim: MASS },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-langevin',
+        stateSpace: '(x, v)(t), a Brownian particle',
+        dynamics: 'm v̇ = −γ v + ξ(t), ⟨ξ(t)ξ(t′)⟩ = 2γ k_B T δ(t − t′), ẋ = v',
+        observables: ['⟨x²⟩(t)', '⟨v²⟩ = k_B T/m'],
+        parameters: [
+            { name: 'm', dim: MASS },
+            { name: 'gamma', dim: DAMPING },
+            { name: 'kT', dim: ENERGY },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-stokes-drag',
+        stateSpace: 'a sphere of radius a moving at speed v through a viscous fluid',
+        dynamics: 'F = −6π η a v (creeping flow, Re ≪ 1)',
+        observables: ['drag force F', 'friction coefficient γ = 6πηa'],
+        parameters: [
+            { name: 'eta', dim: VISCOSITY },
+            { name: 'a', dim: LENGTH },
+        ],
+        canonicalRefs: ['CE-stokes-drag'],
+    }),
+    model({
+        id: 'model-telegraph',
+        stateSpace: 'u(x, t), x ∈ ℝ',
+        dynamics: 'τ u_tt + u_t = D u_xx (Cattaneo: diffusion with a relaxation time)',
+        observables: ['u(x, t)', 'mode decay rates', 'signal speed √(D/τ)'],
+        parameters: [
+            { name: 'tau', dim: TIME },
+            { name: 'D', dim: DIFFUSIVITY },
+        ],
+        canonicalRefs: [],
+    }),
+    model({
+        id: 'model-laplace-1d',
+        stateSpace: 'T(x) on [0, ℓ] with fixed end values',
+        dynamics: 'T_xx = 0, so T is linear between T(0) and T(ℓ)',
+        observables: ['T(x)', 'steady heat flux'],
+        parameters: [{ name: 'ell', dim: LENGTH }],
+        canonicalRefs: [],
+    }),
+];
+/** Look up a diffusion model by id, throwing on an unknown one. @internal */
+export function getDiffusionModel(id) {
+    const found = DIFFUSION_MODELS.find((m) => m.id === id);
+    if (found === undefined)
+        throw new Error(`unknown diffusion model id: ${id}`);
+    return found;
+}
+//# sourceMappingURL=models.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/atlas/diffusion/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAE5F,gEAAgE;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAAG,WAAW,CAAC;AAYjD,SAAS,KAAK,CAAC,IAAe;IAC5B,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,MAAM,EAAE,qBAAqB;QAC7B,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,EAAE;QACvB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE;YACN,MAAM,EAAE,qBAAqB;YAC7B,YAAY,EAAE,EAAE;YAChB,gBAAgB,EAAE,kBAAkB,CAAC,qBAAqB,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;SACjF;QACD,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;KACnF,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,MAAM,SAAS,GAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEnD,wGAAwG;AACxG,MAAM,CAAC,MAAM,gBAAgB,GAA0B;IACrD,KAAK,CAAC;QACJ,EAAE,EAAE,mBAAmB;QACvB,UAAU,EAAE,8DAA8D;QAC1E,QAAQ,EAAE,uEAAuE;QACjF,WAAW,EAAE,CAAC,SAAS,EAAE,+BAA+B,CAAC;QACzD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;YAC3B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;SAC1B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,YAAY;QAChB,UAAU,EAAE,gBAAgB;QAC5B,QAAQ,EAAE,uCAAuC;QACjD,WAAW,EAAE,CAAC,SAAS,EAAE,oBAAoB,EAAE,eAAe,CAAC;QAC/D,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;YAC/B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;SAC7B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,YAAY;QAChB,UAAU,EAAE,gBAAgB;QAC5B,QAAQ,EAAE,yBAAyB;QACnC,WAAW,EAAE,CAAC,SAAS,EAAE,0BAA0B,CAAC;QACpD,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE;YAC5C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;YAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE;YAClC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;SAC7B;QACD,aAAa,EAAE,CAAC,wBAAwB,CAAC;KAC1C,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,wBAAwB;QAC5B,UAAU,EAAE,oBAAoB;QAChC,QAAQ,EAAE,8BAA8B;QACxC,WAAW,EAAE,CAAC,MAAM,EAAE,oBAAoB,CAAC;QAC3C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;YAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;SACzB;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,gBAAgB;QACpB,UAAU,EAAE,gCAAgC;QAC5C,QAAQ,EAAE,6DAA6D;QACvE,WAAW,EAAE,CAAC,SAAS,EAAE,gBAAgB,CAAC;QAC1C,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE;YAC/B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;SAC5B;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,mBAAmB;QACvB,UAAU,EAAE,gEAAgE;QAC5E,QAAQ,EAAE,uCAAuC;QACjD,WAAW,EAAE,CAAC,cAAc,EAAE,+BAA+B,CAAC;QAC9D,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;YAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;SAC3B;QACD,aAAa,EAAE,CAAC,gBAAgB,CAAC;KAClC,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,iBAAiB;QACrB,UAAU,EAAE,gBAAgB;QAC5B,QAAQ,EAAE,oEAAoE;QAC9E,WAAW,EAAE,CAAC,SAAS,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;QACnE,UAAU,EAAE;YACV,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;YAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC;QACD,aAAa,EAAE,EAAE;KAClB,CAAC;IACF,KAAK,CAAC;QACJ,EAAE,EAAE,kBAAkB;QACtB,UAAU,EAAE,sCAAsC;QAClD,QAAQ,EAAE,gDAAgD;QAC1D,WAAW,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;QACzC,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QAC1C,aAAa,EAAE,EAAE;KAClB,CAAC;CACH,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,EAAU;IAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/atlas/diffusion/numerics.d.ts

@@ -0,0 +1,181 @@
+/**
+ * Atlas Phase 4, S4.4 — the numerics behind the diffusion family's witnesses.
+ *
+ * Each function evaluates one claim at a RESOLUTION, so the numeric witness
+ * runner can evaluate it twice and record how the error shrank. None of them
+ * asserts an order of convergence; the runner reports the ratio and a reviewer
+ * reads it (Phase 4 design note §2.3).
+ *
+ * @module atlas/diffusion/numerics
+ */
+/**
+ * The Gaussian solution of `∂c/∂t = D ∂²c/∂x²` from a point source of unit
+ * mass, evaluated at `x`: `(4πDt)^{-1/2} exp(−x²/(4Dt))`.
+ *
+ * @internal
+ */
+export declare function diffusionKernel(x: number, t: number, D: number): number;
+/**
+ * WD1 — the probability DENSITY at the origin of a symmetric lattice random
+ * walk after `steps` steps, under the closure `D = Δx²/(2Δt)` at fixed `D`
+ * and `t`.
+ *
+ * With `Δt = t/steps` and `Δx = √(2DΔt)`, the walker sits at the origin with
+ * probability `C(steps, steps/2)/2^steps`. Only every other site is reachable
+ * after an even number of steps, so the probability is spread over a cell of
+ * width `2Δx`, and the density is that probability divided by `2Δx`.
+ * As `steps → ∞` it converges to {@link diffusionKernel}`(0, t, D)`.
+ *
+ * @param steps - the resolution; rounded up to the next even integer.
+ * @internal
+ */
+export declare function randomWalkCentralDensity(steps: number, D: number, t: number): number;
+/**
+ * WD1b — the random walk's density at lattice site `site` after `steps` steps
+ * (same closure and grid as {@link randomWalkCentralDensity}). Exactly zero
+ * outside the light cone `|site| > steps` and on sites of the wrong parity.
+ *
+ * @internal
+ */
+export declare function randomWalkDensity(site: number, steps: number, D: number, t: number): number;
+/** Parameters of the WD2 heat-conduction fixture. @internal */
+export interface HeatFixture {
+    /** Thermal conductivity κ. */
+    readonly kappa: number;
+    /** Density ρ. */
+    readonly rho: number;
+    /** Specific heat capacity c_p. */
+    readonly cp: number;
+    /** Initial Gaussian width parameter: `T(x, 0) = exp(−x²/(4 s0))`. */
+    readonly s0: number;
+    /** Final time. */
+    readonly tEnd: number;
+    /**
+     * Half-width of the domain. The edges are held at ZERO, not at the exact
+     * solution: the exact solution is the Fick side of the claim, and feeding it
+     * to the heat solver would leak the dictionary under test into the side that
+     * is supposed to be independent of it. The true edge value is below
+     * `exp(−halfWidth²/(4(s0 + D tEnd)))`, far under the tolerance.
+     */
+    readonly halfWidth: number;
+}
+/**
+ * The exact solution of the DIFFUSION equation with coefficient `D` from the
+ * WD2 initial condition: `√(s0/(s0 + D t)) · exp(−x²/(4(s0 + D t)))`.
+ *
+ * @internal
+ */
+export declare function gaussianSpread(x: number, t: number, D: number, s0: number): number;
+/**
+ * WD2 — the temperature at `x = 0, t = tEnd` from an explicit FTCS solution of
+ * the HEAT equation `ρ c_p ∂T/∂t = κ ∂²T/∂x²` on `cells` intervals.
+ *
+ * The heat equation is solved in its OWN variables: the step uses `κ`, `ρ` and
+ * `c_p`, never a pre-combined `D`. Comparing the result against
+ * {@link gaussianSpread} with `D = κ/(ρ c_p)` is what tests the dictionary.
+ * The mesh ratio `κΔt/(ρ c_p Δx²)` is held at or below 1/4, inside the FTCS
+ * stability limit of 1/2, so refinement halves `Δx` and quarters `Δt`.
+ *
+ * @param cells - the resolution: the number of spatial intervals (made even so
+ * `x = 0` is a node).
+ * @internal
+ */
+export declare function heatFtcsCentre(cells: number, f: HeatFixture): number;
+/** Parameters of the WD3 Wick-rotation fixture. @internal */
+export interface WickFixture {
+    readonly hbar: number;
+    readonly m: number;
+    /** Initial width of the α = 0 Gaussian. */
+    readonly s: number;
+    /** The point `(x, τ)` the residual is evaluated at. */
+    readonly x: number;
+    readonly tau: number;
+    /** Base finite-difference step; the resolution divides it. */
+    readonly h0: number;
+}
+/**
+ * WD3 — the finite-difference residual `|∂_τ φ − (ħ/2m) ∂²_x φ|` of the
+ * Wick-rotated free kernel `φ(x, τ)` (`witnesses/quantum-support.ts`, W5) at
+ * one point, with step `h = h0/resolution` in both variables.
+ *
+ * The residual measures whether the Wick rotation `t = −iτ` of the free
+ * Schrödinger equation really lands on the DIFFUSION equation with
+ * `D = ħ/(2m)`. Its exact value is zero; the finite-difference estimate
+ * approaches zero as `h` shrinks, and the runner records how fast.
+ *
+ * @internal
+ */
+export declare function wickHeatResidual(resolution: number, f: WickFixture, kernel: (x: number, tau: number, s: number, hbar: number, m: number) => number): number;
+/**
+ * WD3b — `∫ φ(x, τ)² dx` of the Wick-rotated free kernel, by the trapezoid
+ * rule over `[−halfWidth, halfWidth]`. The Schrödinger norm `∫|ψ|² dx` is
+ * conserved; this one DECAYS with τ, which is the unitarity the continuation
+ * does not preserve.
+ *
+ * @internal
+ */
+export declare function wickKernelSquaredNorm(tau: number, f: WickFixture, kernel: (x: number, tau: number, s: number, hbar: number, m: number) => number, halfWidth?: number, cells?: number): number;
+/** Parameters of the Langevin (Ornstein–Uhlenbeck) fixture. @internal */
+export interface LangevinFixture {
+    /** Particle mass m. */
+    readonly m: number;
+    /** Friction coefficient γ (force per velocity). */
+    readonly gamma: number;
+    /** Thermal energy k_B T. */
+    readonly kT: number;
+}
+/**
+ * WD4 — `⟨x²⟩(t) / (2Dt)` for the Langevin model `m v̇ = −γv + ξ`,
+ * `⟨ξ(t)ξ(t′)⟩ = 2γ k_B T δ(t − t′)`, started from x = 0 with a thermalized
+ * velocity, at `t = resolution · τ_p` where `τ_p = m/γ`.
+ *
+ * The second moments are integrated from the LANGEVIN model's own moment
+ * equations, `d⟨x²⟩/dt = 2⟨xv⟩`, `d⟨xv⟩/dt = ⟨v²⟩ − (γ/m)⟨xv⟩`, with
+ * `⟨v²⟩ = k_B T/m` held at equipartition, by RK4 on a fine fixed grid. The
+ * diffusion coefficient `D = k_B T/γ` (Einstein) enters only the DENOMINATOR:
+ * the ratio tends to 1 in the diffusive regime `t ≫ τ_p`.
+ *
+ * @internal
+ */
+export declare function langevinMsdRatio(resolution: number, f: LangevinFixture): number;
+/**
+ * The slow decay rate of a Fourier mode of the TELEGRAPH equation
+ * `τ u_tt + u_t = D u_xx`, divided by the diffusion rate `D q²`:
+ * `(1 − √(1 − 4ε)) / (2ε)` with `ε = τ D q²`. Tends to 1 as τ → 0; complex
+ * (oscillatory) for `ε > 1/4`, where it returns NaN.
+ *
+ * @internal
+ */
+export declare function telegraphSlowRateRatio(tau: number, D: number, q: number): number;
+/**
+ * The oscillation frequency of a telegraph mode in its underdamped range,
+ * divided by the undamped wave frequency `c q` with `c² = D/τ`:
+ * `√(1 − 1/(4ε))`, `ε = τ D q²`. Tends to 1 as ε grows.
+ *
+ * @internal
+ */
+export declare function telegraphWaveFrequencyRatio(tau: number, D: number, q: number): number;
+/** Parameters of the WD8 steady-state fixture. @internal */
+export interface SteadyStateFixture {
+    /** Thermal diffusivity α (= κ/(ρ c_p)). */
+    readonly alpha: number;
+    /** Rod length ℓ. */
+    readonly ell: number;
+    /** End temperatures. */
+    readonly tLeft: number;
+    readonly tRight: number;
+    /** Base time; the resolution multiplies it. */
+    readonly t0: number;
+    readonly cells: number;
+}
+/**
+ * WD8 — the largest deviation from the LINEAR steady profile (the Laplace
+ * equation's solution) of an FTCS heat solution with fixed end temperatures,
+ * started from a profile with a sin(πx/ℓ) bump, at `t = resolution · t0`.
+ * Tends to zero as t → ∞: the steady state is the heat equation's attractor.
+ * `reference` replaces the linear profile the deviation is measured against.
+ *
+ * @internal
+ */
+export declare function heatSteadyDeviation(resolution: number, f: SteadyStateFixture, reference?: (i: number, cells: number) => number): number;
+//# sourceMappingURL=numerics.d.ts.map

package/dist/atlas/diffusion/numerics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numerics.d.ts","sourceRoot":"","sources":["../../../src/atlas/diffusion/numerics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvE;AASD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAMpF;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAM3F;AAED,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,8BAA8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iBAAiB;IACjB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kBAAkB;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAGlF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,GAAG,MAAM,CA2BpE;AAED,6DAA6D;AAC7D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,2CAA2C;IAC3C,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE,WAAW,EACd,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,KAAK,MAAM,GAC7E,MAAM,CAMR;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,CAAC,EAAE,WAAW,EACd,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,KAAK,MAAM,EAC9E,SAAS,SAAK,EACd,KAAK,SAAO,GACX,MAAM,CAQR;AAID,yEAAyE;AACzE,MAAM,WAAW,eAAe;IAC9B,uBAAuB;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4BAA4B;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,GAAG,MAAM,CAmB/E;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAIrF;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oBAAoB;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,wBAAwB;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE,kBAAkB,EACrB,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,GAC/C,MAAM,CAyBR"}