gitnexus 1.6.11-rc.2 → 1.6.11-rc.21

package/dist/core/ingestion/languages/csharp/resolution-config.d.ts

@@ -6,9 +6,12 @@
  * in `../../csharp-namespace-gate.ts` (shared with the legacy DAG resolver).
  */
 import { type CSharpProjectConfig, type CSharpNamespaceEvidence } from '../../language-config.js';
+import { type RazorViewComponentConfig } from './razor-view-components.js';
 export interface CsharpResolutionConfig {
     readonly csharpConfigs: readonly CSharpProjectConfig[];
     /** In-repo declared-namespace evidence gating suffix-fallback resolution (#1881). */
     readonly namespaces?: CSharpNamespaceEvidence;
+    /** Razor views scanned for ASP.NET ViewComponent invocation conventions. */
+    readonly razorViewComponents?: RazorViewComponentConfig;
 }
 export declare function loadCsharpResolutionConfig(repoRoot: string): Promise<CsharpResolutionConfig>;

package/dist/core/ingestion/languages/csharp/resolution-config.js

@@ -6,10 +6,15 @@
  * in `../../csharp-namespace-gate.ts` (shared with the legacy DAG resolver).
  */
 import { scanCSharpProject, csharpScanToEvidence, } from '../../language-config.js';
+import { loadRazorViewComponentConfig, } from './razor-view-components.js';
 export async function loadCsharpResolutionConfig(repoRoot) {
-    const scan = await scanCSharpProject(repoRoot);
+    const [scan, razorViewComponents] = await Promise.all([
+        scanCSharpProject(repoRoot),
+        loadRazorViewComponentConfig(repoRoot),
+    ]);
     return {
         csharpConfigs: scan.configs,
         namespaces: csharpScanToEvidence(scan),
+        razorViewComponents,
     };
 }

package/dist/core/ingestion/languages/csharp/scope-resolver.js

