universal-physics-tensor 0.45.1 → 0.46.0

package/dist/atlas/derive-evidence.js

@@ -0,0 +1,225 @@
+/**
+ * Atlas Phase 1, S1.3 — evidence tags, DERIVED AT READ TIME.
+ *
+ * Design note: `docs/planning/Atlas-Phase-1-Design.md` §3 and §4.
+ *
+ * **The contract of this module: it has no write path.** No record stores an
+ * evidence set; every tag is computed from the artifacts a record actually
+ * carries, each time it is asked for. A tag is emitted ONLY when the artifact
+ * it names is present and passing. There is no default-true tag, no tag
+ * derived from another tag, no tag derived from `reviewStatus`, and no tag
+ * derived from prose. A record carrying no passing witness derives exactly
+ * `{'proposed'}`.
+ *
+ * ## The empty-set trap (design note §3, Adam A1 RED — confirmed by execution)
+ *
+ * `convention-checked` is the ONLY rule in the table whose quantifier is
+ * universal (`every`). Written as "`conventions` is present AND every declared
+ * field is consumed by a witness", it hands the tag to a record with ZERO
+ * witnesses, because `conventions = {}` declares nothing and `[].every(…)` is
+ * vacuously true. {@link deriveEvidence} therefore requires a NON-EMPTY
+ * declaration before the universal runs, and
+ * `tests/atlas/derive-evidence.test.ts` pins the empty-object case.
+ *
+ * **The general rule, for anything added here later:** a universal quantifier
+ * in a tag derivation must be paired with a non-emptiness check, or the tag is
+ * free. The other rules are existentials (`some`), which are false on the
+ * empty set and therefore safe.
+ *
+ * ## What "passing" means, and why the caller supplies it
+ *
+ * `Witness` records an id and the test file that runs it; nothing on the
+ * record says whether that test passed. Proving it is a filesystem act (see
+ * `tests/atlas/evidence-rule.test.ts`, which matches witness ids against test
+ * titles), and this module is pure. So the set of passing witness ids is an
+ * ARGUMENT, and it is REQUIRED — {@link NO_PASSING_WITNESSES} must be passed
+ * explicitly when nothing is verified.
+ *
+ * It used to DEFAULT to empty, which sounds conservative and was in fact a
+ * defect (Eve E1 RED, confirmed by execution). Defaulting the other way, to
+ * "all", would have been the free-tag defect above in a second location — but
+ * defaulting to empty created the mirror-image failure: a forgotten argument
+ * produced an answer identical to a real negative. A catalog-wide check written
+ * that way could only ever report "no row gains evidence", whatever the rows
+ * held, so it could not fail. Requiring the argument makes a vacuous result a
+ * STATED choice, and `tests/atlas/coverage.test.ts` now carries a positive
+ * control so that a negative result carries information.
+ *
+ * @module atlas/derive-evidence
+ * @internal
+ */
+/**
+ * A row's counterexamples INCLUDING the one its rejection constitutes.
+ *
+ * ROADMAP §7 Phase 1 asks for "a `RejectedBridgeAdjudication` ⇒ `contradicted`
+ * with the counterexample LINKED". The linking half is what matters and was
+ * missing: BE-35 had a counterexample written by hand and earned `contradicted`
+ * honestly, while BE-28, BE-29, BE-32 and BE-40 had none — and an earlier rule
+ * papered over that by FORCING `contradicted` onto every rejected row, which
+ * manufactured a refutation from nothing (Eve E1).
+ *
+ * This is the linking done properly. The rejection's own `reason` IS the
+ * counterexample: a row rejected for being single-regime is refuted AS A BRIDGE
+ * by exactly that argument. Projecting it means `contradicted` is then EARNED
+ * through the ordinary derivation rather than asserted by a special case.
+ *
+ * **It is a projection, not a copy.** The reason string is never duplicated into
+ * a catalog row; `bridges/rejected.ts` remains its single source, which is what
+ * the ROADMAP means by "cross-linked ... rather than duplicating it". The caller
+ * supplies the rejection, so this module still owns no view of WHICH ids are
+ * rejected.
+ *
+ * @internal
+ */
+export function counterexamplesWithRejection(record, rejection) {
+    const own = record.counterexamples ?? [];
+    if (rejection === undefined)
+        return own;
+    // Do not double-count. A row may ALREADY cite the rejection by hand — BE-35
+    // does, with `witness: 'src/bridges/rejected.ts - REJECTED_BRIDGE_ADJUDICATIONS,
+    // beId 35'`. My first predicate matched only the machine key `rejection:<id>`
+    // and so missed it, appending the SAME argument a second time in different
+    // words, which is exactly the duplication the ROADMAP says to avoid. The
+    // predicate therefore accepts either form: the machine key, or any witness
+    // that names the rejection registry together with this beId.
+    const key = `rejection:${rejection.beId}`;
+    const alreadyLinked = own.some((c) => {
+        const w = c.witness ?? '';
+        if (w === key)
+            return true;
+        return w.includes('REJECTED_BRIDGE_ADJUDICATIONS') && w.includes(String(rejection.beId));
+    });
+    if (alreadyLinked)
+        return own;
+    return [
+        ...own,
+        { description: rejection.reason, witness: `rejection:${rejection.beId}` },
+    ];
+}
+/**
+ * The empty passing set, for a caller that genuinely has nothing marked passing.
+ *
+ * ⚠ This is EXPORTED and must be passed EXPLICITLY. It used to be a default
+ * parameter value, and that was a defect found by post-implementation review
+ * (Eve, E1) and confirmed by execution: a record carrying three passing
+ * witnesses and a consumed convention derived `{'proposed'}` under the default —
+ * byte-identical to an empty record. A caller who simply forgot the argument got
+ * an answer indistinguishable from a real negative.
+ *
+ * That made a catalog-wide check VACUOUS rather than reassuring. "No row gains
+ * evidence" was the only outcome the call could produce, whatever the rows
+ * contained, so the check could not fail and proved nothing. Requiring the
+ * argument forces the caller to STATE which witnesses were verified, which is
+ * exactly the decision that must never be implicit.
+ */
+export const NO_PASSING_WITNESSES = new Set();
+/** The fields `Conventions` may declare. Kept in one place so the check is total. */
+const CONVENTION_FIELDS = [
+    'heatWorkSign',
+    'metricSignature',
+    'fourierNormalization',
+    'unitSystem',
+    'capacitorChargeSign',
+];
+/** The convention fields a record actually declares (a `undefined` value declares nothing). */
+function declaredConventionFields(conventions) {
+    if (conventions === undefined)
+        return [];
+    return CONVENTION_FIELDS.filter((field) => conventions[field] !== undefined);
+}
+/**
+ * Derive the evidence set of one record.
+ *
+ * @param record - the artifacts the record carries.
+ * @param passingWitnessIds - ids of witnesses VERIFIED to pass. REQUIRED: pass
+ * {@link NO_PASSING_WITNESSES} explicitly when nothing is verified, so that a
+ * vacuous result is a stated choice rather than a forgotten argument.
+ * @returns a fresh set; never cached, never stored.
+ * @internal
+ */
+export function deriveEvidence(record, passingWitnessIds) {
+    const tags = new Set();
+    const passing = (record.witnesses ?? []).filter((w) => passingWitnessIds.has(w.id));
+    // Existentials over the passing witnesses — false on the empty set.
+    // `symbolically-checked` has exactly ONE derivation: a passing symbolic
+    // witness. Which symbolic witnesses pass is DEFINED by the committed results
+    // artifact (`data/atlas/witness-results.json`, Phase 4 §3) — the caller feeds
+    // it in through `passingWitnessIds` via `artifactPassingWitnessIds`.
+    if (passing.some((w) => w.kind === 'dimensional'))
+        tags.add('dimension-checked');
+    if (passing.some((w) => w.kind === 'symbolic'))
+        tags.add('symbolically-checked');
+    // `formally-proved` iff a formal reference exists AND someone checked that
+    // its statement says what the record says. `'unreviewed'` records a reference
+    // without earning the tag — a proof of the wrong statement proves nothing.
+    if (record.formalRef !== undefined && record.formalRef.fidelity !== 'unreviewed') {
+        tags.add('formally-proved');
+    }
+    if (passing.some((w) => w.kind === 'numeric'))
+        tags.add('numerically-supported');
+    // The ONE universal in the table — guarded by non-emptiness. See §3 above.
+    const declared = declaredConventionFields(record.conventions);
+    if (declared.length > 0 &&
+        declared.every((field) => passing.some((w) => (w.consumes ?? []).includes(field)))) {
+        tags.add('convention-checked');
+    }
+    // Existential: a counterexample with no resolution.
+    if ((record.counterexamples ?? []).some((c) => c.resolvedBy === undefined || c.resolvedBy === '')) {
+        tags.add('contradicted');
+    }
+    if (tags.size === 0)
+        tags.add('proposed');
+    return tags;
+}
+/**
+ * Derive the evidence set of a catalog row, under the adjudication precedence
+ * of design note §4. The verdict is supplied by the caller — it comes from
+ * `adjudicateBridgeEntry`, which owns the rejected-id registry
+ * (`REJECTED_BRIDGE_IDS`). Reading that registry here would make this file a
+ * second source of truth about which ids are rejected.
+ *
+ * | Verdict | Derives |
+ * |---|---|
+ * | `'not-a-bridge'` | {@link deriveEvidence} runs normally — see below |
+ * | `'unadjudicated'` | `{'proposed'}` only — never a refutation, never support |
+ * | `'bridge'` | {@link deriveEvidence} runs normally |
+ *
+ * ## ⚠ `'not-a-bridge'` no longer forces `'contradicted'` (Eve E1, 2026-09-21)
+ *
+ * It used to, "regardless of witnesses", and that rule — written by me in design
+ * note §4 — **violated §3 of the same document.** `contradicted` means THE CLAIM
+ * IS REFUTED. `not-a-bridge` means THE ROW IS NOT A REGIME-CROSSING BRIDGE.
+ * Those are different assertions about different things, and conflating them made
+ * the library report BE-35 as `status: 'established'` and `evidence:
+ * {'contradicted'}` in the same breath — from which a reader cannot tell whether
+ * the equation is a true in-regime identity the bridge graph ignores, or a
+ * refuted statement.
+ *
+ * Measured when the rule was removed: of the five rejected rows, only **BE-35**
+ * carries an actual counterexample, and it derives `{'contradicted'}` NATURALLY
+ * through the normal path. **BE-28, BE-29, BE-32 and BE-40 carry none** — the old
+ * rule was manufacturing a refutation for four rows with no refuting artifact
+ * whatsoever. That is exactly what §3 forbids: a tag is emitted only when the
+ * artifact it names is present and passing.
+ *
+ * Membership already has a single owner — `adjudicateBridgeEntry` — and it does
+ * not need restating in the evidence vocabulary. Removing the case leaves each
+ * fact with exactly one source, which is what §4 was trying to achieve and this
+ * rule was quietly undermining.
+ *
+ * @internal
+ */
+export function deriveEvidenceForVerdict(verdict, record, passingWitnessIds) {
+    switch (verdict) {
+        // 'not-a-bridge' falls through to the normal derivation on purpose: a row
+        // is refuted by a COUNTEREXAMPLE, not by failing a membership test. See the
+        // block comment above for the measurement that forced this change.
+        case 'not-a-bridge':
+            return deriveEvidence(record, passingWitnessIds);
+        case 'unadjudicated':
+            return new Set(['proposed']);
+        case 'bridge':
+            return deriveEvidence(record, passingWitnessIds);
+    }
+}
+//# sourceMappingURL=derive-evidence.js.map

