gitnexus 1.4.7 → 1.4.9

package/dist/core/ingestion/tree-sitter-queries.js

@@ -1,4 +1,3 @@
-import { SupportedLanguages } from '../../config/supported-languages.js';
 /*
  * Tree-sitter queries for extracting code definitions.
  *
@@ -17,6 +16,10 @@ export const TYPESCRIPT_QUERIES = `
 (function_declaration
   name: (identifier) @name) @definition.function
 
+; TypeScript overload signatures (function_signature is a separate node type from function_declaration)
+(function_signature
+  name: (identifier) @name) @definition.function
+
 (method_definition
   name: (property_identifier) @name) @definition.method
 
@@ -100,6 +103,34 @@ export const TYPESCRIPT_QUERIES = `
     object: (_) @assignment.receiver
     property: (property_identifier) @assignment.property)
   right: (_)) @assignment
+
+; HTTP consumers: fetch('/path'), axios.get('/path'), $.get('/path'), etc.
+; fetch() — global function
+(call_expression
+  function: (identifier) @_fetch_fn (#eq? @_fetch_fn "fetch")
+  arguments: (arguments
+    [(string (string_fragment) @route.url)
+     (template_string) @route.template_url])) @route.fetch
+
+; axios.get/post/put/delete/patch('/path'), $.get/post/ajax({url:'/path'})
+(call_expression
+  function: (member_expression
+    property: (property_identifier) @http_client.method)
+  arguments: (arguments
+    (string (string_fragment) @http_client.url))) @http_client
+
+; Decorators: @Controller, @Get, @Post, etc.
+(decorator
+  (call_expression
+    function: (identifier) @decorator.name
+    arguments: (arguments (string (string_fragment) @decorator.arg)?))) @decorator
+
+; Express/Hono route registration: app.get('/path', handler), router.post('/path', fn)
+(call_expression
+  function: (member_expression
+    property: (property_identifier) @express_route.method)
+  arguments: (arguments
+    (string (string_fragment) @express_route.path))) @express_route
 `;
 // JavaScript queries - works with tree-sitter-javascript
 export const JAVASCRIPT_QUERIES = `
@@ -176,6 +207,27 @@ export const JAVASCRIPT_QUERIES = `
     object: (_) @assignment.receiver
     property: (property_identifier) @assignment.property)
   right: (_)) @assignment
+
+; HTTP consumers: fetch('/path'), axios.get('/path'), $.get('/path'), etc.
+(call_expression
+  function: (identifier) @_fetch_fn (#eq? @_fetch_fn "fetch")
+  arguments: (arguments
+    [(string (string_fragment) @route.url)
+     (template_string) @route.template_url])) @route.fetch
+
+; axios.get/post, $.get/post/ajax
+(call_expression
+  function: (member_expression
+    property: (property_identifier) @http_client.method)
+  arguments: (arguments
+    (string (string_fragment) @http_client.url))) @http_client
+
+; Express/Hono route registration
+(call_expression
+  function: (member_expression
+    property: (property_identifier) @express_route.method)
+  arguments: (arguments
+    (string (string_fragment) @express_route.path))) @express_route
 `;
 // Python queries - works with tree-sitter-python
 export const PYTHON_QUERIES = `
@@ -188,6 +240,12 @@ export const PYTHON_QUERIES = `
 (import_statement
   name: (dotted_name) @import.source) @import
 
+; import numpy as np  →  aliased_import captures the module name so the
+; import path is resolved and named-binding extraction stores "np" → "numpy".
+(import_statement
+  name: (aliased_import
+    name: (dotted_name) @import.source)) @import
+
 (import_from_statement
   module_name: (dotted_name) @import.source) @import
 
@@ -228,6 +286,22 @@ export const PYTHON_QUERIES = `
     object: (_) @assignment.receiver
     attribute: (identifier) @assignment.property)
   right: (_)) @assignment
+
+; Python HTTP clients: requests.get('/path'), httpx.post('/path'), session.get('/path')
+(call
+  function: (attribute
+    attribute: (identifier) @http_client.method)
+  arguments: (argument_list
+    (string (string_content) @http_client.url))) @http_client
+
+; Python decorators: @app.route, @router.get, etc.
+(decorator
+  (call
+    function: (attribute
+      object: (identifier) @decorator.receiver
+      attribute: (identifier) @decorator.name)
+    arguments: (argument_list
+      (string (string_content) @decorator.arg)?))) @decorator
 `;
 // Java queries - works with tree-sitter-java
 export const JAVA_QUERIES = `
@@ -343,6 +417,16 @@ export const GO_QUERIES = `
       operand: (_) @assignment.receiver
       field: (field_identifier) @assignment.property))
   right: (_)) @assignment
+
+; Write access: obj.field++ / obj.field--
+(inc_statement
+  (selector_expression
+    operand: (_) @assignment.receiver
+    field: (field_identifier) @assignment.property)) @assignment
+(dec_statement
+  (selector_expression
+    operand: (_) @assignment.receiver
+    field: (field_identifier) @assignment.property)) @assignment
 `;
 // C++ queries - works with tree-sitter-cpp
 export const CPP_QUERIES = `
@@ -398,8 +482,15 @@ export const CPP_QUERIES = `
   declarator: (reference_declarator
     (field_identifier) @name)) @definition.property
 
-; Inline class method declarations (inside class body, no body: void Foo();)
-(field_declaration declarator: (function_declarator declarator: (identifier) @name)) @definition.method
+; Inline class method declarations (inside class body, no body: void save();)
+; tree-sitter-cpp uses field_identifier (not identifier) for names inside class bodies
+(field_declaration declarator: (function_declarator declarator: [(field_identifier) (identifier)] @name)) @definition.method
+
+; Inline class method declarations returning a pointer (User* lookup();)
+(field_declaration declarator: (pointer_declarator declarator: (function_declarator declarator: [(field_identifier) (identifier)] @name))) @definition.method
+
+; Inline class method declarations returning a reference (User& lookup();)
+(field_declaration declarator: (reference_declarator (function_declarator declarator: [(field_identifier) (identifier)] @name))) @definition.method
 
 ; Inline class method definitions (inside class body, with body: void Foo() { ... })
 (field_declaration_list
@@ -407,6 +498,20 @@ export const CPP_QUERIES = `
     declarator: (function_declarator
       declarator: [(field_identifier) (identifier) (operator_name) (destructor_name)] @name)) @definition.method)
 
+; Inline class methods returning a pointer type (User* lookup(int id) { ... })
+(field_declaration_list
+  (function_definition
+    declarator: (pointer_declarator
+      declarator: (function_declarator
+        declarator: [(field_identifier) (identifier) (operator_name)] @name))) @definition.method)
+
+; Inline class methods returning a reference type (User& lookup(int id) { ... })
+(field_declaration_list
+  (function_definition
+    declarator: (reference_declarator
+      (function_declarator
+        declarator: [(field_identifier) (identifier) (operator_name)] @name))) @definition.method)
+
 ; Templates
 (template_declaration (class_specifier name: (type_identifier) @name)) @definition.template
 (template_declaration (function_definition declarator: (function_declarator declarator: (identifier) @name))) @definition.template
@@ -639,6 +744,12 @@ export const PHP_QUERIES = `
     (use_declaration
       [(name) (qualified_name)] @heritage.trait))) @heritage
 
+; PHP HTTP consumers: file_get_contents('/path'), curl_init('/path')
+(function_call_expression
+  function: (name) @_php_http (#match? @_php_http "^(file_get_contents|curl_init)$")
+  arguments: (arguments
+    (argument (string (string_content) @http_client.url)))) @http_client
+
 ; Write access: $obj->field = value
 (assignment_expression
   left: (member_access_expression
@@ -685,7 +796,7 @@ export const RUBY_QUERIES = `
 ; NOTE: This may over-capture variable reads as calls (e.g. 'result' at
 ; statement level). Ruby's grammar makes bare identifiers ambiguous — they
 ; could be local variables or zero-arity method calls. Post-processing via
-; isBuiltInOrNoise and symbol resolution filtering suppresses most false
+; provider.isBuiltInName and symbol resolution filtering suppresses most false
 ; positives, but a variable name that coincidentally matches a method name
 ; elsewhere may produce a false CALLS edge.
 (body_statement
@@ -840,6 +951,9 @@ export const SWIFT_QUERIES = `
 ; Properties (stored and computed)
 (property_declaration (pattern (simple_identifier) @name)) @definition.property
 
+; Enum cases
+(enum_entry (simple_identifier) @name) @definition.property
+
 ; Imports
 (import_declaration (identifier (simple_identifier) @import.source)) @import
 
@@ -862,15 +976,162 @@ export const SWIFT_QUERIES = `
 (class_declaration "extension" name: (user_type (type_identifier) @heritage.class)
   (inheritance_specifier inherits_from: (user_type (type_identifier) @heritage.extends))) @heritage
 
-; Write access: obj.field = value
+; Write access: obj.field = value (tree-sitter-swift 0.7.1 uses named fields)
 (assignment
-  (directly_assignable_expression
-    (_) @assignment.receiver
-    (navigation_suffix
-      (simple_identifier) @assignment.property))
-  (_)) @assignment
+  target: (directly_assignable_expression
+    (navigation_expression
+      target: (_) @assignment.receiver
+      suffix: (navigation_suffix
+        suffix: (simple_identifier) @assignment.property)))
+  result: (_)) @assignment
+
+`;
+// Dart queries - works with tree-sitter-dart (UserNobody14/tree-sitter-dart, ABI 14)
+// Note: Dart grammar has function_signature/method_signature as wrappers;
+// top-level functions are (program > function_signature),
+// methods inside classes are (method_signature > function_signature).
+// We match top-level functions via (program (function_signature ...)) to avoid
+// double-counting methods that also contain function_signature.
+export const DART_QUERIES = `
+; ── Classes ──────────────────────────────────────────────────────────────────
+(class_definition
+  name: (identifier) @name) @definition.class
+
+; ── Mixins ───────────────────────────────────────────────────────────────────
+(mixin_declaration
+  (identifier) @name) @definition.trait
+
+; ── Extensions ───────────────────────────────────────────────────────────────
+(extension_declaration
+  name: (identifier) @name) @definition.class
+
+; ── Enums ────────────────────────────────────────────────────────────────────
+(enum_declaration
+  name: (identifier) @name) @definition.enum
+
+; ── Type aliases ─────────────────────────────────────────────────────────────
+; Anchor "=" after the name to avoid capturing the RHS type
+(type_alias
+  (type_identifier) @name
+  "=") @definition.type
+
+; ── Top-level functions (parent is program, not method_signature) ────────────
+(program
+  (function_signature
+    name: (identifier) @name) @definition.function)
+
+; ── Abstract method declarations (function_signature inside class body declaration) ──
+(declaration
+  (function_signature
+    name: (identifier) @name)) @definition.method
+
+; ── Methods (inside class/mixin/extension bodies) ────────────────────────────
+(method_signature
+  (function_signature
+    name: (identifier) @name)) @definition.method
+
+; ── Constructors ─────────────────────────────────────────────────────────────
+(constructor_signature
+  name: (identifier) @name) @definition.constructor
+
+; ── Factory constructors (anchor before param list to capture variant name, not class) ──
+(method_signature
+  (factory_constructor_signature
+    (identifier) @name . (formal_parameter_list))) @definition.constructor
+
+; ── Field declarations (String name = '', Address address = Address()) ──────
+(declaration
+  (type_identifier)
+  (initialized_identifier_list
+    (initialized_identifier
+      (identifier) @name))) @definition.property
+
+; ── Nullable field declarations (String? name) ──────────────────────────────
+(declaration
+  (nullable_type)
+  (initialized_identifier_list
+    (initialized_identifier
+      (identifier) @name))) @definition.property
+
+; ── Getters ──────────────────────────────────────────────────────────────────
+(method_signature
+  (getter_signature
+    name: (identifier) @name)) @definition.property
+
+; ── Setters ──────────────────────────────────────────────────────────────────
+(method_signature
+  (setter_signature
+    name: (identifier) @name)) @definition.property
+
+; ── Imports ──────────────────────────────────────────────────────────────────
+(import_or_export
+  (library_import
+    (import_specification
+      (configurable_uri) @import.source))) @import
+
+; ── Calls: direct function/constructor calls (identifier immediately before argument_part) ──
+(expression_statement
+  (identifier) @call.name
+  .
+  (selector (argument_part))) @call
+
+; ── Calls: method calls (obj.method()) ───────────────────────────────────────
+(expression_statement
+  (selector
+    (unconditional_assignable_selector
+      (identifier) @call.name))) @call
+
+; ── Calls: in return statements (return User()) ─────────────────────────────
+(return_statement
+  (identifier) @call.name
+  (selector (argument_part))) @call
+
+; ── Calls: in variable assignments (var x = getUser()) ──────────────────────
+(initialized_variable_definition
+  value: (identifier) @call.name
+  (selector (argument_part))) @call
 
+; ── Re-exports (export 'foo.dart') ───────────────────────────────────────────
+(import_or_export
+  (library_export
+    (configurable_uri) @import.source)) @import
+
+; ── Write access: obj.field = value ──────────────────────────────────────────
+(assignment_expression
+  left: (assignable_expression
+    (identifier) @assignment.receiver
+    (unconditional_assignable_selector
+      (identifier) @assignment.property))
+  right: (_)) @assignment
+
+; ── Write access: this.field = value ─────────────────────────────────────────
+(assignment_expression
+  left: (assignable_expression
+    (this) @assignment.receiver
+    (unconditional_assignable_selector
+      (identifier) @assignment.property))
+  right: (_)) @assignment
+
+; ── Heritage: extends ────────────────────────────────────────────────────────
+(class_definition
+  name: (identifier) @heritage.class
+  superclass: (superclass
+    (type_identifier) @heritage.extends)) @heritage
+
+; ── Heritage: implements ─────────────────────────────────────────────────────
+(class_definition
+  name: (identifier) @heritage.class
+  interfaces: (interfaces
+    (type_identifier) @heritage.implements)) @heritage.impl
+
+; ── Heritage: with (mixins) ──────────────────────────────────────────────────
+(class_definition
+  name: (identifier) @heritage.class
+  superclass: (superclass
+    (mixins
+      (type_identifier) @heritage.trait))) @heritage
 `;
+import { SupportedLanguages } from '../../config/supported-languages.js';
 export const LANGUAGE_QUERIES = {
     [SupportedLanguages.TypeScript]: TYPESCRIPT_QUERIES,
     [SupportedLanguages.JavaScript]: JAVASCRIPT_QUERIES,
@@ -880,9 +1141,11 @@ export const LANGUAGE_QUERIES = {
     [SupportedLanguages.Go]: GO_QUERIES,
     [SupportedLanguages.CPlusPlus]: CPP_QUERIES,
     [SupportedLanguages.CSharp]: CSHARP_QUERIES,
-    [SupportedLanguages.Ruby]: RUBY_QUERIES,
     [SupportedLanguages.Rust]: RUST_QUERIES,
     [SupportedLanguages.PHP]: PHP_QUERIES,
     [SupportedLanguages.Kotlin]: KOTLIN_QUERIES,
+    [SupportedLanguages.Ruby]: RUBY_QUERIES,
     [SupportedLanguages.Swift]: SWIFT_QUERIES,
+    [SupportedLanguages.Dart]: DART_QUERIES,
+    [SupportedLanguages.Cobol]: '', // Standalone regex processor — no tree-sitter queries
 };

package/dist/core/ingestion/type-env.d.ts

@@ -1,20 +1,7 @@
-import type { SyntaxNode } from './utils.js';
+import { type SyntaxNode } from './utils/ast-helpers.js';
 import { SupportedLanguages } from '../../config/supported-languages.js';
 import type { SymbolTable } from './symbol-table.js';
-/**
- * Per-file scoped type environment: maps (scope, variableName) → typeName.
- * Scope-aware: variables inside functions are keyed by function name,
- * file-level variables use the '' (empty string) scope.
- *
- * Design constraints:
- * - Explicit-only: Tier 0 uses type annotations; Tier 1 infers from constructors
- * - Tier 2: single-pass assignment chain propagation in source order — resolves
- *   `const b = a` when `a` already has a type from Tier 0/1
- * - Scope-aware: function-local variables don't collide across functions
- * - Conservative: complex/generic types extract the base name only
- * - Per-file: built once, used for receiver resolution, then discarded
- */
-export type TypeEnv = Map<string, Map<string, string>>;
+import type { NodeLabel } from '../graph/types.js';
 /**
  * Per-file type environment with receiver resolution.
  * Built once per file via `buildTypeEnv`, used for receiver-type filtering,
@@ -26,12 +13,49 @@ export interface TypeEnvironment {
     lookup(varName: string, callNode: SyntaxNode): string | undefined;
     /** Unverified cross-file constructor bindings for SymbolTable verification. */
     readonly constructorBindings: readonly ConstructorBinding[];
