universal-physics-tensor 0.45.2 → 0.46.0

package/dist/atlas/poster/statements.js

@@ -0,0 +1,365 @@
+/**
+ * Atlas Phase 3 — the poster's sixteen entries, its five hidden supporting
+ * nodes, and the three conservation statements its edges conclude in.
+ *
+ * ## The one rule this module exists to obey
+ *
+ * **Blueprint v2's Appendix A is NOT in this repo.** `ROADMAP.md` Phase 3
+ * states the fifteen typed edge lines and the five hidden nodes in full, and
+ * it references the sixteen entries BY NUMBER in identifying context — but no
+ * file here maps number → name. Design note
+ * `docs/planning/Atlas-Phase-3-Design.md` §5 is explicit about what follows:
+ * *"Transcribe or derive each entry from a stated source; never invent one to
+ * fill a gap."*
+ *
+ * So every entry below carries an {@link Identification}, and it is a FIELD
+ * rather than a comment because a comment cannot be tested. Three values:
+ *
+ * - `'derived'` — the edge lines pin it. `10 → 9` restriction with *"separate
+ *   frame content in 9"*, `11 → momentum conservation … converse fails … fails
+ *   naively when fields carry momentum`: those three lines are Newton's
+ *   second, first and third laws and nothing else.
+ * - `'partial'` — the lines pin a FAMILY but not the member. Entry 7 is a
+ *   Maxwell equation (the line distinguishes it from *"the full Maxwell
+ *   system"*, which is a hidden node — `never from 7 alone`), but which of the
+ *   four it is, is not recoverable. Entry 5 is read here as `E = mc²`; see
+ *   {@link POSTER_5_IDENTIFICATION_NOTE}.
+ * - `'unidentified'` — entries 3 and 14, which `ROADMAP.md` names exactly
+ *   once, in `3, 14 → * association only`. Nothing there identifies them. They
+ *   are recorded as placeholders WITH THEIR NUMBERS and no physics, because a
+ *   plausible guess would be uncheckable, and an honest gap beats it.
+ *
+ * **The edges do not depend on any of this.** Every record in
+ * `./derivations.ts` and `./associations.ts` references entries by NUMBER, so
+ * a mis-identified NAME cannot corrupt an edge type. That separation is
+ * deliberate: the numbers come from a stated source, the names are an
+ * inference over it, and only one of them is load-bearing.
+ *
+ * ## `ast?` is absent everywhere here, on purpose
+ *
+ * `statement.ts` §1 already argues it: the hidden nodes are valuable because
+ * they are NAMED and LINKED, not evaluable, and requiring an `ast` would force
+ * a fabricated encoding. The same holds for the sixteen — this module records
+ * poster claims, not evaluable equations — so every statement here carries an
+ * honest `sourceExpression` and no `ast`, and {@link buildPosterRegistry}
+ * refuses one that carries an `ast` it cannot have earned.
+ *
+ * Pure: no I/O. Imports `../statement.js` and `../model.js` types only, so
+ * this module is a leaf under `src/atlas/` and closes no cycle.
+ *
+ * @module atlas/poster/statements
+ */
+/**
+ * The `ModelId` every poster statement carries.
+ *
+ * Phase 3 records a `Model` for the nine oscillator models and for nothing
+ * else. A poster entry has no state space, dynamics or parameter list in this
+ * repo, so every per-entry model id available here would be invented — and an
+ * invented `'model-newtonian-mechanics'` would read, to the next sprint,
+ * exactly like a model someone recorded.
+ *
+ * One shared sentinel instead, which says what is true: no model is recorded.
+ * `tests/atlas/poster-statements.test.ts` pins that no poster statement claims
+ * an oscillator model id.
+ *
+ * @internal
+ */
+export const POSTER_MODEL_UNRECORDED = 'model-poster-unrecorded';
+/** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */
+export const UNIDENTIFIED = 'UNIDENTIFIED';
+/**
+ * Why entry 5 is `'partial'` and not `'derived'`.
+ *
+ * Two edge lines constrain it and they pull in different directions.
+ * `16 → 5, 10` is an approximation in `v/c` *"needing `E = γmc²`, `p = γmv`,
+ * `F = dp/dt`"*, which reads as `E = mc²` reached from `E = γmc²`.
+ * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the
+ * Newtonian-limit-plus-special-relativity constraint on the field equations,
+ * which would make 5 Newton's law of universal gravitation.
+ *
+ * It cannot be both, and `8 → 12` — approximation then *"restriction to a
+ * point source"* — already lands on universal gravitation at 12. Two entries
+ * cannot be the same law, so 5 is read as `E = mc²` here. The reading is
+ * RECORDED rather than asserted: the entry stays `'partial'`, and no edge
+ * depends on it, because every edge references 5 by number.
+ *
+ * @internal
+ */
+export const POSTER_5_IDENTIFICATION_NOTE = "entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, " +
+    "so the alternative reading of '5, 16 → 8' (the Newtonian limit) would duplicate entry 12; " +
+    'no edge in this module depends on the reading — all fifteen reference entries by number';
+/** Terse `Context` builder. `assumptions` is required; `excludes` defaults to none. */
+function ctx(assumptions, over = {}) {
+    return { excludes: [], ...over, assumptions };
+}
+function entry(number, id, sourceExpression, display, context, identification = 'derived', note) {
+    return {
+        number,
+        identification,
+        ...(note !== undefined ? { note } : {}),
+        statement: {
+            id,
+            context,
+            model: POSTER_MODEL_UNRECORDED,
+            sourceExpression,
+            display,
+        },
+    };
+}
+/**
+ * The sixteen poster entries, in poster order.
+ *
+ * Every `context.assumptions` is non-empty. Where `ROADMAP.md` states the
+ * qualification, it is used verbatim in substance: entry 11's *"fields carry
+ * no momentum"* (and the matching `excludes`, which is the one genuinely
+ * reachable context refusal in this data — see `./derivations.ts`), entry
+ * 13's `σ > 0`. Where it does not, the assumption is the standard statement
+ * of the entry's own validity and nothing more; none of them adds a claim.
+ *
+ * @internal
+ */
+export const POSTER_ENTRIES = [
+    entry(1, 'poster-1', 'dU = δQ − δW', 'First law of thermodynamics', ctx(['closed system', 'heat and work are defined for the process'], {
+        conventions: { heatWorkSign: 'Q-W' },
+        quantityTypes: ['energy'],
+    })),
+    entry(2, 'poster-2', 'S = k_B ln W', 'Boltzmann entropy', ctx(['isolated system', 'accessible microstates are equiprobable'], {
+        quantityTypes: ['entropy'],
+    })),
+    entry(3, 'poster-3', UNIDENTIFIED, 'Poster entry 3 (unidentified)', ctx(['unidentified: no source in this repo names this entry']), 'unidentified', "ROADMAP.md Phase 3 names entry 3 exactly once, in '3, 14 → * association only', " +
+        'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo'),
+    entry(4, 'poster-4', 'σ_x σ_p ≥ ħ/2', 'Heisenberg uncertainty relation', ctx([
+        'canonical commutator [x, p] = iħ',
+        'the state lies in the domain of both operators',
+    ])),
+    entry(5, 'poster-5', 'E = mc²', 'Mass–energy equivalence', ctx(['rest frame of the body', 'isolated body'], { quantityTypes: ['energy', 'mass'] }), 'partial', POSTER_5_IDENTIFICATION_NOTE),
+    entry(6, 'poster-6', 'iħ ∂_t ψ = Ĥ ψ', 'Schrödinger equation', ctx(['non-relativistic', 'self-adjoint Hamiltonian', 'fixed Hilbert space'])),
+    entry(7, 'poster-7', `${UNIDENTIFIED} (one equation of the Maxwell set)`, 'A Maxwell equation (which one is unidentified)', ctx(['macroscopic electromagnetic fields', 'the stated unit system']), 'partial', "the '7 ↔ 16' line says the derivation route runs from 'the full Maxwell system' and " +
+        "'never from 7 alone', so entry 7 is ONE equation of the set; which of the four is not " +
+        'recoverable from any source in this repo. The full system is statement-maxwell-system.'),
+    entry(8, 'poster-8', 'G_μν + Λ g_μν = (8πG/c⁴) T_μν', 'Einstein field equations', ctx([
+        'pseudo-Riemannian spacetime',
+        'the stress-energy tensor is covariantly conserved',
+    ], { conventions: { metricSignature: '-+++' } })),
+    entry(9, 'poster-9', 'net F = 0 ⇒ v constant', "Newton's first law", ctx(['an inertial frame', 'no net force'])),
+    entry(10, 'poster-10', 'F = m a', "Newton's second law", ctx(['an inertial frame', 'constant mass', 'v ≪ c'])),
+    entry(11, 'poster-11', 'F_12 = −F_21', "Newton's third law", ctx(['isolated particle system', 'fields carry no momentum'], {
+        // The one exclusion this data states, and ROADMAP.md states it:
+        // entry 11 "fails naively when fields carry momentum". The
+        // field-inclusive momentum statement ASSUMES the excluded string, so
+        // pooling the two is refused rather than silently merged.
+        excludes: ['fields carry momentum'],
+    })),
+    entry(12, 'poster-12', 'F = G m₁ m₂ / r²', 'Newtonian universal gravitation', ctx(['weak field', 'slow motion', 'point masses'])),
+    entry(13, 'poster-13', 'p(x) = (1/(σ√(2π))) exp(−(x−μ)²/(2σ²))', 'Normal (Gaussian) distribution', ctx(['σ > 0'])),
+    entry(14, 'poster-14', UNIDENTIFIED, 'Poster entry 14 (unidentified)', ctx(['unidentified: no source in this repo names this entry']), 'unidentified', "ROADMAP.md Phase 3 names entry 14 exactly once, in '3, 14 → * association only', " +
+        'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo'),
+    entry(15, 'poster-15', 'ψ = c₁ψ₁ + c₂ψ₂ is a state whenever ψ₁, ψ₂ are', 'Superposition principle', ctx(['linear evolution equation', 'Hilbert-space kinematics'])),
+    entry(16, 'poster-16', "t' = γ(t − vx/c²), x' = γ(x − vt)", 'Lorentz transformation (special relativity)', ctx(['inertial frames', 'the speed of light is frame-independent', 'flat spacetime'], {
+        conventions: { metricSignature: '-+++' },
+    })),
+];
+/**
+ * The five hidden supporting nodes, named by `ROADMAP.md` Phase 3 and by no
+ * other source.
+ *
+ * They are the deliverable precisely as named — `docs/planning/Atlas-Phase-3-Design.md`
+ * §8 puts *"evaluating hidden supporting nodes"* explicitly out of scope — so
+ * each carries a prose `sourceExpression` and no `ast`.
+ *
+ * `statement-lorentz-group` is what the `7 ↔ 16` line calls *"spacetime
+ * structure"* in the hyperedge `{full Maxwell system, spacetime structure} →
+ * 16`. That identification is an inference: `ROADMAP.md` names exactly five
+ * hidden nodes and the Lorentz group is the only one of the five that can
+ * BE spacetime structure. It is recorded here rather than silently assumed,
+ * and `./derivations.ts` repeats it in the hyperedge's side conditions.
+ *
+ * @internal
+ */
+export const HIDDEN_NODES = [
+    {
+        id: 'statement-action-principle',
+        context: {
+            assumptions: ['a stated action functional', 'variations vanish on the boundary'],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'δS = 0',
+        display: 'Action principle (stationary action)',
+    },
+    {
+        id: 'statement-noether',
+        context: {
+            assumptions: [
+                'a continuous symmetry of a stated action',
+                'the action principle holds',
+            ],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'a continuous symmetry of the action yields a conserved current',
+        display: "Noether's theorem",
+    },
+    {
+        id: 'statement-maxwell-system',
+        context: {
+            assumptions: ['all four equations taken together', 'the stated unit system'],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'the four Maxwell equations as one system',
+        display: 'The full Maxwell system',
+    },
+    {
+        id: 'statement-lorentz-group',
+        context: {
+            assumptions: ['flat spacetime', 'the speed of light is frame-independent'],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'the group of transformations preserving the Minkowski interval (the spacetime structure)',
+        display: 'The Lorentz group',
+    },
+    {
+        id: 'statement-central-limit-theorem',
+        context: {
+            assumptions: [
+                'independent, identically distributed summands',
+                'finite variance',
+            ],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'the normalized sum of i.i.d. finite-variance terms converges in distribution to a normal law',
+        display: 'Central limit theorem',
+    },
+];
+/**
+ * The statements the poster's edges CONCLUDE in that are neither a numbered
+ * entry nor a hidden node.
+ *
+ * All three are named by `ROADMAP.md` Phase 3: *"`11 → momentum
+ * conservation`"*, *"the field-inclusive version"*, *"`1 ↔ energy
+ * conservation`"*. Nothing here is added beyond those names.
+ *
+ * The two momentum statements are SEPARATE records because the line says the
+ * particle version *"fails naively when fields carry momentum"*. One record
+ * carrying both readings would erase exactly the distinction the line draws,
+ * and it is the distinction that makes entry 11's `excludes` bite.
+ *
+ * @internal
+ */
+export const SUPPORTING_STATEMENTS = [
+    {
+        id: 'statement-momentum-conservation',
+        context: {
+            assumptions: ['isolated particle system', 'fields carry no momentum'],
+            excludes: ['fields carry momentum'],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'Σ p_i is constant for an isolated particle system',
+        display: 'Momentum conservation (particles)',
+    },
+    {
+        id: 'statement-momentum-conservation-fields',
+        context: {
+            assumptions: [
+                'fields carry momentum',
+                'spatial translation symmetry of a stated action',
+                'stated boundary conditions',
+            ],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'the total momentum of matter AND fields is constant',
+        display: 'Momentum conservation (field-inclusive)',
+    },
+    {
+        id: 'statement-energy-conservation',
+        context: {
+            assumptions: ['an autonomous model (no explicit time dependence)'],
+            excludes: [],
+        },
+        model: POSTER_MODEL_UNRECORDED,
+        sourceExpression: 'the conserved current of time-translation symmetry is constant',
+        display: 'Energy conservation',
+    },
+];
+/** Every statement this poster index defines, in a stable order. @internal */
+export const POSTER_ALL_STATEMENTS = [
+    ...POSTER_ENTRIES.map((e) => e.statement),
+    ...HIDDEN_NODES,
+    ...SUPPORTING_STATEMENTS,
+];
+/** Thrown by {@link buildPosterRegistry}. @internal */
+export class PosterStatementError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'PosterStatementError';
+    }
+}
+/**
+ * The registry `makeDerivation` and `statementContextUnion` resolve against,
+ * built through four checks.
+ *
+ * The checks run HERE, at construction, rather than only in a test, because
+ * `./derivations.ts` builds its records against this registry at module load:
+ * a defect that reaches the registry reaches every derivation before any test
+ * has a chance to look.
+ *
+ * 1. **No duplicate id.** A later duplicate would silently replace an earlier
+ *    statement in the map, and the derivation that consumed it would carry the
+ *    wrong context with no symptom.
+ * 2. **Non-empty `assumptions`.** The S3.3 requirement, and the reason a
+ *    context can refuse at all: an empty one pools with anything.
+ * 3. **No `ast`.** Nothing in this module is evaluable (see the module note);
+ *    an `ast` here could only have been fabricated.
+ * 4. **A non-`'derived'` entry states its `note`.** An unidentified entry
+ *    without its reason is indistinguishable from an oversight.
+ *
+ * The two arguments exist so a TEST can drive these four checks with a
+ * defective index through THIS code path rather than a copy of it. A test that
+ * reimplements a guard in order to break it proves only that the copy works,
+ * which is the vacuous-pass shape the design note names; the copy and the
+ * original then drift with nothing reporting it.
+ *
+ * @throws PosterStatementError on any of the four.
+ * @internal
+ */
+export function buildPosterRegistry(statements = POSTER_ALL_STATEMENTS, entries = POSTER_ENTRIES) {
+    const map = new Map();
+    for (const s of statements) {
+        if (map.has(s.id)) {
+            throw new PosterStatementError(`duplicate statement id '${s.id}'; the later record would silently replace the earlier`);
+        }
+        if (s.context.assumptions.length === 0) {
+            throw new PosterStatementError(`statement '${s.id}' states no assumptions; every poster statement must state at least one`);
+        }
+        if (s.ast !== undefined) {
+            throw new PosterStatementError(`statement '${s.id}' carries an ast; poster statements are named and linked, never evaluated`);
+        }
+        map.set(s.id, s);
+    }
+    for (const e of entries) {
+        if (e.identification !== 'derived' && (e.note === undefined || e.note === '')) {
+            throw new PosterStatementError(`entry ${e.number} is '${e.identification}' but states no note; ` +
+                'an unpinned entry must say what is unresolved');
+        }
+    }
+    return map;
+}
+/** The built registry. @internal */
+export const POSTER_REGISTRY = buildPosterRegistry();
+/** The entry with this number. @throws RangeError when there is none. @internal */
+export function posterEntry(number) {
+    const found = POSTER_ENTRIES.find((e) => e.number === number);
+    if (found === undefined) {
+        throw new RangeError(`posterEntry: no entry ${number}; the poster has 1–16`);
+    }
+    return found;
+}
+/** The statement id of entry `number` — `posterId(9) === 'poster-9'`. @internal */
+export function posterId(number) {
+    return posterEntry(number).statement.id;
+}
+//# sourceMappingURL=statements.js.map

package/dist/atlas/poster/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAYH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAY,yBAAyB,CAAC;AAE1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,0FAA0F;IAC1F,4FAA4F;IAC5F,yFAAyF,CAAC;AAgB5F,uFAAuF;AACvF,SAAS,GAAG,CACV,WAA8B,EAC9B,IAAI,GAA0C,EAAE;IAEhD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CACZ,MAAc,EACd,EAAe,EACf,gBAAwB,EACxB,OAAe,EACf,OAAgB,EAChB,cAAc,GAAmB,SAAS,EAC1C,IAAa;IAEb,OAAO;QACL,MAAM;QACN,cAAc;QACd,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE;YACF,OAAO;YACP,KAAK,EAAE,uBAAuB;YAC9B,gBAAgB;YAChB,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,6BAA6B,EAC7B,GAAG,CAAC,CAAC,eAAe,EAAE,2CAA2C,CAAC,EAAE;QAClE,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;QACpC,aAAa,EAAE,CAAC,QAAQ,CAAC;KAC1B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,EAAE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;KAC3B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,YAAY,EACZ,+BAA+B,EAC/B,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,kFAAkF;QAChF,gFAAgF,CACnF;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,eAAe,EACf,iCAAiC,EACjC,GAAG,CAAC;QACF,kCAAkC;QAClC,gDAAgD;KACjD,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,SAAS,EACT,yBAAyB,EACzB,GAAG,CAAC,CAAC,wBAAwB,EAAE,eAAe,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EACvF,SAAS,EACT,4BAA4B,CAC7B;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,gBAAgB,EAChB,sBAAsB,EACtB,GAAG,CAAC,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,qBAAqB,CAAC,CAAC,CAC7E;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,GAAG,YAAY,oCAAoC,EACnD,gDAAgD,EAChD,GAAG,CAAC,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,CAAC,EACrE,SAAS,EACT,sFAAsF;QACpF,wFAAwF;QACxF,wFAAwF,CAC3F;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,+BAA+B,EAC/B,0BAA0B,EAC1B,GAAG,CAAC;QACF,6BAA6B;QAC7B,mDAAmD;KACpD,EAAE,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,CAAC,CACjD;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,wBAAwB,EACxB,oBAAoB,EACpB,GAAG,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAC3C;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,SAAS,EACT,qBAAqB,EACrB,GAAG,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CACrD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,GAAG,CAAC,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,EAAE;QAC5D,gEAAgE;QAChE,2DAA2D;QAC3D,qEAAqE;QACrE,0DAA0D;QAC1D,QAAQ,EAAE,CAAC,uBAAuB,CAAC;KACpC,CAAC,CACH;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,kBAAkB,EAClB,iCAAiC,EACjC,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CACnD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,wCAAwC,EACxC,gCAAgC,EAChC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CACf;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,YAAY,EACZ,gCAAgC,EAChC,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,mFAAmF;QACjF,gFAAgF,CACnF;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,gDAAgD,EAChD,yBAAyB,EACzB,GAAG,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAC/D;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,mCAAmC,EACnC,6CAA6C,EAC7C,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,gBAAgB,CAAC,EAAE;QACpF,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;KACzC,CAAC,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,4BAA4B;QAChC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YAChF,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,OAAO,EAAE,sCAAsC;KAChD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,0CAA0C;gBAC1C,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,CAAC;YAC5E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,0CAA0C;QAC5D,OAAO,EAAE,yBAAyB;KACnC;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC1E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,0FAA0F;QAC5F,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,+CAA+C;gBAC/C,iBAAiB;aAClB;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,8FAA8F;QAChG,OAAO,EAAE,uBAAuB;KACjC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;YACrE,QAAQ,EAAE,CAAC,uBAAuB,CAAC;SACpC;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,mDAAmD;QACrE,OAAO,EAAE,mCAAmC;KAC7C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,uBAAuB;gBACvB,iDAAiD;gBACjD,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,qDAAqD;QACvE,OAAO,EAAE,yCAAyC;KACnD;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mDAAmD,CAAC;YAClE,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,GAAG,YAAY;IACf,GAAG,qBAAqB;CACzB,CAAC;AAEF,uDAAuD;AACvD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyB,qBAAqB,EACxD,OAAO,GAA2B,cAAc;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,CAAC,CAAC,EAAE,wDAAwD,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,yEAAyE,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAC9F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,oBAAoB,CAC5B,SAAS,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,cAAc,wBAAwB;gBAC/D,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAwC,mBAAmB,EAAE,CAAC;AAE1F,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,yBAAyB,MAAM,uBAAuB,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC"}

package/dist/atlas/public.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The PUBLIC atlas surface — reached as the `atlas` namespace of the package
+ * root (`import { atlas } from 'universal-physics-tensor'`).
+ *
+ * This file is the SINGLE list of what is public. Nothing else states the set
+ * or its size: the tests derive both from the re-exports below. Decision and
+ * criteria: `docs/planning/Atlas-API-Review.md` (Tier 1 — contracts unchanged
+ * across Sprints 4–6, independently tested, no repository coupling, and CLOSED
+ * under type references: no public type may name a non-public one).
+ *
+ * The full `@internal` surface stays on the `universal-physics-tensor/atlas`
+ * subpath. Every symbol below is tagged `@public` where it is declared;
+ * `tests/api/namespace-facade-invariant.test.ts` fails otherwise.
+ *
+ * @module atlas/public
+ */
+export type { ApproximationBound, AtlasRejection, Counterexample, EvidenceTag, LimitCharacter, Regime, RegimeInequality, RelationType, Witness, } from './types.js';
+export { MissingHorizonError, MissingLipschitzError } from './types.js';
+export type { AtlasModel } from './model.js';
+export { regimeHolds } from './regime.js';
+export type { RegimeCheck } from './regime.js';
+export { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';
+export type { BoundPair, ComposedPath } from './error-algebra.js';
+export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';
+export type { CompositionResult, NoCompositeClaim } from './composition-table.js';
+//# sourceMappingURL=public.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,YAAY,EACZ,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/atlas/public.js

@@ -0,0 +1,21 @@
+/**
+ * The PUBLIC atlas surface — reached as the `atlas` namespace of the package
+ * root (`import { atlas } from 'universal-physics-tensor'`).
+ *
+ * This file is the SINGLE list of what is public. Nothing else states the set
+ * or its size: the tests derive both from the re-exports below. Decision and
+ * criteria: `docs/planning/Atlas-API-Review.md` (Tier 1 — contracts unchanged
+ * across Sprints 4–6, independently tested, no repository coupling, and CLOSED
+ * under type references: no public type may name a non-public one).
+ *
+ * The full `@internal` surface stays on the `universal-physics-tensor/atlas`
+ * subpath. Every symbol below is tagged `@public` where it is declared;
+ * `tests/api/namespace-facade-invariant.test.ts` fails otherwise.
+ *
+ * @module atlas/public
+ */
+export { MissingHorizonError, MissingLipschitzError } from './types.js';
+export { regimeHolds } from './regime.js';
+export { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';
+export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';
+//# sourceMappingURL=public.js.map

package/dist/atlas/public.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/atlas/regime.d.ts

@@ -0,0 +1,171 @@
+/**
+ * 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 type { DimensionalVariable, PiGroup } from '../dimensional/buckingham.js';
+import type { AtlasBridge, 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;
+/** 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[];
+/**
+ * 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 declare function admitApproximation<T extends AtlasBridge>(bridge: T): T;
+//# sourceMappingURL=regime.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAGjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAExE;;;;;;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;AAsFD,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;AAiBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CA2BtE"}