@getfoyer/review-core 0.1.0 → 0.2.1

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.1.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",
@@ -13,6 +13,14 @@
     "./types": {
       "types": "./dist/types.d.ts",
       "import": "./dist/types.js"
+    },
+    "./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": [
@@ -26,9 +34,17 @@
   },
   "scripts": {
     "build": "tsc",
-    "typecheck": "tsc --noEmit"
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run"
+  },
+  "dependencies": {
+    "@getfoyer/client": "portal:../client",
+    "tree-sitter-wasms": "^0.1.12",
+    "web-tree-sitter": "^0.25.0"
   },
   "devDependencies": {
-    "typescript": "^5.5.0"
+    "@types/node": "^22.0.0",
+    "typescript": "^5.5.0",
+    "vitest": "^4.1.2"
   }
 }