contextdiet-cli 0.1.0

package/dist/core/parser/index.js

@@ -0,0 +1,274 @@
+/**
+ * ast-grep–backed implementation of the {@link Parser} contract (Task 1.0).
+ *
+ * Uses `@ast-grep/napi` to parse TypeScript into a concrete syntax tree, then
+ * walks it to extract import bindings and top-level symbols. All node access is
+ * defensive: tree-sitter is error-tolerant, so we validate the tree for ERROR
+ * nodes up front and translate failures into {@link ParseError}.
+ */
+import { parse, Lang } from '@ast-grep/napi';
+import { ParseError } from './types.js';
+/** tree-sitter kinds for the declarations we surface, mapped to our SymbolKind. */
+const DECLARATION_KINDS = new Map([
+    ['class_declaration', 'class'],
+    ['abstract_class_declaration', 'class'],
+    ['function_declaration', 'function'],
+    ['generator_function_declaration', 'function'],
+    ['interface_declaration', 'interface'],
+    ['type_alias_declaration', 'type'],
+    ['enum_declaration', 'enum'],
+]);
+/** Declaration kinds that bind one-or-more names via `variable_declarator` children. */
+const VARIABLE_DECLARATION_KINDS = new Set([
+    'lexical_declaration',
+    'variable_declaration',
+]);
+export class AstGrepperParser {
+    async extractImports(source, filePath) {
+        const root = this.parseOrThrow(source, filePath);
+        const imports = [];
+        for (const statement of root.findAll({ rule: { kind: 'import_statement' } })) {
+            const sourceNode = statement.field('source');
+            if (sourceNode === null)
+                continue; // defensive: malformed-but-tolerated import
+            const moduleSource = stripQuotes(sourceNode.text());
+            const clause = statement.children().find((c) => c.kind() === 'import_clause');
+            if (clause === undefined)
+                continue; // side-effect import: `import './x'` — no bindings
+            for (const child of clause.children()) {
+                this.collectClauseBindings(child, moduleSource, filePath, imports);
+            }
+        }
+        return sortByStart(imports);
+    }
+    async extractSymbols(source, filePath) {
+        const root = this.parseOrThrow(source, filePath);
+        const symbols = [];
+        // Only TOP-LEVEL declarations are addressable symbols: we walk the program's
+        // direct statements rather than `findAll`, so nested locals (loop variables,
+        // inner functions, block-scoped consts) are never mistaken for module symbols.
+        for (const statement of root.children()) {
+            if (statement.kind() === 'export_statement') {
+                for (const declaration of statement.children()) {
+                    this.collectDeclaration(declaration, filePath, symbols, true, statement);
+                }
+            }
+            else {
+                this.collectDeclaration(statement, filePath, symbols, false, null);
+            }
+        }
+        return sortByStart(symbols);
+    }
+    async extractDependencies(source, filePath) {
+        const root = this.parseOrThrow(source, filePath);
+        const deps = [];
+        // `import … from 'x'` — every import_statement carries a `source` field
+        // (including side-effect imports `import 'x'`).
+        for (const statement of root.findAll({ rule: { kind: 'import_statement' } })) {
+            const sourceNode = statement.field('source');
+            if (sourceNode === null)
+                continue;
+            deps.push({
+                kind: 'import',
+                source: stripQuotes(sourceNode.text()),
+                filePath,
+                range: toRange(statement.range()),
+            });
+        }
+        // Re-exports: `export … from 'x'`, `export * from 'x'`, `export * as ns from 'x'`.
+        // A plain `export const …` has no `source` field and is NOT a dependency.
+        for (const statement of root.findAll({ rule: { kind: 'export_statement' } })) {
+            const sourceNode = statement.field('source');
+            if (sourceNode === null)
+                continue;
+            deps.push({
+                kind: 're-export',
+                source: stripQuotes(sourceNode.text()),
+                filePath,
+                range: toRange(statement.range()),
+            });
+        }
+        return sortByStart(deps);
+    }
+    async extractImportStatements(source, filePath) {
+        const root = this.parseOrThrow(source, filePath);
+        const statements = [];
+        for (const statement of root.findAll({ rule: { kind: 'import_statement' } })) {
+            const sourceNode = statement.field('source');
+            if (sourceNode === null)
+                continue;
+            const clause = statement.children().find((c) => c.kind() === 'import_clause');
+            statements.push({
+                source: stripQuotes(sourceNode.text()),
+                localNames: clause === undefined ? [] : collectLocalNames(clause),
+                filePath,
+                range: toRange(statement.range()),
+            });
+        }
+        return sortByStart(statements);
+    }
+    async collectReferences(source, filePath, ranges) {
+        const used = new Set();
+        if (ranges.length === 0)
+            return used;
+        const root = this.parseOrThrow(source, filePath);
+        // Value references are `identifier`; type references (for type-only imports)
+        // are `type_identifier`. Property names (`obj.prop`) are `property_identifier`
+        // and intentionally excluded — they are not import bindings.
+        const identifiers = [
+            ...root.findAll({ rule: { kind: 'identifier' } }),
+            ...root.findAll({ rule: { kind: 'type_identifier' } }),
+        ];
+        for (const node of identifiers) {
+            const start = node.range().start.index;
+            for (const range of ranges) {
+                if (start >= range.start.index && start < range.end.index) {
+                    used.add(node.text());
+                    break;
+                }
+            }
+        }
+        return used;
+    }
+    sliceNode(source, range) {
+        return source.slice(range.start.index, range.end.index);
+    }
+    // --- internals ----------------------------------------------------------
+    /** Parse to a root node, translating any syntax error into a {@link ParseError}. */
+    parseOrThrow(source, filePath) {
+        let root;
+        try {
+            root = parse(Lang.TypeScript, source).root();
+        }
+        catch (cause) {
+            throw new ParseError(`Failed to parse ${filePath}`, filePath, { cause });
+        }
+        if (hasErrorNode(root)) {
+            throw new ParseError(`Malformed syntax in ${filePath}`, filePath);
+        }
+        return root;
+    }
+    /** Translate one child of an `import_clause` into zero or more bindings. */
+    collectClauseBindings(child, source, filePath, out) {
+        switch (child.kind()) {
+            case 'identifier': {
+                // `import path from '...'`
+                const name = child.text();
+                out.push(this.makeImport('default', name, name, source, filePath, child.range()));
+                return;
+            }
+            case 'namespace_import': {
+                // `import * as os from '...'`
+                const id = child.children().find((n) => n.kind() === 'identifier');
+                if (id === undefined)
+                    return;
+                out.push(this.makeImport('namespace', id.text(), '*', source, filePath, child.range()));
+                return;
+            }
+            case 'named_imports': {
+                // `import { a, b as c } from '...'`
+                for (const spec of child.children().filter((n) => n.kind() === 'import_specifier')) {
+                    const nameNode = spec.field('name');
+                    if (nameNode === null)
+                        continue;
+                    const importedName = nameNode.text();
+                    const aliasNode = spec.field('alias');
+                    const localName = aliasNode === null ? importedName : aliasNode.text();
+                    out.push(this.makeImport('named', localName, importedName, source, filePath, spec.range()));
+                }
+                return;
+            }
+            default:
+                return; // `import`/`from`/`,`/`type` keyword tokens — nothing to bind
+        }
+    }
+    makeImport(kind, localName, importedName, source, filePath, range) {
+        return { kind, localName, importedName, source, filePath, range: toRange(range) };
+    }
+    /**
+     * Turn one top-level declaration into zero or more symbols.
+     *
+     * `exported` and `exportStatement` come from the caller's position in the tree
+     * (whether this declaration sat inside an `export_statement`). For exported
+     * declarations the range widens to the whole `export …` statement so a slice
+     * reproduces a self-contained, re-emittable chunk (with the `export` keyword).
+     */
+    collectDeclaration(node, filePath, out, exported, exportStatement) {
+        const nodeKind = String(node.kind());
+        const range = toRange(exported && exportStatement !== null ? exportStatement.range() : node.range());
+        const mapped = DECLARATION_KINDS.get(nodeKind);
+        if (mapped !== undefined) {
+            const nameNode = node.field('name');
+            if (nameNode === null)
+                return; // anonymous default export — no addressable symbol
+            out.push({ name: nameNode.text(), kind: mapped, exported, filePath, range });
+            return;
+        }
+        if (VARIABLE_DECLARATION_KINDS.has(nodeKind)) {
+            // `const`/`let`/`var` may bind several names in one statement.
+            for (const declarator of node.children().filter((c) => c.kind() === 'variable_declarator')) {
+                const nameNode = declarator.field('name');
+                if (nameNode === null)
+                    continue; // destructuring pattern — out of scope for Task 1.0
+                out.push({ name: nameNode.text(), kind: 'variable', exported, filePath, range });
+            }
+        }
+    }
+}
+// --- module-private helpers -----------------------------------------------
+/** Collect every local binding name introduced by an `import_clause`. */
+function collectLocalNames(clause) {
+    const names = [];
+    for (const child of clause.children()) {
+        switch (child.kind()) {
+            case 'identifier': // default import
+                names.push(child.text());
+                break;
+            case 'namespace_import': {
+                const id = child.children().find((n) => n.kind() === 'identifier');
+                if (id !== undefined)
+                    names.push(id.text());
+                break;
+            }
+            case 'named_imports':
+                for (const spec of child.children().filter((n) => n.kind() === 'import_specifier')) {
+                    const local = spec.field('alias') ?? spec.field('name');
+                    if (local !== null)
+                        names.push(local.text());
+                }
+                break;
+            default:
+                break;
+        }
+    }
+    return names;
+}
+/** Depth-first scan for tree-sitter ERROR nodes (the signal of malformed syntax). */
+function hasErrorNode(node) {
+    if (node.kind() === 'ERROR')
+        return true;
+    return node.children().some(hasErrorNode);
+}
+/** Strip a single matching pair of surrounding quotes (single, double, or backtick). */
+function stripQuotes(text) {
+    if (text.length >= 2) {
+        const first = text[0];
+        const last = text[text.length - 1];
+        if (first === last && (first === "'" || first === '"' || first === '`')) {
+            return text.slice(1, -1);
+        }
+    }
+    return text;
+}
+/** Normalize a native range into our plain, structurally-cloned {@link Range}. */
+function toRange(range) {
+    return {
+        start: { line: range.start.line, column: range.start.column, index: range.start.index },
+        end: { line: range.end.line, column: range.end.column, index: range.end.index },
+    };
+}
+/** Stable source-order sort by start offset. */
+function sortByStart(items) {
+    return items.sort((a, b) => a.range.start.index - b.range.start.index);
+}
+//# sourceMappingURL=index.js.map

