universal-physics-tensor 0.45.2 → 0.46.0

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

@@ -0,0 +1,36 @@
+/**
+ * Atlas Phase 4, S4.4 — the three bridges of the diffusion family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * | Bridge | Relation | Witnesses |
+ * |---|---|---|
+ * | random walk → Fick | `coarse-graining` | WD1 (convergence), WD1b (light cone) |
+ * | heat ↔ Fick | `exact-equivalence` | WD2 (convergence), WD2s (CAS) |
+ * | free Schrödinger → Fick | `analytic-continuation` | W5, WD3 (convergence), WD3b (norm) |
+ *
+ * Regime groups are DERIVED through `deriveRegimeGroups` and keyed by
+ * `PiGroup.formula`; every inequality names one of those keys. The Fourier
+ * number `D·t/ℓ²` appears as `kappa · rho^-1 · cp^-1 · ell^-2 · t` on the heat
+ * side. **The Péclet number is not applicable to any model here**: it needs an
+ * advection velocity, and none of the four models has one. It is stated as a
+ * side condition (`no advection`) rather than invented as a group.
+ *
+ * Tolerances were set AFTER measuring each witness at several resolutions and
+ * are stated in the witness records; `tests/atlas/diffusion.test.ts` asserts
+ * the measured numbers.
+ *
+ * @module atlas/diffusion/bridges
+ */
+import type { AtlasBridge } from '../types.js';
+/** The Δt/t ceiling of the walk → diffusion regime: WD1's coarse resolution, 100 steps. @internal */
+export declare const WALK_MAX_STEP_FRACTION = 0.01;
+/** Bridge: lattice random walk → Fick diffusion, by coarse-graining. @internal */
+export declare const BRIDGE_WALK_DIFFUSION: AtlasBridge;
+/** Bridge: heat conduction ↔ Fick diffusion, an exact equivalence. @internal */
+export declare const BRIDGE_HEAT_DIFFUSION: AtlasBridge;
+/** Bridge: free Schrödinger → Fick diffusion, by Wick rotation. @internal */
+export declare const BRIDGE_SCHRODINGER_DIFFUSION: AtlasBridge;
+/** The diffusion family's bridges, in design-note order. @internal */
+export declare const DIFFUSION_BRIDGES: readonly AtlasBridge[];
+//# sourceMappingURL=bridges.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridges.d.ts","sourceRoot":"","sources":["../../../src/atlas/diffusion/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAO/C,qGAAqG;AACrG,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,kFAAkF;AAClF,eAAO,MAAM,qBAAqB,EAAE,WAwEnC,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,qBAAqB,EAAE,WA2DnC,CAAC;AAEF,6EAA6E;AAC7E,eAAO,MAAM,4BAA4B,EAAE,WAmE1C,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,iBAAiB,EAAE,SAAS,WAAW,EAInD,CAAC"}

package/dist/atlas/diffusion/bridges.js

