@getfoyer/review-core 0.2.0 → 0.2.1

package/dist/semantic/languages.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Extension → grammar mapping. Unknown extensions resolve to null and the
+ * semantic builder silently skips the file (degrades to diff-only for that
+ * path). Adding a language = one entry here + a new WASM in tree-sitter-wasms.
+ */
+import type { LanguageId } from './types.js';
+export declare function languageForPath(path: string): LanguageId | null;
+/**
+ * Filename of the WASM grammar inside the `tree-sitter-wasms` package. Both
+ * `tsx` and `typescript` ship as separate WASMs because the TypeScript grammar
+ * upstream is split that way.
+ */
+export declare function wasmFileForLanguage(lang: LanguageId): string;
+//# sourceMappingURL=languages.d.ts.map

package/dist/semantic/languages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"languages.d.ts","sourceRoot":"","sources":["../../src/semantic/languages.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAmB7C,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAK/D;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAU5D"}

package/dist/semantic/languages.js

@@ -0,0 +1,40 @@
+const EXTENSION_TO_LANGUAGE = {
+    ts: 'typescript',
+    cts: 'typescript',
+    mts: 'typescript',
+    tsx: 'tsx',
+    js: 'javascript',
+    cjs: 'javascript',
+    mjs: 'javascript',
+    jsx: 'javascript',
+    py: 'python',
+    pyi: 'python',
+    go: 'go',
+    rs: 'rust',
+    rb: 'ruby',
+    rake: 'ruby',
+};
+export function languageForPath(path) {
+    const idx = path.lastIndexOf('.');
+    if (idx < 0)
+        return null;
+    const ext = path.slice(idx + 1).toLowerCase();
+    return EXTENSION_TO_LANGUAGE[ext] ?? null;
+}
+/**
+ * Filename of the WASM grammar inside the `tree-sitter-wasms` package. Both
+ * `tsx` and `typescript` ship as separate WASMs because the TypeScript grammar
+ * upstream is split that way.
+ */
+export function wasmFileForLanguage(lang) {
+    switch (lang) {
+        case 'typescript': return 'tree-sitter-typescript.wasm';
+        case 'tsx': return 'tree-sitter-tsx.wasm';
+        case 'javascript': return 'tree-sitter-javascript.wasm';
+        case 'python': return 'tree-sitter-python.wasm';
+        case 'go': return 'tree-sitter-go.wasm';
+        case 'rust': return 'tree-sitter-rust.wasm';
+        case 'ruby': return 'tree-sitter-ruby.wasm';
+    }
+}
+//# sourceMappingURL=languages.js.map

package/dist/semantic/languages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"languages.js","sourceRoot":"","sources":["../../src/semantic/languages.ts"],"names":[],"mappings":"AAOA,MAAM,qBAAqB,GAA+B;IACxD,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,YAAY;IAChB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,EAAE,EAAE,QAAQ;IACZ,GAAG,EAAE,QAAQ;IACb,EAAE,EAAE,IAAI;IACR,EAAE,EAAE,MAAM;IACV,EAAE,EAAE,MAAM;IACV,IAAI,EAAE,MAAM;CACb,CAAC;AAEF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAgB;IAClD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,YAAY,CAAC,CAAC,OAAO,6BAA6B,CAAC;QACxD,KAAK,KAAK,CAAC,CAAQ,OAAO,sBAAsB,CAAC;QACjD,KAAK,YAAY,CAAC,CAAC,OAAO,6BAA6B,CAAC;QACxD,KAAK,QAAQ,CAAC,CAAK,OAAO,yBAAyB,CAAC;QACpD,KAAK,IAAI,CAAC,CAAS,OAAO,qBAAqB,CAAC;QAChD,KAAK,MAAM,CAAC,CAAO,OAAO,uBAAuB,CAAC;QAClD,KAAK,MAAM,CAAC,CAAO,OAAO,uBAAuB,CAAC;IACpD,CAAC;AACH,CAAC"}

package/dist/semantic/parser.d.ts

@@ -0,0 +1,15 @@
+import { type Tree } from 'web-tree-sitter';
+import type { LanguageId } from './types.js';
+export interface ParseResult {
+    tree: Tree;
+    source: string;
+}
+/**
+ * Parse `source` as `lang`. Returns null when the grammar can't be loaded or
+ * when parsing throws. The caller treats null as "skip this file" and the
+ * semantic block degrades silently for that path.
+ */
+export declare function parse(source: string, lang: LanguageId): Promise<ParseResult | null>;
+/** Test seam: drop caches so a unit test can simulate a cold start. */
+export declare function _resetForTests(): void;
+//# sourceMappingURL=parser.d.ts.map

