@spikedpunch/mast 0.1.0

package/dist/graph/checker-resolver.d.ts

@@ -0,0 +1,156 @@
+import ts from 'typescript';
+import type { Db } from './db.js';
+import type { ChunkStore } from '../store/sqliteChunkStore.js';
+import type { ResolvedConfig } from '../store/config.js';
+/** One tsconfig project the checker pass can build a `ts.Program` for. */
+export interface TsProjectDescriptor {
+    /** Directory containing tsconfig.json, relative to the project root (POSIX separators). */
+    readonly configDir: string;
+    /** Absolute paths TypeScript itself resolved via this tsconfig's "include"/"files". */
+    readonly fileNames: readonly string[];
+    readonly compilerOptions: ts.CompilerOptions;
+}
+/** A tsconfig.json that was found but is not a standalone checkable project. */
+export interface TsProjectSkip {
+    readonly configDir: string;
+    readonly reason: string;
+}
+export interface TsProjectDiscoveryResult {
+    readonly projects: readonly TsProjectDescriptor[];
+    readonly skipped: readonly TsProjectSkip[];
+}
+/**
+ * Enumerate every tsconfig project under `projectRoot`.
+ *
+ * A tsconfig.json is a real, checkable project when `ts.parseJsonConfigFileContent`
+ * resolves at least one source file for it. A base config meant to be
+ * `extends`-ed (e.g. `tsconfig.base.json`) declares no "include"/"files" of
+ * its own and resolves zero files — skipped with reason `no_include_base_config`.
+ * A config that fails to parse is skipped with the parser's own error text.
+ * This is a generic, project-shape-agnostic rule (unlike the Stage 1.1 spike's
+ * hardcoded 25-project list for the kluster monorepo specifically) so it works
+ * for any project `mast index --checker` runs against, monorepo or single-app.
+ */
+export declare function discoverTsConfigProjects(projectRoot: string): TsProjectDiscoveryResult;
+/** One call-site candidate to classify against a loaded project's program. */
+export interface ClassifyInput {
+    /** File containing the candidate call site, relative to the project root. */
+    readonly relFilePath: string;
+    /** Bare (post-`.`) name being searched for — `ClassName.method` → `method`. */
+    readonly bareName: string;
+    /** Padded search window: the potential match's chunk start/end lines. */
+    readonly startLine: number;
+    readonly endLine: number;
+    /** The queried symbol's own declaration site, for the resolved-declaration comparison. */
+    readonly queriedFilePath: string;
+    readonly queriedLine: number;
+}
+export type CallSiteClassification = {
+    readonly kind: 'resolves_to_queried';
+    readonly callLine: number;
+    readonly context: string;
+} | {
+    readonly kind: 'resolves_to_different';
+} | {
+    readonly kind: 'non_call_site';
+} | {
+    readonly kind: 'unresolved';
+};
+/**
+ * A loaded TypeScript project — one `ts.Program` + `ts.TypeChecker`.
+ *
+ * Callers MUST call `dispose()` before loading the next project; the checker
+ * pass holds exactly one handle at a time (see module doc — the RSS gate).
+ */
+export interface TsProjectHandle {
+    classify(input: ClassifyInput): CallSiteClassification;
+    /** Release the underlying program/checker. Idempotent; `classify()` after `dispose()` throws. */
+    dispose(): void;
+}
+/**
+ * Abstraction over "hold a TypeScript program for one project and classify
+ * call sites against it." The real implementation wraps `ts.createProgram` +
+ * `ts.TypeChecker` (the feature IS the compiler integration — a fake exists
+ * only so `runCheckerPass`'s orchestration logic, persistence, and filtering
+ * can be unit-tested without paying real compiler cost; the classification
+ * logic itself is exercised only by the real implementation, in
+ * `checker-resolver.test.ts`'s real-compiler fixtures).
+ */
+export interface TsProjectResolver {
+    discoverProjects(): TsProjectDiscoveryResult;
+    loadProgram(descriptor: TsProjectDescriptor): TsProjectHandle;
+}
+export declare class RealTsProjectResolver implements TsProjectResolver {
+    private readonly projectRoot;
+    constructor(projectRoot: string);
+    discoverProjects(): TsProjectDiscoveryResult;
+    loadProgram(descriptor: TsProjectDescriptor): TsProjectHandle;
+}
+export interface CheckerPassOptions {
+    /** DI seam for tests — defaults to `RealTsProjectResolver`. */
+    readonly resolver?: TsProjectResolver;
+    readonly onProject?: (configDir: string, index: number, total: number) => void;
+}
+export interface CheckerProjectTiming {
+    readonly configDir: string;
+    readonly fileCount: number;
+    readonly candidateCount: number;
+    readonly durationMs: number;
+}
+export interface CheckerPassResult {
+    readonly projectsChecked: number;
+    readonly projectsSkipped: readonly TsProjectSkip[];
+    readonly symbolsChecked: number;
+    /** Potential-match candidates whose file has no owning tsconfig project — left untouched, not silently dropped. */
+    readonly potentialSitesOutsideScope: number;
+    /** Distinct NEW edge rows actually inserted — not classification attempts
+     *  (duplicates and already-heuristic-verified pairs collapse via the
+     *  (from_id, to_id, edge_type) PK, so a rerun reports 0). */
+    readonly edgesUpgraded: number;
+    readonly classifiedDifferentDeclaration: number;
+    readonly classifiedNonCallSite: number;
+    readonly unresolved: number;
+    readonly perProjectTiming: readonly CheckerProjectTiming[];
+    /**
+     * Self-sampled peak RSS across the whole pass (`process.memoryUsage().rss`,
+     * polled every 250ms). This is an approximation, not the Stage 1.1 spike's
+     * external `ps`-on-a-child-process measurement — production runs in-process
+     * (the same one-shot-process reasoning `index-cmd.ts` uses throughout),
+     * and an in-process sampler can miss a spike inside a long synchronous
+     * stretch that never yields the event loop. Reported honestly as an
+     * approximation, not hidden.
+     */
+    readonly peakRssBytes: number;
+    readonly durationMs: number;
+}
+/**
+ * Run the checker pass over every tsconfig project in `config.resolved_project_root`.
+ *
+ * Two phases per project, kept strictly separate so the DB write lock is held
+ * in short batches (§7.6) rather than across the compiler-heavy classify loop:
+ * 1. Classify every candidate for the project against its `ts.Program` (no lock).
+ * 2. Flush the resulting edge/verdict writes under `structure.lock` (short batch).
+ */
+/** One `files` row's identity and freshness stamp, keyed by path. */
+export interface FileMeta {
+    readonly id: number;
+    readonly mtime: number;
+}
+/**
+ * Look up `files` rows for `paths` in one pass, batched under SQLite's bound
+ * parameter ceiling.
+ *
+ * Extracted from the checker pass so the batching is testable without standing
+ * up a TypeScript program: the path list is every distinct candidate file in
+ * one tsconfig project, accumulated across every symbol the pass examines, so
+ * nothing in its construction bounds it below SQLite's bound-parameter ceiling
+ * (`SQLITE_MAX_VARIABLES`, `./sqliteBatch.ts`). A single `IN` list past that
+ * ceiling throws `too many SQL variables` and fails
+ * the whole project's checker pass.
+ *
+ * Paths with no row are simply absent from the returned map — the caller
+ * already treats that as "file row vanished mid-run" and skips the candidate.
+ */
+export declare function loadFileMetaByPath(db: Db, paths: readonly string[]): Promise<Map<string, FileMeta>>;
+export declare function runCheckerPass(db: Db, chunkStore: Pick<ChunkStore, 'getAllChunks'>, config: ResolvedConfig, options?: CheckerPassOptions): Promise<CheckerPassResult>;
+//# sourceMappingURL=checker-resolver.d.ts.map

