code-auditor-mcp 4.1.0 → 5.0.1

package/dist/analyzers/receiverResolution.js

@@ -0,0 +1,540 @@
+/**
+ * Shared receiver-resolution helpers for the phase model — Spec 69 §10 (S1).
+ *
+ * The full cross-file resolver that once lived here (a layered fixed point
+ * ending in `resolveCorpusReceivers`) has been deleted: the phase model
+ * (`runPhaseModel` → `computeReceiverProvenance` / `classifyBuildProvenance`)
+ * is the only live resolution surface. What remains is the shared, format-free
+ * machinery that resolution surface is built from:
+ *
+ *   • module shape — `collectExports` / `resolveSpecifier` (in-repo specifier
+ *     resolution without a name-list fallback), and the `FileProvenance` /
+ *     `FileExports` / `UnresolvedImport` types the phase files carry.
+ *   • within-file provenance — `computeTsWithinFileProvenance`, the fixed-point
+ *     seed for the phase model's `within-file-provenance` file producer (Spec 70
+ *     Item 4) and the byte-identical parity reference pinned by
+ *     `spec70-ts-within-file-parity.spec.ts`.
+ *   • the three-way disposition — `isProvablyNonDbDeclaration` (the
+ *     proven-not-a-handle gate) and `describeUnprovenReceiver` /
+ *     `describeReceiverClause` (the cannot-fire surface), shared by both the
+ *     TS and Go classifiers in one function instead of the four historical
+ *     copies.
+ *
+ * A receiver whose DB-ness cannot be resolved is never silently provenanced; it
+ * is surfaced as an `UnprovenQueryReceiver` and reported `cannot-fire`, never
+ * `clean` (§10 coverage parity).
+ */
+import { extractDBProvenancedImports, propagateProvenance, detectDbWrappers, detectDbReturningFunctions, } from './provenance.js';
+import { buildBindingEnv, classifyRootIdentifier, } from './receiverRoot.js';
+import { parseFile, getNodeText } from '../languages/adapterBridge.js';
+import path from 'node:path';
+import { existsSync, readFileSync } from 'node:fs';
+/** The set of extensions tried when resolving an extension-less specifier. */
+const RESOLVE_EXTENSIONS = [
+    '.ts',
+    '.tsx',
+    '.js',
+    '.jsx',
+    '.mjs',
+    '.cjs',
+    '.d.ts',
+];
+const INDEX_BASENAMES = RESOLVE_EXTENSIONS.map((ext) => `index${ext}`);
+/** Declaration node types an `export` statement may wrap. */
+const EXPORT_DECLARATION_TYPES = new Set([
+    'class_declaration',
+    'abstract_class_declaration',
+    'function_declaration',
+    'generator_function_declaration',
+    'lexical_declaration',
+    'variable_declaration',
+    'interface_declaration',
+    'enum_declaration',
+    'type_alias_declaration',
+]);
+/** Iterate an AST subtree (inclusive) for nodes matching a predicate. */
+function collectNodes(root, adapter, pred) {
+    const out = [];
+    const walk = (n) => {
+        if (pred(n))
+            out.push(n);
+        for (const c of adapter.getChildren(n))
+            walk(c);
+    };
+    walk(root);
+    return out;
+}
+/** The text of the first identifier/property_identifier descendant. */
+function firstIdentifierText(node, adapter, sourceCode) {
+    const id = collectNodes(node, adapter, (n) => n.type === 'identifier' || n.type === 'property_identifier')[0];
+    return id ? adapter.getNodeText(id, sourceCode) : null;
+}
+/** Strip surrounding quotes from a string-literal node text. */
+function unquote(text) {
+    if (text.length >= 2 && (text[0] === '"' || text[0] === "'" || text[0] === '`')) {
+        return text.slice(1, -1);
+    }
+    return text;
+}
+/**
+ * Collect a file's full export set — names, default flag, and re-export source.
+ *
+ * More complete than `adapter.extractExports` (which returns only the first
+ * named export per `export { a, b }` statement and misses `export * from`):
+ *   1. `export const/class/function X` and `export default X` → name.
+ *   2. `export { a, b }` / `export { a, b } from './x'` → each specifier name.
+ *   3. `export * from './x'` → the special `*` name with its source.
+ *
+ * @param ast the parsed file AST
+ * @param adapter the language adapter used to find `export_statement` nodes
+ * @param sourceCode the file source text for reading node text
+ * @returns every exported name with its re-export source and default flag
+ */
+export function collectExports(ast, adapter, sourceCode) {
+    const out = [];
+    const stmts = adapter.findNodes(ast, { custom: (n) => n.type === 'export_statement' });
+    for (const stmt of stmts) {
+        const children = adapter.getChildren(stmt);
+        const isDefault = children.some((c) => c.type === 'default' || adapter.getNodeText(c, sourceCode) === 'default');
+        // Re-export source (string literal) — export { … } from '…' / export * from '…'.
+        const sourceChild = children.find((c) => c.type === 'string' || c.type === 'string_fragment' || c.type === 'template_string');
+        const source = sourceChild ? unquote(adapter.getNodeText(sourceChild, sourceCode)) : undefined;
+        // Named export specifiers.
+        const specifiers = collectNodes(stmt, adapter, (n) => n.type === 'export_specifier');
+        for (const spec of specifiers) {
+            const name = firstIdentifierText(spec, adapter, sourceCode);
+            if (name)
+                out.push({ name, source, isDefault: false });
+        }
+        // A declaration wrapped by export.
+        const decl = children.find((c) => EXPORT_DECLARATION_TYPES.has(c.type));
+        if (decl) {
+            const name = adapter.getNodeName(decl);
+            if (name)
+                out.push({ name, source, isDefault });
+            continue;
+        }
+        // `export default <identifier>` (no declaration).
+        if (isDefault) {
+            const value = children.find((c) => c.type === 'identifier');
+            if (value)
+                out.push({ name: adapter.getNodeText(value, sourceCode), source, isDefault: true });
+        }
+        // `export * from '…'`.
+        const star = children.some((c) => adapter.getNodeText(c, sourceCode) === '*');
+        if (star && source)
+            out.push({ name: '*', source, isDefault: false });
+    }
+    return out;
+}
+/**
+ * Resolve an import specifier through the one specifier-resolution seam (Spec 70
+ * B1). Four specifier kinds answer here:
+ *   • relative (`./x`, `../x`) — resolved against the importer's directory.
+ *   • `@/`/`~/` alias — mapped against `projectRoot`, then its `src`/`app`.
+ *   • bare — a bare specifier matching a tsconfig-`paths` pattern maps to an
+ *     in-repo file; otherwise it resolves to a node_modules vendor declaration
+ *     (`.d.ts` / `package.json` `types`) when one exists.
+ *   • nothing else resolves → `unresolved`.
+ *
+ * @param specifier the import specifier text to resolve
+ * @param importerPath the absolute path of the importing file
+ * @param filesByPath the set of known in-repo file paths (extension-resolved)
+ * @param projectRoot the project root for `@/`/`~/` alias + vendor resolution, optional
+ * @param tsconfig the project's tsconfig `paths`/`baseUrl` mapping, optional
+ * @returns a tagged `SpecifierResolution` — `in-repo` (an in-repo file whose
+ *   export chain is not walked here), `vendor` (a node_modules declaration), or
+ *   `unresolved` (neither).
+ */
+export function resolveSpecifier(specifier, importerPath, filesByPath, projectRoot, tsconfig) {
+    if (specifier.startsWith('./') || specifier.startsWith('../')) {
+        const base = path.resolve(path.dirname(importerPath), specifier);
+        const rel = resolveFile(base, filesByPath);
+        return rel ? { kind: 'in-repo', path: rel } : { kind: 'unresolved' };
+    }
+    // Alias specifiers (`@/x`, `~/x`) map to the project root, then its src/app.
+    if (specifier.startsWith('@/') || specifier.startsWith('~/')) {
+        const rel = specifier.slice(2);
+        const roots = [projectRoot, projectRoot && path.join(projectRoot, 'src'), projectRoot && path.join(projectRoot, 'app')].filter(Boolean);
+        for (const root of roots) {
+            const resolved = resolveFile(path.join(root, rel), filesByPath);
+            if (resolved)
+                return { kind: 'in-repo', path: resolved };
+        }
+        return { kind: 'unresolved' };
+    }
+    // Bare specifier → tsconfig-`paths` alias first, else node_modules vendor.
+    if (projectRoot && tsconfig?.paths) {
+        const viaTsconfig = resolveViaTsconfigPaths(specifier, projectRoot, tsconfig.paths, tsconfig.baseUrl, filesByPath);
+        if (viaTsconfig)
+            return { kind: 'in-repo', path: viaTsconfig };
+    }
+    if (projectRoot) {
+        const vendor = resolveVendorSpecifier(specifier, importerPath, projectRoot);
+        if (vendor)
+            return { kind: 'vendor', path: vendor };
+    }
+    return { kind: 'unresolved' };
+}
+/** Resolve a bare specifier through tsconfig `compilerOptions.paths` patterns. */
+function resolveViaTsconfigPaths(specifier, projectRoot, paths, baseUrl, filesByPath) {
+    for (const [pattern, targets] of Object.entries(paths)) {
+        const star = pattern.indexOf('*');
+        if (star === -1) {
+            // Exact key (no wildcard): `"db": ["./db/index.ts"]`.
+            if (specifier !== pattern)
+                continue;
+            for (const target of targets) {
+                const resolved = resolveFile(path.resolve(projectRoot, baseUrl ?? '.', target), filesByPath);
+                if (resolved)
+                    return resolved;
+            }
+            continue;
+        }
+        // Wildcard: `"@/*": ["src/*"]` — match `prefix` + capture + `suffix`.
+        const prefix = pattern.slice(0, star);
+        const suffix = pattern.slice(star + 1);
+        if (!specifier.startsWith(prefix) || !specifier.endsWith(suffix))
+            continue;
+        const matched = specifier.slice(prefix.length, specifier.length - suffix.length);
+        for (const target of targets) {
+            const replaced = target.replace('*', matched);
+            const resolved = resolveFile(path.resolve(projectRoot, baseUrl ?? '.', replaced), filesByPath);
+            if (resolved)
+                return resolved;
+        }
+    }
+    return null;
+}
+/** Resolve a bare specifier to a node_modules vendor declaration, if one exists. */
+function resolveVendorSpecifier(specifier, importerPath, projectRoot) {
+    if (specifier.startsWith('node:'))
+        return null; // Node builtins have no vendor `.d.ts`
+    const root = path.resolve(projectRoot);
+    const segments = specifier.split('/');
+    let dir = path.dirname(importerPath);
+    for (;;) {
+        const pkgRoot = path.join(dir, 'node_modules', ...segments);
+        const decl = resolveVendorDeclaration(pkgRoot);
+        if (decl)
+            return decl;
+        if (dir === root || path.dirname(dir) === dir)
+            break;
+        dir = path.dirname(dir);
+    }
+    return null;
+}
+/** The `.d.ts` entry for a node_modules package root: `types` field, else `index.d.ts`. */
+function resolveVendorDeclaration(pkgRoot) {
+    const pkgJson = path.join(pkgRoot, 'package.json');
+    try {
+        const parsed = JSON.parse(readFileSync(pkgJson, 'utf-8'));
+        const types = typeof parsed.types === 'string' ? parsed.types : typeof parsed.typings === 'string' ? parsed.typings : undefined;
+        if (types) {
+            const decl = path.join(pkgRoot, types);
+            if (existsSync(decl))
+                return decl;
+        }
+    }
+    catch {
+        // no package.json (or unparseable) — fall through to `index.d.ts`.
+    }
+    const idx = path.join(pkgRoot, 'index.d.ts');
+    return existsSync(idx) ? idx : null;
+}
+/** Strip a tree-sitter `default_type` (`= unknown`) / `type_annotation`
+ *  (`: Env`) wrapper to the bare type text. */
+function stripTypePrefix(text) {
+    const t = text.trim();
+    return t.replace(/^[=:]/, '').trim();
+}
+/** Escape a literal for interpolation into a `RegExp` — the type-parameter
+ *  names become word-boundary alternatives. */
+function escapeRegExp(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/** The enclosing class declaration named `base`, or null when the `.d.ts`
+ *  declares no such class. Both `class_declaration` and
+ *  `abstract_class_declaration` name their class via a leading `type_identifier`
+ *  child (tree-sitter renders a class name as a type identifier, not an
+ *  identifier). */
+function findClassNamed(root, base, sourceCode) {
+    const stack = [root];
+    while (stack.length > 0) {
+        const node = stack.pop();
+        if (node.type === 'class_declaration' || node.type === 'abstract_class_declaration') {
+            const nameNode = node.children?.find((c) => c.type === 'type_identifier');
+            if (nameNode && getNodeText(nameNode, sourceCode) === base)
+                return node;
+        }
+        if (node.children)
+            for (const c of node.children)
+                stack.push(c);
+    }
+    return null;
+}
+/** Read one heritage base class's declared type parameters and instance fields
+ *  from a `.d.ts`. Returns null (abstain) when the file is unreadable, unparseable,
+ *  or declares no class named `base`. Only `public_field_definition` members are
+ *  read — `method_signature`/`constructor` members carry no field type and are
+ *  skipped, so a base class that declares only methods yields no fields. */
+function readClassFieldTypes(dtsPath, base) {
+    let content;
+    try {
+        content = readFileSync(dtsPath, 'utf-8');
+    }
+    catch {
+        return null;
+    }
+    const ast = parseFile(dtsPath, content);
+    if (!ast)
+        return null;
+    const classNode = findClassNamed(ast.root, base, content);
+    if (!classNode)
+        return null;
+    const typeParams = [];
+    const fields = new Map();
+    for (const child of classNode.children ?? []) {
+        if (child.type === 'type_parameters') {
+            for (const tp of child.children ?? []) {
+                if (tp.type !== 'type_parameter')
+                    continue;
+                let name = null;
+                let def = null;
+                for (const c of tp.children ?? []) {
+                    if (c.type === 'type_identifier' && name === null)
+                        name = getNodeText(c, content);
+                    else if (c.type === 'default_type')
+                        def = stripTypePrefix(getNodeText(c, content));
+                }
+                if (name !== null)
+                    typeParams.push({ name, default: def });
+            }
+        }
+        else if (child.type === 'class_body') {
+            for (const member of child.children ?? []) {
+                if (member.type !== 'public_field_definition')
+                    continue;
+                let fieldName = null;
+                let fieldType = null;
+                for (const c of member.children ?? []) {
+                    if (c.type === 'property_identifier')
+                        fieldName = getNodeText(c, content);
+                    else if (c.type === 'type_annotation')
+                        fieldType = stripTypePrefix(getNodeText(c, content));
+                }
+                if (fieldName !== null && fieldType !== null)
+                    fields.set(fieldName, fieldType);
+            }
+        }
+    }
+    return { typeParams, fields };
+}
+/** Substitute the declared field type's type-parameter references with the
+ *  heritage's type arguments (or the declared default when an argument is absent).
+ *  A single combined word-boundary pass avoids chained substitution (a replacement
+ *  that is itself another parameter's name). Returns null (abstain) when the
+ *  declared type references a parameter that has neither an argument nor a
+ *  declared default — never a guessed clean. */
+function substituteTypeParams(declared, typeParams, args) {
+    if (typeParams.length === 0)
+        return declared;
+    const names = typeParams.map((p) => p.name);
+    const pattern = names.map(escapeRegExp).sort((a, b) => b.length - a.length).join('|');
+    const re = new RegExp(`\\b(?:${pattern})\\b`, 'g');
+    let ok = true;
+    const result = declared.replace(re, (m) => {
+        const idx = names.indexOf(m);
+        const replacement = args[idx] ?? typeParams[idx].default;
+        if (replacement === null || replacement === undefined) {
+            ok = false;
+            return m;
+        }
+        return replacement;
+    });
+    return ok ? result : null;
+}
+/** Build the heritage field resolver for a project: given a base class name, its
+ *  type arguments, and a `this.<field>` name, resolve the field's declared type
+ *  from the base class's `.d.ts` in the project's declared dependencies. Each
+ *  declared package is tried in turn (the base class may be an ambient global from
+ *  any of them — `@cloudflare/workers-types`, the `agents` SDK, …), its vendor
+ *  declaration resolved through the same `resolveVendorSpecifier` seam the import
+ *  path uses (with a synthetic importer at the project root, since an ambient
+ *  class carries no real importing file). Returns null when no declared dependency
+ *  ships a `.d.ts` that declares the base class — which is every pinned clone, none
+ *  of which carries `node_modules` — so the classifier abstains. Results are
+ *  cached per base class name.
+ *
+ * @param projectRoot the project root the resolver walks for vendor declarations
+ * @param declaredTypePackages the project's declared dependency packages
+ * @returns a resolver returning a field's declared type (or null to abstain),
+ *   or null when either argument is absent
+ */
+export function makeHeritageResolver(projectRoot, declaredTypePackages) {
+    if (!projectRoot || !declaredTypePackages || declaredTypePackages.size === 0)
+        return null;
+    const importer = path.join(projectRoot, 'index.ts');
+    const cache = new Map();
+    return (base, field, args) => {
+        let decl = cache.get(base);
+        if (decl === undefined) {
+            decl = null;
+            for (const pkg of declaredTypePackages) {
+                const dts = resolveVendorSpecifier(pkg, importer, projectRoot);
+                if (!dts)
+                    continue;
+                const found = readClassFieldTypes(dts, base);
+                if (found) {
+                    decl = found;
+                    break;
+                }
+            }
+            cache.set(base, decl);
+        }
+        if (!decl)
+            return null;
+        const declared = decl.fields.get(field);
+        if (declared === undefined)
+            return null;
+        return substituteTypeParams(declared, decl.typeParams, args);
+    };
+}
+/** Resolve a base path (with or without extension) to a known in-repo file. */
+function resolveFile(base, filesByPath) {
+    const candidates = [base, ...RESOLVE_EXTENSIONS.map((e) => base + e)];
+    for (const candidate of candidates) {
+        if (filesByPath.has(candidate))
+            return candidate;
+        for (const idx of INDEX_BASENAMES) {
+            if (filesByPath.has(path.join(candidate, idx)))
+                return path.join(candidate, idx);
+        }
+    }
+    return null;
+}
+/**
+ * The TS/JS within-file provenance for one file: seed DB-provenanced package
+ * imports, then reach a fixed point across the three layers — propagation,
+ * wrapper classes, and DB-returning functions (S5e/S5f). The fixed-point body
+ * the phase model's `within-file-provenance` file producer (Spec 70 Item 4)
+ * mirrors, so it can compute the same result from a single file's AST with no
+ * cross-file seeds. This is also the byte-identical parity reference pinned by
+ * `spec70-ts-within-file-parity.spec.ts`.
+ *
+ * The pre-S5 ordering ran propagation → wrappers once and stopped. That left
+ * `const appDb = AppDatabase.getInstance()` unprovenanced: `AppDatabase` is only
+ * discovered as a wrapper *class* by `detectDbWrappers`, which runs *after*
+ * `propagateProvenance` has already scanned the declarator. Re-running propagation
+ * after wrapper discovery closes that gap — the wrapper name is now in the map, so
+ * the declarator's `.getInstance()` call resolves through it.
+ *
+ * @param ast The parsed file AST the within-file layers walk.
+ * @param adapter The language adapter for the file's syntax.
+ * @param sourceCode The raw source text (identifier/name extraction).
+ * @param extraSeeds names provenanced *outside* this file (cross-file imports),
+ *   merged into the DB-import seeds before the fixed point.
+ * @returns The fixed-point map of DB-provenanced local names to their evidence.
+ */
+export function computeTsWithinFileProvenance(ast, adapter, sourceCode, extraSeeds = new Map()) {
+    const seeds = extractDBProvenancedImports(ast, adapter);
+    for (const [name, evidence] of extraSeeds) {
+        if (!seeds.has(name))
+            seeds.set(name, evidence);
+    }
+    let prov = new Map(seeds);
+    const MAX_PASSES = 10;
+    for (let pass = 0; pass < MAX_PASSES; pass++) {
+        const before = prov.size;
+        prov = propagateProvenance(ast, adapter, sourceCode, prov);
+        prov = detectDbWrappers(ast, adapter, sourceCode, prov, { classes: true });
+        prov = detectDbReturningFunctions(ast, adapter, sourceCode, prov);
+        if (prov.size === before)
+            break;
+    }
+    return prov;
+}
+// ── S5a/S5e — three-way receiver disposition (Spec 69 §10) ────────────────────
+//
+// Every query-shaped call site gets an explicit disposition on its receiver's
+// *root*, not on its callee's method name:
+//   • handle     — the root resolves to a DB handle (package import, DB-handle
+//                  type, wrapper, or form-5 function return). The finding path
+//                  extracts it; no coverage offset.
+//   • not-handle — the root resolves to something *definitively* not a DB handle:
+//                  an ambient global (no binding in the file's scope chain), a
+//                  non-DB package import, a literal / primitive / array, or a
+//                  non-DB constructor (`new URLSearchParams()`). `clean` is the
+//                  *correct* outcome here — not a silent one.
+//   • unproven   — the root resolves to something indeterminate: an `any`/`unknown`
+//                  type, an un-annotated parameter, an un-annotated factory return,
+//                  or an undeclared `this.<field>`. This is the cannot-fire surface.
+//
+// The method-name list is only a *candidacy* filter (which calls to examine), not
+// the disposition: `Array.map()`, `path.join()`, `page.locator()`, and
+// `params.set()` all clear the candidacy filter but their roots resolve to
+// not-a-handle, so they are `clean` — the mirror of the defect that previously
+// reported cannot-fire on the strength of the method name alone.
+/**
+ * True when `name` resolves to a definitively non-DB root under the file's own
+ * bindings (the `not-handle` disposition). A name that resolves to `unproven`
+ * (an un-annotated factory return, an `any`-typed declaration, an un-annotated
+ * parameter) returns false — it is *unknown*, not provably non-DB.
+ *
+ * @param name the bare root identifier to classify
+ * @param ast the parsed file AST
+ * @param adapter the language adapter used to build the binding environment
+ * @param sourceCode the file source text
+ * @returns true when `name` classifies `not-handle`, false when `unproven` or a handle
+ */
+export function isProvablyNonDbDeclaration(name, ast, adapter, sourceCode = '') {
+    const bindings = buildBindingEnv(ast, adapter, sourceCode);
+    const env = { provenance: new Map(), bindings, adapter, sourceCode };
+    return classifyRootIdentifier(name, env) === 'not-handle';
+}
+/** A human-readable reason for an unproven receiver's cannot-fire disposition.
+ *  The admission basis is now a real test, not a phrase: `queryShaped` is the
+ *  `isQueryBuilderShape` result carried from the gate, so the tail names the
+ *  mechanism that admitted the site (query-builder shape vs a static SQL argument)
+ *  rather than asserting "query-shaped" unconditionally.
+ *
+ *  One function for both formats — the four historical copies (TS + Go, each in
+ *  `receiverResolution.ts` and `receiverConsumers.ts`) were why a fabricated claim
+ *  lived in all four and took four edits to fix. The only format-specific piece is
+ *  the receiver/root/cause clause ({@link describeReceiverClause}); the tail and the
+ *  closing "so its DB access is unseen" are shared.
+ *
+ * @param receiver the receiver chain text (e.g. `this.env.DB`)
+ * @param method the method name called on the receiver
+ * @param root the receiver's leftmost root identifier
+ * @param cause the combined verdict reason naming why the root is unproven
+ * @param queryShaped true when the site admitted via query-builder shape
+ * @param format the output dialect (`typescript` or `go`)
+ * @returns the human-readable unproven-receiver reason string */
+export function describeUnprovenReceiver(receiver, method, root, cause, queryShaped, format) {
+    const tail = queryShaped
+        ? `\`.${method}()\` is query-shaped`
+        : `\`.${method}()\` carries a SQL argument`;
+    const clause = describeReceiverClause(format, receiver, root, cause);
+    return `${clause}; ${tail}, so its DB access is unseen.`;
+}
+/** The format-specific clause naming the receiver, its root, and the cause.
+ *  Go has one shape (`has root \`x\` that …` — every Go receiver is a selector
+ *  chain, so there is no `this`/bare-identifier branch); TS has three, keyed to
+ *  the receiver chain shape. `cause` is the *combined* verdict reason from
+ *  {@link identifyHandle} — the union of the declaration-resolution cause and (when
+ *  a SQL argument fails to parse) the `sql-argument` cause, passed through whole so
+ *  an unparseable literal is reported as such, never as a bare declaration failure. */
+function describeReceiverClause(format, receiver, root, cause) {
+    if (format === 'go') {
+        return `receiver \`${receiver}\` has root \`${root}\` that ${cause}`;
+    }
+    if (receiver.startsWith('this.') || receiver.startsWith('super.')) {
+        return `receiver \`${receiver}\` is a class field whose root \`${root}\` ${cause}`;
+    }
+    if (receiver.includes('.')) {
+        return `receiver \`${receiver}\` is a runtime binding / compound reference whose root \`${root}\` ${cause}`;
+    }
+    return `receiver \`${receiver}\` has no in-repo declaration traceable to a DB handle (root \`${root}\` ${cause})`;
+}
+//# sourceMappingURL=receiverResolution.js.map

package/dist/analyzers/receiverResolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receiverResolution.js","sourceRoot":"","sources":["../../src/analyzers/receiverResolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,gBAAgB,EAChB,0BAA0B,GAE3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,eAAe,EACf,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAwCnD,8EAA8E;AAC9E,MAAM,kBAAkB,GAAG;IACzB,KAAK;IACL,MAAM;IACN,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;CACR,CAAC;AAEF,MAAM,eAAe,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAEvE,6DAA6D;AAC7D,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,mBAAmB;IACnB,4BAA4B;IAC5B,sBAAsB;IACtB,gCAAgC;IAChC,qBAAqB;IACrB,sBAAsB;IACtB,uBAAuB;IACvB,kBAAkB;IAClB,wBAAwB;CACzB,CAAC,CAAC;AAEH,yEAAyE;AACzE,SAAS,YAAY,CAAC,IAAa,EAAE,OAAwB,EAAE,IAA6B;IAC1F,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uEAAuE;AACvE,SAAS,mBAAmB,CAAC,IAAa,EAAE,OAAwB,EAAE,UAAkB;IACtF,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9G,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACzD,CAAC;AAED,gEAAgE;AAChE,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAQ,EACR,OAAwB,EACxB,UAAkB;IAElB,MAAM,GAAG,GAAiE,EAAE,CAAC;IAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC,CAAC;IAEhG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,SAAS,CAAC,CAAC;QAEjH,iFAAiF;QACjF,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAC3F,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE/F,2BAA2B;QAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;QACrF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;YAC5D,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;QAED,mCAAmC;QACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QAED,kDAAkD;QAClD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;YAC5D,IAAI,KAAK;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACjG,CAAC;QAED,uBAAuB;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9E,IAAI,IAAI,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAQD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,YAAoB,EACpB,WAAgC,EAChC,WAAoB,EACpB,QAA0B;IAE1B,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC3C,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACvE,CAAC;IAED,6EAA6E;IAC7E,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;QACpJ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;YAChE,IAAI,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAChC,CAAC;IAED,2EAA2E;IAC3E,IAAI,WAAW,IAAI,QAAQ,EAAE,KAAK,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,uBAAuB,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACnH,IAAI,WAAW;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACjE,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QAC5E,IAAI,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAChC,CAAC;AAED,kFAAkF;AAClF,SAAS,uBAAuB,CAC9B,SAAiB,EACjB,WAAmB,EACnB,KAAkD,EAClD,OAA2B,EAC3B,WAAgC;IAEhC,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YAChB,sDAAsD;YACtD,IAAI,SAAS,KAAK,OAAO;gBAAE,SAAS;YACpC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC;gBAC7F,IAAI,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAChC,CAAC;YACD,SAAS;QACX,CAAC;QACD,sEAAsE;QACtE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QAC3E,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACjF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,IAAI,GAAG,EAAE,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC;YAC/F,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,sBAAsB,CAAC,SAAiB,EAAE,YAAoB,EAAE,WAAmB;IAC1F,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,uCAAuC;IACvF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrC,SAAS,CAAC;QACR,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACtB,IAAI,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG;YAAE,MAAM;QACrD,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2FAA2F;AAC3F,SAAS,wBAAwB,CAAC,OAAe;IAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAA2C,CAAC;QACpG,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAChI,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC7C,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC;AAmBD;+CAC+C;AAC/C,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED;+CAC+C;AAC/C,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;mBAImB;AACnB,SAAS,cAAc,CAAC,IAAa,EAAE,IAAY,EAAE,UAAkB;IACrE,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;YACpF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;YAC1E,IAAI,QAAQ,IAAI,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;QAC1E,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;4EAI4E;AAC5E,SAAS,mBAAmB,CAAC,OAAe,EAAE,IAAY;IACxD,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACrC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACtC,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB;oBAAE,SAAS;gBAC3C,IAAI,IAAI,GAAkB,IAAI,CAAC;gBAC/B,IAAI,GAAG,GAAkB,IAAI,CAAC;gBAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;oBAClC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,KAAK,IAAI;wBAAE,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;yBAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;wBAAE,GAAG,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;gBACrF,CAAC;gBACD,IAAI,IAAI,KAAK,IAAI;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,yBAAyB;oBAAE,SAAS;gBACxD,IAAI,SAAS,GAAkB,IAAI,CAAC;gBACpC,IAAI,SAAS,GAAkB,IAAI,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;oBACtC,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB;wBAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;yBACrE,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;wBAAE,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC9F,CAAC;gBACD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI;oBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AAED;;;;;gDAKgD;AAChD,SAAS,oBAAoB,CAC3B,QAAgB,EAChB,UAAwC,EACxC,IAAuB;IAEvB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtF,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,SAAS,OAAO,MAAM,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACzD,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACtD,EAAE,GAAG,KAAK,CAAC;YACX,OAAO,CAAC,CAAC;QACX,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAA+B,EAC/B,oBAAqD;IAErD,IAAI,CAAC,WAAW,IAAI,CAAC,oBAAoB,IAAI,oBAAoB,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC1D,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC3B,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC;YACZ,KAAK,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC;gBACvC,MAAM,GAAG,GAAG,sBAAsB,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC/D,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC7C,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,GAAG,KAAK,CAAC;oBACb,MAAM;gBACR,CAAC;YACH,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACxC,OAAO,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,WAAW,CAAC,IAAY,EAAE,WAAgC;IACjE,MAAM,UAAU,GAAa,CAAC,IAAI,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IAChF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAAQ,EACR,OAAwB,EACxB,UAAkB,EAClB,aAAsD,IAAI,GAAG,EAAE;IAE/D,MAAM,KAAK,GAAG,2BAA2B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,EAAE,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,IAAI,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3E,IAAI,GAAG,0BAA0B,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,EAAE;AACF,8EAA8E;AAC9E,2CAA2C;AAC3C,+EAA+E;AAC/E,+EAA+E;AAC/E,oDAAoD;AACpD,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,gFAAgF;AAChF,8DAA8D;AAC9D,oFAAoF;AACpF,oFAAoF;AACpF,qFAAqF;AACrF,EAAE;AACF,kFAAkF;AAClF,uEAAuE;AACvE,2EAA2E;AAC3E,+EAA+E;AAC/E,iEAAiE;AAEjE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,GAAQ,EACR,OAAwB,EACxB,UAAU,GAAG,EAAE;IAEf,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAsB,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACxF,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,YAAY,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;;;iEAkBiE;AACjE,MAAM,UAAU,wBAAwB,CACtC,QAAgB,EAChB,MAAc,EACd,IAAY,EACZ,KAAa,EACb,WAAoB,EACpB,MAA2B;IAE3B,MAAM,IAAI,GAAG,WAAW;QACtB,CAAC,CAAC,MAAM,MAAM,sBAAsB;QACpC,CAAC,CAAC,MAAM,MAAM,6BAA6B,CAAC;IAC9C,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrE,OAAO,GAAG,MAAM,KAAK,IAAI,+BAA+B,CAAC;AAC3D,CAAC;AAED;;;;;;uFAMuF;AACvF,SAAS,sBAAsB,CAC7B,MAA2B,EAC3B,QAAgB,EAChB,IAAY,EACZ,KAAa;IAEb,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,cAAc,QAAQ,iBAAiB,IAAI,WAAW,KAAK,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClE,OAAO,cAAc,QAAQ,oCAAoC,IAAI,MAAM,KAAK,EAAE,CAAC;IACrF,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,cAAc,QAAQ,6DAA6D,IAAI,MAAM,KAAK,EAAE,CAAC;IAC9G,CAAC;IACD,OAAO,cAAc,QAAQ,kEAAkE,IAAI,MAAM,KAAK,GAAG,CAAC;AACpH,CAAC"}