universal-physics-tensor 0.45.2 → 0.47.0

package/dist/atlas/regime.js

@@ -0,0 +1,309 @@
+/**
+ * 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.)
+ *
+ * @module atlas/regime
+ */
+import { buckinghamPi } from '../dimensional/buckingham.js';
+import { DIMENSIONLESS } from '../dimensional/types.js';
+import { MissingDeltaAtError, MissingHorizonError } 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 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,
+    };
+}
+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;
+}
+/**
+ * Admit a bridge, refusing an approximation whose horizon is missing.
+ *
+ * The gate is at ADMISSION, matching the existing throw in `makeApproximation`,
+ * and for the same reason: a validator that runs "later" can be skipped, and an
+ * unhorizoned bound that reached the atlas would be a bound claiming to hold
+ * everywhere. The move-the-gate-to-use argument of design note §2 applies to
+ * `uniformity` — a field whose absence is a legitimate NOT-YET-ANALYSED state
+ * — and NOT to `horizon`, which `ApproximationBound` already mandates.
+ *
+ * Any relation may carry a `bound`; every bound present is checked, so a
+ * `coarse-graining` cannot smuggle in an unhorizoned one.
+ *
+ * @returns the bridge, unchanged, so this can wrap a record at its definition.
+ * The same argument applies to `deltaAt`, the machine form of `delta`, and is
+ * why it is checked here beside the horizon. `delta` alone is a single number
+ * for a whole domain: an implementer whose bound depends on a parameter can
+ * only freeze it at one point, and a frozen point reads exactly like a
+ * supremum. Requiring the machine form makes the dependence SAYABLE, so the
+ * scalar can be held to its stated meaning. It is required only of an
+ * `approximation`, matching `bound` itself; a `coarse-graining` may still
+ * carry a constant bound with no `deltaAt`.
+ *
+ * @throws MissingHorizonError if an `approximation` has no bound, or if a
+ *   present bound has an empty `horizon` or no `horizonHolds`.
+ * @throws MissingDeltaAtError if an `approximation` bound has no `deltaAt`.
+ * @internal
+ */
+export function admitApproximation(bridge) {
+    const { bound } = bridge;
+    if (bound === undefined) {
+        if (bridge.relation === 'approximation') {
+            throw new MissingHorizonError(`${bridge.id}: an approximation requires a bound carrying a horizon`);
+        }
+        return bridge;
+    }
+    if (bound.horizon.trim() === '') {
+        throw new MissingHorizonError(`${bridge.id}: an approximation bound requires a non-empty prose horizon`);
+    }
+    if (typeof bound.horizonHolds !== 'function') {
+        throw new MissingHorizonError(`${bridge.id}: an approximation bound requires a machine horizonHolds beside its prose horizon`);
+    }
+    if (bridge.relation === 'approximation' && typeof bound.deltaAt !== 'function') {
+        throw new MissingDeltaAtError(`${bridge.id}: an approximation bound requires a machine deltaAt beside its scalar delta, ` +
+            'which must be the supremum over the whole declared domain');
+    }
+    return bridge;
+}
+//# sourceMappingURL=regime.js.map

package/dist/atlas/regime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGtE;;;;;;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,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;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/atlas/serialize.d.ts

@@ -0,0 +1,50 @@
+/**
+ * JSON projection of an atlas family (Atlas Phase 0, S0.6).
+ *
+ * The in-memory record is not JSON. Two fields make that true, and both are
+ * handled here rather than left to `JSON.stringify`:
+ *
+ * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
+ *    stringifies to `{}` — the artifact would be silently empty exactly where
+ *    the evidence lives. Design note §7 requires the emitter to serialize it
+ *    explicitly; it is emitted as a SORTED array so the artifact is stable
+ *    under insertion-order changes.
+ * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
+ *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
+ *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
+ *    states.
+ *
+ * Every record key order and every `Record<>` key order is fixed here, so two
+ * calls on the same family produce byte-identical output. That is what lets
+ * `tests/atlas/atlas-json.test.ts` pin the committed artifact against the live
+ * family the way `catalog-json.test.ts` pins the bridge catalog.
+ *
+ * @module atlas/serialize
+ */
+import type { AtlasFamily } from './oscillators/index.js';
+/** Record major version of the emitted artifact. @internal */
+export declare const ATLAS_RECORD_SCHEMA_VERSION = "0";
+/** A JSON value, as emitted. @internal */
+export type JsonValue = string | number | boolean | null | readonly JsonValue[] | {
+    readonly [k: string]: JsonValue;
+};
+/** The emitted artifact. @internal */
+export interface AtlasRecordJson {
+    readonly $schema: string;
+    readonly schemaVersion: string;
+    readonly packageVersion: string;
+    readonly family: string;
+    readonly models: readonly JsonValue[];
+    readonly bridges: readonly JsonValue[];
+    readonly rejections: readonly JsonValue[];
+}
+/**
+ * Project an atlas family into the shape of
+ * `data/schemas/atlas-record.v0.json`.
+ *
+ * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
+ *
+ * @internal
+ */
+export declare function toAtlasJson(family: AtlasFamily, packageVersion: string): AtlasRecordJson;
+//# sourceMappingURL=serialize.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,8DAA8D;AAC9D,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAmJD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,cAAc,EAAE,MAAM,GACrB,eAAe,CAUjB"}