package/dist/graph/checker-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker-resolver.d.ts","sourceRoot":"","sources":["../../src/graph/checker-resolver.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AA8BzD,0EAA0E;AAC1E,MAAM,WAAW,mBAAmB;IAClC,2FAA2F;IAC3F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,EAAE,CAAC,eAAe,CAAC;CAC9C;AAED,gFAAgF;AAChF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;CAC5C;AA0CD;;;;;;;;;;;GAWG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAiCtF;AAMD,8EAA8E;AAC9E,MAAM,WAAW,aAAa;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0FAA0F;IAC1F,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC7F;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAEpC;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,sBAAsB,CAAC;IACvD,iGAAiG;IACjG,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,IAAI,wBAAwB,CAAC;IAC7C,WAAW,CAAC,UAAU,EAAE,mBAAmB,GAAG,eAAe,CAAC;CAC/D;AA6HD,qBAAa,qBAAsB,YAAW,iBAAiB;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW;gBAAX,WAAW,EAAE,MAAM;IAEhD,gBAAgB,IAAI,wBAAwB;IAI5C,WAAW,CAAC,UAAU,EAAE,mBAAmB,GAAG,eAAe;CAG9D;AAYD,MAAM,WAAW,kBAAkB;IACjC,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;CAChF;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,EAAE,SAAS,aAAa,EAAE,CAAC;IACnD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mHAAmH;IACnH,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C;;iEAE6D;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3D;;;;;;;;OAQG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAiBD;;;;;;;GAOG;AACH,qEAAqE;AACrE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,kBAAkB,CACtC,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAWhC;AAED,wBAAsB,cAAc,CAClC,EAAE,EAAE,EAAE,EACN,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,EAC5C,MAAM,EAAE,cAAc,EACtB,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CAqO5B"}

package/dist/graph/checker-resolver.js

