gitnexus 1.6.10-rc.140 → 1.6.10-rc.142

package/dist/_shared/graph/types.d.ts

@@ -81,6 +81,12 @@ export type RelationshipType = 'CONTAINS' | 'CALLS' | 'INHERITS' | 'METHOD_OVERR
  *  semantics belong in `reason` so the relationship can be reused by other
  *  metadata-driven systems. */
  | 'DECLARES'
+/** Framework advice relationship. Source = the class-like/Method whose behavior
+ *  is intercepted; target = either the concrete advice Method or a synthetic
+ *  CodeElement describing a declarative interceptor (transaction, cache, or
+ *  method security). Runtime activation remains explicitly unknown in the
+ *  relationship reason; this edge records statically visible advice only. */
+ | 'ADVISED_BY'
 /** Vue component event system: a handler function in a parent component is
  *  bound to an event emitted by a child component (`@event="handlerFn"`).
  *  Source = handler Function/Method node in the parent.

package/dist/_shared/graph/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/graph/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,OAAO,GACP,UAAU,GACV,QAAQ,GACR,UAAU,GACV,WAAW,GACX,MAAM,GACN,WAAW,GACX,QAAQ,GACR,MAAM,GACN,aAAa,GACb,WAAW,GACX,SAAS,GAET,QAAQ,GACR,OAAO,GACP,SAAS,GACT,OAAO,GACP,WAAW,GACX,OAAO,GACP,MAAM,GACN,WAAW,GACX,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,GACV,YAAY,GACZ,aAAa,GACb,UAAU,GACV,SAAS,GACT,OAAO,GACP,MAAM,GAGN,YAAY,CAAC;AAEjB,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,kBAAkB,GAAG,MAAM,CAAC;IACvC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC;IAEjC,WAAW,CAAC,EAAE,iBAAiB,GAAG,iBAAiB,CAAC;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;4EACwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IAEtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;8EAC0E;IAC1E,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,UAAU,GACV,kBAAkB,GAClB,mBAAmB,GACnB,SAAS,GACT,MAAM,GACN,SAAS,GACT,WAAW,GACX,YAAY,GACZ,SAAS,GACT,YAAY,GACZ,cAAc,GACd,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,eAAe,GACf,SAAS,GACT,cAAc,GACd,gBAAgB,GAChB,OAAO,GACP,SAAS;AACX;;;;;;;;;;;0EAW0E;GACxE,SAAS;AACX;;;;;qBAKqB;GACnB,gBAAgB;AAClB;;;;+BAI+B;GAC7B,UAAU;AACZ;;;;;;qEAMqE;GACnE,qBAAqB;AACvB;;;;;;gEAMgE;GAC9D,aAAa;AAOf,6EAA6E;GAC3E,KAAK;AACP;;;;qCAIqC;GACnC,cAAc;AAChB,qDAAqD;GACnD,SAAS;AACX,6CAA6C;GAC3C,WAAW;AACb;8EAC8E;GAC5E,YAAY;AACd;;;;qEAIqE;GACnE,KAAK;AACP;;;;;;0EAM0E;GACxE,eAAe;AACjB;;;;;;;;;;;oCAWoC;GAClC,cAAc,CAAC;AAEnB,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,SAAS,CAAC;IACjB,UAAU,EAAE,cAAc,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,EAAE,SAAS;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,EAAE,CAAC;CACL"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/graph/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,OAAO,GACP,UAAU,GACV,QAAQ,GACR,UAAU,GACV,WAAW,GACX,MAAM,GACN,WAAW,GACX,QAAQ,GACR,MAAM,GACN,aAAa,GACb,WAAW,GACX,SAAS,GAET,QAAQ,GACR,OAAO,GACP,SAAS,GACT,OAAO,GACP,WAAW,GACX,OAAO,GACP,MAAM,GACN,WAAW,GACX,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,GACV,YAAY,GACZ,aAAa,GACb,UAAU,GACV,SAAS,GACT,OAAO,GACP,MAAM,GAGN,YAAY,CAAC;AAEjB,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,kBAAkB,GAAG,MAAM,CAAC;IACvC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAE5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC;IAEjC,WAAW,CAAC,EAAE,iBAAiB,GAAG,iBAAiB,CAAC;IACpD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;4EACwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IAEtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;8EAC0E;IAC1E,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,UAAU,GACV,kBAAkB,GAClB,mBAAmB,GACnB,SAAS,GACT,MAAM,GACN,SAAS,GACT,WAAW,GACX,YAAY,GACZ,SAAS,GACT,YAAY,GACZ,cAAc,GACd,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,eAAe,GACf,SAAS,GACT,cAAc,GACd,gBAAgB,GAChB,OAAO,GACP,SAAS;AACX;;;;;;;;;;;0EAW0E;GACxE,SAAS;AACX;;;;;qBAKqB;GACnB,gBAAgB;AAClB;;;;+BAI+B;GAC7B,UAAU;AACZ;;;;6EAI6E;GAC3E,YAAY;AACd;;;;;;qEAMqE;GACnE,qBAAqB;AACvB;;;;;;gEAMgE;GAC9D,aAAa;AAOf,6EAA6E;GAC3E,KAAK;AACP;;;;qCAIqC;GACnC,cAAc;AAChB,qDAAqD;GACnD,SAAS;AACX,6CAA6C;GAC3C,WAAW;AACb;8EAC8E;GAC5E,YAAY;AACd;;;;qEAIqE;GACnE,KAAK;AACP;;;;;;0EAM0E;GACxE,eAAe;AACjB;;;;;;;;;;;oCAWoC;GAClC,cAAc,CAAC;AAEnB,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,SAAS,CAAC;IACjB,UAAU,EAAE,cAAc,CAAC;CAC5B;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,EAAE,SAAS;QAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,EAAE,CAAC;CACL"}

package/dist/_shared/lbug/schema-constants.d.ts

@@ -10,7 +10,7 @@
 export declare const NODE_TABLES: readonly ["File", "Folder", "Function", "Class", "Interface", "Method", "CodeElement", "Community", "Process", "Section", "Struct", "Enum", "Macro", "Typedef", "Union", "Namespace", "Trait", "Impl", "TypeAlias", "Const", "Static", "Variable", "Property", "Record", "Delegate", "Annotation", "Constructor", "Template", "Module", "Route", "Tool", "BasicBlock"];
 export type NodeTableName = (typeof NODE_TABLES)[number];
 export declare const REL_TABLE_NAME = "CodeRelation";
-export declare const REL_TYPES: readonly ["CONTAINS", "DEFINES", "IMPORTS", "CALLS", "EXTENDS", "IMPLEMENTS", "HAS_METHOD", "HAS_PROPERTY", "ACCESSES", "METHOD_OVERRIDES", "OVERRIDES", "METHOD_IMPLEMENTS", "MEMBER_OF", "STEP_IN_PROCESS", "HANDLES_ROUTE", "FETCHES", "HANDLES_TOOL", "ENTRY_POINT_OF", "WRAPS", "QUERIES", "INJECTS", "CONDITIONAL_ON", "DECLARES", "CFG", "REACHING_DEF", "TAINTED", "SANITIZES", "TAINT_PATH", "CDG", "POST_DOMINATE"];
+export declare const REL_TYPES: readonly ["CONTAINS", "DEFINES", "IMPORTS", "CALLS", "EXTENDS", "IMPLEMENTS", "HAS_METHOD", "HAS_PROPERTY", "ACCESSES", "METHOD_OVERRIDES", "OVERRIDES", "METHOD_IMPLEMENTS", "MEMBER_OF", "STEP_IN_PROCESS", "HANDLES_ROUTE", "FETCHES", "HANDLES_TOOL", "ENTRY_POINT_OF", "WRAPS", "QUERIES", "INJECTS", "CONDITIONAL_ON", "DECLARES", "ADVISED_BY", "CFG", "REACHING_DEF", "TAINTED", "SANITIZES", "TAINT_PATH", "CDG", "POST_DOMINATE"];
 export type RelType = (typeof REL_TYPES)[number];
 export declare const EMBEDDING_TABLE_NAME = "CodeEmbedding";
 //# sourceMappingURL=schema-constants.d.ts.map

package/dist/_shared/lbug/schema-constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-constants.d.ts","sourceRoot":"","sources":["../../src/lbug/schema-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,eAAO,MAAM,WAAW,wWAkCd,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc,iBAAiB,CAAC;AAE7C,eAAO,MAAM,SAAS,+ZAsCZ,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjD,eAAO,MAAM,oBAAoB,kBAAkB,CAAC"}
+{"version":3,"file":"schema-constants.d.ts","sourceRoot":"","sources":["../../src/lbug/schema-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,eAAO,MAAM,WAAW,wWAkCd,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc,iBAAiB,CAAC;AAE7C,eAAO,MAAM,SAAS,6aAuCZ,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjD,eAAO,MAAM,oBAAoB,kBAAkB,CAAC"}

package/dist/_shared/lbug/schema-constants.js

@@ -67,6 +67,7 @@ export const REL_TYPES = [
     'INJECTS',
     'CONDITIONAL_ON',
     'DECLARES',
+    'ADVISED_BY',
     // Taint/PDG substrate (issue #2080) — reserved edge types, emitted by no
     // phase yet (CFG → M1, REACHING_DEF → M2, TAINTED/SANITIZES/TAINT_PATH →
     // M3/M4). REACHING_DEF's variable name rides the relation's `reason` column.

package/dist/_shared/lbug/schema-constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema-constants.js","sourceRoot":"","sources":["../../src/lbug/schema-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,MAAM;IACN,QAAQ;IACR,UAAU;IACV,OAAO;IACP,WAAW;IACX,QAAQ;IACR,aAAa;IACb,WAAW;IACX,SAAS;IACT,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;IACP,SAAS;IACT,OAAO;IACP,WAAW;IACX,OAAO;IACP,MAAM;IACN,WAAW;IACX,OAAO;IACP,QAAQ;IACR,UAAU;IACV,UAAU;IACV,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,aAAa;IACb,UAAU;IACV,QAAQ;IACR,OAAO;IACP,MAAM;IACN,2EAA2E;IAC3E,YAAY;CACJ,CAAC;AAIX,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC;AAE7C,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,UAAU;IACV,SAAS;IACT,SAAS;IACT,OAAO;IACP,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,UAAU;IACV,kBAAkB;IAClB,WAAW,EAAE,mEAAmE;IAChF,mBAAmB;IACnB,WAAW;IACX,iBAAiB;IACjB,eAAe;IACf,SAAS;IACT,cAAc;IACd,gBAAgB;IAChB,OAAO;IACP,SAAS;IACT,SAAS;IACT,gBAAgB;IAChB,UAAU;IACV,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,KAAK;IACL,cAAc;IACd,SAAS;IACT,WAAW;IACX,YAAY;IACZ,4EAA4E;IAC5E,uEAAuE;IACvE,4EAA4E;IAC5E,8EAA8E;IAC9E,KAAK;IACL,eAAe;CACP,CAAC;AAIX,MAAM,CAAC,MAAM,oBAAoB,GAAG,eAAe,CAAC"}
+{"version":3,"file":"schema-constants.js","sourceRoot":"","sources":["../../src/lbug/schema-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,MAAM;IACN,QAAQ;IACR,UAAU;IACV,OAAO;IACP,WAAW;IACX,QAAQ;IACR,aAAa;IACb,WAAW;IACX,SAAS;IACT,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;IACP,SAAS;IACT,OAAO;IACP,WAAW;IACX,OAAO;IACP,MAAM;IACN,WAAW;IACX,OAAO;IACP,QAAQ;IACR,UAAU;IACV,UAAU;IACV,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,aAAa;IACb,UAAU;IACV,QAAQ;IACR,OAAO;IACP,MAAM;IACN,2EAA2E;IAC3E,YAAY;CACJ,CAAC;AAIX,MAAM,CAAC,MAAM,cAAc,GAAG,cAAc,CAAC;AAE7C,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,UAAU;IACV,SAAS;IACT,SAAS;IACT,OAAO;IACP,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,UAAU;IACV,kBAAkB;IAClB,WAAW,EAAE,mEAAmE;IAChF,mBAAmB;IACnB,WAAW;IACX,iBAAiB;IACjB,eAAe;IACf,SAAS;IACT,cAAc;IACd,gBAAgB;IAChB,OAAO;IACP,SAAS;IACT,SAAS;IACT,gBAAgB;IAChB,UAAU;IACV,YAAY;IACZ,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,KAAK;IACL,cAAc;IACd,SAAS;IACT,WAAW;IACX,YAAY;IACZ,4EAA4E;IAC5E,uEAAuE;IACvE,4EAA4E;IAC5E,8EAA8E;IAC9E,KAAK;IACL,eAAe;CACP,CAAC;AAIX,MAAM,CAAC,MAAM,oBAAoB,GAAG,eAAe,CAAC"}

package/dist/core/incremental/subgraph-extract.d.ts

@@ -51,10 +51,13 @@ import type { KnowledgeGraph } from '../graph/types.js';
 export declare const extractChangedSubgraph: (fullGraph: KnowledgeGraph, toWriteSet: ReadonlySet<string>) => KnowledgeGraph;
 /**
  * Public — derive the EFFECTIVE write-set: `toWriteSet` expanded by one
- * hop along every edge in the new graph that crosses the writable
- * boundary (one endpoint in a writable file, the other in an unchanged
- * file). The unchanged-side file is pulled in so its stale rows are
- * deleted + rewritten in lockstep with the changed side.
+ * hop along every file-owned edge in the new graph that crosses the
+ * writable boundary (one endpoint in a writable file, the other in an
+ * unchanged file). Graph-wide relationships are excluded: their owner
+ * phase delete-alls and re-extracts them independently, so following them
+ * here would turn high-fan-out metadata into a near-full-repository write.
+ * For ordinary edges, the unchanged-side file is pulled in so its stale
+ * rows are deleted + rewritten in lockstep with the changed side.
  *
  * Single pass over the edge list. Does NOT mutate `toWriteSet`. The
  * orchestrator MUST feed the returned set to both `deleteNodesForFiles`

package/dist/core/incremental/subgraph-extract.js

@@ -49,8 +49,10 @@
  */
 import { createKnowledgeGraph } from '../graph/graph.js';
 import { isSpringAutoConfigurationDeclaration, isSpringAutoConfigurationSyntheticClass, } from '../ingestion/frameworks/spring/auto-configuration.js';