package/dist/atlas/derive-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive-evidence.js","sourceRoot":"","sources":["../../src/atlas/derive-evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAsEH;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAqB,EACrB,SAAoC;IAEpC,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;IACzC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IACxC,4EAA4E;IAC5E,iFAAiF;IACjF,8EAA8E;IAC9E,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,6DAA6D;IAC7D,MAAM,GAAG,GAAG,aAAa,SAAS,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,aAAa,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAC3B,OAAO,CAAC,CAAC,QAAQ,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,IAAI,aAAa;QAAE,OAAO,GAAG,CAAC;IAC9B,OAAO;QACL,GAAG,GAAG;QACN,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,SAAS,CAAC,IAAI,EAAE,EAAE;KAC1E,CAAC;AACJ,CAAC;AAcD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,EAAU,CAAC;AAE3E,qFAAqF;AACrF,MAAM,iBAAiB,GAAG;IACxB,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,YAAY;IACZ,qBAAqB;CAC4B,CAAC;AAEpD,+FAA+F;AAC/F,SAAS,wBAAwB,CAC/B,WAAoC;IAEpC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,OAAO,iBAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAqB,EACrB,iBAAsC;IAEtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAe,CAAC;IAEpC,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEpF,oEAAoE;IACpE,wEAAwE;IACxE,6EAA6E;IAC7E,8EAA8E;IAC9E,qEAAqE;IACrE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAEjF,2EAA2E;IAC3E,8EAA8E;IAC9E,2EAA2E;IAC3E,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QACjF,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IAEjF,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC9D,IACE,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAClF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACjC,CAAC;IAED,oDAAoD;IACpD,IACE,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CACzD,EACD,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAA0B,EAC1B,MAAqB,EACrB,iBAAsC;IAEtC,QAAQ,OAAO,EAAE,CAAC;QAChB,0EAA0E;QAC1E,4EAA4E;QAC5E,mEAAmE;QACnE,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACnD,KAAK,eAAe;YAClB,OAAO,IAAI,GAAG,CAAc,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACrD,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,63 @@
+/**
+ * Atlas Phase 4 — the five diffusion-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 |
+ * |---|---|---|
+ * | Langevin → Fick | `coarse-graining` | WD4 (convergence), WD4b (ballistic regime) |
+ * | Langevin + Stokes drag → Fick | `derivation`, **hyperedge** | WD5 (canonical + water), WD5s (CAS) |
+ * | telegraph → Fick | `approximation` (singular, τ → 0) | WD6 (convergence), WD6b (oscillatory modes) |
+ * | telegraph → 1-D wave | `approximation` (τDq² → ∞, t ≪ τ) | WD7 (convergence) |
+ * | heat → Laplace | `restriction` (steady state) | WD8 (convergence in time) |
+ *
+ * Every regime inequality keys a `PiGroup.formula` derived from the dimension
+ * matrix. Every `delta` is the EXACT error at its domain edge; every error
+ * function used for it is monotone on the domain, so the edge value is the
+ * supremum.
+ *
+ * @module atlas/diffusion/bridges-closure
+ */
+import type { AtlasBridge } from '../types.js';
+/** τ_p/t ceiling of the Langevin → Fick regime: WD4's fine resolution, t = 100 τ_p. @internal */
+export declare const LANGEVIN_MAX_TAU_RATIO = 0.01;
+/** ε = τDq² ceiling of the telegraph → Fick domain. @internal */
+export declare const TELEGRAPH_FICK_MAX_EPS = 0.05;
+/** ε = τDq² floor of the telegraph → wave domain. @internal */
+export declare const TELEGRAPH_WAVE_MIN_EPS = 25;
+/** Fourier-number floor of the steady-state restriction. @internal */
+export declare const STEADY_MIN_FOURIER = 1;
+/** Bridge: Langevin → Fick, the Einstein coarse-graining D = k_BT/γ. @internal */
+export declare const BRIDGE_LANGEVIN_DIFFUSION: AtlasBridge;
+/**
+ * Bridge: Langevin + Stokes drag → Fick with the Stokes–Einstein coefficient.
+ *
+ * A HYPEREDGE: the Langevin model supplies D = k_BT/γ with γ free; Stokes drag
+ * supplies γ = 6πηa for a sphere. Neither alone gives D in terms of the fluid.
+ *
+ * @internal
+ */
+export declare const BRIDGE_STOKES_EINSTEIN: AtlasBridge;
+/**
+ * Bridge: telegraph → Fick, the SINGULAR limit τ → 0.
+ *
+ * Singular because the highest time derivative is lost: the telegraph equation
+ * needs two initial conditions and diffusion takes one, so a fast mode
+ * `e^{−t/τ}` forms an initial layer. The bound therefore holds only AFTER that
+ * layer, and the machine horizon has a LOWER edge as well as an upper one.
+ *
+ * @internal
+ */
+export declare const BRIDGE_TELEGRAPH_DIFFUSION: AtlasBridge;
+/**
+ * Bridge: telegraph → 1-D wave, for strongly underdamped modes over short times.
+ *
+ * @internal
+ */
+export declare const BRIDGE_TELEGRAPH_WAVE: AtlasBridge;
+/** Bridge: heat → Laplace, the steady-state restriction. @internal */
+export declare const BRIDGE_HEAT_LAPLACE: AtlasBridge;
+/** The diffusion-family closure bridges. @internal */
+export declare const DIFFUSION_CLOSURE_BRIDGES: readonly AtlasBridge[];
+//# sourceMappingURL=bridges-closure.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-closure.d.ts","sourceRoot":"","sources":["../../../src/atlas/diffusion/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAMH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAS/C,iGAAiG;AACjG,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,iEAAiE;AACjE,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C,+DAA+D;AAC/D,eAAO,MAAM,sBAAsB,KAAK,CAAC;AAEzC,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAWpC,kFAAkF;AAClF,eAAO,MAAM,yBAAyB,EAAE,WA0DvC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAyCpC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAyExC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAiDnC,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,WAsCjC,CAAC;AAEF,sDAAsD;AACtD,eAAO,MAAM,yBAAyB,EAAE,SAAS,WAAW,EAM3D,CAAC"}

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

