universal-physics-tensor 0.47.1 → 1.0.1

package/dist/relations/regime.d.ts

@@ -0,0 +1,159 @@
+/**
+ * Regime derivation — π-groups as the coordinates a regime is written in.
+ *
+ * Dimensionless inputs are passed INTO `buckinghamPi` as zero-dimension
+ * variables and come back as their own trivial groups, keyed by their own
+ * names in `PiGroup.formula`. Nothing is synthesized here. (Measured in
+ * design note §10 Q1 by executing `buckinghamPi`; the implementation plan's
+ * "plus one trivial group per dimensionless input" would double-add.)
+ *
+ * `admitApproximation` stays in `src/atlas/regime.ts`: it is generic over
+ * `AtlasBridge`, and moving it would drag that record into this vocabulary.
+ *
+ * @module relations/regime
+ */
+import type { DimensionalVariable, PiGroup } from '../dimensional/buckingham.js';
+import type { Regime, RegimeInequality } from './types.js';
+/**
+ * Derive the regime coordinates of a family, keyed by `PiGroup.formula`.
+ *
+ * A dimensionally-independent set has no groups and yields an empty record.
+ *
+ * @internal
+ */
+export declare function deriveRegimeGroups(family: string, parameters: readonly DimensionalVariable[], dimensionlessInputs: readonly string[]): Record<string, PiGroup>;
+/**
+ * Result of {@link regimeHolds} — TRI-STATE, not a boolean.
+ *
+ * Design note §1, Adam A2 RED #2. The first draft of this rule returned a
+ * boolean and folded "could not check" into one of the two answers. Both
+ * foldings are wrong in a way that is invisible at the call site:
+ *
+ *   - Folding absence into `true` is a SILENT PASS. A caller who supplies
+ *     `{ Ma: 0.1 }` and never computes `Re` gets a confident "the regime
+ *     holds" while `Re = 50` grossly violates it. The omission of the very
+ *     data that would reveal the violation is what produces the pass.
+ *   - Folding absence into `false` reports a VIOLATION that was never
+ *     observed, which is a different false claim and destroys the caller's
+ *     ability to tell "I measured this and it failed" from "I never measured
+ *     this". Only the first licenses saying the regime is violated.
+ *
+ * So `ok` carries three answers and the two failure sets are kept apart.
+ *
+ * @public
+ */
+export interface RegimeCheck {
+    /**
+     * `true` — every inequality was CHECKED and satisfied.
+     * `false` — at least one was checked and VIOLATED.
+     * `'unknown'` — nothing was violated, but at least one could NOT be checked.
+     *
+     * `'unknown'` is a failure to confirm validity, NEVER validity. A caller
+     * asking "may I use this model here?" must test `=== true`; `!== false` is
+     * the silent pass this type exists to prevent.
+     */
+    readonly ok: boolean | 'unknown';
+    /** CHECKED and violated — carried whole so the caller can name them. */
+    readonly violated: readonly RegimeInequality[];
+    /** NOT checked: the π-group value was absent or non-finite. */
+    readonly unchecked: readonly RegimeInequality[];
+}
+/**
+ * Check a regime against measured group values.
+ *
+ * A group with no supplied value, or a non-finite one, is UNCHECKED — not
+ * violated and not satisfied. See {@link RegimeCheck} for why the distinction
+ * is load-bearing. A regime with no inequalities returns `true`: there was
+ * nothing to check and nothing went unchecked, so the claim "every inequality
+ * was checked and satisfied" is vacuously true rather than unknown.
+ *
+ * A violation outranks an absence: once one inequality is CHECKED and fails,
+ * the regime does not hold, whatever the unmeasured coordinates would say.
+ *
+ * @public
+ */
+export declare function regimeHolds(regime: Regime, groupValues: Readonly<Record<string, number>>): RegimeCheck;
+/**
+ * Merge two regimes into the regime that holds where BOTH hold.
+ *
+ * The conjunction is the whole operation: an inequality from either side is an
+ * inequality of the intersection, so the list is concatenated rather than
+ * reduced. No attempt is made to simplify `x < 1` and `x < 2` into one
+ * inequality — the redundant one is still true, and a simplifier that dropped
+ * the wrong one would be a silent change of claim.
+ *
+ * `groupDefinitions` are merged and CHECKED, not overwritten. Two regimes that
+ * key the same `PiGroup.formula` to different exponent vectors are not
+ * traceable to one dimension matrix, and quietly keeping one would hand the
+ * caller a regime whose group definitions no longer describe its inequalities.
+ *
+ * @throws Error if the families differ, or if a shared group name carries
+ *   conflicting definitions.
+ * @internal
+ */
+export declare function intersectRegimes(a: Regime, b: Regime): Regime;
+/**
+ * Group names whose π-groups differ across `regimes`. The path command leaves
+ * those names unchecked on every step that defines them. It does not call
+ * {@link intersectRegimes}: that function still throws when the families differ.
+ *
+ * The same key with the same exponent vector is not a collision. A zero
+ * exponent is ignored, matching `--at` derivation.
+ *
+ * @internal
+ */
+export declare function collidingRegimeGroups(regimes: readonly Regime[]): readonly {
+    readonly group: string;
+    readonly families: readonly string[];
+}[];
+/** How two regimes sit relative to each other. @internal */
+export type RegimeOverlap = 'disjoint' | 'overlap' | 'nested';
+/**
+ * Classify two regimes on the group names they SHARE.
+ *
+ * Shared names only, and that restriction is the whole subtlety. A group one
+ * regime constrains and the other says nothing about cannot separate them:
+ * silence is not a constraint, so treating the unconstrained side as empty
+ * would report `'disjoint'` for two regimes that genuinely overlap. The answer
+ * is therefore about the shared coordinates, and says nothing about the
+ * private ones.
+ *
+ * - `'disjoint'` — some shared group has intervals that cannot both hold.
+ * - `'nested'` — the shared box of one regime contains the other (equal boxes,
+ *   and the no-shared-group case, are nested: each contains the other).
+ * - `'overlap'` — they meet, and neither contains the other.
+ *
+ * @internal
+ */
+export declare function regimeOverlap(a: Regime, b: Regime): RegimeOverlap;
+/** One grid cell of a sampled group box, and the regimes that cover it. @internal */
+export interface RegionSample {
+    /** The π-group value at this cell, keyed by `PiGroup.formula`. */
+    readonly point: Readonly<Record<string, number>>;
+    /** Ids of the records whose regime returned `true` here. */
+    readonly coveredBy: readonly string[];
+}
+/** A record carrying a regime — `AtlasModel` and `AtlasBridge` both fit. @internal */
+export interface RegimeBearing {
+    readonly id: string;
+    readonly regime: Regime;
+}
+/**
+ * Grid-sample a group box and list the cells no regime covers.
+ *
+ * `samples` IS the box: one explicit axis of values per π-group name. The box
+ * is not derived from the bounds the regimes themselves carry, and that is
+ * deliberate — a synthesized box would report coverage against an extent this
+ * library invented, so "uncovered" would measure the guess rather than the
+ * atlas. The caller states where it wants to know about.
+ *
+ * COVERED means some regime returned `true`. An `'unknown'` is NOT coverage,
+ * by the same rule that makes {@link regimeHolds} tri-state: a regime whose
+ * groups the sample axes never mention has not been shown to apply anywhere.
+ *
+ * Records of another family are skipped, so a mixed list is safe to pass.
+ *
+ * @internal
+ */
+export declare function uncoveredRegions(family: string, models: readonly RegimeBearing[], samples: Readonly<Record<string, readonly number[]>>): readonly RegionSample[];
+//# sourceMappingURL=regime.d.ts.map

