optiprune 2.1.4 → 2.1.7

package/dist/index.js

@@ -1,451 +0,0 @@
-import { promises as fs } from "node:fs";
-import path from "pathe";
-import { fileURLToPath } from "node:url";
-import { parseModule, walkAst } from "./parser.js";
-import { contextWithGraph, buildImportUsage } from "./graph.js";
-import { analyzeLayer2 } from "./layer2.js";
-import { analyzeLayer3 } from "./layer3.js";
-import { analyzeLayer4 } from "./layer4.js";
-import { analyzeLayer5 } from "./layer5.js";
-import { analyzeLayer6 } from "./layer6.js";
-import { analyzeLayer7 } from "./layer7.js";
-import { SemanticGraph } from "./semantic-graph.js";
-import { TopologyManager } from "./topology-manager.js";
-import { SymbolicEngine } from "./symbolic-engine.js";
-import { buildMonorepoTopology } from "./workspace.js";
-import { PluginEngine, ZodPlugin } from "./engine.js";
-import { ReactPlugin, NextjsPlugin, NuxtPlugin } from "./framework-plugins.js";
-import { loadCache, saveCache, getFileHash, isCacheValid } from "./cache.js";
-import { compileGlobs, conventionalEntryPatterns, DEFAULT_IGNORE, discoverPackageEntryPatterns, discoverSourceFiles, expandEntryPatterns, ingestTsConfigPaths, normalizeAbsolute, readJsonFile, relativeDisplayPath, rootLooksValid, } from "./fs-utils.js";
-import { CONFIDENCE_RANK } from "./types.js";
-const __dirname = path.dirname(fileURLToPath(import.meta.url));
-const pkg = (await readJsonFile(path.join(__dirname, "..", "package.json")));
-const VERSION = pkg?.version ?? "1.8.2";
-import { DEFAULT_CONFIG, loadConfig, mergeConfig } from "./config-loader.js";
-async function resolveOptions(options) {
-    const rootDir = normalizeAbsolute(options.rootDir ?? process.cwd());
-    const userConfig = await loadConfig(rootDir);
-    const merged = mergeConfig(DEFAULT_CONFIG, {
-        ...userConfig,
-        ...options,
-        rootDir,
-    });
-    // Map top-level skip flags from CLI/Options to layers object
-    if (options.skip3 !== undefined)
-        merged.layers.skip3 = options.skip3;
-    if (options.skip4 !== undefined)
-        merged.layers.skip4 = options.skip4;
-    const { paths: pathAliases, baseUrl } = await ingestTsConfigPaths(rootDir);
-    return {
-        ...merged,
-        entry: merged.entry?.map((entry) => normalizeAbsolute(path.resolve(rootDir, entry))) ?? [],
-        ignore: [...DEFAULT_IGNORE, ...(merged.ignore ?? [])],
-        pathAliases,
-        baseUrl,
-    };
-}
-export async function analyze(options) {
-    const resolvedOptions = await resolveOptions(options);
-    const cache = loadCache(resolvedOptions.rootDir);
-    const newCache = { version: "1.0", entries: {} };
-    // Phase 1: Core Graph & AST (Instant)
-    // Discover Monorepo Topology
-    let hasMonorepo = false;
-    try {
-        resolvedOptions.monorepo = await buildMonorepoTopology(resolvedOptions.rootDir);
-        hasMonorepo = !!resolvedOptions.monorepo;
-    }
-    catch (e) {
-        // console.error(`[Monorepo] Discovery failed: ${e}`);
-    }
-    const { rootDir, extensions, ignore, entry, includeConventionalEntries } = resolvedOptions;
-    const compiledIgnorePatterns = compileGlobs(ignore);
-    if (!(await rootLooksValid(rootDir))) {
-        throw new Error(`Root directory does not exist: ${rootDir}`);
-    }
-    const allSourceFiles = await discoverSourceFiles(rootDir, extensions, compiledIgnorePatterns);
-    const modules = new Map();
-    const semanticGraph = new SemanticGraph();
-    const topologyManager = new TopologyManager(semanticGraph);
-    const symbolicEngine = new SymbolicEngine(semanticGraph);
-    let filesParsed = 0;
-    let filesRecovered = 0;
-    let filesFallback = 0;
-    let hasFrameworkNodes = false;
-    for (const file of allSourceFiles) {
-        let rawText;
-        try {
-            // BOM-safe file reader to prevent Babel/TS AST parse recovery warnings
-            rawText = await fs.readFile(file, "utf8");
-        }
-        catch (e) {
-            if (e.code === 'ENOENT')
-                continue;
-            throw e;
-        }
-        const sourceText = rawText.charCodeAt(0) === 0xFEFF ? rawText.slice(1) : rawText;
-        const currentHash = getFileHash(sourceText);
-        let moduleRecord;
-        const cached = cache.entries[file];
-        if (cached && isCacheValid(cached, sourceText)) {
-            moduleRecord = cached.moduleRecord;
-            newCache.entries[file] = cached;
-        }
-        else {
-            moduleRecord = parseModule(sourceText, file);
-            newCache.entries[file] = {
-                hash: currentHash,
-                moduleRecord,
-                timestamp: Date.now()
-            };
-        }
-        modules.set(file, moduleRecord);
-        if (moduleRecord.parseStatus === "parsed") {
-            filesParsed += 1;
-            // Quick framework detection for Layer 5 gating
-            if (!hasFrameworkNodes && moduleRecord.ast) {
-                walkAst(moduleRecord.ast, (rawNode) => {
-                    const node = rawNode;
-                    const isDecorator = !!node.decorators || (Array.isArray(node.modifiers) && node.modifiers.some((m) => m.type === 'Decorator' || m.kind === 'Decorator'));
-                    const isZodCall = node.type === "CallExpression" && ((node.callee?.type === "MemberExpression" && (node.callee.object?.name === "z" || node.callee.object?.name === "zod")) ||
-                        (node.callee?.type === "Identifier" && (node.callee.name === "z" || node.callee.name.startsWith("zod"))));
-                    if (isDecorator || isZodCall) {
-                        hasFrameworkNodes = true;
-                        return true;
-                    }
-                });
-            }
-        }
-        else if (moduleRecord.parseStatus === "recovered") {
-            filesRecovered += 1;
-        }
-        else {
-            filesFallback += 1;
-        }
-    }
-    saveCache(resolvedOptions.rootDir, newCache);
-    let entryPoints = new Set();
-    const publicEntryPoints = new Set();
-    // 1. Explicit Entry Points
-    if (entry.length > 0) {
-        for (const pattern of entry) {
-            const expanded = expandEntryPatterns(allSourceFiles, rootDir, [pattern]);
-            for (const e of expanded) {
-                entryPoints.add(path.normalize(e));
-            }
-        }
-    }
-    // 2. Conventional Entry Points (Public)
-    // Helper to add patterns relative to a base directory
-    const addPatterns = async (baseDir, relativeToRoot = "", isRoot = false) => {
-        const rawEntries = await discoverPackageEntryPatterns(baseDir);
-        const entries = rawEntries.flatMap(e => {
-            if (e.startsWith('dist/')) {
-                const srcEntry = e.replace('dist/', 'src/').replace(/\.js$/, '.ts').replace(/\.jsx$/, '.tsx');
-                return [e, srcEntry];
-            }
-            return [e];
-        });
-        for (const pattern of [...entries, ...conventionalEntryPatterns()]) {
-            const adjustedPattern = (relativeToRoot && !pattern.startsWith('/'))
-                ? path.posix.join(relativeToRoot, pattern)
-                : pattern;
-            const expanded = expandEntryPatterns(allSourceFiles, rootDir, [adjustedPattern]);
-            for (const e of expanded) {
-                const normalized = path.normalize(e);
-                if (isRoot && includeConventionalEntries) {
-                    entryPoints.add(normalized);
-                }
-                // Monorepo package entries are ALWAYS publicEntryPoints to protect their API
-                publicEntryPoints.add(normalized);
-            }
-        }
-    };
-    // Root entries
-    await addPatterns(rootDir, "", true);
-    // Monorepo sub-package entries
-    if (resolvedOptions.monorepo) {
-        for (const pkg of resolvedOptions.monorepo.packageMap.values()) {
-            const relativeToRoot = path.posix.relative(rootDir, pkg.location);
-            await addPatterns(pkg.location, relativeToRoot, false);
-        }
-    }
-    const findings = [];
-    if (entryPoints.size === 0) {
-        findings.push({
-            rule: "no-entry-points",
-            severity: "warning",
-            confidence: "info",
-            message: "No entry points found or configured. All files will be considered unreachable.",
-            file: rootDir,
-            evidence: {},
-        });
-    }
-    const context = contextWithGraph(modules, entryPoints, resolvedOptions);
-    context.publicEntryPoints = publicEntryPoints;
-    context.semanticGraph = semanticGraph;
-    context.symbolicContracts = new Map();
-    // Gated Layer 2: Plugin-based Instruction Engine (Hardening)
-    const pluginEngine = new PluginEngine();
-    pluginEngine.register(ZodPlugin);
-    pluginEngine.register(ReactPlugin);
-    pluginEngine.register(NextjsPlugin);
-    pluginEngine.register(NuxtPlugin);
-    const pluginFindings = await pluginEngine.run(context);
-    findings.push(...pluginFindings);
-    // Headless Living Graph Engine: Initial Ingestion
-    for (const module of modules.values()) {
-        const fileNode = {
-            id: SemanticGraph.generateLei(module.id, 'File'),
-            contentHash: SemanticGraph.generateContentHash(module.sourceText),
-            type: 'File',
-            name: module.id,
-            fileId: module.id,
-            metadata: {},
-            incomingReferences: [],
-            outgoingReferences: []
-        };
-        semanticGraph.addNode(fileNode);
-    }
-    // Gated Layer 5: Schema Alignment
-    if (hasFrameworkNodes || resolvedOptions.externalContracts?.length) {
-        await analyzeLayer5(context);
-    }
-    // Gated Layer 6: Dependency & Boundary Engine
-    if (hasMonorepo || allSourceFiles.some(f => f.endsWith('.d.ts'))) {
-        const layer6Findings = await analyzeLayer6(context);
-        findings.push(...layer6Findings);
-    }
-    // Layer 2: Control Flow Graph (CFG)
-    const layer2Findings = analyzeLayer2(context);
-    findings.push(...layer2Findings);
-    // Phase 2: Layer 3 (Conditional Z3 SMT)
-    if (!resolvedOptions.layers.skip3) {
-        const layer3Findings = await analyzeLayer3(context);
-        findings.push(...layer3Findings);
-    }
-    // Phase 3: Layer 4 (node:vm sandbox)
-    if (!resolvedOptions.layers.skip4) {
-        const layer4Findings = await analyzeLayer4(context);
-        findings.push(...layer4Findings);
-    }
-    // Phase 4: Layer 7 (Non-Standard Entry & Implicit Binding Engine)
-    const layer7Findings = await analyzeLayer7(context);
-    findings.push(...layer7Findings);
-    // Phase 5: Headless Living Graph Engine (Symbolic Evaluation)
-    const symbolicFindings = await symbolicEngine.evaluateContracts(context);
-    findings.push(...symbolicFindings);
-    // Add parser and resolution findings after all layers had a chance to resolve them
-    for (const module of modules.values()) {
-        for (const diagnostic of module.parseDiagnostics) {
-            findings.push({
-                rule: "parse-recovery",
-                severity: diagnostic.recovered ? "info" : "error",
-                confidence: diagnostic.recovered ? "low" : "high",
-                message: "Parse " + (diagnostic.recovered ? "recovered with errors" : "failed") + ": " + diagnostic.message,
-                file: diagnostic.file,
-                ...(diagnostic.location && { location: diagnostic.location }),
-                evidence: {},
-            });
-        }
-        for (const edge of module.edges) {
-            if (edge.resolution === "unresolved") {
-                findings.push({
-                    rule: "unresolved-import",
-                    severity: "warning",
-                    confidence: "high",
-                    message: "Unresolved import specifier: '" + edge.rawSpecifier + "'",
-                    file: edge.source,
-                    ...(edge.location && { location: edge.location }),
-                    evidence: {},
-                });
-            }
-            if (edge.kind === "unknown-dynamic" && edge.resolution !== "resolved") {
-                findings.push({
-                    rule: "unknown-dynamic-import",
-                    severity: "warning",
-                    confidence: "medium",
-                    message: "Unknown dynamic import pattern: '" + edge.rawSpecifier + "'. This may hide reachable code.",
-                    file: edge.source,
-                    ...(edge.location && { location: edge.location }),
-                    evidence: {},
-                });
-            }
-        }
-    }
-    // Final Reporting Phase: Unused Exports & Unreachable Files
-    if (resolvedOptions.reportUnusedExports) {
-        const importUsage = buildImportUsage(modules);
-        for (const module of modules.values()) {
-            if (context.reachable.has(module.id) || context.maybeReachable.has(module.id)) {
-                for (const exp of module.exports) {
-                    if (exp.isExternalContract)
-                        continue;
-                    const isExportUsed = context.usedExports.has(`${module.id}:${exp.exportedAs}`);
-                    let confidence = "high";
-                    if (context.maybeReachable.has(module.id))
-                        confidence = "medium";
-                    if (context.hasReachableUnknownDynamicBoundary)
-                        confidence = "low";
-                    if (context.hasReachableUnknownDynamicBoundary && isExportUsed)
-                        continue;
-                    let isEffectivelyUsed = isExportUsed;
-                    // PUBLIC ENTRY POINT & BARREL PROTECTION
-                    const visited = new Set();
-                    const checkPublicReachability = (moduleId) => {
-                        if (visited.has(moduleId))
-                            return false;
-                        visited.add(moduleId);
-                        if (publicEntryPoints.has(moduleId))
-                            return true;
-                        const usage = importUsage.get(moduleId);
-                        if (!usage || !usage.reExportOnly)
-                            return false;
-                        // If this module is only a re-exporter (Barrel), check if its consumers are public
-                        return Array.from(usage.consumers).some(c => checkPublicReachability(c));
-                    };
-                    if (checkPublicReachability(module.id)) {
-                        isEffectivelyUsed = true;
-                    }
-                    else if (isExportUsed) {
-                        const usage = importUsage.get(module.id);
-                        if (usage && usage.reExportOnly) {
-                            const deepVisited = new Set();
-                            const checkConsumer = (consumerId) => {
-                                if (deepVisited.has(consumerId))
-                                    return false;
-                                deepVisited.add(consumerId);
-                                if (context.entryPoints.has(consumerId))
-                                    return true;
-                                if (publicEntryPoints.has(consumerId))
-                                    return true;
-                                const consumerUsage = importUsage.get(consumerId);
-                                if (!consumerUsage)
-                                    return false;
-                                if (!consumerUsage.reExportOnly)
-                                    return true;
-                                return Array.from(consumerUsage.consumers).some(c => checkConsumer(c));
-                            };
-                            const hasRealConsumer = Array.from(usage.consumers).some(c => checkConsumer(c));
-                            if (!hasRealConsumer) {
-                                isEffectivelyUsed = false;
-                            }
-                        }
-                    }
-                    if (!isEffectivelyUsed && exp.exportedAs !== "default" && exp.exportedAs !== "*") {
-                        findings.push({
-                            rule: "unused-export",
-                            severity: "warning",
-                            confidence: confidence,
-                            message: "Export '" + exp.exportedAs + "' is never imported or referenced.",
-                            file: module.id,
-                            ...(exp.location && { location: exp.location }),
-                            evidence: { exportName: exp.exportedAs },
-                        });
-                    }
-                    else if (isEffectivelyUsed && exp.members && exp.members.length > 0) {
-                        // Check for unused members
-                        for (const member of exp.members) {
-                            // We check both the internal name and the exported name
-                            const memberKey = `${module.id}:${exp.exportedAs}:${member.name}`;
-                            const internalKey = `${module.id}:${exp.name}:${member.name}`;
-                            if (!context.usedMembers.has(memberKey) && !context.usedMembers.has(internalKey)) {
-                                findings.push({
-                                    rule: "unused-member",
-                                    severity: "warning",
-                                    confidence: confidence,
-                                    message: `Member '${member.name}' of export '${exp.exportedAs}' is never referenced.`,
-                                    file: module.id,
-                                    ...(member.location && { location: member.location }),
-                                    evidence: { exportName: exp.exportedAs, memberName: member.name },
-                                });
-                            }
-                        }
-                    }
-                }
-            }
-        }
-    }
-    for (const module of modules.values()) {
-        if (!context.reachable.has(module.id) && !context.maybeReachable.has(module.id)) {
-            const fileComponent = context.components.find((c) => c.modules.includes(module.id));
-            const isIsolatedComponent = fileComponent && !fileComponent.isReachable && !fileComponent.isMaybeReachable;
-            findings.push({
-                rule: "unreachable-file",
-                severity: "warning",
-                confidence: module.hasUnknownDynamicBoundary ? "medium" : "high",
-                message: isIsolatedComponent
-                    ? `File is part of an isolated ${fileComponent.isCycle ? 'cycle' : 'component'} (#${fileComponent.id}) that is unreachable from any entry point.`
-                    : "File is not reachable from any entry point.",
-                file: module.id,
-                evidence: {
-                    entryPoints: [...context.entryPoints].map((p) => relativeDisplayPath(rootDir, p)),
-                    componentId: fileComponent?.id,
-                    componentSize: fileComponent?.modules.length,
-                    isCycle: fileComponent?.isCycle ?? false,
-                },
-            });
-        }
-    }
-    const summary = {
-        filesDiscovered: allSourceFiles.length,
-        filesParsed,
-        filesRecovered,
-        filesFallback,
-        edges: [...modules.values()].reduce((sum, module) => sum + module.edges.length, 0),
-        entryPoints: entryPoints.size,
-        stronglyConnectedComponents: context.components.length,
-        cycles: context.components.filter((c) => c.isCycle).length,
-        findings: findings.length,
-        errors: findings.filter((f) => f.severity === "error").length,
-        warnings: findings.filter((f) => f.severity === "warning").length,
-    };
-    return {
-        version: VERSION,
-        rootDir,
-        entryPoints: [...entryPoints].map((p) => relativeDisplayPath(rootDir, p)),
-        summary,
-        findings: findings.sort((a, b) => {
-            if (a.file !== b.file)
-                return a.file.localeCompare(b.file);
-            if (a.location && b.location) {
-                if (a.location.start.line !== b.location.start.line)
-                    return a.location.start.line - b.location.start.line;
-                return a.location.start.column - b.location.start.column;
-            }
-            return 0;
-        }),
-        modules: [...modules.values()].map((module) => ({
-            path: relativeDisplayPath(rootDir, module.id),
-            parseStatus: module.parseStatus,
-            exports: module.exports.map((e) => ({
-                name: e.name,
-                exportedAs: e.exportedAs,
-                isDefault: e.isDefault,
-                isReExport: e.isReExport,
-                isWildcard: e.isWildcard,
-                isTypeOnly: e.isTypeOnly ?? false,
-                isExternalContract: e.isExternalContract ?? false,
-            })),
-            edges: module.edges.map((edge) => ({
-                kind: edge.kind,
-                specifier: edge.rawSpecifier,
-                ...(edge.target && { target: relativeDisplayPath(rootDir, edge.target) }),
-                resolution: edge.resolution,
-            })),
-        })),
-        components: context.components.map((c) => ({
-            id: c.id,
-            modules: c.modules.map((m) => relativeDisplayPath(rootDir, m)),
-            isCycle: c.isCycle,
-        })),
-    };
-}
-export function shouldFail(report, failOn) {
-    if (failOn === "none") {
-        return false;
-    }
-    const failThreshold = CONFIDENCE_RANK[failOn];
-    return report.findings.some((f) => CONFIDENCE_RANK[f.confidence] >= failThreshold);
-}
-//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAc,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE7E,OAAO,EACL,YAAY,EACZ,yBAAyB,EAEzB,cAAc,EACd,4BAA4B,EAC5B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,mBAAmB,EACnB,cAAc,GACf,MAAM,eAAe,CAAC;AAUvB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/D,MAAM,GAAG,GAAG,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAgC,CAAC;AAC5G,MAAM,OAAO,GAAG,GAAG,EAAE,OAAO,IAAI,OAAO,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAE7E,KAAK,UAAU,cAAc,CAAC,OAAwB;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,EAAE;QACzC,GAAG,UAAU;QACb,GAAG,OAAO;QACV,OAAO;KACuB,CAAC,CAAC;IAElC,6DAA6D;IAC7D,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IACrE,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAErE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE3E,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QAC1F,MAAM,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QACrD,WAAW;QACX,OAAO;KACW,CAAC;AACvB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAwB;IACpD,MAAM,eAAe,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAS,EAAE,CAAC;IAExD,sCAAsC;IAEtC,6BAA6B;IAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,eAAe,CAAC,QAAQ,GAAG,MAAM,qBAAqB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAChF,WAAW,GAAG,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,sDAAsD;IACxD,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,0BAA0B,EAAE,GAAG,eAAe,CAAC;IAC3F,MAAM,sBAAsB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAEpD,IAAI,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,MAAM,aAAa,GAAG,IAAI,aAAa,EAAE,CAAC;IAC1C,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;IAEzD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,uEAAuE;YACvE,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAClC,MAAM,CAAC,CAAC;QACV,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAEjF,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;QAE5C,IAAI,YAA0B,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAEnC,IAAI,MAAM,IAAI,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;YAC/C,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;YACnC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC7C,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG;gBACvB,IAAI,EAAE,WAAW;gBACjB,YAAY;gBACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAEhC,IAAI,YAAY,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC1C,WAAW,IAAI,CAAC,CAAC;YACjB,+CAA+C;YAC/C,IAAI,CAAC,iBAAiB,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC;gBAC3C,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;oBACpC,MAAM,IAAI,GAAG,OAAc,CAAC;oBAC5B,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;oBAC9J,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAClD,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC;wBACtH,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CACzG,CAAC;oBAEF,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;wBAC7B,iBAAiB,GAAG,IAAI,CAAC;wBACzB,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,YAAY,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YACpD,cAAc,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAE7C,IAAI,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE5C,2BAA2B;IAC3B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,sDAAsD;IACtD,MAAM,WAAW,GAAG,KAAK,EAAE,OAAe,EAAE,iBAAyB,EAAE,EAAE,SAAkB,KAAK,EAAE,EAAE;QAClG,MAAM,UAAU,GAAG,MAAM,4BAA4B,CAAC,OAAO,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACrC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC9F,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,yBAAyB,EAAE,CAAC,EAAE,CAAC;YACnE,MAAM,eAAe,GAAG,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;gBAC1C,CAAC,CAAC,OAAO,CAAC;YAEZ,MAAM,QAAQ,GAAG,mBAAmB,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;YACjF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACrC,IAAI,MAAM,IAAI,0BAA0B,EAAE,CAAC;oBACzC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC9B,CAAC;gBACD,6EAA6E;gBAC7E,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,eAAe;IACf,MAAM,WAAW,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAErC,+BAA+B;IAC/B,IAAI,eAAe,CAAC,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/D,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YAClE,MAAM,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAiB;YACvB,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,MAAM;YAClB,OAAO,EAAE,gFAAgF;YACzF,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IACvE,OAAe,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;IACvD,OAAO,CAAC,aAAa,GAAG,aAAa,CAAC;IACtC,OAAO,CAAC,iBAAiB,GAAG,IAAI,GAAG,EAAE,CAAC;IAEtC,6DAA6D;IAC7D,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;IACxC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACjC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,cAAc,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,kDAAkD;IAClD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG;YACf,EAAE,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC;YAChD,WAAW,EAAE,aAAa,CAAC,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC;YACjE,IAAI,EAAE,MAAe;YACrB,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,MAAM,EAAE,MAAM,CAAC,EAAE;YACjB,QAAQ,EAAE,EAAE;YACZ,kBAAkB,EAAE,EAAE;YACtB,kBAAkB,EAAE,EAAE;SACvB,CAAC;QACF,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAED,kCAAkC;IAClC,IAAI,iBAAiB,IAAI,eAAe,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QACnE,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,8CAA8C;IAC9C,IAAI,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,oCAAoC;IACpC,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,wCAAwC;IACxC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,qCAAqC;IACrC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,kEAAkE;IAClE,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,8DAA8D;IAC9D,MAAM,gBAAgB,GAAG,MAAM,cAAc,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACzE,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;IAEnC,mFAAmF;IACnF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gBAAgB;gBACtB,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBACjD,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;gBACjD,OAAO,EAAE,QAAQ,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,UAAU,CAAC,OAAO;gBAC3G,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC7D,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,gCAAgC,GAAG,IAAI,CAAC,YAAY,GAAG,GAAG;oBACnE,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACtE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,wBAAwB;oBAC9B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,mCAAmC,GAAG,IAAI,CAAC,YAAY,GAAG,kCAAkC;oBACrG,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,IAAI,eAAe,CAAC,mBAAmB,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC9C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACjC,IAAI,GAAG,CAAC,kBAAkB;wBAAE,SAAS;oBAErC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;oBAE/E,IAAI,UAAU,GAAoC,MAAM,CAAC;oBACzD,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAAE,UAAU,GAAG,QAAQ,CAAC;oBACjE,IAAI,OAAO,CAAC,kCAAkC;wBAAE,UAAU,GAAG,KAAK,CAAC;oBAEnE,IAAI,OAAO,CAAC,kCAAkC,IAAI,YAAY;wBAAE,SAAS;oBAEzE,IAAI,iBAAiB,GAAG,YAAY,CAAC;oBAErC,yCAAyC;oBACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;oBAClC,MAAM,uBAAuB,GAAG,CAAC,QAAgB,EAAW,EAAE;wBAC5D,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;4BAAE,OAAO,KAAK,CAAC;wBACxC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBAEtB,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;4BAAE,OAAO,IAAI,CAAC;wBAEjD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBACxC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,YAAY;4BAAE,OAAO,KAAK,CAAC;wBAEhD,mFAAmF;wBACnF,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3E,CAAC,CAAC;oBAEF,IAAI,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;wBACvC,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;yBAAM,IAAI,YAAY,EAAE,CAAC;wBACxB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;wBACzC,IAAI,KAAK,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;4BAChC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;4BACtC,MAAM,aAAa,GAAG,CAAC,UAAkB,EAAW,EAAE;gCACpD,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;oCAAE,OAAO,KAAK,CAAC;gCAC9C,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gCAE5B,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;oCAAE,OAAO,IAAI,CAAC;gCACrD,IAAI,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;oCAAE,OAAO,IAAI,CAAC;gCAEnD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gCAClD,IAAI,CAAC,aAAa;oCAAE,OAAO,KAAK,CAAC;gCACjC,IAAI,CAAC,aAAa,CAAC,YAAY;oCAAE,OAAO,IAAI,CAAC;gCAE7C,OAAO,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;4BACzE,CAAC,CAAC;4BAEF,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;4BAChF,IAAI,CAAC,eAAe,EAAE,CAAC;gCACrB,iBAAiB,GAAG,KAAK,CAAC;4BAC5B,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,iBAAiB,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,GAAG,EAAE,CAAC;wBACjF,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,eAAe;4BACrB,QAAQ,EAAE,SAAS;4BACnB,UAAU,EAAE,UAAU;4BACtB,OAAO,EAAE,UAAU,GAAG,GAAG,CAAC,UAAU,GAAG,oCAAoC;4BAC3E,IAAI,EAAE,MAAM,CAAC,EAAE;4BACf,GAAG,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;4BAC/C,QAAQ,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE;yBACzC,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,iBAAiB,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACtE,2BAA2B;wBAC3B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;4BACjC,wDAAwD;4BACxD,MAAM,SAAS,GAAG,GAAG,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;4BAClE,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;4BAC9D,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gCACjF,QAAQ,CAAC,IAAI,CAAC;oCACZ,IAAI,EAAE,eAAe;oCACrB,QAAQ,EAAE,SAAS;oCACnB,UAAU,EAAE,UAAU;oCACtB,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,gBAAgB,GAAG,CAAC,UAAU,wBAAwB;oCACrF,IAAI,EAAE,MAAM,CAAC,EAAE;oCACf,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;oCACrD,QAAQ,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;iCAClE,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACpF,MAAM,mBAAmB,GAAG,aAAa,IAAI,CAAC,aAAa,CAAC,WAAW,IAAI,CAAC,aAAa,CAAC,gBAAgB,CAAC;YAC3G,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;gBAChE,OAAO,EAAE,mBAAmB;oBAC1B,CAAC,CAAC,+BAA+B,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,MAAM,aAAa,CAAC,EAAE,6CAA6C;oBACjJ,CAAC,CAAC,6CAA6C;gBACjD,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,QAAQ,EAAE;oBACR,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;oBACjF,WAAW,EAAE,aAAa,EAAE,EAAE;oBAC9B,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM;oBAC5C,OAAO,EAAE,aAAa,EAAE,OAAO,IAAI,KAAK;iBACzC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAoB;QAC/B,eAAe,EAAE,cAAc,CAAC,MAAM;QACtC,WAAW;QACX,cAAc;QACd,aAAa;QACb,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAClF,WAAW,EAAE,WAAW,CAAC,IAAI;QAC7B,2BAA2B,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM;QACtD,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM;QAC1D,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;QAC7D,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;KAClE,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,OAAO;QACP,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO;QACP,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC7B,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;oBAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC1G,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAC3D,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;gBACjC,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,IAAI,KAAK;aAClD,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,IAAI,CAAC,YAAY;gBAC5B,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzE,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzC,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAsB,EAAE,MAAiC;IAClF,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,CAAC;AACrF,CAAC"}

