@mrclrchtr/supi-code-intelligence 4.1.0 → 4.3.0

package/README.md

@@ -41,6 +41,8 @@ The extension detects project languages and starts matching language servers. In
 | Kotlin | `kotlin-lsp` |
 | R | `R` with `languageserver` |
 
+Semantic and structural support intentionally differ where the syntax differs: Ruby LSP handles ERB templates, and gopls handles `go.mod`, while AST search excludes both rather than parsing them with the wrong Tree-sitter grammar. Ruby gemspecs and KornShell files use the existing Ruby and Bash structural grammars.
+
 Check runtime status with:
 
 ```text
@@ -64,7 +66,7 @@ The extension registers exactly eight `code_*` tools:
 
 `code_impact`, `code_context`, `code_brief`, `code_references`, `code_calls`, and `code_implementations` are not compatibility aliases.
 
-A lightweight architecture overview may be injected once near session start when a project model is available.
+A complete manifest-derived architecture overview is injected once near session start when a project model is available; discovered modules, descriptions, entrypoints, and relationships are not truncated.
 
 ## Exact-one target selectors
 
@@ -157,7 +159,7 @@ code_find({ query: "@scope/package", mode: "ast", kind: "import", scope: ["src"]
 
 Use PI's `grep` tool for literal or regex source search when it is active. `code_find` does not redirect removed text/regex calls to another tool.
 
-AST `kind` accepts exactly `definition`, `import`, `export`, `call`, `type`, `interface`, `class`, `method`, and `enum`. AST `call` finds written call-site names, not symbol identity. Use `code_graph` references on a resolved target for symbol-identity relationships.
+AST `kind` accepts exactly `definition`, `import`, `export`, `call`, `type`, `interface`, `class`, `method`, and `enum`. Outline-backed kinds support every vendored grammar family; HTML definitions are elements with non-empty `id` attributes, while SQL definitions are supported `CREATE` declarations and shallow table/type members. Imports and exports remain JavaScript/TypeScript-only. AST `call` finds written call-site names, not symbol identity. Use `code_graph` references on a resolved target for symbol-identity relationships.
 
 #### AST Scan universe
 

package/node_modules/@mrclrchtr/supi-code-runtime/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-code-runtime/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-code-runtime",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi code-runtime — shared workspace context, capability contracts, and canonical types for the code-understanding stack",
   "license": "MIT",
   "repository": {
@@ -29,7 +29,7 @@
     "!__tests__"
   ],
   "dependencies": {
-    "@mrclrchtr/supi-core": "4.1.0"
+    "@mrclrchtr/supi-core": "4.3.0"
   },
   "bundledDependencies": [
     "@mrclrchtr/supi-core"

package/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-lsp/node_modules/@mrclrchtr/supi-code-runtime/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-lsp/node_modules/@mrclrchtr/supi-code-runtime/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-code-runtime",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi code-runtime — shared workspace context, capability contracts, and canonical types for the code-understanding stack",
   "license": "MIT",
   "repository": {
@@ -29,7 +29,7 @@
     "!__tests__"
   ],
   "dependencies": {
-    "@mrclrchtr/supi-core": "4.1.0"
+    "@mrclrchtr/supi-core": "4.3.0"
   },
   "bundledDependencies": [
     "@mrclrchtr/supi-core"

package/node_modules/@mrclrchtr/supi-lsp/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-lsp/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-lsp",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi LSP runtime — Language Server Protocol integration library for pi",
   "license": "MIT",
   "repository": {
@@ -37,8 +37,8 @@
     "vscode-jsonrpc": "^9.0.0",
     "vscode-languageserver-protocol": "^3.17.5",
     "vscode-languageserver-types": "^3.17.5",
-    "@mrclrchtr/supi-code-runtime": "4.1.0",
-    "@mrclrchtr/supi-core": "4.1.0"
+    "@mrclrchtr/supi-code-runtime": "4.3.0",
+    "@mrclrchtr/supi-core": "4.3.0"
   },
   "bundledDependencies": [
     "@mrclrchtr/supi-code-runtime",

package/node_modules/@mrclrchtr/supi-lsp/src/utils.ts

@@ -24,7 +24,7 @@ const EXT_TO_LANGUAGE: Record<string, string> = {
   pyi: "python",
   rs: "rust",
   go: "go",
-  mod: "go",
+  mod: "go.mod",
   c: "c",
   h: "c",
   cpp: "cpp",
@@ -52,7 +52,7 @@ const EXT_TO_LANGUAGE: Record<string, string> = {
   sql: "sql",
   r: "r",
   rb: "ruby",
-  erb: "ruby",
+  erb: "erb",
   gemspec: "ruby",
   java: "java",
   kt: "kotlin",

package/node_modules/@mrclrchtr/supi-tree-sitter/README.md

@@ -40,17 +40,17 @@ Coordinates in the library APIs use **1-based** line and character columns. Char
 - JavaScript / TypeScript (`.js`, `.jsx`, `.ts`, `.tsx`, `.mjs`, `.cjs`, `.mts`, `.cts`)
 - Python (`.py`, `.pyi`)
 - Rust (`.rs`)
-- Go (`.go`, `.mod`)
+- Go (`.go`)
 - C / C++ (`.c`, `.h`, `.cpp`, `.hpp`, `.cc`, `.cxx`, `.hxx`, `.c++`, `.h++`)
 - Java (`.java`)
 - Kotlin (`.kt`, `.kts`)
-- Ruby (`.rb`)
-- Bash / shell (`.sh`, `.bash`, `.zsh`)
+- Ruby (`.rb`, `.gemspec`)
+- Bash / shell (`.sh`, `.bash`, `.zsh`, `.ksh`)
 - HTML (`.html`, `.htm`, `.xhtml`)
 - R (`.r`)
 - SQL (`.sql`)
 
-Parser support is broader than extractor support. Outline, import, and export collection currently support JavaScript/TypeScript-family grammars. Call-site collection supports every listed family except HTML and SQL. Consumers performing a bulk structural scan should use `getStructuralSearchSupportedExtensions(operation)` rather than treating every parseable extension as eligible.
+Outline collection supports every listed family. HTML outlines contain elements with non-empty `id` attributes; SQL outlines contain `CREATE` declarations and shallow table/type members. Import and export collection remains JavaScript/TypeScript-only, and call-site collection supports every listed family except HTML and SQL. Go module manifests and ERB templates are intentionally excluded because the Go and Ruby grammars do not parse those mixed or separate syntaxes; `supi-lsp` still handles them semantically. Consumers performing a bulk structural scan should use `getStructuralSearchSupportedExtensions(operation)` rather than treating parser support as operation support.
 
 ## Architecture
 
@@ -107,4 +107,4 @@ if (state.kind === "ready") {
 - `src/operation-support.ts` — authoritative operation-specific extension support
 - `src/session/service-registry.ts` — shared session-scoped structural service registry
 - `src/provider/tree-sitter-provider.ts` — `StructuralProvider` adapter consumed by `@mrclrchtr/supi-code-intelligence`
-- `src/tool/outline.ts`, `src/tool/imports.ts`, `src/tool/exports.ts`, `src/tool/node-at.ts`, `src/tool/callees.ts`, `src/tool/call-sites.ts` — structural analyses exposed through the library surface
+- `src/tool/outline.ts`, `src/tool/outline-*.ts`, `src/tool/imports.ts`, `src/tool/exports.ts`, `src/tool/node-at.ts`, `src/tool/callees.ts`, `src/tool/call-sites.ts` — structural analyses exposed through the library surface

package/node_modules/@mrclrchtr/supi-tree-sitter/node_modules/@mrclrchtr/supi-code-runtime/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-tree-sitter/node_modules/@mrclrchtr/supi-code-runtime/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-code-runtime",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi code-runtime — shared workspace context, capability contracts, and canonical types for the code-understanding stack",
   "license": "MIT",
   "repository": {
@@ -29,7 +29,7 @@
     "!__tests__"
   ],
   "dependencies": {
-    "@mrclrchtr/supi-core": "4.1.0"
+    "@mrclrchtr/supi-core": "4.3.0"
   },
   "bundledDependencies": [
     "@mrclrchtr/supi-core"

package/node_modules/@mrclrchtr/supi-tree-sitter/node_modules/@mrclrchtr/supi-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-core",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi core — shared infrastructure for SuPi extensions (XML context tags, config system)",
   "license": "MIT",
   "repository": {

package/node_modules/@mrclrchtr/supi-tree-sitter/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mrclrchtr/supi-tree-sitter",
-  "version": "4.1.0",
+  "version": "4.3.0",
   "description": "SuPi Tree-sitter library — structural AST analysis for pi",
   "license": "MIT",
   "repository": {
@@ -34,8 +34,8 @@
   ],
   "dependencies": {
     "web-tree-sitter": "^0.26.8",
-    "@mrclrchtr/supi-code-runtime": "4.1.0",
-    "@mrclrchtr/supi-core": "4.1.0"
+    "@mrclrchtr/supi-code-runtime": "4.3.0",
+    "@mrclrchtr/supi-core": "4.3.0"
   },
   "bundledDependencies": [
     "@mrclrchtr/supi-code-runtime",

package/node_modules/@mrclrchtr/supi-tree-sitter/src/language.ts

@@ -25,7 +25,6 @@ const EXTENSION_GRAMMAR: Record<string, GrammarId> = {
   ".pyi": "python",
   ".rs": "rust",
   ".go": "go",
-  ".mod": "go",
   ".c": "c",
   ".h": "c",
   ".cpp": "cpp",
@@ -39,9 +38,11 @@ const EXTENSION_GRAMMAR: Record<string, GrammarId> = {
   ".kt": "kotlin",
   ".kts": "kotlin",
   ".rb": "ruby",
+  ".gemspec": "ruby",
   ".sh": "bash",
   ".bash": "bash",
   ".zsh": "bash",
+  ".ksh": "bash",
   ".html": "html",
   ".htm": "html",
   ".xhtml": "html",

package/node_modules/@mrclrchtr/supi-tree-sitter/src/operation-support.ts

@@ -2,6 +2,24 @@ import { getSupportedExtensionGrammarEntries, isJsTsGrammar } from "./language.t
 import { supportsCallSitesGrammar } from "./tool/call-sites.ts";
 import type { GrammarId, SupportedExtension } from "./types.ts";
 
+const OUTLINE_GRAMMARS: ReadonlySet<GrammarId> = new Set([
+  "javascript",
+  "typescript",
+  "tsx",
+  "python",
+  "rust",
+  "go",
+  "c",
+  "cpp",
+  "java",
+  "kotlin",
+  "ruby",
+  "bash",
+  "html",
+  "r",
+  "sql",
+]);
+
 /** Structural collection operations whose language support defines an AST Scan universe. */
 const STRUCTURAL_SEARCH_OPERATIONS = ["outline", "imports", "exports", "call-sites"] as const;
 
@@ -31,6 +49,7 @@ export function supportsGrammarOperation(
     case "call-sites":
       return supportsCallSitesGrammar(grammar);
     case "outline":
+      return OUTLINE_GRAMMARS.has(grammar);
     case "imports":
     case "exports":
       return isJsTsGrammar(grammar);

package/node_modules/@mrclrchtr/supi-tree-sitter/src/syntax-node.ts

@@ -10,4 +10,5 @@ export interface SyntaxNodeLike {
   startPosition: { row: number; column: number };
   endPosition: { row: number; column: number };
   childForFieldName(name: string): SyntaxNodeLike | null;
+  childrenForFieldName(name: string): SyntaxNodeLike[];
 }

package/node_modules/@mrclrchtr/supi-tree-sitter/src/tool/outline-c-family.ts

@@ -0,0 +1,230 @@
+import { nodeToRange } from "../coordinates.ts";
+import type { SyntaxNodeLike } from "../syntax-node.ts";
+import type { OutlineItem } from "../types.ts";
+
+/** Extract C and C++ declarations from their grammar-specific node shapes. */
+export function extractCFamilyOutlineItems(
+  node: SyntaxNodeLike,
+  source: string,
+): OutlineItem[] | undefined {
+  switch (node.type) {
+    case "class_specifier":
+      return one(typeContainer(node, "class", source));
+    case "struct_specifier":
+      return one(typeContainer(node, "struct", source));
+    case "union_specifier":
+      return one(typeContainer(node, "union", source));
+    case "enum_specifier":
+      return one(enumContainer(node, source));
+    case "type_definition":
+      return typeDefinitions(node, source);
+    case "alias_declaration":
+      return one(named(node, "type", source));
+    case "concept_definition":
+      return one(named(node, "concept", source));
+    case "namespace_definition": {
+      const item = namespaceItem(node, source);
+      return item ? [item] : collectDeclarations(node.childForFieldName("body"), source);
+    }
+    case "function_definition":
+      return one(declaratorItem(node, "function", source));
+    case "declaration":
+      return declarationItems(node, "variable", "function", source);
+    default:
+      return undefined;
+  }
+}
+
+function one(item: OutlineItem | null): OutlineItem[] {
+  return item ? [item] : [];
+}
+
+function named(node: SyntaxNodeLike, kind: string, source: string): OutlineItem | null {
+  const name = node.childForFieldName("name");
+  return name ? { name: name.text, kind, range: nodeToRange(node, source) } : null;
+}
+
+function typeContainer(
+  node: SyntaxNodeLike,
+  kind: "class" | "struct" | "union",
+  source: string,
+): OutlineItem | null {
+  const name = node.childForFieldName("name");
+  if (!name) return null;
+  return {
+    name: name.text,
+    kind,
+    range: nodeToRange(node, source),
+    children: collectTypeMembers(node.childForFieldName("body"), source),
+  };
+}
+
+function enumContainer(node: SyntaxNodeLike, source: string): OutlineItem | null {
+  const name = node.childForFieldName("name");
+  if (!name) return null;
+  return {
+    name: name.text,
+    kind: "enum",
+    range: nodeToRange(node, source),
+    children: enumMembers(node, source),
+  };
+}
+
+function enumMembers(node: SyntaxNodeLike, source: string): OutlineItem[] {
+  const body = node.childForFieldName("body");
+  return (
+    body?.children.flatMap((child) =>
+      child.type === "enumerator" ? one(named(child, "enum-member", source)) : [],
+    ) ?? []
+  );
+}
+
+function typeDefinitions(node: SyntaxNodeLike, source: string): OutlineItem[] {
+  const type = node.childForFieldName("type");
+  const kind = cTypeKind(type?.type);
+  const aliases = declaratorNodes(node).flatMap((declarator) => declaratorNames(declarator));
+  if (aliases.length === 0) return [];
+  const range = nodeToRange(node, source);
+  const children =
+    kind === "enum" && type
+      ? enumMembers(type, source)
+      : type
+        ? collectTypeMembers(type.childForFieldName("body"), source)
+        : undefined;
+  return aliases.map((name) => ({ name, kind, range, ...(children ? { children } : {}) }));
+}
+
+function cTypeKind(type: string | undefined): string {
+  switch (type) {
+    case "class_specifier":
+      return "class";
+    case "struct_specifier":
+      return "struct";
+    case "union_specifier":
+      return "union";
+    case "enum_specifier":
+      return "enum";
+    default:
+      return "type";
+  }
+}
+
+function namespaceItem(node: SyntaxNodeLike, source: string): OutlineItem | null {
+  const name = node.childForFieldName("name");
+  if (!name) return null;
+  return {
+    name: name.text,
+    kind: "namespace",
+    range: nodeToRange(node, source),
+    children: collectDeclarations(node.childForFieldName("body"), source),
+  };
+}
+
+function collectDeclarations(
+  parent: SyntaxNodeLike | null | undefined,
+  source: string,
+): OutlineItem[] {
+  if (!parent) return [];
+  return parent.children.flatMap((child) => {
+    const items = extractCFamilyOutlineItems(child, source);
+    return items ?? collectDeclarations(child, source);
+  });
+}
+
+function collectTypeMembers(
+  body: SyntaxNodeLike | null | undefined,
+  source: string,
+): OutlineItem[] {
+  if (!body) return [];
+  return body.children.flatMap((child) => typeMemberItems(child, source));
+}
+
+function typeMemberItems(node: SyntaxNodeLike, source: string): OutlineItem[] {
+  switch (node.type) {
+    case "field_declaration":
+    case "declaration":
+      return declarationItems(node, "field", "method", source);
+    case "function_definition":
+      return one(declaratorItem(node, "method", source));
+    case "class_specifier":
+      return one(typeContainer(node, "class", source));
+    case "struct_specifier":
+      return one(typeContainer(node, "struct", source));
+    case "union_specifier":
+      return one(typeContainer(node, "union", source));
+    case "enum_specifier":
+      return one(enumContainer(node, source));
+    case "type_definition":
+      return typeDefinitions(node, source);
+    case "alias_declaration":
+      return one(named(node, "type", source));
+    case "friend_declaration":
+      return [];
+    default:
+      return node.children.flatMap((child) => typeMemberItems(child, source));
+  }
+}
+
+function declarationItems(
+  node: SyntaxNodeLike,
+  valueKind: string,
+  functionKind: string,
+  source: string,
+): OutlineItem[] {
+  const range = nodeToRange(node, source);
+  return declaratorNodes(node).flatMap((declarator) =>
+    declaratorNames(declarator).map((name) => ({
+      name,
+      kind: isFunctionDeclarator(declarator) ? functionKind : valueKind,
+      range,
+    })),
+  );
+}
+
+function declaratorItem(node: SyntaxNodeLike, kind: string, source: string): OutlineItem | null {
+  const declarator = node.childForFieldName("declarator");
+  const name = declarator ? declaratorNames(declarator)[0] : undefined;
+  return name ? { name, kind, range: nodeToRange(node, source) } : null;
+}
+
+function declaratorNodes(node: SyntaxNodeLike): SyntaxNodeLike[] {
+  const declarators = node.childrenForFieldName("declarator");
+  if (declarators.length > 0) return declarators;
+  const declarator = node.childForFieldName("declarator");
+  return declarator ? [declarator] : [];
+}
+
+function declaratorNames(node: SyntaxNodeLike): string[] {
+  if (DECLARATOR_NAME_TYPES.has(node.type)) return [node.text];
+  if (node.type === "structured_binding_declarator") {
+    return node.children.filter((child) => child.type === "identifier").map((child) => child.text);
+  }
+  const nested = node.childrenForFieldName("declarator");
+  if (nested.length > 0) return nested.flatMap(declaratorNames);
+  const declarator = node.childForFieldName("declarator");
+  return declarator ? declaratorNames(declarator) : [];
+}
+
+function isFunctionDeclarator(node: SyntaxNodeLike): boolean {
+  if (node.type === "function_declarator") {
+    const subject = node.childForFieldName("declarator");
+    return subject?.type !== "parenthesized_declarator" || !containsPointer(subject);
+  }
+  const declarator = node.childForFieldName("declarator");
+  return declarator ? isFunctionDeclarator(declarator) : false;
+}
+
+function containsPointer(node: SyntaxNodeLike): boolean {
+  if (node.type === "pointer_declarator" || node.type === "reference_declarator") return true;
+  return node.children.some(containsPointer);
+}
+
+const DECLARATOR_NAME_TYPES = new Set([
+  "identifier",
+  "field_identifier",
+  "type_identifier",
+  "qualified_identifier",
+  "template_function",
+  "operator_name",
+  "destructor_name",
+]);