package/dist/atlas/serialize.js

@@ -0,0 +1,180 @@
+/**
+ * JSON projection of an atlas family (Atlas Phase 0, S0.6).
+ *
+ * The in-memory record is not JSON. Two fields make that true, and both are
+ * handled here rather than left to `JSON.stringify`:
+ *
+ * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
+ *    stringifies to `{}` — the artifact would be silently empty exactly where
+ *    the evidence lives. Design note §7 requires the emitter to serialize it
+ *    explicitly; it is emitted as a SORTED array so the artifact is stable
+ *    under insertion-order changes.
+ * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
+ *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
+ *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
+ *    states.
+ *
+ * Every record key order and every `Record<>` key order is fixed here, so two
+ * calls on the same family produce byte-identical output. That is what lets
+ * `tests/atlas/atlas-json.test.ts` pin the committed artifact against the live
+ * family the way `catalog-json.test.ts` pins the bridge catalog.
+ *
+ * @module atlas/serialize
+ */
+/** Record major version of the emitted artifact. @internal */
+export const ATLAS_RECORD_SCHEMA_VERSION = '0';
+/** Rebuild a record with its keys in sorted order, so emission is stable. */
+const sortedRecord = (source) => {
+    const out = {};
+    for (const key of Object.keys(source).sort())
+        out[key] = source[key];
+    return out;
+};
+/**
+ * Normalize negative zero. `buckinghamPi` produces `-0` exponents (a `-1 * 0`
+ * in the null-space arithmetic), and `JSON.stringify(-0)` is `"0"` — so a
+ * record holding `-0` does NOT survive its own round-trip. Collapsing it here
+ * makes the projection genuinely JSON-faithful instead of nearly so.
+ */
+const zeroSafe = (n) => (n === 0 ? 0 : n);
+const serializePiGroup = (group) => {
+    const exponents = {};
+    const sorted = sortedRecord(group.exponents);
+    for (const key of Object.keys(sorted))
+        exponents[key] = zeroSafe(sorted[key]);
+    return { exponents, formula: group.formula };
+};
+const serializeRegime = (regime) => {
+    const definitions = {};
+    for (const key of Object.keys(regime.groupDefinitions).sort()) {
+        definitions[key] = serializePiGroup(regime.groupDefinitions[key]);
+    }
+    return {
+        family: regime.family,
+        inequalities: regime.inequalities.map((i) => ({
+            group: i.group,
+            op: i.op,
+            bound: zeroSafe(i.bound),
+            ...(i.alias === undefined ? {} : { alias: i.alias }),
+        })),
+        groupDefinitions: definitions,
+    };
+};
+/**
+ * `horizonHolds` and `deltaAt` are deliberately absent: a predicate is not
+ * data, and a serialized function would be a claim no reader could check.
+ * `uniformity` IS data. `null` is the not-yet-analysed state and must be
+ * present in the artifact, not dropped.
+ */
+const serializeBound = (bound) => ({
+    K: zeroSafe(bound.K),
+    delta: zeroSafe(bound.delta),
+    norm: bound.norm,
+    domain: bound.domain,
+    horizon: bound.horizon,
+    ...(bound.parameterRange === undefined ? {} : { parameterRange: bound.parameterRange }),
+    limitCharacter: bound.limitCharacter,
+    uniformity: bound.uniformity === null ? null : [...bound.uniformity],
+});
+/**
+ * Fields are enumerated EXPLICITLY, never spread: a new optional field stays
+ * invisible to the artifact until it is added here, so a model that records
+ * none of the Phase 3 additions serializes byte-identically to the committed
+ * `data/atlas/oscillators.json` that `tests/atlas/atlas-json.test.ts`
+ * deep-equals against.
+ */
+const serializeModel = (model) => ({
+    id: model.id,
+    family: model.family,
+    stateSpace: model.stateSpace,
+    dynamics: model.dynamics,
+    observables: [...model.observables],
+    parameters: model.parameters.map((p) => ({
+        name: p.name,
+        dim: { ...p.dim },
+    })),
+    dimensionlessInputs: [...model.dimensionlessInputs],
+    canonicalRefs: [...model.canonicalRefs],
+    regime: serializeRegime(model.regime),
+    ...(model.boundaryData === undefined ? {} : { boundaryData: [...model.boundaryData] }),
+    ...(model.initialData === undefined ? {} : { initialData: [...model.initialData] }),
+    ...(model.symmetryGroup === undefined ? {} : { symmetryGroup: model.symmetryGroup }),
+});
+const serializeWitnesses = (witnesses) => witnesses.map((w) => ({
+    id: w.id,
+    kind: w.kind,
+    test: w.test,
+    ...(w.tolerance === undefined ? {} : { tolerance: w.tolerance }),
+}));
+const serializeBridge = (bridge) => ({
+    id: bridge.id,
+    relation: bridge.relation,
+    premises: [...bridge.premises],
+    conclusion: bridge.conclusion,
+    transformation: bridge.transformation,
+    ...(bridge.inverse === undefined ? {} : { inverse: bridge.inverse }),
+    preserves: [...bridge.preserves],
+    doesNotPreserve: [...bridge.doesNotPreserve],
+    sideConditions: [...bridge.sideConditions],
+    ...(bridge.bound === undefined ? {} : { bound: serializeBound(bridge.bound) }),
+    regime: serializeRegime(bridge.regime),
+    counterexamples: bridge.counterexamples.map((c) => ({
+        description: c.description,
+        witness: c.witness,
+    })),
+    // The Set, explicitly — sorted, so the artifact does not churn on
+    // insertion order.
+    evidence: [...bridge.evidence].sort(),
+    witnesses: serializeWitnesses(bridge.witnesses),
+    citations: [...bridge.citations],
+    reviewStatus: bridge.reviewStatus,
+    // Omitted, never emptied, when absent (Phase 4 S4.6): an absent reference is
+    // the honest default, and `{}` would read as a reference with no content.
+    ...(bridge.formalRef === undefined
+        ? {}
+        : {
+            formalRef: {
+                system: bridge.formalRef.system,
+                statement: bridge.formalRef.statement,
+                version: bridge.formalRef.version,
+                axioms: [...bridge.formalRef.axioms],
+                fidelity: bridge.formalRef.fidelity,
+            },
+        }),
+});
+/**
+ * `claimed` is emitted as `claimedRelation`, and `reason` is ALSO emitted as
+ * `counterexample.description`, because the schema's rejection record names
+ * those two keys. The description is the refutation itself restated under the
+ * key the schema requires — no new claim is introduced.
+ */
+const serializeRejection = (rejection) => ({
+    id: rejection.id,
+    claimedRelation: rejection.claimed,
+    premises: [...rejection.premises],
+    conclusion: rejection.conclusion,
+    reason: rejection.reason,
+    survivingGroup: rejection.survivingGroup,
+    counterexample: { description: rejection.reason },
+    witnesses: serializeWitnesses(rejection.witnesses),
+});
+/**
+ * Project an atlas family into the shape of
+ * `data/schemas/atlas-record.v0.json`.
+ *
+ * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
+ *
+ * @internal
+ */
+export function toAtlasJson(family, packageVersion) {
+    return {
+        $schema: '../schemas/atlas-record.v0.json',
+        schemaVersion: ATLAS_RECORD_SCHEMA_VERSION,
+        packageVersion,
+        family: family.family,
+        models: family.models.map(serializeModel),
+        bridges: family.bridges.map(serializeBridge),
+        rejections: family.rejections.map(serializeRejection),
+    };
+}
+//# sourceMappingURL=serialize.js.map