package/dist/instrument.d.ts

@@ -1,5 +0,0 @@
-/**
- * Instruments code for concolic execution using yuku-parser and yuku-codegen.
- * It injects tracing hooks around conditional branches and function calls.
- */
-export declare function instrumentCode(code: string, filename: string): string | null;

package/dist/instrument.js

@@ -1,108 +0,0 @@
-import { parse as yukuParse, langFromPath, sourceTypeFromPath } from "yuku-parser";
-import { print as yukuPrint } from "yuku-codegen";
-import { walk as yukuWalk } from "yuku-ast";
-/**
- * Instruments code for concolic execution using yuku-parser and yuku-codegen.
- * It injects tracing hooks around conditional branches and function calls.
- */
-export function instrumentCode(code, filename) {
-    try {
-        const lang = langFromPath(filename) ?? "tsx";
-        const sourceType = sourceTypeFromPath(filename) ?? "module";
-        const result = yukuParse(code, { lang, sourceType });
-        const ast = result.program;
-        const coverageVariable = "__coverage__";
-        // Helper to get line number from byte offset
-        const getLine = (offset) => {
-            const before = code.slice(0, Math.max(0, offset));
-            return before.split("\n").length;
-        };
-        // Helper to create AST nodes (ESTree compatible)
-        const createLiteral = (val) => ({ type: "Literal", value: val, raw: JSON.stringify(val) });
-        const createIdentifier = (name) => ({ type: "Identifier", name });
-        const createMemberExpression = (obj, prop) => ({ type: "MemberExpression", object: obj, property: prop, computed: false });
-        const createCallExpression = (callee, args) => ({ type: "CallExpression", callee, arguments: args });
-        const createExpressionStatement = (exp) => ({ type: "ExpressionStatement", expression: exp });
-        // Mark injected nodes to avoid re-instrumentation
-        const markInjected = (node) => {
-            if (node && node.type === "CallExpression") {
-                node.callee._concolicInstrumented = true;
-            }
-            return node;
-        };
-        // 1. Initialize coverage at program start
-        const initCoverage = createExpressionStatement(markInjected(createCallExpression(createMemberExpression(createIdentifier(coverageVariable), createIdentifier("init")), [createLiteral(filename)])));
-        ast.body.unshift(initCoverage);
-        // 2. Traverse and instrument
-        yukuWalk(ast, {
-            enter: (node, parent) => {
-                // Avoid re-instrumenting our own injected calls
-                if (node.type === "CallExpression" && node.callee?._concolicInstrumented) {
-                    return;
-                }
-                const line = getLine(node.start);
-                // Instrument IfStatement
-                if (node.type === "IfStatement") {
-                    const traceCall = markInjected(createCallExpression(createMemberExpression(createIdentifier(coverageVariable), createIdentifier("traceBranch")), [createLiteral(filename), createLiteral(line), node.test]));
-                    // Wrap test with sequence expression: (traceBranch(...), originalTest)
-                    node.test = {
-                        type: "SequenceExpression",
-                        expressions: [traceCall, node.test]
-                    };
-                }
-                // Instrument Functions
-                if (node.type === "FunctionDeclaration" || node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression") {
-                    const functionName = node.id?.name || "anonymous";
-                    const traceCall = createExpressionStatement(markInjected(createCallExpression(createMemberExpression(createIdentifier(coverageVariable), createIdentifier("traceFunction")), [createLiteral(filename), createLiteral(line), createLiteral(functionName)])));
-                    if (node.body.type === "BlockStatement") {
-                        node.body.body.unshift(traceCall);
-                    }
-                    else {
-                        // Arrow function with implicit return: () => expr  ->  () => { trace(); return expr; }
-                        node.body = {
-                            type: "BlockStatement",
-                            body: [
-                                traceCall,
-                                { type: "ReturnStatement", argument: node.body }
-                            ]
-                        };
-                    }
-                }
-                // Instrument CallExpression
-                if (node.type === "CallExpression" && !(node.callee?._concolicInstrumented)) {
-                    const calleeName = node.callee.type === "Identifier" ? node.callee.name : "unknown";
-                    const tracedCall = markInjected(createCallExpression(createMemberExpression(createIdentifier(coverageVariable), createIdentifier("traceAndExecuteCall")), [
-                        createLiteral(filename),
-                        createLiteral(line),
-                        createLiteral(calleeName),
-                        node.callee,
-                        { type: "ArrayExpression", elements: node.arguments }
-                    ]));
-                    // We need to replace the node in the parent. 
-                    if (parent) {
-                        for (const key in parent) {
-                            if (parent[key] === node) {
-                                parent[key] = tracedCall;
-                                break;
-                            }
-                            else if (Array.isArray(parent[key])) {
-                                const idx = parent[key].indexOf(node);
-                                if (idx !== -1) {
-                                    parent[key][idx] = tracedCall;
-                                    break;
-                                }
-                            }
-                        }
-                    }
-                }
-            }
-        });
-        const output = yukuPrint(ast);
-        return output.code;
-    }
-    catch (err) {
-        console.error(`[Instrumentation] Failed to instrument ${filename}:`, err);
-        return null;
-    }
-}
-//# sourceMappingURL=instrument.js.map