-    /** Raw per-scope type bindings — for testing and debugging. */
-    readonly env: TypeEnv;
+    /** Get all file-scope bindings (scope key = '') as a read-only map. */
+    fileScope(): ReadonlyMap<string, string>;
+    /** All scoped bindings as a read-only nested map (scope → varName → type).
+     *  Use for diagnostics/testing. Prefer lookup() for production call resolution. */
+    allScopes(): ReadonlyMap<string, ReadonlyMap<string, string>>;
+    /** Maps `scope\0varName` → constructor type for virtual dispatch override.
+     *  Populated when a variable has BOTH a declared base type AND a more specific
+     *  constructor type (e.g., `Animal a = new Dog()` → key maps to 'Dog'). */
+    readonly constructorTypeMap: ReadonlyMap<string, string>;
+}
+/** Check if `child` is a subclass of `parent` using the parentMap.
+ *  BFS up from child, depth-limited (5), cycle-safe. */
+export declare const isSubclassOf: (child: string, parent: string, parentMap: ReadonlyMap<string, readonly string[]> | undefined) => boolean;
+/**
+ * Options for buildTypeEnv.
+ * Uses an options object to allow future extensions without positional parameter sprawl.
+ */
+export interface BuildTypeEnvOptions {
+    symbolTable?: SymbolTable;
+    parentMap?: ReadonlyMap<string, readonly string[]>;
+    /** Pre-resolved bindings from upstream files (Phase 14).
+     *  Seeded into FILE_SCOPE after walk() for names with no local binding.
+     *  Local declarations always take precedence (first-writer-wins). */
+    importedBindings?: ReadonlyMap<string, string>;
+    /** Cross-file return type fallback for imported callables (Phase 14 E3).
+     *  Consulted ONLY when SymbolTable has no unambiguous match.
+     *  Local definitions always take precedence (local-first principle). */
+    importedReturnTypes?: ReadonlyMap<string, string>;
+    /** Cross-file RAW return types for imported callables (Phase 14 E3).
+     *  Stores raw declared return type strings (e.g., 'User[]', 'List<User>').
+     *  Used by lookupRawReturnType for for-loop element extraction. */
+    importedRawReturnTypes?: ReadonlyMap<string, string>;
+    /** Language-specific enclosing function resolver for scope key lookup.
+     *  Same hook as LanguageProvider.enclosingFunctionFinder — handles languages
+     *  where function_body is a sibling of the signature (e.g., Dart). */
+    enclosingFunctionFinder?: (ancestorNode: SyntaxNode) => {
+        funcName: string;
+        label: NodeLabel;
+    } | null;
 }
 export declare const buildTypeEnv: (tree: {
     rootNode: SyntaxNode;
-}, language: SupportedLanguages, symbolTable?: SymbolTable) => TypeEnvironment;
+}, language: SupportedLanguages, options?: BuildTypeEnvOptions) => TypeEnvironment;
 /**
  * Unverified constructor binding: a `val x = Callee()` pattern where we
  * couldn't confirm the callee is a class (because it's defined in another file).