package/dist/semantic/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/semantic/parser.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAoB,KAAK,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA0C7C,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,IAAI,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,wBAAsB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CAYzF;AAED,uEAAuE;AACvE,wBAAgB,cAAc,IAAI,IAAI,CAGrC"}

package/dist/semantic/parser.js

@@ -0,0 +1,83 @@
+/**
+ * Lazy, process-singleton wrapper around web-tree-sitter.
+ *
+ * Loading WASM is async and not free (~5MB per grammar), so we initialise the
+ * runtime once and cache loaded grammars by `LanguageId`. Callers do not need
+ * to know about WASM — they ask for a `Tree` and either get one or `null` if
+ * the grammar fails to load (graceful degradation: the semantic block just
+ * skips that file).
+ *
+ * We intentionally don't expose Parser/Language to callers — every consumer
+ * just wants `parse(source, lang)`.
+ */
+import { readFile } from 'node:fs/promises';
+import { dirname, resolve } from 'node:path';
+import { createRequire } from 'node:module';
+import { Parser, Language } from 'web-tree-sitter';
+import { wasmFileForLanguage } from './languages.js';
+const require_ = createRequire(import.meta.url);
+let initPromise = null;
+const languageCache = new Map();
+async function ensureInit() {
+    if (initPromise)
+        return initPromise;
+    initPromise = (async () => {
+        // web-tree-sitter looks for `tree-sitter.wasm` next to its main module by
+        // default. We override `locateFile` to point at the package directly so
+        // node ESM resolution doesn't trip over import.meta.url plumbing.
+        const wtsMain = require_.resolve('web-tree-sitter');
+        const wtsDir = dirname(wtsMain);
+        await Parser.init({
+            locateFile: (name) => resolve(wtsDir, name),
+        });
+    })().catch((err) => {
+        // Reset on failure so a transient error doesn't poison the singleton.
+        initPromise = null;
+        throw err;
+    });
+    return initPromise;
+}
+async function loadGrammar(lang) {
+    if (languageCache.has(lang))
+        return languageCache.get(lang) ?? null;
+    try {
+        await ensureInit();
+        const wasmsDir = dirname(require_.resolve('tree-sitter-wasms/package.json'));
+        const wasmPath = resolve(wasmsDir, 'out', wasmFileForLanguage(lang));
+        const bytes = await readFile(wasmPath);
+        const language = await Language.load(bytes);
+        languageCache.set(lang, language);
+        return language;
+    }
+    catch {
+        languageCache.set(lang, null);
+        return null;
+    }
+}
+/**
+ * Parse `source` as `lang`. Returns null when the grammar can't be loaded or
+ * when parsing throws. The caller treats null as "skip this file" and the
+ * semantic block degrades silently for that path.
+ */
+export async function parse(source, lang) {
+    const language = await loadGrammar(lang);
+    if (!language)
+        return null;
+    try {
+        const parser = new Parser();
+        parser.setLanguage(language);
+        const tree = parser.parse(source);
+        if (!tree)
+            return null;
+        return { tree, source };
+    }
+    catch {
+        return null;
+    }
+}
+/** Test seam: drop caches so a unit test can simulate a cold start. */
+export function _resetForTests() {
+    initPromise = null;
+    languageCache.clear();
+}
+//# sourceMappingURL=parser.js.map

package/dist/semantic/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/semantic/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAa,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAGrD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEhD,IAAI,WAAW,GAAyB,IAAI,CAAC;AAC7C,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;AAE7D,KAAK,UAAU,UAAU;IACvB,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IACpC,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;QACxB,0EAA0E;QAC1E,wEAAwE;QACxE,kEAAkE;QAClE,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,MAAM,CAAC,IAAI,CAAC;YAChB,UAAU,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;SACf,CAAC,CAAC;IAC1C,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QACjB,sEAAsE;QACtE,WAAW,GAAG,IAAI,CAAC;QACnB,MAAM,GAAG,CAAC;IACZ,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAAgB;IACzC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,UAAU,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC,CAAC;QAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAOD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,MAAc,EAAE,IAAgB;IAC1D,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,cAAc;IAC5B,WAAW,GAAG,IAAI,CAAC;IACnB,aAAa,CAAC,KAAK,EAAE,CAAC;AACxB,CAAC"}