package/dist/relations/regime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEjF,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,SAAS,mBAAmB,EAAE,EAC1C,mBAAmB,EAAE,SAAS,MAAM,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmBzB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD;AAeD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5C,WAAW,CAab;AAID;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAsB7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,CAqB7E;AA8FD,4DAA4D;AAC5D,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE9D;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,aAAa,CAWjE;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjD,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACnD,SAAS,YAAY,EAAE,CAUzB"}

package/dist/relations/regime.js

@@ -0,0 +1,304 @@
+/**
+ * Regime derivation — π-groups as the coordinates a regime is written in.
+ *
+ * Dimensionless inputs are passed INTO `buckinghamPi` as zero-dimension
+ * variables and come back as their own trivial groups, keyed by their own
+ * names in `PiGroup.formula`. Nothing is synthesized here. (Measured in
+ * design note §10 Q1 by executing `buckinghamPi`; the implementation plan's
+ * "plus one trivial group per dimensionless input" would double-add.)
+ *
+ * `admitApproximation` stays in `src/atlas/regime.ts`: it is generic over
+ * `AtlasBridge`, and moving it would drag that record into this vocabulary.
+ *
+ * @module relations/regime
+ */
+import { buckinghamPi } from '../dimensional/buckingham.js';
+import { DIMENSIONLESS } from '../dimensional/types.js';
+/**
+ * Derive the regime coordinates of a family, keyed by `PiGroup.formula`.
+ *
+ * A dimensionally-independent set has no groups and yields an empty record.
+ *
+ * @internal
+ */
+export function deriveRegimeGroups(family, parameters, dimensionlessInputs) {
+    const variables = [
+        ...parameters,
+        ...dimensionlessInputs.map((name) => ({ name, dim: DIMENSIONLESS })),
+    ];
+    if (variables.length === 0) {
+        throw new Error(`deriveRegimeGroups(${family}) requires at least one variable`);
+    }
+    // buckinghamPi rejects duplicate names itself; the message is clearer here.
+    const names = variables.map((v) => v.name);
+    if (new Set(names).size !== names.length) {
+        throw new Error(`deriveRegimeGroups(${family}) requires unique names across parameters and ` +
+            `dimensionless inputs; got [${names.join(', ')}]`);
+    }
+    const groups = {};
+    for (const group of buckinghamPi(variables).piGroups)
+        groups[group.formula] = group;
+    return groups;
+}
+function satisfies(value, ineq) {
+    switch (ineq.op) {
+        case '<':
+            return value < ineq.bound;
+        case '<=':
+            return value <= ineq.bound;
+        case '>':
+            return value > ineq.bound;
+        case '>=':
+            return value >= ineq.bound;
+    }
+}
+/**
+ * Check a regime against measured group values.
+ *
+ * A group with no supplied value, or a non-finite one, is UNCHECKED — not
+ * violated and not satisfied. See {@link RegimeCheck} for why the distinction
+ * is load-bearing. A regime with no inequalities returns `true`: there was
+ * nothing to check and nothing went unchecked, so the claim "every inequality
+ * was checked and satisfied" is vacuously true rather than unknown.
+ *
+ * A violation outranks an absence: once one inequality is CHECKED and fails,
+ * the regime does not hold, whatever the unmeasured coordinates would say.
+ *
+ * @public
+ */
+export function regimeHolds(regime, groupValues) {
+    const violated = [];
+    const unchecked = [];
+    for (const ineq of regime.inequalities) {
+        const value = groupValues[ineq.group];
+        if (typeof value !== 'number' || !Number.isFinite(value)) {
+            unchecked.push(ineq);
+        }
+        else if (!satisfies(value, ineq)) {
+            violated.push(ineq);
+        }
+    }
+    const ok = violated.length > 0 ? false : unchecked.length > 0 ? 'unknown' : true;
+    return { ok, violated, unchecked };
+}
+// ── Sprint 2: regime algebra and admission ──────────────────────────────────
+/**
+ * Merge two regimes into the regime that holds where BOTH hold.
+ *
+ * The conjunction is the whole operation: an inequality from either side is an
+ * inequality of the intersection, so the list is concatenated rather than
+ * reduced. No attempt is made to simplify `x < 1` and `x < 2` into one
+ * inequality — the redundant one is still true, and a simplifier that dropped
+ * the wrong one would be a silent change of claim.
+ *
+ * `groupDefinitions` are merged and CHECKED, not overwritten. Two regimes that
+ * key the same `PiGroup.formula` to different exponent vectors are not
+ * traceable to one dimension matrix, and quietly keeping one would hand the
+ * caller a regime whose group definitions no longer describe its inequalities.
+ *
+ * @throws Error if the families differ, or if a shared group name carries
+ *   conflicting definitions.
+ * @internal
+ */
+export function intersectRegimes(a, b) {
+    if (a.family !== b.family) {
+        throw new Error(`intersectRegimes: families differ ('${a.family}' vs '${b.family}'); ` +
+            'a regime is stated in the groups of its own family');
+    }
+    const groupDefinitions = { ...a.groupDefinitions };
+    for (const [name, group] of Object.entries(b.groupDefinitions)) {
+        const existing = groupDefinitions[name];
+        if (existing !== undefined && !samePiGroup(existing, group)) {
+            throw new Error(`intersectRegimes: group '${name}' is defined differently in the two regimes`);
+        }
+        groupDefinitions[name] = group;
+    }
+    return {
+        family: a.family,
+        inequalities: [...a.inequalities, ...b.inequalities],
+        groupDefinitions,
+    };
+}
+/**
+ * Group names whose π-groups differ across `regimes`. The path command leaves
+ * those names unchecked on every step that defines them. It does not call
+ * {@link intersectRegimes}: that function still throws when the families differ.
+ *
+ * The same key with the same exponent vector is not a collision. A zero
+ * exponent is ignored, matching `--at` derivation.
+ *
+ * @internal
+ */
+export function collidingRegimeGroups(regimes) {
+    const seen = new Map();
+    const collisions = new Map();
+    for (const regime of regimes) {
+        for (const [name, group] of Object.entries(regime.groupDefinitions)) {
+            const sig = exponentSignature(group);
+            const prev = seen.get(name);
+            if (prev === undefined) {
+                seen.set(name, { sig, families: [regime.family] });
+                continue;
+            }
+            if (prev.sig === sig) {
+                if (!prev.families.includes(regime.family))
+                    prev.families.push(regime.family);
+                continue;
+            }
+            const families = collisions.get(name) ?? [...prev.families];
+            if (!families.includes(regime.family))
+                families.push(regime.family);
+            collisions.set(name, families);
+        }
+    }
+    return [...collisions.entries()].map(([group, families]) => ({ group, families }));
+}
+function exponentSignature(group) {
+    return Object.entries(group.exponents)
+        .filter(([, exp]) => exp !== 0)
+        .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))
+        .map(([name, exp]) => `${name}:${exp}`)
+        .join(',');
+}
+function samePiGroup(x, y) {
+    const names = new Set([...Object.keys(x.exponents), ...Object.keys(y.exponents)]);
+    for (const name of names) {
+        if ((x.exponents[name] ?? 0) !== (y.exponents[name] ?? 0))
+            return false;
+    }
+    return true;
+}
+function fullInterval() {
+    return { lo: -Infinity, loOpen: true, hi: Infinity, hiOpen: true };
+}
+/** Narrow `iv` in place by one inequality. */
+function narrow(iv, ineq) {
+    switch (ineq.op) {
+        case '<':
+        case '<=': {
+            const open = ineq.op === '<';
+            if (ineq.bound < iv.hi || (ineq.bound === iv.hi && open)) {
+                iv.hi = ineq.bound;
+                iv.hiOpen = open;
+            }
+            return;
+        }
+        case '>':
+        case '>=': {
+            const open = ineq.op === '>';
+            if (ineq.bound > iv.lo || (ineq.bound === iv.lo && open)) {
+                iv.lo = ineq.bound;
+                iv.loOpen = open;
+            }
+            return;
+        }
+    }
+}
+/** The per-group intervals the inequalities of a regime carve out. */
+function intervalsOf(regime) {
+    const out = new Map();
+    for (const ineq of regime.inequalities) {
+        let iv = out.get(ineq.group);
+        if (iv === undefined) {
+            iv = fullInterval();
+            out.set(ineq.group, iv);
+        }
+        narrow(iv, ineq);
+    }
+    return out;
+}
+function isEmpty(iv) {
+    if (iv.lo > iv.hi)
+        return true;
+    return iv.lo === iv.hi && (iv.loOpen || iv.hiOpen);
+}
+function intersectIntervals(x, y) {
+    const lo = Math.max(x.lo, y.lo);
+    const hi = Math.min(x.hi, y.hi);
+    return {
+        lo,
+        loOpen: (x.lo === lo && x.loOpen) || (y.lo === lo && y.loOpen),
+        hi,
+        hiOpen: (x.hi === hi && x.hiOpen) || (y.hi === hi && y.hiOpen),
+    };
+}
+/** Is every point of `inner` a point of `outer`? */
+function contains(outer, inner) {
+    if (isEmpty(inner))
+        return true;
+    const loOk = outer.lo < inner.lo || (outer.lo === inner.lo && (!outer.loOpen || inner.loOpen));
+    const hiOk = outer.hi > inner.hi || (outer.hi === inner.hi && (!outer.hiOpen || inner.hiOpen));
+    return loOk && hiOk;
+}
+/**
+ * Classify two regimes on the group names they SHARE.
+ *
+ * Shared names only, and that restriction is the whole subtlety. A group one
+ * regime constrains and the other says nothing about cannot separate them:
+ * silence is not a constraint, so treating the unconstrained side as empty
+ * would report `'disjoint'` for two regimes that genuinely overlap. The answer
+ * is therefore about the shared coordinates, and says nothing about the
+ * private ones.
+ *
+ * - `'disjoint'` — some shared group has intervals that cannot both hold.
+ * - `'nested'` — the shared box of one regime contains the other (equal boxes,
+ *   and the no-shared-group case, are nested: each contains the other).
+ * - `'overlap'` — they meet, and neither contains the other.
+ *
+ * @internal
+ */
+export function regimeOverlap(a, b) {
+    const ia = intervalsOf(a);
+    const ib = intervalsOf(b);
+    const shared = [...ia.keys()].filter((name) => ib.has(name));
+    for (const name of shared) {
+        if (isEmpty(intersectIntervals(ia.get(name), ib.get(name))))
+            return 'disjoint';
+    }
+    const aInB = shared.every((name) => contains(ib.get(name), ia.get(name)));
+    const bInA = shared.every((name) => contains(ia.get(name), ib.get(name)));
+    return aInB || bInA ? 'nested' : 'overlap';
+}
+/**
+ * Grid-sample a group box and list the cells no regime covers.
+ *
+ * `samples` IS the box: one explicit axis of values per π-group name. The box
+ * is not derived from the bounds the regimes themselves carry, and that is
+ * deliberate — a synthesized box would report coverage against an extent this
+ * library invented, so "uncovered" would measure the guess rather than the
+ * atlas. The caller states where it wants to know about.
+ *
+ * COVERED means some regime returned `true`. An `'unknown'` is NOT coverage,
+ * by the same rule that makes {@link regimeHolds} tri-state: a regime whose
+ * groups the sample axes never mention has not been shown to apply anywhere.
+ *
+ * Records of another family are skipped, so a mixed list is safe to pass.
+ *
+ * @internal
+ */
+export function uncoveredRegions(family, models, samples) {
+    const inFamily = models.filter((m) => m.regime.family === family);
+    const uncovered = [];
+    for (const point of gridPoints(samples)) {
+        const coveredBy = inFamily
+            .filter((m) => regimeHolds(m.regime, point).ok === true)
+            .map((m) => m.id);
+        if (coveredBy.length === 0)
+            uncovered.push({ point, coveredBy });
+    }
+    return uncovered;
+}
+/** Cartesian product of the named axes. An axis with no values yields nothing. */
+function gridPoints(samples) {
+    let points = [{}];
+    for (const [group, axis] of Object.entries(samples)) {
+        const next = [];
+        for (const base of points) {
+            for (const value of axis)
+                next.push({ ...base, [group]: value });
+        }
+        points = next;
+    }
+    return points;
+}
+//# sourceMappingURL=regime.js.map