@@ -0,0 +1,324 @@
+/**
+ * Atlas Phase 4 — the five diffusion-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 |
+ * |---|---|---|
+ * | Langevin → Fick | `coarse-graining` | WD4 (convergence), WD4b (ballistic regime) |
+ * | Langevin + Stokes drag → Fick | `derivation`, **hyperedge** | WD5 (canonical + water), WD5s (CAS) |
+ * | telegraph → Fick | `approximation` (singular, τ → 0) | WD6 (convergence), WD6b (oscillatory modes) |
+ * | telegraph → 1-D wave | `approximation` (τDq² → ∞, t ≪ τ) | WD7 (convergence) |
+ * | heat → Laplace | `restriction` (steady state) | WD8 (convergence in time) |
+ *
+ * Every regime inequality keys a `PiGroup.formula` derived from the dimension
+ * matrix. Every `delta` is the EXACT error at its domain edge; every error
+ * function used for it is monotone on the domain, so the edge value is the
+ * supremum.
+ *
+ * @module atlas/diffusion/bridges-closure
+ */
+import { ENERGY, LENGTH, MASS, TIME, VELOCITY } from '../../dimensional/types.js';
+import { makeApproximation } from '../oscillators/bridges-limits.js';
+import { DAMPING } from '../oscillators/dimensions.js';
+import { deriveRegimeGroups } from '../regime.js';
+import { WAVENUMBER } from '../waves/models.js';
+import { DENSITY, DIFFUSIVITY, SPECIFIC_HEAT, THERMAL_CONDUCTIVITY } from './dimensions.js';
+import { DIFFUSION_FAMILY_NAME, VISCOSITY } from './models.js';
+import { telegraphSlowRateRatio, telegraphWaveFrequencyRatio } from './numerics.js';
+const TEST = 'tests/atlas/closure.test.ts';
+const WITNESS_RESULTS_TEST = 'tests/atlas/witness-results.test.ts';
+/** τ_p/t ceiling of the Langevin → Fick regime: WD4's fine resolution, t = 100 τ_p. @internal */
+export const LANGEVIN_MAX_TAU_RATIO = 0.01;
+/** ε = τDq² ceiling of the telegraph → Fick domain. @internal */
+export const TELEGRAPH_FICK_MAX_EPS = 0.05;
+/** ε = τDq² floor of the telegraph → wave domain. @internal */
+export const TELEGRAPH_WAVE_MIN_EPS = 25;
+/** Fourier-number floor of the steady-state restriction. @internal */
+export const STEADY_MIN_FOURIER = 1;
+const regime = (parameters, inequalities) => ({
+    family: DIFFUSION_FAMILY_NAME,
+    inequalities,
+    groupDefinitions: deriveRegimeGroups(DIFFUSION_FAMILY_NAME, parameters, []),
+});
+/** Bridge: Langevin → Fick, the Einstein coarse-graining D = k_BT/γ. @internal */
+export const BRIDGE_LANGEVIN_DIFFUSION = {
+    id: 'ab-langevin-diffusion',
+    relation: 'coarse-graining',
+    premises: ['model-langevin'],
+    conclusion: 'model-fick',
+    transformation: 'average over times t ≫ τ_p = m/γ: ⟨x²⟩ → 2Dt with D = k_B T/γ (Einstein)',
+    preserves: ['the long-time mean-square displacement', 'the equilibrium velocity variance k_B T/m'],
+    doesNotPreserve: [
+        'the velocity as a state variable',
+        'the ballistic regime t ≲ τ_p, where ⟨x²⟩ ≈ (k_B T/m) t²',
+        'the momentum relaxation time τ_p as an independent scale',
+    ],
+    sideConditions: ['overdamped observation times: τ_p/t ≪ 1', 'white thermal noise, fluctuation–dissipation 2γk_BT'],
+    regime: regime([
+        { name: 'm', dim: MASS },
+        { name: 'gamma', dim: DAMPING },
+        { name: 'kT', dim: ENERGY },
+        { name: 'D', dim: DIFFUSIVITY },
+        { name: 't', dim: TIME },
+    ], [
+        {
+            group: 'm · gamma^-1 · t^-1',
+            op: '<=',
+            bound: LANGEVIN_MAX_TAU_RATIO,
+            alias: 'τ_p/t ≪ 1 (machine form ≤ 0.01)',
+        },
+    ]),
+    counterexamples: [
+        {
+            description: 'At t = 0.1 τ_p the Langevin mean-square displacement is 0.048 of 2Dt: the particle is ' +
+                'still ballistic, ⟨x²⟩ ≈ (k_BT/m)t², and the diffusion model does not describe it.',
+            witness: 'WD4b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD4',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: '⟨x²⟩/(2Dt) within 0.02 of 1 at t = 100 τ_p, from the Langevin moment equations by RK4',
+        },
+        {
+            id: 'WD4b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: '⟨x²⟩/(2Dt) = 0.0484 at t = 0.1 τ_p',
+        },
+    ],
+    citations: [
+        'Uhlenbeck & Ornstein, Phys. Rev. 36 (1930) 823 - On the theory of the Brownian motion',
+        'Einstein, Ann. Phys. 17 (1905) 549 - the relation D = k_B T/γ',
+    ],
+    reviewStatus: 'proposed',
+};
+/**
+ * Bridge: Langevin + Stokes drag → Fick with the Stokes–Einstein coefficient.
+ *
+ * A HYPEREDGE: the Langevin model supplies D = k_BT/γ with γ free; Stokes drag
+ * supplies γ = 6πηa for a sphere. Neither alone gives D in terms of the fluid.
+ *
+ * @internal
+ */
+export const BRIDGE_STOKES_EINSTEIN = {
+    id: 'ab-stokes-einstein',
+    relation: 'derivation',
+    premises: ['model-langevin', 'model-stokes-drag'],
+    conclusion: 'model-fick',
+    transformation: 'substitute γ = 6πηa into D = k_B T/γ: D = k_B T/(6πηa)',
+    preserves: ['the long-time diffusion coefficient of a sphere'],
+    doesNotPreserve: ['the particle mass (it drops out)', 'the shape beyond the radius a'],
+    sideConditions: ['creeping flow around the sphere, Re ≪ 1', 'no-slip boundary', 'overdamped times t ≫ m/γ'],
+    regime: regime([
+        { name: 'kT', dim: ENERGY },
+        { name: 'gamma', dim: DAMPING },
+        { name: 'eta', dim: VISCOSITY },
+        { name: 'a', dim: LENGTH },
+        { name: 'D', dim: DIFFUSIVITY },
+    ], []),
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD5',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'agrees with CE-stokes-einstein to 1e-12 relative; a 1 µm sphere in water at 20 °C gives D = 4.29e-13 m²/s',
+        },
+        {
+            id: 'WD5s',
+            kind: 'symbolic',
+            test: WITNESS_RESULTS_TEST,
+            tolerance: 'CAS: k_BT/γ under γ ↦ 6πηa minus k_BT/(6πηa) simplifies to literal 0',
+        },
+    ],
+    citations: [
+        'Einstein, Ann. Phys. 17 (1905) 549 - Brownian motion of a sphere, D = k_B T/(6πηa)',
+        'Stokes, Trans. Camb. Phil. Soc. 9 (1851) 8 - the drag on a sphere in creeping flow',
+    ],
+    reviewStatus: 'proposed',
+};
+/**
+ * Bridge: telegraph → Fick, the SINGULAR limit τ → 0.
+ *
+ * Singular because the highest time derivative is lost: the telegraph equation
+ * needs two initial conditions and diffusion takes one, so a fast mode
+ * `e^{−t/τ}` forms an initial layer. The bound therefore holds only AFTER that
+ * layer, and the machine horizon has a LOWER edge as well as an upper one.
+ *
+ * @internal
+ */
+export const BRIDGE_TELEGRAPH_DIFFUSION = {
+    id: 'ab-telegraph-diffusion',
+    relation: 'approximation',
+    premises: ['model-telegraph'],
+    conclusion: 'model-fick',
+    transformation: 'drop τ u_tt: the slow mode decays at Dq²(1 + ε + 2ε² + …) → Dq², ε = τDq²',
+    preserves: ['the slow decay rate of each Fourier mode to O(ε)', 'the total amount ∫u dx'],
+    doesNotPreserve: [
+        'the finite signal speed √(D/τ)',
+        'the second initial condition u_t(x, 0)',
+        'oscillatory modes, which exist for ε > 1/4',
+    ],
+    sideConditions: ['ε = τDq² ≤ 0.05', 'after the initial layer: t ≫ τ'],
+    bound: makeApproximation({
+        K: 1,
+        delta: telegraphSlowRateRatio(TELEGRAPH_FICK_MAX_EPS, 1, 1) - 1,
+        deltaAt: (p) => telegraphSlowRateRatio(p['tau'] ?? Number.NaN, p['D'] ?? Number.NaN, p['q'] ?? Number.NaN) - 1,
+        norm: 'relative error of the slow-mode decay rate of a Fourier mode',
+        domain: 'ε = τDq² ≤ 0.05',
+        horizon: 'τ ≪ t ≪ 1/(δ D q²): after the initial layer and before the decay-rate error accumulates; ' +
+            'machine form 5τ < t < 0.1/(δ D q²)',
+        horizonHolds: (t, p) => {
+            const { tau, D, q } = p;
+            if (tau === undefined || D === undefined || q === undefined)
+                return false;
+            const delta = telegraphSlowRateRatio(tau, D, q) - 1;
+            if (!Number.isFinite(delta))
+                return false;
+            if (t <= 5 * tau)
+                return false;
+            return delta === 0 || t < 0.1 / (delta * D * q * q);
+        },
+        parameterRange: 'ε = τDq² ≤ 0.05',
+        limitCharacter: 'singular',
+        // A slow-mode decay-rate error. The horizon says that error accumulates,
+        // so time is not listed.
+        uniformity: ['slow-mode decay rate of one Fourier mode, for ε = τDq² ≤ 0.05'],
+    }),
+    regime: regime([
+        { name: 'tau', dim: TIME },
+        { name: 'D', dim: DIFFUSIVITY },
+        { name: 'q', dim: WAVENUMBER },
+    ], [{ group: 'tau · D · q^2', op: '<=', bound: TELEGRAPH_FICK_MAX_EPS, alias: 'ε = τDq² ≤ 0.05' }]),
+    counterexamples: [
+        {
+            description: 'At ε = τDq² = 1 the telegraph mode is OSCILLATORY (complex rate, NaN on the slow branch): ' +
+                'no diffusion mode oscillates.',
+            witness: 'WD6b',
+        },
+    ],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD6',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'slow rate / Dq² within 0.03 of 1 at τ = 0.025 (D = q = 1); error halves with τ',
+        },
+        {
+            id: 'WD6b',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'no real slow rate at ε = 1',
+        },
+    ],
+    citations: [
+        'Cattaneo, Atti Sem. Mat. Fis. Univ. Modena 3 (1948) 83 - heat conduction with a relaxation time',
+        'Goldstein, Q. J. Mech. Appl. Math. 4 (1951) 129 - On diffusion by discontinuous movements, and on the telegraph equation',
+    ],
+    reviewStatus: 'proposed',
+};
+/**
+ * Bridge: telegraph → 1-D wave, for strongly underdamped modes over short times.
+ *
+ * @internal
+ */
+export const BRIDGE_TELEGRAPH_WAVE = {
+    id: 'ab-telegraph-wave',
+    relation: 'approximation',
+    premises: ['model-telegraph'],
+    conclusion: 'model-wave-1d',
+    transformation: 'drop u_t: τ u_tt = D u_xx, a wave with c² = D/τ',
+    preserves: ['the signal speed √(D/τ)', 'the oscillation frequency to O(1/ε)'],
+    doesNotPreserve: ['damping: telegraph modes decay as e^{−t/(2τ)}', 'relaxation to diffusion at long times'],
+    sideConditions: ['ε = τDq² ≥ 25', 'short times t ≪ τ (the bound is not uniform in time)'],
+    bound: makeApproximation({
+        K: 1,
+        delta: 1 - telegraphWaveFrequencyRatio(TELEGRAPH_WAVE_MIN_EPS, 1, 1),
+        deltaAt: (p) => 1 - telegraphWaveFrequencyRatio(p['tau'] ?? Number.NaN, p['D'] ?? Number.NaN, p['q'] ?? Number.NaN),
+        norm: 'relative error of the oscillation frequency of a Fourier mode',
+        domain: 'ε = τDq² ≥ 25',
+        horizon: 't ≪ τ: before damping e^{−t/(2τ)} removes 10% of the amplitude; machine form t < 2τ ln(10/9)',
+        horizonHolds: (t, p) => {
+            const { tau } = p;
+            if (tau === undefined || !(tau > 0))
+                return false;
+            return t >= 0 && t < 2 * tau * Math.log(10 / 9);
+        },
+        parameterRange: 'ε = τDq² ≥ 25',
+        limitCharacter: 'regular',
+        // An oscillation-frequency error. The record says it is not uniform in time.
+        uniformity: ['oscillation frequency of one Fourier mode, for ε = τDq² ≥ 25'],
+    }),
+    regime: regime([
+        { name: 'tau', dim: TIME },
+        { name: 'D', dim: DIFFUSIVITY },
+        { name: 'q', dim: WAVENUMBER },
+        { name: 'c', dim: VELOCITY },
+    ], [{ group: 'tau · D · q^2', op: '>=', bound: TELEGRAPH_WAVE_MIN_EPS, alias: 'ε = τDq² ≥ 25' }]),
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD7',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'frequency ratio within 3e-3 of 1 at ε = 50; error halves as ε doubles',
+        },
+    ],
+    citations: ['Goldstein, Q. J. Mech. Appl. Math. 4 (1951) 129 - On diffusion by discontinuous movements, and on the telegraph equation'],
+    reviewStatus: 'proposed',
+};
+/** Bridge: heat → Laplace, the steady-state restriction. @internal */
+export const BRIDGE_HEAT_LAPLACE = {
+    id: 'ab-heat-laplace',
+    relation: 'restriction',
+    premises: ['model-heat'],
+    conclusion: 'model-laplace-1d',
+    transformation: '∂T/∂t = 0: κ T_xx = 0, T linear between the end temperatures',
+    preserves: ['the end temperatures', 'the steady heat flux κ(T_b − T_a)/ℓ'],
+    doesNotPreserve: ['the transient', 'ρ and c_p, which drop out of the steady state'],
+    sideConditions: ['fixed end temperatures', 'Fourier number αt/ℓ² ≥ 1 (transients decayed)'],
+    regime: regime([
+        { name: 'kappa', dim: THERMAL_CONDUCTIVITY },
+        { name: 'rho', dim: DENSITY },
+        { name: 'cp', dim: SPECIFIC_HEAT },
+        { name: 'ell', dim: LENGTH },
+        { name: 't', dim: TIME },
+    ], [
+        {
+            group: 'kappa · rho^-1 · cp^-1 · ell^-2 · t',
+            op: '>=',
+            bound: STEADY_MIN_FOURIER,
+            alias: 'Fo = αt/ℓ² ≥ 1',
+        },
+    ]),
+    counterexamples: [],
+    evidence: new Set(['proposed', 'numerically-supported']),
+    witnesses: [
+        {
+            id: 'WD8',
+            kind: 'numeric',
+            test: TEST,
+            tolerance: 'max deviation from the linear profile below 0.025 at αt/ℓ² = 0.4; shrinks with time',
+        },
+    ],
+    citations: ['Carslaw & Jaeger, Conduction of Heat in Solids - steady linear flow in a slab'],
+    reviewStatus: 'proposed',
+};
+/** The diffusion-family closure bridges. @internal */
+export const DIFFUSION_CLOSURE_BRIDGES = [
+    BRIDGE_LANGEVIN_DIFFUSION,
+    BRIDGE_STOKES_EINSTEIN,
+    BRIDGE_TELEGRAPH_DIFFUSION,
+    BRIDGE_TELEGRAPH_WAVE,
+    BRIDGE_HEAT_LAPLACE,
+];
+//# sourceMappingURL=bridges-closure.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridges-closure.js","sourceRoot":"","sources":["../../../src/atlas/diffusion/bridges-closure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAEpF,MAAM,IAAI,GAAG,6BAA6B,CAAC;AAC3C,MAAM,oBAAoB,GAAG,qCAAqC,CAAC;AAEnE,iGAAiG;AACjG,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,iEAAiE;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AAE3C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC,sEAAsE;AACtE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAEpC,MAAM,MAAM,GAAG,CACb,UAA4F,EAC5F,YAAmD,EAC5B,EAAE,CAAC,CAAC;IAC3B,MAAM,EAAE,qBAAqB;IAC7B,YAAY;IACZ,gBAAgB,EAAE,kBAAkB,CAAC,qBAAqB,EAAE,UAAU,EAAE,EAAE,CAAC;CAC5E,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,CAAC,MAAM,yBAAyB,GAAgB;IACpD,EAAE,EAAE,uBAAuB;IAC3B,QAAQ,EAAE,iBAAiB;IAC3B,QAAQ,EAAE,CAAC,gBAAgB,CAAC;IAC5B,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,0EAA0E;IAC1F,SAAS,EAAE,CAAC,wCAAwC,EAAE,2CAA2C,CAAC;IAClG,eAAe,EAAE;QACf,kCAAkC;QAClC,yDAAyD;QACzD,0DAA0D;KAC3D;IACD,cAAc,EAAE,CAAC,yCAAyC,EAAE,qDAAqD,CAAC;IAClH,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE;QAC/B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;KACzB,EACD;QACE;YACE,KAAK,EAAE,qBAAqB;YAC5B,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,sBAAsB;YAC7B,KAAK,EAAE,iCAAiC;SACzC;KACF,CACF;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,wFAAwF;gBACxF,mFAAmF;YACrF,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,uFAAuF;SACnG;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,oCAAoC;SAChD;KACF;IACD,SAAS,EAAE;QACT,uFAAuF;QACvF,+DAA+D;KAChE;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgB;IACjD,EAAE,EAAE,oBAAoB;IACxB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IACjD,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,wDAAwD;IACxE,SAAS,EAAE,CAAC,iDAAiD,CAAC;IAC9D,eAAe,EAAE,CAAC,kCAAkC,EAAE,+BAA+B,CAAC;IACtF,cAAc,EAAE,CAAC,yCAAyC,EAAE,kBAAkB,EAAE,0BAA0B,CAAC;IAC3G,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE;QAC/B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;KAChC,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,EACP,2GAA2G;SAC9G;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,oBAAoB;YAC1B,SAAS,EAAE,sEAAsE;SAClF;KACF;IACD,SAAS,EAAE;QACT,oFAAoF;QACpF,oFAAoF;KACrF;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAgB;IACrD,EAAE,EAAE,wBAAwB;IAC5B,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,iBAAiB,CAAC;IAC7B,UAAU,EAAE,YAAY;IACxB,cAAc,EAAE,2EAA2E;IAC3F,SAAS,EAAE,CAAC,kDAAkD,EAAE,wBAAwB,CAAC;IACzF,eAAe,EAAE;QACf,gCAAgC;QAChC,wCAAwC;QACxC,4CAA4C;KAC7C;IACD,cAAc,EAAE,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;IACrE,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,sBAAsB,CAAC,sBAAsB,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;QAC/D,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CACb,sBAAsB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAChG,IAAI,EAAE,8DAA8D;QACpE,MAAM,EAAE,iBAAiB;QACzB,OAAO,EACL,2FAA2F;YAC3F,oCAAoC;QACtC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YACxB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC1E,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG;gBAAE,OAAO,KAAK,CAAC;YAC/B,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,cAAc,EAAE,iBAAiB;QACjC,cAAc,EAAE,UAAU;QAC1B,yEAAyE;QACzE,yBAAyB;QACzB,UAAU,EAAE,CAAC,+DAA+D,CAAC;KAC9E,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;KAC/B,EACD,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAChG;IACD,eAAe,EAAE;QACf;YACE,WAAW,EACT,4FAA4F;gBAC5F,+BAA+B;YACjC,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,gFAAgF;SAC5F;QACD;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,SAAS,EAAE,4BAA4B;SACxC;KACF;IACD,SAAS,EAAE;QACT,iGAAiG;QACjG,0HAA0H;KAC3H;IACD,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAgB;IAChD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,eAAe;IACzB,QAAQ,EAAE,CAAC,iBAAiB,CAAC;IAC7B,UAAU,EAAE,eAAe;IAC3B,cAAc,EAAE,iDAAiD;IACjE,SAAS,EAAE,CAAC,yBAAyB,EAAE,qCAAqC,CAAC;IAC7E,eAAe,EAAE,CAAC,+CAA+C,EAAE,uCAAuC,CAAC;IAC3G,cAAc,EAAE,CAAC,eAAe,EAAE,sDAAsD,CAAC;IACzF,KAAK,EAAE,iBAAiB,CAAC;QACvB,CAAC,EAAE,CAAC;QACJ,KAAK,EAAE,CAAC,GAAG,2BAA2B,CAAC,sBAAsB,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CACb,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC;QACrG,IAAI,EAAE,+DAA+D;QACrE,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,8FAA8F;QAChG,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,SAAS;QACzB,6EAA6E;QAC7E,UAAU,EAAE,CAAC,8DAA8D,CAAC;KAC7E,CAAC;IACF,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE;QAC9B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAC9F;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,uEAAuE;SACnF;KACF;IACD,SAAS,EAAE,CAAC,0HAA0H,CAAC;IACvI,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,sEAAsE;AACtE,MAAM,CAAC,MAAM,mBAAmB,GAAgB;IAC9C,EAAE,EAAE,iBAAiB;IACrB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,CAAC,YAAY,CAAC;IACxB,UAAU,EAAE,kBAAkB;IAC9B,cAAc,EAAE,8DAA8D;IAC9E,SAAS,EAAE,CAAC,sBAAsB,EAAE,qCAAqC,CAAC;IAC1E,eAAe,EAAE,CAAC,eAAe,EAAE,+CAA+C,CAAC;IACnF,cAAc,EAAE,CAAC,wBAAwB,EAAE,+CAA+C,CAAC;IAC3F,MAAM,EAAE,MAAM,CACZ;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC5C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE;QAClC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;KACzB,EACD;QACE;YACE,KAAK,EAAE,qCAAqC;YAC5C,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,kBAAkB;YACzB,KAAK,EAAE,gBAAgB;SACxB;KACF,CACF;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,qFAAqF;SACjG;KACF;IACD,SAAS,EAAE,CAAC,+EAA+E,CAAC;IAC5F,YAAY,EAAE,UAAU;CACzB,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,yBAAyB,GAA2B;IAC/D,yBAAyB;IACzB,sBAAsB;IACtB,0BAA0B;IAC1B,qBAAqB;IACrB,mBAAmB;CACpB,CAAC"}