package/dist/instrument.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"instrument.js","sourceRoot":"","sources":["../src/instrument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAC,IAAI,IAAI,QAAQ,EAAC,MAAM,UAAU,CAAC;AAC1C;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,QAAgB;IAC3D,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;QAC7C,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;QAC3B,MAAM,gBAAgB,GAAG,cAAc,CAAC;QAExC,6CAA6C;QAC7C,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE;YACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAClD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACnC,CAAC,CAAC;QAEF,iDAAiD;QACjD,MAAM,aAAa,GAAG,CAAC,GAA8B,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtH,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,sBAAsB,GAAG,CAAC,GAAQ,EAAE,IAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACrI,MAAM,oBAAoB,GAAG,CAAC,MAAW,EAAE,IAAW,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACjH,MAAM,yBAAyB,GAAG,CAAC,GAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QAEnG,kDAAkD;QAClD,MAAM,YAAY,GAAG,CAAC,IAAS,EAAE,EAAE;YACjC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC1C,IAAI,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;YACpD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QAEF,0CAA0C;QAC1C,MAAM,YAAY,GAAG,yBAAyB,CAC5C,YAAY,CACV,oBAAoB,CAClB,sBAAsB,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,EACpF,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAC1B,CACF,CACF,CAAC;QACD,GAAG,CAAC,IAAc,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAE1C,6BAA6B;QAC7B,QAAQ,CAAC,GAAG,EAAE;YACZ,KAAK,EAAE,CAAC,IAAS,EAAE,MAAW,EAAE,EAAE;gBAChC,gDAAgD;gBAChD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAK,IAAI,CAAC,MAAc,EAAE,qBAAqB,EAAE,CAAC;oBAClF,OAAO;gBACT,CAAC;gBAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAEjC,yBAAyB;gBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAChC,MAAM,SAAS,GAAG,YAAY,CAC5B,oBAAoB,CAClB,sBAAsB,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAC3F,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAC1D,CACF,CAAC;oBACF,uEAAuE;oBACvE,IAAI,CAAC,IAAI,GAAG;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,WAAW,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC;qBACpC,CAAC;gBACJ,CAAC;gBAED,uBAAuB;gBACvB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;oBACzH,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,WAAW,CAAC;oBAClD,MAAM,SAAS,GAAG,yBAAyB,CACzC,YAAY,CACV,oBAAoB,CAClB,sBAAsB,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,eAAe,CAAC,CAAC,EAC7F,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,CAC5E,CACF,CACF,CAAC;oBAEF,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;wBACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;oBACpC,CAAC;yBAAM,CAAC;wBACN,uFAAuF;wBACvF,IAAI,CAAC,IAAI,GAAG;4BACV,IAAI,EAAE,gBAAgB;4BACtB,IAAI,EAAE;gCACJ,SAAS;gCACT,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;6BACjD;yBACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,4BAA4B;gBAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAE,IAAI,CAAC,MAAc,EAAE,qBAAqB,CAAC,EAAE,CAAC;oBACrF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;oBACpF,MAAM,UAAU,GAAG,YAAY,CAC7B,oBAAoB,CAClB,sBAAsB,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,EACnG;wBACE,aAAa,CAAC,QAAQ,CAAC;wBACvB,aAAa,CAAC,IAAI,CAAC;wBACnB,aAAa,CAAC,UAAU,CAAC;wBACzB,IAAI,CAAC,MAAM;wBACX,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE;qBACtD,CACF,CACF,CAAC;oBAEF,8CAA8C;oBAC9C,IAAI,MAAM,EAAE,CAAC;wBACX,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;4BACzB,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;gCACzB,MAAM,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;gCACzB,MAAM;4BACR,CAAC;iCAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gCACtC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gCACtC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;oCACf,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;oCAC9B,MAAM;gCACR,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,0CAA0C,QAAQ,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/layer2.d.ts

@@ -1,6 +0,0 @@
-import type { AnalysisContext, Finding } from "./types.js";
-/**
- * Layer 2: Control Flow Graph (CFG) & Type-Based Abstract Interpretation
- * Detects unreachable code within functions and modules.
- */
-export declare function analyzeLayer2(context: AnalysisContext): Finding[];