Release 0.1.5

.github/workflows/ci.yml

@@ -397,12 +397,15 @@ jobs:
       # Two things decide the binary that ENGINE_ID does not cover, so they are in the
       # key too: the driver that compiles it (run-souffle.sh holds the compiler flags),
       # and the runner's CPU, because the driver compiles with -march=native and a
-      # binary built on one CPU model can die with an illegal instruction on another.
+      # binary built on one CPU can die with an illegal instruction on another.
+      # The CPU part hashes the FEATURE FLAGS, not only the model name: hosted runners
+      # that report the same model name do not all expose the same instruction set, so
+      # a model-name key restored a binary that died with SIGILL on every case.
       - name: this language's engine id
         id: eid
         run: |
           echo "id=$(bash graph/pipeline/run-souffle.sh --language ${{ matrix.lang }} --print-engine-id)" >> "$GITHUB_OUTPUT"
-          echo "cpu=$(grep -m1 'model name' /proc/cpuinfo | sha256sum | cut -c1-12)" >> "$GITHUB_OUTPUT"
+          echo "cpu=$(grep -E '^(model name|flags)[[:space:]]*:' /proc/cpuinfo | sort -u | sha256sum | cut -c1-12)" >> "$GITHUB_OUTPUT"
 
       - name: cache the compiled Soufflé engine
         if: ${{ !inputs.fresh }}

README.md

@@ -308,7 +308,7 @@ about one change had to read 95 of 43,793 methods, and every true direct caller
 | `axiomcode test-impact` | which tests have to run for the current edit, with the chain that reaches each |
 | `axiomcode changed` | which declarations an edit changed, and how (signature, type, body, added, removed). `--impact` adds what that reaches |
 | `axiomcode context "<task>"` | where a task's words land in the code, when you have a problem statement and not yet a name |
-| `axiomcode graph` | the whole graph as one self-contained HTML page, at `.axiomcode/graph/graph.html` |
+| `axiomcode graph` | the whole graph as one self-contained HTML page, at `.axiomcode/graph/graph.html`, drawn from the existing graph (rebuilt first only when stale, with the flags it was indexed with) |
 | `axiomcode index` | build or rebuild the graph explicitly; `--lang`, `--src` and `--library` narrow it |
 | `axiomcode mcp` | serve the graph to an agent as MCP tools over stdio |
 

gemini-extension.json

@@ -1,6 +1,6 @@
 {
   "name": "axiomcode",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "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/build.ts

@@ -515,6 +515,20 @@ export async function buildCore(inp: BuildInputs): Promise<CoreTables> {
       }
     }
   }
+  if (A.ir.localSites) {
+    const L = A.ir.localSites;
+    const src = await clientSource(inp.clientIrDir, L.file);
+    if (src) {
+      const h = src.header;
+      const ci = h.col(L.id), cl = h.col(L.startLine), cel = h.col(L.endLine);
+      for await (const r of rowsOf(src)) {
+        const row = sites.get(r[ci] ?? '');
+        if (!row) continue;
+        fill(row, 4, fileOf(L.fileVia, h, r));
+        fill(row, 5, int(r[cl])); fill(row, 7, int(r[cel]));
+      }
+    }
+  }
   // a site keyed on a type (Python METACLASS_CREATION) is positioned at the class declaration
   for (const row of sites.values()) {
     if (row[5] !== null) continue;

graph/bundle/languages.ts

@@ -94,6 +94,14 @@ export interface CallSitesIR {
   file: string; expressionId: string; calleeName: string; startLine: string; startColumn: string; endLine?: string;
   fileVia: { column: string; through: 'modules' };
 }
+/**
+ * Java try-with-resources: the implicit close() edge is keyed on the resource LOCAL, which has no
+ * expression row, so the site is positioned at the local's declaration instead.
+ */
+export interface LocalSitesIR {
+  file: string; id: string; startLine: string; endLine: string;
+  fileVia: { column: string; through: 'modules' | 'types' };
+}
 /**
  * Python decorators — a site id may be the decorator's own hash (a bare decorator with no
  * expression row) or the decorator's EXPRESSION hash; the row links both, so it is matched
@@ -150,6 +158,7 @@ export interface LanguageAdapter {
     expressions: ExpressionsIR;
     callSites?: CallSitesIR;
     decorators?: DecoratorsIR;
+    localSites?: LocalSitesIR;
     /** absent where the front end writes no skipped-files report */
     skipped?: SkippedIR;
   };
@@ -207,6 +216,11 @@ const JAVA: LanguageAdapter = {
       // the parser puts the invoked name / created class name in literalValue for these kinds
       calleeName: { column: 'literalValue', kinds: ['METHOD_INVOCATION', 'OBJECT_CREATION', 'METHOD_REFERENCE', 'ANONYMOUS_CLASS_CREATION'] },
     },