package/dist/core/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/parser/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAe,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAYxC,mFAAmF;AACnF,MAAM,iBAAiB,GAAoC,IAAI,GAAG,CAAC;IACjE,CAAC,mBAAmB,EAAE,OAAO,CAAC;IAC9B,CAAC,4BAA4B,EAAE,OAAO,CAAC;IACvC,CAAC,sBAAsB,EAAE,UAAU,CAAC;IACpC,CAAC,gCAAgC,EAAE,UAAU,CAAC;IAC9C,CAAC,uBAAuB,EAAE,WAAW,CAAC;IACtC,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAClC,CAAC,kBAAkB,EAAE,MAAM,CAAC;CAC7B,CAAC,CAAC;AAEH,wFAAwF;AACxF,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IAC9D,qBAAqB;IACrB,sBAAsB;CACvB,CAAC,CAAC;AAEH,MAAM,OAAO,gBAAgB;IAC3B,KAAK,CAAC,cAAc,CAAC,MAAc,EAAE,QAAgB;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,UAAU,KAAK,IAAI;gBAAE,SAAS,CAAC,4CAA4C;YAC/E,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YAEpD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC,CAAC;YAC9E,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS,CAAC,mDAAmD;YAEvF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAc,EAAE,QAAgB;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,6EAA6E;QAC7E,6EAA6E;QAC7E,+EAA+E;QAC/E,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;YACxC,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,kBAAkB,EAAE,CAAC;gBAC5C,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC;oBAC/C,IAAI,CAAC,kBAAkB,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,mBAAmB,CAAC,MAAc,EAAE,QAAgB;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,IAAI,GAAoB,EAAE,CAAC;QAEjC,wEAAwE;QACxE,gDAAgD;QAChD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,UAAU,KAAK,IAAI;gBAAE,SAAS;YAClC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACtC,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QAED,mFAAmF;QACnF,0EAA0E;QAC1E,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,UAAU,KAAK,IAAI;gBAAE,SAAS;YAClC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACtC,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,uBAAuB,CAAC,MAAc,EAAE,QAAgB;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,UAAU,GAAsB,EAAE,CAAC;QAEzC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAAE,CAAC;YAC7E,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,UAAU,KAAK,IAAI;gBAAE,SAAS;YAClC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC,CAAC;YAC9E,UAAU,CAAC,IAAI,CAAC;gBACd,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBACtC,UAAU,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBACjE,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,WAAW,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,CAAC,iBAAiB,CACrB,MAAc,EACd,QAAgB,EAChB,MAAwB;QAExB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAErC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjD,6EAA6E;QAC7E,+EAA+E;QAC/E,6DAA6D;QAC7D,MAAM,WAAW,GAAG;YAClB,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,CAAC;YACjD,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC;SACvD,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC1D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,MAAc,EAAE,KAAY;QACpC,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAED,2EAA2E;IAE3E,oFAAoF;IAC5E,YAAY,CAAC,MAAc,EAAE,QAAgB;QACnD,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,UAAU,CAAC,mBAAmB,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,UAAU,CAAC,uBAAuB,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4EAA4E;IACpE,qBAAqB,CAC3B,KAAa,EACb,MAAc,EACd,QAAgB,EAChB,GAAiB;QAEjB,QAAQ,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACrB,KAAK,YAAY,EAAE,CAAC;gBAClB,2BAA2B;gBAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAClF,OAAO;YACT,CAAC;YACD,KAAK,kBAAkB,EAAE,CAAC;gBACxB,8BAA8B;gBAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,YAAY,CAAC,CAAC;gBACnE,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO;gBAC7B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACxF,OAAO;YACT,CAAC;YACD,KAAK,eAAe,EAAE,CAAC;gBACrB,oCAAoC;gBACpC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,kBAAkB,CAAC,EAAE,CAAC;oBACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBACpC,IAAI,QAAQ,KAAK,IAAI;wBAAE,SAAS;oBAChC,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACrC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACtC,MAAM,SAAS,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACvE,GAAG,CAAC,IAAI,CACN,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAClF,CAAC;gBACJ,CAAC;gBACD,OAAO;YACT,CAAC;YACD;gBACE,OAAO,CAAC,8DAA8D;QAC1E,CAAC;IACH,CAAC;IAEO,UAAU,CAChB,IAAgB,EAChB,SAAiB,EACjB,YAAoB,EACpB,MAAc,EACd,QAAgB,EAChB,KAAY;QAEZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IACpF,CAAC;IAED;;;;;;;OAOG;IACK,kBAAkB,CACxB,IAAY,EACZ,QAAgB,EAChB,GAAiB,EACjB,QAAiB,EACjB,eAA8B;QAE9B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAErG,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,CAAC,mDAAmD;YAClF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7E,OAAO;QACT,CAAC;QAED,IAAI,0BAA0B,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,+DAA+D;YAC/D,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,qBAAqB,CAAC,EAAE,CAAC;gBAC3F,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC1C,IAAI,QAAQ,KAAK,IAAI;oBAAE,SAAS,CAAC,oDAAoD;gBACrF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,6EAA6E;AAE7E,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtC,QAAQ,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACrB,KAAK,YAAY,EAAE,iBAAiB;gBAClC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzB,MAAM;YACR,KAAK,kBAAkB,EAAE,CAAC;gBACxB,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,YAAY,CAAC,CAAC;gBACnE,IAAI,EAAE,KAAK,SAAS;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,CAAC;YACD,KAAK,eAAe;gBAClB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,kBAAkB,CAAC,EAAE,CAAC;oBACnF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBACxD,IAAI,KAAK,KAAK,IAAI;wBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC/C,CAAC;gBACD,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAC5C,CAAC;AAED,wFAAwF;AACxF,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kFAAkF;AAClF,SAAS,OAAO,CAAC,KAAY;IAC3B,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QACvF,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE;KAChF,CAAC;AACJ,CAAC;AAED,gDAAgD;AAChD,SAAS,WAAW,CAA6B,KAAU;IACzD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC"}