package/dist/relations/regime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,UAA0C,EAC1C,mBAAsC;IAEtC,MAAM,SAAS,GAA0B;QACvC,GAAG,UAAU;QACb,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;KACrE,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,kCAAkC,CAAC,CAAC;IAClF,CAAC;IACD,4EAA4E;IAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,sBAAsB,MAAM,gDAAgD;YAC1E,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,QAAQ;QAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IACpF,OAAO,MAAM,CAAC;AAChB,CAAC;AAuCD,SAAS,SAAS,CAAC,KAAa,EAAE,IAAsB;IACtD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,WAA6C;IAE7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS;IACnD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,uCAAuC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,MAAM;YACpE,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAA4B,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC5E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CACb,4BAA4B,IAAI,6CAA6C,CAC9E,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACjC,CAAC;IACD,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC;QACpD,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACpE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9E,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAChD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;SACtC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,SAAS,YAAY;IACnB,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACrE,CAAC;AAED,8CAA8C;AAC9C,SAAS,MAAM,CAAC,EAAiB,EAAE,IAAsB;IACvD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,YAAY,EAAE,CAAC;YACpB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,EAAiB;IAChC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAgB,EAAE,CAAgB;IAC5D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,OAAO;QACL,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;QAC9D,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,SAAS,QAAQ,CAAC,KAAoB,EAAE,KAAoB;IAC1D,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,OAAO,IAAI,IAAI,IAAI,CAAC;AACtB,CAAC;AAKD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IAChD,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7D,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC;IACnF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAgBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,MAAgC,EAChC,OAAoD;IAEpD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,QAAQ;aACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;aACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kFAAkF;AAClF,SAAS,UAAU,CACjB,OAAoD;IAEpD,IAAI,MAAM,GAA6B,CAAC,EAAE,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAA6B,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}