+import { isSpringAopEvidenceNode } from '../ingestion/frameworks/spring/aop.js';
 const isGraphWideNode = (node) => node.label === 'Community' ||
     node.label === 'Process' ||
+    isSpringAopEvidenceNode(node) ||
     isSpringAutoConfigurationSyntheticClass(node);
 /**
  * Relationship types whose VALIDITY is a whole-program property, not a
@@ -88,6 +90,10 @@ const isGraphWideNode = (node) => node.label === 'Community' ||
 const isGraphWideRelationship = (relationship) => relationship.type === 'TAINT_PATH' ||
     relationship.type === 'CALL_SUMMARY' ||
     relationship.type === 'INJECTS' ||
+    // Spring pointcut matching (#2416) is repository-wide. A third-file change
+    // can alter annotation-name visibility or the set matched by a wildcard,
+    // even when neither endpoint file changed.
+    relationship.type === 'ADVISED_BY' ||
     isSpringAutoConfigurationDeclaration(relationship);
 /**
  * Build a Map<nodeId, filePath> for every File-bound node in the graph.
@@ -124,10 +130,13 @@ export const extractChangedSubgraph = (fullGraph, toWriteSet) => {
 };
 /**
  * Public — derive the EFFECTIVE write-set: `toWriteSet` expanded by one
- * hop along every edge in the new graph that crosses the writable
- * boundary (one endpoint in a writable file, the other in an unchanged
- * file). The unchanged-side file is pulled in so its stale rows are
- * deleted + rewritten in lockstep with the changed side.
+ * hop along every file-owned edge in the new graph that crosses the
+ * writable boundary (one endpoint in a writable file, the other in an
+ * unchanged file). Graph-wide relationships are excluded: their owner
+ * phase delete-alls and re-extracts them independently, so following them
+ * here would turn high-fan-out metadata into a near-full-repository write.
+ * For ordinary edges, the unchanged-side file is pulled in so its stale
+ * rows are deleted + rewritten in lockstep with the changed side.
  *
  * Single pass over the edge list. Does NOT mutate `toWriteSet`. The
  * orchestrator MUST feed the returned set to both `deleteNodesForFiles`
@@ -138,6 +147,8 @@ export const computeEffectiveWriteSet = (fullGraph, toWriteSet) => {
     const nodeFilePaths = indexNodeFilePaths(fullGraph);
     const expanded = new Set(toWriteSet);
     fullGraph.forEachRelationship((r) => {
+        if (isGraphWideRelationship(r))
+            return;
         const sourcePath = nodeFilePaths.get(r.sourceId);
         const targetPath = nodeFilePaths.get(r.targetId);
         if (!sourcePath || !targetPath)

package/dist/core/ingestion/frameworks/spring/analysis-features.d.ts

@@ -3,3 +3,5 @@ import type { AnalysisFeatureDescriptor } from '../../../analysis-features.js';
 export declare const SPRING_BEAN_INVENTORY_FEATURE: AnalysisFeatureDescriptor;
 /** Durable completeness contract for conditional and auto-configuration evidence. */
 export declare const SPRING_CONDITIONALS_FEATURE: AnalysisFeatureDescriptor;
