universal-physics-tensor 0.24.0 → 0.28.0

package/dist/composition/graph-viz-svg.js

@@ -0,0 +1,45 @@
+/**
+ * SVG rendering for the physics map — render Graphviz DOT source to an SVG
+ * string via the optional **`@viz-js/viz`** peer (the real Graphviz compiled to
+ * WebAssembly: same `dot` output, in-process, no native binary, no subprocess).
+ *
+ * Kept separate from `graph-viz.ts` so that module stays pure, synchronous, and
+ * dependency-free (text only). The optional-renderer concern — a lazy dynamic
+ * import with graceful fallback, mirroring `numerical/formula-registry.ts`'s
+ * MathTS-peer pattern — lives here.
+ *
+ * @module composition/graph-viz-svg
+ */
+/**
+ * Thrown by {@link renderDotToSvg} when the optional `@viz-js/viz` peer is not
+ * installed. The message names the install command and the no-install
+ * alternative.
+ *
+ * @public
+ */
+export class SvgRendererUnavailableError extends Error {
+    constructor(message = 'SVG rendering needs the optional renderer: npm i @viz-js/viz ' +
+        '(or use --format=dot | dot -Tsvg)') {
+        super(message);
+        this.name = 'SvgRendererUnavailableError';
+    }
+}
+/**
+ * Render Graphviz DOT source (e.g. {@link buildVizModel}'s `toDot()`) to an SVG
+ * document string. Lazy-loads the optional `@viz-js/viz` peer.
+ *
+ * @throws {SvgRendererUnavailableError} if the peer is not installed.
+ * @public
+ */
+export async function renderDotToSvg(dot) {
+    let viz;
+    try {
+        viz = (await import('@viz-js/viz'));
+    }
+    catch {
+        throw new SvgRendererUnavailableError();
+    }
+    const renderer = await viz.instance();
+    return renderer.renderString(dot, { format: 'svg' });
+}
+//# sourceMappingURL=graph-viz-svg.js.map

package/dist/composition/graph-viz-svg.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-viz-svg.js","sourceRoot":"","sources":["../../src/composition/graph-viz-svg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;;GAMG;AACH,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IACpD,YACE,OAAO,GAAG,+DAA+D;QACvE,mCAAmC;QAErC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC5C,CAAC;CACF;AASD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,GAAW;IAC9C,IAAI,GAAc,CAAC;IACnB,IAAI,CAAC;QACH,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,CAAyB,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,2BAA2B,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC;IACtC,OAAO,QAAQ,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AACvD,CAAC"}

