gitnexus 1.6.11-rc.8 → 1.6.11

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/index.d.ts

@@ -26,6 +26,7 @@ export declare const providers: {
     dart: LanguageProvider;
     vue: LanguageProvider;
     cobol: LanguageProvider;
+    zig: LanguageProvider;
 };
 /** Get provider by language enum (always succeeds for SupportedLanguages). */
 export declare function getProvider(language: SupportedLanguages): LanguageProvider;

package/dist/core/ingestion/languages/index.js

@@ -22,6 +22,7 @@ import { swiftProvider } from './swift.js';
 import { dartProvider } from './dart.js';
 import { vueProvider } from './vue.js';
 import { cobolProvider } from './cobol.js';
+import { zigProvider } from './zig.js';
 export const providers = {
     [SupportedLanguages.JavaScript]: javascriptProvider,
     [SupportedLanguages.TypeScript]: typescriptProvider,
@@ -39,6 +40,7 @@ export const providers = {
     [SupportedLanguages.Dart]: dartProvider,
     [SupportedLanguages.Vue]: vueProvider,
     [SupportedLanguages.Cobol]: cobolProvider,
+    [SupportedLanguages.Zig]: zigProvider,
 };
 /** Get provider by language enum (always succeeds for SupportedLanguages). */
 export function getProvider(language) {

package/dist/core/ingestion/languages/java/analysis-features.d.ts

@@ -1,5 +1,5 @@
 import type { AnalysisFeatureDescriptor } from '../../../analysis-features.js';
-/** Durable completeness contract for Java Spring configuration bindings. */
+/** Durable completeness contract for Java and Kotlin Spring configuration bindings. */
 export declare const SPRING_CONFIG_BINDINGS_FEATURE: AnalysisFeatureDescriptor;
 /** Durable completeness contract for implicit Java record-component accessors. */
 export declare const JAVA_RECORD_COMPONENT_ACCESSORS_FEATURE: AnalysisFeatureDescriptor;

package/dist/core/ingestion/languages/java/analysis-features.js

@@ -2,14 +2,22 @@ function isSpringApplicationConfig(filePath) {
     const base = filePath.replaceAll('\\', '/').split('/').pop() ?? '';
     return /^application(?:-[^.]+)?\.(?:properties|ya?ml)$/i.test(base);
 }
-/** Durable completeness contract for Java Spring configuration bindings. */
+/** Durable completeness contract for Java and Kotlin Spring configuration bindings. */
 export const SPRING_CONFIG_BINDINGS_FEATURE = {
     id: 'spring.config-bindings',
-    version: 1,
-    // Java sources need consumer extraction even without config files (missing
-    // placeholders still get unresolved markers). Config-only repositories also
-    // need a one-time rebuild to backfill language-agnostic Property nodes.
-    appliesTo: (filePaths) => filePaths.some((filePath) => filePath.toLowerCase().endsWith('.java') || isSpringApplicationConfig(filePath)),
+    version: 2,
+    // Java and Kotlin sources need consumer extraction even without config files
+    // (missing placeholders still get unresolved markers). Config-only
+    // repositories also need a one-time rebuild to backfill language-agnostic
+    // Property nodes. Gradle Kotlin DSL is not a consumer source.
+    appliesTo: (filePaths) => filePaths.some((filePath) => {
+        const normalized = filePath.replaceAll('\\', '/').toLowerCase();
+        if (normalized.endsWith('.gradle.kts'))
+            return false;
+        return (normalized.endsWith('.java') ||
+            normalized.endsWith('.kt') ||
+            isSpringApplicationConfig(filePath));
+    }),
 };
 /** Durable completeness contract for implicit Java record-component accessors. */
 export const JAVA_RECORD_COMPONENT_ACCESSORS_FEATURE = {

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

@@ -5,6 +5,8 @@ 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 { SpringMessageProducerFact } from '../../frameworks/spring/message-producers.js';
 import type { JavaSpringNonHttpHandlerFact } from './spring-non-http-handlers.js';
 export type JavaClassAnnotationFact = ClassAnnotationFact;
 export interface JavaCaptureSideChannel {
@@ -15,7 +17,9 @@ export interface JavaCaptureSideChannel {
     readonly springConfigConsumers?: readonly JavaSpringConfigConsumerFact[];
     readonly springConditionalFacts?: readonly JavaSpringConditionalFact[];
     readonly springDiFacts?: readonly JavaSpringDiClassFact[];
+    readonly springDynamicLookupFacts?: readonly SpringDynamicLookupFact[];
     readonly springNonHttpHandlerFacts?: readonly JavaSpringNonHttpHandlerFact[];
+    readonly springMessageProducerFacts?: readonly SpringMessageProducerFact[];
 }
 /** Clear facts retained by a prior workspace pass in a long-lived process. */
 export declare function clearJavaClassAnnotationFacts(): void;
@@ -29,8 +33,12 @@ 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[];
+export declare function setJavaSpringMessageProducerFacts(filePath: string, facts: readonly SpringMessageProducerFact[]): void;
+export declare function getJavaSpringMessageProducerFacts(filePath: string): readonly SpringMessageProducerFact[];
 /** Snapshot worker-local Java annotation facts for ParsedFile serialization. */
 export declare function collectJavaCaptureSideChannel(filePath: string): JavaCaptureSideChannel | undefined;
 export declare function getJavaClassAnnotationFacts(filePath: string): readonly JavaClassAnnotationFact[];

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

@@ -6,7 +6,9 @@ const springAopFacts = new Map();
 const springConfigConsumers = new Map();
 const springConditionalFacts = new Map();
 const springDiFacts = new Map();
+const springDynamicLookupFacts = new Map();
 const springNonHttpHandlerFacts = new Map();
+const springMessageProducerFacts = new Map();
 /** Clear facts retained by a prior workspace pass in a long-lived process. */
 export function clearJavaClassAnnotationFacts() {
     classAnnotations.clear();
@@ -14,7 +16,9 @@ export function clearJavaClassAnnotationFacts() {
     springConfigConsumers.clear();
     springConditionalFacts.clear();
     springDiFacts.clear();
+    springDynamicLookupFacts.clear();
     springNonHttpHandlerFacts.clear();
+    springMessageProducerFacts.clear();
 }
 export function setJavaSpringAopFacts(filePath, facts) {
     if (facts.length === 0)
@@ -56,6 +60,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);
@@ -65,6 +78,15 @@ export function setJavaSpringNonHttpHandlerFacts(filePath, facts) {
 export function getJavaSpringNonHttpHandlerFacts(filePath) {
     return springNonHttpHandlerFacts.get(filePath) ?? [];
 }
+export function setJavaSpringMessageProducerFacts(filePath, facts) {
+    if (facts.length === 0)
+        springMessageProducerFacts.delete(filePath);
+    else
+        springMessageProducerFacts.set(filePath, facts);
+}
+export function getJavaSpringMessageProducerFacts(filePath) {
+    return springMessageProducerFacts.get(filePath) ?? [];
+}
 /** Snapshot worker-local Java annotation facts for ParsedFile serialization. */
 export function collectJavaCaptureSideChannel(filePath) {
     const facts = classAnnotations.get(filePath);
@@ -72,14 +94,18 @@ 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 messageProducerFacts = springMessageProducerFacts.get(filePath) ?? [];
     const packageFact = getJavaPackageFact(filePath);
     if (facts.length === 0 &&
         aopFacts.length === 0 &&
         configConsumers.length === 0 &&
         conditionFacts.length === 0 &&
         diFacts.length === 0 &&
+        dynamicLookupFacts.length === 0 &&
         nonHttpHandlerFacts.length === 0 &&
+        messageProducerFacts.length === 0 &&
         packageFact === undefined) {
         return undefined;
     }
@@ -91,7 +117,11 @@ 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 } : {}),
+        ...(messageProducerFacts.length > 0
+            ? { springMessageProducerFacts: messageProducerFacts }
+            : {}),
     };
 }
 export function getJavaClassAnnotationFacts(filePath) {
@@ -110,7 +140,9 @@ export function applyJavaCaptureSideChannel(parsed) {
         setJavaSpringConfigConsumerFacts(parsed.filePath, []);
         setJavaSpringConditionalFacts(parsed.filePath, []);
         setJavaSpringDiFacts(parsed.filePath, []);
+        setJavaSpringDynamicLookupFacts(parsed.filePath, []);
         setJavaSpringNonHttpHandlerFacts(parsed.filePath, []);
+        setJavaSpringMessageProducerFacts(parsed.filePath, []);
         setJavaPackageFact(parsed.filePath, UNKNOWN_JVM_PACKAGE_FACT);
         return;
     }
@@ -119,6 +151,8 @@ 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 : []);
+    setJavaSpringMessageProducerFacts(parsed.filePath, Array.isArray(data.springMessageProducerFacts) ? data.springMessageProducerFacts : []);
     setJavaPackageFact(parsed.filePath, isJvmPackageFact(data.packageFact) ? data.packageFact : UNKNOWN_JVM_PACKAGE_FACT);
 }

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

@@ -7,16 +7,19 @@ 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, setJavaSpringMessageProducerFacts, 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 { captureJavaSpringMessageProducerFact } from './spring-message-producers.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 +101,9 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
     const springDiFacts = [];
     const springNonHttpHandlerFacts = [];
     const springDiClassNodeIds = new Set();
+    const springDynamicLookupFacts = [];
+    const springMessageProducerFacts = [];
+    const springMemberCallNodeIds = new Set();
     for (const m of rawMatches) {
         const grouped = {};
         // Parallel tag -> captured SyntaxNode map. The tree-sitter query already
@@ -116,6 +122,18 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
         }
         if (Object.keys(grouped).length === 0)
             continue;
+        // One visit per member call node: the same invocation can back several
+        // query matches, and both Spring call-shape captures must see it once.
+        const memberCallNode = nodeIfType(nodeMap['@reference.call.member'], 'method_invocation');
+        if (memberCallNode !== null && !springMemberCallNodeIds.has(memberCallNode.id)) {
+            springMemberCallNodeIds.add(memberCallNode.id);
+            const lookupFact = captureJavaSpringDynamicLookupFact(memberCallNode, filePath);
+            if (lookupFact !== null)
+                springDynamicLookupFacts.push(lookupFact);
+            const producerFact = captureJavaSpringMessageProducerFact(memberCallNode, filePath);
+            if (producerFact !== null)
+                springMessageProducerFacts.push(producerFact);
+        }
         const springAopTypeNode = [
             nodeIfType(nodeMap['@scope.class'], 'class_declaration'),
             nodeIfType(nodeMap['@scope.class'], 'interface_declaration'),
@@ -287,13 +305,16 @@ export function emitJavaScopeCaptures(sourceText, filePath, cachedTree) {
     setJavaSpringAopFacts(filePath, springAopFacts);
     setJavaSpringConditionalFacts(filePath, springConditionalFacts);
     setJavaSpringDiFacts(filePath, springDiFacts);
+    setJavaSpringDynamicLookupFacts(filePath, springDynamicLookupFacts);
     setJavaSpringNonHttpHandlerFacts(filePath, springNonHttpHandlerFacts);
+    setJavaSpringMessageProducerFacts(filePath, springMessageProducerFacts);
     return [
         ...resolveVarTypeBindings(out),
         ...synthesizeJavaInheritanceReferences(tree.rootNode),
         ...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[];