@ltm-alpha/alpha-cs 1.6.0

package/dist/graph/named-symbol-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"named-symbol-flow.d.ts","sourceRoot":"","sources":["../../src/graph/named-symbol-flow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,cAAc,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAM3C,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEvF;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAwElG;AAED,+CAA+C;AAC/C,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAMlD,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,CAAmC,CAAC;AAapF,gFAAgF;AAChF,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,KAAK,CAAC;AAEpC,wEAAwE;AACxE,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAqBpC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC;IACX,yEAAyE;IACzE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACnB;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,wEAAwE;IACxE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,2EAA2E;IAC3E,IAAI,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC;IAC5B,qEAAqE;IACrE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,yDAAyD;IACzD,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzB,4EAA4E;IAC5E,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,2CAA2C;IAC3C,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC,gFAAgF;IAChF,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACjC,0EAA0E;IAC1E,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,gFAAgF;IAChF,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,6DAA6D;IAC7D,MAAM,EAAE,SAAS,EAAE,CAAC;CACrB;AAoCD,+DAA+D;AAC/D,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CASlD;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,cAAc,EAClB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,sBAA2B,GAChC,eAAe,CAyEjB;AAmMD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,cAAc,EAClB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,sBAA2B,GAChC,eAAe,CA0DjB;AAED,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD"}

package/dist/graph/named-symbol-flow.js