package/dist/composition/graph-viz.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Physics-map visualization — turn the composition hypergraph into Mermaid and
+ * Graphviz-DOT **source text**.
+ *
+ * The graph is bipartite in the drawing: round nodes are *quantities*
+ * (`mass`, `temperature`, …) and box nodes are *equations* — laws, bridges, or
+ * proposed relations — each an n-ary junction (its source quantities point in,
+ * its target points out). This makes "equations as junctions" literal and draws
+ * n-ary edges faithfully (a single Mermaid/DOT edge can only connect two nodes).
+ *
+ * The model computes its own connected components over the junctions — so a
+ * `--proposed` overlay participates in the clustering — and groups each component
+ * into its own subgraph so the genuinely disjointed map stays legible. For the
+ * pure-`BridgeEdge` case the component count matches the authoritative
+ * {@link linkageMap} (pinned by a drift-guard test).
+ *
+ * Pure string production: no file I/O (the CLI is the only file-touching layer).
+ *
+ * @module composition/graph-viz
+ */
+import type { BridgeEdge } from './edge.js';
+/**
+ * Epistemic status of a junction — drives node colour/shape. Bridges carry
+ * their catalog confidence; `law` is a diagonal/established-physics edge;
+ * `proposed` is a machine-derived, unadjudicated relation (rendered quarantined).
+ *
+ * @public
+ */
+export type VizStatus = 'law' | 'established' | 'speculative' | 'highly-speculative' | 'proposed' | 'user';
+/**
+ * A normalized equation junction: n source quantities → 1 target. The render
+ * model's unit of "equation", decoupled from both `BridgeEdge` and the internal
+ * `ProposedBridge` type (the CLI converts each into this shape).
+ *
+ * @public
+ */
+export interface VizJunction {
+    /** Graph id, e.g. `'be-42'` or `'IC-…'`. */
+    readonly id: string;
+    /** Short human label. */
+    readonly label: string;
+    readonly status: VizStatus;
+    /** Source quantity names. */
+    readonly sources: readonly string[];
+    /** Target quantity name. */
+    readonly target: string;
+}
+/**
+ * One connected component of the bipartite graph.
+ *
+ * @public
+ */
+export interface VizCluster {
+    /** Junction ids in this component. */
+    readonly junctionIds: readonly string[];
+    /** Distinct (canonical) quantity names touched by this component. */
+    readonly quantities: readonly string[];
+    /** Number of junctions (the cluster "size", matching `linkageMap`). */
+    readonly size: number;
+    /** Contains a `law`/`established` junction (anchored to known physics). */
+    readonly anchored: boolean;
+}
+/**
+ * Options for {@link buildVizModel}.
+ *
+ * @public
+ */
+export interface VizOptions {
+    /** Diagram title (used as the graph label). */
+    readonly title?: string;
+    /** Already-normalized extra junctions to overlay (e.g. proposed relations). */
+    readonly extraJunctions?: readonly VizJunction[];
+}
+/**
+ * The render model: normalized junctions, their connected components, and the
+ * two serializers.
+ *
+ * @public
+ */
+export interface VizModel {
+    readonly junctions: readonly VizJunction[];
+    readonly clusters: readonly VizCluster[];
+    toMermaid(): string;
+    toDot(): string;
+}
+/** Map a `BridgeEdge` to a `VizJunction` (raw quantity names).
+ *
+ * The display label is the compact catalog id (`BE-<n>`) when the edge is
+ * catalog-backed, else the edge's own label — a *map* reads better with short
+ * junction names; the full formula stays in the catalog. */
+export declare function edgeToJunction(edge: BridgeEdge): VizJunction;
+/**
+ * Build the bipartite, clustered render model from a graph (+ optional overlay).
+ * Quantity names are canonicalized via `QUANTITY_IDENTIFICATIONS` so the
+ * clustering matches the authoritative {@link linkageMap}.
+ *
+ * @public
+ */
+export declare function buildVizModel(edges: readonly BridgeEdge[], opts?: VizOptions): VizModel;
+//# sourceMappingURL=graph-viz.d.ts.map

package/dist/composition/graph-viz.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-viz.d.ts","sourceRoot":"","sources":["../../src/composition/graph-viz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB,KAAK,GACL,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,UAAU,GACV,MAAM,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yBAAyB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,sCAAsC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAClD;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,SAAS,IAAI,MAAM,CAAC;IACpB,KAAK,IAAI,MAAM,CAAC;CACjB;AAcD;;;;4DAI4D;AAC5D,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,CAS5D;AAsND;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,UAAe,GACpB,QAAQ,CA6BV"}

package/dist/composition/graph-viz.js