package/dist/core/parser/types.d.ts

@@ -0,0 +1,127 @@
+/**
+ * Core parsing contracts for ContextDiet.
+ *
+ * The rest of the engine (graph resolver, ranker, pruner, bundler) depends only
+ * on these interfaces — never on a concrete parser. That indirection is what lets
+ * us swap the AST backend (ast-grep today, tree-sitter/SWC later) without a rewrite.
+ */
+/** A single point in a source file, mirroring ast-grep's position triple. */
+export interface Position {
+    /** Zero-based line number. */
+    readonly line: number;
+    /** Zero-based column (in UTF-8 code units). */
+    readonly column: number;
+    /** Absolute offset from the start of the source. */
+    readonly index: number;
+}
+/** A half-open `[start, end)` span within a source file. */
+export interface Range {
+    readonly start: Position;
+    readonly end: Position;
+}
+/** How a binding was brought into scope. */
+export type ImportKind = 'named' | 'default' | 'namespace';
+/**
+ * A resolved import binding.
+ *
+ * `localName` is the identifier usable in this file; `importedName` is the name
+ * as exported by the source module. They differ only for aliased named imports
+ * (`import { Foo as Bar }` → importedName `Foo`, localName `Bar`). For default
+ * imports both equal the local name; for namespace imports `importedName` is `*`.
+ */
+export interface ImportNode {
+    readonly kind: ImportKind;
+    readonly localName: string;
+    readonly importedName: string;
+    /** The module specifier, unquoted (e.g. `node:fs/promises`, `./foo`). */
+    readonly source: string;
+    /** The file this import was found in. */
+    readonly filePath: string;
+    /** Span of the specific binding (specifier / identifier), not the whole statement. */
+    readonly range: Range;
+}
+/** Whether an outward module reference came from an `import` or a re-`export`. */
+export type DependencyRefKind = 'import' | 're-export';
+/**
+ * A file-level outward module reference — the raw specifier a file points at,
+ * before disk resolution. Covers both `import … from 'x'` and
+ * `export … from 'x'` (re-exports), since both create a dependency edge.
+ *
+ * This is deliberately coarser than {@link ImportNode}: the graph resolver only
+ * needs "which modules does this file reach", not per-binding detail.
+ */
+export interface DependencyRef {
+    readonly kind: DependencyRefKind;
+    /** The module specifier, unquoted (e.g. `./b`, `node:fs`). */
+    readonly source: string;
+    readonly filePath: string;
+    readonly range: Range;
+}
+/**
+ * A whole `import … from 'x'` statement, at statement granularity.
+ *
+ * The pruner needs the FULL statement span (`range`) to re-emit a syntactically
+ * valid import, plus every local binding it introduces (`localNames`) to decide
+ * whether any kept symbol still references it. This complements {@link ImportNode}
+ * (which is per-binding and finer-grained).
+ */
+export interface ImportStatement {
+    /** The module specifier, unquoted. */
+    readonly source: string;
+    /** Every local binding introduced (default, namespace, and named/aliased). */
+    readonly localNames: readonly string[];
+    readonly filePath: string;
+    /** Span of the entire import statement. */
+    readonly range: Range;
+}
+/** The kind of a top-level declaration the pruner can keep or drop. */
+export type SymbolKind = 'class' | 'function' | 'variable' | 'interface' | 'type' | 'enum';
+/**
+ * A top-level declaration.
+ *
+ * For exported declarations `range` spans the entire `export …` statement, so
+ * that {@link Parser.sliceNode} reproduces a self-contained, re-emittable chunk.
+ * For internal declarations `range` spans the declaration itself.
+ */
+export interface SymbolNode {
+    readonly name: string;
+    readonly kind: SymbolKind;
+    readonly exported: boolean;
+    readonly filePath: string;
+    readonly range: Range;
+}
+/**
+ * The AST backend contract. Every method is source-in / data-out and holds no
+ * cross-call state, so implementations are trivially parallelizable per file.
+ */
+export interface Parser {
+    extractImports(source: string, filePath: string): Promise<ImportNode[]>;
+    extractSymbols(source: string, filePath: string): Promise<SymbolNode[]>;
+    /** File-level outward module references (imports + re-exports) for graph edges. */
+    extractDependencies(source: string, filePath: string): Promise<DependencyRef[]>;
+    /** Whole import statements (span + local bindings) for dead-import elimination. */
+    extractImportStatements(source: string, filePath: string): Promise<ImportStatement[]>;
+    /**
+     * The set of identifier names referenced anywhere inside the given ranges.
+     * Used by the pruner to keep only the imports that surviving symbols still use.
+     */
+    collectReferences(source: string, filePath: string, ranges: readonly Range[]): Promise<Set<string>>;
+    /** Reproduce the exact source text covered by `range`. */
+    sliceNode(source: string, range: Range): string;
+}
+/**
+ * Raised when a source file cannot be parsed into a clean tree (syntax errors).
+ *
+ * The parser NEVER throws a raw/native error at callers: tree-sitter is
+ * error-tolerant and would otherwise return a partial, silently-wrong tree.
+ * We detect ERROR nodes and surface this explicit, catchable domain error
+ * instead so the pipeline can skip the file rather than crash.
+ */
+export declare class ParseError extends Error {
+    readonly name = "ParseError";
+    readonly filePath: string;
+    constructor(message: string, filePath: string, options?: {
+        cause?: unknown;
+    });
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/core/parser/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/parser/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,6EAA6E;AAC7E,MAAM,WAAW,QAAQ;IACvB,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+CAA+C;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,4DAA4D;AAC5D,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED,4CAA4C;AAC5C,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,WAAW,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,kFAAkF;AAClF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEvD;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,uEAAuE;AACvE,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,UAAU,GACV,UAAU,GACV,WAAW,GACX,MAAM,GACN,MAAM,CAAC;AAEX;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxE,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxE,mFAAmF;IACnF,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAChF,mFAAmF;IACnF,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IACtF;;;OAGG;IACH,iBAAiB,CACf,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,KAAK,EAAE,GACvB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxB,0DAA0D;IAC1D,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC;CACjD;AAED;;;;;;;GAOG;AACH,qBAAa,UAAW,SAAQ,KAAK;IACnC,SAAkB,IAAI,gBAAgB;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YAAY,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,EAG3E;CACF"}

package/dist/core/parser/types.js

@@ -0,0 +1,24 @@
+/**
+ * Core parsing contracts for ContextDiet.
+ *
+ * The rest of the engine (graph resolver, ranker, pruner, bundler) depends only
+ * on these interfaces — never on a concrete parser. That indirection is what lets
+ * us swap the AST backend (ast-grep today, tree-sitter/SWC later) without a rewrite.
+ */
+/**
+ * Raised when a source file cannot be parsed into a clean tree (syntax errors).
+ *
+ * The parser NEVER throws a raw/native error at callers: tree-sitter is
+ * error-tolerant and would otherwise return a partial, silently-wrong tree.
+ * We detect ERROR nodes and surface this explicit, catchable domain error
+ * instead so the pipeline can skip the file rather than crash.
+ */
+export class ParseError extends Error {
+    name = 'ParseError';
+    filePath;
+    constructor(message, filePath, options) {
+        super(message, options);
+        this.filePath = filePath;
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/core/parser/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/parser/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AA8HH;;;;;;;GAOG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IACjB,IAAI,GAAG,YAAY,CAAC;IAC7B,QAAQ,CAAS;IAE1B,YAAY,OAAe,EAAE,QAAgB,EAAE,OAA6B;QAC1E,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF"}

package/dist/core/pipeline.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Pipeline orchestrator (Task 4 — assembly).
+ *
+ * The single high-level entry point that ties every stage together:
+ *
+ *   Graph Resolution → Lexical Ranking → Selection → AST Pruning
+ *     → Markdown Bundling → Metrics Compilation
+ *
+ * It depends only on the module contracts, so any stage (parser backend, ranker
+ * strategy) can be swapped without touching this file.
+ */
+import type { ReductionMetrics } from './metrics/index.js';
+export interface TrimOptions {
+    /** Dependency-graph traversal depth from each seed file. Default `2`. */
+    readonly hops?: number;
+    /** Optional cap on the number of ranked seeds. */
+    readonly seedLimit?: number;
+}
+export interface TrimResult {
+    readonly rootDir: string;
+    readonly focus: string;
+    /** The final dense Markdown stream. */
+    readonly bundle: string;
+    readonly metrics: ReductionMetrics;
+    /** Total source files discovered under the root. */
+    readonly totalFiles: number;
+    /** Repo-relative paths of the files that survived, sorted. */
+    readonly keptFiles: readonly string[];
+    /** How many seed symbols the ranker matched for the focus. */
+    readonly seedCount: number;
+}
+/**
+ * Trim a codebase to just the code relevant to `focus`, returning the dense
+ * bundle plus efficiency metrics. Pure w.r.t. the filesystem except for reading
+ * the source files under `rootDir` (never writes).
+ */
+export declare function trim(rootDir: string, focus: string, options?: TrimOptions): Promise<TrimResult>;
+//# sourceMappingURL=pipeline.d.ts.map

package/dist/core/pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../src/core/pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAWH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,WAAW;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAsB,IAAI,CACxB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,WAAgB,GACxB,OAAO,CAAC,UAAU,CAAC,CAkDrB"}

package/dist/core/pipeline.js

@@ -0,0 +1,69 @@
+/**
+ * Pipeline orchestrator (Task 4 — assembly).
+ *
+ * The single high-level entry point that ties every stage together:
+ *
+ *   Graph Resolution → Lexical Ranking → Selection → AST Pruning
+ *     → Markdown Bundling → Metrics Compilation
+ *
+ * It depends only on the module contracts, so any stage (parser backend, ranker
+ * strategy) can be swapped without touching this file.
+ */
+import { promises as fs } from 'node:fs';
+import * as path from 'node:path';
+import { DependencyGraphResolver } from './graph/index.js';
+import { ReferenceClosureSelector } from './graph/symbol-selector.js';
+import { AstPruner } from './pruner/index.js';
+import { MarkdownBundler } from './bundler/index.js';
+import { LexicalRanker } from './ranker/index.js';
+import { computeReduction } from './metrics/index.js';
+/**
+ * Trim a codebase to just the code relevant to `focus`, returning the dense
+ * bundle plus efficiency metrics. Pure w.r.t. the filesystem except for reading
+ * the source files under `rootDir` (never writes).
+ */
+export async function trim(rootDir, focus, options = {}) {
+    const root = path.resolve(rootDir);
+    // 1. Graph resolution.
+    const graph = await new DependencyGraphResolver().buildGraph(root);
+    // Read every discovered file once: the baseline for metrics AND the source of
+    // truth the pruner slices from.
+    const sources = new Map();
+    for (const filePath of graph.nodes.keys()) {
+        sources.set(filePath, await fs.readFile(filePath, 'utf8'));
+    }
+    const baseline = [...sources.values()].join('\n');
+    // 2. Lexical ranking.
+    const allSymbols = [...graph.nodes.values()].flatMap((node) => node.symbols);
+    const ranker = new LexicalRanker(options.seedLimit === undefined ? {} : { limit: options.seedLimit });
+    const seeds = ranker.determineSeeds(focus, allSymbols);
+    // 3. Selection (symbol-level reference closure — ADR-016).
+    const selection = await new ReferenceClosureSelector().select(seeds, graph, sources, {
+        hops: options.hops ?? 2,
+    });
+    // 4. AST pruning (one bundle file per surviving source file).
+    const pruner = new AstPruner();
+    const bundleFiles = [];
+    for (const [filePath, keep] of selection) {
+        const source = sources.get(filePath);
+        if (source === undefined)
+            continue;
+        const pruned = await pruner.prune(source, filePath, keep);
+        if (pruned.trim().length === 0)
+            continue;
+        bundleFiles.push({ path: path.relative(root, filePath), content: pruned });
+    }
+    // 5. Bundling + 6. Metrics.
+    const bundle = new MarkdownBundler({ sortByPath: true }).bundle(bundleFiles);
+    const metrics = computeReduction(baseline, bundle);
+    return {
+        rootDir: root,
+        focus,
+        bundle,
+        metrics,
+        totalFiles: graph.nodes.size,
+        keptFiles: bundleFiles.map((file) => file.path).sort(),
+        seedCount: seeds.length,
+    };
+}
+//# sourceMappingURL=pipeline.js.map

package/dist/core/pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../../src/core/pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAyBtD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CACxB,OAAe,EACf,KAAa,EACb,OAAO,GAAgB,EAAE;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnC,uBAAuB;IACvB,MAAM,KAAK,GAAG,MAAM,IAAI,uBAAuB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnE,8EAA8E;IAC9E,gCAAgC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAElD,sBAAsB;IACtB,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,aAAa,CAC9B,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,CACpE,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAEvD,2DAA2D;IAC3D,MAAM,SAAS,GAAG,MAAM,IAAI,wBAAwB,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE;QACnF,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC;KACxB,CAAC,CAAC;IAEH,8DAA8D;IAC9D,MAAM,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACzC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,4BAA4B;IAC5B,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEnD,OAAO;QACL,OAAO,EAAE,IAAI;QACb,KAAK;QACL,MAAM;QACN,OAAO;QACP,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;QAC5B,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QACtD,SAAS,EAAE,KAAK,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC"}

package/dist/core/pruner/index.d.ts

@@ -0,0 +1,25 @@
+/**
+ * AstPruner (Task 3.5).
+ *
+ * Reconstructs a file down to just the symbols the Selector kept, plus the
+ * imports those symbols still reference. Strategy:
+ *
+ *   1. Parse top-level symbols and whole import statements.
+ *   2. Keep the symbols whose names are in the keep-set.
+ *   3. Find which identifiers the kept symbols reference, and keep only the
+ *      import statements that introduce at least one referenced binding
+ *      (dead-import elimination).
+ *   4. Re-emit kept imports + kept symbols in original source order, each sliced
+ *      verbatim via `Parser.sliceNode`.
+ *
+ * Because it only ever *omits* whole declarations and re-emits kept ones
+ * unchanged, the pruner cannot introduce a syntax error into what it emits.
+ */
+import type { Parser } from '../parser/types.js';
+import type { Pruner } from './types.js';
+export declare class AstPruner implements Pruner {
+    private readonly parser;
+    constructor(parser?: Parser);
+    prune(source: string, filePath: string, keep: ReadonlySet<string>): Promise<string>;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/core/pruner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/pruner/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAS,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,qBAAa,SAAU,YAAW,MAAM;IACtC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAEhC,YAAY,MAAM,GAAE,MAA+B,EAElD;IAEK,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAyBxF;CACF"}