@@ -0,0 +1,552 @@
+"use strict";
+/**
+ * The call path among a bag of named symbols — the one path finder.
+ *
+ * `codegraph_explore` leads its answer with a "Flow" section: the longest call
+ * chain among the symbols an agent named, riding synthesized dynamic-dispatch
+ * edges so a controller reaches its implementation through the interface. The
+ * viewer's Flow strip (`/api/flow`, design spec §3.5) draws the same thing as
+ * cards. They must never disagree, so the search lives here once and both
+ * callers ride it: same token parsing, same overload disambiguation, same
+ * bridge budget, same edges.
+ *
+ * What differs between the two callers is expressed as OPTIONS, not as a second
+ * implementation:
+ *
+ * - **`mode: 'named'`** is exactly what explore does. Every resolved symbol is
+ *   both a possible start and a possible end, at most ONE unnamed symbol may
+ *   bridge two named ones ({@link DEFAULT_MAX_BRIDGE}), and the LONGEST chain
+ *   wins. The bridge cap is what stops the search wandering a god-function's
+ *   fan-out: the agent's own naming is the evidence that a hop is on-topic.
+ * - **`mode: 'directed'`** is "how does X reach Y", which the agent has no way
+ *   to ask and the viewer's search box does. Both ends are pinned, so the
+ *   evidence the bridge cap was standing in for is already there and the search
+ *   bridges freely — a two-token query under the named rules could never return
+ *   more than three cards. The SHORTEST path wins, because with both ends fixed
+ *   a longer route is a detour rather than a fuller answer.
+ *
+ * Overloads are handled differently for the same reason. A bare ambiguous name
+ * in `named` mode is filtered by CO-NAMING (keep `list` only where the agent
+ * also named its class); in `directed` mode every candidate for both endpoints
+ * is tried and the pair that actually connects is the answer — which is a
+ * better disambiguator than co-naming and the only one available when the
+ * whole query is two words.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_MAX_BRIDGE = exports.DIRECTED_MAX_HOPS = exports.DEFAULT_MAX_HOPS = exports.FLOW_EDGE_KINDS = exports.FLOW_CALLABLE_KINDS = exports.matchesSymbol = exports.lastQualifierPart = exports.RUST_PATH_PREFIXES = void 0;
+exports.findAllSymbols = findAllSymbols;
+exports.flowTokens = flowTokens;
+exports.resolveNamedTokens = resolveNamedTokens;
+exports.resolveNamedSymbolFlow = resolveNamedSymbolFlow;
+exports.normalizeToken = normalizeToken;
+const query_utils_1 = require("../search/query-utils");
+const symbol_lookup_1 = require("./symbol-lookup");
+// Preserve the existing imports while sharing the matcher with the CLI and MCP.
+var symbol_lookup_2 = require("./symbol-lookup");
+Object.defineProperty(exports, "RUST_PATH_PREFIXES", { enumerable: true, get: function () { return symbol_lookup_2.RUST_PATH_PREFIXES; } });
+Object.defineProperty(exports, "lastQualifierPart", { enumerable: true, get: function () { return symbol_lookup_2.lastQualifierPart; } });
+Object.defineProperty(exports, "matchesSymbol", { enumerable: true, get: function () { return symbol_lookup_2.matchesSymbol; } });
+/**
+ * Find ALL symbols matching a name. Used by callers/callees/impact to aggregate
+ * results across all matching symbols (e.g., multiple classes with an `execute` method).
+ *
+ * Exact matches only (#1473): a missing / mistyped name must NOT silently
+ * resolve to the top fuzzy FTS hit under the caller's typed label. Closest
+ * hits may appear in `note` as a did-you-mean hint when `nodes` is empty.
+ */
+function findAllSymbols(cg, symbol) {
+    // Nix option paths: the declaration is stored as `options.<path>` and
+    // config writes carry longer/quoted tails (`<path>."git/config".text`),
+    // so a dotted option token (`xdg.configFile`, `launchd.user.agents`) has
+    // no exact-name node and would degrade to bare-tail FTS soup — burying
+    // the declaration hub the nix-option-path edges hang off. Resolve the
+    // convention directly: declaration first, then the exact write, then a
+    // capped prefix scan of write sites. Three index hits; non-nix graphs
+    // fall straight through.
+    if (/^[a-z][\w'-]*(?:\.[\w'-]+)+$/.test(symbol)) {
+        const optionHits = [
+            ...cg.getNodesByName(`options.${symbol}`),
+            ...cg.getNodesByName(symbol),
+            ...cg.getNodesByNamePrefix(`${symbol}.`, 12),
+        ].filter((n) => n.language === 'nix');
+        if (optionHits.length > 0) {
+            const seen = new Set();
+            const nodes = optionHits.filter((n) => !seen.has(n.id) && !!seen.add(n.id)).slice(0, 10);
+            return { nodes, note: '' };
+        }
+    }
+    const isQualified = /[.\/]|::/.test(symbol);
+    let exactNodes;
+    if (!isQualified) {
+        // Direct index — every exact-name overload, case-sensitive. Avoids FTS
+        // ranking a differently-cased sibling above the real node (#1473 Fetch).
+        exactNodes = cg.getNodesByName(symbol);
+    }
+    else {
+        let results = cg.searchNodes(symbol, { limit: 50 });
+        // Mirror findSymbolMatches — FTS strips colons, so re-search by bare tail.
+        if (results.length === 0) {
+            const tail = (0, symbol_lookup_1.lastQualifierPart)(symbol);
+            if (tail && tail !== symbol)
+                results = cg.searchNodes(tail, { limit: 50 });
+        }
+        exactNodes = results
+            .filter((r) => (0, symbol_lookup_1.matchesSymbol)(r.node, symbol))
+            .map((r) => r.node);
+    }
+    if (exactNodes.length === 0) {
+        const fuzzy = cg.searchNodes(symbol, { limit: 5 });
+        const suggestions = [
+            ...new Set(fuzzy.map((r) => r.node.name).filter((n) => n !== symbol)),
+        ].slice(0, 3);
+        const note = suggestions.length > 0
+            ? `\n\n> **Note:** no symbol named "${symbol}". Did you mean: ${suggestions.join(', ')}?`
+            : '';
+        return { nodes: [], note };
+    }
+    if (exactNodes.length === 1) {
+        return { nodes: exactNodes, note: '' };
+    }
+    // Same generated-file down-rank as findSymbol — keeps callers/callees
+    // /impact aggregation aligned (a query against "Send" returns the
+    // hand-written implementations before the protobuf scaffold).
+    const isGen = cg.generatedFilePredicate(exactNodes.map((n) => n.filePath));
+    const ranked = [...exactNodes].sort((a, b) => {
+        const aGen = isGen(a.filePath) ? 1 : 0;
+        const bGen = isGen(b.filePath) ? 1 : 0;
+        return aGen - bGen;
+    });
+    const locations = ranked.map((n) => `${n.kind} at ${n.filePath}:${n.startLine}`);
+    const note = `\n\n> **Note:** Aggregated results across ${ranked.length} symbols named "${symbol}": ${locations.join(', ')}`;
+    return { nodes: ranked, note };
+}
+/** Node kinds that can sit on a call chain. */
+exports.FLOW_CALLABLE_KINDS = new Set([
+    'method',
+    'function',
+    'component',
+    'constructor',
+    'route',
+]);
+/**
+ * Edge kinds a flow may ride. `navigates` is a screen transition (Expo Router
+ * `router.push('/x')` → the route node) — a hop in the user's flow exactly as
+ * a call is a hop in the program's.
+ */
+exports.FLOW_EDGE_KINDS = new Set(['calls', 'navigates']);
+/**
+ * Node kinds that can be an endpoint of a SYNTHESIZED edge without being
+ * callable. An RTK thunk is `const X = createAsyncThunk(...)`, so a thunk →
+ * thunk hop is constant → constant and the callable-only set cannot hold it.
+ */
+const DYN_KINDS = new Set(['constant', 'variable', 'field', 'property']);
+/** Only a REAL file extension is stripped from a token — `Class.method` is kept. */
+const FILE_EXT = /\.(?:java|kt|kts|ts|tsx|js|jsx|mjs|cjs|cs|py|go|rb|php|swift|rs|cpp|cc|cxx|c|h|hpp|scala|lua|dart|vue|svelte|astro|erl|hrl)$/i;
+/** Chain length ceiling, in NODES. Explore's Flow section has always used 7. */
+exports.DEFAULT_MAX_HOPS = 7;
+/**
+ * Longer ceiling for a directed question.
+ *
+ * "How does X reach Y" is asked about two symbols that a reader believes are
+ * connected, and a real call path between a CLI entry point and a storage
+ * primitive runs deeper than seven frames. Explore's ceiling stays where it is:
+ * there, a longer chain is a bigger guess, because nothing pins the far end.
+ */
+exports.DIRECTED_MAX_HOPS = 12;
+/** At most one consecutive UNNAMED hop may bridge two named symbols. */
+exports.DEFAULT_MAX_BRIDGE = 1;
+/** Seeds a `named` search starts from, and candidates an ambiguous token keeps. */
+const MAX_SEEDS = 8;
+const MAX_CANDIDATES_PER_TOKEN = 6;
+/**
+ * Candidates a DIRECTED endpoint keeps, and the seeds it therefore walks from.
+ *
+ * Higher than the `named` cap, and the reason is a real failure: `main` has ten
+ * definitions in this repository — a Python asset script, a Rust build script,
+ * four `scripts/*.mjs` one-offs, a Go fixture — and the CLI's own `main`, the
+ * one anybody asking "how does main reach X" means, sorts SEVENTH. A cap of six
+ * silently answered "these two symbols are not connected". Both endpoints are
+ * pinned here, so an extra candidate costs one bounded walk that ends the
+ * moment it reaches the destination, and the pair that connects is the answer.
+ */
+const MAX_CANDIDATES_DIRECTED = 12;
+const MAX_TOKENS = 16;
+const MAX_NAMED = 40;
+const EMPTY_FLOW = () => ({
+    tokens: [],
+    named: new Map(),
+    dynNamed: new Map(),
+    tokenNodes: new Map(),
+    tokenFamily: new Map(),
+    uniqueNamedNodeIds: new Set(),
+    preciseNamedIds: new Set(),
+    chains: [],
+});
+/**
+ * Production code before test and fixture code, otherwise the order the index
+ * ranked them in.
+ *
+ * Only used for a directed question, where the candidates are the two ends of
+ * "how does X reach Y" and a fixture's `main` is never what was meant. In
+ * `named` mode the agent's own co-naming does this job and re-ranking would
+ * change what `codegraph_explore` answers.
+ */
+function rankForDirected(nodes) {
+    return [...nodes].sort((a, b) => ((0, query_utils_1.isTestFile)(a.filePath) ? 1 : 0) - ((0, query_utils_1.isTestFile)(b.filePath) ? 1 : 0));
+}
+/**
+ * A token is shape-precise when it looks like a symbol reference rather than an
+ * English word that happened to exact-match a callable.
+ */
+function isPreciseToken(token) {
+    return /[._$]|::|\//.test(token) || /[a-z][A-Z]/.test(token) || /^[A-Z]/.test(token);
+}
+/** The symbol-shaped tokens of a query, deduped and capped. */
+function flowTokens(query) {
+    return [
+        ...new Set(query
+            .split(/[\s,()[\]]+/)
+            .map((t) => t.replace(FILE_EXT, '').trim())
+            .filter((t) => t.length >= 3 && /^[A-Za-z_$][\w$]*(?:(?:::|\.)[\w$]+)*$/.test(t))),
+    ].slice(0, MAX_TOKENS);
+}
+/**
+ * Resolve a query's tokens to nodes, with the overload rules described in the
+ * module header. No graph traversal happens here.
+ */
+function resolveNamedTokens(cg, query, opts = {}) {
+    const directed = opts.mode === 'directed';
+    const out = EMPTY_FLOW();
+    const tokens = flowTokens(query);
+    out.tokens = tokens;
+    if (tokens.length < 2)
+        return out;
+    // Pool of name SEGMENTS (Class + method from every token), used to keep an
+    // ambiguous simple name only where its CONTAINER class is itself named.
+    const segPool = new Set();
+    for (const t of tokens)
+        for (const s of t.toLowerCase().split(/::|\./))
+            if (s)
+                segPool.add(s);
+    // RAW edges, not getCallers/getCallees: those return one row per NEIGHBOUR
+    // (the #1086 de-dup), so when a pair is joined by BOTH a static and a
+    // synthesized edge the static one wins and the synthesized one becomes
+    // invisible — which is exactly what happens once a thunk's `dispatch(x)`
+    // is walked statically. The question here is about the graph, not about
+    // callers, so ask the edges directly.
+    const hasHeuristicEdge = (id) => [...cg.getIncomingEdges(id), ...cg.getOutgoingEdges(id)].some((e) => e.provenance === 'heuristic');
+    for (const t of tokens) {
+        const hits = findAllSymbols(cg, t).nodes;
+        const cands = hits.filter((n) => exports.FLOW_CALLABLE_KINDS.has(n.kind));
+        out.tokenFamily.set(t, cands);
+        // A qualified or otherwise-specific name (<=3 hits) keeps all of them.
+        const specific = cands.length <= 3;
+        // In directed mode every candidate is kept and the search decides: the pair
+        // of overloads that actually connects IS the disambiguation, and co-naming
+        // has nothing to work with when the whole query is two words.
+        const pick = specific || directed
+            ? cands
+            : cands.filter((n) => {
+                const segs = (n.qualifiedName || '').toLowerCase().split(/::|\./).filter(Boolean);
+                const container = segs.length >= 2 ? segs[segs.length - 2] : '';
+                return !!container && segPool.has(container);
+            });
+        const kept = directed
+            ? rankForDirected(pick).slice(0, MAX_CANDIDATES_DIRECTED)
+            : pick.slice(0, MAX_CANDIDATES_PER_TOKEN);
+        out.tokenNodes.set(t, kept.map((n) => n.id));
+        const precise = isPreciseToken(t);
+        for (const n of kept) {
+            out.named.set(n.id, n);
+            if (specific)
+                out.uniqueNamedNodeIds.add(n.id);
+            if (precise)
+                out.preciseNamedIds.add(n.id);
+        }
+        // Same token, non-callable synthesized endpoints. Capped per token so one
+        // token's many endpoints cannot fill the pool before later tokens get a slot,
+        // and gated on an actual heuristic edge so plain constants never qualify.
+        if (out.dynNamed.size < 12) {
+            let tokenDyn = 0;
+            for (const n of hits) {
+                if (exports.FLOW_CALLABLE_KINDS.has(n.kind) || !DYN_KINDS.has(n.kind) || out.dynNamed.has(n.id)) {
+                    continue;
+                }
+                if (hasHeuristicEdge(n.id)) {
+                    out.dynNamed.set(n.id, n);
+                    if (precise)
+                        out.preciseNamedIds.add(n.id);
+                    tokenDyn++;
+                }
+                if (out.dynNamed.size >= 12 || tokenDyn >= 4)
+                    break;
+            }
+        }
+        if (out.named.size > MAX_NAMED)
+            break;
+    }
+    return out;
+}
+/** Where each node on a chain calls the next one. */
+function callSitesOf(steps) {
+    const sites = new Map();
+    for (let i = 0; i < steps.length - 1; i++) {
+        const line = steps[i + 1]?.edge?.line;
+        const id = steps[i]?.node.id;
+        if (id && line && line > 0 && !sites.has(id))
+            sites.set(id, line);
+    }
+    return sites;
+}
+/**
+ * Nodes one side of a search may visit before it gives up.
+ *
+ * The `named` cap is explore's own, unchanged: with at most one unnamed bridge
+ * between named symbols the frontier cannot run away, so 1 500 is generous.
+ * A directed search bridges freely and needs far more room — but it spends it
+ * from two ends at once, so a side that blows past this has genuinely fanned
+ * out rather than merely gone deep.
+ */
+const NAMED_VISIT_CAP = 1500;
+const DIRECTED_VISIT_CAP = 12_000;
+/**
+ * Breadth-first over `calls` edges — synthesized ones included, which is what
+ * carries a flow across a callback, a re-render or a JSX child.
+ *
+ * This is the `named` walk: every named symbol is a possible destination, and
+ * at most `maxBridge` unnamed symbols may sit between two of them. That cap is
+ * what bounds the frontier, so {@link NAMED_VISIT_CAP} is generous.
+ *
+ * Returns the parent map, so a caller can reconstruct any reached node's path.
+ */
+function walkCalls(cg, seed, named, maxHops, maxBridge) {
+    const parent = new Map();
+    parent.set(seed.id, { prev: null, edge: null, node: seed });
+    const queue = [
+        { id: seed.id, depth: 0, streak: 0 },
+    ];
+    const reached = [];
+    for (let head = 0; head < queue.length && parent.size < NAMED_VISIT_CAP; head++) {
+        const { id, depth, streak } = queue[head];
+        if (id !== seed.id && named.has(id))
+            reached.push(id);
+        if (depth >= maxHops - 1)
+            continue;
+        for (const c of cg.getCallees(id)) {
+            if (!exports.FLOW_EDGE_KINDS.has(c.edge.kind) || parent.has(c.node.id))
+                continue;
+            // A route node is a connector, not a symbol the reader would have named:
+            // crossing one costs no bridge budget.
+            const newStreak = named.has(c.node.id) ? 0 : c.node.kind === 'route' ? streak : streak + 1;
+            if (newStreak > maxBridge)
+                continue;
+            parent.set(c.node.id, { prev: id, edge: c.edge, node: c.node });
+            queue.push({ id: c.node.id, depth: depth + 1, streak: newStreak });
+        }
+    }
+    return { parent, reached };
+}
+/**
+ * A short call path from `seed` to any of `sinks`, searched from BOTH ends.
+ *
+ * A directed question bridges freely — nothing in the middle is "named" to keep
+ * the frontier small — so a one-way walk from an entry point balloons: `main`
+ * on this repository touches hundreds of symbols within four hops of a
+ * twelve-hop budget. Coming in from both ends halves the depth each side has to
+ * cover, and the destination end is nearly always the cheap one: a leaf has a
+ * handful of callers where an entry point has an enormous fan-out.
+ *
+ * Measured against the one-way walk on twelve pairs from this repository's own
+ * index: **identical paths, 3–6× faster** (`main -> resolveOne` 40 ms → 11 ms,
+ * `main -> scanDynamicDispatch` 33 ms → 7 ms). The one-way search never
+ * actually exhausted its visit cap here, so the reachability headroom below is
+ * insurance for a graph much larger than this one, not a fix for a bug that was
+ * observed.
+ *
+ * It alternates a level at a time, always expanding the SMALLER frontier, and
+ * stops the moment the two sides share a node. Alternating levels this way can
+ * return a path one hop longer than the true shortest — which is why nothing in
+ * the payload claims to be shortest, only to be a path the graph records.
+ */
+function walkBidirectional(cg, seed, sinks, maxHops) {
+    if (sinks.has(seed.id))
+        return null;
+    const forward = new Map();
+    /** id → the edge OUT of it towards the destination; null AT the destination. */
+    const backward = new Map();
+    const backNodes = new Map();
+    forward.set(seed.id, { prev: null, edge: null, node: seed });
+    let frontF = [seed];
+    let frontB = [];
+    for (const id of sinks) {
+        const node = cg.getNode(id);
+        if (!node)
+            continue;
+        backward.set(id, null);
+        backNodes.set(id, node);
+        frontB.push(node);
+    }
+    if (frontB.length === 0)
+        return null;
+    const meetAt = () => {
+        // The forward side is the one that is walked in full, so scanning it is the
+        // cheaper direction of the check.
+        for (const id of forward.keys())
+            if (backward.has(id))
+                return id;
+        return null;
+    };
+    const maxEdges = Math.max(1, maxHops - 1);
+    for (let laid = 0; laid < maxEdges; laid++) {
+        if (frontF.length <= frontB.length) {
+            if (forward.size > DIRECTED_VISIT_CAP)
+                break;
+            const next = [];
+            for (const node of frontF) {
+                for (const c of cg.getCallees(node.id)) {
+                    if (!exports.FLOW_EDGE_KINDS.has(c.edge.kind) || forward.has(c.node.id))
+                        continue;
+                    forward.set(c.node.id, { prev: node.id, edge: c.edge, node: c.node });
+                    next.push(c.node);
+                }
+            }
+            if (next.length === 0)
+                break;
+            frontF = next;
+        }
+        else {
+            if (backward.size > DIRECTED_VISIT_CAP)
+                break;
+            const next = [];
+            for (const node of frontB) {
+                for (const c of cg.getCallers(node.id)) {
+                    if (!exports.FLOW_EDGE_KINDS.has(c.edge.kind) || backward.has(c.node.id))
+                        continue;
+                    backward.set(c.node.id, { next: node.id, edge: c.edge });
+                    backNodes.set(c.node.id, c.node);
+                    next.push(c.node);
+                }
+            }
+            if (next.length === 0)
+                break;
+            frontB = next;
+        }
+        const meet = meetAt();
+        if (meet === null)
+            continue;
+        // Forward half: seed → meet, walking the forward parents back.
+        const steps = [];
+        let cur = meet;
+        while (cur) {
+            const at = forward.get(cur);
+            if (!at)
+                break;
+            steps.push({ node: at.node, edge: at.edge });
+            cur = at.prev;
+        }
+        steps.reverse();
+        // Backward half: meet → sink. An entry holds the edge OUT of its node, so
+        // it is the edge INTO the step after it, which is the shape a step wants.
+        let link = backward.get(meet);
+        while (link) {
+            const node = backNodes.get(link.next);
+            if (!node)
+                break;
+            steps.push({ node, edge: link.edge });
+            link = backward.get(link.next);
+        }
+        const last = steps[steps.length - 1];
+        if (steps.length < 2 || !last || !sinks.has(last.node.id))
+            return null;
+        return steps.length <= maxHops ? steps : null;
+    }
+    return null;
+}
+function chainTo(parent, target) {
+    const steps = [];
+    let cur = target;
+    while (cur) {
+        const at = parent.get(cur);
+        if (!at)
+            break;
+        steps.push({ node: at.node, edge: at.edge });
+        cur = at.prev;
+    }
+    steps.reverse();
+    return steps;
+}
+/**
+ * The call path among a query's named symbols. See the module header for what
+ * the two modes mean and why they differ.
+ */
+function resolveNamedSymbolFlow(cg, query, opts = {}) {
+    try {
+        const directed = opts.mode === 'directed';
+        const flow = resolveNamedTokens(cg, query, opts);
+        if (flow.named.size < 2)
+            return flow;
+        const maxHops = opts.maxHops ?? (directed ? exports.DIRECTED_MAX_HOPS : exports.DEFAULT_MAX_HOPS);
+        const maxBridge = opts.maxBridge ?? (directed ? Number.POSITIVE_INFINITY : exports.DEFAULT_MAX_BRIDGE);
+        const maxChains = Math.max(1, opts.maxChains ?? 1);
+        const namedIds = new Set(flow.named.keys());
+        const found = [];
+        if (directed) {
+            const fromIds = flow.tokenNodes.get(normalizeToken(opts.from ?? '')) ?? [];
+            const toIds = flow.tokenNodes.get(normalizeToken(opts.to ?? '')) ?? [];
+            if (fromIds.length === 0 || toIds.length === 0)
+                return flow;
+            const sinks = new Set(toIds);
+            // Every candidate start is searched: each is a bounded two-ended walk that
+            // ends the moment the frontiers meet, and the start that actually connects
+            // IS the answer to which overload was meant.
+            for (const id of fromIds) {
+                const seed = flow.named.get(id);
+                if (!seed)
+                    continue;
+                const steps = walkBidirectional(cg, seed, sinks, maxHops);
+                if (steps)
+                    found.push(steps);
+            }
+        }
+        else {
+            for (const seed of [...flow.named.values()].slice(0, MAX_SEEDS)) {
+                const { parent, reached } = walkCalls(cg, seed, namedIds, maxHops, maxBridge);
+                // Explore's rule: the DEEPEST named sink this seed can reach.
+                let deepest = null;
+                for (const id of reached) {
+                    const steps = chainTo(parent, id);
+                    if (!deepest || steps.length > deepest.length)
+                        deepest = steps;
+                }
+                if (deepest)
+                    found.push(deepest);
+            }
+        }
+        if (found.length === 0)
+            return flow;
+        found.sort((a, b) => (directed ? a.length - b.length : b.length - a.length));
+        // Identical chains, and chains that are just a shorter run along one
+        // already kept, are the same answer twice: `a → b → c` and `b → c` differ
+        // only in where the seed happened to be. Alternatives are for genuinely
+        // different routes — a second overload, a different intermediate.
+        const kept = [];
+        for (const steps of found) {
+            const key = steps.map((s) => s.node.id).join('>');
+            if (kept.some((other) => other === key || other.includes(key)))
+                continue;
+            kept.push(key);
+            flow.chains.push({ steps, callSites: callSitesOf(steps) });
+            if (flow.chains.length >= maxChains)
+                break;
+        }
+        return flow;
+    }
+    catch {
+        return EMPTY_FLOW();
+    }
+}
+/** The token spelling {@link flowTokens} would have produced for one word. */
+function normalizeToken(token) {
+    return token.replace(FILE_EXT, '').trim();
+}
+//# sourceMappingURL=named-symbol-flow.js.map