@@ -0,0 +1,458 @@
+import { resolve, sep, dirname } from 'node:path';
+import ts from 'typescript';
+import fg from 'fast-glob';
+import { withLock } from '../store/lock.js';
+import { queryVerifiedCallers, querySymbolByName } from './queries.js';
+import { collectPotentialMatchCandidates } from '../search/potential-matches.js';
+import { chunkValuesForSqlite } from './sqliteBatch.js';
+/**
+ * tsconfig.json locations that are structurally never real, standalone
+ * projects — excluded before even attempting to parse them so a large
+ * `node_modules` tree costs nothing.
+ */
+const DISCOVERY_IGNORE = ['**/node_modules/**', '**/dist/**', '**/.build/**', '**/coverage/**'];
+// Arrow-wrapped (not `ts.sys.fileExists` directly) so each call stays bound to
+// `ts.sys` — @typescript-eslint/unbound-method flags a bare method reference
+// as an unintentional-`this`-scoping risk.
+const PARSE_CONFIG_HOST = {
+    fileExists: (path) => ts.sys.fileExists(path),
+    readFile: (path) => ts.sys.readFile(path),
+    readDirectory: (path, extensions, exclude, include, depth) => ts.sys.readDirectory(path, extensions, exclude, include, depth),
+    useCaseSensitiveFileNames: true,
+};
+/** Bound wrapper for `ts.sys.readFile`, passed where a bare function reference is needed. */
+function readFile(path) {
+    return ts.sys.readFile(path);
+}
+/**
+ * Convert an absolute path to a POSIX-separated path relative to `root`.
+ * Returns `.` when `absPath` IS `root` (the fold-app-scale shape: a single
+ * package's own directory as project_root, tsconfig.json living directly in
+ * it — found running the real pass against align-kimik27-02/packages/core,
+ * IMPLEMENTATION_PLAN_VEXP.md Stage 1.2 addendum. Without this case the
+ * prefix-strip below never matches — `root` has no trailing slash to align
+ * against — and `configDir` came back as the full absolute path instead).
+ */
+function relPath(absPath, root) {
+    const norm = absPath.split(sep).join('/');
+    const rootNorm = root.split(sep).join('/').replace(/\/$/, '');
+    if (norm === rootNorm)
+        return '.';
+    const withSlash = rootNorm + '/';
+    return norm.startsWith(withSlash) ? norm.slice(withSlash.length) : norm;
+}
+/**
+ * Enumerate every tsconfig project under `projectRoot`.
+ *
+ * A tsconfig.json is a real, checkable project when `ts.parseJsonConfigFileContent`
+ * resolves at least one source file for it. A base config meant to be
+ * `extends`-ed (e.g. `tsconfig.base.json`) declares no "include"/"files" of
+ * its own and resolves zero files — skipped with reason `no_include_base_config`.
+ * A config that fails to parse is skipped with the parser's own error text.
+ * This is a generic, project-shape-agnostic rule (unlike the Stage 1.1 spike's
+ * hardcoded 25-project list for the kluster monorepo specifically) so it works
+ * for any project `mast index --checker` runs against, monorepo or single-app.
+ */
+export function discoverTsConfigProjects(projectRoot) {
+    const configPaths = fg
+        .sync('**/tsconfig.json', {
+        cwd: projectRoot,
+        ignore: DISCOVERY_IGNORE,
+        absolute: true,
+        onlyFiles: true,
+        followSymbolicLinks: false,
+    })
+        .sort();
+    const projects = [];
+    const skipped = [];
+    for (const configPath of configPaths) {
+        const configDir = relPath(dirname(configPath), projectRoot);
+        const configFile = ts.readConfigFile(configPath, readFile);
+        if (configFile.error !== undefined) {
+            skipped.push({
+                configDir,
+                reason: `tsconfig_parse_error: ${ts.flattenDiagnosticMessageText(configFile.error.messageText, '\n')}`,
+            });
+            continue;
+        }
+        const parsed = ts.parseJsonConfigFileContent(configFile.config, PARSE_CONFIG_HOST, dirname(configPath));
+        if (parsed.fileNames.length === 0) {
+            skipped.push({ configDir, reason: 'no_include_base_config' });
+            continue;
+        }
+        projects.push({ configDir, fileNames: parsed.fileNames, compilerOptions: parsed.options });
+    }
+    return { projects, skipped };
+}
+/** Chunk `content` extends `context_lines` (default 3, MAST_SPEC §6.1) beyond
+ *  strict AST boundaries — padding the identifier search window past that
+ *  default with margin catches a call site sitting just outside
+ *  [start_line, end_line] (Stage 1.1 spike finding: 10/50 samples
+ *  false-classified as non-call-site before this pad was added). */
+const CONTEXT_PAD = 5;
+/** Bounded hop count for `ts.Symbol.getAliasedSymbol` chains. MANDATORY per
+ *  the Stage 1.1 spike: without alias-following, `getSymbolAtLocation` on an
+ *  imported identifier returns the local import binding (not its real
+ *  target), and the definite-edge resolution rate collapses 38% -> 2%. */
+const ALIAS_HOP_LIMIT = 8;
+/** True when `node` is the callee of a CallExpression/NewExpression, direct or via `.property(...)`. */
+function isCallShaped(node) {
+    const parent = node.parent;
+    if (parent === undefined)
+        return false;
+    if (ts.isCallExpression(parent) && parent.expression === node)
+        return true;
+    if (ts.isNewExpression(parent) && parent.expression === node)
+        return true;
+    if (ts.isPropertyAccessExpression(parent) && parent.name === node) {
+        const grandparent = parent.parent;
+        if (grandparent !== undefined && ts.isCallExpression(grandparent) && grandparent.expression === parent)
+            return true;
+        if (grandparent !== undefined && ts.isNewExpression(grandparent) && grandparent.expression === parent)
+            return true;
+    }
+    return false;
+}
+/**
+ * All `Identifier` nodes named `name` whose 1-indexed line falls in the
+ * padded `[startLine - pad, endLine + pad]` window, nearest-to-the-original-
+ * range first (ties broken by line, then source position — deterministic).
+ */
+function findIdentifierOccurrences(sourceFile, name, startLine, endLine, pad) {
+    const occurrences = [];
+    const visit = (node) => {
+        if (ts.isIdentifier(node) && node.text === name) {
+            const { line } = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+            const line1 = line + 1;
+            if (line1 >= startLine - pad && line1 <= endLine + pad) {
+                const distance = line1 < startLine ? startLine - line1 : line1 > endLine ? line1 - endLine : 0;
+                occurrences.push({ node, line: line1, distance, callShaped: isCallShaped(node) });
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    occurrences.sort((a, b) => a.distance - b.distance || a.line - b.line || a.node.getStart(sourceFile) - b.node.getStart(sourceFile));
+    return occurrences;
+}
+class RealTsProjectHandle {
+    projectRoot;
+    program;
+    checker;
+    constructor(descriptor, projectRoot) {
+        this.projectRoot = projectRoot;
+        this.program = ts.createProgram({ rootNames: descriptor.fileNames, options: descriptor.compilerOptions });
+        this.checker = this.program.getTypeChecker();
+    }
+    classify(input) {
+        if (this.program === null || this.checker === null) {
+            throw new Error('RealTsProjectHandle.classify() called after dispose()');
+        }
+        const absPath = resolve(this.projectRoot, input.relFilePath).split(sep).join('/');
+        const sourceFile = this.program.getSourceFile(absPath);
+        // Defensive only: the orchestrator only routes candidates whose file was
+        // discovered as a member of THIS project's fileNames.
+        if (sourceFile === undefined)
+            return { kind: 'unresolved' };
+        const occurrences = findIdentifierOccurrences(sourceFile, input.bareName, input.startLine, input.endLine, CONTEXT_PAD);
+        const callSite = occurrences.find((o) => o.callShaped);
+        if (callSite === undefined)
+            return { kind: 'non_call_site' };
+        let symbol = this.checker.getSymbolAtLocation(callSite.node);
+        for (let hops = 0; symbol !== undefined && (symbol.flags & ts.SymbolFlags.Alias) !== 0 && hops < ALIAS_HOP_LIMIT; hops++) {
+            let aliased;
+            try {
+                aliased = this.checker.getAliasedSymbol(symbol);
+            }
+            catch {
+                break;
+            }
+            if (aliased === symbol)
+                break;
+            symbol = aliased;
+        }
+        const declarations = symbol?.getDeclarations() ?? [];
+        const firstDecl = declarations[0];
+        if (symbol === undefined || firstDecl === undefined)
+            return { kind: 'unresolved' };
+        const declSourceFile = firstDecl.getSourceFile();
+        const declLine = declSourceFile.getLineAndCharacterOfPosition(firstDecl.getStart(declSourceFile)).line + 1;
+        const declFilePath = relPath(resolve(declSourceFile.fileName), this.projectRoot);
+        const sameFile = declFilePath === input.queriedFilePath;
+        const lineClose = Math.abs(declLine - input.queriedLine) <= 3;
+        if (!(sameFile && lineClose))
+            return { kind: 'resolves_to_different' };
+        const lineText = sourceFile.getFullText().split('\n')[callSite.line - 1] ?? '';
+        return { kind: 'resolves_to_queried', callLine: callSite.line, context: lineText.trim() };
+    }
+    dispose() {
+        // Drop references so nothing keeps this project's Program (and the
+        // source ASTs/type graph it retains) alive once the orchestrator moves to
+        // the next project — the Stage 1.1 Q2 anomaly (hold-all-programs made
+        // "warm" 2x slower than cold via GC pressure) is what this guards against.
+        this.program = null;
+        this.checker = null;
+    }
+}
+export class RealTsProjectResolver {
+    projectRoot;
+    constructor(projectRoot) {
+        this.projectRoot = projectRoot;
+    }
+    discoverProjects() {
+        return discoverTsConfigProjects(this.projectRoot);
+    }
+    loadProgram(descriptor) {
+        return new RealTsProjectHandle(descriptor, this.projectRoot);
+    }
+}
+/** `queried.name` may be qualified (`ClassName.methodName`, §9 mast_signature convention) — only the bare name is a real identifier token. */
+function bareName(name) {
+    const parts = name.split('.');
+    return parts[parts.length - 1] ?? name;
+}
+/**
+ * Look up `files` rows for `paths` in one pass, batched under SQLite's bound
+ * parameter ceiling.
+ *
+ * Extracted from the checker pass so the batching is testable without standing
+ * up a TypeScript program: the path list is every distinct candidate file in
+ * one tsconfig project, accumulated across every symbol the pass examines, so
+ * nothing in its construction bounds it below SQLite's bound-parameter ceiling
+ * (`SQLITE_MAX_VARIABLES`, `./sqliteBatch.ts`). A single `IN` list past that
+ * ceiling throws `too many SQL variables` and fails
+ * the whole project's checker pass.
+ *
+ * Paths with no row are simply absent from the returned map — the caller
+ * already treats that as "file row vanished mid-run" and skips the candidate.
+ */
+export async function loadFileMetaByPath(db, paths) {
+    const meta = new Map();
+    for (const batch of chunkValuesForSqlite(paths)) {
+        const rows = await db
+            .selectFrom('files')
+            .select(['id', 'path', 'mtime'])
+            .where('path', 'in', [...batch])
+            .execute();
+        for (const r of rows)
+            meta.set(r.path, { id: r.id, mtime: r.mtime });
+    }
+    return meta;
+}
+export async function runCheckerPass(db, chunkStore, config, options = {}) {
+    const startMs = Date.now();
+    const resolver = options.resolver ?? new RealTsProjectResolver(config.resolved_project_root);
+    let peakRssBytes = process.memoryUsage().rss;
+    const rssTimer = setInterval(() => {
+        const rss = process.memoryUsage().rss;
+        if (rss > peakRssBytes)
+            peakRssBytes = rss;
+    }, 250);
+    try {
+        const { projects, skipped } = resolver.discoverProjects();
+        // --- Phase A: gather candidates (pure DB/FTS reads, no compiler) ---
+        const allSymbols = await db
+            .selectFrom('symbols as s')
+            .innerJoin('files as f', 'f.id', 's.file_id')
+            .select(['s.id', 's.name', 'f.path as file_path', 's.line'])
+            .where('s.kind', '!=', 'export')
+            .execute();
+        const fileToProject = new Map();
+        for (const project of projects) {
+            for (const absFile of project.fileNames) {
+                const rel = relPath(absFile, config.resolved_project_root);
+                if (!fileToProject.has(rel))
+                    fileToProject.set(rel, project);
+            }
+        }
+        const byProject = new Map();
+        let potentialSitesOutsideScope = 0;
+        // One full chunk scan up front, then Map lookups. Candidate collection
+        // runs once per indexed symbol below; fetching chunks one-by-one instead
+        // was measured at 50+ CPU-minutes on this monorepo (10,733 symbols)
+        // without completing Phase A. Semantics are identical —
+        // `collectPotentialMatchCandidates` only needs "chunks by id".
+        const allChunks = await chunkStore.getAllChunks();
+        const chunkById = new Map(allChunks.map((c) => [c.chunk_id, c]));
+        const chunkSource = {
+            getChunksByIds: (ids) => Promise.resolve(ids.flatMap((id) => {
+                const chunk = chunkById.get(id);
+                return chunk === undefined ? [] : [chunk];
+            })),
+        };
+        for (const sym of allSymbols) {
+            const verifiedRows = await queryVerifiedCallers(db, sym.id, false);
+            const verified = verifiedRows.map((r) => ({
+                file_path: r.file_path,
+                line: r.line,
+                caller_symbol: r.caller_symbol,
+                context: r.context,
+                resolution: r.resolution,
+            }));
+            // F10 (Stage 3): collectPotentialMatchCandidates now also returns an
+            // optional truncatedMatchCount — Phase A has no use for it (it isn't a
+            // tool-response summary), so it's destructured away and ignored here.
+            const { candidates } = await collectPotentialMatchCandidates(db, chunkSource, sym.name, verified);
+            for (const c of candidates) {
+                const project = fileToProject.get(c.file_path);
+                if (project === undefined) {
+                    potentialSitesOutsideScope++;
+                    continue;
+                }
+                const bucket = byProject.get(project.configDir) ?? [];
+                bucket.push({
+                    symbolId: sym.id,
+                    symbolName: sym.name,
+                    queriedFilePath: sym.file_path,
+                    queriedLine: sym.line,
+                    candidateFilePath: c.file_path,
+                    startLine: c.start_line,
+                    endLine: c.end_line,
+                    chunkSymbolName: c.chunk_symbol_name,
+                });
+                byProject.set(project.configDir, bucket);
+            }
+        }
+        // --- Phase B: classify project by project, ONE ts.Program at a time ---
+        let edgesUpgraded = 0;
+        let classifiedDifferentDeclaration = 0;
+        let classifiedNonCallSite = 0;
+        let unresolved = 0;
+        const perProjectTiming = [];
+        for (let i = 0; i < projects.length; i++) {
+            const project = projects[i];
+            options.onProject?.(project.configDir, i + 1, projects.length);
+            const bucket = byProject.get(project.configDir);
+            if (bucket === undefined || bucket.length === 0)
+                continue; // nothing to check — don't pay program cost
+            const t0 = Date.now();
+            const handle = resolver.loadProgram(project);
+            const pending = [];
+            try {
+                // File id/mtime cache — one query for the whole project's bucket
+                // instead of one per candidate.
+                const filePaths = [...new Set(bucket.map((c) => c.candidateFilePath))];
+                const fileMeta = await loadFileMetaByPath(db, filePaths);
+                for (const c of bucket) {
+                    const meta = fileMeta.get(c.candidateFilePath);
+                    if (meta === undefined)
+                        continue; // file row vanished mid-run — defensive
+                    const result = handle.classify({
+                        relFilePath: c.candidateFilePath,
+                        bareName: bareName(c.symbolName),
+                        startLine: c.startLine,
+                        endLine: c.endLine,
+                        queriedFilePath: c.queriedFilePath,
+                        queriedLine: c.queriedLine,
+                    });
+                    if (result.kind === 'unresolved') {
+                        unresolved++;
+                        continue;
+                    }
+                    // Every non-'unresolved' outcome gets a verdict row keyed by the
+                    // candidate's OWN chunk identity (not the checker's more-precise
+                    // call line) — this must match collectPotentialMatchCandidates'
+                    // dedup key exactly, see _helpers.ts.
+                    pending.push({
+                        kind: 'verdict',
+                        queriedSymbolId: c.symbolId,
+                        fileId: meta.id,
+                        line: c.startLine,
+                        verdict: result.kind,
+                        mtime: meta.mtime,
+                    });
+                    if (result.kind === 'non_call_site') {
+                        classifiedNonCallSite++;
+                        continue;
+                    }
+                    if (result.kind === 'resolves_to_different') {
+                        classifiedDifferentDeclaration++;
+                        continue;
+                    }
+                    // result.kind === 'resolves_to_queried' — write the caller edge too,
+                    // but only when the call site sits inside a chunk with a real
+                    // enclosing symbol. Top-level block code has none (chunk_symbol_name
+                    // is null) — a narrow, documented gap: still classified (so it never
+                    // re-surfaces as a review site), just not upgraded to a graph edge,
+                    // because there is no valid `from_id` to write one against.
+                    if (c.chunkSymbolName === null)
+                        continue;
+                    const [fromSymbol] = await querySymbolByName(db, c.chunkSymbolName, c.candidateFilePath);
+                    if (fromSymbol === undefined)
+                        continue;
+                    pending.push({ kind: 'edge', fromId: fromSymbol.id, toId: c.symbolId, callLine: result.callLine, context: result.context });
+                }
+            }
+            finally {
+                handle.dispose();
+            }
+            // --- Flush this project's writes in one short lock-held batch (§7.6) ---
+            if (pending.length > 0) {
+                await withLock(config.resolved_state_dir, 'structure', { maxRetries: 5, retryIntervalMs: 1_000, caller: 'checker-resolver' }, async () => {
+                    for (const w of pending) {
+                        if (w.kind === 'verdict') {
+                            await db
+                                .insertInto('checker_verdicts')
+                                .values({
+                                queried_symbol_id: w.queriedSymbolId,
+                                call_site_file_id: w.fileId,
+                                call_site_line: w.line,
+                                verdict: w.verdict,
+                                call_site_mtime: w.mtime,
+                            })
+                                .onConflict((oc) => oc.columns(['queried_symbol_id', 'call_site_file_id', 'call_site_line']).doUpdateSet((eb) => ({
+                                verdict: eb.ref('excluded.verdict'),
+                                call_site_mtime: eb.ref('excluded.call_site_mtime'),
+                            })))
+                                .execute();
+                        }
+                        else {
+                            const [insert] = await db
+                                .insertInto('edges')
+                                .values({
+                                from_id: w.fromId,
+                                to_id: w.toId,
+                                edge_type: 'POTENTIAL_CALL',
+                                resolution: 'checker',
+                                call_line: w.callLine,
+                                context: w.context,
+                            })
+                                .onConflict((oc) => oc.doNothing())
+                                .execute();
+                            // `edgesUpgraded` reports rows that actually landed, not
+                            // classification attempts: ON CONFLICT collapses duplicate
+                            // (from,to) pairs (several call sites in one caller) and edges a
+                            // heuristic rule already verified — on the monorepo validation
+                            // run, 3,935 attempts collapsed to 1,885 distinct rows. A rerun
+                            // therefore honestly reports 0.
+                            edgesUpgraded += Number(insert?.numInsertedOrUpdatedRows ?? 0n);
+                        }
+                    }
+                });
+            }
+            perProjectTiming.push({
+                configDir: project.configDir,
+                fileCount: project.fileNames.length,
+                candidateCount: bucket.length,
+                durationMs: Date.now() - t0,
+            });
+        }
+        return {
+            projectsChecked: perProjectTiming.length,
+            projectsSkipped: skipped,
+            symbolsChecked: allSymbols.length,
+            potentialSitesOutsideScope,
+            edgesUpgraded,
+            classifiedDifferentDeclaration,
+            classifiedNonCallSite,
+            unresolved,
+            perProjectTiming,
+            peakRssBytes,
+            durationMs: Date.now() - startMs,
+        };
+    }
+    finally {
+        clearInterval(rssTimer);
+    }
+}
+//# sourceMappingURL=checker-resolver.js.map

package/dist/graph/checker-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker-resolver.js","sourceRoot":"","sources":["../../src/graph/checker-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,MAAM,WAAW,CAAC;AAK3B,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAmD,MAAM,gCAAgC,CAAC;AAClI,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AA6CxD;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,CAAC,oBAAoB,EAAE,YAAY,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;AAEhG,+EAA+E;AAC/E,6EAA6E;AAC7E,2CAA2C;AAC3C,MAAM,iBAAiB,GAAuB;IAC5C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;IAC7C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;IACzC,aAAa,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAC3D,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;IACjE,yBAAyB,EAAE,IAAI;CAChC,CAAC;AAEF,6FAA6F;AAC7F,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,OAAe,EAAE,IAAY;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,SAAS,GAAG,QAAQ,GAAG,GAAG,CAAC;IACjC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAmB;IAC1D,MAAM,WAAW,GAAG,EAAE;SACnB,IAAI,CAAC,kBAAkB,EAAE;QACxB,GAAG,EAAE,WAAW;QAChB,MAAM,EAAE,gBAAgB;QACxB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI;QACf,mBAAmB,EAAE,KAAK;KAC3B,CAAC;SACD,IAAI,EAAE,CAAC;IAEV,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS;gBACT,MAAM,EAAE,yBAAyB,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE;aACvG,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QACxG,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAAC;YAC9D,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAoDD;;;;oEAIoE;AACpE,MAAM,WAAW,GAAG,CAAC,CAAC;AAEtB;;;0EAG0E;AAC1E,MAAM,eAAe,GAAG,CAAC,CAAC;AAS1B,wGAAwG;AACxG,SAAS,YAAY,CAAC,IAAmB;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAA6B,CAAC;IAClD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,WAAW,GAAG,MAAM,CAAC,MAA6B,CAAC;QACzD,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACpH,IAAI,WAAW,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,UAAU,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;IACrH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,yBAAyB,CAChC,UAAyB,EACzB,IAAY,EACZ,SAAiB,EACjB,OAAe,EACf,GAAW;IAEX,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACrF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;YACvB,IAAI,KAAK,IAAI,SAAS,GAAG,GAAG,IAAI,KAAK,IAAI,OAAO,GAAG,GAAG,EAAE,CAAC;gBACvD,MAAM,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/F,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpF,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACpI,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,mBAAmB;IAIuC;IAHtD,OAAO,CAAoB;IAC3B,OAAO,CAAwB;IAEvC,YAAY,UAA+B,EAAmB,WAAmB;QAAnB,gBAAW,GAAX,WAAW,CAAQ;QAC/E,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,eAAe,EAAE,CAAC,CAAC;QAC1G,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;IAC/C,CAAC;IAED,QAAQ,CAAC,KAAoB;QAC3B,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACvD,yEAAyE;QACzE,sDAAsD;QACtD,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAE5D,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACvH,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;QAE7D,IAAI,MAAM,GAA0B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;YACzH,IAAI,OAAkB,CAAC;YACvB,IAAI,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM;YACR,CAAC;YACD,IAAI,OAAO,KAAK,MAAM;gBAAE,MAAM;YAC9B,MAAM,GAAG,OAAO,CAAC;QACnB,CAAC;QACD,MAAM,YAAY,GAAG,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAEnF,MAAM,cAAc,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,cAAc,CAAC,6BAA6B,CAAC,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC3G,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAEjF,MAAM,QAAQ,GAAG,YAAY,KAAK,KAAK,CAAC,eAAe,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC;QAEvE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/E,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;IAC5F,CAAC;IAED,OAAO;QACL,mEAAmE;QACnE,0EAA0E;QAC1E,sEAAsE;QACtE,2EAA2E;QAC3E,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;CACF;AAED,MAAM,OAAO,qBAAqB;IACH;IAA7B,YAA6B,WAAmB;QAAnB,gBAAW,GAAX,WAAW,CAAQ;IAAG,CAAC;IAEpD,gBAAgB;QACd,OAAO,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,WAAW,CAAC,UAA+B;QACzC,OAAO,IAAI,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,8IAA8I;AAC9I,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;AACzC,CAAC;AA2ED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,EAAM,EACN,KAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,EAAE;aAClB,UAAU,CAAC,OAAO,CAAC;aACnB,MAAM,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;aAC/B,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;aAC/B,OAAO,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,EAAM,EACN,UAA4C,EAC5C,MAAsB,EACtB,UAA8B,EAAE;IAEhC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,qBAAqB,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IAE7F,IAAI,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC;QACtC,IAAI,GAAG,GAAG,YAAY;YAAE,YAAY,GAAG,GAAG,CAAC;IAC7C,CAAC,EAAE,GAAG,CAAC,CAAC;IAER,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAE1D,sEAAsE;QACtE,MAAM,UAAU,GAAG,MAAM,EAAE;aACxB,UAAU,CAAC,cAAc,CAAC;aAC1B,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,CAAC;aAC5C,MAAM,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,EAAE,QAAQ,CAAC,CAAC;aAC3D,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC;aAC/B,OAAO,EAAE,CAAC;QAEb,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;QAC7D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACxC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,qBAAqB,CAAC,CAAC;gBAC3D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;QACjD,IAAI,0BAA0B,GAAG,CAAC,CAAC;QAEnC,uEAAuE;QACvE,yEAAyE;QACzE,oEAAoE;QACpE,wDAAwD;QACxD,+DAA+D;QAC/D,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,YAAY,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,IAAI,GAAG,CAA+B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,WAAW,GAAoB;YACnC,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CACtB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBACjC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;SACN,CAAC;QAEF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACnE,MAAM,QAAQ,GAAqB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1D,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,aAAa,EAAE,CAAC,CAAC,aAAa;gBAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,CAAC,CAAC,UAA8B;aAC7C,CAAC,CAAC,CAAC;YACJ,qEAAqE;YACrE,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,+BAA+B,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAClG,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,0BAA0B,EAAE,CAAC;oBAC7B,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACtD,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,GAAG,CAAC,EAAE;oBAChB,UAAU,EAAE,GAAG,CAAC,IAAI;oBACpB,eAAe,EAAE,GAAG,CAAC,SAAS;oBAC9B,WAAW,EAAE,GAAG,CAAC,IAAI;oBACrB,iBAAiB,EAAE,CAAC,CAAC,SAAS;oBAC9B,SAAS,EAAE,CAAC,CAAC,UAAU;oBACvB,OAAO,EAAE,CAAC,CAAC,QAAQ;oBACnB,eAAe,EAAE,CAAC,CAAC,iBAAiB;iBACrC,CAAC,CAAC;gBACH,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,8BAA8B,GAAG,CAAC,CAAC;QACvC,IAAI,qBAAqB,GAAG,CAAC,CAAC;QAC9B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,gBAAgB,GAA2B,EAAE,CAAC;QAEpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YAC7B,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC/D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS,CAAC,4CAA4C;YAEvG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,OAAO,GAAmB,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,iEAAiE;gBACjE,gCAAgC;gBAChC,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;gBAEzD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;oBAC/C,IAAI,IAAI,KAAK,SAAS;wBAAE,SAAS,CAAC,wCAAwC;oBAE1E,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;wBAC7B,WAAW,EAAE,CAAC,CAAC,iBAAiB;wBAChC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;wBAChC,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,OAAO,EAAE,CAAC,CAAC,OAAO;wBAClB,eAAe,EAAE,CAAC,CAAC,eAAe;wBAClC,WAAW,EAAE,CAAC,CAAC,WAAW;qBAC3B,CAAC,CAAC;oBAEH,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACjC,UAAU,EAAE,CAAC;wBACb,SAAS;oBACX,CAAC;oBAED,iEAAiE;oBACjE,iEAAiE;oBACjE,gEAAgE;oBAChE,sCAAsC;oBACtC,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,SAAS;wBACf,eAAe,EAAE,CAAC,CAAC,QAAQ;wBAC3B,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,IAAI,EAAE,CAAC,CAAC,SAAS;wBACjB,OAAO,EAAE,MAAM,CAAC,IAAI;wBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;qBAClB,CAAC,CAAC;oBAEH,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBACpC,qBAAqB,EAAE,CAAC;wBACxB,SAAS;oBACX,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;wBAC5C,8BAA8B,EAAE,CAAC;wBACjC,SAAS;oBACX,CAAC;oBAED,qEAAqE;oBACrE,8DAA8D;oBAC9D,qEAAqE;oBACrE,qEAAqE;oBACrE,oEAAoE;oBACpE,4DAA4D;oBAC5D,IAAI,CAAC,CAAC,eAAe,KAAK,IAAI;wBAAE,SAAS;oBACzC,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC;oBACzF,IAAI,UAAU,KAAK,SAAS;wBAAE,SAAS;oBAEvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC9H,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,CAAC;YAED,0EAA0E;YAC1E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,KAAK,IAAI,EAAE;oBACvI,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;wBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACzB,MAAM,EAAE;iCACL,UAAU,CAAC,kBAAkB,CAAC;iCAC9B,MAAM,CAAC;gCACN,iBAAiB,EAAE,CAAC,CAAC,eAAe;gCACpC,iBAAiB,EAAE,CAAC,CAAC,MAAM;gCAC3B,cAAc,EAAE,CAAC,CAAC,IAAI;gCACtB,OAAO,EAAE,CAAC,CAAC,OAAO;gCAClB,eAAe,EAAE,CAAC,CAAC,KAAK;6BACzB,CAAC;iCACD,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,CACjB,EAAE,CAAC,OAAO,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gCAC5F,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC;gCACnC,eAAe,EAAE,EAAE,CAAC,GAAG,CAAC,0BAA0B,CAAC;6BACpD,CAAC,CAAC,CACJ;iCACA,OAAO,EAAE,CAAC;wBACf,CAAC;6BAAM,CAAC;4BACN,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE;iCACtB,UAAU,CAAC,OAAO,CAAC;iCACnB,MAAM,CAAC;gCACN,OAAO,EAAE,CAAC,CAAC,MAAM;gCACjB,KAAK,EAAE,CAAC,CAAC,IAAI;gCACb,SAAS,EAAE,gBAAgB;gCAC3B,UAAU,EAAE,SAAS;gCACrB,SAAS,EAAE,CAAC,CAAC,QAAQ;gCACrB,OAAO,EAAE,CAAC,CAAC,OAAO;6BACnB,CAAC;iCACD,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;iCAClC,OAAO,EAAE,CAAC;4BACb,yDAAyD;4BACzD,2DAA2D;4BAC3D,iEAAiE;4BACjE,+DAA+D;4BAC/D,gEAAgE;4BAChE,gCAAgC;4BAChC,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,wBAAwB,IAAI,EAAE,CAAC,CAAC;wBAClE,CAAC;oBACH,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YAED,gBAAgB,CAAC,IAAI,CAAC;gBACpB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM;gBACnC,cAAc,EAAE,MAAM,CAAC,MAAM;gBAC7B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,eAAe,EAAE,gBAAgB,CAAC,MAAM;YACxC,eAAe,EAAE,OAAO;YACxB,cAAc,EAAE,UAAU,CAAC,MAAM;YACjC,0BAA0B;YAC1B,aAAa;YACb,8BAA8B;YAC9B,qBAAqB;YACrB,UAAU;YACV,gBAAgB;YAChB,YAAY;YACZ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;SACjC,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC"}