@@ -0,0 +1,256 @@
+/**
+ * Physics-map visualization — turn the composition hypergraph into Mermaid and
+ * Graphviz-DOT **source text**.
+ *
+ * The graph is bipartite in the drawing: round nodes are *quantities*
+ * (`mass`, `temperature`, …) and box nodes are *equations* — laws, bridges, or
+ * proposed relations — each an n-ary junction (its source quantities point in,
+ * its target points out). This makes "equations as junctions" literal and draws
+ * n-ary edges faithfully (a single Mermaid/DOT edge can only connect two nodes).
+ *
+ * The model computes its own connected components over the junctions — so a
+ * `--proposed` overlay participates in the clustering — and groups each component
+ * into its own subgraph so the genuinely disjointed map stays legible. For the
+ * pure-`BridgeEdge` case the component count matches the authoritative
+ * {@link linkageMap} (pinned by a drift-guard test).
+ *
+ * Pure string production: no file I/O (the CLI is the only file-touching layer).
+ *
+ * @module composition/graph-viz
+ */
+import { QUANTITY_IDENTIFICATIONS } from './compose.js';
+/** Fill colour + dashed flag per status. Tweak here to restyle the whole map. */
+const STATUS_STYLE = {
+    law: { fill: '#cfe3f7', stroke: '#3a6ea5', dashed: false }, // textbook law — blue
+    established: { fill: '#cde7d3', stroke: '#3f8f5b', dashed: false }, // solid bridge — green
+    speculative: { fill: '#fdebc8', stroke: '#c9881b', dashed: false }, // amber
+    'highly-speculative': { fill: '#f5c6c6', stroke: '#c0392b', dashed: false }, // red
+    proposed: { fill: '#e6e6e6', stroke: '#888888', dashed: true }, // unadjudicated — grey dashed
+    user: { fill: '#e9d8fd', stroke: '#6b46c1', dashed: false }, // user-supplied — violet
+};
+/** Map a `BridgeEdge` to a `VizJunction` (raw quantity names).
+ *
+ * The display label is the compact catalog id (`BE-<n>`) when the edge is
+ * catalog-backed, else the edge's own label — a *map* reads better with short
+ * junction names; the full formula stays in the catalog. */
+export function edgeToJunction(edge) {
+    const status = edge.kind === 'law' ? 'law' : edge.confidence;
+    return {
+        id: edge.id,
+        label: edge.beId != null ? `BE-${edge.beId}` : edge.label,
+        status,
+        sources: edge.sources.map((s) => s.name),
+        target: edge.target.name,
+    };
+}
+/** Quantity-name canonicalizer from `QUANTITY_IDENTIFICATIONS` (matches `linkageMap`). */
+function makeCanon() {
+    const alias = new Map(QUANTITY_IDENTIFICATIONS.map((id) => [id.from, id.to]));
+    return (n) => alias.get(n) ?? n;
+}
+/** Distinct canonical quantity names of a junction (sources ∪ target). */
+function quantitiesOf(j) {
+    return [...new Set([...j.sources, j.target])];
+}
+/** Union-find component grouping of junctions sharing a (canonical) quantity. */
+function componentsOf(junctions) {
+    const parent = junctions.map((_, i) => i);
+    const find = (x) => parent[x] === x ? x : (parent[x] = find(parent[x]));
+    const union = (a, b) => {
+        parent[find(a)] = find(b);
+    };
+    const qToJunctions = new Map();
+    junctions.forEach((j, i) => {
+        for (const qty of quantitiesOf(j)) {
+            const arr = qToJunctions.get(qty) ?? [];
+            arr.push(i);
+            qToJunctions.set(qty, arr);
+        }
+    });
+    for (const idxs of qToJunctions.values()) {
+        for (let k = 1; k < idxs.length; k++)
+            union(idxs[0], idxs[k]);
+    }
+    const groups = new Map();
+    junctions.forEach((_, i) => {
+        const r = find(i);
+        const arr = groups.get(r) ?? [];
+        arr.push(i);
+        groups.set(r, arr);
+    });
+    const clusters = [...groups.values()].map((idxs) => {
+        const js = idxs.map((i) => junctions[i]);
+        const quantities = [...new Set(js.flatMap(quantitiesOf))].sort();
+        return {
+            junctionIds: js.map((j) => j.id),
+            quantities,
+            size: js.length,
+            anchored: js.some((j) => j.status === 'law' || j.status === 'established'),
+        };
+    });
+    // Deterministic: largest first, then by first junction id.
+    clusters.sort((a, b) => b.size - a.size || a.junctionIds[0].localeCompare(b.junctionIds[0]));
+    return clusters;
+}
+/** A stable, collision-free id factory mapping arbitrary keys to safe ids. */
+function idFactory(prefix) {
+    const seen = new Map();
+    const used = new Set();
+    return (key) => {
+        const cached = seen.get(key);
+        if (cached)
+            return cached;
+        const base = `${prefix}_${key.replace(/[^A-Za-z0-9]/g, '_')}`;
+        let id = base;
+        let n = 1;
+        while (used.has(id))
+            id = `${base}_${n++}`;
+        used.add(id);
+        seen.set(key, id);
+        return id;
+    };
+}
+/** Escape a label for Mermaid `["…"]` — XML-entity-encode the characters that
+ *  break the quoted form or are read as entities (`&`, `"`, `<`, `>`). */
+const mmLabel = (s) => s
+    .replace(/&/g, '&amp;')
+    .replace(/"/g, '&quot;')
+    .replace(/</g, '&lt;')
+    .replace(/>/g, '&gt;');
+/** Escape a label for a DOT double-quoted string. */
+const dotLabel = (s) => s.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+const STATUSES_IN_ORDER = [
+    'law',
+    'established',
+    'speculative',
+    'highly-speculative',
+    'proposed',
+    'user',
+];
+/**
+ * Drive a format-specific cluster renderer over the standard layout, identical
+ * for both emitters: multi-junction components first (each its own subgraph,
+ * keyed `0`,`1`,…, labelled `anchored cluster (n)` / `cluster (n)`), then a
+ * single `iso` subgraph collecting all singletons. The callback owns all
+ * per-format string production; this owns only the traversal and labelling.
+ */
+function forEachClusterGroup(clusters, renderCluster) {
+    const multi = clusters.filter((c) => c.size > 1);
+    const singletons = clusters.filter((c) => c.size === 1);
+    multi.forEach((c, i) => renderCluster(`${c.anchored ? 'anchored ' : ''}cluster (${c.size})`, c.junctionIds, String(i)));
+    if (singletons.length) {
+        renderCluster(`isolated (${singletons.length})`, singletons.flatMap((c) => c.junctionIds), 'iso');
+    }
+}
+function emitMermaid(clusters, byId, title) {
+    const qid = idFactory('q');
+    const jid = idFactory('j');
+    const usedStatuses = new Set();
+    const out = [`flowchart LR`, `%% ${title}`];
+    const renderCluster = (label, junctionIds, key) => {
+        out.push(`  subgraph cl_${key}["${mmLabel(label)}"]`);
+        out.push(`    direction LR`);
+        const declared = new Set();
+        const declareQ = (name) => {
+            const id = qid(name);
+            if (!declared.has(id)) {
+                out.push(`    ${id}(["${mmLabel(name)}"]):::qty`);
+                declared.add(id);
+            }
+            return id;
+        };
+        for (const id of junctionIds) {
+            const j = byId.get(id);
+            usedStatuses.add(j.status);
+            const jId = jid(j.id);
+            out.push(`    ${jId}["${mmLabel(j.label)}"]:::${j.status}`);
+            for (const s of j.sources)
+                out.push(`    ${declareQ(s)} --> ${jId}`);
+            out.push(`    ${jId} --> ${declareQ(j.target)}`);
+        }
+        out.push(`  end`);
+    };
+    forEachClusterGroup(clusters, renderCluster);
+    for (const st of STATUSES_IN_ORDER) {
+        if (!usedStatuses.has(st))
+            continue;
+        const { fill, stroke, dashed } = STATUS_STYLE[st];
+        out.push(`  classDef ${st} fill:${fill},stroke:${stroke}${dashed ? ',stroke-dasharray:4 3' : ''}`);
+    }
+    out.push(`  classDef qty fill:#ffffff,stroke:#999999`);
+    return out.join('\n') + '\n';
+}
+function emitDot(clusters, byId, title) {
+    const qid = idFactory('q');
+    const jid = idFactory('j');
+    const out = [
+        `digraph PhysicsMap {`,
+        `  label="${dotLabel(title)}";`,
+        `  rankdir=LR;`,
+        `  node [fontname="Helvetica"];`,
+    ];
+    const renderCluster = (label, junctionIds, key) => {
+        out.push(`  subgraph cluster_${key} {`);
+        out.push(`    label="${dotLabel(label)}";`);
+        const declared = new Set();
+        const declareQ = (name) => {
+            const id = qid(name);
+            if (!declared.has(id)) {
+                out.push(`    ${id} [shape=ellipse,label="${dotLabel(name)}"];`);
+                declared.add(id);
+            }
+            return id;
+        };
+        for (const id of junctionIds) {
+            const j = byId.get(id);
+            const jId = jid(j.id);
+            const { fill, stroke, dashed } = STATUS_STYLE[j.status];
+            const style = dashed ? 'filled,dashed' : 'filled';
+            out.push(`    ${jId} [shape=box,style="${style}",fillcolor="${fill}",color="${stroke}",label="${dotLabel(j.label)}"];`);
+            for (const s of j.sources)
+                out.push(`    ${declareQ(s)} -> ${jId};`);
+            out.push(`    ${jId} -> ${declareQ(j.target)};`);
+        }
+        out.push(`  }`);
+    };
+    forEachClusterGroup(clusters, renderCluster);
+    out.push(`}`);
+    return out.join('\n') + '\n';
+}
+/**
+ * Build the bipartite, clustered render model from a graph (+ optional overlay).
+ * Quantity names are canonicalized via `QUANTITY_IDENTIFICATIONS` so the
+ * clustering matches the authoritative {@link linkageMap}.
+ *
+ * @public
+ */
+export function buildVizModel(edges, opts = {}) {
+    const canon = makeCanon();
+    const normalize = (j) => ({
+        ...j,
+        sources: j.sources.map(canon),
+        target: canon(j.target),
+    });
+    const junctions = [
+        ...edges.map((e) => normalize(edgeToJunction(e))),
+        ...(opts.extraJunctions ?? []).map(normalize),
+    ];
+    // A duplicate junction id (e.g. a proposed overlay colliding with an edge id)
+    // would silently drop one from the rendered output — make it a loud error.
+    const byId = new Map();
+    for (const j of junctions) {
+        if (byId.has(j.id)) {
+            throw new Error(`buildVizModel: duplicate junction id '${j.id}'`);
+        }
+        byId.set(j.id, j);
+    }
+    const clusters = componentsOf(junctions);
+    const title = opts.title ?? 'UPT physics map';
+    return {
+        junctions,
+        clusters,
+        toMermaid: () => emitMermaid(clusters, byId, title),
+        toDot: () => emitDot(clusters, byId, title),
+    };
+}
+//# sourceMappingURL=graph-viz.js.map

package/dist/composition/graph-viz.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-viz.js","sourceRoot":"","sources":["../../src/composition/graph-viz.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AA6ExD,iFAAiF;AACjF,MAAM,YAAY,GAEd;IACF,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,sBAAsB;IAClF,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,uBAAuB;IAC3F,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,QAAQ;IAC5E,oBAAoB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,MAAM;IACnF,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,8BAA8B;IAC9F,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,yBAAyB;CACvF,CAAC;AAEF;;;;4DAI4D;AAC5D,MAAM,UAAU,cAAc,CAAC,IAAgB;IAC7C,MAAM,MAAM,GAAc,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IACxE,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK;QACzD,MAAM;QACN,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACxC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;KACzB,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS;IAChB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,0EAA0E;AAC1E,SAAS,YAAY,CAAC,CAAc;IAClC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,SAAiC;IACrD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CACjC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAc,EAAE;QAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,OAAO;YACL,WAAW,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,UAAU;YACV,IAAI,EAAE,EAAE,CAAC,MAAM;YACf,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;SAC3E,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,CAAC,GAAG,EAAE,EAAE;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9D,IAAI,EAAE,GAAG,IAAI,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClB,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CACpC,CAAC;KACE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;KACtB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;KACvB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;KACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC3B,qDAAqD;AACrD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAEtF,MAAM,iBAAiB,GAAyB;IAC9C,KAAK;IACL,aAAa;IACb,aAAa;IACb,oBAAoB;IACpB,UAAU;IACV,MAAM;CACP,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC1B,QAA+B,EAC/B,aAAmF;IAEnF,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IACxD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACrB,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAC/F,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtB,aAAa,CACX,aAAa,UAAU,CAAC,MAAM,GAAG,EACjC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EACxC,KAAK,CACN,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,QAA+B,EAC/B,IAAsC,EACtC,KAAa;IAEb,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAa,CAAC;IAC1C,MAAM,GAAG,GAAa,CAAC,cAAc,EAAE,MAAM,KAAK,EAAE,CAAC,CAAC;IAEtD,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,WAA8B,EAAE,GAAW,EAAQ,EAAE;QACzF,GAAG,CAAC,IAAI,CAAC,iBAAiB,GAAG,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;YACxC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAClD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YACxB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;YACrE,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,QAAQ,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,mBAAmB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAE7C,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;QACnC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACpC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAClD,GAAG,CAAC,IAAI,CACN,cAAc,EAAE,SAAS,IAAI,WAAW,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAC/B,CAAC;AAED,SAAS,OAAO,CACd,QAA+B,EAC/B,IAAsC,EACtC,KAAa;IAEb,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAa;QACpB,sBAAsB;QACtB,YAAY,QAAQ,CAAC,KAAK,CAAC,IAAI;QAC/B,eAAe;QACf,gCAAgC;KACjC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,WAA8B,EAAE,GAAW,EAAQ,EAAE;QACzF,GAAG,CAAC,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,cAAc,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;YACxC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,0BAA0B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACjE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC;YAClD,GAAG,CAAC,IAAI,CACN,OAAO,GAAG,sBAAsB,KAAK,gBAAgB,IAAI,YAAY,MAAM,YAAY,QAAQ,CAC7F,CAAC,CAAC,KAAK,CACR,KAAK,CACP,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;YACrE,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF,mBAAmB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC7C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA4B,EAC5B,OAAmB,EAAE;IAErB,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAc,EAAe,EAAE,CAAC,CAAC;QAClD,GAAG,CAAC;QACJ,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAC7B,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;KACxB,CAAC,CAAC;IACH,MAAM,SAAS,GAAkB;QAC/B,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;KAC9C,CAAC;IACF,8EAA8E;IAC9E,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,iBAAiB,CAAC;IAE9C,OAAO;QACL,SAAS;QACT,QAAQ;QACR,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC;QACnD,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC;KAC5C,CAAC;AACJ,CAAC"}

package/dist/composition/index.d.ts

@@ -35,4 +35,12 @@ export { explainQuantity } from './explain.js';
 export type { Observable, ComposeSymbolicOptions } from './compose-symbolic.js';
 export { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';
 export { SymbolicEvalError } from './expr-eval.js';
+export type { VizStatus, VizJunction, VizCluster, VizOptions, VizModel, } from './graph-viz.js';
+export { buildVizModel, edgeToJunction } from './graph-viz.js';
+export { renderDotToSvg, SvgRendererUnavailableError } from './graph-viz-svg.js';
+export type { DimensionAdjacency } from './dimension-adjacency.js';
+export { dimensionAdjacency } from './dimension-adjacency.js';
+export type { UserEquation, EquationLanding } from './user-equation.js';
+export type { EquationAnalysis, EquationHint } from './user-equation.js';
+export { parseUserEquation, resolveToCatalogName, suggestQuantities, suggestByDimension, equationLanding, analyzeUserEquation, UserEquationError, } from './user-equation.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/composition/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7D,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7D,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,GACT,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjF,YAAY,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC"}

package/dist/composition/index.js

@@ -25,4 +25,8 @@ export { retrodict, retrodictNode } from './retrodiction.js';
 export { explainQuantity } from './explain.js';
 export { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';
 export { SymbolicEvalError } from './expr-eval.js';
+export { buildVizModel, edgeToJunction } from './graph-viz.js';
+export { renderDotToSvg, SvgRendererUnavailableError } from './graph-viz-svg.js';
+export { dimensionAdjacency } from './dimension-adjacency.js';
+export { parseUserEquation, resolveToCatalogName, suggestQuantities, suggestByDimension, equationLanding, analyzeUserEquation, UserEquationError, } from './user-equation.js';
 //# sourceMappingURL=index.js.map

package/dist/composition/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AASnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAG9D,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC"}

package/dist/composition/user-equation.d.ts

@@ -0,0 +1,136 @@
+/**
+ * User-equation injection — turn a free-form `TARGET = EXPR` string into a graph
+ * junction (a target quantity + its source quantities), resolve the user's
+ * symbols onto the catalog vocabulary, suggest near-misses, and report where the
+ * injected junction lands in a built {@link VizModel}.
+ *
+ * Free-form means no dimensions: source quantities are the RHS's free variables
+ * — extracted by the active formula parser via {@link getFormulaParser} (the
+ * MathTS expression parser when the optional peer is installed, else the built-in
+ * one; both already drop constants like `pi`/`tau`, numbers, and functions) —
+ * minus the physics {@link CONSTANTS}. Multi-word quantities are typed with
+ * underscores; resolution tries the literal form first, then the `_`↔`-` swap, so
+ * both the catalog's hyphenated (`photon-energy`) and underscored
+ * (`impact_parameter`) names connect.
+ *
+ * Pure: no file I/O. The injected junction is rendered as an `extraJunction`
+ * (status `'user'`) and is never written into the catalog.
+ *
+ * @module composition/user-equation
+ */
+import type { VizModel, VizJunction } from './graph-viz.js';
+import type { Dimension } from '../dimensional/types.js';
+/** Thrown when a user equation cannot be parsed into a target + sources. @public */
+export declare class UserEquationError extends Error {
+    constructor(message: string);
+}
+/**
+ * A parsed user equation: the target quantity and its source quantities, as
+ * written (underscores preserved; constants/numbers/functions removed).
+ *
+ * @public
+ */
+export interface UserEquation {
+    readonly target: string;
+    readonly sources: readonly string[];
+    /** The original `TARGET = EXPR` text, for the junction label. */
+    readonly text: string;
+}
+/**
+ * Parse `TARGET = EXPR` into `{ target, sources }`. The target is the text left
+ * of the first `=`; the sources are the RHS's free variables minus the physics
+ * constants.
+ *
+ * Uses the active formula parser (MathTS when installed, built-in otherwise) to
+ * extract the RHS's free variables.
+ *
+ * @throws {UserEquationError} on a missing `=`, an empty target, an unparseable
+ *   RHS, or an RHS with no source quantities.
+ * @public
+ */
+export declare function parseUserEquation(equation: string): Promise<UserEquation>;
+/**
+ * Resolve a user symbol to a catalog quantity name: the literal name first, then
+ * the `_`→`-` and `-`→`_` swaps, against `catalogNames`. Returns `null` if none
+ * match.
+ *
+ * @public
+ */
+export declare function resolveToCatalogName(name: string, catalogNames: ReadonlySet<string>): string | null;
+/**
+ * Up to `k` catalog names most similar to `name` — the "did you mean?" set for an
+ * unmatched user symbol. Names where one string contains the other rank first,
+ * then by edit distance, then by length.
+ *
+ * @public
+ */
+export declare function suggestQuantities(name: string, catalogNames: Iterable<string>, k?: number): string[];
+/**
+ * Catalog quantity names whose dimension equals `dim` (sorted, capped at `k`) —
+ * the dimension-based "did you mean?" set once an unknown symbol's dimension has
+ * been inferred.
+ *
+ * @public
+ */
+export declare function suggestByDimension(dim: Dimension, catalogDims: ReadonlyMap<string, Dimension>, k?: number): string[];
+/**
+ * Where the injected user junction landed, computed from a built `VizModel`.
+ *
+ * @public
+ */
+export interface EquationLanding {
+    readonly isolated: boolean;
+    /** Junctions in the user equation's connected component (including itself). */
+    readonly clusterSize: number;
+    /** The component holds a law/established junction (anchored to known physics). */
+    readonly anchored: boolean;
+    /** User-equation quantities that also appear in a neighbouring junction. */
+    readonly sharedQuantities: readonly string[];
+    /** Other junction ids in the user equation's component. */
+    readonly connectedJunctionIds: readonly string[];
+}
+/**
+ * Describe where `userJunctionId` sits in `model`: its component, the junctions it
+ * connects to, and the quantities that link it to them.
+ *
+ * @public
+ */
+export declare function equationLanding(model: VizModel, userJunctionId: string): EquationLanding;
+/** A "did you mean?" suggestion for an unmatched symbol. */
+export interface EquationHint {
+    readonly name: string;
+    readonly suggestions: readonly string[];
+    /** True when the suggestions come from the symbol's INFERRED dimension. */
+    readonly byDimension: boolean;
+}
+/**
+ * Full analysis of a user equation against a catalog name→dimension map: the
+ * `user` junction (for the graph), the dimensional verdict (RHS dimension vs the
+ * target's catalog dimension), and "did you mean?" hints (dimension-based when a
+ * single unknown's dimension can be inferred, else name-similarity).
+ *
+ * Physics constants (`hbar`, `c`, `k_B`, …) are supplied to the parser with
+ * their real dimensions (from `CONSTANTS`) so the dimensional check is correct.
+ *
+ * @public
+ */
+export interface EquationAnalysis {
+    readonly junction: VizJunction;
+    /** Set when the RHS is not dimensionally well-formed (then dims are null). */
+    readonly parseError: string | null;
+    readonly rhsDimension: Dimension | null;
+    readonly targetDimension: Dimension | null;
+    /** rhsDimension === targetDimension; null when unknowable or parse failed. */
+    readonly consistent: boolean | null;
+    readonly hints: readonly EquationHint[];
+}
+/**
+ * Parse + dimensionally analyze a user `TARGET = EXPR` against `catalogDims`
+ * (catalog quantity name → dimension). Throws {@link UserEquationError} on a
+ * structurally malformed equation; reports a dimensional malformation via
+ * `parseError`.
+ *
+ * @public
+ */
+export declare function analyzeUserEquation(equation: string, catalogDims: ReadonlyMap<string, Dimension>): Promise<EquationAnalysis>;
+//# sourceMappingURL=user-equation.d.ts.map

package/dist/composition/user-equation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-equation.d.ts","sourceRoot":"","sources":["../../src/composition/user-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAKzD,oFAAoF;AACpF,qBAAa,iBAAkB,SAAQ,KAAK;gBAC9B,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA8B/E;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,MAAM,GAAG,IAAI,CAOf;AAsBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,EAC9B,CAAC,SAAI,GACJ,MAAM,EAAE,CAsBV;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,SAAS,EACd,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,EAC3C,CAAC,SAAI,GACJ,MAAM,EAAE,CAMV;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,2DAA2D;IAC3D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAG,eAAe,CAqBxF;AAED,4DAA4D;AAC5D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,SAAS,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;CACzC;AAED;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC1C,OAAO,CAAC,gBAAgB,CAAC,CAiE3B"}