package/dist/graph/named-symbol-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"named-symbol-flow.js","sourceRoot":"","sources":["../../src/graph/named-symbol-flow.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAmBH,wCAwEC;AAgJD,gCASC;AAMD,gDA6EC;AAuMD,wDA8DC;AAGD,wCAEC;AA7kBD,uDAAmD;AAEnD,mDAAmE;AAEnE,gFAAgF;AAChF,iDAAuF;AAA9E,mHAAA,kBAAkB,OAAA;AAAE,kHAAA,iBAAiB,OAAA;AAAE,8GAAA,aAAa,OAAA;AAE7D;;;;;;;GAOG;AACH,SAAgB,cAAc,CAAC,EAAkB,EAAE,MAAc;IAC/D,sEAAsE;IACtE,wEAAwE;IACxE,yEAAyE;IACzE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,yBAAyB;IACzB,IAAI,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG;YACjB,GAAG,EAAE,CAAC,cAAc,CAAC,WAAW,MAAM,EAAE,CAAC;YACzC,GAAG,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;YAC5B,GAAG,EAAE,CAAC,oBAAoB,CAAC,GAAG,MAAM,GAAG,EAAE,EAAE,CAAC;SAC7C,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;QACtC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,UAAkB,CAAC;IAEvB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,uEAAuE;QACvE,yEAAyE;QACzE,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,IAAI,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,2EAA2E;QAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,MAAM,CAAC,CAAC;YACvC,IAAI,IAAI,IAAI,IAAI,KAAK,MAAM;gBAAE,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,UAAU,GAAG,OAAO;aACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,6BAAa,EAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;aAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG;YAClB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;SACtE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACd,MAAM,IAAI,GACR,WAAW,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,oCAAoC,MAAM,oBAAoB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzF,CAAC,CAAC,EAAE,CAAC;QACT,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC7B,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACzC,CAAC;IAED,sEAAsE;IACtE,kEAAkE;IAClE,8DAA8D;IAC9D,MAAM,KAAK,GAAG,EAAE,CAAC,sBAAsB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,IAAI,GAAG,IAAI,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,EAAE,CACnD,CAAC;IACF,MAAM,IAAI,GAAG,6CAA6C,MAAM,CAAC,MAAM,mBAAmB,MAAM,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC7H,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,+CAA+C;AAClC,QAAA,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IAC9D,QAAQ;IACR,UAAU;IACV,WAAW;IACX,aAAa;IACb,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACU,QAAA,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AAEpF;;;;GAIG;AACH,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AAE9F,oFAAoF;AACpF,MAAM,QAAQ,GACZ,+HAA+H,CAAC;AAElI,gFAAgF;AACnE,QAAA,gBAAgB,GAAG,CAAC,CAAC;AAElC;;;;;;;GAOG;AACU,QAAA,iBAAiB,GAAG,EAAE,CAAC;AAEpC,wEAAwE;AAC3D,QAAA,kBAAkB,GAAG,CAAC,CAAC;AAEpC,mFAAmF;AACnF,MAAM,SAAS,GAAG,CAAC,CAAC;AACpB,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC;;;;;;;;;;GAUG;AACH,MAAM,uBAAuB,GAAG,EAAE,CAAC;AACnC,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,SAAS,GAAG,EAAE,CAAC;AA+CrB,MAAM,UAAU,GAAG,GAAoB,EAAE,CAAC,CAAC;IACzC,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,UAAU,EAAE,IAAI,GAAG,EAAE;IACrB,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,kBAAkB,EAAE,IAAI,GAAG,EAAE;IAC7B,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,MAAM,EAAE,EAAE;CACX,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,KAAsB;IAC7C,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAA,wBAAU,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,+DAA+D;AAC/D,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO;QACL,GAAG,IAAI,GAAG,CACR,KAAK;aACF,KAAK,CAAC,aAAa,CAAC;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,wCAAwC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CACpF;KACF,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,SAAgB,kBAAkB,CAChC,EAAkB,EAClB,KAAa,EACb,OAA+B,EAAE;IAEjC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;IAC1C,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACjC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC;IACpB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAElC,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAE9F,2EAA2E;IAC3E,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,wEAAwE;IACxE,sCAAsC;IACtC,MAAM,gBAAgB,GAAG,CAAC,EAAU,EAAW,EAAE,CAC/C,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC3D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CACpC,CAAC;IAEJ,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2BAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9B,uEAAuE;QACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;QACnC,4EAA4E;QAC5E,2EAA2E;QAC3E,8DAA8D;QAC9D,MAAM,IAAI,GACR,QAAQ,IAAI,QAAQ;YAClB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClF,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChE,OAAO,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/C,CAAC,CAAC,CAAC;QACT,MAAM,IAAI,GAAG,QAAQ;YACnB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,CAAC;YACzD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QAC5C,GAAG,CAAC,UAAU,CAAC,GAAG,CAChB,CAAC,EACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACtB,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACvB,IAAI,QAAQ;gBAAE,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,OAAO;gBAAE,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,0EAA0E;QAC1E,8EAA8E;QAC9E,0EAA0E;QAC1E,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC;YAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,2BAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oBACxF,SAAS;gBACX,CAAC;gBACD,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC3B,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC1B,IAAI,OAAO;wBAAE,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC3C,QAAQ,EAAE,CAAC;gBACb,CAAC;gBACD,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,IAAI,QAAQ,IAAI,CAAC;oBAAE,MAAM;YACtD,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,SAAS;YAAE,MAAM;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qDAAqD;AACrD,SAAS,WAAW,CAAC,KAA0B;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,EAAE,IAAI,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,eAAe,GAAG,IAAI,CAAC;AAC7B,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAElC;;;;;;;;;GASG;AACH,SAAS,SAAS,CAChB,EAAkB,EAClB,IAAU,EACV,KAA0B,EAC1B,OAAe,EACf,SAAiB;IAEjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkE,CAAC;IACzF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAyD;QAClE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;KACrC,CAAC;IACF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,GAAG,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QAChF,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC3C,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,KAAK,IAAI,OAAO,GAAG,CAAC;YAAE,SAAS;QACnC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,uBAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,SAAS;YACzE,yEAAyE;YACzE,uCAAuC;YACvC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC3F,IAAI,SAAS,GAAG,SAAS;gBAAE,SAAS;YACpC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAGD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,iBAAiB,CACxB,EAAkB,EAClB,IAAU,EACV,KAA0B,EAC1B,OAAe;IAEf,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkE,CAAC;IAC1F,gFAAgF;IAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+C,CAAC;IACxE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgB,CAAC;IAE1C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,IAAI,MAAM,GAAW,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,MAAM,GAAW,EAAE,CAAC;IACxB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvB,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAErC,MAAM,MAAM,GAAG,GAAkB,EAAE;QACjC,4EAA4E;QAC5E,kCAAkC;QAClC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,EAAE;YAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC;IAC1C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,IAAI,GAAG,kBAAkB;gBAAE,MAAM;YAC7C,MAAM,IAAI,GAAW,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,uBAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAE,SAAS;oBAC1E,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YAC7B,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,IAAI,QAAQ,CAAC,IAAI,GAAG,kBAAkB;gBAAE,MAAM;YAC9C,MAAM,IAAI,GAAW,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,uBAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAE,SAAS;oBAC3E,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBACzD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YAC7B,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;QACtB,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAE5B,+DAA+D;QAC/D,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,IAAI,GAAG,GAAkB,IAAI,CAAC;QAC9B,OAAO,GAAG,EAAE,CAAC;YACX,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,EAAE;gBAAE,MAAM;YACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7C,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;QAChB,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,CAAC;QAChB,0EAA0E;QAC1E,0EAA0E;QAC1E,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI;gBAAE,MAAM;YACjB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACtC,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACvE,OAAO,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CACd,MAA2E,EAC3E,MAAc;IAEd,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,GAAG,GAAkB,MAAM,CAAC;IAChC,OAAO,GAAG,EAAE,CAAC;QACX,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,EAAE;YAAE,MAAM;QACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,OAAO,EAAE,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CACpC,EAAkB,EAClB,KAAa,EACb,OAA+B,EAAE;IAEjC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;QAC1C,MAAM,IAAI,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,yBAAiB,CAAC,CAAC,CAAC,wBAAgB,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,0BAAkB,CAAC,CAAC;QAC/F,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAE5C,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YAC7B,2EAA2E;YAC3E,2EAA2E;YAC3E,6CAA6C;YAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBAC1D,IAAI,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBAChE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC9E,8DAA8D;gBAC9D,IAAI,OAAO,GAAsB,IAAI,CAAC;gBACtC,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;oBACzB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;wBAAE,OAAO,GAAG,KAAK,CAAC;gBACjE,CAAC;gBACD,IAAI,OAAO;oBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAE7E,qEAAqE;QACrE,0EAA0E;QAC1E,wEAAwE;QACxE,kEAAkE;QAClE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAAE,SAAS;YACzE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC3D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,SAAS;gBAAE,MAAM;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAgB,cAAc,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC"}