universal-physics-tensor 10.0.0 → 11.0.0

package/dist/cli/commands/map.js

@@ -19,6 +19,7 @@ import { resolveGraph, coreAnchor, coreLine, groundTruthAnchor, groundTruthLine
 import { emitJson } from '../output.js';
 import { publishedUrl } from '../published-url.js';
 import { UsageError, CliError, EXIT_CHECK_FAILED } from '../errors.js';
+import { integerFlag } from '../numeric-flag.js';
 import { classifyDetermination } from '../determination.js';
 import { parseDiscoveryOpts } from './_discovery-opts.js';
 import * as atlasMap from './_atlas-map.js';
@@ -55,8 +56,15 @@ const FLAGS = [
     { name: '--bind-short', valueStyle: 'none', description: 'Bind a one-letter catalog name in --equation. Without it, those names are reported and not bound.' },
     { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 when a dimension difference is a power of those constants.' },
     { name: '--geometrized', valueStyle: 'none', description: 'With the natural-unit rules, also set G = 1.' },
+    { name: '--communities', valueStyle: 'none', description: 'Also print the layout communities (Louvain, heuristic) of the largest component. A drawing aid, not physics.' },
+    { name: '--cycles', valueStyle: 'none', description: 'Also print the derivation cycles: strongly connected components of the directed source→target quantity graph.' },
+    { name: '--rank-hubs', valueStyle: 'none', description: 'Also rank quantities by betweenness centrality (normalised). Computed only when asked.' },
     JSON_FLAG,
 ];
+/** How many hubs `--rank-hubs` prints in text; `--json` carries every quantity. */
+const HUBS_SHOWN = 10;
+/** Flags that add a structure section to the text and --json forms, and mean nothing on a diagram. */
+const STRUCTURE_FLAGS = ['communities', 'cycles', 'rank-hubs'];
 const HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|dot|svg]
         [--proposed [--anchor=k=v,...] [--max-orders=N]] [--out=PATH]
         [--equation "TARGET = EXPR" [--equation-only] [--verbose] [--bind-short]
@@ -141,6 +149,14 @@ const HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|d
         unresolved are counted apart.
         Every atlas view states how many of the atlas's models and bridges it
         shows, in text, --json and --format=mermaid|dot|svg.
+        --communities, --cycles and --rank-hubs each add one section to the
+        text report (and a key to --json); they do not apply to a diagram.
+        --communities lists the layout communities (Louvain, heuristic) of the
+        largest component: where a drawing may place quantities together, never
+        a physics claim. --cycles lists the derivation cycles (strongly
+        connected components of the directed source→target quantity graph),
+        where over-determination lives. --rank-hubs ranks quantities by
+        betweenness centrality (normalised; computed only when asked).
         e.g.  upt map --relation=derivation --source=both
               upt map --around=temperature --depth=2 --source=catalog
               upt map --route=model-pendulum,model-lc
@@ -346,8 +362,46 @@ function printEquationReport(api, model, user, out, comparisons = []) {
         }
     }
 }
+/** Compute only the sections asked for; `rankHubs` is the betweenness pass the default path never runs. */
+async function structureSections(api, graph, flags) {
+    return {
+        ...(flags.has('communities') ? { communities: api.communitiesOf(graph) } : {}),
+        ...(flags.has('cycles') ? { cycles: api.derivationCycles(graph) } : {}),
+        ...(flags.has('rank-hubs') ? { hubs: await api.rankHubs(graph) } : {}),
+    };
+}
+/** The text of the structure sections, in flag order; empty when none was asked for. A number goes through `formatQuantity`. */
+function structureLines(s, formatQuantity) {
+    const lines = [];
+    if (s.communities !== undefined) {
+        const c = s.communities;
+        lines.push(`  ${c.method} of the largest component (${c.componentSize} quantities) — a drawing aid, not physics:`);
+        if (c.communities.length === 0)
+            lines.push('     none (the graph has no component)');
+        c.communities.forEach((com, i) => lines.push(`     ${i + 1}. (${com.size}) ${com.quantities.join(', ')}`));
+        lines.push('');
+    }
+    if (s.cycles !== undefined) {
+        const head = s.cycles.length === 0 ? 'none — the quantity graph is acyclic' : String(s.cycles.length);
+        lines.push(`  derivation cycles (strongly connected components of source→target, where over-determination lives): ${head}`);
+        for (const cyc of s.cycles)
+            lines.push(`     {${cyc.quantities.join(', ')}} closed by ${cyc.edges.join(', ')}`);
+        lines.push('');
+    }
+    if (s.hubs !== undefined) {
+        const shown = Math.min(HUBS_SHOWN, s.hubs.length);
+        lines.push(`  hubs by betweenness centrality (normalised; top ${shown} of ${s.hubs.length} quantities; a cut quantity of the drawing, not a central law):`);
+        for (const h of s.hubs.slice(0, shown))
+            lines.push(`     ${h.quantity.padEnd(40)} ${formatQuantity(h.betweenness, 3)}  (degree ${h.degree})`);
+        lines.push('');
+    }
+    // Sections are separated by one blank line; the closing line of the report brings its own.
+    while (lines.length > 0 && lines[lines.length - 1] === '')
+        lines.pop();
+    return lines;
+}
 /** Flags that shape the equation graph, and so mean nothing on an atlas view. */