@@ -14,6 +14,7 @@ import { csharpArityCompatibility, csharpMergeBindings, resolveCsharpImportTarge
 import { populateCsharpNamespaceSiblings } from './namespace-siblings.js';
 import { loadCsharpResolutionConfig } from './resolution-config.js';
 import { unwrapCsharpElementType } from './accessor-unwrap.js';
+import { emitRazorViewComponentEdges } from './razor-view-components.js';
 const csharpScopeResolver = {
     // Construction is keyword-prefixed: `new Service(db).doWork()` (#2708).
     constructionSyntax: { keyword: 'new' },
@@ -80,6 +81,13 @@ const csharpScopeResolver = {
     // `IValidator<string>` and `IValidator<String>` are one instantiation, so the
     // dispatch fan-out must not read them as two (#2912). See the alias table.
     normalizeTypeArgument: normalizeCsharpTypeArgument,
+    // Razor views stay out of the C# parser. Bind literal ViewComponent names
+    // only onto in-repo classes (Spring-style: skip the SDK type, hop to the
+    // workspace implementor).
+    emitPostResolutionEdges: (graph, parsedFiles, nodeLookup, _indexes, ctx) => {
+        const config = ctx.resolutionConfig;
+        emitRazorViewComponentEdges(graph, parsedFiles, nodeLookup, config?.razorViewComponents, ctx.fileContents);
+    },
 };
 /**
  * C# predefined type aliases — the 15 keywords the language defines as exact

package/dist/core/ingestion/languages/java/capture-side-channel.d.ts

@@ -5,6 +5,7 @@ import type { JavaSpringConfigConsumerFact } from './spring-config-bindings.js';
 import type { JavaSpringAopFact } from './spring-aop.js';
 import type { JavaSpringConditionalFact } from './spring-conditionals.js';
 import type { JavaSpringDiClassFact } from './spring-di.js';
+import type { SpringDynamicLookupFact } from '../../frameworks/spring/dynamic-lookups.js';
 import type { JavaSpringNonHttpHandlerFact } from './spring-non-http-handlers.js';
 export type JavaClassAnnotationFact = ClassAnnotationFact;
 export interface JavaCaptureSideChannel {
@@ -15,6 +16,7 @@ export interface JavaCaptureSideChannel {
     readonly springConfigConsumers?: readonly JavaSpringConfigConsumerFact[];
     readonly springConditionalFacts?: readonly JavaSpringConditionalFact[];
     readonly springDiFacts?: readonly JavaSpringDiClassFact[];
+    readonly springDynamicLookupFacts?: readonly SpringDynamicLookupFact[];
     readonly springNonHttpHandlerFacts?: readonly JavaSpringNonHttpHandlerFact[];
 }
 /** Clear facts retained by a prior workspace pass in a long-lived process. */
@@ -29,6 +31,8 @@ export declare function setJavaSpringConditionalFacts(filePath: string, facts: r
 export declare function getJavaSpringConditionalFacts(filePath: string): readonly JavaSpringConditionalFact[];
 export declare function setJavaSpringDiFacts(filePath: string, facts: readonly JavaSpringDiClassFact[]): void;
 export declare function getJavaSpringDiFacts(filePath: string): readonly JavaSpringDiClassFact[];
+export declare function setJavaSpringDynamicLookupFacts(filePath: string, facts: readonly SpringDynamicLookupFact[]): void;
+export declare function getJavaSpringDynamicLookupFacts(filePath: string): readonly SpringDynamicLookupFact[];
 export declare function setJavaSpringNonHttpHandlerFacts(filePath: string, facts: readonly JavaSpringNonHttpHandlerFact[]): void;
 export declare function getJavaSpringNonHttpHandlerFacts(filePath: string): readonly JavaSpringNonHttpHandlerFact[];
 /** Snapshot worker-local Java annotation facts for ParsedFile serialization. */

package/dist/core/ingestion/languages/java/capture-side-channel.js

@@ -6,6 +6,7 @@ const springAopFacts = new Map();
 const springConfigConsumers = new Map();
 const springConditionalFacts = new Map();
 const springDiFacts = new Map();
+const springDynamicLookupFacts = new Map();
 const springNonHttpHandlerFacts = new Map();
 /** Clear facts retained by a prior workspace pass in a long-lived process. */
 export function clearJavaClassAnnotationFacts() {
@@ -14,6 +15,7 @@ export function clearJavaClassAnnotationFacts() {
     springConfigConsumers.clear();
     springConditionalFacts.clear();
     springDiFacts.clear();
+    springDynamicLookupFacts.clear();
     springNonHttpHandlerFacts.clear();
 }
 export function setJavaSpringAopFacts(filePath, facts) {
@@ -56,6 +58,15 @@ export function setJavaSpringDiFacts(filePath, facts) {
 export function getJavaSpringDiFacts(filePath) {
     return springDiFacts.get(filePath) ?? [];
 }
+export function setJavaSpringDynamicLookupFacts(filePath, facts) {
+    if (facts.length === 0)
+        springDynamicLookupFacts.delete(filePath);
+    else
+        springDynamicLookupFacts.set(filePath, facts);
+}
+export function getJavaSpringDynamicLookupFacts(filePath) {
+    return springDynamicLookupFacts.get(filePath) ?? [];
+}
 export function setJavaSpringNonHttpHandlerFacts(filePath, facts) {
     if (facts.length === 0)
         springNonHttpHandlerFacts.delete(filePath);
@@ -72,6 +83,7 @@ export function collectJavaCaptureSideChannel(filePath) {
     const configConsumers = springConfigConsumers.get(filePath) ?? [];
     const conditionFacts = springConditionalFacts.get(filePath) ?? [];
     const diFacts = springDiFacts.get(filePath) ?? [];
+    const dynamicLookupFacts = springDynamicLookupFacts.get(filePath) ?? [];
     const nonHttpHandlerFacts = springNonHttpHandlerFacts.get(filePath) ?? [];
     const packageFact = getJavaPackageFact(filePath);
     if (facts.length === 0 &&
@@ -79,6 +91,7 @@ export function collectJavaCaptureSideChannel(filePath) {
         configConsumers.length === 0 &&
         conditionFacts.length === 0 &&
         diFacts.length === 0 &&
+        dynamicLookupFacts.length === 0 &&
         nonHttpHandlerFacts.length === 0 &&
         packageFact === undefined) {
         return undefined;
@@ -91,6 +104,7 @@ export function collectJavaCaptureSideChannel(filePath) {
         ...(configConsumers.length > 0 ? { springConfigConsumers: configConsumers } : {}),
         ...(conditionFacts.length > 0 ? { springConditionalFacts: conditionFacts } : {}),
         ...(diFacts.length > 0 ? { springDiFacts: diFacts } : {}),
+        ...(dynamicLookupFacts.length > 0 ? { springDynamicLookupFacts: dynamicLookupFacts } : {}),
         ...(nonHttpHandlerFacts.length > 0 ? { springNonHttpHandlerFacts: nonHttpHandlerFacts } : {}),
     };
 }
@@ -110,6 +124,7 @@ export function applyJavaCaptureSideChannel(parsed) {
         setJavaSpringConfigConsumerFacts(parsed.filePath, []);
         setJavaSpringConditionalFacts(parsed.filePath, []);
         setJavaSpringDiFacts(parsed.filePath, []);
+        setJavaSpringDynamicLookupFacts(parsed.filePath, []);
         setJavaSpringNonHttpHandlerFacts(parsed.filePath, []);
         setJavaPackageFact(parsed.filePath, UNKNOWN_JVM_PACKAGE_FACT);
         return;
@@ -119,6 +134,7 @@ export function applyJavaCaptureSideChannel(parsed) {
     setJavaSpringConfigConsumerFacts(parsed.filePath, Array.isArray(data.springConfigConsumers) ? data.springConfigConsumers : []);
     setJavaSpringConditionalFacts(parsed.filePath, Array.isArray(data.springConditionalFacts) ? data.springConditionalFacts : []);
     setJavaSpringDiFacts(parsed.filePath, Array.isArray(data.springDiFacts) ? data.springDiFacts : []);
+    setJavaSpringDynamicLookupFacts(parsed.filePath, Array.isArray(data.springDynamicLookupFacts) ? data.springDynamicLookupFacts : []);
     setJavaSpringNonHttpHandlerFacts(parsed.filePath, Array.isArray(data.springNonHttpHandlerFacts) ? data.springNonHttpHandlerFacts : []);
     setJavaPackageFact(parsed.filePath, isJvmPackageFact(data.packageFact) ? data.packageFact : UNKNOWN_JVM_PACKAGE_FACT);
 }

package/dist/core/ingestion/languages/java/captures.js

@@ -7,16 +7,18 @@ import { getJavaParser, getJavaScopeQuery } from './query.js';
 import { recordCacheHit, recordCacheMiss } from './cache-stats.js';
 import { getTreeSitterBufferSize } from '../../constants.js';
 import { parseSourceSafe } from '../../../tree-sitter/safe-parse.js';
-import { setJavaClassAnnotationFacts, setJavaSpringAopFacts, setJavaSpringConfigConsumerFacts, setJavaSpringConditionalFacts, setJavaSpringDiFacts, setJavaSpringNonHttpHandlerFacts, } from './capture-side-channel.js';
+import { setJavaClassAnnotationFacts, setJavaSpringAopFacts, setJavaSpringConfigConsumerFacts, setJavaSpringConditionalFacts, setJavaSpringDiFacts, setJavaSpringDynamicLookupFacts, setJavaSpringNonHttpHandlerFacts, } from './capture-side-channel.js';
 import { captureJavaPackageFact } from './package-facts.js';
 import { synthesizeCallableFlowCaptures } from '../../utils/callable-flow-captures.js';
 import { captureJavaSpringConfigConsumerFacts } from './spring-config-bindings.js';
 import { captureJavaSpringDiClassFact } from './spring-di.js';
+import { captureJavaSpringDynamicLookupFact } from './spring-dynamic-lookup.js';
 import { synthesizeReceiverChainCapture } from '../../utils/receiver-chain-captures.js';
 import { captureJavaSpringAopFacts } from './spring-aop.js';
 import { captureJavaSpringConditionalFacts, } from './spring-conditionals.js';
 import { captureJavaSpringNonHttpHandlerFacts, } from './spring-non-http-handlers.js';
 import { synthesizeJavaRecordComponentAccessorCaptures } from './record-components.js';
+import { synthesizeLombokAccessorCaptures } from './lombok-synthesizer.js';
 /** Declaration anchors that carry function-like arity metadata. */
 const FUNCTION_DECL_TAGS = ['@declaration.method', '@declaration.constructor'];
 /** tree-sitter-java node types that the method extractor accepts. */
@@ -98,6 +100,8 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
     const springDiFacts = [];
     const springNonHttpHandlerFacts = [];
     const springDiClassNodeIds = new Set();
+    const springDynamicLookupFacts = [];
+    const springDynamicLookupNodeIds = new Set();
     for (const m of rawMatches) {
         const grouped = {};
         // Parallel tag -> captured SyntaxNode map. The tree-sitter query already
@@ -116,6 +120,13 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
         }
         if (Object.keys(grouped).length === 0)
             continue;
+        const dynamicLookupNode = nodeIfType(nodeMap['@reference.call.member'], 'method_invocation');
+        if (dynamicLookupNode !== null && !springDynamicLookupNodeIds.has(dynamicLookupNode.id)) {
+            springDynamicLookupNodeIds.add(dynamicLookupNode.id);
+            const fact = captureJavaSpringDynamicLookupFact(dynamicLookupNode, filePath);
+            if (fact !== null)
+                springDynamicLookupFacts.push(fact);
+        }
         const springAopTypeNode = [
             nodeIfType(nodeMap['@scope.class'], 'class_declaration'),
             nodeIfType(nodeMap['@scope.class'], 'interface_declaration'),
@@ -287,6 +298,7 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
     setJavaSpringAopFacts(filePath, springAopFacts);
     setJavaSpringConditionalFacts(filePath, springConditionalFacts);
     setJavaSpringDiFacts(filePath, springDiFacts);
+    setJavaSpringDynamicLookupFacts(filePath, springDynamicLookupFacts);
     setJavaSpringNonHttpHandlerFacts(filePath, springNonHttpHandlerFacts);
     return [
         ...resolveVarTypeBindings(out),
@@ -294,6 +306,7 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
         ...synthesizeJavaExplicitConstructorReferences(tree.rootNode),
         ...synthesizeJavaAnonymousClassDeclarations(tree.rootNode),
         ...synthesizeJavaRecordComponentAccessorCaptures(tree.rootNode),
+        ...synthesizeLombokAccessorCaptures(tree.rootNode),
         ...synthesizeCallableFlowCaptures(tree.rootNode, JAVA_CALLABLE_CAPTURE_OPTIONS),
     ];
 }

package/dist/core/ingestion/languages/java/lombok-synthesizer.d.ts

@@ -0,0 +1,42 @@
+/**
+ * Lombok accessor synthesizer for Java.
+ *
+ * Lombok generates getters/setters at compile time. They are absent from the
+ * AST, so calls like `obj.getOrderId()` on a `@Data` class would otherwise
+ * leave unresolved CALLS edges. This module walks the tree-sitter Java AST
+ * and synthesizes Method graph members for the accessors Lombok would emit
+ * under the supported subset.
+ *
+ * ## Supported subset (v1)
+ * - Proven `lombok.Data` / `lombok.Getter` / `lombok.Setter` (FQN or import).
+ * - Class- or field-level enable; `AccessLevel.NONE` disables.
+ * - Default JavaBeans naming; primitive `boolean isX` → `isX` / `setX`.
+ * - Access levels PUBLIC/PROTECTED/PRIVATE/PACKAGE.
+ * - `@Accessors(chain=true)` modeled as setter return = declaring type.
+ * - `@Accessors(fluent=true)` / `prefix=…`: omit affected accessors (names
+ *   cannot be proven without full Lombok config).
+ * - External `lombok.config`: unsupported (may change semantics invisibly).
+ *
+ * ## Identity
+ * Owner lookup uses in-memory AST node ids only. Method ids are derived from
+ * the stable declaring-owner graph key (the Class node id's name segment),
+ * never from persisted tree-sitter node ids.
+ */
+import type Parser from 'tree-sitter';
+import type { CaptureMatch } from '../../../../_shared/index.js';
+import { type PlannedJvmAccessor, type SyntheticAccessorResult, type SyntheticVisibility } from '../jvm/accessor-synthesis.js';
+export type LombokVisibility = SyntheticVisibility;
+export type SyntheticSymbol = SyntheticAccessorResult['symbols'][number];
+export type SyntheticNode = SyntheticAccessorResult['nodes'][number];
+export type SyntheticRelationship = SyntheticAccessorResult['relationships'][number];
+export type LombokSynthesisResult = SyntheticAccessorResult;
+export type PlannedLombokAccessor = PlannedJvmAccessor;
+export interface AccessorConfig {
+    enabled: boolean;
+    visibility: LombokVisibility;
+}
+export declare function getterName(fieldName: string, fieldType: string): string;
+export declare function setterName(fieldName: string, fieldType: string): string;
+export declare function synthesizeLombokAccessors(tree: Parser.Tree, filePath: string, classOwnersById: ReadonlyMap<number, string>): LombokSynthesisResult;
+/** Scope captures for Lombok accessors (dual-path parity with record components). */
+export declare function synthesizeLombokAccessorCaptures(rootNode: Parser.SyntaxNode): CaptureMatch[];