contextpro-mcp 0.0.0-stage → 1.4.0

package/build/core/scip-index.js

@@ -0,0 +1,343 @@
+// Optional SCIP JSON index adapter for exact cross-language reference facts
+// FEATURE: SCIP import — normalize external code indexes into portable Context+ evidence
+import { createHash } from "crypto";
+import { mkdir, readFile } from "fs/promises";
+import { dirname } from "path";
+import { resolveProjectPath, toProjectRelativePath } from "./path-guard.js";
+import { writeFileAtomic } from "./artifacts.js";
+import { getDB } from "./db.js";
+export const DEFAULT_SCIP_CACHE_PATH = ".contextpro/scip-index.json";
+function asRecord(value) {
+    return value && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : null;
+}
+function getField(record, ...keys) {
+    for (const key of keys) {
+        if (Object.prototype.hasOwnProperty.call(record, key))
+            return record[key];
+    }
+    return undefined;
+}
+function asString(value) {
+    return typeof value === "string" && value.length > 0 ? value : undefined;
+}
+function asBoolean(value) {
+    return value === true;
+}
+function asArray(value) {
+    return Array.isArray(value) ? value : [];
+}
+function normalizeRelativeScipPath(path) {
+    return path.replace(/\\/g, "/").replace(/^\/+/, "") || ".";
+}
+function parseScipSymbolName(symbol) {
+    const parts = symbol.trim().split(/\s+/).filter(Boolean);
+    const descriptor = [...parts].reverse().find((part) => part !== "." && part !== "local") ?? symbol;
+    const segments = descriptor.split(/[\/#.:]/).map((part) => part.trim()).filter(Boolean);
+    const raw = segments.at(-1) ?? descriptor;
+    return raw.replace(/\(\)$/, "").replace(/[^\w$-]+$/g, "") || symbol.slice(0, 80);
+}
+export function scipSymbolDisplayName(symbol) {
+    return parseScipSymbolName(symbol);
+}
+function parseRange(value) {
+    const numbers = asArray(value)
+        .map((item) => Number(item))
+        .filter((item) => Number.isFinite(item));
+    if (numbers.length < 3)
+        return null;
+    if (numbers.length === 3) {
+        return {
+            line: numbers[0] + 1,
+            column: numbers[1] + 1,
+            endLine: numbers[0] + 1,
+            endColumn: numbers[2] + 1,
+        };
+    }
+    return {
+        line: numbers[0] + 1,
+        column: numbers[1] + 1,
+        endLine: numbers[2] + 1,
+        endColumn: numbers[3] + 1,
+    };
+}
+function parseSymbolRole(value) {
+    const numeric = Number(value ?? 0);
+    return Number.isFinite(numeric) && (numeric & 65) !== 0 ? "definition" : "reference";
+}
+function parseSignature(value) {
+    if (typeof value === "string")
+        return value;
+    const record = asRecord(value);
+    if (!record)
+        return undefined;
+    return asString(getField(record, "text", "markdown", "language"));
+}
+function parseDocumentation(value) {
+    if (typeof value === "string")
+        return value;
+    const entries = asArray(value).map((entry) => typeof entry === "string" ? entry : "").filter(Boolean);
+    return entries.length > 0 ? entries.join("\n") : undefined;
+}
+function parseRelationships(value) {
+    return asArray(value).flatMap((item) => {
+        const record = asRecord(item);
+        if (!record)
+            return [];
+        const targetSymbol = asString(getField(record, "symbol", "target_symbol", "targetSymbol"));
+        if (!targetSymbol)
+            return [];
+        return [{
+                targetSymbol,
+                isReference: asBoolean(getField(record, "is_reference", "isReference")),
+                isImplementation: asBoolean(getField(record, "is_implementation", "isImplementation")),
+                isTypeDefinition: asBoolean(getField(record, "is_type_definition", "isTypeDefinition")),
+                isDefinition: asBoolean(getField(record, "is_definition", "isDefinition")),
+            }];
+    });
+}
+function coerceNormalizedIndex(raw, sourcePath) {
+    const record = asRecord(raw);
+    if (!record || record.version !== 1 || !Array.isArray(record.symbols) || !Array.isArray(record.occurrences)) {
+        return null;
+    }
+    return {
+        version: 1,
+        sourcePath: asString(record.sourcePath) ?? sourcePath,
+        importedAt: asString(record.importedAt) ?? new Date().toISOString(),
+        documents: Number(record.documents ?? 0),
+        symbols: record.symbols.flatMap((item) => {
+            const symbol = asRecord(item);
+            if (!symbol || !asString(symbol.symbol) || !asString(symbol.name))
+                return [];
+            return [{
+                    symbol: asString(symbol.symbol),
+                    name: asString(symbol.name),
+                    kind: asString(symbol.kind),
+                    file: asString(symbol.file),
+                    line: typeof symbol.line === "number" ? symbol.line : undefined,
+                    documentation: asString(symbol.documentation),
+                    signature: asString(symbol.signature),
+                    relationships: parseRelationships(symbol.relationships),
+                }];
+        }),
+        occurrences: record.occurrences.flatMap((item) => {
+            const occurrence = asRecord(item);
+            if (!occurrence || !asString(occurrence.file) || !asString(occurrence.symbol) || !asString(occurrence.name))
+                return [];
+            const line = Number(occurrence.line);
+            const column = Number(occurrence.column);
+            if (!Number.isFinite(line) || !Number.isFinite(column))
+                return [];
+            return [{
+                    file: normalizeRelativeScipPath(asString(occurrence.file)),
+                    symbol: asString(occurrence.symbol),
+                    name: asString(occurrence.name),
+                    line,
+                    column,
+                    endLine: typeof occurrence.endLine === "number" ? occurrence.endLine : undefined,
+                    endColumn: typeof occurrence.endColumn === "number" ? occurrence.endColumn : undefined,
+                    role: occurrence.role === "definition" ? "definition" : "reference",
+                    syntaxKind: asString(occurrence.syntaxKind),
+                }];
+        }),
+    };
+}
+export function normalizeScipIndex(raw, sourcePath) {
+    const normalized = coerceNormalizedIndex(raw, sourcePath);
+    if (normalized)
+        return normalized;
+    const root = asRecord(raw);
+    const documents = asArray(root ? getField(root, "documents") : undefined);
+    const symbols = new Map();
+    const occurrences = [];
+    const ensureSymbol = (symbol, patch = {}) => {
+        const existing = symbols.get(symbol);
+        const next = {
+            symbol,
+            name: patch.name ?? existing?.name ?? parseScipSymbolName(symbol),
+            kind: patch.kind ?? existing?.kind,
+            file: patch.file ?? existing?.file,
+            line: patch.line ?? existing?.line,
+            documentation: patch.documentation ?? existing?.documentation,
+            signature: patch.signature ?? existing?.signature,
+            relationships: patch.relationships ?? existing?.relationships ?? [],
+        };
+        symbols.set(symbol, next);
+    };
+    for (const document of documents) {
+        const doc = asRecord(document);
+        if (!doc)
+            continue;
+        const path = asString(getField(doc, "relative_path", "relativePath", "path"));
+        if (!path)
+            continue;
+        const file = normalizeRelativeScipPath(path);
+        for (const item of asArray(getField(doc, "symbols"))) {
+            const record = asRecord(item);
+            const symbol = record ? asString(getField(record, "symbol")) : undefined;
+            if (!record || !symbol)
+                continue;
+            ensureSymbol(symbol, {
+                name: asString(getField(record, "display_name", "displayName", "name")) ?? parseScipSymbolName(symbol),
+                kind: asString(getField(record, "kind")),
+                documentation: parseDocumentation(getField(record, "documentation")),
+                signature: parseSignature(getField(record, "signature_documentation", "signatureDocumentation")),
+                relationships: parseRelationships(getField(record, "relationships")),
+            });
+        }
+        for (const item of asArray(getField(doc, "occurrences"))) {
+            const record = asRecord(item);
+            const symbol = record ? asString(getField(record, "symbol")) : undefined;
+            const range = record ? parseRange(getField(record, "range")) : null;
+            if (!record || !symbol || !range)
+                continue;
+            const role = parseSymbolRole(getField(record, "symbol_roles", "symbolRoles"));
+            const name = parseScipSymbolName(symbol);
+            const occurrence = {
+                file,
+                symbol,
+                name,
+                line: range.line,
+                column: range.column,
+                endLine: range.endLine,
+                endColumn: range.endColumn,
+                role,
+                syntaxKind: asString(getField(record, "syntax_kind", "syntaxKind")),
+            };
+            occurrences.push(occurrence);
+            ensureSymbol(symbol, role === "definition" ? { name, file, line: range.line } : { name });
+        }
+    }
+    return {
+        version: 1,
+        sourcePath,
+        importedAt: new Date().toISOString(),
+        documents: documents.length,
+        symbols: [...symbols.values()].sort((a, b) => a.symbol.localeCompare(b.symbol)),
+        occurrences: occurrences.sort((a, b) => a.file.localeCompare(b.file) || a.line - b.line || a.column - b.column),
+    };
+}
+export async function importScipIndex(rootDir, indexPath) {
+    const sourceFullPath = resolveProjectPath(rootDir, indexPath, "index_path");
+    const sourcePath = toProjectRelativePath(rootDir, sourceFullPath, "index_path");
+    let raw;
+    try {
+        raw = JSON.parse(await readFile(sourceFullPath, "utf-8"));
+    }
+    catch (error) {
+        if (error instanceof SyntaxError) {
+            throw new Error(`scip_import: failed to parse "${sourcePath}" as JSON: ${error.message}. Re-export the SCIP index and try again.`);
+        }
+        throw error;
+    }
+    const index = normalizeScipIndex(raw, sourcePath);
+    const cachePath = resolveProjectPath(rootDir, DEFAULT_SCIP_CACHE_PATH, "scip cache");
+    await mkdir(dirname(cachePath), { recursive: true });
+    await writeFileAtomic(cachePath, JSON.stringify(index, null, 2) + "\n");
+    // A SCIP import changes what buildProjectGraph/exact_references produce (new resolved
+    // references, possibly new file nodes) without touching any file's content hash, so it
+    // needs to bump the index generation itself — otherwise generation-keyed caches (the
+    // project graph cache, artifact freshness checks) would keep serving pre-import results.
+    const db = await getDB(rootDir);
+    db.bumpIndexGeneration();
+    return { cachePath, index };
+}
+export async function loadScipIndex(rootDir, indexPath) {
+    const candidates = indexPath
+        ? [indexPath]
+        : [DEFAULT_SCIP_CACHE_PATH, ".contextpro/index.scip.json", "index.scip.json"];
+    for (const candidate of candidates) {
+        try {
+            const fullPath = resolveProjectPath(rootDir, candidate, "scip index");
+            const sourcePath = toProjectRelativePath(rootDir, fullPath, "scip index");
+            const raw = JSON.parse(await readFile(fullPath, "utf-8"));
+            return normalizeScipIndex(raw, sourcePath);
+        }
+        catch (error) {
+            if (error instanceof SyntaxError) {
+                process.stderr.write(`[contextpro/scip] cache corrupt at "${candidate}": ${error.message}. Re-import via scip_import.\n`);
+                return null;
+            }
+            const code = error.code;
+            if (code && code !== "ENOENT")
+                throw error;
+        }
+    }
+    return null;
+}
+async function readContextLine(rootDir, file, line) {
+    try {
+        const fullPath = resolveProjectPath(rootDir, file, "reference file");
+        const content = await readFile(fullPath, "utf-8");
+        return content.split("\n")[Math.max(0, line - 1)]?.trim().slice(0, 160) ?? "";
+    }
+    catch {
+        return "";
+    }
+}
+function symbolDigest(symbol) {
+    return createHash("sha1").update(symbol).digest("hex").slice(0, 16);
+}
+export function scipSymbolNodeId(symbol) {
+    return `symbol:scip:${symbolDigest(symbol)}`;
+}
+export async function findScipReferences(options) {
+    const index = await loadScipIndex(options.rootDir, options.indexPath);
+    if (!index)
+        return null;
+    const file = options.file ? toProjectRelativePath(options.rootDir, options.file, "file") : undefined;
+    const targetSymbols = new Set();
+    if (file && options.line) {
+        for (const occurrence of index.occurrences) {
+            if (occurrence.file !== file)
+                continue;
+            if (occurrence.line !== options.line)
+                continue;
+            if (occurrence.name === options.symbolName || occurrence.symbol.includes(options.symbolName)) {
+                targetSymbols.add(occurrence.symbol);
+            }
+        }
+    }
+    if (targetSymbols.size === 0) {
+        for (const symbol of index.symbols) {
+            if (symbol.name === options.symbolName || symbol.symbol.includes(options.symbolName)) {
+                targetSymbols.add(symbol.symbol);
+            }
+        }
+    }
+    if (targetSymbols.size === 0) {
+        for (const occurrence of index.occurrences) {
+            if (occurrence.name === options.symbolName)
+                targetSymbols.add(occurrence.symbol);
+        }
+    }
+    if (targetSymbols.size === 0)
+        return null;
+    const limit = Math.max(1, Math.min(options.limit ?? 100, 500));
+    const allOccurrences = index.occurrences
+        .filter((occurrence) => targetSymbols.has(occurrence.symbol))
+        .sort((a, b) => Number(b.role === "definition") - Number(a.role === "definition") || a.file.localeCompare(b.file) || a.line - b.line || a.column - b.column);
+    const occurrences = allOccurrences.slice(0, limit);
+    const references = [];
+    for (const occurrence of occurrences) {
+        references.push({
+            file: occurrence.file,
+            line: occurrence.line,
+            column: occurrence.column,
+            context: await readContextLine(options.rootDir, occurrence.file, occurrence.line),
+            isDefinition: occurrence.role === "definition",
+            confidence: "SCIP_RESOLVED",
+            symbol: occurrence.symbol,
+        });
+    }
+    return {
+        symbol: options.symbolName,
+        total: allOccurrences.length,
+        symbols: [...targetSymbols].sort(),
+        confidence: "SCIP_RESOLVED",
+        references,
+    };
+}
+//# sourceMappingURL=scip-index.js.map

package/build/core/scip-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scip-index.js","sourceRoot":"","sources":["../../src/core/scip-index.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,yFAAyF;AAEzF,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,MAAM,CAAC,MAAM,uBAAuB,GAAG,6BAA6B,CAAC;AAiErE,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAChE,CAAC,CAAC,KAAgC;QAClC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,MAA+B,EAAE,GAAG,IAAc;IAClE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAY;IAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAc;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,OAAO,CAAC,IAAI,MAAM,CAAC;IACnG,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;IAC1C,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC;SAC3B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;SAC3B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACpB,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACtB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YACvB,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;SAC1B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACpB,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACtB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACvB,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;AACvF,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtG,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvB,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC;QAC7B,OAAO,CAAC;gBACN,YAAY;gBACZ,WAAW,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC;gBACvE,gBAAgB,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC;gBACtF,gBAAgB,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAC;gBACvF,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC;aAC3E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAY,EAAE,UAAkB;IAC7D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5G,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,OAAO,EAAE,CAAC;QACV,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,UAAU;QACrD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;QACxC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC7E,OAAO,CAAC;oBACN,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAE;oBAChC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAE;oBAC5B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC3B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC3B,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;oBAC/D,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC;oBAC7C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC;oBACrC,aAAa,EAAE,kBAAkB,CAAC,MAAM,CAAC,aAAa,CAAC;iBACxD,CAAC,CAAC;QACL,CAAC,CAAC;QACF,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC/C,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACvH,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,EAAE,CAAC;YAClE,OAAO,CAAC;oBACN,IAAI,EAAE,yBAAyB,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC;oBAC3D,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAE;oBACpC,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAE;oBAChC,IAAI;oBACJ,MAAM;oBACN,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBAChF,SAAS,EAAE,OAAO,UAAU,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;oBACtF,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW;oBACnE,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC;iBAC5C,CAAC,CAAC;QACL,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAY,EAAE,UAAkB;IACjE,MAAM,UAAU,GAAG,qBAAqB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAElC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgC,CAAC;IACxD,MAAM,WAAW,GAA+B,EAAE,CAAC;IAEnD,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,QAAuC,EAAE,EAAE,EAAE;QACjF,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,IAAI,GAAyB;YACjC,MAAM;YACN,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,IAAI,IAAI,mBAAmB,CAAC,MAAM,CAAC;YACjE,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,IAAI;YAClC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,IAAI;YAClC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ,EAAE,IAAI;YAClC,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,QAAQ,EAAE,aAAa;YAC7D,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,QAAQ,EAAE,SAAS;YACjD,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,QAAQ,EAAE,aAAa,IAAI,EAAE;SACpE,CAAC;QACF,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAE7C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzE,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;gBAAE,SAAS;YACjC,YAAY,CAAC,MAAM,EAAE;gBACnB,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,IAAI,mBAAmB,CAAC,MAAM,CAAC;gBACtG,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBACxC,aAAa,EAAE,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;gBACpE,SAAS,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,EAAE,wBAAwB,CAAC,CAAC;gBAChG,aAAa,EAAE,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;aACrE,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACpE,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;gBAAE,SAAS;YAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,UAAU,GAA6B;gBAC3C,IAAI;gBACJ,MAAM;gBACN,IAAI;gBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,IAAI;gBACJ,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;aACpE,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,YAAY,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC;QACV,UAAU;QACV,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/E,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;KAChH,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAAe,EAAE,SAAiB;IACtE,MAAM,cAAc,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IAChF,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,iCAAiC,UAAU,cAAc,KAAK,CAAC,OAAO,2CAA2C,CAAC,CAAC;QACrI,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,EAAE,uBAAuB,EAAE,YAAY,CAAC,CAAC;IACrF,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACxE,sFAAsF;IACtF,uFAAuF;IACvF,qFAAqF;IACrF,yFAAyF;IACzF,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,EAAE,CAAC,mBAAmB,EAAE,CAAC;IACzB,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAe,EAAE,SAAkB;IACrE,MAAM,UAAU,GAAG,SAAS;QAC1B,CAAC,CAAC,CAAC,SAAS,CAAC;QACb,CAAC,CAAC,CAAC,uBAAuB,EAAE,6BAA6B,EAAE,iBAAiB,CAAC,CAAC;IAChF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;YACtE,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAY,CAAC;YACrE,OAAO,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;gBACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,uCAAuC,SAAS,MAAM,KAAK,CAAC,OAAO,gCAAgC,CAAC,CAAC;gBAC1H,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI,CAAC;YACnD,IAAI,IAAI,IAAI,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,OAAe,EAAE,IAAY,EAAE,IAAY;IACxE,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACrE,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAChF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,eAAe,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAOxC;IACC,MAAM,KAAK,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACvC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;gBAAE,SAAS;YAC/C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC7F,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrF,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU;gBAAE,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW;SACrC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;SAC5D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/J,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,OAAO,EAAE,MAAM,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;YACjF,YAAY,EAAE,UAAU,CAAC,IAAI,KAAK,YAAY;YAC9C,UAAU,EAAE,eAAe;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,UAAU;QAC1B,KAAK,EAAE,cAAc,CAAC,MAAM;QAC5B,OAAO,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE;QAClC,UAAU,EAAE,eAAe;QAC3B,UAAU;KACX,CAAC;AACJ,CAAC"}

package/build/core/semantic-diff.d.ts

@@ -0,0 +1,32 @@
+export type SymbolChange = "added" | "removed" | "modified" | "moved";
+export interface SemanticSymbolChange {
+    name: string;
+    kind: string;
+    change: SymbolChange;
+    /** New-side line (or old-side line for removals). */
+    line: number;
+    signature: string | null;
+}
+export interface SemanticFileDiff {
+    path: string;
+    status: "added" | "removed" | "modified";
+    symbols: SemanticSymbolChange[];
+}
+export interface SemanticDiffSummary {
+    filesChanged: number;
+    added: number;
+    removed: number;
+    modified: number;
+    moved: number;
+}
+export interface SemanticDiffResult {
+    ref: string;
+    files: SemanticFileDiff[];
+    summary: SemanticDiffSummary;
+}
+export interface SemanticDiffOptions {
+    /** Git ref to diff the working tree against (e.g. "HEAD", "main"). */
+    since?: string;
+}
+export declare function computeSemanticDiff(rootDir: string, options?: SemanticDiffOptions): Promise<SemanticDiffResult>;
+//# sourceMappingURL=semantic-diff.d.ts.map

package/build/core/semantic-diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-diff.d.ts","sourceRoot":"","sources":["../../src/core/semantic-diff.ts"],"names":[],"mappings":"AA6BA,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;AAEtE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,YAAY,CAAC;IACrB,qDAAqD;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,CAAC;IACzC,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,OAAO,EAAE,mBAAmB,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAClC,sEAAsE;IACtE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAuND,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,kBAAkB,CAAC,CAmD7B"}

package/build/core/semantic-diff.js

@@ -0,0 +1,259 @@
+// semantic_diff — AST-level symbol change detection between git revisions.
+//
+// FEATURE: A line-based git diff tells an agent which LINES changed; it cannot
+// say which SYMBOLS changed, and it flags pure reformatting as a change. This
+// computes, per changed file, which symbols were added / removed / modified
+// (body actually changed) / moved (only relocated), by parsing BOTH the old blob
+// and the new content with tree-sitter and diffing the symbol sets. Output is
+// token-lean and pairs with change_impact/blast_radius (what changed → what it
+// affects). Reformatting that leaves symbol bodies semantically identical is
+// intentionally ignored.
+//
+// KNOWN LIMITATIONS (modified-vs-reformatted is a heuristic, not a tokenizer):
+//   - A whitespace-only edit INSIDE a regexp literal (`/a - b/` → `/a-b/`) is not
+//     detected — telling a regex from a `/` division reliably needs full
+//     tokenization; masking it heuristically risks corrupting real code comparison.
+//   - The fingerprint is regex-based, not an AST-node hash, so exotic formatting
+//     edge cases may slip through. The complete fix is per-node structural hashing
+//     via the tree-sitter parse (a larger follow-up); the current heuristic covers
+//     the common cases (string/template literals, indentation, punctuation spacing)
+//     and is validated by the test suite.
+import { execFile } from "child_process";
+import { promisify } from "util";
+import { readFile } from "fs/promises";
+import { analyzeContent, flattenSymbols, isSupportedFile } from "./parser.js";
+import { resolveProjectPath } from "./path-guard.js";
+const execFileAsync = promisify(execFile);
+function symbolKey(symbol) {
+    // Include parent context so a class method (Foo.bar) is keyed distinctly from a
+    // top-level bar — and so method add/remove/modify is reported as a method change,
+    // not collapsed into a coarse change on the enclosing class.
+    return `${symbol.kind}:${symbol.parentName ? `${symbol.parentName}.` : ""}${symbol.name}`;
+}
+function displayName(symbol) {
+    return symbol.parentName ? `${symbol.parentName}.${symbol.name}` : symbol.name;
+}
+// Languages where leading indentation is syntactically significant — there, the
+// indentation level is part of the meaning and must survive into the fingerprint.
+const INDENT_SIGNIFICANT_EXTS = new Set([".py", ".pyi", ".yaml", ".yml", ".coffee", ".hs", ".elm", ".fs", ".nim"]);
+/**
+ * A formatting-insensitive — but NOT whitespace-blind — view of a symbol's source
+ * span. String/char literals are EXTRACTED first (in both branches) and replaced
+ * with a word-only placeholder, so neither the whitespace-collapse (indent branch)
+ * nor the punctuation-strip (free-form branch) can rewrite their contents. The
+ * captured literals are appended verbatim, so any in-string edit — "a  b"->"a b",
+ * "a - b"->"a-b", "a -b"->"a- b" — still changes the fingerprint, while pure code
+ * reformatting does not. For indentation-significant languages we also keep per-line
+ * indent DEPTH (block structure is semantic); free-form languages collapse layout.
+ */
+function bodyFingerprint(symbol, lines, path) {
+    const start = Math.max(0, symbol.line - 1);
+    const end = Math.min(lines.length, Math.max(symbol.endLine, symbol.line));
+    const span = lines.slice(start, end);
+    const ext = path.slice(path.lastIndexOf(".")).toLowerCase();
+    const literals = [];
+    // An order-sensitive serialization of captured literals, appended to the
+    // fingerprint so an edit INSIDE any literal changes it.
+    const tail = () => (literals.length > 0 ? "_LITS_" + literals.join("_LITSEP_") : "");
+    if (INDENT_SIGNIFICANT_EXTS.has(ext)) {
+        // Indentation is semantic here, so we keep per-line structure. Mask single-line
+        // literals per line; multiline literals are rare in these languages and fall
+        // through to whitespace-collapse (acceptable, documented limitation). Use the
+        // EXACT indent width as the depth marker so e.g. 2-space vs 3-space — a real
+        // block-level change — produces different fingerprints (no /2 bucketing).
+        const body = span
+            .map((line) => maskStringLiterals(line, literals))
+            .map((line) => {
+            const indentRun = line.match(/^[ \t]*/);
+            const indent = (indentRun ? indentRun[0] : "").replace(/\t/g, "  ").length;
+            const content = line.trim().replace(/[ \t]+/g, " ");
+            return content.length > 0 ? "I".repeat(indent) + ">" + content : "";
+        })
+            .filter((line) => line.length > 0)
+            .join("\n");
+        return body + tail();
+    }
+    // Free-form languages: mask literals across the WHOLE span first (joined with
+    // newlines), so a MULTILINE template literal is captured as one literal and its
+    // contents can't be rewritten by normalization. Then collapse layout (multi-line
+    // vs single-line, trailing ws) and strip whitespace adjacent to punctuation
+    // (`(){`, `() {`, `; }` all match). Note: regexp literals are NOT masked — telling
+    // a `/…/` regex from a `/` division reliably needs full tokenization, so a
+    // whitespace-only edit inside a regex literal is a known, narrow blind spot.
+    const masked = maskStringLiterals(span.join("\n"), literals);
+    const joined = masked.split("\n").map((line) => line.trim()).filter((line) => line.length > 0).join(" ");
+    return joined.replace(/[ \t]*([^\w\s])[ \t]*/g, "$1") + tail();
+}
+// A placeholder made of word characters only, so neither whitespace-collapse nor
+// punctuation-strip normalization can alter or split it.
+function literalPlaceholder(index) {
+    return "LIT" + index + "LIT";
+}
+/**
+ * Replace each '…', "…", or `…` literal in `text` with a word-only placeholder,
+ * pushing the verbatim literal (quotes included) into `literals`. Escaped quotes
+ * inside a literal are handled. The placeholder survives all later normalization;
+ * the captured literal is what makes an in-string edit change the fingerprint.
+ */
+function maskStringLiterals(text, literals) {
+    return text.replace(/(["'`])(?:\\.|(?!\1)[\s\S])*\1/g, (lit) => {
+        const placeholder = literalPlaceholder(literals.length);
+        literals.push(lit);
+        return placeholder;
+    });
+}
+async function gitDiffNameStatus(rootDir, ref) {
+    try {
+        const { stdout } = await execFileAsync("git", ["diff", "--name-status", ref], {
+            cwd: rootDir,
+            timeout: 15000,
+            maxBuffer: 1024 * 1024,
+        });
+        return stdout
+            .trim()
+            .split("\n")
+            .filter((line) => line.trim().length > 0)
+            .map((line) => {
+            const parts = line.split("\t");
+            const status = parts[0].trim();
+            // Rename (R###) and copy (C###) records carry TWO paths: old then new.
+            // The new-side path is what exists in the working tree; the old-side path
+            // is where the OLD blob lives. Without this, the tab-joined "old\tnew"
+            // path breaks both `git show <ref>:<path>` and the working-tree read.
+            if (/^[RC]\d*/.test(status) && parts.length >= 3) {
+                return { status, oldPath: parts[1].trim(), path: parts[2].trim() };
+            }
+            return { status, path: parts.slice(1).join("\t").trim() };
+        });
+    }
+    catch (error) {
+        // git exits 128 for an unresolvable ref (a typo'd baseline like `mian`). An
+        // EMPTY diff exits 0, so reaching here means the ref/command genuinely failed —
+        // surface it instead of silently reporting "no changes" and skipping review.
+        throw new Error(`semantic_diff: could not diff against '${ref}' — ${error instanceof Error ? error.message.split("\n")[0] : String(error)}`);
+    }
+}
+async function gitUntrackedFiles(rootDir) {
+    try {
+        const { stdout } = await execFileAsync("git", ["ls-files", "--others", "--exclude-standard"], {
+            cwd: rootDir,
+            timeout: 10000,
+            maxBuffer: 1024 * 1024,
+        });
+        return stdout.trim().split("\n").map((l) => l.trim()).filter((l) => l.length > 0);
+    }
+    catch {
+        return [];
+    }
+}
+async function gitShow(rootDir, ref, path) {
+    try {
+        const { stdout } = await execFileAsync("git", ["show", `${ref}:${path}`], {
+            cwd: rootDir,
+            timeout: 15000,
+            maxBuffer: 4 * 1024 * 1024,
+        });
+        return stdout;
+    }
+    catch {
+        return null;
+    }
+}
+async function readWorkingTree(rootDir, path) {
+    try {
+        const full = resolveProjectPath(rootDir, path, "semantic-diff file");
+        return await readFile(full, "utf-8");
+    }
+    catch {
+        return null;
+    }
+}
+function classifyFile(oldSymbols, oldLines, newSymbols, newLines, path) {
+    const changes = [];
+    const oldByKey = new Map(oldSymbols.map((s) => [symbolKey(s), s]));
+    const newByKey = new Map(newSymbols.map((s) => [symbolKey(s), s]));
+    for (const newSym of newSymbols) {
+        const key = symbolKey(newSym);
+        const oldSym = oldByKey.get(key);
+        if (!oldSym) {
+            changes.push({ name: displayName(newSym), kind: newSym.kind, change: "added", line: newSym.line, signature: newSym.signature });
+            continue;
+        }
+        // Compare formatting-insensitive body fingerprints. The signature text is itself
+        // formatting-sensitive (tree-sitter captures it differently across layouts), so
+        // relying on it would flag pure reformatting; the fingerprint already includes
+        // the signature line, so a real signature change still shows up as a body change.
+        const oldBody = bodyFingerprint(oldSym, oldLines, path);
+        const newBody = bodyFingerprint(newSym, newLines, path);
+        if (oldBody !== newBody) {
+            changes.push({ name: displayName(newSym), kind: newSym.kind, change: "modified", line: newSym.line, signature: newSym.signature });
+        }
+        else if (oldSym.line !== newSym.line) {
+            changes.push({ name: displayName(newSym), kind: newSym.kind, change: "moved", line: newSym.line, signature: newSym.signature });
+        }
+    }
+    for (const oldSym of oldSymbols) {
+        if (!newByKey.has(symbolKey(oldSym))) {
+            changes.push({ name: displayName(oldSym), kind: oldSym.kind, change: "removed", line: oldSym.line, signature: oldSym.signature });
+        }
+    }
+    // Suppress coarse parent-container "modified" entries when the real change is in
+    // a member. A class whose method changed has a different full-body fingerprint
+    // and would otherwise be reported as modified ON TOP OF the precise method
+    // change, polluting the token-lean member-level summary. If any change targets a
+    // descendant (name starts with "<parent>."), drop the parent's own "modified".
+    const changedNames = new Set(changes.map((c) => c.name));
+    return changes.filter((c) => {
+        if (c.change !== "modified")
+            return true;
+        const hasChangedMember = [...changedNames].some((other) => other !== c.name && other.startsWith(`${c.name}.`));
+        return !hasChangedMember;
+    });
+}
+export async function computeSemanticDiff(rootDir, options = {}) {
+    const ref = options.since ?? "HEAD";
+    const tracked = await gitDiffNameStatus(rootDir, ref);
+    // `git diff` omits untracked files, but "what changed since main" must include
+    // brand-new files an agent just created — surface them as additions.
+    const trackedPaths = new Set(tracked.map((e) => e.path));
+    const untracked = (await gitUntrackedFiles(rootDir))
+        .filter((path) => !trackedPaths.has(path))
+        .map((path) => ({ status: "A", path }));
+    const entries = [...tracked, ...untracked].filter((e) => isSupportedFile(e.path));
+    const files = [];
+    for (const entry of entries) {
+        const isDelete = entry.status.startsWith("D");
+        const isAdd = entry.status.startsWith("A");
+        const oldRaw = isAdd ? null : await gitShow(rootDir, ref, entry.oldPath ?? entry.path);
+        const newRaw = isDelete ? null : await readWorkingTree(rootDir, entry.path);
+        const oldAnalysis = oldRaw != null ? await analyzeContent(entry.oldPath ?? entry.path, oldRaw) : null;
+        const newAnalysis = newRaw != null ? await analyzeContent(entry.path, newRaw) : null;
+        // Flatten nested symbols (class methods, etc.) so a method change is reported
+        // as a method change, not collapsed into a coarse change on its parent class.
+        const oldSymbols = oldAnalysis ? flattenSymbols(oldAnalysis.symbols) : [];
+        const newSymbols = newAnalysis ? flattenSymbols(newAnalysis.symbols) : [];
+        const oldLines = (oldRaw ?? "").split("\n");
+        const newLines = (newRaw ?? "").split("\n");
+        const symbols = classifyFile(oldSymbols, oldLines, newSymbols, newLines, entry.path);
+        if (symbols.length === 0 && !isAdd && !isDelete)
+            continue;
+        files.push({
+            path: entry.path,
+            status: isAdd ? "added" : isDelete ? "removed" : "modified",
+            symbols,
+        });
+    }
+    const summary = {
+        filesChanged: files.length,
+        added: 0,
+        removed: 0,
+        modified: 0,
+        moved: 0,
+    };
+    for (const file of files) {
+        for (const sym of file.symbols)
+            summary[sym.change] += 1;
+    }
+    return { ref, files, summary };
+}
+//# sourceMappingURL=semantic-diff.js.map