circle-ir 4.16.1 → 4.18.1

package/dist/navigation/java-graph.js

@@ -0,0 +1,466 @@
+/**
+ * Java graph facts keyed by stable ids (`java-graph@0.1`): the reach core's
+ * input for Java.
+ *
+ * - **Declarations** from `deriveJavaIds` (`ids@0.1`).
+ * - **Call edges** from the Java navigation index (`callSites`), each target
+ *   located by file and declaration line and keyed to its declaration id,
+ *   with the index's tiers. A target the ids do not hold is an unresolved
+ *   site, never dropped.
+ * - **References**: method references (`Type::m`, `this::m`, `Type::new`).
+ * - **Loads**: a member initializes its class (static initializer, fields).
+ * - **Entries** (`entry-index@0.1`): Spring and JAX-RS routes with class
+ *   prefixes, servlets and filters, Spring beans, lifecycle, scheduled and
+ *   listener methods, `main`, JUnit/TestNG tests and test files,
+ *   `Class.forName` literals and `META-INF/services` files.
+ * - **typeOnly**: interfaces, annotation types and body-less methods.
+ *
+ * Library code: no file access; the caller passes the sources (and may pass
+ * each file's IR, which must come from `analyze` with `navigationTypes`).
+ */
+import { analyze } from '../analyzer.js';
+import { disposeTree, parse } from '../core/parser.js';
+import { deriveJavaIds } from '../stable-ids/java.js';
+import { declLocator } from '../stable-ids/nodes.js';
+import { namedChildren } from '../stable-ids/normalize.js';
+import { buildNavigationIndex } from './navigation-index.js';
+import { DEFAULT_JAVA_ENTRY_TABLES } from './java-entry-tables.js';
+import { joinRoutePath } from './ts-call-edges.js';
+export const JAVA_GRAPH_SCHEME = 'java-graph@0.1';
+function importsOf(root) {
+    const out = { pkg: '', explicit: new Map(), wildcards: [] };
+    for (const c of namedChildren(root)) {
+        if (c.type === 'package_declaration') {
+            out.pkg = namedChildren(c).find(x => x.type === 'scoped_identifier' || x.type === 'identifier')?.text ?? '';
+        }
+        else if (c.type === 'import_declaration') {
+            const text = c.text.replace(/^import\s+/, '').replace(/;$/, '').replace(/\s+/g, '');
+            if (text.startsWith('static'))
+                continue;
+            if (text.endsWith('.*'))
+                out.wildcards.push(text.slice(0, -2));
+            else
+                out.explicit.set(text.slice(text.lastIndexOf('.') + 1), text.slice(0, text.lastIndexOf('.')));
+        }
+    }
+    return out;
+}
+function annotationsOf(node, imports) {
+    const mods = namedChildren(node).find(c => c.type === 'modifiers');
+    const out = [];
+    for (const a of mods ? namedChildren(mods) : []) {
+        if (a.type !== 'annotation' && a.type !== 'marker_annotation')
+            continue;
+        const nameNode = a.childForFieldName('name');
+        if (!nameNode)
+            continue;
+        const written = nameNode.text;
+        const dot = written.lastIndexOf('.');
+        const name = dot >= 0 ? written.slice(dot + 1) : written;
+        const pkg = dot >= 0 ? written.slice(0, dot) : imports.explicit.get(name) ?? null;
+        const args = new Map();
+        const list = a.childForFieldName('arguments');
+        for (const arg of list ? namedChildren(list) : []) {
+            if (arg.type === 'element_value_pair') {
+                const k = arg.childForFieldName('key')?.text;
+                const v = arg.childForFieldName('value');
+                if (k && v)
+                    args.set(k, v);
+            }
+            else
+                args.set('value', arg);
+        }
+        out.push({ name, pkg, wildcards: pkg === null ? imports.wildcards : [], args });
+    }
+    return out;
+}
+/** How sure the annotation is the one a table row names. */
+function certaintyOf(a, packages) {
+    if (a.pkg !== null)
+        return packages.includes(a.pkg) ? 'declared' : null;
+    if (a.wildcards.some(w => packages.includes(w)))
+        return 'declared';
+    return 'inferred';
+}
+function stringsOf(node) {
+    if (!node)
+        return [];
+    if (node.type === 'string_literal')
+        return [namedChildren(node).map(c => c.text).join('')];
+    if (node.type === 'element_value_array_initializer')
+        return namedChildren(node).flatMap(c => stringsOf(c));
+    return [];
+}
+function namesOf(node) {
+    if (!node)
+        return [];
+    if (node.type === 'element_value_array_initializer')
+        return namedChildren(node).flatMap(c => namesOf(c));
+    return [node.text.slice(node.text.lastIndexOf('.') + 1)];
+}
+function pathsOf(a, keys = ['value', 'path']) {
+    if (!a)
+        return [''];
+    for (const k of keys) {
+        const v = stringsOf(a.args.get(k));
+        if (v.length > 0)
+            return v;
+    }
+    return [''];
+}
+function declAt(ctx, node, kind) {
+    return (ctx.byLine.get(String(node.startPosition.row + 1)) ?? []).find(d => d.kind === kind && d.start_column === node.startPosition.column);
+}
+class JavaGraphBuilder {
+    files;
+    tables;
+    entries = [];
+    references = [];
+    unresolved = [];
+    unresolvedRegistrations = [];
+    typeOnly = new Set();
+    typesBySimple = new Map();
+    typesByQname = new Map();
+    constructor(files, tables) {
+        this.files = files;
+        this.tables = tables;
+        for (const f of files) {
+            for (const d of f.ids.decls) {
+                if (d.kind !== 'type' || d.flags.includes('unstable:anonymous'))
+                    continue;
+                const list = this.typesBySimple.get(d.name) ?? [];
+                list.push(d);
+                this.typesBySimple.set(d.name, list);
+                this.typesByQname.set(d.qualified_name, d);
+            }
+        }
+    }
+    entry(d, kind, certainty, file, evidence, extra = {}) {
+        this.entries.push({ id: d.id, kind, certainty, file, line: d.start_line, evidence, ...extra });
+    }
+    members(type, ctx) {
+        return ctx.ids.decls.filter(d => d.parent === type.id);
+    }
+    scan(ctx) {
+        const isTestFile = this.tables.testFile.test(ctx.path);
+        if (isTestFile)
+            this.entry(ctx.ids.decls[0], 'test', 'conventional', ctx.path, 'test source file');
+        const visit = (node) => {
+            const t = node.type;
+            if (t === 'class_declaration' || t === 'interface_declaration' || t === 'enum_declaration' || t === 'record_declaration' || t === 'annotation_type_declaration') {
+                this.typeDeclaration(ctx, node);
+            }
+            else if (t === 'method_reference') {
+                this.methodReference(ctx, node);
+            }
+            else if (t === 'method_invocation') {
+                this.forName(ctx, node);
+            }
+            for (const c of namedChildren(node))
+                visit(c);
+        };
+        visit(ctx.tree.rootNode);
+    }
+    typeDeclaration(ctx, node) {
+        const type = declAt(ctx, node, 'type');
+        if (!type)
+            return;
+        if (node.type === 'interface_declaration' || node.type === 'annotation_type_declaration')
+            this.typeOnly.add(type.id);
+        const classAnns = annotationsOf(node, ctx.imports);
+        // Class-level entries (beans).
+        for (const row of this.tables.annotations) {
+            if (row.on !== 'class')
+                continue;
+            for (const a of classAnns) {
+                if (!row.names.includes(a.name))
+                    continue;
+                const c = certaintyOf(a, row.packages);
+                if (!c)
+                    continue;
+                const ctors = this.members(type, ctx).filter(d => d.kind === 'method' && d.name === 'constructor');
+                for (const target of ctors.length > 0 ? ctors : [type])
+                    this.entry(target, row.kind, c, ctx.path, `@${a.name}`, { framework: a.pkg ?? row.packages[0] });
+            }
+        }
+        // Servlets and filters, by supertype.
+        const supers = [
+            node.childForFieldName('superclass'),
+            node.childForFieldName('interfaces'),
+        ].flatMap(n => (n ? n.text.replace(/^(extends|implements)\s+/, '').split(',') : [])).map(s => s.replace(/<.*$/s, '').trim());
+        const servlets = this.tables.servlets.filter(row => supers.some(s => {
+            const simple = s.slice(s.lastIndexOf('.') + 1);
+            if (simple !== row.supertype)
+                return false;
+            const pkg = s.includes('.') ? s.slice(0, s.lastIndexOf('.')) : ctx.imports.explicit.get(simple) ?? null;
+            return pkg === null ? ctx.imports.wildcards.some(w => row.packages.includes(w)) : row.packages.includes(pkg);
+        }));
+        const body = node.childForFieldName('body');
+        const methodNodes = body ? namedChildren(body).filter(m => m.type === 'method_declaration' || m.type === 'annotation_type_element_declaration') : [];
+        for (const row of servlets) {
+            const ann = classAnns.find(a => a.name === row.pathAnnotation);
+            const paths = ann ? pathsOf(ann, ['value', 'urlPatterns']) : [];
+            for (const m of methodNodes) {
+                const name = m.childForFieldName('name')?.text ?? '';
+                const verb = row.methods[name];
+                const d = declAt(ctx, m, 'method');
+                if (!verb || !d)
+                    continue;
+                if (verb === 'lifecycle') {
+                    this.entry(d, 'lifecycle', 'declared', ctx.path, `${row.supertype}.${name}`, { framework: row.framework });
+                    continue;
+                }
+                for (const p of paths.length > 0 ? paths : [undefined]) {
+                    const extra = { framework: row.framework, method: verb };
+                    if (p !== undefined)
+                        extra.path = joinRoutePath([p]);
+                    if (row.surface)
+                        extra.surface = row.surface;
+                    this.entry(d, 'route', 'declared', ctx.path, `${row.supertype}.${name}`, extra);
+                }
+            }
+        }
+        // Method-level entries.
+        for (const m of methodNodes) {
+            const d = declAt(ctx, m, 'method');
+            if (!d)
+                continue;
+            if (!m.childForFieldName('body'))
+                this.typeOnly.add(d.id);
+            if (node.type === 'annotation_type_declaration')
+                this.typeOnly.add(d.id);
+            const anns = annotationsOf(m, ctx.imports);
+            this.routes(ctx, d, anns, classAnns);
+            for (const row of this.tables.annotations) {
+                if (row.on !== 'method')
+                    continue;
+                for (const a of anns) {
+                    if (!row.names.includes(a.name))
+                        continue;
+                    const c = certaintyOf(a, row.packages);
+                    if (c)
+                        this.entry(d, row.kind, c, ctx.path, `@${a.name}`, { framework: a.pkg ?? row.packages[0] });
+                }
+            }
+            if (this.isMain(m))
+                this.entry(d, 'main', 'declared', ctx.path, 'public static void main(String[])');
+        }
+    }
+    isMain(m) {
+        if (m.childForFieldName('name')?.text !== 'main')
+            return false;
+        const mods = namedChildren(m).find(c => c.type === 'modifiers')?.text ?? '';
+        if (!/\bstatic\b/.test(mods) || !/\bpublic\b/.test(mods) || m.childForFieldName('type')?.text !== 'void')
+            return false;
+        const params = m.childForFieldName('parameters');
+        const ps = params ? namedChildren(params) : [];
+        return ps.length === 1 && /^(?:final\s+)?(?:java\.lang\.)?String\s*(?:\[\s*\]|\.\.\.)/.test(ps[0].text.replace(/@\w+\s*/g, ''));
+    }
+    routes(ctx, d, anns, classAnns) {
+        for (const row of this.tables.routes) {
+            for (const a of anns) {
+                if (!(a.name in row.verbs))
+                    continue;
+                const c = certaintyOf(a, row.packages);
+                if (!c)
+                    continue;
+                let methods;
+                const verb = row.verbs[a.name];
+                if (verb === null) {
+                    methods = namesOf(a.args.get('method'));
+                    if (methods.length === 0)
+                        methods = ['ANY'];
+                }
+                else
+                    methods = [verb];
+                // JAX-RS carries the path on a separate annotation; Spring on the verb annotation.
+                const own = verb !== null && row.pathAnnotation && !a.args.size ? anns.find(x => x.name === row.pathAnnotation) : a;
+                const ownPaths = own === a ? pathsOf(a) : own ? pathsOf(own) : [''];
+                const prefixAnn = row.pathAnnotation ? classAnns.find(x => x.name === row.pathAnnotation) : undefined;
+                const prefixes = pathsOf(prefixAnn);
+                for (const prefix of prefixes) {
+                    for (const p of ownPaths) {
+                        for (const method of methods) {
+                            this.entry(d, 'route', c, ctx.path, `@${a.name}`, { framework: row.framework, method: method.toUpperCase(), path: joinRoutePath([prefix, p]) });
+                        }
+                    }
+                }
+            }
+        }
+    }
+    methodReference(ctx, node) {
+        const parts = namedChildren(node);
+        const target = parts[0];
+        const last = parts[parts.length - 1];
+        const isNew = node.text.trimEnd().endsWith('::new');
+        const name = isNew ? 'constructor' : last?.text ?? '';
+        const site = { file: ctx.path, line: node.startPosition.row + 1, col: node.startPosition.column };
+        const from = (ctx.locate(site.line, site.col) ?? ctx.ids.decls[0]).id;
+        let types = [];
+        if (target?.type === 'this' || target?.type === 'super') {
+            // The enclosing class's own methods (an inherited one is reached through the call graph's types).
+            let enclosing = ctx.locate(site.line, site.col);
+            while (enclosing && enclosing.kind !== 'type')
+                enclosing = ctx.ids.decls.find(d => d.id === enclosing?.parent) ?? null;
+            if (enclosing)
+                types = [enclosing];
+        }
+        else if (target && (target.type === 'identifier' || target.type === 'type_identifier' || target.type === 'scoped_type_identifier' || target.type === 'generic_type')) {
+            const simple = target.text.replace(/<.*$/s, '').split('.').pop() ?? '';
+            const fqnPkg = ctx.imports.explicit.get(simple);
+            const all = this.typesBySimple.get(simple) ?? [];
+            const exact = fqnPkg ? all.filter(t => t.qualified_name === `${fqnPkg}:${simple}`) : all.filter(t => t.qualified_name.startsWith(`${ctx.imports.pkg || '<default>'}:`));
+            types = exact.length > 0 ? exact : all;
+        }
+        const targets = types.flatMap(t => this.files.flatMap(f => f.ids.decls.filter(d => d.parent === t.id && d.kind === 'method' && d.name === name)));
+        if (isNew && targets.length === 0)
+            targets.push(...types);
+        if (targets.length === 0) {
+            this.unresolved.push({ from, methodName: name, site, reason: 'dynamic', evidence: 'method reference not tied to a declaration' });
+            return;
+        }
+        for (const d of targets)
+            if (d.id !== from)
+                this.references.push({ from, to: d.id, site });
+    }
+    forName(ctx, node) {
+        if (node.childForFieldName('name')?.text !== 'forName' || node.childForFieldName('object')?.text.replace(/^java\.lang\./, '') !== 'Class')
+            return;
+        const args = node.childForFieldName('arguments');
+        const first = args ? namedChildren(args)[0] : undefined;
+        const site = { file: ctx.path, line: node.startPosition.row + 1, col: node.startPosition.column };
+        if (first?.type !== 'string_literal') {
+            this.unresolvedRegistrations.push({ site, reason: 'handler-unresolved', evidence: 'Class.forName with a computed name' });
+            return;
+        }
+        this.reflect(stringsOf(first)[0] ?? '', ctx.path, 'Class.forName');
+    }
+    reflect(fqn, file, evidence) {
+        const clean = fqn.trim().replace(/\$/g, '.');
+        // `a.b.Outer.Inner`: try each split point between package and type path.
+        const segs = clean.split('.');
+        for (let i = segs.length - 1; i >= 0; i--) {
+            const t = this.typesByQname.get(`${segs.slice(0, i).join('.') || '<default>'}:${segs.slice(i).join('.')}`);
+            if (t) {
+                this.entry(t, 'reflection', 'declared', file, evidence);
+                return;
+            }
+        }
+    }
+}
+/** Java graph facts for a set of files. Deterministic: the same files give the same graph. */
+export async function buildJavaGraph(files, options = {}) {
+    const tables = options.entryTables ?? DEFAULT_JAVA_ENTRY_TABLES;
+    const sorted = [...files].filter(f => f.path.endsWith('.java')).sort((a, b) => (a.path < b.path ? -1 : a.path > b.path ? 1 : 0));
+    const ctxs = [];
+    const irs = [];
+    const trees = [];
+    try {
+        for (const f of sorted) {
+            const tree = await parse(f.code, 'java');
+            trees.push(tree);
+            const ids = deriveJavaIds(tree, f.path);
+            const byLine = new Map();
+            for (const d of ids.decls) {
+                const list = byLine.get(String(d.start_line)) ?? [];
+                list.push(d);
+                byLine.set(String(d.start_line), list);
+            }
+            ctxs.push({ path: f.path, tree, ids, imports: importsOf(tree.rootNode), locate: declLocator(ids), byLine });
+            irs.push({ path: f.path, code: f.code, ir: f.ir ?? await analyze(f.code, f.path, 'java', { navigationTypes: true }) });
+        }
+        const b = new JavaGraphBuilder(ctxs, tables);
+        for (const ctx of ctxs)
+            b.scan(ctx);
+        for (const s of options.serviceFiles ?? []) {
+            for (const line of s.text.split('\n')) {
+                const fqn = line.replace(/#.*$/, '').trim();
+                if (fqn)
+                    b.reflect(fqn, s.path, 'META-INF/services');
+            }
+        }
+        for (const m of options.mainFiles ?? []) {
+            const ctx = ctxs.find(c => c.path === m);
+            if (ctx)
+                b.entries.push({ id: ctx.ids.decls[0].id, kind: 'main', certainty: 'declared', file: ctx.path, line: 1, evidence: 'program file given by the caller' });
+        }
+        // Call edges from the navigation index, keyed to declaration ids.
+        const index = buildNavigationIndex(irs.map(f => ({ path: f.path, language: 'java', ir: f.ir, source: f.code })));
+        const byPath = new Map(ctxs.map(c => [c.path, c]));
+        const keyOf = (t) => {
+            const ctx = byPath.get(t.file);
+            const at = ctx?.byLine.get(String(t.line)) ?? [];
+            if (t.type)
+                return at.find(d => d.kind === 'type' && d.name === t.name);
+            const name = t.name === '<init>' ? 'constructor' : t.name;
+            return at.find(d => d.kind === 'method' && d.name === name);
+        };
+        const edges = [];
+        const sites = index.callSites();
+        for (const s of sites) {
+            const ctx = byPath.get(s.site.file);
+            if (!ctx)
+                continue;
+            const site = s.site;
+            const from = (ctx.locate(site.line, site.col) ?? ctx.ids.decls[0]).id;
+            if (s.kind === 'unresolved') {
+                b.unresolved.push({ from, methodName: s.methodName, site, reason: s.reason, evidence: 'navigation index', ...(s.receiver ? { receiver: s.receiver } : {}) });
+                continue;
+            }
+            const declaring = keyOf(s.declaring);
+            const targets = s.tier === 'polymorphic'
+                ? [...new Map([...(declaring ? [declaring] : []), ...s.bodies.map(keyOf).filter((d) => d !== undefined)].map(d => [d.id, d])).values()]
+                : declaring ? [declaring] : [];
+            if (targets.length === 0) {
+                b.unresolved.push({ from, methodName: s.methodName, site, reason: 'unknown', evidence: `${s.declaring.fqn} not tied to a declaration` });
+                continue;
+            }
+            for (const t of targets) {
+                const e = { from, to: t.id, tier: s.tier, methodName: s.methodName, site, evidence: 'navigation index' };
+                if (s.tier === 'polymorphic' && declaring && t.id !== declaring.id)
+                    e.via = declaring.id;
+                edges.push(e);
+            }
+        }
+        // A member initializes its class.
+        const loads = [];
+        for (const ctx of ctxs) {
+            const types = new Set(ctx.ids.decls.filter(d => d.kind === 'type').map(d => d.id));
+            for (const d of ctx.ids.decls)
+                if (d.parent !== null && types.has(d.parent) && d.kind !== 'type')
+                    loads.push({ from: d.id, to: d.parent });
+        }
+        const cmp = (a, c) => (a < c ? -1 : a > c ? 1 : 0);
+        const bySite = (x, y) => cmp(x.site.file, y.site.file) || x.site.line - y.site.line || x.site.col - y.site.col;
+        const seen = new Set();
+        const entries = [...b.entries]
+            .sort((x, y) => cmp(x.file, y.file) || x.line - y.line || cmp(x.id, y.id) || cmp(x.kind, y.kind) || cmp(x.path ?? '', y.path ?? '') || cmp(x.method ?? '', y.method ?? ''))
+            .filter(e => {
+            const k = `${e.id}|${e.kind}|${e.method ?? ''}|${e.path ?? ''}`;
+            if (seen.has(k))
+                return false;
+            seen.add(k);
+            return true;
+        });
+        return {
+            scheme: JAVA_GRAPH_SCHEME,
+            ids: 'ids@0.1',
+            files: ctxs.map(c => c.ids),
+            edges: edges.sort((x, y) => bySite(x, y) || cmp(x.to, y.to)),
+            unresolved: [...b.unresolved].sort(bySite),
+            references: [...b.references].sort((x, y) => bySite(x, y) || cmp(x.to, y.to)),
+            loads,
+            entryScheme: 'entry-index@0.1',
+            entries,
+            unresolvedRegistrations: [...b.unresolvedRegistrations].sort(bySite),
+            partial: ctxs.filter(c => c.ids.partial).map(c => c.path),
+            typeOnly: [...b.typeOnly].sort(),
+            sites: sites.filter(s => byPath.has(s.site.file)).length,
+        };
+    }
+    finally {
+        for (const t of trees)
+            disposeTree(t);
+    }
+}
+//# sourceMappingURL=java-graph.js.map

package/dist/navigation/java-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"java-graph.js","sourceRoot":"","sources":["../../src/navigation/java-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAwB,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D,OAAO,EAAE,oBAAoB,EAAsB,MAAM,uBAAuB,CAAC;AACjF,OAAO,EAAE,yBAAyB,EAAwB,MAAM,wBAAwB,CAAC;AAGzF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,gBAAyB,CAAC;AAqD3D,SAAS,SAAS,CAAC,IAAU;IAC3B,MAAM,GAAG,GAAY,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACrC,GAAG,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QAC9G,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACpF,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;;gBAC1D,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,OAAgB;IACjD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACnE,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QACxE,MAAM,QAAQ,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACzD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAgB,CAAC;QACrC,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAClD,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;gBAC7C,MAAM,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC;;gBAAM,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4DAA4D;AAC5D,SAAS,WAAW,CAAC,CAAa,EAAE,QAA2B;IAC7D,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC;IACnE,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,IAAsB;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,iCAAiC;QAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3G,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,OAAO,CAAC,IAAsB;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,iCAAiC;QAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACzG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,OAAO,CAAC,CAAyB,EAAE,IAAI,GAAsB,CAAC,OAAO,EAAE,MAAM,CAAC;IACrF,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAcD,SAAS,MAAM,CAAC,GAAY,EAAE,IAAU,EAAE,IAAwB;IAChE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,YAAY,KAAK,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;AAC/I,CAAC;AAED,MAAM,gBAAgB;IASS,KAAK;IAA8B,MAAM;IAR7D,OAAO,GAAc,EAAE,CAAC;IACxB,UAAU,GAAoB,EAAE,CAAC;IACjC,UAAU,GAAqB,EAAE,CAAC;IAClC,uBAAuB,GAA6B,EAAE,CAAC;IACvD,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACrB,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,YAAY,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE9D,YAA6B,KAAgB,EAAmB,MAAuB;qBAA1D,KAAK;sBAA8B,MAAM;QACpE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC;oBAAE,SAAS;gBAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,CAAa,EAAE,IAAe,EAAE,SAAyB,EAAE,IAAY,EAAE,QAAgB,EAAE,KAAK,GAAqB,EAAE;QACnI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACjG,CAAC;IAEO,OAAO,CAAC,IAAgB,EAAE,GAAY;QAC5C,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,CAAC,GAAY;QACf,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,UAAU;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QACnG,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,uBAAuB,IAAI,CAAC,KAAK,kBAAkB,IAAI,CAAC,KAAK,oBAAoB,IAAI,CAAC,KAAK,6BAA6B,EAAE,CAAC;gBAChK,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,CAAC;iBAAM,IAAI,CAAC,KAAK,kBAAkB,EAAE,CAAC;gBACpC,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,CAAC;iBAAM,IAAI,CAAC,KAAK,mBAAmB,EAAE,CAAC;gBACrC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC1B,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAEO,eAAe,CAAC,GAAY,EAAE,IAAU;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,IAAI,IAAI,CAAC,IAAI,KAAK,6BAA6B;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrH,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnD,+BAA+B;QAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAI,GAAG,CAAC,EAAE,KAAK,OAAO;gBAAE,SAAS;YACjC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACjB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;gBACnG,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3J,CAAC;QACH,CAAC;QACD,sCAAsC;QACtC,MAAM,MAAM,GAAG;YACb,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC;YACpC,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC;SACrC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7H,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;YAClE,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,GAAG,CAAC,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACxG,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/G,CAAC,CAAC,CAAC,CAAC;QACJ,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,qCAAqC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrJ,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,cAAc,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;oBAAE,SAAS;gBAC1B,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;oBACzB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,SAAS,IAAI,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC3G,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;oBACvD,MAAM,KAAK,GAAqB,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;oBAC3E,IAAI,CAAC,KAAK,SAAS;wBAAE,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrD,IAAI,GAAG,CAAC,OAAO;wBAAE,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;oBAC7C,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,SAAS,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;QACH,CAAC;QACD,wBAAwB;QACxB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,6BAA6B;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzE,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBAC1C,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ;oBAAE,SAAS;gBAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACvC,IAAI,CAAC;wBAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrG,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,CAAO;QACpB,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;QAC5E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QACvH,MAAM,MAAM,GAAG,CAAC,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,4DAA4D,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;IAClI,CAAC;IAEO,MAAM,CAAC,GAAY,EAAE,CAAa,EAAE,IAAkB,EAAE,SAAuB;QACrF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACrC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACjB,IAAI,OAAiB,CAAC;gBACtB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC;;oBAAM,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxB,mFAAmF;gBACnF,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpH,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpE,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtG,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;gBACpC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;wBACzB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;4BAC7B,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBAClJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,GAAY,EAAE,IAAU;QAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QAChH,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,IAAI,KAAK,GAAiB,EAAE,CAAC;QAC7B,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YACxD,kGAAkG;YAClG,IAAI,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAChD,OAAO,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC;YACvH,IAAI,SAAS;gBAAE,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,EAAE,CAAC;YACvK,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC;YACxK,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QACzC,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;QAClJ,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,4CAA4C,EAAE,CAAC,CAAC;YAClI,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAEO,OAAO,CAAC,GAAY,EAAE,IAAU;QACtC,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,KAAK,OAAO;YAAE,OAAO;QAClJ,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QAChH,IAAI,KAAK,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACrC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oCAAoC,EAAE,CAAC,CAAC;YAC1H,OAAO;QACT,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,CAAC,GAAW,EAAE,IAAY,EAAE,QAAgB;QACjD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7C,yEAAyE;QACzE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3G,IAAI,CAAC,EAAE,CAAC;gBACN,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACxD,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAAgC,EAAE,OAAO,GAAqB,EAAE;IACnG,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,IAAI,yBAAyB,CAAC;IAChE,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjI,MAAM,IAAI,GAAc,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAmD,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;gBACpD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5G,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YAC3C,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5C,IAAI,GAAG;oBAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YACzC,IAAI,GAAG;gBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,kCAAkC,EAAE,CAAC,CAAC;QACnK,CAAC;QAED,kEAAkE;QAClE,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAe,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1H,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,CAAC,CAAgB,EAA0B,EAAE;YACzD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1D,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC;QACF,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,IAAI,GAAiB,CAAC,CAAC,IAAI,CAAC;YAClC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC7J,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,aAAa;gBACtC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;gBACxJ,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,4BAA4B,EAAE,CAAC,CAAC;gBACzI,SAAS;YACX,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAa,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;gBACnH,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE;oBAAE,CAAC,CAAC,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC;gBACzF,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,MAAM,KAAK,GAAmC,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK;gBAAE,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7I,CAAC;QAED,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,MAAM,GAAG,CAAC,CAAyB,EAAE,CAAyB,EAAU,EAAE,CAC9E,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACxF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;aAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;aAC1K,MAAM,CAAC,CAAC,CAAC,EAAE;YACV,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAChE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACL,OAAO;YACL,MAAM,EAAE,iBAAiB;YACzB,GAAG,EAAE,SAAS;YACd,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1C,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7E,KAAK;YACL,WAAW,EAAE,iBAAiB;YAC9B,OAAO;YACP,uBAAuB,EAAE,CAAC,GAAG,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YACpE,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACzD,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;YAChC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;SACzD,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;AACH,CAAC"}

package/dist/navigation/navigation-index.d.ts

@@ -48,7 +48,7 @@
  * or absent, and `inferred` is a permanent floor — see `Tier`.
  */
 import type { CircleIR, SupportedLanguage } from '../types/index.js';
-import type { NavigationAnswer, Query, QueryKind, QueryOptions } from './types.js';
+import type { NavigationAnswer, Query, QueryKind, QueryOptions, Tier, UnresolvedReason } from './types.js';
 /** One file's input to the index. `ir` must come from `analyze` with `navigationTypes`. */
 export interface NavigationFile {
     path: string;
@@ -78,6 +78,40 @@ export interface BuildOptions {
     /** Wall time the caller spent parsing, so `timing.parseMs` is not a guess. */
     parseMs?: number;
 }
+/** A call target located by file and declaration line (`callSites`). */
+export interface IndexedTarget {
+    file: string;
+    /** The declaration's first line (annotations included), as the IR reports it. */
+    line: number;
+    name: string;
+    fqn: string;
+    /** The target is the type itself (a constructor it does not declare). */
+    type?: true;
+}
+/** One call site, bound or not (`callSites`). */
+export type IndexedCallSite = {
+    site: {
+        file: string;
+        line: number;
+        col: number;
+    };
+    methodName: string;
+    kind: 'bound';
+    tier: Tier;
+    declaring: IndexedTarget;
+    bodies: IndexedTarget[];
+} | {
+    site: {
+        file: string;
+        line: number;
+        col: number;
+    };
+    methodName: string;
+    kind: 'unresolved';
+    reason: UnresolvedReason;
+    /** `external` sites: the type outside the tree the call lands on, qualified through the file's imports where they say. */
+    receiver?: string;
+};
 export declare function buildNavigationIndex(files: NavigationFile[], options?: BuildOptions): NavigationIndex;
 export declare class NavigationIndex {
     private readonly files;
@@ -113,6 +147,22 @@ export declare class NavigationIndex {
     resolveCallers(query: Query, opts?: QueryOptions): NavigationAnswer;
     /** Every call made from inside `symbol`'s body, bound the same way. */
     resolveCallees(query: Query, opts?: QueryOptions): NavigationAnswer;
+    /**
+     * Every call site in the index, bound — the whole-program view of what
+     * `resolveCallees` answers one method at a time, with each target located
+     * by file and declaration line so a caller can key it to its own
+     * declaration ids. Additive: no query path changes.
+     *
+     * A `bound` site names the member its receiver's static type declares
+     * (`declaring`) and, on `polymorphic`, every body that could run
+     * (`bodies`, the overload with the declaring member's signature where it
+     * has one). Anything else is `unresolved` with the same reason a query
+     * would give.
+     */
+    callSites(): IndexedCallSite[];
+    /** The type outside the tree an `external` site lands on: its receiver, the constructed type, or a static import's owner. */
+    private foreignTypeOf;
+    private targetOf;
     /**
      * The symbol a call site names, so a caller holding a line of code can ask
      * the same question as a caller holding a name.
@@ -156,6 +206,9 @@ export declare class NavigationIndex {
      * the first; what runs there is a subclass's body or a lambda, never the
      * member named. The target stays the declaring member, which is what a
      * static resolver answers; only the tier changes.
+     *
+     * A `super.m()` call is not dispatched: it runs the body it names, whatever
+     * overrides it below.
      */
     private tierFor;
     /** `new Widget()` → `app.Widget.<init>`, with the constructor chosen like any overload. */
@@ -226,8 +279,44 @@ export declare class NavigationIndex {
     private typeRef;
     /** Whether overload `o` of `owner` is what a query's parameter list names. */
     private signatureMatches;
-    /** Same name and same erased parameter types: one overrides the other. */
+    /** Whether a declared parameter type is the one a query wrote. */
+    private sameAsWritten;
+    /**
+     * Same name and same parameter types: one overrides the other, as the
+     * compiler decides it. Within one type that is the erasure, which the
+     * compiler requires to differ between two declarations. Between a type and
+     * its supertype, the supertype's parameter types are first read through the
+     * subtype's supertype clauses — `Fn<T>.apply(T)` is `apply(String)` to a
+     * class implementing `Fn<String>`, and `apply(T)` to one implementing
+     * `Fn<T>`, which then does not override it with `apply(Collection<T>)` —
+     * and the erasures compared. Between types neither of which is known to
+     * extend the other, a type variable still matches whatever its erasure
+     * admits.
+     */
     private sameErasure;
+    /** Whether `sub`'s declaration has `sup`'s parameter types as `sub`'s type sees them, erased. */
+    private overridesBySubstitution;
+    /** A candidate's parameter types, each type variable carrying its erasure. */
+    private paramRefs;
+    /**
+     * `c`'s parameter types as a call on `self` — the enclosing type, as an
+     * implicit, `this.` or `super.` receiver — sees them: a variable of the
+     * declaring type is that of `self` when `self` declares it, and what
+     * `self`'s supertype clauses fill it with when it is inherited
+     * (`Lru extends Base<String>` makes `Base<K>.put(K)` a `put(String)`).
+     */
+    private paramRefsFrom;
+    /**
+     * An argument's written type at a call site: a type variable of the
+     * enclosing method or type carries its erasure.
+     */
+    private callSiteRef;
+    /** One written parameter (or return) type of `c`, from its declaring file's point of view. */
+    private paramRef;
+    /** A written type, with the erasure `eraseWritten` found for it when it is a type variable. */
+    private withErasure;
+    /** The type variables visible in a member of `owner` (`overload`), innermost first. */
+    private scopeOf;
     /**
      * How a site bound to `owner.overload` reaches `target`'s overload, if it
      * does: through a supertype's declaration the target overrides, or by