package/dist/semantic/symbols.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Symbol extraction from a parsed AST.
+ *
+ * Two responsibilities:
+ *  1. Given a parsed file + a set of changed line ranges, return the top-level
+ *     symbols (functions, classes, methods) whose body overlaps any of those
+ *     ranges. Those are the "touched symbols" the reviewer should know about
+ *     in full, not just by diff hunks.
+ *  2. Given a parsed file, return its import edges: which modules it imports
+ *     and which named bindings it pulls in. The imports module resolves those
+ *     to files; the resolver lives outside so this stays AST-only.
+ *
+ * The grammars provide the node type strings; the per-language differences
+ * are isolated in `topLevelTypes` and `importQuery` below.
+ */
+import type { Node } from 'web-tree-sitter';
+import type { ParseResult } from './parser.js';
+import type { LanguageId, TouchedSymbol } from './types.js';
+/**
+ * Top-level definitions in order. We walk the root node's direct children
+ * (and one level into `export_statement` / `decorated_definition` wrappers).
+ */
+export declare function topLevelDefinitions(parsed: ParseResult, lang: LanguageId): Node[];
+/**
+ * Heuristic name extraction. Tree-sitter exposes a `name` field for most
+ * declaration types; for lexical_declaration we walk into the first
+ * variable_declarator and read its `name` field. Returns "<anonymous>" rather
+ * than null so the rendered block always has something printable.
+ */
+export declare function symbolName(node: Node): string;
+export declare function symbolKind(node: Node): TouchedSymbol['kind'];
+/**
+ * Return the symbols whose source range overlaps any of the supplied
+ * post-image line ranges. Lines are 1-based; tree-sitter positions are
+ * 0-based, so we shift by one when comparing.
+ */
+export declare function findTouchedSymbols(parsed: ParseResult, lang: LanguageId, file: string, hunks: {
+    newStart: number;
+    newLines: number;
+}[], bodyCapBytes: number): TouchedSymbol[];
+export interface ImportEdge {
+    /** Module specifier as it appears in source (e.g. `./foo`, `react`). */
+    source: string;
+    /** Local names imported. For `import * as X from ...` this is `['*']`. */
+    names: string[];
+}
+/**
+ * Extract import edges. JS/TS use `import_statement`; Python uses
+ * `import_from_statement` / `import_statement`. We surface only the cheap
+ * cases — full semantics (re-exports, computed paths) would require a real
+ * compiler, which is out of scope per the plan.
+ */
+export declare function findImports(parsed: ParseResult, lang: LanguageId): ImportEdge[];
+//# sourceMappingURL=symbols.d.ts.map

package/dist/semantic/symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../src/semantic/symbols.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA4D5D;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI,EAAE,CAoBjF;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA4B7C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CA8B5D;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,EAC/C,YAAY,EAAE,MAAM,GACnB,aAAa,EAAE,CA4BjB;AAMD,MAAM,WAAW,UAAU;IACzB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,0EAA0E;IAC1E,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,GAAG,UAAU,EAAE,CAsE/E"}

package/dist/semantic/symbols.js