@@ -0,0 +1,226 @@
+/**
+ * Atlas Phase 4, S4.4 — the three bridges of the diffusion family.
+ *
+ * Design note: `docs/planning/Atlas-Phase-4-Design.md` §4.
+ *
+ * | Bridge | Relation | Witnesses |
+ * |---|---|---|
+ * | random walk → Fick | `coarse-graining` | WD1 (convergence), WD1b (light cone) |
+ * | heat ↔ Fick | `exact-equivalence` | WD2 (convergence), WD2s (CAS) |
+ * | free Schrödinger → Fick | `analytic-continuation` | W5, WD3 (convergence), WD3b (norm) |
+ *
+ * Regime groups are DERIVED through `deriveRegimeGroups` and keyed by
+ * `PiGroup.formula`; every inequality names one of those keys. The Fourier
+ * number `D·t/ℓ²` appears as `kappa · rho^-1 · cp^-1 · ell^-2 · t` on the heat
+ * side. **The Péclet number is not applicable to any model here**: it needs an
+ * advection velocity, and none of the four models has one. It is stated as a
+ * side condition (`no advection`) rather than invented as a group.
+ *
+ * Tolerances were set AFTER measuring each witness at several resolutions and
+ * are stated in the witness records; `tests/atlas/diffusion.test.ts` asserts
+ * the measured numbers.
+ *
+ * @module atlas/diffusion/bridges
+ */
+import { LENGTH, MASS, ACTION, TIME } from '../../dimensional/types.js';
+import { deriveRegimeGroups } from '../regime.js';
+import { DENSITY, DIFFUSIVITY, SPECIFIC_HEAT, THERMAL_CONDUCTIVITY } from './dimensions.js';
+import { DIFFUSION_FAMILY_NAME } from './models.js';
+const TEST = 'tests/atlas/diffusion.test.ts';
+const WITNESS_RESULTS_TEST = 'tests/atlas/witness-results.test.ts';
+/** The Δt/t ceiling of the walk → diffusion regime: WD1's coarse resolution, 100 steps. @internal */
+export const WALK_MAX_STEP_FRACTION = 0.01;
+/** Bridge: lattice random walk → Fick diffusion, by coarse-graining. @internal */
+export const BRIDGE_WALK_DIFFUSION = {
+    id: 'ab-walk-diffusion',
+    relation: 'coarse-graining',
+    premises: ['model-random-walk'],
+    conclusion: 'model-fick',
+    transformation: 'P(n, k)/(2Δx) ↦ c(x = nΔx, t = kΔt), with the closure D = Δx²/(2Δt)',
+    preserves: [
+        'mean-square displacement ⟨x²⟩ = 2Dt, exactly at every step',
+        'total probability',
+        'the Gaussian long-time profile',
+    ],
+    doesNotPreserve: [
+        'the lattice spacing Δx and the step Δt as independent scales — only Δx²/Δt survives',
+        'parity: after an even number of steps only even sites are occupied',
+        'the finite propagation speed Δx/Δt: diffusion is positive everywhere at once',
+    ],
+    sideConditions: [
+        'the closure D = Δx²/(2Δt) is held fixed as Δx, Δt → 0',
+        'many steps: Δt/t ≪ 1',
+        'symmetric, unbiased steps',
+    ],
+    regime: {
+        family: DIFFUSION_FAMILY_NAME,
+        inequalities: [
+            {
+                group: 'dt · t^-1',
+                op: '<=',
+                bound: WALK_MAX_STEP_FRACTION,
+                alias: 'Δt/t ≪ 1 (machine form ≤ 0.01, the coarse resolution WD1 measures)',
+            },
+        ],
+        groupDefinitions: deriveRegimeGroups(DIFFUSION_FAMILY_NAME, [
+            { name: 'dx', dim: LENGTH },
+            { name: 'dt', dim: TIME },
+            { name: 'D', dim: DIFFUSIVITY },
+            { name: 't', dim: TIME },
+        ], []),
+    },
+    counterexamples: [
+        {
+            description: 'After 100 steps the walker cannot be more than 100 sites from the origin, so its ' +
+                'density at site 101 is exactly 0, while the diffusion kernel there is positive: the ' +
+                'coarse-grained model has no light cone.',
+            witness: 'WD1b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD1',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'density at the origin within 1e-4 of (4πDt)^-1/2 at 1000 steps; error shrinks with refinement',
+        },
+        {
+            id: 'WD1b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'walk density exactly 0 beyond the light cone while the kernel is > 0',
+        },
+    ],
+    citations: [
+        'Einstein, Ann. Phys. 17 (1905) 549 - Brownian motion; the mean-square displacement grows as 2Dt',
+        'Feller, An Introduction to Probability Theory and Its Applications, Vol. I - the symmetric random walk and the de Moivre-Laplace limit',
+    ],
+    reviewStatus: 'proposed',
+};
+/** Bridge: heat conduction ↔ Fick diffusion, an exact equivalence. @internal */
+export const BRIDGE_HEAT_DIFFUSION = {
+    id: 'ab-heat-diffusion',
+    relation: 'exact-equivalence',
+    premises: ['model-heat'],
+    conclusion: 'model-fick',
+    transformation: 'T ↦ c, κ/(ρ c_p) ↦ D',
+    inverse: 'c ↦ T, D ↦ κ/(ρ c_p) (any κ, ρ, c_p with that ratio)',
+    preserves: [
+        'the solution operator: equal initial data give equal solutions at every t',
+        'Fourier-mode decay rates D q²',
+        'the Fourier number D t/ℓ²',
+    ],
+    doesNotPreserve: [
+        'physical interpretation: temperature versus concentration',
+        'units',
+        'the separate values of κ, ρ and c_p — only their ratio survives',
+    ],
+    sideConditions: [
+        'homogeneous isotropic medium: κ, ρ, c_p constant',
+        'no sources and no advection (the Péclet number is not applicable to either model)',
+    ],
+    regime: {
+        family: DIFFUSION_FAMILY_NAME,
+        inequalities: [],
+        groupDefinitions: deriveRegimeGroups(DIFFUSION_FAMILY_NAME, [
+            { name: 'kappa', dim: THERMAL_CONDUCTIVITY },
+            { name: 'rho', dim: DENSITY },
+            { name: 'cp', dim: SPECIFIC_HEAT },
+            { name: 'D', dim: DIFFUSIVITY },
+            { name: 'ell', dim: LENGTH },
+            { name: 't', dim: TIME },
+        ], []),
+    },
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD2',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'FTCS heat solution at x = 0 within 5e-4 of the Fick solution with D = κ/(ρ c_p) at 160 cells',
+        },
+        {
+            id: 'WD2s',
+            kind: 'symbolic',
+            test: WITNESS_RESULTS_TEST,
+            tolerance: 'CAS: κq²/(ρ c_p) under κ ↦ D ρ c_p minus D q² simplifies to literal 0',
+        },
+    ],
+    citations: [
+        'Carslaw & Jaeger, Conduction of Heat in Solids - the heat equation and the thermal diffusivity κ/(ρ c_p)',
+        'Crank, The Mathematics of Diffusion - Fick’s second law and its identity with the heat-conduction equation',
+    ],
+    reviewStatus: 'proposed',
+};
+/** Bridge: free Schrödinger → Fick diffusion, by Wick rotation. @internal */
+export const BRIDGE_SCHRODINGER_DIFFUSION = {
+    id: 'ab-schrodinger-diffusion',
+    relation: 'analytic-continuation',
+    premises: ['model-schrodinger-free'],
+    conclusion: 'model-fick',
+    transformation: 't = −iτ: ψ(x, −iτ) ↦ c(x, τ), with D = ħ/(2m)',
+    preserves: [
+        'linearity',
+        'the Gaussian kernel structure, with a spread growing linearly in time',
+    ],
+    doesNotPreserve: [
+        'unitarity: ∫|ψ|² dx is conserved, ∫φ² dx decays',
+        'oscillation and phase: the oscillating propagator becomes a decaying Gaussian',
+        'time-reversal symmetry: diffusion is irreversible',
+    ],
+    sideConditions: [
+        'V = 0 (free particle)',
+        'the continuation is formal: real Schrödinger time maps to imaginary diffusion time',
+    ],
+    regime: {
+        family: DIFFUSION_FAMILY_NAME,
+        inequalities: [],
+        groupDefinitions: deriveRegimeGroups(DIFFUSION_FAMILY_NAME, [
+            { name: 'hbar', dim: ACTION },
+            { name: 'm', dim: MASS },
+            { name: 'D', dim: DIFFUSIVITY },
+        ], []),
+    },
+    counterexamples: [
+        {
+            description: 'The squared norm of the Wick-rotated kernel falls from 1.755 at τ = 0 to 0.580 at ' +
+                'τ = 4 (ħ = 1, m = 0.5, s = 0.7), where the Schrödinger norm would be conserved.',
+            witness: 'WD3b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'W5',
+            kind: 'numeric',
+            test: 'tests/atlas/quantum-support.test.ts',
+            tolerance: 'coefficients ħ/2m, −1, 1/ħ; free-kernel sup-norm residual ratio of ∂τφ = (ħ/2m)∂²φ below 1e-4',
+        },
+        {
+            id: 'WD3',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'finite-difference residual of ∂τφ = (ħ/2m)∂²φ below 1e-3 at h = 0.025',
+        },
+        {
+            id: 'WD3b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: '∫φ² dx matches s²√(2π/σ(τ)) within 1e-9 and decreases in τ',
+        },
+    ],
+    citations: [
+        'Feynman & Hibbs, Quantum Mechanics and Path Integrals - the free-particle kernel and its imaginary-time form',
+        'Nelson, J. Math. Phys. 5 (1964) 332 - Feynman integrals and the Schrödinger equation (the analytic continuation to the heat kernel)',
+    ],
+    reviewStatus: 'proposed',
+};
+/** The diffusion family's bridges, in design-note order. @internal */
+export const DIFFUSION_BRIDGES = [
+    BRIDGE_WALK_DIFFUSION,
+    BRIDGE_HEAT_DIFFUSION,
+    BRIDGE_SCHRODINGER_DIFFUSION,
+];
+//# sourceMappingURL=bridges.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridges.js","sourceRoot":"","sources":["../../../src/atlas/diffusion/bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,MAAM,IAAI,GAAG,+BAA+B,CAAC;AAC7C,MAAM,oBAAoB,GAAG,qCAAqC,CAAC;AAEnE,qGAAqG;AACrG,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,kFAAkF;AAClF,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,iBAAiB;IAC3B,QAAQ,EAAE,CAAC,mBAAmB,CAAC;IAC/B,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,qEAAqE;IACrF,SAAS,EAAE;QACT,4DAA4D;QAC5D,mBAAmB;QACnB,gCAAgC;KACjC;IACD,eAAe,EAAE;QACf,qFAAqF;QACrF,oEAAoE;QACpE,8EAA8E;KAC/E;IACD,cAAc,EAAE;QACd,uDAAuD;QACvD,sBAAsB;QACtB,2BAA2B;KAC5B;IACD,MAAM,EAAE;QACN,MAAM,EAAE,qBAAqB;QAC7B,YAAY,EAAE;YACZ;gBACE,KAAK,EAAE,WAAW;gBAClB,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,sBAAsB;gBAC7B,KAAK,EAAE,oEAAoE;aAC5E;SACF;QACD,gBAAgB,EAAE,kBAAkB,CAClC,qBAAqB,EACrB;YACE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;YAC3B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;YACzB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;YAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;SACzB,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,mFAAmF;gBACnF,sFAAsF;gBACtF,yCAAyC;YAC3C,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,+FAA+F;SAClG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,sEAAsE;SAClF;KACF;IACD,SAAS,EAAE;QACT,iGAAiG;QACjG,wIAAwI;KACzI;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,mBAAmB;IAC7B,QAAQ,EAAE,CAAC,YAAY,CAAC;IACxB,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,sBAAsB;IACtC,OAAO,EAAE,sDAAsD;IAC/D,SAAS,EAAE;QACT,2EAA2E;QAC3E,+BAA+B;QAC/B,2BAA2B;KAC5B;IACD,eAAe,EAAE;QACf,2DAA2D;QAC3D,OAAO;QACP,iEAAiE;KAClE;IACD,cAAc,EAAE;QACd,kDAAkD;QAClD,mFAAmF;KACpF;IACD,MAAM,EAAE;QACN,MAAM,EAAE,qBAAqB;QAC7B,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAClC,qBAAqB,EACrB;YACE,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,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;YAC/B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;YAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;SACzB,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,8FAA8F;SACjG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,oBAAoB;YAC1B,SAAS,EAAE,uEAAuE;SACnF;KACF;IACD,SAAS,EAAE;QACT,0GAA0G;QAC1G,4GAA4G;KAC7G;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,4BAA4B,GAAgB;IACvD,EAAE,EAAE,0BAA0B;IAC9B,QAAQ,EAAE,uBAAuB;IACjC,QAAQ,EAAE,CAAC,wBAAwB,CAAC;IACpC,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,+CAA+C;IAC/D,SAAS,EAAE;QACT,WAAW;QACX,uEAAuE;KACxE;IACD,eAAe,EAAE;QACf,iDAAiD;QACjD,+EAA+E;QAC/E,mDAAmD;KACpD;IACD,cAAc,EAAE;QACd,uBAAuB;QACvB,oFAAoF;KACrF;IACD,MAAM,EAAE;QACN,MAAM,EAAE,qBAAqB;QAC7B,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,kBAAkB,CAClC,qBAAqB,EACrB;YACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;YAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;YACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;SAChC,EACD,EAAE,CACH;KACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,oFAAoF;gBACpF,iFAAiF;YACnF,OAAO,EAAE,MAAM;SAChB;KACF;IACD,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxD,SAAS,EAAE;QACT;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EACP,+FAA+F;SAClG;QACD;YACE,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,uEAAuE;SACnF;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4DAA4D;SACxE;KACF;IACD,SAAS,EAAE;QACT,8GAA8G;QAC9G,qIAAqI;KACtI;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,sEAAsE;AACtE,MAAM,CAAC,MAAM,iBAAiB,GAA2B;IACvD,qBAAqB;IACrB,qBAAqB;IACrB,4BAA4B;CAC7B,CAAC"}

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

@@ -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 type { Dimension } from '../../dimensional/types.js';
+/** m²/s, `L^2 T^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:44`. @internal */
+export declare const DIFFUSIVITY: Dimension;
+/** W·m⁻¹·K⁻¹, `L M T^-3 Θ^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:42`. @internal */
+export declare const THERMAL_CONDUCTIVITY: Dimension;
+/** kg/m³, `L^-3 M` — `src/canonical/entries/thermo-nuclear-cosmo.ts:43`. @internal */
+export declare const DENSITY: Dimension;
+/** J·kg⁻¹·K⁻¹, `L^2 T^-2 Θ^-1` — `src/canonical/entries/thermo-nuclear-cosmo.ts:35`. @internal */
+export declare const SPECIFIC_HEAT: Dimension;
+//# sourceMappingURL=dimensions.d.ts.map

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"}