-const GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor'];
+const GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor', ...STRUCTURE_FLAGS];
 /** Flags that only an atlas view reads. */
 const ATLAS_ONLY_FLAGS = ['all-routes', 'max-routes', 'stored', 'run'];
 async function runAtlasView(ctx, route, family, observable) {
@@ -371,8 +425,9 @@ async function runAtlasView(ctx, route, family, observable) {
     const maxRaw = lastValue(args.flags, 'max-routes');
     if (maxRaw !== undefined && !allRoutes)
         throw new CliError('upt map: --max-routes needs --all-routes');
-    const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : Number(maxRaw);
-    if (!Number.isInteger(maxRoutes) || maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {
+    // The grammar first (`0x10` is usage, exit 2); the 1..ceiling range after (exit 1).
+    const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : integerFlag('map', '--max-routes', maxRaw);
+    if (maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {
         throw new CliError(`upt map: --max-routes=${maxRaw} must be an integer from 1 to ${atlasMap.MAX_ROUTES_CEILING}`);
     }
     if (args.flags.has('stored') && args.flags.has('run')) {
@@ -512,8 +567,9 @@ async function runReport(ctx) {
     let focus = null;
     let fullGraph = wholeGraph;
     if (around !== undefined) {
-        const depth = depthRaw === undefined ? DEFAULT_DEPTH : Number(depthRaw);
-        if (!Number.isInteger(depth) || depth < 1 || depth > MAX_DEPTH)
+        // The grammar first (`1e1` is usage, exit 2); the 1..MAX_DEPTH range after (exit 1).
+        const depth = depthRaw === undefined ? DEFAULT_DEPTH : integerFlag('map', '--depth', depthRaw);
+        if (depth < 1 || depth > MAX_DEPTH)
             throw new CliError(`upt map: --depth=${depthRaw} must be an integer from 1 to ${MAX_DEPTH}`);
         const known = new Set(wholeGraph.flatMap((e) => [...e.sources.map((q) => q.name), e.target.name]));
         const name = api.resolveQuantityName(around, known);
@@ -555,6 +611,13 @@ async function runReport(ctx) {
     if (isJson && fmt !== 'text') {
         throw new UsageError('upt: pick one output form: --json or --format');
     }
+    const structureAsked = STRUCTURE_FLAGS.filter((f) => args.flags.has(f));
+    if (structureAsked.length > 0 && fmt !== 'text') {
+        const named = structureAsked.map((f) => `--${f}`).join(', ');
+        throw new UsageError(`upt map: ${named} print${structureAsked.length === 1 ? 's' : ''} text or --json; ${structureAsked.length === 1 ? 'it does' : 'they do'} not apply to --format=${fmt}`);
+    }
+    // Computed only when asked, over the same filtered edge list the linkage map reads.
+    const structure = await structureSections(api, graph, args.flags);
     // --equation injects a user-supplied "TARGET = EXPR" as a 'user' junction.
     let user = null;
     let comparisons = [];
@@ -633,6 +696,7 @@ async function runReport(ctx) {
                 ...(edgeLegend !== null ? { filter: edgeStats } : {}),
                 ...(focus !== null ? { focus } : {}),
                 ...(user ? { landing, userEquation } : {}),
+                ...structure,
             },
         }, write);
         return exitCode;
@@ -734,6 +798,12 @@ async function runReport(ctx) {
     }
     out(`  ○ isolated (${m.isolated.length}) — share no quantity with any other edge:`);
     out(`     ${m.isolated.length === 0 ? 'none' : m.isolated.join(', ')}`);
+    const structureText = structureLines(structure, api.formatQuantity);
+    if (structureText.length > 0) {
+        out('');
+        for (const line of structureText)
+            out(line);
+    }
     out('\n  (a structural map — shared-quantity connectivity, NOT a credibility signal)');
     return exitCode;
 }

package/dist/cli/commands/map.js.map

@@ -1 +1 @@
-{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,EAAoB,MAAM,cAAc,CAAC;AACxH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAsB,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAU5C,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErE,uHAAuH;AACvH,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,SAAS,GAAG,EAAE,CAAC;AAErB,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,MAAM,EAAE,kFAAkF,CAAC;IACtG,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,mFAAmF,EAAE,YAAY,EAAE,MAAM,EAAE;IACpK,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,6CAA6C,EAAE;IACrG,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,uDAAuD,EAAE,YAAY,EAAE,2BAA2B,EAAE;IACjK,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,8DAA8D,EAAE,YAAY,EAAE,YAAY,EAAE;IACvK,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,uDAAuD,EAAE;IAChH,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,mDAAmD,EAAE;IAChH,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE;IACxH,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;IACtH,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE;IACxH,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,4DAA4D,EAAE;IACpH,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wDAAwD,EAAE;IACnH,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,gDAAgD,QAAQ,CAAC,kBAAkB,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE;IAChM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACxF,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,wDAAwD,EAAE;IACrH,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wBAAwB,YAAY,CAAC,iCAAiC,CAAC,2FAA2F,EAAE;IACzN,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,6EAA6E,EAAE;IACjI,4EAA4E;IAC5E,8EAA8E;IAC9E,2EAA2E;IAC3E,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,gEAAgE,EAAE;IAChJ,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,qEAAqE,EAAE;IACnI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,8CAA8C,EAAE;IACtG,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,mGAAmG,EAAE;IAC9J,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,0EAA0E,EAAE;IAClI,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,8CAA8C,EAAE;IAC1G,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oDAmDuC,aAAa;;;;;;;;;;;;;;;;gEAgBD,QAAQ,CAAC,kBAAkB;UACjF,QAAQ,CAAC,kBAAkB;;;;;;;;WAQ1B,YAAY,CAAC,iCAAiC,CAAC;;;;;;;;;;;;;mDAaP,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAA4B,EAAE,QAAgB,EAAE,KAAa;IACzF,MAAM,KAAK,GAAG,CAAC,CAAa,EAAY,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAc,CAAC;IACnC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QACjC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,cAAc,GAA4B;IAC9C,YAAY;IACZ,mBAAmB;IACnB,aAAa;IACb,eAAe;IACf,iBAAiB;IACjB,uBAAuB;IACvB,oBAAoB;IACpB,0BAA0B;CAC3B,CAAC;AAEF,MAAM,aAAa,GAA2B;IAC5C,UAAU;IACV,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,iBAAiB;IACjB,0BAA0B;IAC1B,6BAA6B;IAC7B,uBAAuB;IACvB,cAAc;IACd,YAAY;CACb,CAAC;AAEF,8EAA8E;AAC9E,SAAS,SAAS,CAAC,KAA0B,EAAE,IAAY;IACzD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;qEACqE;AACrE,SAAS,WAAW,CAClB,GAAuB,EACvB,OAAqB,EACrB,IAAY;IAEZ,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAQ,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,IAAI,KAAK,GAAG,gBAAgB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,GAAQ,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,gFAAgF;AAChF,sEAAsE;AACtE,SAAS,iBAAiB,CACxB,GAAsB,EACtB,KAA4B,EAC5B,KAA0B;IAE1B,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE;QACX,MAAM,EAAE,UAAmB;QAC3B,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,wBAAwB;AACxB,KAAK,UAAU,eAAe,CAC5B,GAAsB,EACtB,QAAgB,EAChB,KAA4B,EAC5B,OAAyF;IAEzF,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0D,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC3E,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU;QACjC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,GAAG,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE;YACnD,cAAc,EAAE,OAAO,EAAE,cAAc;YACvC,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC,wBAAwB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;SAC5G,CAAC,CAAC;IACP,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB;IAC7C,MAAM,gBAAgB,GAAG;QACvB,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAClF,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,wDAAwD;AACxD,SAAS,qBAAqB,CAC5B,IAAsB,EACtB,WAA2C;IAE3C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC;IAC3C,OAAO,qBAAqB,CAAC;QAC3B,KAAK;QACL,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpD,WAAW,EACT,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC;QAC7F,SAAS,EAAE,KAAK;QAChB,UAAU;KACX,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,IAAsB;IACrC,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAC3E,sEAAsE;AACtE,SAAS,mBAAmB,CAC1B,GAAsB,EACtB,KAAe,EACf,IAAsB,EACtB,GAA4B,EAC5B,WAAW,GAAmC,EAAE;IAEhD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,GAAG,CAAC,iCAAiC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,GAAG,CACD,wBAAwB,KAAK,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,yBAAyB;YAC9F,2EAA2E,CAC9E,CAAC;IACJ,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,2EAA2E;IAC7E,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;QACrC,GAAG,CACD,oCAAoC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAChG,IAAI,CAAC,eAAgB,CACtB,EAAE,CACJ,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,GAAG,CACD,gBAAgB,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,2BAA2B;YACjG,8GAA8G,CACjH,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7B,GAAG,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,gDAAgD,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC5G,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,WAAW;QAAE,GAAG,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,CAAC,wEAAwE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,GAAG,CACD,2BAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,CAAC,WAAW,SAAS,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC1I,CAAC;QACF,8EAA8E;QAC9E,gFAAgF;QAChF,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,gFAAgF,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,2DAA2D,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5G,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,sDAAsD,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvG,CAAC;QACD,4EAA4E;QAC5E,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,SAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,0DAA0D,CAAC,CAAC,SAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI;gBACpH,qCAAqC,CACxC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,yFAAyF;IACzF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS;aAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;aACtG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChB,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACtB,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,kCAAkC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,yCAAyC;gBAC7H,gEAAgE,CACnE,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,sCAAsC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB;gBACtG,GAAG,IAAI,sDAAsD,CAChE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAU,CAAC;AAEjI,2CAA2C;AAC3C,MAAM,gBAAgB,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;AAEhF,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,KAAyB,EACzB,MAA0B,EAC1B,UAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC5G,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,iEAAiE,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;IAClG,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,QAAQ,CAChB,YAAY,IAAI,4CAA4C,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,YAAY,CAClJ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAC7F,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,QAAQ,CAAC,6HAA6H,CAAC,CAAC;IACpJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC/C,IAAI,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,6CAA6C,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,0CAA0C,CAAC,CAAC;IACvG,MAAM,SAAS,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QAC7F,MAAM,IAAI,QAAQ,CAAC,yBAAyB,MAAM,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,QAAQ,CAAC,gGAAgG,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,MAAM,IAAI,GAAG,KAAK,MAAM;QAAE,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACpG,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;IACF,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,OAAuC,EAAsB,EAAE,CAC5E,SAAS,KAAK,IAAI;QAChB,CAAC,CAAC,SAAS;YACT,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC;YACjE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,MAAM,KAAK,SAAS;YACpB,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC;YACxD,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,OAAO,GAAmC,IAAI,CAAC;IACnD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;SAChE,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,iGAAiG;QACjG,MAAM,UAAU,GACd,SAAS,KAAK,IAAI;YAChB,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAW,EAAE,EAAE,CAAC,CAAC;YAC7I,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,OAAO,GAAG,MAAM,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACzB,MAAM,QAAQ,GAAG,OAAO,EAAE,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAErH,IAAI,MAAM,EAAE,CAAC;QACX,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAChE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,KAAK,OAAO;YAChB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACnB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;oBACxB,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAW,CAAC;IAChB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,QAAQ,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;QACvE,IAAI,CAAC;YACH,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,GAAG,CAAC,cAAc,GAAG,OAAO,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,GAAG,CAAC,QAAQ,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;IAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;IACvE,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC;QAC3B,GAAG,GAAG;QACN,GAAG,EAAE,CAAC,IAAa,EAAE,EAAE;YACrB,QAAQ,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QAClC,CAAC;QACD,KAAK,EAAE,CAAC,CAAS,EAAE,EAAE;YACnB,QAAQ,IAAI,CAAC,CAAC;QAChB,CAAC;KACF,CAAC,CAAC;IACH,IAAI,CAAC;QACH,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAe;IACtC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACjI,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,QAAQ,CAChB,YAAY,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,oBAAoB;YACnH,gEAAgE,CACnE,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAE5E,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IAC1G,IAAI,KAAK,GAAuE,IAAI,CAAC;IACrF,IAAI,SAAS,GAAG,UAAU,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,SAAS;YAAE,MAAM,IAAI,QAAQ,CAAC,oBAAoB,QAAQ,iCAAiC,SAAS,EAAE,CAAC,CAAC;QAC7J,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,GAAG,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,QAAQ,CAChB,aAAa,MAAM,8BAA8B,KAAK,QAAQ,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAChI,CAAC;QACJ,CAAC;QACD,SAAS,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,KAAK,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,SAAS,GACb,KAAK,KAAK,IAAI;QACZ,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,iBAAiB,KAAK,CAAC,KAAK,eAAe,KAAK,CAAC,MAAM,MAAM,KAAK,KAAK;YAC5G,gEAAgE,CAAC;IACvE,4EAA4E;IAC5E,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,mBAAmB,CAAC;QACrC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,yDAAyD;IACzD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACjF,uGAAuG;IACvG,MAAM,MAAM,GAAgB;QAC1B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpH,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACzF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEtC,IAAI,MAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IAED,2EAA2E;IAC3E,IAAI,IAAI,GAA4B,IAAI,CAAC;IACzC,IAAI,WAAW,GAA0B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,cAAc,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChH,2EAA2E;IAC3E,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACrD,IAAI,YAAY,IAAI,QAAQ,IAAI,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACxH,IAAI,YAAY,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAAC,gGAAgG,GAAG,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACrB,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAwC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;gBAC9E,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;oBACzB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/D,MAAM,IAAI,UAAU,CAAC,qFAAqF,CAAC,CAAC;YAC9G,CAAC;YACD,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE;gBACnE,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC;gBAC5C,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;aAC1C,CAAC,CAAC,CAAC,CAAC,kDAAkD;QACzD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,8BAA8B;QACjF,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,gFAAgF;IAChF,MAAM,QAAQ,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC;IAEnF,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,QAAQ,GAAyB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1H,MAAM,OAAO,GAAG,CAAC,KAAoB,EAAiB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IAEzF,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAA2D,CAAC;QAChE,IAAI,YAAiD,CAAC;QACtD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;gBACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;gBACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACxC,GAAG,UAAU;aACd,CAAC,CAAC;YACH,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACtD,YAAY,GAAG;gBACb,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;gBAC7B,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBAClD,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;gBACtD,eAAe,EAAE,IAAI,CAAC,eAAe;gBACrC,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC9E,oBAAoB,EAAE,WAAW;gBACjC,YAAY,EAAE,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;aACzF,CAAC;QACJ,CAAC;QACD,QAAQ,CACN;YACE,OAAO,EAAE,KAAK;YACd,MAAM;YACN,MAAM;YACN,MAAM,EAAE;gBACN,GAAG,CAAC,QAAQ,IAAI,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBACxF,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrH,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3C;SACF,EACD,KAAK,CACN,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QACxD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;YACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc;YACd,GAAG,UAAU;SACd,CAAC,CAAC;QACH,mEAAmE;QACnE,IAAI,GAAW,CAAC;QAChB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9D,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,CAAC;gBACH,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,GAAG,CAAC,cAAc,GAAG,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,eAAe,KAAK,CAAC,QAAQ,CAAC,MAAM,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC/G,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,CAAC,QAAQ,SAAS,EAAE,CAAC,CAAC;QACjD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;YAAE,GAAG,CAAC,QAAQ,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QACnE,IAAI,IAAI;YAAE,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IAED,gFAAgF;IAChF,gFAAgF;IAChF,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;YACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxC,GAAG,UAAU;SACd,CAAC,CAAC;QACH,GAAG,CAAC,qBAAqB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAChD,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QACxD,IAAI,YAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,QAAQ,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,CAAmC,EAAE,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;SACd,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,GAAG,CAAC,6EAA6E,KAAK,GAAG,CAAC,CAAC;IAC3F,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,oBAAoB,KAAK,CAAC,MAAM,WAAW,CAAC,CAAC,YAAY,uBAAuB,CAAC,CAAC;IAC1G,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAK,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,WAAW;QAAE,GAAG,CAAC,gBAAgB,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACnF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,6FAA6F;QAC7F,4FAA4F;QAC5F,GAAG,CAAC,yBAAyB,QAAQ,CAAC,MAAM,4DAA4D,CAAC,CAAC;QAC1G,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,4FAA4F;YAC5F,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,uDAAuD,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/H,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,IAAI,SAAS,KAAK,IAAI;QAAE,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,IAAI;QAAE,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,GAAG,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,MAAM,4CAA4C,CAAC,CAAC;IACpF,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,GAAG,CAAC,iFAAiF,CAAC,CAAC;IACvF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,0EAA0E;IACnF,OAAO,EAAE,yDAAyD;IAClE,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt map` — how the equations LINK: the text linkage map, the visual\n * (mermaid/dot/svg) physics map, and the `--equation` user-junction\n * injection. Transposed verbatim from bin/upt.mjs's `proposedJunctions()`/\n * `analyzeEquation()`/`printEquationReport()`/`mapCmd()` (lines 387-545),\n * plus `--json` and the `--json`/`--format` conflict guard.\n *\n * `parseEquationFlag` is REPLACED by the `either`-style `--equation` FlagSpec\n * (`args.ts` already extracts `--equation=...` or `--equation \"...\"` into\n * `flags.get('equation')`). `parseDiscoveryOpts` moved to `_discovery-opts.ts`\n * — the old CLI's `proposedJunctions` fed `map`'s raw args through it\n * (bin/upt.mjs line 392), so `--proposed` shares `discover`'s\n * `--max-orders`/`--anchor` validation here too.\n */\nimport { writeFileSync } from 'node:fs';\nimport type { FlagSpec, ParsedArgs } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG, sourceFlag } from '../flag-help.js';\nimport { resolveGraph, coreAnchor, coreLine, groundTruthAnchor, groundTruthLine, type AnchorScope } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { publishedUrl } from '../published-url.js';\nimport { UsageError, CliError, EXIT_CHECK_FAILED } from '../errors.js';\nimport { classifyDetermination, type Determination } from '../determination.js';\nimport { parseDiscoveryOpts } from './_discovery-opts.js';\nimport * as atlasMap from './_atlas-map.js';\nimport type {\n  BridgeEdge,\n  CanonicalComparison,\n  EquationAnalysis,\n  EvidenceTag,\n  RelationType,\n  VizJunction,\n  VizModel,\n} from '../../cli-api.js';\nimport { canonicalCheckFailed, conventionLines } from '../conventions.js';\nimport type { UnitMode } from '../../cli-api.js';\nimport { withCatalogEvidence } from '../map-evidence.js';\nimport { DISCOVER_MAX_ORDERS_DEFAULT } from '../library-defaults.js';\n\n/** `--around` reaches this many shared-quantity hops when `--depth` is not given, and at most this many when it is. */\nconst DEFAULT_DEPTH = 1;\nconst MAX_DEPTH = 10;\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('both', 'Which graph to draw: catalog, canonical, or both. This command defaults to both.'),\n  { name: '--format', valueStyle: 'attached', description: 'Output form: text, mermaid, dot, or svg. svg needs the optional @viz-js/viz peer.', defaultValue: 'text' },\n  { name: '--out', valueStyle: 'attached', description: 'Write the report to PATH instead of stdout.' },\n  { name: '--max-orders', valueStyle: 'attached', description: 'Magnitude-clash threshold for the --proposed overlay.', defaultValue: DISCOVER_MAX_ORDERS_DEFAULT },\n  { name: '--anchor', valueStyle: 'attached', repeatable: true, description: 'Override a numeric anchor as k=v for the --proposed overlay.', defaultValue: 'mass=M_sun' },\n  { name: '--proposed', valueStyle: 'none', description: 'Overlay unadjudicated identity-consequence relations.' },\n  { name: '--relation', valueStyle: 'attached', description: 'Keep atlas edges whose recorded relation is TYPE.' },\n  { name: '--evidence', valueStyle: 'attached', description: 'Keep atlas edges whose derived evidence set contains TAG.' },\n  { name: '--around', valueStyle: 'either', description: 'Keep edges within --depth shared-quantity hops of QUANTITY.' },\n  { name: '--depth', valueStyle: 'attached', description: 'Hop count for --around.', defaultValue: String(DEFAULT_DEPTH) },\n  { name: '--route', valueStyle: 'either', description: 'Map the atlas route FROM,TO instead of the equation graph.' },\n  { name: '--all-routes', valueStyle: 'none', description: 'With --route, list every simple route, shortest first.' },\n  { name: '--max-routes', valueStyle: 'attached', description: `Cap on --all-routes. The maximum accepted is ${atlasMap.MAX_ROUTES_CEILING}.`, defaultValue: String(atlasMap.DEFAULT_MAX_ROUTES) },\n  { name: '--family', valueStyle: 'either', description: 'Map one atlas family by name.' },\n  { name: '--observable', valueStyle: 'either', description: 'Map bridges whose recorded text names this observable.' },\n  { name: '--stored', valueStyle: 'none', description: `Derive evidence from ${publishedUrl('data/atlas/witness-results.json')}. When the file is absent (a checkout or install without data/), the command names --run.` },\n  { name: '--run', valueStyle: 'none', description: 'Run the shown bridges\\' in-process witnesses now. Exit 3 if one is refuted.' },\n  // optionalValue: a bare trailing --equation stores '' so the empty-check in\n  // run() owns the diagnostic (old-CLI fidelity: bin/upt.mjs did `a[i+1] ?? ''`\n  // and let mapCmd emit `upt: --equation requires \"TARGET = EXPR\"`, exit 2).\n  { name: '--equation', valueStyle: 'either', optionalValue: true, description: 'Inject TARGET = EXPR as a user node and report where it lands.' },\n  { name: '--equation-only', valueStyle: 'none', description: 'Print only the equation verdict. Errors when --equation is missing.' },\n  { name: '--verbose', valueStyle: 'none', description: 'With --equation, also print the linkage map.' },\n  { name: '--bind-short', valueStyle: 'none', description: 'Bind a one-letter catalog name in --equation. Without it, those names are reported and not bound.' },\n  { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 when a dimension difference is a power of those constants.' },\n  { name: '--geometrized', valueStyle: 'none', description: 'With the natural-unit rules, also set G = 1.' },\n  JSON_FLAG,\n];\n\nconst HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|dot|svg]\n        [--proposed [--anchor=k=v,...] [--max-orders=N]] [--out=PATH]\n        [--equation \"TARGET = EXPR\" [--equation-only] [--verbose] [--bind-short]\n        [--natural] [--geometrized]] [--around=QUANTITY [--depth=N]]\n        [--relation=TYPE] [--evidence=TAG] [--route=FROM,TO [--all-routes\n        [--max-routes=N]]] [--family=NAME] [--observable=NAME] [--stored | --run]\n        Map how the equations LINK: connected components (clusters) of the\n        graph by shared quantities, the anchored core, the link hubs, and\n        the isolated tail.\n        --source defaults to 'both' (catalog + canonical) — a pure\n        connectivity question gets the honest, all-known-physics answer by\n        default; --source=catalog shows the bridge-catalog view alone.\n        --out=PATH writes whatever form was asked for (text, --json or a\n        visual format) to PATH instead of stdout; an empty PATH exits 1.\n        --format=mermaid|dot|svg emits the VISUAL map (quantities = nodes,\n        equations = junctions colored by status, one subgraph per component).\n        text (default) is the unchanged linkage printout. svg renders the dot\n        layout via the optional @viz-js/viz peer (npm i @viz-js/viz; or pipe\n        dot through \"dot -Tsvg\"). --proposed overlays the unadjudicated\n        identity-consequence relations (gray dashed); --anchor and --max-orders\n        tune the discovery funnel that derives them, as in \\`upt discover\\`.\n        --out writes to a file (default stdout).\n        --equation \"TARGET = EXPR\" injects YOUR OWN equation as a violet 'user'\n        node, dimensionally checks it, compares with the canonical registry, and\n        reports nearest equations by shared-quantity overlap (not a full edge\n        dump). Multi-word names may use underscores or catalog hyphens\n        (planck_length / planck-length). Unknown names get a \"did you mean?\",\n        and a registered constant of the inferred dimension (sigma → sigma_sb).\n        A catalog target whose dimension depends on an unresolved name exits 3\n        and does not quote that placeholder, unless a canonical comparison agreed.\n        A one-letter catalog name (a, r, …) is reported and not bound; --bind-short\n        binds it. The alias T → temperature still binds.\n        An all-constant right-hand side (the Planck length) is compared at the\n        SI constant values when its target is a catalog quantity.\n        With --equation, the default is the verdict only. --verbose prints the\n        linkage map after it. --equation-only is the same verdict and errors\n        when --equation is missing (with --json: no \"linkage\" field).\n        A bare e in the formula is the elementary charge. E is energy.\n        Euler's number is exp(x), for example exp(1). The name euler is refused.\n        --natural sets ħ = c = 1 for a dimension difference that is a power of\n        those constants; --geometrized also allows powers of G. The SI default\n        still refuses rest_energy = mass.\n        --relation=TYPE keeps only edges whose recorded Atlas relation is that\n        type; --evidence=TAG keeps only edges whose evidence set, DERIVED from\n        the catalog row at read time, contains that tag.\n        ⚠ Filtering changes what a missing overlay means: unfiltered, an edge\n        with no overlay is KEPT; filtered, it is DROPPED, because nothing shows\n        it satisfies the filter. Those drops are counted and printed separately\n        from the edges that simply did not match — an unaudited graph must not\n        render as a complete answer.\n        --around=QUANTITY [--depth=N] keeps only the edges within N\n        shared-quantity hops of QUANTITY (default ${DEFAULT_DEPTH}: the edges that use it),\n        in every output form, and prints how many of the source's edges it\n        kept: the others are omitted from the view, not absent from the graph.\n        --route=FROM,TO and --family=NAME map the ATLAS instead: models and\n        the recorded bridges between them, not shared quantities. --route\n        shows the route \\`upt path\\` reports, each bridge's relation,\n        assumptions, regime, bound and derived evidence, the composition\n        step by step (and where the table yields no composite claim), and\n        the equations each model records. --family shows one family's\n        models, its bridges, the bridges from other families that touch it,\n        and its rejections; --relation/--evidence filter its bridges, and a\n        bridge whose tag depends on witness results is counted as undecided,\n        not as a mismatch. A model's equations are only those its\n        canonicalRefs record; nothing is inferred from shared quantities.\n        --route=FROM,TO --all-routes lists every simple route (no model\n        visited twice), shortest first, each with its composition and route\n        claim, and counts the claims; --max-routes=N (default ${atlasMap.DEFAULT_MAX_ROUTES}, at most\n        ${atlasMap.MAX_ROUTES_CEILING}) bounds the list, and a list cut short says so and says up to\n        which bridge count it is complete.\n        --observable=NAME maps the bridges whose RECORDED preserves text, or\n        declared bound translation, names that observable (a whole-word text\n        match, nothing inferred), lists apart those recording it as NOT\n        preserved, and counts the bridges that record nothing about it;\n        --relation/--evidence filter it as they filter a family.\n        --stored derives evidence from the committed witness results\n        (${publishedUrl('data/atlas/witness-results.json')}; it ships in data/),\n        labelled with the last commit that touched it; --run runs the shown\n        bridges' in-process registered witnesses now (exit 3 if any is\n        refuted). Either resolves a tag once its witnesses have results; a\n        witness with no result leaves it undecided, and checked, refuted and\n        unresolved are counted apart.\n        Every atlas view states how many of the atlas's models and bridges it\n        shows, in text, --json and --format=mermaid|dot|svg.\n        e.g.  upt map --relation=derivation --source=both\n              upt map --around=temperature --depth=2 --source=catalog\n              upt map --route=model-pendulum,model-lc\n              upt map --route=model-string,model-dalembert --all-routes --stored\n              upt map --family=oscillators --evidence=formally-proved\n              upt map --observable=frequency --run`;\n\n/**\n * The edges within `depth` shared-quantity hops of `quantity`: hop 1 is every\n * edge that has it as a source or target, and each further hop adds the edges\n * sharing a quantity with one already kept.\n * @internal\n */\nexport function neighbourhood(graph: readonly BridgeEdge[], quantity: string, depth: number): BridgeEdge[] {\n  const names = (e: BridgeEdge): string[] => [...e.sources.map((q) => q.name), e.target.name];\n  const reached = new Set([quantity]);\n  const kept = new Set<BridgeEdge>();\n  for (let hop = 0; hop < depth; hop++) {\n    const frontier = graph.filter((e) => !kept.has(e) && names(e).some((n) => reached.has(n)));\n    if (frontier.length === 0) break;\n    for (const e of frontier) {\n      kept.add(e);\n      for (const n of names(e)) reached.add(n);\n    }\n  }\n  return graph.filter((e) => kept.has(e));\n}\n\nconst RELATION_TYPES: readonly RelationType[] = [\n  'derivation',\n  'exact-equivalence',\n  'restriction',\n  'approximation',\n  'coarse-graining',\n  'analytic-continuation',\n  'structural-analogy',\n  'deformation-quantization',\n];\n\nconst EVIDENCE_TAGS: readonly EvidenceTag[] = [\n  'proposed',\n  'reviewed',\n  'dimension-checked',\n  'convention-checked',\n  'symbolically-checked',\n  'numerically-supported',\n  'formally-proved',\n  'formally-proved-property',\n  'formally-proved-cross-check',\n  'empirically-supported',\n  'contradicted',\n  'unresolved',\n];\n\n/** Last value of an `attached` flag, or undefined when the flag is absent. */\nfunction lastValue(flags: ParsedArgs['flags'], name: string): string | undefined {\n  const v = flags.get(name);\n  return v && v.length > 0 ? v[v.length - 1] : undefined;\n}\n\n/** Validate one filter value against its vocabulary. A bad value is a CliError\n *  (exit 1); an unknown FLAG is the parser's UsageError (exit 2). */\nfunction parseFilter<T extends string>(\n  raw: string | undefined,\n  allowed: readonly T[],\n  flag: string,\n): T | undefined {\n  if (raw === undefined) return undefined;\n  if (!allowed.includes(raw as T)) {\n    throw new CliError(`upt: unknown ${flag}='${raw}' (expected: ${allowed.join(' | ')})`);\n  }\n  return raw as T;\n}\n\n// Convert the derived identity-consequence proposals into viz junctions\n// (gray-dashed, status 'proposed'). The library never imports proposed-bridges;\n// the CLI does the conversion, keeping the epistemic firewall intact.\nfunction proposedJunctions(\n  api: CommandCtx['api'],\n  graph: readonly BridgeEdge[],\n  flags: ParsedArgs['flags']\n): VizJunction[] {\n  const opts = parseDiscoveryOpts(api, flags);\n  const ranked = api.rankDiscoveries(graph, opts);\n  return api.deriveProposedBridges(ranked).map((p) => ({\n    id: p.id,\n    label: p.id,\n    status: 'proposed' as const,\n    sources: (p.governing || []).map((g) => g.name),\n    target: p.target.name,\n  }));\n}\n\n// Build the catalog quantity name→dimension map for the chosen graph, then run\n// the (testable) library analysis: parse + dimensional validation + \"did you\n// mean?\" hints. The library owns the physics (constants' dimensions, inference);\n// the CLI only formats.\nasync function analyzeEquation(\n  api: CommandCtx['api'],\n  equation: string,\n  graph: readonly BridgeEdge[],\n  options?: { readonly bindShortNames?: boolean; readonly units?: Exclude<UnitMode, 'si'> },\n): Promise<{ user: EquationAnalysis; comparisons: CanonicalComparison[] }> {\n  const catalogDims = new Map<string, import('../../dimensional/types.js').Dimension>();\n  for (const e of graph) {\n    for (const q of [...e.sources, e.target]) catalogDims.set(q.name, q.dim);\n  }\n  const user = await api.analyzeUserEquation(equation, catalogDims, options);\n  // Dimensions cannot see a prefactor: compare with the canonical equation the\n  // user's one restates, when the registry holds one (persona finding L2).\n  const comparisons = user.parseError\n    ? []\n    : await api.compareUserEquation(equation, catalogDims, {\n        bindShortNames: options?.bindShortNames,\n        ...(options?.units === undefined ? {} : { constantOverrides: api.naturalConstantOverrides(options.units) }),\n      });\n  return { user, comparisons };\n}\n\nfunction unresolvedNames(user: EquationAnalysis): string[] {\n  const placeholderNames = [\n    ...(user.placeholders ?? []),\n    ...(user.shortBindings ?? []).filter((b) => b.bound === false).map((b) => b.name),\n  ];\n  return [...new Set([...(user.hints ?? []).map((h) => h.name), ...placeholderNames])];\n}\n\n/** The exit `upt derive` uses for the same question. */\nfunction equationDetermination(\n  user: EquationAnalysis,\n  comparisons: readonly CanonicalComparison[],\n): Determination {\n  const unresolved = unresolvedNames(user);\n  const asked = user.targetDimension != null;\n  return classifyDetermination({\n    asked,\n    agrees: comparisons.some((c) => c.kind === 'agrees'),\n    checkFailed:\n      (user.consistent === false && unresolved.length === 0) || canonicalCheckFailed(comparisons),\n    notUnique: false,\n    unresolved,\n  });\n}\n\nfunction tainted(user: EquationAnalysis): boolean {\n  return unresolvedNames(user).length > 0;\n}\n\n// Print the dimensional verdict, where the equation landed, and any hints.\n// `out` is ctx.out (text mode → stdout) or ctx.err (visual → stderr).\nfunction printEquationReport(\n  api: CommandCtx['api'],\n  model: VizModel,\n  user: EquationAnalysis,\n  out: (line?: string) => void,\n  comparisons: readonly CanonicalComparison[] = [],\n): void {\n  out('');\n  const unresolved = unresolvedNames(user);\n  const verdict = equationDetermination(user, comparisons);\n  if (user.consistent === true) {\n    out(`  ✓ dimensionally consistent: ${api.format(user.rhsDimension!)}`);\n  } else if (verdict.report === 'not-established') {\n    const names = unresolved.map((n) => `'${n}'`).join(', ');\n    out(\n      `  · NOT ESTABLISHED: ${names} ${unresolved.length > 1 ? 'have' : 'has'} no catalog dimension, ` +\n        'so the right-hand side dimension was not established and is not reported.',\n    );\n  } else if (verdict.report === 'established' && unresolved.length > 0) {\n    // A canonical agreement ran. The placeholder dimension is not that result.\n  } else if (user.consistent === false) {\n    out(\n      `  ⚠ dimensional MISMATCH: RHS is ${api.format(user.rhsDimension!)} but the target is ${api.format(\n        user.targetDimension!\n      )}`\n    );\n  } else if (user.rhsDimension && (user.placeholders ?? []).length > 0) {\n    const names = user.placeholders.map((n) => `'${n}'`).join(', ');\n    out(\n      `  · UNKNOWN: ${names} ${user.placeholders.length === 1 ? 'was' : 'were'} taken as dimensionless. ` +\n        'That is not the dimension of the formula, and the target is not a bound catalog name, so nothing was checked',\n    );\n  } else if (user.rhsDimension) {\n    out(`  · RHS dimension: ${api.format(user.rhsDimension)} (target not in the catalog, so no comparison)`);\n  }\n  for (const line of api.describeKnownRelation(comparisons, user.junction.target, [...user.junction.sources])) {\n    out(`  ${line}`);\n  }\n  for (const line of conventionLines(comparisons.map((c) => c.id))) out(`  ${line}`);\n  if (user.naturalNote) out(`  ${user.naturalNote}`);\n  const L = api.equationLanding(model, 'user-equation');\n  if (L.isolated) {\n    out('  ⚠ your equation is ISOLATED — it shares no quantity with this graph.');\n  } else {\n    out(\n      `  ● your equation joins ${L.anchored ? 'the ANCHORED cluster' : 'a cluster'} of ${L.clusterSize} via {${L.sharedQuantities.join(', ')}}`\n    );\n    // W3/I3: do not dump ~100 edge ids — that made shared length/temperature look\n    // like a physics claim. Summarise nearest equations by shared-quantity overlap.\n    for (const line of api.formatConnectedSummary(model, L)) out(line);\n  }\n  for (const h of user.hints ?? []) {\n    if (!h.suggestions.length) {\n      out(`  ⚠ '${h.name}' did not match a catalog quantity (run \\`upt canonical\\` for the vocabulary).`);\n    } else if (h.byDimension) {\n      out(`  ⚠ '${h.name}' is unknown — by its inferred dimension, did you mean: ${h.suggestions.join(', ')}?`);\n    } else {\n      out(`  ⚠ '${h.name}' did not match a catalog quantity — did you mean: ${h.suggestions.join(', ')}?`);\n    }\n    // Persona finding L5: `sigma` for the Stefan–Boltzmann constant `sigma_sb`.\n    if ((h.constants ?? []).length > 0) {\n      const list = h.constants!.join(', ');\n      out(\n        `    '${h.name}' has the inferred dimension of the registered constant${h.constants!.length > 1 ? 's' : ''} ${list}; ` +\n          'write that name to use its SI value',\n      );\n    }\n  }\n  // Persona finding W6: a one-letter name binds to whatever the catalog calls that letter.\n  for (const b of user.shortBindings ?? []) {\n    const users = model.junctions\n      .filter((j) => j.id !== 'user-equation' && (j.target === b.quantity || j.sources.includes(b.quantity)))\n      .map((j) => j.id)\n      .sort();\n    const shown = users.slice(0, 3).join(', ') + (users.length > 3 ? `, +${users.length - 3} more` : '');\n    const used = users.length > 0 ? ` (used by ${shown})` : '';\n    if (b.bound === false) {\n      out(\n        `  · '${b.name}' matches the catalog quantity ${b.quantity} ${api.format(b.dim)}${used}, a one-letter name, and is not bound. ` +\n          'Pass --bind-short to bind it, or write the full name you meant',\n      );\n    } else {\n      out(\n        `  · '${b.name}' is bound to the catalog quantity ${b.quantity} ${api.format(b.dim)}, a one-letter name` +\n          `${used}; if you meant another quantity, write its full name`,\n      );\n    }\n  }\n}\n\n/** Flags that shape the equation graph, and so mean nothing on an atlas view. */\nconst GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor'] as const;\n\n/** Flags that only an atlas view reads. */\nconst ATLAS_ONLY_FLAGS = ['all-routes', 'max-routes', 'stored', 'run'] as const;\n\nasync function runAtlasView(\n  ctx: CommandCtx,\n  route: string | undefined,\n  family: string | undefined,\n  observable: string | undefined,\n): Promise<number> {\n  const { args, api, err, write } = ctx;\n  const chosen = [route !== undefined, family !== undefined, observable !== undefined].filter(Boolean).length;\n  if (chosen > 1) throw new CliError('upt map: pick one atlas view: --route, --family or --observable');\n  const view = route !== undefined ? '--route' : family !== undefined ? '--family' : '--observable';\n  const stray = GRAPH_ONLY_FLAGS.filter((f) => args.flags.has(f));\n  if (stray.length > 0) {\n    throw new CliError(\n      `upt map: ${view} maps the atlas, not the equation graph; ${stray.map((f) => `--${f}`).join(', ')} do${stray.length === 1 ? 'es' : ''} not apply`,\n    );\n  }\n  const relation = parseFilter(lastValue(args.flags, 'relation'), RELATION_TYPES, '--relation');\n  const evidence = parseFilter(lastValue(args.flags, 'evidence'), EVIDENCE_TAGS, '--evidence');\n  if (route !== undefined && (relation !== undefined || evidence !== undefined)) {\n    throw new CliError('upt map: a route is composed whole, so --relation/--evidence do not filter it; filter a family view instead (--family=NAME)');\n  }\n  const allRoutes = args.flags.has('all-routes');\n  if (allRoutes && route === undefined) throw new CliError('upt map: --all-routes needs --route=FROM,TO');\n  const maxRaw = lastValue(args.flags, 'max-routes');\n  if (maxRaw !== undefined && !allRoutes) throw new CliError('upt map: --max-routes needs --all-routes');\n  const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : Number(maxRaw);\n  if (!Number.isInteger(maxRoutes) || maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {\n    throw new CliError(`upt map: --max-routes=${maxRaw} must be an integer from 1 to ${atlasMap.MAX_ROUTES_CEILING}`);\n  }\n  if (args.flags.has('stored') && args.flags.has('run')) {\n    throw new CliError('upt map: pick one witness-results source: --stored (the committed artifact) or --run (run now)');\n  }\n  const fmt = lastValue(args.flags, 'format') ?? 'text';\n  const isJson = args.flags.has('json');\n  if (isJson && fmt !== 'text') throw new UsageError('upt: pick one output form: --json or --format');\n  if (!['text', 'mermaid', 'dot', 'svg'].includes(fmt)) {\n    throw new CliError(`upt: unknown --format='${fmt}' (expected: text | mermaid | dot | svg)`);\n  }\n\n  const filter = {\n    ...(relation !== undefined ? { relation } : {}),\n    ...(evidence !== undefined ? { evidence } : {}),\n  };\n  const endpoints = route === undefined ? null : atlasMap.parseRoute(route);\n  const build = (results: atlasMap.WitnessResults | null): atlasMap.AtlasView =>\n    endpoints !== null\n      ? allRoutes\n        ? atlasMap.buildRoutesView(api, ...endpoints, maxRoutes, results)\n        : atlasMap.buildRouteView(api, ...endpoints, results)\n      : family !== undefined\n        ? atlasMap.buildFamilyView(api, family, filter, results)\n        : atlasMap.buildObservableView(api, observable!, filter, results);\n  let results: atlasMap.WitnessResults | null = null;\n  if (args.flags.has('stored')) results = atlasMap.loadStoredResults();\n  else if (args.flags.has('run')) {\n    // Unfiltered first: a filter's verdict depends on the results, so every candidate bridge is run.\n    const candidates =\n      endpoints === null\n        ? atlasMap.bridgeIdsOf(family !== undefined ? atlasMap.buildFamilyView(api, family, {}) : atlasMap.buildObservableView(api, observable!, {}))\n        : atlasMap.bridgeIdsOf(build(null));\n    results = await atlasMap.runResults(api, candidates);\n  }\n  const v = build(results);\n  const exitCode = results?.mode === 'run' && results.rows.some((r) => r.status === 'refuted') ? EXIT_CHECK_FAILED : 0;\n\n  if (isJson) {\n    emitJson({ command: 'map', source: 'atlas', result: v }, write);\n    return exitCode;\n  }\n  if (fmt === 'text') {\n    const lines =\n      v.view === 'route'\n        ? atlasMap.routeText(v)\n        : v.view === 'routes'\n          ? atlasMap.routesText(v)\n          : v.view === 'family'\n            ? atlasMap.familyText(v)\n            : atlasMap.observableText(v);\n    for (const line of lines) ctx.out(line);\n    return exitCode;\n  }\n  let src: string;\n  if (fmt === 'svg') {\n    try {\n      src = await api.renderDotToSvg(atlasMap.toDot(v));\n    } catch (e) {\n      throw new CliError(e && (e as Error).message ? (e as Error).message : String(e));\n    }\n  } else {\n    src = fmt === 'mermaid' ? atlasMap.toMermaid(v) : atlasMap.toDot(v);\n  }\n  const path = lastValue(args.flags, 'out');\n  if (path !== undefined) {\n    if (!path) throw new CliError('upt: --out= requires a non-empty PATH');\n    try {\n      writeFileSync(path, src);\n    } catch (e) {\n      throw new CliError(`upt map: ${(e as Error).message}`);\n    }\n    err(`upt: wrote ${fmt} to ${path}`);\n  } else {\n    write(src);\n  }\n  err(`upt: ${atlasMap.viewLegend(v)}`);\n  return exitCode;\n}\n\n/**\n * `--out=PATH` holds for every output form. A visual form writes its diagram\n * source (handled by the branch that renders it); the text report and the\n * `--json` envelope are captured here and written whole, so stdout stays\n * empty and the file holds exactly what stdout would have carried. An empty\n * PATH exits 1 in every form.\n */\nasync function run(ctx: CommandCtx): Promise<number> {\n  const path = lastValue(ctx.args.flags, 'out');\n  const fmt = lastValue(ctx.args.flags, 'format') ?? 'text';\n  if (path === undefined || fmt !== 'text') return runReport(ctx);\n  if (!path) throw new CliError('upt: --out= requires a non-empty PATH');\n  let captured = '';\n  const code = await runReport({\n    ...ctx,\n    out: (line?: string) => {\n      captured += (line ?? '') + '\\n';\n    },\n    write: (s: string) => {\n      captured += s;\n    },\n  });\n  try {\n    writeFileSync(path, captured);\n  } catch (e) {\n    throw new CliError(`upt map: ${(e as Error).message}`);\n  }\n  ctx.err(`upt: wrote ${ctx.args.flags.has('json') ? 'json' : 'text'} to ${path}`);\n  return code;\n}\n\nasync function runReport(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err, write } = ctx;\n  const route = lastValue(args.flags, 'route');\n  const family = lastValue(args.flags, 'family');\n  const observable = lastValue(args.flags, 'observable');\n  if (route !== undefined || family !== undefined || observable !== undefined) return runAtlasView(ctx, route, family, observable);\n  const atlasOnly = ATLAS_ONLY_FLAGS.filter((f) => args.flags.has(f));\n  if (atlasOnly.length > 0) {\n    throw new CliError(\n      `upt map: ${atlasOnly.map((f) => `--${f}`).join(', ')} appl${atlasOnly.length === 1 ? 'ies' : 'y'} to an atlas view ` +\n        '(--route, --family or --observable), not to the equation graph',\n    );\n  }\n  // map asks a pure connectivity question, so it defaults to --source=both\n  // (catalog + canonical) rather than graphs.ts's catalog fallback used by\n  // the other --source commands (e.g. discover, which keeps catalog).\n  const sourceFlags = args.flags.has('source') ? args.flags : new Map(args.flags).set('source', ['both']);\n  const { graph: wholeGraph, label, source } = resolveGraph(api, sourceFlags);\n\n  const around = lastValue(args.flags, 'around');\n  const depthRaw = lastValue(args.flags, 'depth');\n  if (depthRaw !== undefined && around === undefined) throw new CliError('upt map: --depth needs --around');\n  let focus: { around: string; depth: number; kept: number; of: number } | null = null;\n  let fullGraph = wholeGraph;\n  if (around !== undefined) {\n    const depth = depthRaw === undefined ? DEFAULT_DEPTH : Number(depthRaw);\n    if (!Number.isInteger(depth) || depth < 1 || depth > MAX_DEPTH) throw new CliError(`upt map: --depth=${depthRaw} must be an integer from 1 to ${MAX_DEPTH}`);\n    const known = new Set(wholeGraph.flatMap((e) => [...e.sources.map((q) => q.name), e.target.name]));\n    const name = api.resolveQuantityName(around, known);\n    if (name === null) {\n      const near = api.suggestQuantities(around, known);\n      throw new CliError(\n        `upt map: '${around}' is not a quantity of the ${label} graph` + (near.length > 0 ? `; did you mean: ${near.join(', ')}?` : ''),\n      );\n    }\n    fullGraph = neighbourhood(wholeGraph, name, depth);\n    focus = { around: name, depth, kept: fullGraph.length, of: wholeGraph.length };\n  }\n  const focusLine =\n    focus === null\n      ? null\n      : `focused: ${focus.kept} of ${focus.of} edges within ${focus.depth} hop(s) of '${focus.around}' [${label}]; ` +\n        'the rest are omitted from this view, not absent from the graph';\n  // The two overlay filters. Parsed BEFORE anything else is computed so a bad\n  // value costs nothing and always exits 1.\n  const relation = parseFilter(lastValue(args.flags, 'relation'), RELATION_TYPES, '--relation');\n  const evidence = parseFilter(lastValue(args.flags, 'evidence'), EVIDENCE_TAGS, '--evidence');\n  const filterOpts = withCatalogEvidence({\n    ...(relation !== undefined ? { relation } : {}),\n    ...(evidence !== undefined ? { evidence } : {}),\n  });\n  // The TEXT and JSON paths filter the edge list here, because `linkageMap`\n  // consumes edges. The VISUAL path hands `buildVizModel` the FULL graph with\n  // the same options, so the model also judges the --proposed / --equation\n  // overlay junctions, which are not edges and which `filterEdges` cannot see.\n  // One predicate, two callers: they cannot disagree about what a filter\n  // selects, only about how much they were asked to count.\n  const { kept: graph, stats: edgeStats } = api.filterEdges(fullGraph, filterOpts);\n  // Audit I3: what \"anchored\" means here, and the discovery ground truth when --proposed ran the funnel.\n  const anchor: AnchorScope = {\n    core: coreAnchor(graph),\n    ...(args.flags.has('proposed') ? { groundTruth: groundTruthAnchor(api, parseDiscoveryOpts(api, args.flags)) } : {}),\n  };\n  const edgeLegend = api.formatFilterLegend(edgeStats);\n\n  const fmtValues = args.flags.get('format');\n  const fmt = fmtValues && fmtValues.length > 0 ? fmtValues[fmtValues.length - 1] : 'text';\n  const isJson = args.flags.has('json');\n\n  if (isJson && fmt !== 'text') {\n    throw new UsageError('upt: pick one output form: --json or --format');\n  }\n\n  // --equation injects a user-supplied \"TARGET = EXPR\" as a 'user' junction.\n  let user: EquationAnalysis | null = null;\n  let comparisons: CanonicalComparison[] = [];\n  const equationValues = args.flags.get('equation');\n  const equation = equationValues && equationValues.length > 0 ? equationValues[equationValues.length - 1] : null;\n  // Persona finding L7: the verdict alone, without the linkage map after it.\n  const equationOnly = args.flags.has('equation-only');\n  if (equationOnly && equation == null) throw new UsageError('upt map: --equation-only needs --equation \"TARGET = EXPR\"');\n  if (equationOnly && fmt !== 'text') {\n    throw new UsageError(`upt map: --equation-only prints the verdict as text or --json; it does not apply to --format=${fmt}`);\n  }\n  if (equation != null) {\n    if (!equation.trim()) {\n      throw new UsageError('upt: --equation requires \"TARGET = EXPR\"');\n    }\n    try {\n      const units: Exclude<UnitMode, 'si'> | undefined = args.flags.has('geometrized')\n        ? 'geometrized'\n        : args.flags.has('natural')\n          ? 'natural'\n          : undefined;\n      if (args.flags.has('geometrized') && args.flags.has('natural')) {\n        throw new UsageError('upt map: pick one unit mode: --natural (ħ = c = 1) or --geometrized (ħ = c = G = 1)');\n      }\n      ({ user, comparisons } = await analyzeEquation(api, equation, graph, {\n        bindShortNames: args.flags.has('bind-short'),\n        ...(units === undefined ? {} : { units }),\n      })); // throws UserEquationError on malformed structure\n    } catch (e) {\n      throw new UsageError('upt: ' + (e && (e as Error).message ? (e as Error).message : String(e)));\n    }\n    if (user.parseError) {\n      throw new UsageError('upt: ' + user.parseError); // dimensionally malformed RHS\n    }\n  }\n\n  // The same classification `upt derive` uses. A canonical agreement stays 0.\n  // A catalog target that was not established exits 3. An unbound target stays 0.\n  const exitCode = user === null ? 0 : equationDetermination(user, comparisons).exit;\n\n  // Ranked from the UNFILTERED graph: the proposal set is a property of the\n  // whole catalog, and the model then judges each overlay junction under the\n  // same filter as every other junction. Computed once for every output form.\n  const proposed: VizJunction[] | null = args.flags.has('proposed') ? proposedJunctions(api, wholeGraph, args.flags) : null;\n  const overlay = (extra: VizJunction[]): VizJunction[] => [...(proposed ?? []), ...extra];\n\n  if (isJson) {\n    const linkage = api.linkageMap(graph);\n    let landing: ReturnType<typeof api.equationLanding> | undefined;\n    let userEquation: Record<string, unknown> | undefined;\n    if (user) {\n      const model = api.buildVizModel(fullGraph, {\n        title: `UPT physics map — ${label}`,\n        extraJunctions: overlay([user.junction]),\n        ...filterOpts,\n      });\n      landing = api.equationLanding(model, 'user-equation');\n      userEquation = {\n        equation: user.junction.label,\n        consistent: tainted(user) ? null : user.consistent,\n        rhsDimension: tainted(user) ? null : user.rhsDimension,\n        targetDimension: user.targetDimension,\n        hints: user.hints,\n        shortBindings: user.shortBindings,\n        ...(user.placeholders.length === 0 ? {} : { placeholders: user.placeholders }),\n        canonicalComparisons: comparisons,\n        catalogEdges: api.matchingCatalogEdges(user.junction.target, [...user.junction.sources]),\n      };\n    }\n    emitJson(\n      {\n        command: 'map',\n        source,\n        anchor,\n        result: {\n          ...(equation != null && (equationOnly || !args.flags.has('verbose')) ? {} : { linkage }),\n          ...(proposed === null ? {} : { proposed: proposed.map((p) => ({ id: p.id, target: p.target, sources: p.sources })) }),\n          ...(edgeLegend !== null ? { filter: edgeStats } : {}),\n          ...(focus !== null ? { focus } : {}),\n          ...(user ? { landing, userEquation } : {}),\n        },\n      },\n      write\n    );\n    return exitCode;\n  }\n\n  if (fmt === 'mermaid' || fmt === 'dot' || fmt === 'svg') {\n    const extraJunctions = overlay(user ? [user.junction] : []);\n    const model = api.buildVizModel(fullGraph, {\n      title: `UPT physics map — ${label}`,\n      extraJunctions,\n      ...filterOpts,\n    });\n    // svg is the dot layout rendered by the optional @viz-js/viz peer.\n    let src: string;\n    if (fmt === 'svg') {\n      try {\n        src = await api.renderDotToSvg(model.toDot());\n      } catch (e) {\n        throw new CliError(e && (e as Error).message ? (e as Error).message : String(e));\n      }\n    } else {\n      src = fmt === 'mermaid' ? model.toMermaid() : model.toDot();\n    }\n    const outValues = args.flags.get('out');\n    if (outValues && outValues.length > 0) {\n      const path = outValues[outValues.length - 1];\n      if (!path) {\n        throw new CliError('upt: --out= requires a non-empty PATH');\n      }\n      try {\n        writeFileSync(path, src);\n      } catch (e) {\n        throw new CliError(`upt map: ${(e as Error).message}`);\n      }\n      err(`upt: wrote ${fmt} (${model.junctions.length} junctions, ${model.clusters.length} clusters) to ${path}`);\n    } else {\n      write(src);\n    }\n    // Legend and landing report go to stderr so stdout/--out stays pure diagram\n    // source. The diagram itself also carries the legend (see `buildVizModel`).\n    if (focusLine !== null) err(`upt: ${focusLine}`);\n    if (model.filterLegend !== null) err(`upt: ${model.filterLegend}`);\n    if (user) printEquationReport(api, model, user, err, comparisons);\n    return exitCode;\n  }\n  if (fmt !== 'text') {\n    throw new CliError(`upt: unknown --format='${fmt}' (expected: text | mermaid | dot | svg)`);\n  }\n\n  // --equation: the verdict on the user's equation is the answer asked for, so it\n  // comes BEFORE the linkage map, not after ~45 lines of it (persona finding N4).\n  if (user) {\n    const model = api.buildVizModel(fullGraph, {\n      title: `UPT physics map — ${label}`,\n      extraJunctions: overlay([user.junction]),\n      ...filterOpts,\n    });\n    out(`\\nYour equation:  ${user.junction.label}`);\n    printEquationReport(api, model, user, out, comparisons);\n    if (equationOnly || !args.flags.has('verbose')) return exitCode;\n  }\n\n  const m = api.linkageMap(graph);\n  const mix = (s: Readonly<Record<string, number>>) =>\n    Object.entries(s)\n      .map(([k, v]) => `${v} ${k}`)\n      .join(', ');\n  out(`\\nLinkage map — how the equations connect via shared quantities  [source: ${label}]`);\n  out(`(${m.componentCount} components over ${graph.length} edges; ${m.compositions} compose into chains)`);\n  out(`  ${coreLine(anchor.core!)}`);\n  if (anchor.groundTruth) out(`  proposals: ${groundTruthLine(anchor.groundTruth)}`);\n  if (proposed !== null) {\n    // The overlay the visual forms draw, listed here: an unadjudicated identity consequence is a\n    // proposal, never a catalog edge. Each names its target and the quantities it would relate.\n    out(`  proposed relations (${proposed.length}, unadjudicated identity consequences; not catalog edges):`);\n    for (const p of proposed) {\n      // No free input: every governing quantity of the derived relation is a registered constant.\n      const sources = p.sources.length === 0 ? '{} (no sources: every input is a registered constant)' : `{${p.sources.join(', ')}}`;\n      out(`     ${p.id}: ${p.target} ← ${sources}`);\n    }\n    if (proposed.length === 0) out('     (none at this anchor and --max-orders)');\n  }\n  out('');\n  if (focusLine !== null) out(`  ${focusLine}`);\n  if (edgeLegend !== null) out(`  ${edgeLegend}`);\n  for (const c of m.clusters.filter((x) => x.size > 1)) {\n    out(`  ● cluster of ${c.size}${c.anchored ? '  [ANCHORED to known physics]' : ''}`);\n    out(`     edges:  ${c.edges.join(', ')}`);\n    out(`     status: ${mix(c.statusMix)}`);\n    out(`     link hubs: ${c.hubs.join(', ')}\\n`);\n  }\n  out(`  ○ isolated (${m.isolated.length}) — share no quantity with any other edge:`);\n  out(`     ${m.isolated.length === 0 ? 'none' : m.isolated.join(', ')}`);\n  out('\\n  (a structural map — shared-quantity connectivity, NOT a credibility signal)');\n  return exitCode;\n}\n\nexport const command: Command = {\n  name: 'map',\n  aliases: ['linkage'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show how equations link, or where your own equation lands on that graph.',\n  example: 'upt map --equation \"period = 2*pi*sqrt(length/gravity)\"',\n  group: 'explore',\n  run,\n};\n\nregisterCommand(command);\n"]}
+{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,EAAoB,MAAM,cAAc,CAAC;AACxH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAsB,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAa5C,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErE,uHAAuH;AACvH,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,SAAS,GAAG,EAAE,CAAC;AAErB,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,MAAM,EAAE,kFAAkF,CAAC;IACtG,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,mFAAmF,EAAE,YAAY,EAAE,MAAM,EAAE;IACpK,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,6CAA6C,EAAE;IACrG,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,uDAAuD,EAAE,YAAY,EAAE,2BAA2B,EAAE;IACjK,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,8DAA8D,EAAE,YAAY,EAAE,YAAY,EAAE;IACvK,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,uDAAuD,EAAE;IAChH,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,mDAAmD,EAAE;IAChH,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE;IACxH,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;IACtH,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE;IACxH,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,4DAA4D,EAAE;IACpH,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wDAAwD,EAAE;IACnH,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,gDAAgD,QAAQ,CAAC,kBAAkB,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE;IAChM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACxF,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,wDAAwD,EAAE;IACrH,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wBAAwB,YAAY,CAAC,iCAAiC,CAAC,2FAA2F,EAAE;IACzN,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,6EAA6E,EAAE;IACjI,4EAA4E;IAC5E,8EAA8E;IAC9E,2EAA2E;IAC3E,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,gEAAgE,EAAE;IAChJ,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,qEAAqE,EAAE;IACnI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,8CAA8C,EAAE;IACtG,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,mGAAmG,EAAE;IAC9J,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,0EAA0E,EAAE;IAClI,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,8CAA8C,EAAE;IAC1G,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,8GAA8G,EAAE;IAC1K,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,+GAA+G,EAAE;IACtK,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,wFAAwF,EAAE;IAClJ,SAAS;CACV,CAAC;AAEF,mFAAmF;AACnF,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,sGAAsG;AACtG,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,QAAQ,EAAE,WAAW,CAAU,CAAC;AAExE,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oDAmDuC,aAAa;;;;;;;;;;;;;;;;gEAgBD,QAAQ,CAAC,kBAAkB;UACjF,QAAQ,CAAC,kBAAkB;;;;;;;;WAQ1B,YAAY,CAAC,iCAAiC,CAAC;;;;;;;;;;;;;;;;;;;;;mDAqBP,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAA4B,EAAE,QAAgB,EAAE,KAAa;IACzF,MAAM,KAAK,GAAG,CAAC,CAAa,EAAY,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAc,CAAC;IACnC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QACjC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,cAAc,GAA4B;IAC9C,YAAY;IACZ,mBAAmB;IACnB,aAAa;IACb,eAAe;IACf,iBAAiB;IACjB,uBAAuB;IACvB,oBAAoB;IACpB,0BAA0B;CAC3B,CAAC;AAEF,MAAM,aAAa,GAA2B;IAC5C,UAAU;IACV,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,iBAAiB;IACjB,0BAA0B;IAC1B,6BAA6B;IAC7B,uBAAuB;IACvB,cAAc;IACd,YAAY;CACb,CAAC;AAEF,8EAA8E;AAC9E,SAAS,SAAS,CAAC,KAA0B,EAAE,IAAY;IACzD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;qEACqE;AACrE,SAAS,WAAW,CAClB,GAAuB,EACvB,OAAqB,EACrB,IAAY;IAEZ,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAQ,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,QAAQ,CAAC,gBAAgB,IAAI,KAAK,GAAG,gBAAgB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,GAAQ,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,gFAAgF;AAChF,sEAAsE;AACtE,SAAS,iBAAiB,CACxB,GAAsB,EACtB,KAA4B,EAC5B,KAA0B;IAE1B,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE;QACX,MAAM,EAAE,UAAmB;QAC3B,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,6EAA6E;AAC7E,iFAAiF;AACjF,wBAAwB;AACxB,KAAK,UAAU,eAAe,CAC5B,GAAsB,EACtB,QAAgB,EAChB,KAA4B,EAC5B,OAAyF;IAEzF,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0D,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC3E,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU;QACjC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,GAAG,CAAC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE;YACnD,cAAc,EAAE,OAAO,EAAE,cAAc;YACvC,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC,wBAAwB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;SAC5G,CAAC,CAAC;IACP,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB;IAC7C,MAAM,gBAAgB,GAAG;QACvB,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAClF,CAAC;IACF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,wDAAwD;AACxD,SAAS,qBAAqB,CAC5B,IAAsB,EACtB,WAA2C;IAE3C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC;IAC3C,OAAO,qBAAqB,CAAC;QAC3B,KAAK;QACL,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpD,WAAW,EACT,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC,WAAW,CAAC;QAC7F,SAAS,EAAE,KAAK;QAChB,UAAU;KACX,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,IAAsB;IACrC,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAC3E,sEAAsE;AACtE,SAAS,mBAAmB,CAC1B,GAAsB,EACtB,KAAe,EACf,IAAsB,EACtB,GAA4B,EAC5B,WAAW,GAAmC,EAAE;IAEhD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,GAAG,CAAC,iCAAiC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,iBAAiB,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,GAAG,CACD,wBAAwB,KAAK,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,yBAAyB;YAC9F,2EAA2E,CAC9E,CAAC;IACJ,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,2EAA2E;IAC7E,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;QACrC,GAAG,CACD,oCAAoC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAa,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAChG,IAAI,CAAC,eAAgB,CACtB,EAAE,CACJ,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,GAAG,CACD,gBAAgB,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,2BAA2B;YACjG,8GAA8G,CACjH,CAAC;IACJ,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7B,GAAG,CAAC,sBAAsB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,gDAAgD,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC5G,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,WAAW;QAAE,GAAG,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,MAAM,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,CAAC,wEAAwE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,GAAG,CACD,2BAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,CAAC,WAAW,SAAS,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC1I,CAAC;QACF,8EAA8E;QAC9E,gFAAgF;QAChF,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,gFAAgF,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,2DAA2D,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5G,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,sDAAsD,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvG,CAAC;QACD,4EAA4E;QAC5E,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,SAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,0DAA0D,CAAC,CAAC,SAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI;gBACpH,qCAAqC,CACxC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,yFAAyF;IACzF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS;aAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;aACtG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChB,IAAI,EAAE,CAAC;QACV,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACtB,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,kCAAkC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,yCAAyC;gBAC7H,gEAAgE,CACnE,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CACD,QAAQ,CAAC,CAAC,IAAI,sCAAsC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB;gBACtG,GAAG,IAAI,sDAAsD,CAChE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AASD,2GAA2G;AAC3G,KAAK,UAAU,iBAAiB,CAC9B,GAAsB,EACtB,KAA4B,EAC5B,KAA0B;IAE1B,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,gIAAgI;AAChI,SAAS,cAAc,CAAC,CAAoB,EAAE,cAA0D;IACtG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,8BAA8B,CAAC,CAAC,aAAa,4CAA4C,CAAC,CAAC;QACnH,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACrF,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3G,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtG,KAAK,CAAC,IAAI,CAAC,yGAAyG,IAAI,EAAE,CAAC,CAAC;QAC5H,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CACR,qDAAqD,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,iEAAiE,CAChJ,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9I,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,2FAA2F;IAC3F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACvE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,eAAe,CAAU,CAAC;AAErJ,2CAA2C;AAC3C,MAAM,gBAAgB,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;AAEhF,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,KAAyB,EACzB,MAA0B,EAC1B,UAA8B;IAE9B,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC5G,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,iEAAiE,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;IAClG,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,QAAQ,CAChB,YAAY,IAAI,4CAA4C,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,YAAY,CAClJ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAC7F,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,QAAQ,CAAC,6HAA6H,CAAC,CAAC;IACpJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC/C,IAAI,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,6CAA6C,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,0CAA0C,CAAC,CAAC;IACvG,oFAAoF;IACpF,MAAM,SAAS,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IAClH,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QAC7D,MAAM,IAAI,QAAQ,CAAC,yBAAyB,MAAM,iCAAiC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,QAAQ,CAAC,gGAAgG,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,MAAM,IAAI,GAAG,KAAK,MAAM;QAAE,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACpG,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;IACF,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,OAAuC,EAAsB,EAAE,CAC5E,SAAS,KAAK,IAAI;QAChB,CAAC,CAAC,SAAS;YACT,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC;YACjE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,MAAM,KAAK,SAAS;YACpB,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC;YACxD,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,OAAO,GAAmC,IAAI,CAAC;IACnD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;SAChE,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,iGAAiG;QACjG,MAAM,UAAU,GACd,SAAS,KAAK,IAAI;YAChB,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAW,EAAE,EAAE,CAAC,CAAC;YAC7I,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,OAAO,GAAG,MAAM,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACzB,MAAM,QAAQ,GAAG,OAAO,EAAE,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAErH,IAAI,MAAM,EAAE,CAAC;QACX,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAChE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,KAAK,OAAO;YAChB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;gBACnB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;oBACxB,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAW,CAAC;IAChB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,QAAQ,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;QACvE,IAAI,CAAC;YACH,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,GAAG,CAAC,cAAc,GAAG,OAAO,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,GAAG,CAAC,QAAQ,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC;IAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;IACvE,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC;QAC3B,GAAG,GAAG;QACN,GAAG,EAAE,CAAC,IAAa,EAAE,EAAE;YACrB,QAAQ,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QAClC,CAAC;QACD,KAAK,EAAE,CAAC,CAAS,EAAE,EAAE;YACnB,QAAQ,IAAI,CAAC,CAAC;QAChB,CAAC;KACF,CAAC,CAAC;IACH,IAAI,CAAC;QACH,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAe;IACtC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACjI,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,QAAQ,CAChB,YAAY,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,oBAAoB;YACnH,gEAAgE,CACnE,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAE5E,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IAC1G,IAAI,KAAK,GAAuE,IAAI,CAAC;IACrF,IAAI,SAAS,GAAG,UAAU,CAAC;IAC3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,qFAAqF;QACrF,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC/F,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,SAAS;YAAE,MAAM,IAAI,QAAQ,CAAC,oBAAoB,QAAQ,iCAAiC,SAAS,EAAE,CAAC,CAAC;QACjI,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,GAAG,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,QAAQ,CAChB,aAAa,MAAM,8BAA8B,KAAK,QAAQ,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAChI,CAAC;QACJ,CAAC;QACD,SAAS,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,KAAK,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,SAAS,GACb,KAAK,KAAK,IAAI;QACZ,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,YAAY,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,iBAAiB,KAAK,CAAC,KAAK,eAAe,KAAK,CAAC,MAAM,MAAM,KAAK,KAAK;YAC5G,gEAAgE,CAAC;IACvE,4EAA4E;IAC5E,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,mBAAmB,CAAC;QACrC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,yDAAyD;IACzD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACjF,uGAAuG;IACvG,MAAM,MAAM,GAAgB;QAC1B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpH,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACzF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEtC,IAAI,MAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,+CAA+C,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,UAAU,CAClB,YAAY,KAAK,SAAS,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,oBAAoB,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,0BAA0B,GAAG,EAAE,CACvK,CAAC;IACJ,CAAC;IACD,oFAAoF;IACpF,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAElE,2EAA2E;IAC3E,IAAI,IAAI,GAA4B,IAAI,CAAC;IACzC,IAAI,WAAW,GAA0B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,cAAc,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChH,2EAA2E;IAC3E,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACrD,IAAI,YAAY,IAAI,QAAQ,IAAI,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACxH,IAAI,YAAY,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAAC,gGAAgG,GAAG,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACrB,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAwC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;gBAC9E,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;oBACzB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/D,MAAM,IAAI,UAAU,CAAC,qFAAqF,CAAC,CAAC;YAC9G,CAAC;YACD,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE;gBACnE,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC;gBAC5C,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;aAC1C,CAAC,CAAC,CAAC,CAAC,kDAAkD;QACzD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,8BAA8B;QACjF,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,gFAAgF;IAChF,MAAM,QAAQ,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC;IAEnF,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,QAAQ,GAAyB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1H,MAAM,OAAO,GAAG,CAAC,KAAoB,EAAiB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IAEzF,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAA2D,CAAC;QAChE,IAAI,YAAiD,CAAC;QACtD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;gBACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;gBACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACxC,GAAG,UAAU;aACd,CAAC,CAAC;YACH,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACtD,YAAY,GAAG;gBACb,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;gBAC7B,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBAClD,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;gBACtD,eAAe,EAAE,IAAI,CAAC,eAAe;gBACrC,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC9E,oBAAoB,EAAE,WAAW;gBACjC,YAAY,EAAE,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;aACzF,CAAC;QACJ,CAAC;QACD,QAAQ,CACN;YACE,OAAO,EAAE,KAAK;YACd,MAAM;YACN,MAAM;YACN,MAAM,EAAE;gBACN,GAAG,CAAC,QAAQ,IAAI,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBACxF,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrH,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,GAAG,SAAS;aACb;SACF,EACD,KAAK,CACN,CAAC;QACF,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QACxD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;YACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc;YACd,GAAG,UAAU;SACd,CAAC,CAAC;QACH,mEAAmE;QACnE,IAAI,GAAW,CAAC;QAChB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAC,CAAC,IAAK,CAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9D,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,QAAQ,CAAC,uCAAuC,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,CAAC;gBACH,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,QAAQ,CAAC,YAAa,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,GAAG,CAAC,cAAc,GAAG,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,eAAe,KAAK,CAAC,QAAQ,CAAC,MAAM,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC/G,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,IAAI,SAAS,KAAK,IAAI;YAAE,GAAG,CAAC,QAAQ,SAAS,EAAE,CAAC,CAAC;QACjD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;YAAE,GAAG,CAAC,QAAQ,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;QACnE,IAAI,IAAI;YAAE,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,QAAQ,CAAC,0BAA0B,GAAG,0CAA0C,CAAC,CAAC;IAC9F,CAAC;IAED,gFAAgF;IAChF,gFAAgF;IAChF,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,EAAE;YACzC,KAAK,EAAE,qBAAqB,KAAK,EAAE;YACnC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxC,GAAG,UAAU;SACd,CAAC,CAAC;QACH,GAAG,CAAC,qBAAqB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QAChD,mBAAmB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QACxD,IAAI,YAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,QAAQ,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,CAAC,CAAmC,EAAE,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;SACd,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,GAAG,CAAC,6EAA6E,KAAK,GAAG,CAAC,CAAC;IAC3F,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,oBAAoB,KAAK,CAAC,MAAM,WAAW,CAAC,CAAC,YAAY,uBAAuB,CAAC,CAAC;IAC1G,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,IAAK,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,WAAW;QAAE,GAAG,CAAC,gBAAgB,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACnF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,6FAA6F;QAC7F,4FAA4F;QAC5F,GAAG,CAAC,yBAAyB,QAAQ,CAAC,MAAM,4DAA4D,CAAC,CAAC;QAC1G,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,4FAA4F;YAC5F,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,uDAAuD,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC/H,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACR,IAAI,SAAS,KAAK,IAAI;QAAE,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,IAAI;QAAE,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpF,GAAG,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,MAAM,4CAA4C,CAAC,CAAC;IACpF,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;IACpE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,EAAE,CAAC,CAAC;QACR,KAAK,MAAM,IAAI,IAAI,aAAa;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,GAAG,CAAC,iFAAiF,CAAC,CAAC;IACvF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,0EAA0E;IACnF,OAAO,EAAE,yDAAyD;IAClE,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt map` — how the equations LINK: the text linkage map, the visual\n * (mermaid/dot/svg) physics map, and the `--equation` user-junction\n * injection. Transposed verbatim from bin/upt.mjs's `proposedJunctions()`/\n * `analyzeEquation()`/`printEquationReport()`/`mapCmd()` (lines 387-545),\n * plus `--json` and the `--json`/`--format` conflict guard.\n *\n * `parseEquationFlag` is REPLACED by the `either`-style `--equation` FlagSpec\n * (`args.ts` already extracts `--equation=...` or `--equation \"...\"` into\n * `flags.get('equation')`). `parseDiscoveryOpts` moved to `_discovery-opts.ts`\n * — the old CLI's `proposedJunctions` fed `map`'s raw args through it\n * (bin/upt.mjs line 392), so `--proposed` shares `discover`'s\n * `--max-orders`/`--anchor` validation here too.\n */\nimport { writeFileSync } from 'node:fs';\nimport type { FlagSpec, ParsedArgs } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG, sourceFlag } from '../flag-help.js';\nimport { resolveGraph, coreAnchor, coreLine, groundTruthAnchor, groundTruthLine, type AnchorScope } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { publishedUrl } from '../published-url.js';\nimport { UsageError, CliError, EXIT_CHECK_FAILED } from '../errors.js';\nimport { integerFlag } from '../numeric-flag.js';\nimport { classifyDetermination, type Determination } from '../determination.js';\nimport { parseDiscoveryOpts } from './_discovery-opts.js';\nimport * as atlasMap from './_atlas-map.js';\nimport type {\n  BridgeEdge,\n  CanonicalComparison,\n  CommunityReport,\n  DerivationCycle,\n  EquationAnalysis,\n  EvidenceTag,\n  HubRank,\n  RelationType,\n  VizJunction,\n  VizModel,\n} from '../../cli-api.js';\nimport { canonicalCheckFailed, conventionLines } from '../conventions.js';\nimport type { UnitMode } from '../../cli-api.js';\nimport { withCatalogEvidence } from '../map-evidence.js';\nimport { DISCOVER_MAX_ORDERS_DEFAULT } from '../library-defaults.js';\n\n/** `--around` reaches this many shared-quantity hops when `--depth` is not given, and at most this many when it is. */\nconst DEFAULT_DEPTH = 1;\nconst MAX_DEPTH = 10;\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('both', 'Which graph to draw: catalog, canonical, or both. This command defaults to both.'),\n  { name: '--format', valueStyle: 'attached', description: 'Output form: text, mermaid, dot, or svg. svg needs the optional @viz-js/viz peer.', defaultValue: 'text' },\n  { name: '--out', valueStyle: 'attached', description: 'Write the report to PATH instead of stdout.' },\n  { name: '--max-orders', valueStyle: 'attached', description: 'Magnitude-clash threshold for the --proposed overlay.', defaultValue: DISCOVER_MAX_ORDERS_DEFAULT },\n  { name: '--anchor', valueStyle: 'attached', repeatable: true, description: 'Override a numeric anchor as k=v for the --proposed overlay.', defaultValue: 'mass=M_sun' },\n  { name: '--proposed', valueStyle: 'none', description: 'Overlay unadjudicated identity-consequence relations.' },\n  { name: '--relation', valueStyle: 'attached', description: 'Keep atlas edges whose recorded relation is TYPE.' },\n  { name: '--evidence', valueStyle: 'attached', description: 'Keep atlas edges whose derived evidence set contains TAG.' },\n  { name: '--around', valueStyle: 'either', description: 'Keep edges within --depth shared-quantity hops of QUANTITY.' },\n  { name: '--depth', valueStyle: 'attached', description: 'Hop count for --around.', defaultValue: String(DEFAULT_DEPTH) },\n  { name: '--route', valueStyle: 'either', description: 'Map the atlas route FROM,TO instead of the equation graph.' },\n  { name: '--all-routes', valueStyle: 'none', description: 'With --route, list every simple route, shortest first.' },\n  { name: '--max-routes', valueStyle: 'attached', description: `Cap on --all-routes. The maximum accepted is ${atlasMap.MAX_ROUTES_CEILING}.`, defaultValue: String(atlasMap.DEFAULT_MAX_ROUTES) },\n  { name: '--family', valueStyle: 'either', description: 'Map one atlas family by name.' },\n  { name: '--observable', valueStyle: 'either', description: 'Map bridges whose recorded text names this observable.' },\n  { name: '--stored', valueStyle: 'none', description: `Derive evidence from ${publishedUrl('data/atlas/witness-results.json')}. When the file is absent (a checkout or install without data/), the command names --run.` },\n  { name: '--run', valueStyle: 'none', description: 'Run the shown bridges\\' in-process witnesses now. Exit 3 if one is refuted.' },\n  // optionalValue: a bare trailing --equation stores '' so the empty-check in\n  // run() owns the diagnostic (old-CLI fidelity: bin/upt.mjs did `a[i+1] ?? ''`\n  // and let mapCmd emit `upt: --equation requires \"TARGET = EXPR\"`, exit 2).\n  { name: '--equation', valueStyle: 'either', optionalValue: true, description: 'Inject TARGET = EXPR as a user node and report where it lands.' },\n  { name: '--equation-only', valueStyle: 'none', description: 'Print only the equation verdict. Errors when --equation is missing.' },\n  { name: '--verbose', valueStyle: 'none', description: 'With --equation, also print the linkage map.' },\n  { name: '--bind-short', valueStyle: 'none', description: 'Bind a one-letter catalog name in --equation. Without it, those names are reported and not bound.' },\n  { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 when a dimension difference is a power of those constants.' },\n  { name: '--geometrized', valueStyle: 'none', description: 'With the natural-unit rules, also set G = 1.' },\n  { name: '--communities', valueStyle: 'none', description: 'Also print the layout communities (Louvain, heuristic) of the largest component. A drawing aid, not physics.' },\n  { name: '--cycles', valueStyle: 'none', description: 'Also print the derivation cycles: strongly connected components of the directed source→target quantity graph.' },\n  { name: '--rank-hubs', valueStyle: 'none', description: 'Also rank quantities by betweenness centrality (normalised). Computed only when asked.' },\n  JSON_FLAG,\n];\n\n/** How many hubs `--rank-hubs` prints in text; `--json` carries every quantity. */\nconst HUBS_SHOWN = 10;\n\n/** Flags that add a structure section to the text and --json forms, and mean nothing on a diagram. */\nconst STRUCTURE_FLAGS = ['communities', 'cycles', 'rank-hubs'] as const;\n\nconst HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|dot|svg]\n        [--proposed [--anchor=k=v,...] [--max-orders=N]] [--out=PATH]\n        [--equation \"TARGET = EXPR\" [--equation-only] [--verbose] [--bind-short]\n        [--natural] [--geometrized]] [--around=QUANTITY [--depth=N]]\n        [--relation=TYPE] [--evidence=TAG] [--route=FROM,TO [--all-routes\n        [--max-routes=N]]] [--family=NAME] [--observable=NAME] [--stored | --run]\n        Map how the equations LINK: connected components (clusters) of the\n        graph by shared quantities, the anchored core, the link hubs, and\n        the isolated tail.\n        --source defaults to 'both' (catalog + canonical) — a pure\n        connectivity question gets the honest, all-known-physics answer by\n        default; --source=catalog shows the bridge-catalog view alone.\n        --out=PATH writes whatever form was asked for (text, --json or a\n        visual format) to PATH instead of stdout; an empty PATH exits 1.\n        --format=mermaid|dot|svg emits the VISUAL map (quantities = nodes,\n        equations = junctions colored by status, one subgraph per component).\n        text (default) is the unchanged linkage printout. svg renders the dot\n        layout via the optional @viz-js/viz peer (npm i @viz-js/viz; or pipe\n        dot through \"dot -Tsvg\"). --proposed overlays the unadjudicated\n        identity-consequence relations (gray dashed); --anchor and --max-orders\n        tune the discovery funnel that derives them, as in \\`upt discover\\`.\n        --out writes to a file (default stdout).\n        --equation \"TARGET = EXPR\" injects YOUR OWN equation as a violet 'user'\n        node, dimensionally checks it, compares with the canonical registry, and\n        reports nearest equations by shared-quantity overlap (not a full edge\n        dump). Multi-word names may use underscores or catalog hyphens\n        (planck_length / planck-length). Unknown names get a \"did you mean?\",\n        and a registered constant of the inferred dimension (sigma → sigma_sb).\n        A catalog target whose dimension depends on an unresolved name exits 3\n        and does not quote that placeholder, unless a canonical comparison agreed.\n        A one-letter catalog name (a, r, …) is reported and not bound; --bind-short\n        binds it. The alias T → temperature still binds.\n        An all-constant right-hand side (the Planck length) is compared at the\n        SI constant values when its target is a catalog quantity.\n        With --equation, the default is the verdict only. --verbose prints the\n        linkage map after it. --equation-only is the same verdict and errors\n        when --equation is missing (with --json: no \"linkage\" field).\n        A bare e in the formula is the elementary charge. E is energy.\n        Euler's number is exp(x), for example exp(1). The name euler is refused.\n        --natural sets ħ = c = 1 for a dimension difference that is a power of\n        those constants; --geometrized also allows powers of G. The SI default\n        still refuses rest_energy = mass.\n        --relation=TYPE keeps only edges whose recorded Atlas relation is that\n        type; --evidence=TAG keeps only edges whose evidence set, DERIVED from\n        the catalog row at read time, contains that tag.\n        ⚠ Filtering changes what a missing overlay means: unfiltered, an edge\n        with no overlay is KEPT; filtered, it is DROPPED, because nothing shows\n        it satisfies the filter. Those drops are counted and printed separately\n        from the edges that simply did not match — an unaudited graph must not\n        render as a complete answer.\n        --around=QUANTITY [--depth=N] keeps only the edges within N\n        shared-quantity hops of QUANTITY (default ${DEFAULT_DEPTH}: the edges that use it),\n        in every output form, and prints how many of the source's edges it\n        kept: the others are omitted from the view, not absent from the graph.\n        --route=FROM,TO and --family=NAME map the ATLAS instead: models and\n        the recorded bridges between them, not shared quantities. --route\n        shows the route \\`upt path\\` reports, each bridge's relation,\n        assumptions, regime, bound and derived evidence, the composition\n        step by step (and where the table yields no composite claim), and\n        the equations each model records. --family shows one family's\n        models, its bridges, the bridges from other families that touch it,\n        and its rejections; --relation/--evidence filter its bridges, and a\n        bridge whose tag depends on witness results is counted as undecided,\n        not as a mismatch. A model's equations are only those its\n        canonicalRefs record; nothing is inferred from shared quantities.\n        --route=FROM,TO --all-routes lists every simple route (no model\n        visited twice), shortest first, each with its composition and route\n        claim, and counts the claims; --max-routes=N (default ${atlasMap.DEFAULT_MAX_ROUTES}, at most\n        ${atlasMap.MAX_ROUTES_CEILING}) bounds the list, and a list cut short says so and says up to\n        which bridge count it is complete.\n        --observable=NAME maps the bridges whose RECORDED preserves text, or\n        declared bound translation, names that observable (a whole-word text\n        match, nothing inferred), lists apart those recording it as NOT\n        preserved, and counts the bridges that record nothing about it;\n        --relation/--evidence filter it as they filter a family.\n        --stored derives evidence from the committed witness results\n        (${publishedUrl('data/atlas/witness-results.json')}; it ships in data/),\n        labelled with the last commit that touched it; --run runs the shown\n        bridges' in-process registered witnesses now (exit 3 if any is\n        refuted). Either resolves a tag once its witnesses have results; a\n        witness with no result leaves it undecided, and checked, refuted and\n        unresolved are counted apart.\n        Every atlas view states how many of the atlas's models and bridges it\n        shows, in text, --json and --format=mermaid|dot|svg.\n        --communities, --cycles and --rank-hubs each add one section to the\n        text report (and a key to --json); they do not apply to a diagram.\n        --communities lists the layout communities (Louvain, heuristic) of the\n        largest component: where a drawing may place quantities together, never\n        a physics claim. --cycles lists the derivation cycles (strongly\n        connected components of the directed source→target quantity graph),\n        where over-determination lives. --rank-hubs ranks quantities by\n        betweenness centrality (normalised; computed only when asked).\n        e.g.  upt map --relation=derivation --source=both\n              upt map --around=temperature --depth=2 --source=catalog\n              upt map --route=model-pendulum,model-lc\n              upt map --route=model-string,model-dalembert --all-routes --stored\n              upt map --family=oscillators --evidence=formally-proved\n              upt map --observable=frequency --run`;\n\n/**\n * The edges within `depth` shared-quantity hops of `quantity`: hop 1 is every\n * edge that has it as a source or target, and each further hop adds the edges\n * sharing a quantity with one already kept.\n * @internal\n */\nexport function neighbourhood(graph: readonly BridgeEdge[], quantity: string, depth: number): BridgeEdge[] {\n  const names = (e: BridgeEdge): string[] => [...e.sources.map((q) => q.name), e.target.name];\n  const reached = new Set([quantity]);\n  const kept = new Set<BridgeEdge>();\n  for (let hop = 0; hop < depth; hop++) {\n    const frontier = graph.filter((e) => !kept.has(e) && names(e).some((n) => reached.has(n)));\n    if (frontier.length === 0) break;\n    for (const e of frontier) {\n      kept.add(e);\n      for (const n of names(e)) reached.add(n);\n    }\n  }\n  return graph.filter((e) => kept.has(e));\n}\n\nconst RELATION_TYPES: readonly RelationType[] = [\n  'derivation',\n  'exact-equivalence',\n  'restriction',\n  'approximation',\n  'coarse-graining',\n  'analytic-continuation',\n  'structural-analogy',\n  'deformation-quantization',\n];\n\nconst EVIDENCE_TAGS: readonly EvidenceTag[] = [\n  'proposed',\n  'reviewed',\n  'dimension-checked',\n  'convention-checked',\n  'symbolically-checked',\n  'numerically-supported',\n  'formally-proved',\n  'formally-proved-property',\n  'formally-proved-cross-check',\n  'empirically-supported',\n  'contradicted',\n  'unresolved',\n];\n\n/** Last value of an `attached` flag, or undefined when the flag is absent. */\nfunction lastValue(flags: ParsedArgs['flags'], name: string): string | undefined {\n  const v = flags.get(name);\n  return v && v.length > 0 ? v[v.length - 1] : undefined;\n}\n\n/** Validate one filter value against its vocabulary. A bad value is a CliError\n *  (exit 1); an unknown FLAG is the parser's UsageError (exit 2). */\nfunction parseFilter<T extends string>(\n  raw: string | undefined,\n  allowed: readonly T[],\n  flag: string,\n): T | undefined {\n  if (raw === undefined) return undefined;\n  if (!allowed.includes(raw as T)) {\n    throw new CliError(`upt: unknown ${flag}='${raw}' (expected: ${allowed.join(' | ')})`);\n  }\n  return raw as T;\n}\n\n// Convert the derived identity-consequence proposals into viz junctions\n// (gray-dashed, status 'proposed'). The library never imports proposed-bridges;\n// the CLI does the conversion, keeping the epistemic firewall intact.\nfunction proposedJunctions(\n  api: CommandCtx['api'],\n  graph: readonly BridgeEdge[],\n  flags: ParsedArgs['flags']\n): VizJunction[] {\n  const opts = parseDiscoveryOpts(api, flags);\n  const ranked = api.rankDiscoveries(graph, opts);\n  return api.deriveProposedBridges(ranked).map((p) => ({\n    id: p.id,\n    label: p.id,\n    status: 'proposed' as const,\n    sources: (p.governing || []).map((g) => g.name),\n    target: p.target.name,\n  }));\n}\n\n// Build the catalog quantity name→dimension map for the chosen graph, then run\n// the (testable) library analysis: parse + dimensional validation + \"did you\n// mean?\" hints. The library owns the physics (constants' dimensions, inference);\n// the CLI only formats.\nasync function analyzeEquation(\n  api: CommandCtx['api'],\n  equation: string,\n  graph: readonly BridgeEdge[],\n  options?: { readonly bindShortNames?: boolean; readonly units?: Exclude<UnitMode, 'si'> },\n): Promise<{ user: EquationAnalysis; comparisons: CanonicalComparison[] }> {\n  const catalogDims = new Map<string, import('../../dimensional/types.js').Dimension>();\n  for (const e of graph) {\n    for (const q of [...e.sources, e.target]) catalogDims.set(q.name, q.dim);\n  }\n  const user = await api.analyzeUserEquation(equation, catalogDims, options);\n  // Dimensions cannot see a prefactor: compare with the canonical equation the\n  // user's one restates, when the registry holds one (persona finding L2).\n  const comparisons = user.parseError\n    ? []\n    : await api.compareUserEquation(equation, catalogDims, {\n        bindShortNames: options?.bindShortNames,\n        ...(options?.units === undefined ? {} : { constantOverrides: api.naturalConstantOverrides(options.units) }),\n      });\n  return { user, comparisons };\n}\n\nfunction unresolvedNames(user: EquationAnalysis): string[] {\n  const placeholderNames = [\n    ...(user.placeholders ?? []),\n    ...(user.shortBindings ?? []).filter((b) => b.bound === false).map((b) => b.name),\n  ];\n  return [...new Set([...(user.hints ?? []).map((h) => h.name), ...placeholderNames])];\n}\n\n/** The exit `upt derive` uses for the same question. */\nfunction equationDetermination(\n  user: EquationAnalysis,\n  comparisons: readonly CanonicalComparison[],\n): Determination {\n  const unresolved = unresolvedNames(user);\n  const asked = user.targetDimension != null;\n  return classifyDetermination({\n    asked,\n    agrees: comparisons.some((c) => c.kind === 'agrees'),\n    checkFailed:\n      (user.consistent === false && unresolved.length === 0) || canonicalCheckFailed(comparisons),\n    notUnique: false,\n    unresolved,\n  });\n}\n\nfunction tainted(user: EquationAnalysis): boolean {\n  return unresolvedNames(user).length > 0;\n}\n\n// Print the dimensional verdict, where the equation landed, and any hints.\n// `out` is ctx.out (text mode → stdout) or ctx.err (visual → stderr).\nfunction printEquationReport(\n  api: CommandCtx['api'],\n  model: VizModel,\n  user: EquationAnalysis,\n  out: (line?: string) => void,\n  comparisons: readonly CanonicalComparison[] = [],\n): void {\n  out('');\n  const unresolved = unresolvedNames(user);\n  const verdict = equationDetermination(user, comparisons);\n  if (user.consistent === true) {\n    out(`  ✓ dimensionally consistent: ${api.format(user.rhsDimension!)}`);\n  } else if (verdict.report === 'not-established') {\n    const names = unresolved.map((n) => `'${n}'`).join(', ');\n    out(\n      `  · NOT ESTABLISHED: ${names} ${unresolved.length > 1 ? 'have' : 'has'} no catalog dimension, ` +\n        'so the right-hand side dimension was not established and is not reported.',\n    );\n  } else if (verdict.report === 'established' && unresolved.length > 0) {\n    // A canonical agreement ran. The placeholder dimension is not that result.\n  } else if (user.consistent === false) {\n    out(\n      `  ⚠ dimensional MISMATCH: RHS is ${api.format(user.rhsDimension!)} but the target is ${api.format(\n        user.targetDimension!\n      )}`\n    );\n  } else if (user.rhsDimension && (user.placeholders ?? []).length > 0) {\n    const names = user.placeholders.map((n) => `'${n}'`).join(', ');\n    out(\n      `  · UNKNOWN: ${names} ${user.placeholders.length === 1 ? 'was' : 'were'} taken as dimensionless. ` +\n        'That is not the dimension of the formula, and the target is not a bound catalog name, so nothing was checked',\n    );\n  } else if (user.rhsDimension) {\n    out(`  · RHS dimension: ${api.format(user.rhsDimension)} (target not in the catalog, so no comparison)`);\n  }\n  for (const line of api.describeKnownRelation(comparisons, user.junction.target, [...user.junction.sources])) {\n    out(`  ${line}`);\n  }\n  for (const line of conventionLines(comparisons.map((c) => c.id))) out(`  ${line}`);\n  if (user.naturalNote) out(`  ${user.naturalNote}`);\n  const L = api.equationLanding(model, 'user-equation');\n  if (L.isolated) {\n    out('  ⚠ your equation is ISOLATED — it shares no quantity with this graph.');\n  } else {\n    out(\n      `  ● your equation joins ${L.anchored ? 'the ANCHORED cluster' : 'a cluster'} of ${L.clusterSize} via {${L.sharedQuantities.join(', ')}}`\n    );\n    // W3/I3: do not dump ~100 edge ids — that made shared length/temperature look\n    // like a physics claim. Summarise nearest equations by shared-quantity overlap.\n    for (const line of api.formatConnectedSummary(model, L)) out(line);\n  }\n  for (const h of user.hints ?? []) {\n    if (!h.suggestions.length) {\n      out(`  ⚠ '${h.name}' did not match a catalog quantity (run \\`upt canonical\\` for the vocabulary).`);\n    } else if (h.byDimension) {\n      out(`  ⚠ '${h.name}' is unknown — by its inferred dimension, did you mean: ${h.suggestions.join(', ')}?`);\n    } else {\n      out(`  ⚠ '${h.name}' did not match a catalog quantity — did you mean: ${h.suggestions.join(', ')}?`);\n    }\n    // Persona finding L5: `sigma` for the Stefan–Boltzmann constant `sigma_sb`.\n    if ((h.constants ?? []).length > 0) {\n      const list = h.constants!.join(', ');\n      out(\n        `    '${h.name}' has the inferred dimension of the registered constant${h.constants!.length > 1 ? 's' : ''} ${list}; ` +\n          'write that name to use its SI value',\n      );\n    }\n  }\n  // Persona finding W6: a one-letter name binds to whatever the catalog calls that letter.\n  for (const b of user.shortBindings ?? []) {\n    const users = model.junctions\n      .filter((j) => j.id !== 'user-equation' && (j.target === b.quantity || j.sources.includes(b.quantity)))\n      .map((j) => j.id)\n      .sort();\n    const shown = users.slice(0, 3).join(', ') + (users.length > 3 ? `, +${users.length - 3} more` : '');\n    const used = users.length > 0 ? ` (used by ${shown})` : '';\n    if (b.bound === false) {\n      out(\n        `  · '${b.name}' matches the catalog quantity ${b.quantity} ${api.format(b.dim)}${used}, a one-letter name, and is not bound. ` +\n          'Pass --bind-short to bind it, or write the full name you meant',\n      );\n    } else {\n      out(\n        `  · '${b.name}' is bound to the catalog quantity ${b.quantity} ${api.format(b.dim)}, a one-letter name` +\n          `${used}; if you meant another quantity, write its full name`,\n      );\n    }\n  }\n}\n\n/** The opt-in structure sections, each present only when its flag was given. */\ninterface StructureSections {\n  readonly communities?: CommunityReport;\n  readonly cycles?: readonly DerivationCycle[];\n  readonly hubs?: readonly HubRank[];\n}\n\n/** Compute only the sections asked for; `rankHubs` is the betweenness pass the default path never runs. */\nasync function structureSections(\n  api: CommandCtx['api'],\n  graph: readonly BridgeEdge[],\n  flags: ParsedArgs['flags'],\n): Promise<StructureSections> {\n  return {\n    ...(flags.has('communities') ? { communities: api.communitiesOf(graph) } : {}),\n    ...(flags.has('cycles') ? { cycles: api.derivationCycles(graph) } : {}),\n    ...(flags.has('rank-hubs') ? { hubs: await api.rankHubs(graph) } : {}),\n  };\n}\n\n/** The text of the structure sections, in flag order; empty when none was asked for. A number goes through `formatQuantity`. */\nfunction structureLines(s: StructureSections, formatQuantity: (value: number, digits?: number) => string): string[] {\n  const lines: string[] = [];\n  if (s.communities !== undefined) {\n    const c = s.communities;\n    lines.push(`  ${c.method} of the largest component (${c.componentSize} quantities) — a drawing aid, not physics:`);\n    if (c.communities.length === 0) lines.push('     none (the graph has no component)');\n    c.communities.forEach((com, i) => lines.push(`     ${i + 1}. (${com.size}) ${com.quantities.join(', ')}`));\n    lines.push('');\n  }\n  if (s.cycles !== undefined) {\n    const head = s.cycles.length === 0 ? 'none — the quantity graph is acyclic' : String(s.cycles.length);\n    lines.push(`  derivation cycles (strongly connected components of source→target, where over-determination lives): ${head}`);\n    for (const cyc of s.cycles) lines.push(`     {${cyc.quantities.join(', ')}} closed by ${cyc.edges.join(', ')}`);\n    lines.push('');\n  }\n  if (s.hubs !== undefined) {\n    const shown = Math.min(HUBS_SHOWN, s.hubs.length);\n    lines.push(\n      `  hubs by betweenness centrality (normalised; top ${shown} of ${s.hubs.length} quantities; a cut quantity of the drawing, not a central law):`,\n    );\n    for (const h of s.hubs.slice(0, shown)) lines.push(`     ${h.quantity.padEnd(40)} ${formatQuantity(h.betweenness, 3)}  (degree ${h.degree})`);\n    lines.push('');\n  }\n  // Sections are separated by one blank line; the closing line of the report brings its own.\n  while (lines.length > 0 && lines[lines.length - 1] === '') lines.pop();\n  return lines;\n}\n\n/** Flags that shape the equation graph, and so mean nothing on an atlas view. */\nconst GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor', ...STRUCTURE_FLAGS] as const;\n\n/** Flags that only an atlas view reads. */\nconst ATLAS_ONLY_FLAGS = ['all-routes', 'max-routes', 'stored', 'run'] as const;\n\nasync function runAtlasView(\n  ctx: CommandCtx,\n  route: string | undefined,\n  family: string | undefined,\n  observable: string | undefined,\n): Promise<number> {\n  const { args, api, err, write } = ctx;\n  const chosen = [route !== undefined, family !== undefined, observable !== undefined].filter(Boolean).length;\n  if (chosen > 1) throw new CliError('upt map: pick one atlas view: --route, --family or --observable');\n  const view = route !== undefined ? '--route' : family !== undefined ? '--family' : '--observable';\n  const stray = GRAPH_ONLY_FLAGS.filter((f) => args.flags.has(f));\n  if (stray.length > 0) {\n    throw new CliError(\n      `upt map: ${view} maps the atlas, not the equation graph; ${stray.map((f) => `--${f}`).join(', ')} do${stray.length === 1 ? 'es' : ''} not apply`,\n    );\n  }\n  const relation = parseFilter(lastValue(args.flags, 'relation'), RELATION_TYPES, '--relation');\n  const evidence = parseFilter(lastValue(args.flags, 'evidence'), EVIDENCE_TAGS, '--evidence');\n  if (route !== undefined && (relation !== undefined || evidence !== undefined)) {\n    throw new CliError('upt map: a route is composed whole, so --relation/--evidence do not filter it; filter a family view instead (--family=NAME)');\n  }\n  const allRoutes = args.flags.has('all-routes');\n  if (allRoutes && route === undefined) throw new CliError('upt map: --all-routes needs --route=FROM,TO');\n  const maxRaw = lastValue(args.flags, 'max-routes');\n  if (maxRaw !== undefined && !allRoutes) throw new CliError('upt map: --max-routes needs --all-routes');\n  // The grammar first (`0x10` is usage, exit 2); the 1..ceiling range after (exit 1).\n  const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : integerFlag('map', '--max-routes', maxRaw);\n  if (maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {\n    throw new CliError(`upt map: --max-routes=${maxRaw} must be an integer from 1 to ${atlasMap.MAX_ROUTES_CEILING}`);\n  }\n  if (args.flags.has('stored') && args.flags.has('run')) {\n    throw new CliError('upt map: pick one witness-results source: --stored (the committed artifact) or --run (run now)');\n  }\n  const fmt = lastValue(args.flags, 'format') ?? 'text';\n  const isJson = args.flags.has('json');\n  if (isJson && fmt !== 'text') throw new UsageError('upt: pick one output form: --json or --format');\n  if (!['text', 'mermaid', 'dot', 'svg'].includes(fmt)) {\n    throw new CliError(`upt: unknown --format='${fmt}' (expected: text | mermaid | dot | svg)`);\n  }\n\n  const filter = {\n    ...(relation !== undefined ? { relation } : {}),\n    ...(evidence !== undefined ? { evidence } : {}),\n  };\n  const endpoints = route === undefined ? null : atlasMap.parseRoute(route);\n  const build = (results: atlasMap.WitnessResults | null): atlasMap.AtlasView =>\n    endpoints !== null\n      ? allRoutes\n        ? atlasMap.buildRoutesView(api, ...endpoints, maxRoutes, results)\n        : atlasMap.buildRouteView(api, ...endpoints, results)\n      : family !== undefined\n        ? atlasMap.buildFamilyView(api, family, filter, results)\n        : atlasMap.buildObservableView(api, observable!, filter, results);\n  let results: atlasMap.WitnessResults | null = null;\n  if (args.flags.has('stored')) results = atlasMap.loadStoredResults();\n  else if (args.flags.has('run')) {\n    // Unfiltered first: a filter's verdict depends on the results, so every candidate bridge is run.\n    const candidates =\n      endpoints === null\n        ? atlasMap.bridgeIdsOf(family !== undefined ? atlasMap.buildFamilyView(api, family, {}) : atlasMap.buildObservableView(api, observable!, {}))\n        : atlasMap.bridgeIdsOf(build(null));\n    results = await atlasMap.runResults(api, candidates);\n  }\n  const v = build(results);\n  const exitCode = results?.mode === 'run' && results.rows.some((r) => r.status === 'refuted') ? EXIT_CHECK_FAILED : 0;\n\n  if (isJson) {\n    emitJson({ command: 'map', source: 'atlas', result: v }, write);\n    return exitCode;\n  }\n  if (fmt === 'text') {\n    const lines =\n      v.view === 'route'\n        ? atlasMap.routeText(v)\n        : v.view === 'routes'\n          ? atlasMap.routesText(v)\n          : v.view === 'family'\n            ? atlasMap.familyText(v)\n            : atlasMap.observableText(v);\n    for (const line of lines) ctx.out(line);\n    return exitCode;\n  }\n  let src: string;\n  if (fmt === 'svg') {\n    try {\n      src = await api.renderDotToSvg(atlasMap.toDot(v));\n    } catch (e) {\n      throw new CliError(e && (e as Error).message ? (e as Error).message : String(e));\n    }\n  } else {\n    src = fmt === 'mermaid' ? atlasMap.toMermaid(v) : atlasMap.toDot(v);\n  }\n  const path = lastValue(args.flags, 'out');\n  if (path !== undefined) {\n    if (!path) throw new CliError('upt: --out= requires a non-empty PATH');\n    try {\n      writeFileSync(path, src);\n    } catch (e) {\n      throw new CliError(`upt map: ${(e as Error).message}`);\n    }\n    err(`upt: wrote ${fmt} to ${path}`);\n  } else {\n    write(src);\n  }\n  err(`upt: ${atlasMap.viewLegend(v)}`);\n  return exitCode;\n}\n\n/**\n * `--out=PATH` holds for every output form. A visual form writes its diagram\n * source (handled by the branch that renders it); the text report and the\n * `--json` envelope are captured here and written whole, so stdout stays\n * empty and the file holds exactly what stdout would have carried. An empty\n * PATH exits 1 in every form.\n */\nasync function run(ctx: CommandCtx): Promise<number> {\n  const path = lastValue(ctx.args.flags, 'out');\n  const fmt = lastValue(ctx.args.flags, 'format') ?? 'text';\n  if (path === undefined || fmt !== 'text') return runReport(ctx);\n  if (!path) throw new CliError('upt: --out= requires a non-empty PATH');\n  let captured = '';\n  const code = await runReport({\n    ...ctx,\n    out: (line?: string) => {\n      captured += (line ?? '') + '\\n';\n    },\n    write: (s: string) => {\n      captured += s;\n    },\n  });\n  try {\n    writeFileSync(path, captured);\n  } catch (e) {\n    throw new CliError(`upt map: ${(e as Error).message}`);\n  }\n  ctx.err(`upt: wrote ${ctx.args.flags.has('json') ? 'json' : 'text'} to ${path}`);\n  return code;\n}\n\nasync function runReport(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err, write } = ctx;\n  const route = lastValue(args.flags, 'route');\n  const family = lastValue(args.flags, 'family');\n  const observable = lastValue(args.flags, 'observable');\n  if (route !== undefined || family !== undefined || observable !== undefined) return runAtlasView(ctx, route, family, observable);\n  const atlasOnly = ATLAS_ONLY_FLAGS.filter((f) => args.flags.has(f));\n  if (atlasOnly.length > 0) {\n    throw new CliError(\n      `upt map: ${atlasOnly.map((f) => `--${f}`).join(', ')} appl${atlasOnly.length === 1 ? 'ies' : 'y'} to an atlas view ` +\n        '(--route, --family or --observable), not to the equation graph',\n    );\n  }\n  // map asks a pure connectivity question, so it defaults to --source=both\n  // (catalog + canonical) rather than graphs.ts's catalog fallback used by\n  // the other --source commands (e.g. discover, which keeps catalog).\n  const sourceFlags = args.flags.has('source') ? args.flags : new Map(args.flags).set('source', ['both']);\n  const { graph: wholeGraph, label, source } = resolveGraph(api, sourceFlags);\n\n  const around = lastValue(args.flags, 'around');\n  const depthRaw = lastValue(args.flags, 'depth');\n  if (depthRaw !== undefined && around === undefined) throw new CliError('upt map: --depth needs --around');\n  let focus: { around: string; depth: number; kept: number; of: number } | null = null;\n  let fullGraph = wholeGraph;\n  if (around !== undefined) {\n    // The grammar first (`1e1` is usage, exit 2); the 1..MAX_DEPTH range after (exit 1).\n    const depth = depthRaw === undefined ? DEFAULT_DEPTH : integerFlag('map', '--depth', depthRaw);\n    if (depth < 1 || depth > MAX_DEPTH) throw new CliError(`upt map: --depth=${depthRaw} must be an integer from 1 to ${MAX_DEPTH}`);\n    const known = new Set(wholeGraph.flatMap((e) => [...e.sources.map((q) => q.name), e.target.name]));\n    const name = api.resolveQuantityName(around, known);\n    if (name === null) {\n      const near = api.suggestQuantities(around, known);\n      throw new CliError(\n        `upt map: '${around}' is not a quantity of the ${label} graph` + (near.length > 0 ? `; did you mean: ${near.join(', ')}?` : ''),\n      );\n    }\n    fullGraph = neighbourhood(wholeGraph, name, depth);\n    focus = { around: name, depth, kept: fullGraph.length, of: wholeGraph.length };\n  }\n  const focusLine =\n    focus === null\n      ? null\n      : `focused: ${focus.kept} of ${focus.of} edges within ${focus.depth} hop(s) of '${focus.around}' [${label}]; ` +\n        'the rest are omitted from this view, not absent from the graph';\n  // The two overlay filters. Parsed BEFORE anything else is computed so a bad\n  // value costs nothing and always exits 1.\n  const relation = parseFilter(lastValue(args.flags, 'relation'), RELATION_TYPES, '--relation');\n  const evidence = parseFilter(lastValue(args.flags, 'evidence'), EVIDENCE_TAGS, '--evidence');\n  const filterOpts = withCatalogEvidence({\n    ...(relation !== undefined ? { relation } : {}),\n    ...(evidence !== undefined ? { evidence } : {}),\n  });\n  // The TEXT and JSON paths filter the edge list here, because `linkageMap`\n  // consumes edges. The VISUAL path hands `buildVizModel` the FULL graph with\n  // the same options, so the model also judges the --proposed / --equation\n  // overlay junctions, which are not edges and which `filterEdges` cannot see.\n  // One predicate, two callers: they cannot disagree about what a filter\n  // selects, only about how much they were asked to count.\n  const { kept: graph, stats: edgeStats } = api.filterEdges(fullGraph, filterOpts);\n  // Audit I3: what \"anchored\" means here, and the discovery ground truth when --proposed ran the funnel.\n  const anchor: AnchorScope = {\n    core: coreAnchor(graph),\n    ...(args.flags.has('proposed') ? { groundTruth: groundTruthAnchor(api, parseDiscoveryOpts(api, args.flags)) } : {}),\n  };\n  const edgeLegend = api.formatFilterLegend(edgeStats);\n\n  const fmtValues = args.flags.get('format');\n  const fmt = fmtValues && fmtValues.length > 0 ? fmtValues[fmtValues.length - 1] : 'text';\n  const isJson = args.flags.has('json');\n\n  if (isJson && fmt !== 'text') {\n    throw new UsageError('upt: pick one output form: --json or --format');\n  }\n  const structureAsked = STRUCTURE_FLAGS.filter((f) => args.flags.has(f));\n  if (structureAsked.length > 0 && fmt !== 'text') {\n    const named = structureAsked.map((f) => `--${f}`).join(', ');\n    throw new UsageError(\n      `upt map: ${named} print${structureAsked.length === 1 ? 's' : ''} text or --json; ${structureAsked.length === 1 ? 'it does' : 'they do'} not apply to --format=${fmt}`,\n    );\n  }\n  // Computed only when asked, over the same filtered edge list the linkage map reads.\n  const structure = await structureSections(api, graph, args.flags);\n\n  // --equation injects a user-supplied \"TARGET = EXPR\" as a 'user' junction.\n  let user: EquationAnalysis | null = null;\n  let comparisons: CanonicalComparison[] = [];\n  const equationValues = args.flags.get('equation');\n  const equation = equationValues && equationValues.length > 0 ? equationValues[equationValues.length - 1] : null;\n  // Persona finding L7: the verdict alone, without the linkage map after it.\n  const equationOnly = args.flags.has('equation-only');\n  if (equationOnly && equation == null) throw new UsageError('upt map: --equation-only needs --equation \"TARGET = EXPR\"');\n  if (equationOnly && fmt !== 'text') {\n    throw new UsageError(`upt map: --equation-only prints the verdict as text or --json; it does not apply to --format=${fmt}`);\n  }\n  if (equation != null) {\n    if (!equation.trim()) {\n      throw new UsageError('upt: --equation requires \"TARGET = EXPR\"');\n    }\n    try {\n      const units: Exclude<UnitMode, 'si'> | undefined = args.flags.has('geometrized')\n        ? 'geometrized'\n        : args.flags.has('natural')\n          ? 'natural'\n          : undefined;\n      if (args.flags.has('geometrized') && args.flags.has('natural')) {\n        throw new UsageError('upt map: pick one unit mode: --natural (ħ = c = 1) or --geometrized (ħ = c = G = 1)');\n      }\n      ({ user, comparisons } = await analyzeEquation(api, equation, graph, {\n        bindShortNames: args.flags.has('bind-short'),\n        ...(units === undefined ? {} : { units }),\n      })); // throws UserEquationError on malformed structure\n    } catch (e) {\n      throw new UsageError('upt: ' + (e && (e as Error).message ? (e as Error).message : String(e)));\n    }\n    if (user.parseError) {\n      throw new UsageError('upt: ' + user.parseError); // dimensionally malformed RHS\n    }\n  }\n\n  // The same classification `upt derive` uses. A canonical agreement stays 0.\n  // A catalog target that was not established exits 3. An unbound target stays 0.\n  const exitCode = user === null ? 0 : equationDetermination(user, comparisons).exit;\n\n  // Ranked from the UNFILTERED graph: the proposal set is a property of the\n  // whole catalog, and the model then judges each overlay junction under the\n  // same filter as every other junction. Computed once for every output form.\n  const proposed: VizJunction[] | null = args.flags.has('proposed') ? proposedJunctions(api, wholeGraph, args.flags) : null;\n  const overlay = (extra: VizJunction[]): VizJunction[] => [...(proposed ?? []), ...extra];\n\n  if (isJson) {\n    const linkage = api.linkageMap(graph);\n    let landing: ReturnType<typeof api.equationLanding> | undefined;\n    let userEquation: Record<string, unknown> | undefined;\n    if (user) {\n      const model = api.buildVizModel(fullGraph, {\n        title: `UPT physics map — ${label}`,\n        extraJunctions: overlay([user.junction]),\n        ...filterOpts,\n      });\n      landing = api.equationLanding(model, 'user-equation');\n      userEquation = {\n        equation: user.junction.label,\n        consistent: tainted(user) ? null : user.consistent,\n        rhsDimension: tainted(user) ? null : user.rhsDimension,\n        targetDimension: user.targetDimension,\n        hints: user.hints,\n        shortBindings: user.shortBindings,\n        ...(user.placeholders.length === 0 ? {} : { placeholders: user.placeholders }),\n        canonicalComparisons: comparisons,\n        catalogEdges: api.matchingCatalogEdges(user.junction.target, [...user.junction.sources]),\n      };\n    }\n    emitJson(\n      {\n        command: 'map',\n        source,\n        anchor,\n        result: {\n          ...(equation != null && (equationOnly || !args.flags.has('verbose')) ? {} : { linkage }),\n          ...(proposed === null ? {} : { proposed: proposed.map((p) => ({ id: p.id, target: p.target, sources: p.sources })) }),\n          ...(edgeLegend !== null ? { filter: edgeStats } : {}),\n          ...(focus !== null ? { focus } : {}),\n          ...(user ? { landing, userEquation } : {}),\n          ...structure,\n        },\n      },\n      write\n    );\n    return exitCode;\n  }\n\n  if (fmt === 'mermaid' || fmt === 'dot' || fmt === 'svg') {\n    const extraJunctions = overlay(user ? [user.junction] : []);\n    const model = api.buildVizModel(fullGraph, {\n      title: `UPT physics map — ${label}`,\n      extraJunctions,\n      ...filterOpts,\n    });\n    // svg is the dot layout rendered by the optional @viz-js/viz peer.\n    let src: string;\n    if (fmt === 'svg') {\n      try {\n        src = await api.renderDotToSvg(model.toDot());\n      } catch (e) {\n        throw new CliError(e && (e as Error).message ? (e as Error).message : String(e));\n      }\n    } else {\n      src = fmt === 'mermaid' ? model.toMermaid() : model.toDot();\n    }\n    const outValues = args.flags.get('out');\n    if (outValues && outValues.length > 0) {\n      const path = outValues[outValues.length - 1];\n      if (!path) {\n        throw new CliError('upt: --out= requires a non-empty PATH');\n      }\n      try {\n        writeFileSync(path, src);\n      } catch (e) {\n        throw new CliError(`upt map: ${(e as Error).message}`);\n      }\n      err(`upt: wrote ${fmt} (${model.junctions.length} junctions, ${model.clusters.length} clusters) to ${path}`);\n    } else {\n      write(src);\n    }\n    // Legend and landing report go to stderr so stdout/--out stays pure diagram\n    // source. The diagram itself also carries the legend (see `buildVizModel`).\n    if (focusLine !== null) err(`upt: ${focusLine}`);\n    if (model.filterLegend !== null) err(`upt: ${model.filterLegend}`);\n    if (user) printEquationReport(api, model, user, err, comparisons);\n    return exitCode;\n  }\n  if (fmt !== 'text') {\n    throw new CliError(`upt: unknown --format='${fmt}' (expected: text | mermaid | dot | svg)`);\n  }\n\n  // --equation: the verdict on the user's equation is the answer asked for, so it\n  // comes BEFORE the linkage map, not after ~45 lines of it (persona finding N4).\n  if (user) {\n    const model = api.buildVizModel(fullGraph, {\n      title: `UPT physics map — ${label}`,\n      extraJunctions: overlay([user.junction]),\n      ...filterOpts,\n    });\n    out(`\\nYour equation:  ${user.junction.label}`);\n    printEquationReport(api, model, user, out, comparisons);\n    if (equationOnly || !args.flags.has('verbose')) return exitCode;\n  }\n\n  const m = api.linkageMap(graph);\n  const mix = (s: Readonly<Record<string, number>>) =>\n    Object.entries(s)\n      .map(([k, v]) => `${v} ${k}`)\n      .join(', ');\n  out(`\\nLinkage map — how the equations connect via shared quantities  [source: ${label}]`);\n  out(`(${m.componentCount} components over ${graph.length} edges; ${m.compositions} compose into chains)`);\n  out(`  ${coreLine(anchor.core!)}`);\n  if (anchor.groundTruth) out(`  proposals: ${groundTruthLine(anchor.groundTruth)}`);\n  if (proposed !== null) {\n    // The overlay the visual forms draw, listed here: an unadjudicated identity consequence is a\n    // proposal, never a catalog edge. Each names its target and the quantities it would relate.\n    out(`  proposed relations (${proposed.length}, unadjudicated identity consequences; not catalog edges):`);\n    for (const p of proposed) {\n      // No free input: every governing quantity of the derived relation is a registered constant.\n      const sources = p.sources.length === 0 ? '{} (no sources: every input is a registered constant)' : `{${p.sources.join(', ')}}`;\n      out(`     ${p.id}: ${p.target} ← ${sources}`);\n    }\n    if (proposed.length === 0) out('     (none at this anchor and --max-orders)');\n  }\n  out('');\n  if (focusLine !== null) out(`  ${focusLine}`);\n  if (edgeLegend !== null) out(`  ${edgeLegend}`);\n  for (const c of m.clusters.filter((x) => x.size > 1)) {\n    out(`  ● cluster of ${c.size}${c.anchored ? '  [ANCHORED to known physics]' : ''}`);\n    out(`     edges:  ${c.edges.join(', ')}`);\n    out(`     status: ${mix(c.statusMix)}`);\n    out(`     link hubs: ${c.hubs.join(', ')}\\n`);\n  }\n  out(`  ○ isolated (${m.isolated.length}) — share no quantity with any other edge:`);\n  out(`     ${m.isolated.length === 0 ? 'none' : m.isolated.join(', ')}`);\n  const structureText = structureLines(structure, api.formatQuantity);\n  if (structureText.length > 0) {\n    out('');\n    for (const line of structureText) out(line);\n  }\n  out('\\n  (a structural map — shared-quantity connectivity, NOT a credibility signal)');\n  return exitCode;\n}\n\nexport const command: Command = {\n  name: 'map',\n  aliases: ['linkage'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show how equations link, or where your own equation lands on that graph.',\n  example: 'upt map --equation \"period = 2*pi*sqrt(length/gravity)\"',\n  group: 'explore',\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/metric.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"metric.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/metric.ts"],"names":[],"mappings":"AAUA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA4L/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"metric.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/metric.ts"],"names":[],"mappings":"AAUA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAgM/E,eAAO,MAAM,OAAO,EAAE,OAUrB,CAAC"}

package/dist/cli/commands/metric.js

@@ -37,16 +37,16 @@ function isMetric(s) {
 }
 /**
  * The metric library refuses a bad value (a non-positive mass, a point inside
- * the horizon, an unknown parameter, a start the integrator cannot take, a
- * parameter in the wrong unit) with `MetricMassError`, a `UnitError`, or a
- * plain `Error`. Each is a bad value, exit 1. Any other class (a TypeError, a
- * RangeError) is a defect and is not converted.
+ * the horizon, an unknown or repeated parameter, a start the integrator cannot
+ * take, a parameter in the wrong unit) with `MetricMassError`,
+ * `MetricValueError` or a `UnitError`. Each is a bad value, exit 1. Any other
+ * class (a plain `Error`, a TypeError, a RangeError) is a defect and is not
+ * converted.
  */
 function metricValueError(api, e) {
-    if (e instanceof api.MetricMassError || e instanceof api.UnitError)
-        return new CliError(`upt metric: ${e.message}`);
-    if (e instanceof Error && e.constructor === Error)
+    if (e instanceof api.MetricMassError || e instanceof api.MetricValueError || e instanceof api.UnitError) {
         return new CliError(`upt metric: ${e.message}`);
+    }
     return e;
 }
 async function run(ctx) {
@@ -82,12 +82,14 @@ async function run(ctx) {
                 const a = report.parameters.a ?? 0;
                 const r = report.parameters.r;
                 const theta = report.parameters.theta ?? Math.PI / 2;
+                // Reachable: `curvatureReport` refuses M ≤ 0, but G=0 (or a c that overflows) makes
+                // M_geom = G M / c² zero with M > 0, and a supplied r passes its own check.
                 if (Mgeom === undefined || !(Mgeom > 0))
-                    throw new CliError('Kerr geodesic needs a positive mass');
+                    throw new CliError('upt metric: Kerr geodesic needs a positive mass');
                 const rOverM = (r ?? 10 * Mgeom) / Mgeom;
                 const aOverM = a / Mgeom;
                 if (!(Math.abs(aOverM) <= 1))
-                    throw new CliError('Kerr geodesic wants |a| ≤ GM/c²');
+                    throw new CliError('upt metric: Kerr geodesic wants |a| ≤ GM/c²');
                 const equatorial = Math.abs(theta - Math.PI / 2) < 1e-6;
                 if (a === 0) {
                     // At a = 0 the Kerr metric is Schwarzschild. The Boyer–Lindquist integrator refuses the
@@ -170,6 +172,7 @@ async function run(ctx) {
 export const command = {
     name: 'metric',
     aliases: ['curvature'],
+    positionals: { max: Infinity },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Print Christoffel symbols and curvature scalars for one exact metric.',