@@ -0,0 +1,287 @@
+const TOP_LEVEL_DEFINITION_TYPES = {
+    typescript: new Set([
+        'function_declaration',
+        'class_declaration',
+        'method_definition',
+        'interface_declaration',
+        'type_alias_declaration',
+        'lexical_declaration', // `const foo = (...) => {...}`
+        'export_statement',
+    ]),
+    tsx: new Set([
+        'function_declaration',
+        'class_declaration',
+        'method_definition',
+        'interface_declaration',
+        'type_alias_declaration',
+        'lexical_declaration',
+        'export_statement',
+    ]),
+    javascript: new Set([
+        'function_declaration',
+        'class_declaration',
+        'method_definition',
+        'lexical_declaration',
+        'export_statement',
+    ]),
+    python: new Set([
+        'function_definition',
+        'class_definition',
+        'decorated_definition',
+    ]),
+    go: new Set([
+        'function_declaration',
+        'method_declaration',
+        'type_declaration',
+        'var_declaration',
+        'const_declaration',
+    ]),
+    rust: new Set([
+        'function_item',
+        'struct_item',
+        'enum_item',
+        'trait_item',
+        'impl_item',
+        'mod_item',
+        'const_item',
+        'static_item',
+        'type_item',
+    ]),
+    ruby: new Set([
+        'method',
+        'singleton_method',
+        'class',
+        'module',
+        'assignment', // constants — uppercase LHS resolved in symbolName
+    ]),
+};
+/**
+ * Top-level definitions in order. We walk the root node's direct children
+ * (and one level into `export_statement` / `decorated_definition` wrappers).
+ */
+export function topLevelDefinitions(parsed, lang) {
+    const wantedTypes = TOP_LEVEL_DEFINITION_TYPES[lang];
+    const out = [];
+    for (const child of parsed.tree.rootNode.namedChildren) {
+        if (!child)
+            continue;
+        if (wantedTypes.has(child.type)) {
+            // Unwrap `export_statement` so we report the inner declaration. The
+            // body line range is unchanged either way.
+            if (child.type === 'export_statement') {
+                const inner = child.namedChildren.find((c) => !!c && wantedTypes.has(c.type));
+                out.push(inner ?? child);
+            }
+            else if (child.type === 'decorated_definition') {
+                const inner = child.namedChildren.find((c) => !!c && (c.type === 'function_definition' || c.type === 'class_definition'));
+                out.push(inner ?? child);
+            }
+            else {
+                out.push(child);
+            }
+        }
+    }
+    return out;
+}
+/**
+ * Heuristic name extraction. Tree-sitter exposes a `name` field for most
+ * declaration types; for lexical_declaration we walk into the first
+ * variable_declarator and read its `name` field. Returns "<anonymous>" rather
+ * than null so the rendered block always has something printable.
+ */
+export function symbolName(node) {
+    const named = node.childForFieldName('name');
+    if (named?.text)
+        return named.text;
+    if (node.type === 'lexical_declaration') {
+        const decl = node.namedChildren.find((c) => !!c && c.type === 'variable_declarator');
+        const name = decl?.childForFieldName('name');
+        if (name?.text)
+            return name.text;
+    }
+    // Go `type_declaration` / `var_declaration` / `const_declaration` wrap an
+    // inner spec node that carries the name field.
+    if (node.type === 'type_declaration' || node.type === 'var_declaration' || node.type === 'const_declaration') {
+        const spec = node.namedChildren.find((c) => !!c && (c.type === 'type_spec' || c.type === 'var_spec' || c.type === 'const_spec'));
+        const nm = spec?.childForFieldName('name');
+        if (nm?.text)
+            return nm.text;
+    }
+    // Ruby `assignment` for top-level constants: LHS is an `identifier` or
+    // `constant`. We surface only constants (uppercase start) — lowercase locals
+    // aren't useful in review context.
+    if (node.type === 'assignment') {
+        const lhs = node.childForFieldName('left');
+        if (lhs?.text && /^[A-Z]/.test(lhs.text))
+            return lhs.text;
+    }
+    // Rust `impl_item` exposes the implemented type via the `type` field.
+    if (node.type === 'impl_item') {
+        const ty = node.childForFieldName('type');
+        if (ty?.text)
+            return `impl ${ty.text}`;
+    }
+    return '<anonymous>';
+}
+export function symbolKind(node) {
+    switch (node.type) {
+        case 'function_declaration':
+        case 'function_definition':
+        case 'function_item':
+        case 'method':
+        case 'singleton_method':
+        case 'method_declaration':
+            return node.type.startsWith('method') ? 'method' : 'function';
+        case 'class_declaration':
+        case 'class_definition':
+        case 'class':
+        case 'struct_item':
+        case 'enum_item':
+        case 'trait_item':
+        case 'module':
+        case 'mod_item':
+            return 'class';
+        case 'method_definition':
+            return 'method';
+        case 'lexical_declaration':
+        case 'const_declaration':
+        case 'const_item':
+        case 'static_item':
+        case 'var_declaration':
+        case 'assignment':
+            return 'const';
+        default:
+            return 'unknown';
+    }
+}
+/**
+ * Return the symbols whose source range overlaps any of the supplied
+ * post-image line ranges. Lines are 1-based; tree-sitter positions are
+ * 0-based, so we shift by one when comparing.
+ */
+export function findTouchedSymbols(parsed, lang, file, hunks, bodyCapBytes) {
+    if (hunks.length === 0)
+        return [];
+    const defs = topLevelDefinitions(parsed, lang);
+    const seen = new Set();
+    const out = [];
+    for (const def of defs) {
+        const startLine = def.startPosition.row + 1;
+        const endLine = def.endPosition.row + 1;
+        const overlaps = hunks.some((h) => {
+            const hStart = h.newStart;
+            const hEnd = h.newStart + Math.max(0, h.newLines - 1);
+            return hEnd >= startLine && hStart <= endLine;
+        });
+        if (!overlaps)
+            continue;
+        const name = symbolName(def);
+        const key = `${name}@${startLine}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        const body = def.text.length > bodyCapBytes ? def.text.slice(0, bodyCapBytes) + '\n/* …truncated… */' : def.text;
+        out.push({
+            file,
+            name,
+            kind: symbolKind(def),
+            body,
+            line: startLine,
+        });
+    }
+    return out;
+}
+/**
+ * Extract import edges. JS/TS use `import_statement`; Python uses
+ * `import_from_statement` / `import_statement`. We surface only the cheap
+ * cases — full semantics (re-exports, computed paths) would require a real
+ * compiler, which is out of scope per the plan.
+ */
+export function findImports(parsed, lang) {
+    const edges = [];
+    // Go imports name packages, not files; Rust `use` paths resolve through a
+    // module tree we don't model. Skip both — touched-symbol bodies still ship.
+    if (lang === 'go' || lang === 'rust')
+        return edges;
+    for (const child of parsed.tree.rootNode.namedChildren) {
+        if (!child)
+            continue;
+        if (lang === 'ruby') {
+            // Ruby `require_relative "./foo"` appears as a `call` with method
+            // `require_relative` and a string-literal argument. We surface the
+            // bare path; the resolver maps it to a `.rb` file.
+            if (child.type !== 'call')
+                continue;
+            const method = child.childForFieldName('method')?.text;
+            if (method !== 'require_relative' && method !== 'require')
+                continue;
+            const args = child.childForFieldName('arguments');
+            const strArg = args?.namedChildren.find((c) => !!c && c.type === 'string');
+            if (!strArg)
+                continue;
+            const raw = strArg.text.replace(/^['"]|['"]$/g, '');
+            // For `require_relative`, treat as relative; for plain `require`, only
+            // surface when the path looks relative (rare but harmless).
+            if (method === 'require_relative' || raw.startsWith('./') || raw.startsWith('../')) {
+                edges.push({ source: raw.startsWith('.') ? raw : `./${raw}`, names: ['*'] });
+            }
+            continue;
+        }
+        if (lang === 'python') {
+            if (child.type === 'import_from_statement') {
+                const moduleName = child.childForFieldName('module_name')?.text;
+                if (!moduleName)
+                    continue;
+                const names = [];
+                for (const n of child.namedChildren) {
+                    if (n && (n.type === 'dotted_name' || n.type === 'aliased_import')) {
+                        const txt = n.childForFieldName('name')?.text ?? n.text;
+                        if (txt)
+                            names.push(txt);
+                    }
+                }
+                if (names.length > 0)
+                    edges.push({ source: moduleName, names });
+            }
+            continue;
+        }
+        if (child.type !== 'import_statement')
+            continue;
+        const sourceNode = child.childForFieldName('source');
+        if (!sourceNode)
+            continue;
+        // `source` text is the raw quoted string. Strip quotes.
+        const source = sourceNode.text.replace(/^['"]|['"]$/g, '');
+        const names = [];
+        // Walk import_clause → named_imports / namespace_import / identifier.
+        for (const c of child.namedChildren) {
+            if (!c)
+                continue;
+            if (c.type === 'import_clause') {
+                for (const inner of c.namedChildren) {
+                    if (!inner)
+                        continue;
+                    if (inner.type === 'identifier') {
+                        names.push(inner.text);
+                    }
+                    else if (inner.type === 'namespace_import') {
+                        names.push('*');
+                    }
+                    else if (inner.type === 'named_imports') {
+                        for (const spec of inner.namedChildren) {
+                            if (!spec || spec.type !== 'import_specifier')
+                                continue;
+                            const nm = spec.childForFieldName('name')?.text;
+                            if (nm)
+                                names.push(nm);
+                        }
+                    }
+                }
+            }
+        }
+        if (source)
+            edges.push({ source, names });
+    }
+    return edges;
+}
+//# sourceMappingURL=symbols.js.map

package/dist/semantic/symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.js","sourceRoot":"","sources":["../../src/semantic/symbols.ts"],"names":[],"mappings":"AAmBA,MAAM,0BAA0B,GAAoC;IAClE,UAAU,EAAE,IAAI,GAAG,CAAC;QAClB,sBAAsB;QACtB,mBAAmB;QACnB,mBAAmB;QACnB,uBAAuB;QACvB,wBAAwB;QACxB,qBAAqB,EAAE,+BAA+B;QACtD,kBAAkB;KACnB,CAAC;IACF,GAAG,EAAE,IAAI,GAAG,CAAC;QACX,sBAAsB;QACtB,mBAAmB;QACnB,mBAAmB;QACnB,uBAAuB;QACvB,wBAAwB;QACxB,qBAAqB;QACrB,kBAAkB;KACnB,CAAC;IACF,UAAU,EAAE,IAAI,GAAG,CAAC;QAClB,sBAAsB;QACtB,mBAAmB;QACnB,mBAAmB;QACnB,qBAAqB;QACrB,kBAAkB;KACnB,CAAC;IACF,MAAM,EAAE,IAAI,GAAG,CAAC;QACd,qBAAqB;QACrB,kBAAkB;QAClB,sBAAsB;KACvB,CAAC;IACF,EAAE,EAAE,IAAI,GAAG,CAAC;QACV,sBAAsB;QACtB,oBAAoB;QACpB,kBAAkB;QAClB,iBAAiB;QACjB,mBAAmB;KACpB,CAAC;IACF,IAAI,EAAE,IAAI,GAAG,CAAC;QACZ,eAAe;QACf,aAAa;QACb,WAAW;QACX,YAAY;QACZ,WAAW;QACX,UAAU;QACV,YAAY;QACZ,aAAa;QACb,WAAW;KACZ,CAAC;IACF,IAAI,EAAE,IAAI,GAAG,CAAC;QACZ,QAAQ;QACR,kBAAkB;QAClB,OAAO;QACP,QAAQ;QACR,YAAY,EAAE,mDAAmD;KAClE,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAmB,EAAE,IAAgB;IACvE,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QACvD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,oEAAoE;YACpE,2CAA2C;YAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzF,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;YAC3B,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACrI,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,KAAK,EAAE,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC;QAChG,MAAM,IAAI,GAAG,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,IAAI;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,0EAA0E;IAC1E,+CAA+C;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QAC7G,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC;QAC5I,MAAM,EAAE,GAAG,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,EAAE,EAAE,IAAI;YAAE,OAAO,EAAE,CAAC,IAAI,CAAC;IAC/B,CAAC;IACD,uEAAuE;IACvE,6EAA6E;IAC7E,mCAAmC;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,GAAG,EAAE,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IAC5D,CAAC;IACD,sEAAsE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,EAAE,EAAE,IAAI;YAAE,OAAO,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,qBAAqB,CAAC;QAC3B,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ,CAAC;QACd,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB;YACvB,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QAChE,KAAK,mBAAmB,CAAC;QACzB,KAAK,kBAAkB,CAAC;QACxB,KAAK,OAAO,CAAC;QACb,KAAK,aAAa,CAAC;QACnB,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU;YACb,OAAO,OAAO,CAAC;QACjB,KAAK,mBAAmB;YACtB,OAAO,QAAQ,CAAC;QAClB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,mBAAmB,CAAC;QACzB,KAAK,YAAY,CAAC;QAClB,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB,CAAC;QACvB,KAAK,YAAY;YACf,OAAO,OAAO,CAAC;QACjB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAmB,EACnB,IAAgB,EAChB,IAAY,EACZ,KAA+C,EAC/C,YAAoB;IAEpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAChC,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;YACtD,OAAO,IAAI,IAAI,SAAS,IAAI,MAAM,IAAI,OAAO,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,SAAS,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;QACjH,GAAG,CAAC,IAAI,CAAC;YACP,IAAI;YACJ,IAAI;YACJ,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC;YACrB,IAAI;YACJ,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAmB,EAAE,IAAgB;IAC/D,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QACvD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,kEAAkE;YAClE,mEAAmE;YACnE,mDAAmD;YACnD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;YACvD,IAAI,MAAM,KAAK,kBAAkB,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACpE,MAAM,IAAI,GAAG,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YACtF,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;YACpD,uEAAuE;YACvE,4DAA4D;YAC5D,IAAI,MAAM,KAAK,kBAAkB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnF,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC3C,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;gBAChE,IAAI,CAAC,UAAU;oBAAE,SAAS;gBAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;oBACpC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;wBACnE,MAAM,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;wBACxD,IAAI,GAAG;4BAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;YAClE,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAChD,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,wDAAwD;QACxD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,sEAAsE;QACtE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;oBACpC,IAAI,CAAC,KAAK;wBAAE,SAAS;oBACrB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACzB,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;wBAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAClB,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;4BACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;gCAAE,SAAS;4BACxD,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;4BAChD,IAAI,EAAE;gCAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACzB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/semantic/types.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Shared types for the semantic-context module.
+ *
+ * Purpose: enrich the diff fed to the code-review LLM with definitions of the
+ * symbols the diff touches and the symbols those touched files import. The
+ * diff says *what changed*; this block says *what those changes refer to*.
+ */
+export type LanguageId = 'typescript' | 'tsx' | 'javascript' | 'python' | 'go' | 'rust' | 'ruby';
+export interface TouchedSymbol {
+    /** Repo-relative file path from the diff `+++ b/` header. */
+    file: string;
+    /** Symbol name (function, class, method, top-level const with function value). */
+    name: string;
+    kind: 'function' | 'class' | 'method' | 'const' | 'unknown';
+    /** Full source text of the symbol's definition (not just diff hunks). Capped
+     *  upstream by FileReader's per-file byte cap. */
+    body: string;
+    /** 1-based line where the symbol starts in the post-image file. */
+    line: number;
+}
+export interface ImportedSymbol {
+    /** Local name as used in the importing file. */
+    name: string;
+    /** Repo-relative path of the file the symbol was resolved to. */
+    fromFile: string;
+    /** Signature line(s) — the first line of the definition. Cheaper than the
+     *  full body and usually enough to catch arg-shape mismatches. */
+    signature: string;
+}
+export interface SemanticBlock {
+    /** Rendered markdown block ready to inline in the LLM user message. Empty
+     *  string when nothing useful was extracted. */
+    rendered: string;
+    /** Diagnostic counts for logging. */
+    stats: {
+        touchedFiles: number;
+        touchedSymbols: number;
+        importedSymbols: number;
+        bytes: number;
+        truncated: boolean;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/semantic/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/semantic/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAClB,YAAY,GACZ,KAAK,GACL,YAAY,GACZ,QAAQ,GACR,IAAI,GACJ,MAAM,GACN,MAAM,CAAC;AAEX,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IAC5D;sDACkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB;sEACkE;IAClE,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B;oDACgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,qCAAqC;IACrC,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;CACH"}

package/dist/semantic/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/semantic/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/semantic/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@getfoyer/review-core",
-  "version": "0.2.0",
-  "description": "Frozen contract for Foyer run artifacts (RunArtifact v0.1) — the shared shape consumed by the GitHub App, the CLI, the hosted report, and PR-comment writers.",
+  "version": "0.2.1",
+  "description": "Frozen contract for Foyer run artifacts (RunArtifact v0.1) — the shared shape consumed by the GitHub App, the CLI, the hosted report, and PR-comment writers. Also ships the cross-cutting semantic-context builder used by code review.",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -17,6 +17,10 @@
     "./plan-context": {
       "types": "./dist/plan-context.d.ts",
       "import": "./dist/plan-context.js"
+    },
+    "./semantic": {
+      "types": "./dist/semantic/index.d.ts",
+      "import": "./dist/semantic/index.js"
     }
   },
   "files": [
@@ -30,13 +34,17 @@
   },
   "scripts": {
     "build": "tsc",
-    "typecheck": "tsc --noEmit"
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run"
   },
   "dependencies": {
-    "@getfoyer/client": "0.1.3"
+    "@getfoyer/client": "portal:../client",
+    "tree-sitter-wasms": "^0.1.12",
+    "web-tree-sitter": "^0.25.0"
   },
   "devDependencies": {
     "@types/node": "^22.0.0",
-    "typescript": "^5.5.0"
+    "typescript": "^5.5.0",
+    "vitest": "^4.1.2"
   }
 }