Release 0.1.8

gemini-extension.json

@@ -1,6 +1,6 @@
 {
   "name": "axiomcode",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "Ask your repository how its code connects: who calls this, what breaks if I change it, which tests an edit reaches, how A reaches B. Answers come from a resolved call graph and are verified against it; nothing is guessed.",
   "contextFileName": "plugins/axiomcode/AGENTS.md",
   "mcpServers": {

graph/bundle/SCHEMA.md

@@ -483,6 +483,7 @@ THE GRAPH. One row per (site, resolved target). A site with N possible targets h
 | `ctor_delegate` | java | `this(…)` / `super(…)` inside a constructor. |
 | `anon_new` | java | `new X() { … }` — an anonymous class creation. |
 | `event` | java | Synthesised: the publishEvent call site to a listener it runs (tier event_dispatch). Not a written call to that method. |
+| `entity_callback` | java | Synthesised: a call that writes an entity (`repository.save(e)`, `em.persist(e)`, `delete(e)`) to a JPA lifecycle callback it runs (tier event_dispatch). Not a written call to that method. |
 | `record_accessor` | java | Synthesised: a record pattern `case Pair(var l, var r)` calls each accessor. Not a written call; the site is the pattern expression. |
 | `resource_close` | java | Synthesised: a try-with-resources resource `try (var w = open())` is closed when the block exits, so its close() is called. Not a written call; the site is the resource local. |
 | `FUNCTION_CALL` | typescript | `f(…)` — a bare callee. |
@@ -511,6 +512,7 @@ THE GRAPH. One row per (site, resolved target). A site with N possible targets h
 | `DYNAMIC_CODE_CALL` | javascript | `eval(…)` / `new Function(…)` — unknowable by construction. |
 | `DYNAMIC_IMPORT_CALL` | javascript | `import(…)` — a module load that is also a site. |
 | `JSX_ELEMENT` | javascript | `<Component …/>` — the renderer runs the component (a function component, or a class component's constructor and `render`) with the element's attributes as its props. Engine-authored: no written call; the site is the JSX element expression. An intrinsic tag (`<div/>`) is no site. |
+| `JSX_ATTRIBUTE` | javascript | `<form onSubmit={submit}>`, `<UserForm action={create}/>` — a function handed over as a JSX attribute, on any tag; always tier callback_registered. Engine-authored: the site is the attribute. |
 | `SIMPLE_CALL` | python | `f(…)` — a bare name. |
 | `METHOD_CALL` | python | `obj.m(…)`. |
 | `CHAINED_CALL` | python | `a.b().c(…)` — the receiver is itself a call. |
@@ -554,7 +556,7 @@ THE GRAPH. One row per (site, resolved target). A site with N possible targets h
 | `fan_capped` | javascript, java, csharp | More targets than --dispatch-cap: the set was refused rather than emitted. JavaScript: callee is NULL. Java and C#: callee is the declared base method the fan would have started from; dispatch-capped-sites.csv carries the refused count. |
 | `callback_registered` | javascript, typescript | The site HANDS the callee this function (`xs.forEach(f)`, `p.then(f)`, `emitter.on('x', h)`, `setTimeout(f)`), which may invoke it. Not the site's own callee; a reachability edge, labelled so it is never read as a resolved call. |
 | `event_dispatch` | javascript | `x.emit('name')` reaching a handler registered by `x.on('name', h)` on a value x may hold — name-sensitive for literal names, every handler on that value for a computed one. |
-| `event_dispatch` | java | A Spring application event: `publishEvent(e)` reaching each listener (`@EventListener`, `@TransactionalEventListener`, `ApplicationListener<E>.onApplicationEvent`) whose declared event type e's static type is, or is a subtype of. Added beside the publishEvent boundary row, never in place of it (call-edge-generation/event_dispatch.dl). |
+| `event_dispatch` | java | A Spring application event: `publishEvent(e)` reaching each listener (`@EventListener`, `@TransactionalEventListener`, `ApplicationListener<E>.onApplicationEvent`) whose declared event type e's static type is, or is a subtype of. Added beside the publishEvent boundary row, never in place of it (call-edge-generation/event_dispatch.dl). Also a JPA entity write (`save`, `persist`, `merge`, `delete` on a repository or EntityManager) reaching the `@PrePersist`/`@PreUpdate`/`@PreRemove`-style callbacks of the written entity's type and of the listeners `@EntityListeners` names on it or a superclass (kind entity_callback; call-edge-generation/entity_lifecycle.dl). |
 | `intrinsic_terminal` | typescript | The site is a JSX intrinsic element or a dynamic `import()` — a runtime intrinsic, not a function the graph can name. |
 
 **`call_edges.callee_provenance` values**

graph/bundle/schema.ts

@@ -513,7 +513,7 @@ export const VOCAB: readonly VocabSpec[] = [
   { table: 'call_edges', column: 'tier', value: 'fan_capped', languages: ['javascript', 'java', 'csharp'], meaning: 'More targets than --dispatch-cap: the set was refused rather than emitted. JavaScript: callee is NULL. Java and C#: callee is the declared base method the fan would have started from; dispatch-capped-sites.csv carries the refused count.' },
   { table: 'call_edges', column: 'tier', value: 'callback_registered', languages: ['javascript', 'typescript'], meaning: 'The site HANDS the callee this function (`xs.forEach(f)`, `p.then(f)`, `emitter.on(\'x\', h)`, `setTimeout(f)`), which may invoke it. Not the site\'s own callee; a reachability edge, labelled so it is never read as a resolved call.' },
   { table: 'call_edges', column: 'tier', value: 'event_dispatch', languages: S, meaning: '`x.emit(\'name\')` reaching a handler registered by `x.on(\'name\', h)` on a value x may hold — name-sensitive for literal names, every handler on that value for a computed one.' },
-  { table: 'call_edges', column: 'tier', value: 'event_dispatch', languages: J, meaning: 'A Spring application event: `publishEvent(e)` reaching each listener (`@EventListener`, `@TransactionalEventListener`, `ApplicationListener<E>.onApplicationEvent`) whose declared event type e\'s static type is, or is a subtype of. Added beside the publishEvent boundary row, never in place of it (call-edge-generation/event_dispatch.dl).' },
+  { table: 'call_edges', column: 'tier', value: 'event_dispatch', languages: J, meaning: 'A Spring application event: `publishEvent(e)` reaching each listener (`@EventListener`, `@TransactionalEventListener`, `ApplicationListener<E>.onApplicationEvent`) whose declared event type e\'s static type is, or is a subtype of. Added beside the publishEvent boundary row, never in place of it (call-edge-generation/event_dispatch.dl). Also a JPA entity write (`save`, `persist`, `merge`, `delete` on a repository or EntityManager) reaching the `@PrePersist`/`@PreUpdate`/`@PreRemove`-style callbacks of the written entity\'s type and of the listeners `@EntityListeners` names on it or a superclass (kind entity_callback; call-edge-generation/entity_lifecycle.dl).' },
   { table: 'call_edges', column: 'tier', value: 'intrinsic_terminal', languages: T, meaning: 'The site is a JSX intrinsic element or a dynamic `import()` — a runtime intrinsic, not a function the graph can name.' },
 
   // fields.kind / field_access.access / field_access.tier  (#663)
@@ -615,6 +615,7 @@ export const VOCAB: readonly VocabSpec[] = [
   { table: 'call_edges', column: 'kind', value: 'ctor_delegate', languages: J, meaning: '`this(…)` / `super(…)` inside a constructor.' },
   { table: 'call_edges', column: 'kind', value: 'anon_new', languages: J, meaning: '`new X() { … }` — an anonymous class creation.' },
   { table: 'call_edges', column: 'kind', value: 'event', languages: J, meaning: 'Synthesised: the publishEvent call site to a listener it runs (tier event_dispatch). Not a written call to that method.' },
+  { table: 'call_edges', column: 'kind', value: 'entity_callback', languages: J, meaning: 'Synthesised: a call that writes an entity (`repository.save(e)`, `em.persist(e)`, `delete(e)`) to a JPA lifecycle callback it runs (tier event_dispatch). Not a written call to that method.' },
   { table: 'call_edges', column: 'kind', value: 'record_accessor', languages: J, meaning: 'Synthesised: a record pattern `case Pair(var l, var r)` calls each accessor. Not a written call; the site is the pattern expression.' },
   { table: 'call_edges', column: 'kind', value: 'resource_close', languages: J, meaning: 'Synthesised: a try-with-resources resource `try (var w = open())` is closed when the block exits, so its close() is called. Not a written call; the site is the resource local.' },
   // — TypeScript (the parser's callKind)
@@ -645,6 +646,7 @@ export const VOCAB: readonly VocabSpec[] = [
   { table: 'call_edges', column: 'kind', value: 'DYNAMIC_CODE_CALL', languages: S, meaning: '`eval(…)` / `new Function(…)` — unknowable by construction.' },
   { table: 'call_edges', column: 'kind', value: 'DYNAMIC_IMPORT_CALL', languages: S, meaning: '`import(…)` — a module load that is also a site.' },
   { table: 'call_edges', column: 'kind', value: 'JSX_ELEMENT', languages: S, meaning: '`<Component …/>` — the renderer runs the component (a function component, or a class component\'s constructor and `render`) with the element\'s attributes as its props. Engine-authored: no written call; the site is the JSX element expression. An intrinsic tag (`<div/>`) is no site.' },
+  { table: 'call_edges', column: 'kind', value: 'JSX_ATTRIBUTE', languages: S, meaning: '`<form onSubmit={submit}>`, `<UserForm action={create}/>` — a function handed over as a JSX attribute, on any tag; always tier callback_registered. Engine-authored: the site is the attribute.' },
   // — Python (the parser's callKind, plus engine-authored decorator/metaclass forms)
   { table: 'call_edges', column: 'kind', value: 'SIMPLE_CALL', languages: P, meaning: '`f(…)` — a bare name.' },
   { table: 'call_edges', column: 'kind', value: 'METHOD_CALL', languages: P, meaning: '`obj.m(…)`.' },

graph/csharp/engine/framework-behavior/knobs.dl

@@ -338,3 +338,51 @@ cs_framework_save_hook("SaveChangesCanceled"). cs_framework_save_hook("SaveChang
 cs_framework_save_hook("ThrowingConcurrencyException"). cs_framework_save_hook("ThrowingConcurrencyExceptionAsync").
 cs_framework_callback("SaveChangesInterceptor", n, "orm_hook") :- cs_framework_save_hook(n).
 cs_framework_callback("ISaveChangesInterceptor", n, "orm_hook") :- cs_framework_save_hook(n).
+// EF Core: a command interceptor runs around every command the context sends.
+cs_framework_command_hook("ReaderExecuting").   cs_framework_command_hook("ReaderExecutingAsync").
+cs_framework_command_hook("ReaderExecuted").    cs_framework_command_hook("ReaderExecutedAsync").
+cs_framework_command_hook("NonQueryExecuting"). cs_framework_command_hook("NonQueryExecutingAsync").
+cs_framework_command_hook("NonQueryExecuted").  cs_framework_command_hook("NonQueryExecutedAsync").
+cs_framework_command_hook("ScalarExecuting").   cs_framework_command_hook("ScalarExecutingAsync").
+cs_framework_command_hook("ScalarExecuted").    cs_framework_command_hook("ScalarExecutedAsync").
+cs_framework_command_hook("CommandFailed").     cs_framework_command_hook("CommandFailedAsync").
+cs_framework_callback("DbCommandInterceptor", n, "orm_hook") :- cs_framework_command_hook(n).
+cs_framework_callback("IDbCommandInterceptor", n, "orm_hook") :- cs_framework_command_hook(n).
+// ASP.NET Core: an endpoint filter runs around every endpoint it is added to, and a
+// factory-activated middleware around every request.
+cs_framework_callback("IEndpointFilter", "InvokeAsync", "framework_hook").
+cs_framework_callback("IMiddleware", "InvokeAsync", "framework_hook").
+
+// ── PIPELINE REGISTRATION (pipelines.dl) ───────────────────────────────────
+// cs_pipeline_register(Method, ReceiverMember, Form): a call that puts a component into a
+// framework pipeline, whose hooks (cs_framework_callback above) the framework then runs.
+// ReceiverMember "*" is any receiver; otherwise the receiver must be a member access of
+// that name (`options.Interceptors.Add<T>()`: a bare `Add` is every list in the program).
+// Form "type" is the call's type argument, `AddEndpointFilter<T>()`; "value" is an
+// argument whose type is known, `AddEndpointFilter(new T(..))`,
+// `AddInterceptors(sp.GetRequiredService<T>())`.
+cs_pipeline_register("AddHostedService", "*", "type").
+cs_pipeline_register("AddEndpointFilter", "*", "type").
+cs_pipeline_register("AddEndpointFilter", "*", "value").
+cs_pipeline_register("UseMiddleware", "*", "type").
+cs_pipeline_register("AddInterceptor", "*", "type").          // a gRPC client's builder
+cs_pipeline_register("AddInterceptor", "*", "value").
+cs_pipeline_register("Add", "Interceptors", "type").          // a gRPC server's options
+cs_pipeline_register("Add", "Interceptors", "value").
+cs_pipeline_register("AddInterceptors", "*", "value").        // an EF Core context's options
+// What a registered component WRAPS, beyond being called: (Method, ReceiverMember, Scope).
+// "route": the endpoint it is added to, or every endpoint of the route group it is added
+// to (nested groups too). "grpc_host": every rpc of every service the same file maps
+// with cs_grpc_map_service, which is where a host both configures AddGrpc and maps.
+cs_pipeline_wraps("AddEndpointFilter", "*", "route").
+cs_pipeline_wraps("Add", "Interceptors", "grpc_host").
+cs_grpc_map_service("MapGrpcService").
+// EF Core runs every save interceptor added with AddInterceptors when a context saves:
+// the synchronous hooks on SaveChanges, the Async ones on SaveChangesAsync.
+cs_ef_interceptor_register("AddInterceptors").
+cs_ef_save_call("SaveChanges", "sync").
+cs_ef_save_call("SaveChangesAsync", "async").
+// the framework bases a DbContext is written against
+cs_ef_context_base("DbContext").
+cs_ef_context_base("IdentityDbContext").
+cs_ef_context_base("IdentityUserContext").