+    // a resource_close site is the try-with-resources resource local, positioned at its declaration
+    localSites: {
+      file: 'all-local-variables.csv', id: 'localVariableRegistryUniqueHash', startLine: 'startLine', endLine: 'endLine',
+      fileVia: { column: 'typeRegistryLinkHash', through: 'types' },
+    },
     // The Java report carries no construct and no position: the three reasons it emits
     // (EMPTY_CONTENT, FILE_TOO_LARGE, READ_ERROR) are properties of the whole file.
     skipped: { file: 'skipped-java-files.csv', filePath: 'filePath', reason: 'reason' },

graph/csharp/engine/call-edge-generation/call_chain.dl

@@ -34,6 +34,10 @@
 //   ambiguous_dynamic a call through `dynamic`. Unresolvable BY DESIGN: the DLR
 //                     decides at runtime. Separated from ambiguous_unknown so a
 //                     known-undecidable site is never counted as an engine failure.
+//   event_dispatch    NOT the site's own target: a framework runs this method for the
+//                     site in process (a mediator's Send reaching the handler for the
+//                     request type). Added beside the site's row, by
+//                     framework-behavior/dispatch.dl.
 // ============================================================================
 
 // ── THE SITE UNIVERSE ───────────────────────────────────────────────────────

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

@@ -45,6 +45,12 @@ call_recv_written_name(e, n) :-
     ref_denotes("client", r, "LOCAL_VARIABLE", v), var_is_implicit("client", v),
     var_value_initializer("client", v, init), expr_new_type_ref("client", init, tr),
     type_ref_name("client", tr, n).
+// …and a property read off another value, `services.Mediator.Send(..)`: a minimal-API
+// endpoint takes its services as one parameter object, and the receiver is that
+// object's property, whose declared type name is what the project wrote.
+call_recv_written_name(e, n) :-
+    call_receiver_expr("client", e, r), property_access("client", r, p, _),
+    property_type_name("client", p, n, _), n != "".
 // …and a `var` from the service locator, which holds its type argument
 call_recv_written_name(e, n) :-
     call_receiver_expr("client", e, r),
@@ -706,24 +712,26 @@ msg_bus_arg(e, a) :- msg_bus_send_site(e, _, _), http_arg(e, 0, a), !msg_first_i
 msg_bus_arg(e, a) :- msg_bus_send_site(e, _, _), msg_first_is_address(e), http_arg(e, 1, a).
 msg_first_is_address(e) :- msg_bus_send_site(e, _, _), http_arg(e, 0, a0), http_arg(e, 1, _),
     expr_literal("client", a0, k, _), k != "NULL".
-// the message's type NAME, however it is written
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), expr_new_type_ref("client", a, tr), type_ref_name("client", tr, n0), last_segment(n0, n).
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), expr_kind("client", a, "OBJECT_CREATION"),
+// the message's type NAME, however it is written. Read for a bus send here and for an
+// in-process mediator send (dispatch.dl), which carries its request the same way.
+msg_typed_arg(a) :- msg_bus_arg(_, a).
+msg_arg_type_name(a, n) :- msg_typed_arg(a), expr_new_type_ref("client", a, tr), type_ref_name("client", tr, n0), last_segment(n0, n).
+msg_arg_type_name(a, n) :- msg_typed_arg(a), expr_kind("client", a, "OBJECT_CREATION"),
     call_callee_name("client", a, n0), last_segment(n0, n).
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), expr_type("client", a, gk), type_group("client", t, gk),
+msg_arg_type_name(a, n) :- msg_typed_arg(a), expr_type("client", a, gk), type_group("client", t, gk),
     type_decl("client", n, _, _, _, t).
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
+msg_arg_type_name(a, n) :- msg_typed_arg(a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
     var_type_name("client", v, n0, _), n0 != "", last_segment(n0, n).
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), ref_denotes("client", a, "PARAMETER", p),
+msg_arg_type_name(a, n) :- msg_typed_arg(a), ref_denotes("client", a, "PARAMETER", p),
     param_type_name("client", p, n0, _), n0 != "", last_segment(n0, n).
 // A local declared as a BASE is usually assigned a concrete message on each branch,
 //     Notice evt;  if (ok) evt = new Accepted(..); else evt = new Rejected(..);
 // and those constructions, in the same method, are what it can hold.
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
+msg_arg_type_name(a, n) :- msg_typed_arg(a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
     msg_local_assigned(v, c), msg_creation_name(c, n).
-msg_arg_type_name(a, n) :- msg_bus_arg(_, a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
+msg_arg_type_name(a, n) :- msg_typed_arg(a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
     var_value_initializer("client", v, c), msg_creation_name(c, n).
-msg_local_assigned(v, c) :- msg_bus_arg(_, a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
+msg_local_assigned(v, c) :- msg_typed_arg(a), ref_denotes("client", a, "LOCAL_VARIABLE", v),
     expr_kind("client", asg, "ASSIGNMENT"), expr_child("client", asg, "ASSIGNMENT_TARGET", _, t),
     ref_denotes("client", t, "LOCAL_VARIABLE", v), expr_child("client", asg, "ASSIGNMENT_VALUE", _, c).
 msg_creation_name(c, n) :- expr_kind("client", c, "OBJECT_CREATION"), expr_new_type_ref("client", c, tr),