package/dist/atlas/serialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAYH,8DAA8D;AAC9D,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAsB/C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAI,MAAmC,EAAqB,EAAE;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAM,CAAC;IAC1E,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAa,EAAE;IACrD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IACpD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,gBAAgB,EAAE,WAAW;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAa,EAAE,CAAC,CAAC;IAChE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;IACvF,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;CACrE,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAa,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,KAAK,CAAC,EAAE;IACZ,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE;KAClB,CAAC,CAAC;IACH,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACnD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;CACrF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,SAAmC,EACb,EAAE,CACxB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpB,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;CACjE,CAAC,CAAC,CAAC;AAEN,MAAM,eAAe,GAAG,CAAC,MAAmB,EAAa,EAAE,CAAC,CAAC;IAC3D,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;IAC5C,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;IAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC;IACH,kEAAkE;IAClE,mBAAmB;IACnB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;IACrC,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC;IAC/C,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,SAAS,EAAE;gBACT,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS;gBACrC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;gBACjC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBACpC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;aACpC;SACF,CAAC;CACP,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAyB,EAAa,EAAE,CAAC,CAAC;IACpE,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,eAAe,EAAE,SAAS,CAAC,OAAO;IAClC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,SAAS,CAAC,UAAU;IAChC,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,cAAc,EAAE,SAAS,CAAC,cAAc;IACxC,cAAc,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC;CACnD,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,cAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,iCAAiC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC;QAC5C,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACJ,CAAC"}