+/** Durable completeness contract for Spring proxy/advice evidence (#2416). */
+export declare const SPRING_AOP_FEATURE: AnalysisFeatureDescriptor;

package/dist/core/ingestion/frameworks/spring/analysis-features.js

@@ -19,3 +19,17 @@ export const SPRING_CONDITIONALS_FEATURE = {
     version: 1,
     appliesTo: (filePaths) => filePaths.some(isSpringConditionOrAutoConfigurationFile),
 };
+/**
+ * Candidate-language approximation, not a claim that the file contains AOP.
+ * Kotlin scripts are included because `.kts` is a supported Kotlin input.
+ */
+function isJvmSourceFile(filePath) {
+    const normalized = filePath.replaceAll('\\', '/').toLowerCase();
+    return normalized.endsWith('.java') || normalized.endsWith('.kt') || normalized.endsWith('.kts');
+}
+/** Durable completeness contract for Spring proxy/advice evidence (#2416). */
+export const SPRING_AOP_FEATURE = {
+    id: 'spring.aop-advice',
+    version: 1,
+    appliesTo: (filePaths) => filePaths.some(isJvmSourceFile),
+};

package/dist/core/ingestion/frameworks/spring/annotation-arguments.js

@@ -15,6 +15,13 @@ function splitTopLevel(value, separator) {
     ]);
     for (let index = 0; index < value.length; index++) {
         const char = value[index];
+        if (quote === '"""') {
+            if (value.startsWith('"""', index)) {
+                quote = null;
+                index += 2;
+            }
+            continue;
+        }
         if (quote !== null) {
             if (escaped)
                 escaped = false;
@@ -24,6 +31,11 @@ function splitTopLevel(value, separator) {
                 quote = null;
             continue;
         }
+        if (value.startsWith('"""', index)) {
+            quote = '"""';
+            index += 2;
+            continue;
+        }
         if (char === '"' || char === "'") {
             quote = char;
             continue;
@@ -60,6 +72,13 @@ function topLevelAssignment(argument) {
     ]);
     for (let index = 0; index < argument.length; index++) {
         const char = argument[index];
+        if (quote === '"""') {
+            if (argument.startsWith('"""', index)) {
+                quote = null;
+                index += 2;
+            }
+            continue;
+        }
         if (quote !== null) {
             if (escaped)
                 escaped = false;
@@ -69,6 +88,11 @@ function topLevelAssignment(argument) {
                 quote = null;
             continue;
         }
+        if (argument.startsWith('"""', index)) {
+            quote = '"""';
+            index += 2;
+            continue;
+        }
         if (char === '"' || char === "'") {
             quote = char;
             continue;
@@ -118,6 +142,14 @@ export function parseSpringAnnotationArguments(annotationText) {
 }
 export function parseStaticStringLiteral(value) {
     const trimmed = value.trim();
+    if (trimmed.startsWith('"""')) {
+        if (trimmed.length < 6 || !trimmed.endsWith('"""'))
+            return null;
+        const raw = trimmed.slice(3, -3);
+        if (raw.includes('"""') || /\$(?:\{|[A-Za-z_])/.test(raw))
+            return null;
+        return raw;
+    }
     const match = /^"((?:\\.|[^"\\])*)"$/s.exec(trimmed);
     if (match === null)
         return null;

package/dist/core/ingestion/frameworks/spring/aop-candidates.d.ts

@@ -0,0 +1,15 @@
+import type { GraphNode } from '../../../../_shared/index.js';
+import type { SpringAopStaticPointcut } from './aop.js';
+export interface SpringAopOwnedMethod {
+    readonly method: GraphNode;
+    readonly owner: GraphNode;
+}
+export interface SpringAopCandidateIndex {
+    readonly totalCandidates: number;
+    candidatesFor(pointcut: SpringAopStaticPointcut): readonly SpringAopOwnedMethod[];
+}
+/**
+ * Build immutable candidate lists once per pipeline run. The pointcut matcher
+ * remains the final authority; this index only returns safe supersets.
+ */
+export declare function createSpringAopCandidateIndex(candidates: readonly SpringAopOwnedMethod[], methodAnnotations: ReadonlyMap<string, ReadonlySet<string>>): SpringAopCandidateIndex;

package/dist/core/ingestion/frameworks/spring/aop-candidates.js

@@ -0,0 +1,85 @@
+function ownerPatternLiteralPrefix(pattern) {
+    const wildcardIndex = pattern.indexOf('*');
+    const descendantIndex = pattern.indexOf('..');
+    const firstDynamicIndex = [wildcardIndex, descendantIndex]
+        .filter((index) => index >= 0)
+        .reduce((first, index) => Math.min(first, index), pattern.length);
+    return pattern.slice(0, firstDynamicIndex);
+}
+function lowerBoundByQualifiedName(buckets, prefix) {
+    let low = 0;
+    let high = buckets.length;
+    while (low < high) {
+        const middle = low + Math.floor((high - low) / 2);
+        if ((buckets[middle]?.qualifiedName ?? '') < prefix)
+            low = middle + 1;
+        else
+            high = middle;
+    }
+    return low;
+}
+function compareStrings(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+/**
+ * Build immutable candidate lists once per pipeline run. The pointcut matcher
+ * remains the final authority; this index only returns safe supersets.
+ */
+export function createSpringAopCandidateIndex(candidates, methodAnnotations) {
+    const allCandidates = [...candidates];
+    const candidatesByAnnotation = new Map();
+    const candidatesByExactOwner = new Map();
+    const ownerBucketsById = new Map();
+    for (const candidate of allCandidates) {
+        for (const annotation of methodAnnotations.get(candidate.method.id) ?? []) {
+            const annotated = candidatesByAnnotation.get(annotation) ?? [];
+            annotated.push(candidate);
+            candidatesByAnnotation.set(annotation, annotated);
+        }
+        const qualifiedName = candidate.owner.properties.qualifiedName;
+        if (typeof qualifiedName !== 'string' || qualifiedName.length === 0)
+            continue;
+        const exactOwnerCandidates = candidatesByExactOwner.get(qualifiedName) ?? [];
+        exactOwnerCandidates.push(candidate);
+        candidatesByExactOwner.set(qualifiedName, exactOwnerCandidates);
+        let bucket = ownerBucketsById.get(candidate.owner.id);
+        if (bucket === undefined) {
+            bucket = { id: candidate.owner.id, qualifiedName, candidates: [] };
+            ownerBucketsById.set(candidate.owner.id, bucket);
+        }
+        bucket.candidates.push(candidate);
+    }
+    const ownerBuckets = [...ownerBucketsById.values()].sort((left, right) => compareStrings(left.qualifiedName, right.qualifiedName) || compareStrings(left.id, right.id));
+    const candidatesByOwnerPattern = new Map();
+    return {
+        totalCandidates: allCandidates.length,
+        candidatesFor(pointcut) {
+            if (pointcut.kind === 'annotation') {
+                return candidatesByAnnotation.get(pointcut.annotation) ?? [];
+            }
+            if (!pointcut.ownerPattern.includes('*') && !pointcut.ownerPattern.includes('..')) {
+                return candidatesByExactOwner.get(pointcut.ownerPattern) ?? [];
+            }
+            // Unqualified wildcard patterns (for example `*Service` or `Order*`)
+            // match the owner simple name. The qualified-name prefix index cannot
+            // safely narrow those, so preserve the full candidate superset.
+            if (!pointcut.ownerPattern.includes('.'))
+                return allCandidates;
+            const prefix = ownerPatternLiteralPrefix(pointcut.ownerPattern);
+            if (prefix.length === 0)
+                return allCandidates;
+            const cached = candidatesByOwnerPattern.get(pointcut.ownerPattern);
+            if (cached !== undefined)
+                return cached;
+            const selected = [];
+            for (let index = lowerBoundByQualifiedName(ownerBuckets, prefix); index < ownerBuckets.length; index += 1) {
+                const bucket = ownerBuckets[index];
+                if (bucket === undefined || !bucket.qualifiedName.startsWith(prefix))
+                    break;
+                selected.push(...bucket.candidates);
+            }
+            candidatesByOwnerPattern.set(pointcut.ownerPattern, selected);
+            return selected;
+        },
+    };
+}

package/dist/core/ingestion/frameworks/spring/aop.d.ts

@@ -0,0 +1,118 @@
+import type { GraphNode, ParsedFile, Range, ScopeId } from '../../../../_shared/index.js';
+import type { KnowledgeGraph } from '../../../graph/types.js';
+import type { ScopeResolutionIndexes } from '../../model/scope-resolution-indexes.js';
+import type { GraphNodeLookup } from '../../scope-resolution/graph-bridge/node-lookup.js';
+export declare const SPRING_AOP_REASON_PREFIX = "spring-aop:v1:";
+export declare const SPRING_AOP_EVIDENCE_DESCRIPTION_PREFIX = "Spring AOP: ";
+export declare const SPRING_AOP_EVIDENCE_ID_PREFIX = "CodeElement:spring-aop:";
+export type SpringAopBehavior = 'transactional' | 'caching' | 'cacheable' | 'cache-evict' | 'cache-put' | 'authorization';
+export type SpringAopAdviceKind = 'around' | 'before' | 'after' | 'after-returning' | 'after-throwing' | 'pointcut';
+export interface SpringAopAnnotationFact {
+    readonly name: string;
+    readonly text: string;
+    readonly line: number;
+    /** Kotlin use-site targets do not describe a callable annotation here. */
+    readonly useSiteTarget?: string;
+}
+export interface SpringAopOwnerFact<Annotation extends SpringAopAnnotationFact = SpringAopAnnotationFact> {
+    readonly ownerScopeId: ScopeId;
+    readonly ownerKind: 'class' | 'callable';
+    readonly ownerFilePath?: string;
+    /** Exact syntax range used only as a fail-closed bridge for collapsed language scopes. */
+    readonly ownerRange?: Range;
+    /** The language models this owner/member as static, but it belongs to a singleton instance. */
+    readonly singletonInstance?: true;
+    readonly annotations: readonly Annotation[];
+}
+export interface SpringAopMetadataAdapter<Annotation extends SpringAopAnnotationFact> {
+    getFacts(filePath: string): readonly SpringAopOwnerFact<Annotation>[];
+    isPackageVisibilityIncomplete(filePath: string): boolean;
+}
+export interface SpringAopBehaviorReason {
+    readonly kind: 'behavior';
+    readonly annotation: string;
+    readonly behavior: SpringAopBehavior;
+    readonly declaredOn: 'class' | 'method';
+    readonly activation: 'unknown';
+    readonly proxy: 'possible';
+}
+export interface SpringAopAdviceReason {
+    readonly kind: 'advice';
+    readonly annotation: string;
+    readonly advice: Exclude<SpringAopAdviceKind, 'pointcut'>;
+    readonly pointcut: string;
+    readonly match: 'static';
+    readonly activation: 'unknown';
+    readonly proxy: 'possible';
+}
+export interface SpringAopPointcutReason {
+    readonly kind: 'pointcut';
+    readonly annotation: string;
+    readonly pointcut: string | null;
+    readonly match: 'static' | 'unresolved';
+    readonly resolution: 'resolved' | 'unknown';
+}
+export interface SpringAopAspectReason {
+    readonly kind: 'aspect';
+    readonly annotation: string;
+    readonly activation: 'unknown';
+    readonly registration: 'unknown';
+}
+export type SpringAopReason = SpringAopBehaviorReason | SpringAopAdviceReason | SpringAopPointcutReason | SpringAopAspectReason;
+export interface SpringAopAspectRecord {
+    readonly ownerId: string;
+    readonly annotation: string;
+    readonly line: number;
+}
+export interface SpringAopBehaviorRecord {
+    readonly ownerId: string;
+    readonly ownerKind: 'class' | 'callable';
+    readonly annotation: string;
+    readonly behavior: SpringAopBehavior;
+    readonly line: number;
+}
+export interface SpringAopAdviceRecord {
+    readonly ownerId: string;
+    readonly annotation: string;
+    readonly advice: SpringAopAdviceKind;
+    readonly pointcut: string | null;
+    readonly line: number;
+}
+export interface SpringAopGraphMetadata {
+    readonly candidateFilePaths: ReadonlySet<string>;
+    readonly aspectClassIds: ReadonlySet<string>;
+    readonly singletonInstanceClassIds: ReadonlySet<string>;
+    readonly aspects: readonly SpringAopAspectRecord[];
+    readonly behaviors: readonly SpringAopBehaviorRecord[];
+    readonly advices: readonly SpringAopAdviceRecord[];
+}
+export declare function getSpringAopGraphMetadata(graph: KnowledgeGraph): SpringAopGraphMetadata;
+export declare function hasSpringAopRelevantAnnotation(annotations: readonly Pick<SpringAopAnnotationFact, 'name'>[]): boolean;
+/**
+ * Resolve syntax facts after imports and package visibility are complete.
+ * Language adapters own AST shape only; this shared layer owns framework FQNs.
+ */
+export declare function createSpringAopMetadataAttacher<Annotation extends SpringAopAnnotationFact>(adapter: SpringAopMetadataAdapter<Annotation>): (graph: KnowledgeGraph, parsedFiles: readonly ParsedFile[], nodeLookup: GraphNodeLookup, indexes: ScopeResolutionIndexes) => void;
+export declare function encodeSpringAopReason(reason: SpringAopReason): string;
+/** Decode only the current, validated reason contract; malformed/foreign rows fail closed. */
+export declare function decodeSpringAopReason(value: unknown): SpringAopReason | undefined;
+export declare function isSpringAopEvidenceNode(node: GraphNode): boolean;
+export interface SpringAopExecutionPointcut {
+    readonly kind: 'execution';
+    readonly ownerPattern: string;
+    readonly methodPattern: string;
+    readonly visibility?: 'public';
+    readonly parameterCount?: number;
+}
+export interface SpringAopWithinPointcut {
+    readonly kind: 'within';
+    readonly ownerPattern: string;
+}
+export interface SpringAopAnnotationPointcut {
+    readonly kind: 'annotation';
+    readonly annotation: string;
+}
+export type SpringAopStaticPointcut = SpringAopExecutionPointcut | SpringAopWithinPointcut | SpringAopAnnotationPointcut;
+/** Parse the deliberately narrow, fully static pointcut subset supported in v1. */
+export declare function parseSpringAopPointcut(expression: string): SpringAopStaticPointcut | null;
+export declare function springAopPointcutMatches(pointcut: SpringAopStaticPointcut, owner: GraphNode, method: GraphNode, methodAnnotations?: ReadonlySet<string>): boolean;