From 5f55f68667aecc9772be3ab15e0394ef8291f08f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 17 Jun 2026 09:41:35 +0000
Subject: [PATCH] docs: update performance benchmarks (3.13.0)

---
 README.md                                     |   50 +-
 generated/benchmarks/BUILD-BENCHMARKS.md      | 2078 ++++++++++++++++-
 .../benchmarks/INCREMENTAL-BENCHMARKS.md      |  130 +-
 generated/benchmarks/QUERY-BENCHMARKS.md      |   80 +-
 4 files changed, 2260 insertions(+), 78 deletions(-)

diff --git a/README.md b/README.md
index 2494a128..0bfd700a 100644
--- a/README.md
+++ b/README.md
@@ -643,30 +643,28 @@ Codegraph also extracts symbols from common callback patterns: Commander `.comma
 
 Self-measured on every release via CI ([build benchmarks](generated/benchmarks/BUILD-BENCHMARKS.md) | [embedding benchmarks](generated/benchmarks/EMBEDDING-BENCHMARKS.md) | [query benchmarks](generated/benchmarks/QUERY-BENCHMARKS.md) | [incremental benchmarks](generated/benchmarks/INCREMENTAL-BENCHMARKS.md) | [resolution precision/recall](tests/benchmarks/resolution/)):
 
-*Last updated: v3.12.0 (2026-06-11)*
+*Last updated: v3.13.0 (2026-06-17)*
 
 | Metric | Native | WASM |
 |---|---|---|
-| Build speed | **4.4 ms/file** | **21.2 ms/file** |
-| Query time | **38ms** | **48ms** |
-| No-op rebuild | **30ms** | **27ms** |
-| 1-file rebuild | **121ms** | **76ms** |
-| Query: fn-deps | **2.7ms** | **2.6ms** |
-| Query: path | **2.8ms** | **2.5ms** |
-| ~50,000 files (est.) | **~220.0s build** | **~1060.0s build** |
-| Resolution precision | **84.4%** | — |
-| Resolution recall | **56.1%** | — |
-
-Metrics are normalized per file for cross-version comparability. Times above are for a full initial build — incremental rebuilds only re-parse changed files. v3.12.0 note: native build speed regressed ~22% (3.6→4.4 ms/file) and native 1-file incremental rebuild regressed ~41% (86→121 ms); tracked in [#1446](https://github.com/optave/ops-codegraph-tool/issues/1446).
+| Build speed | **4.5 ms/file** | **27.4 ms/file** |
+| Query time | **42ms** | **58ms** |
+| No-op rebuild | **26ms** | **25ms** |
+| 1-file rebuild | **108ms** | **78ms** |
+| Query: fn-deps | **2.8ms** | **2.8ms** |
+| Query: path | **2.9ms** | **2.5ms** |
+| ~50,000 files (est.) | **~225.0s build** | **~1370.0s build** |
+| Resolution precision | **93.1%** | — |
+| Resolution recall | **61.0%** | — |
+
+Metrics are normalized per file for cross-version comparability. Times above are for a full initial build — incremental rebuilds only re-parse changed files.
 
 <details><summary>Per-language resolution precision/recall</summary>
 
-v3.12.0 note: global precision dropped 89.9%→84.4%, driven by new false positives in `elixir` (+17 FP), `julia` (+11 FP), and `objc` (+5 FP) — all three still have 0% recall; tracked in [#1447](https://github.com/optave/ops-codegraph-tool/issues/1447). Global recall improved substantially (42.3%→56.1%).
-
 | Language | Precision | Recall | TP | FP | FN | Edges | Dynamic |
 |----------|----------:|-------:|---:|---:|---:|------:|--------:|
-| javascript | 100.0% | 97.6% | 41 | 0 | 1 | 42 | 14/32 |
-| typescript | 100.0% | 100.0% | 47 | 0 | 0 | 47 | — |
+| javascript | 100.0% | 100.0% | 42 | 0 | 0 | 42 | 14/32 |
+| typescript | 95.9% | 100.0% | 47 | 2 | 0 | 47 | — |
 | bash | 100.0% | 100.0% | 12 | 0 | 0 | 12 | 0/1 |
 | c | 100.0% | 100.0% | 9 | 0 | 0 | 9 | — |
 | clojure | 80.0% | 26.7% | 4 | 1 | 11 | 15 | — |
@@ -674,19 +672,19 @@ v3.12.0 note: global precision dropped 89.9%→84.4%, driven by new false positi
 | csharp | 100.0% | 100.0% | 23 | 0 | 0 | 23 | — |
 | cuda | 50.0% | 33.3% | 4 | 4 | 8 | 12 | — |
 | dart | 0.0% | 0.0% | 0 | 0 | 18 | 18 | — |
-| elixir | 0.0% | 0.0% | 0 | 17 | 21 | 21 | — |
-| erlang | 100.0% | 100.0% | 12 | 0 | 0 | 12 | — |
+| elixir | 100.0% | 81.0% | 17 | 0 | 4 | 21 | — |
+| erlang | 0.0% | 0.0% | 0 | 0 | 12 | 12 | — |
 | fsharp | 0.0% | 0.0% | 0 | 11 | 12 | 12 | — |
 | gleam | 100.0% | 26.7% | 4 | 0 | 11 | 15 | — |
 | go | 100.0% | 69.2% | 9 | 0 | 4 | 13 | 13/14 |
 | groovy | 100.0% | 7.7% | 1 | 0 | 12 | 13 | — |
 | haskell | 100.0% | 33.3% | 4 | 0 | 8 | 12 | — |
 | hcl | 0.0% | 0.0% | 0 | 0 | 2 | 2 | — |
-| java | 100.0% | 76.5% | 13 | 0 | 4 | 17 | — |
-| julia | 0.0% | 0.0% | 0 | 11 | 15 | 15 | — |
+| java | 100.0% | 80.0% | 16 | 0 | 4 | 20 | — |
+| julia | 100.0% | 73.3% | 11 | 0 | 4 | 15 | — |
 | kotlin | 92.3% | 63.2% | 12 | 1 | 7 | 19 | — |
 | lua | 100.0% | 15.4% | 2 | 0 | 11 | 13 | — |
-| objc | 0.0% | 0.0% | 0 | 6 | 12 | 12 | — |
+| objc | 100.0% | 46.2% | 6 | 0 | 7 | 13 | — |
 | ocaml | 100.0% | 8.3% | 1 | 0 | 11 | 12 | — |
 | php | 100.0% | 57.9% | 11 | 0 | 8 | 19 | — |
 | pts-javascript | 100.0% | 100.0% | 13 | 0 | 0 | 13 | — |
@@ -699,24 +697,24 @@ v3.12.0 note: global precision dropped 89.9%→84.4%, driven by new false positi
 | swift | 75.0% | 42.9% | 6 | 2 | 8 | 14 | 9/9 |
 | tsx | 100.0% | 100.0% | 13 | 0 | 0 | 13 | — |
 | verilog | 0.0% | 0.0% | 0 | 0 | 4 | 4 | — |
-| zig | 0.0% | 0.0% | 0 | 0 | 15 | 15 | — |
+| zig | 66.7% | 13.3% | 2 | 1 | 13 | 15 | — |
 
 **By resolution mode (all languages):**
 
 | Mode | Resolved | Expected | Recall |
 |------|--------:|---------:|-------:|
 | receiver-typed | 32 | 112 | 28.6% |
-| module-function | 16 | 112 | 14.3% |
-| static | 78 | 96 | 81.3% |
+| module-function | 36 | 112 | 32.1% |
+| static | 82 | 97 | 84.5% |
 | same-file | 66 | 90 | 73.3% |
-| interface-dispatched | 19 | 19 | 100.0% |
+| interface-dispatched | 22 | 22 | 100.0% |
 | class-inheritance | 8 | 12 | 66.7% |
 | callback | 7 | 7 | 100.0% |
 | pts-spread | 4 | 4 | 100.0% |
 | pts-define-property | 3 | 3 | 100.0% |
 | dynamic | 3 | 3 | 100.0% |
 | pts-create-prototype | 2 | 2 | 100.0% |
-| points-to | 1 | 2 | 50.0% |
+| points-to | 2 | 2 | 100.0% |
 | re-export | 2 | 2 | 100.0% |
 | pts-for-of | 2 | 2 | 100.0% |
 | pts-set | 2 | 2 | 100.0% |
diff --git a/generated/benchmarks/BUILD-BENCHMARKS.md b/generated/benchmarks/BUILD-BENCHMARKS.md
index d5937a74..4930fe56 100644
--- a/generated/benchmarks/BUILD-BENCHMARKS.md
+++ b/generated/benchmarks/BUILD-BENCHMARKS.md
@@ -5,6 +5,8 @@ Metrics are normalized per file for cross-version comparability.
 
 | Version | Engine | Date | Files | Build (ms/file) | Query (ms) | Nodes/file | Edges/file | DB (bytes/file) |
 |---------|--------|------|------:|----------------:|-----------:|-----------:|-----------:|----------------:|
+| 3.13.0 | native | 2026-06-17 | 695 | 4.5 ↑2% | 42 ↑11% | 29.9 ~ | 61.7 ↓4% | 55564 ~ |
+| 3.13.0 | wasm | 2026-06-17 | 695 | 27.4 ↑29% | 57.7 ↑20% | 29.9 ~ | 62.4 ~ | 55216 ~ |
 | 3.12.0 | native | 2026-06-11 | 670 | 4.4 ↑22% | 37.7 ↑10% | 30.3 ~ | 64 ~ | 55394 ↑3% |
 | 3.12.0 | wasm | 2026-06-11 | 670 | 21.2 ↑13% | 47.9 ↑9% | 30.3 ~ | 62.2 ↓3% | 54605 ~ |
 | 3.11.2 | native | 2026-06-01 | 628 | 3.6 ↓3% | 34.3 ~ | 30.9 ~ | 64 ~ | 53894 ~ |
@@ -75,38 +77,38 @@ Metrics are normalized per file for cross-version comparability.
 
 | Metric | Value |
 |--------|-------|
-| Build time | 2.9s |
-| Query time | 38ms |
-| Nodes | 20,318 |
-| Edges | 42,851 |
-| DB size | 35.4 MB |
-| Files | 670 |
+| Build time | 3.1s |
+| Query time | 42ms |
+| Nodes | 20,777 |
+| Edges | 42,883 |
+| DB size | 36.8 MB |
+| Files | 695 |
 
 #### WASM
 
 | Metric | Value |
 |--------|-------|
-| Build time | 14.2s |
-| Query time | 48ms |
-| Nodes | 20,284 |
-| Edges | 41,671 |
-| DB size | 34.9 MB |
-| Files | 670 |
+| Build time | 19.1s |
+| Query time | 58ms |
+| Nodes | 20,781 |
+| Edges | 43,381 |
+| DB size | 36.6 MB |
+| Files | 695 |
 
 ### Build Phase Breakdown (latest)
 
 | Phase | Native (build) | WASM (build) | Native (1-file) | WASM (1-file) |
 |-------|---------------:|-------------:|----------------:|--------------:|
-| Parse | 872.9 ms | 10029.5 ms | 0.4 ms | 2.7 ms |
-| Insert nodes | 479.5 ms | 492.5 ms | 0.3 ms | 0.5 ms |
-| Resolve imports | 5 ms | 20.2 ms | 0.4 ms | 0.5 ms |
-| Build edges | 256.2 ms | 489.3 ms | 5.6 ms | 9 ms |
-| Structure | 38.4 ms | 56.8 ms | 5.2 ms | 3.7 ms |
-| Roles | 109.5 ms | 133 ms | 29.5 ms | 22.8 ms |
-| AST nodes | 307.8 ms | 382.9 ms | 0.2 ms | 0.6 ms |
-| Complexity | 24.8 ms | 1305.2 ms | 0 ms | 0.6 ms |
-| CFG | 239.9 ms | 412.8 ms | 0 ms | 0.4 ms |
-| Dataflow | 210.7 ms | 284.6 ms | 0.1 ms | 0.4 ms |
+| Parse | 1083.1 ms | 10513.9 ms | 0.4 ms | 3.3 ms |
+| Insert nodes | 497.2 ms | 511.9 ms | 0.3 ms | 0.6 ms |
+| Resolve imports | 4.5 ms | 19.1 ms | 0.4 ms | 0.6 ms |
+| Build edges | 273.6 ms | 4685.9 ms | 5.6 ms | 9.3 ms |
+| Structure | 39.2 ms | 64.7 ms | 4.8 ms | 3.6 ms |
+| Roles | 108.2 ms | 129.6 ms | 27.7 ms | 25.7 ms |
+| AST nodes | 316.7 ms | 397.8 ms | 0.2 ms | 0.8 ms |
+| Complexity | 24.5 ms | 1340 ms | 0 ms | 0.7 ms |
+| CFG | 245.8 ms | 451.3 ms | 0 ms | 0.3 ms |
+| Dataflow | 224.6 ms | 292.9 ms | 0 ms | 0.4 ms |
 
 ### Estimated performance at 50,000 files
 
@@ -114,15 +116,17 @@ Extrapolated linearly from per-file metrics above.
 
 | Metric | Native (Rust) | WASM |
 |--------|---:|---:|
-| Build time | 220.0s | 1060.0s |
-| DB size | 2641.4 MB | 2603.8 MB |
-| Nodes | 1,515,000 | 1,515,000 |
-| Edges | 3,200,000 | 3,110,000 |
+| Build time | 225.0s | 1370.0s |
+| DB size | 2649.5 MB | 2632.9 MB |
+| Nodes | 1,495,000 | 1,495,000 |
+| Edges | 3,085,000 | 3,120,000 |
 
 ### Incremental Rebuilds
 
 | Version | Engine | No-op (ms) | 1-file (ms) |
 |---------|--------|----------:|-----------:|
+| 3.13.0 | native | 26 ↓13% | 108 ↓11% |
+| 3.13.0 | wasm | 25 ↓7% | 78 ↑3% |
 | 3.12.0 | native | 30 ↑20% | 121 ↑41% |
 | 3.12.0 | wasm | 27 ↑29% | 76 ↑27% |
 | 3.11.2 | native | 25 ↑4% | 86 ↑6% |
@@ -185,6 +189,8 @@ Extrapolated linearly from per-file metrics above.
 
 | Version | Engine | fn-deps (ms) | fn-impact (ms) | path (ms) | roles (ms) |
 |---------|--------|------------:|--------------:|----------:|----------:|
+| 3.13.0 | native | 2.8 ↑4% | 3 ↑11% | 2.9 ↑4% | 44 ↓8% |
+| 3.13.0 | wasm | 2.8 ↑8% | 2.7 ↑4% | 2.5 ~ | 42 ↑3% |
 | 3.12.0 | native | 2.7 ~ | 2.7 ~ | 2.8 ↑4% | 47.8 ↑8% |
 | 3.12.0 | wasm | 2.6 ~ | 2.6 ↑4% | 2.5 ↑4% | 40.8 ↓4% |
 | 3.11.2 | native | 2.7 ↑8% | 2.7 ↑4% | 2.7 ↑8% | 44.1 ↑15% |
@@ -312,6 +318,2026 @@ pre-parse that previously added ~388ms on native builds.
 
 <!-- BENCHMARK_DATA
 [
+  {
+    "version": "3.13.0",
+    "date": "2026-06-17",
+    "files": 695,
+    "wasm": {
+      "files": 695,
+      "buildTimeMs": 19052,
+      "queryTimeMs": 57.7,
+      "nodes": 20781,
+      "edges": 43381,
+      "dbSizeBytes": 38375424,
+      "perFile": {
+        "buildTimeMs": 27.4,
+        "nodes": 29.9,
+        "edges": 62.4,
+        "dbSizeBytes": 55216
+      },
+      "noopRebuildMs": 25,
+      "oneFileRebuildMs": 78,
+      "oneFilePhases": {
+        "setupMs": 5.1,
+        "collectMs": 13,
+        "detectMs": 10,
+        "parseMs": 3.3,
+        "insertMs": 0.6,
+        "resolveMs": 0.6,
+        "edgesMs": 9.3,
+        "structureMs": 3.6,
+        "rolesMs": 25.7,
+        "astMs": 0.8,
+        "complexityMs": 0.7,
+        "cfgMs": 0.3,
+        "dataflowMs": 0.4,
+        "finalizeMs": 0.5
+      },
+      "queries": {
+        "fnDepsMs": 2.8,
+        "fnImpactMs": 2.7,
+        "pathMs": 2.5,
+        "rolesMs": 42
+      },
+      "phases": {
+        "setupMs": 19.8,
+        "collectMs": 22.2,
+        "detectMs": 0.8,
+        "parseMs": 10513.9,
+        "insertMs": 511.9,
+        "resolveMs": 19.1,
+        "edgesMs": 4685.9,
+        "structureMs": 64.7,
+        "rolesMs": 129.6,
+        "astMs": 397.8,
+        "complexityMs": 1340,
+        "cfgMs": 451.3,
+        "dataflowMs": 292.9,
+        "finalizeMs": 7
+      }
+    },
+    "native": {
+      "files": 695,
+      "buildTimeMs": 3123,
+      "queryTimeMs": 42,
+      "nodes": 20777,
+      "edges": 42883,
+      "dbSizeBytes": 38617088,
+      "perFile": {
+        "buildTimeMs": 4.5,
+        "nodes": 29.9,
+        "edges": 61.7,
+        "dbSizeBytes": 55564
+      },
+      "noopRebuildMs": 26,
+      "oneFileRebuildMs": 108,
+      "oneFilePhases": {
+        "setupMs": 3.3,
+        "collectMs": 7.3,
+        "detectMs": 3.1,
+        "parseMs": 0.4,
+        "insertMs": 0.3,
+        "resolveMs": 0.4,
+        "edgesMs": 5.6,
+        "structureMs": 4.8,
+        "rolesMs": 27.7,
+        "gapDetectMs": 17.5,
+        "chaMs": 6.3,
+        "thisDispatchMs": 2.7,
+        "reclassifyMs": 0,
+        "techniqueBackfillMs": 0.1,
+        "astMs": 0.2,
+        "complexityMs": 0,
+        "cfgMs": 0,
+        "dataflowMs": 0,
+        "finalizeMs": 0.7
+      },
+      "queries": {
+        "fnDepsMs": 2.8,
+        "fnImpactMs": 3,
+        "pathMs": 2.9,
+        "rolesMs": 44
+      },
+      "phases": {
+        "setupMs": 24.3,
+        "collectMs": 9.3,
+        "detectMs": 0.3,
+        "parseMs": 1083.1,
+        "insertMs": 497.2,
+        "resolveMs": 4.5,
+        "edgesMs": 273.6,
+        "structureMs": 39.2,
+        "rolesMs": 108.2,
+        "gapDetectMs": 30.6,
+        "chaMs": 8.6,
+        "thisDispatchMs": 42.2,
+        "reclassifyMs": 92.5,
+        "techniqueBackfillMs": 11.6,
+        "astMs": 316.7,
+        "complexityMs": 24.5,
+        "cfgMs": 245.8,
+        "dataflowMs": 224.6,
+        "finalizeMs": 0.6
+      }
+    },
+    "resolution": {
+      "bash": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 12,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 12,
+        "totalExpected": 12,
+        "byMode": {
+          "same-file": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "static": {
+            "expected": 9,
+            "resolved": 9,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "source",
+              "source_file": "main.sh",
+              "target_name": "run",
+              "target_file": "main.sh"
+            }
+          ]
+        },
+        "dynamicEdges": 1,
+        "dynamicConfirmed": 0
+      },
+      "c": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 9,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 9,
+        "totalExpected": 9,
+        "byMode": {
+          "same-file": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "static": {
+            "expected": 6,
+            "resolved": 6,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "clojure": {
+        "precision": 0.8,
+        "recall": 0.26666666666666666,
+        "truePositives": 4,
+        "falsePositives": 1,
+        "falseNegatives": 11,
+        "totalResolved": 5,
+        "totalExpected": 15,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [
+          "-main@main.clj -> run@main.clj"
+        ],
+        "falseNegativeEdges": [
+          "run@main.clj -> new-repo@repository.clj",
+          "run@main.clj -> create-user@service.clj",
+          "run@main.clj -> get-user@service.clj",
+          "run@main.clj -> remove-user@service.clj",
+          "run@main.clj -> summary@service.clj",
+          "create-user@service.clj -> validate-name@validators.clj",
+          "create-user@service.clj -> validate-email@validators.clj",
+          "create-user@service.clj -> save@repository.clj",
+          "get-user@service.clj -> find-by-id@repository.clj",
+          "remove-user@service.clj -> delete@repository.clj",
+          "summary@service.clj -> count@repository.clj"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "cpp": {
+        "precision": 1,
+        "recall": 0.5714285714285714,
+        "truePositives": 8,
+        "falsePositives": 0,
+        "falseNegatives": 6,
+        "totalResolved": 8,
+        "totalExpected": 14,
+        "byMode": {
+          "same-file": {
+            "expected": 8,
+            "resolved": 4,
+            "recall": 0.5
+          },
+          "static": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "UserService::UserService@service.cpp -> UserService::log_action@service.cpp",
+          "UserService::process@service.cpp -> UserService::create_user@service.cpp",
+          "UserService::create_user@service.cpp -> UserService::log_action@service.cpp",
+          "UserService::delete_user@service.cpp -> UserService::log_action@service.cpp",
+          "run_service@main.cpp -> UserService::create_user@service.cpp",
+          "run_service@main.cpp -> UserService::delete_user@service.cpp"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "csharp": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 23,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 23,
+        "totalExpected": 23,
+        "byMode": {
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "interface-dispatched": {
+            "expected": 8,
+            "resolved": 8,
+            "recall": 1
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "cuda": {
+        "precision": 0.5,
+        "recall": 0.3333333333333333,
+        "truePositives": 4,
+        "falsePositives": 4,
+        "falseNegatives": 8,
+        "totalResolved": 8,
+        "totalExpected": 12,
+        "byMode": {
+          "receiver-typed": {
+            "expected": 6,
+            "resolved": 0,
+            "recall": 0
+          },
+          "static": {
+            "expected": 4,
+            "resolved": 2,
+            "recall": 0.5
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [
+          "main@main.cu -> runService@main.cu",
+          "main@main.cu -> runValidation@main.cu",
+          "UserService::createUser@service.cu -> validateEmail@validators.cu",
+          "UserService::createUser@service.cu -> validateName@validators.cu"
+        ],
+        "falseNegativeEdges": [
+          "runService@main.cu -> UserService.createUser@service.cu",
+          "runService@main.cu -> UserService.getUser@service.cu",
+          "runService@main.cu -> UserService.removeUser@service.cu",
+          "UserService.createUser@service.cu -> validateEmail@validators.cu",
+          "UserService.createUser@service.cu -> validateName@validators.cu",
+          "UserService.createUser@service.cu -> UserRepository.save@service.cu",
+          "UserService.getUser@service.cu -> UserRepository.findById@service.cu",
+          "UserService.removeUser@service.cu -> UserRepository.deleteById@service.cu"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "dart": {
+        "precision": 0,
+        "recall": 0,
+        "truePositives": 0,
+        "falsePositives": 0,
+        "falseNegatives": 18,
+        "totalResolved": 0,
+        "totalExpected": 18,
+        "byMode": {
+          "static": {
+            "expected": 4,
+            "resolved": 0,
+            "recall": 0
+          },
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "main@main.dart -> UserRepository@repository.dart",
+          "main@main.dart -> UserService@service.dart",
+          "main@main.dart -> validateEmail@validators.dart",
+          "main@main.dart -> UserService.createUser@service.dart",
+          "main@main.dart -> UserService.getUser@service.dart",
+          "main@main.dart -> UserService.removeUser@service.dart",
+          "main@main.dart -> UserService.summary@service.dart",
+          "main@main.dart -> Order@models.dart",
+          "main@main.dart -> validateAmount@validators.dart",
+          "UserService.createUser@service.dart -> validateName@validators.dart",
+          "UserService.createUser@service.dart -> validateEmail@validators.dart",
+          "UserService.createUser@service.dart -> User@models.dart",
+          "UserService.createUser@service.dart -> UserRepository.save@repository.dart",
+          "UserService.getUser@service.dart -> UserRepository.findById@repository.dart",
+          "UserService.removeUser@service.dart -> UserRepository.delete@repository.dart",
+          "UserService.summary@service.dart -> UserRepository.count@repository.dart",
+          "validateName@validators.dart -> isNotEmpty@validators.dart",
+          "validateEmail@validators.dart -> isNotEmpty@validators.dart"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "elixir": {
+        "precision": 1,
+        "recall": 0.8095238095238095,
+        "truePositives": 17,
+        "falsePositives": 0,
+        "falseNegatives": 4,
+        "totalResolved": 17,
+        "totalExpected": 21,
+        "byMode": {
+          "same-file": {
+            "expected": 4,
+            "resolved": 0,
+            "recall": 0
+          },
+          "module-function": {
+            "expected": 17,
+            "resolved": 17,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "Validators.validate_user@validators.ex -> Validators.valid_name?@validators.ex",
+          "Validators.validate_user@validators.ex -> Validators.valid_email?@validators.ex",
+          "UserService.display_user@service.ex -> UserService.get_user@service.ex",
+          "UserService.display_user@service.ex -> UserService.format_user@service.ex"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "erlang": {
+        "precision": 0,
+        "recall": 0,
+        "truePositives": 0,
+        "falsePositives": 0,
+        "falseNegatives": 12,
+        "totalResolved": 0,
+        "totalExpected": 12,
+        "byMode": {
+          "module-function": {
+            "expected": 10,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "run@main.erl -> init@repository.erl",
+          "run@main.erl -> create_user@service.erl",
+          "run@main.erl -> get_user@service.erl",
+          "run@main.erl -> remove_user@service.erl",
+          "run@main.erl -> list_all@repository.erl",
+          "create_user@service.erl -> validate_user_input@validators.erl",
+          "create_user@service.erl -> save@repository.erl",
+          "get_user@service.erl -> find_by_id@repository.erl",
+          "remove_user@service.erl -> find_by_id@repository.erl",
+          "remove_user@service.erl -> delete@repository.erl",
+          "validate_user_input@validators.erl -> validate_name@validators.erl",
+          "validate_user_input@validators.erl -> validate_email@validators.erl"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "fsharp": {
+        "precision": 0,
+        "recall": 0,
+        "truePositives": 0,
+        "falsePositives": 11,
+        "falseNegatives": 12,
+        "totalResolved": 11,
+        "totalExpected": 12,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 1,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [
+          "Main.main@Main.fs -> Service.createUser@Service.fs",
+          "Main.main@Main.fs -> Service.getUser@Service.fs",
+          "Main.main@Main.fs -> Service.summary@Service.fs",
+          "Main.main@Main.fs -> Service.removeUser@Service.fs",
+          "Service.validateUser@Service.fs -> Validators.validateName@Validators.fs",
+          "Service.validateUser@Service.fs -> Validators.validateEmail@Validators.fs",
+          "Service.validateUser@Service.fs -> Validators.validateAge@Validators.fs",
+          "Service.createUser@Service.fs -> Repository.save@Repository.fs",
+          "Service.getUser@Service.fs -> Repository.findById@Repository.fs",
+          "Service.removeUser@Service.fs -> Repository.delete@Repository.fs",
+          "Service.summary@Service.fs -> Repository.count@Repository.fs"
+        ],
+        "falseNegativeEdges": [
+          "main@Main.fs -> createUser@Service.fs",
+          "main@Main.fs -> getUser@Service.fs",
+          "main@Main.fs -> removeUser@Service.fs",
+          "main@Main.fs -> summary@Service.fs",
+          "validateUser@Service.fs -> validateName@Validators.fs",
+          "validateUser@Service.fs -> validateEmail@Validators.fs",
+          "validateUser@Service.fs -> validateAge@Validators.fs",
+          "createUser@Service.fs -> validateUser@Service.fs",
+          "createUser@Service.fs -> save@Repository.fs",
+          "getUser@Service.fs -> findById@Repository.fs",
+          "removeUser@Service.fs -> delete@Repository.fs",
+          "summary@Service.fs -> count@Repository.fs"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "gleam": {
+        "precision": 1,
+        "recall": 0.26666666666666666,
+        "truePositives": 4,
+        "falsePositives": 0,
+        "falseNegatives": 11,
+        "totalResolved": 4,
+        "totalExpected": 15,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "main@main.gleam -> new_repo@repository.gleam",
+          "main@main.gleam -> create_user@service.gleam",
+          "main@main.gleam -> get_user@service.gleam",
+          "main@main.gleam -> remove_user@service.gleam",
+          "main@main.gleam -> summary@service.gleam",
+          "create_user@service.gleam -> validate_name@validators.gleam",
+          "create_user@service.gleam -> validate_email@validators.gleam",
+          "create_user@service.gleam -> save@repository.gleam",
+          "get_user@service.gleam -> find_by_id@repository.gleam",
+          "remove_user@service.gleam -> delete@repository.gleam",
+          "summary@service.gleam -> count@repository.gleam"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "go": {
+        "precision": 1,
+        "recall": 0.6923076923076923,
+        "truePositives": 9,
+        "falsePositives": 0,
+        "falseNegatives": 4,
+        "totalResolved": 9,
+        "totalExpected": 13,
+        "byMode": {
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 4,
+            "recall": 0.5
+          },
+          "package-function": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "UserService.CreateUser@service.go -> UserRepository.Save@repository.go",
+          "UserService.GetUser@service.go -> UserRepository.FindByID@repository.go",
+          "UserService.RemoveUser@service.go -> UserRepository.Delete@repository.go",
+          "UserService.Summary@service.go -> UserRepository.Count@repository.go"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "main",
+              "source_file": "proc.go",
+              "target_name": "main",
+              "target_file": "main.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "NewUserRepository",
+              "target_file": "repository.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "NewUserService",
+              "target_file": "service.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "UserService.CreateUser",
+              "target_file": "service.go"
+            },
+            {
+              "source_name": "UserService.CreateUser",
+              "source_file": "service.go",
+              "target_name": "ValidateUser",
+              "target_file": "validator.go"
+            },
+            {
+              "source_name": "ValidateUser",
+              "source_file": "validator.go",
+              "target_name": "validateName",
+              "target_file": "validator.go"
+            },
+            {
+              "source_name": "ValidateUser",
+              "source_file": "validator.go",
+              "target_name": "validateEmail",
+              "target_file": "validator.go"
+            },
+            {
+              "source_name": "UserService.CreateUser",
+              "source_file": "service.go",
+              "target_name": "UserRepository.Save",
+              "target_file": "repository.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "UserService.GetUser",
+              "target_file": "service.go"
+            },
+            {
+              "source_name": "UserService.GetUser",
+              "source_file": "service.go",
+              "target_name": "UserRepository.FindByID",
+              "target_file": "repository.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "UserService.RemoveUser",
+              "target_file": "service.go"
+            },
+            {
+              "source_name": "UserService.RemoveUser",
+              "source_file": "service.go",
+              "target_name": "UserRepository.Delete",
+              "target_file": "repository.go"
+            },
+            {
+              "source_name": "main",
+              "source_file": "main.go",
+              "target_name": "UserService.Summary",
+              "target_file": "service.go"
+            },
+            {
+              "source_name": "UserService.Summary",
+              "source_file": "service.go",
+              "target_name": "UserRepository.Count",
+              "target_file": "repository.go"
+            }
+          ]
+        },
+        "dynamicEdges": 14,
+        "dynamicConfirmed": 13
+      },
+      "groovy": {
+        "precision": 1,
+        "recall": 0.07692307692307693,
+        "truePositives": 1,
+        "falsePositives": 0,
+        "falseNegatives": 12,
+        "totalResolved": 1,
+        "totalExpected": 13,
+        "byMode": {
+          "receiver-typed": {
+            "expected": 7,
+            "resolved": 0,
+            "recall": 0
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "Main.main@Main.groovy -> UserService.createUser@Service.groovy",
+          "Main.main@Main.groovy -> UserService.getUser@Service.groovy",
+          "Main.main@Main.groovy -> UserService.removeUser@Service.groovy",
+          "Main.main@Main.groovy -> Validators.validateUser@Validators.groovy",
+          "UserService.createUser@Service.groovy -> Validators.isValidEmail@Validators.groovy",
+          "UserService.createUser@Service.groovy -> Validators.isValidName@Validators.groovy",
+          "UserService.createUser@Service.groovy -> UserRepository.save@Repository.groovy",
+          "UserService.getUser@Service.groovy -> UserRepository.findById@Repository.groovy",
+          "UserService.removeUser@Service.groovy -> UserRepository.delete@Repository.groovy",
+          "UserService.summary@Service.groovy -> UserRepository.count@Repository.groovy",
+          "Validators.validateUser@Validators.groovy -> Validators.isValidName@Validators.groovy",
+          "Validators.validateUser@Validators.groovy -> Validators.isValidEmail@Validators.groovy"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "haskell": {
+        "precision": 1,
+        "recall": 0.3333333333333333,
+        "truePositives": 4,
+        "falsePositives": 0,
+        "falseNegatives": 8,
+        "totalResolved": 4,
+        "totalExpected": 12,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 3,
+            "recall": 0.2727272727272727
+          },
+          "same-file": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "main@Main.hs -> createUser@Service.hs",
+          "main@Main.hs -> getUser@Service.hs",
+          "main@Main.hs -> summary@Service.hs",
+          "main@Main.hs -> removeUser@Service.hs",
+          "createUser@Service.hs -> save@Repository.hs",
+          "getUser@Service.hs -> findById@Repository.hs",
+          "removeUser@Service.hs -> delete@Repository.hs",
+          "summary@Service.hs -> count@Repository.hs"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": []
+        }
+      },
+      "hcl": {
+        "precision": 0,
+        "recall": 0,
+        "truePositives": 0,
+        "falsePositives": 0,
+        "falseNegatives": 2,
+        "totalResolved": 0,
+        "totalExpected": 2,
+        "byMode": {
+          "static": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "module.user_service@main.tf -> module.repository@main.tf",
+          "module.user_service@main.tf -> module.validators@main.tf"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "java": {
+        "precision": 1,
+        "recall": 0.8,
+        "truePositives": 16,
+        "falsePositives": 0,
+        "falseNegatives": 4,
+        "totalResolved": 16,
+        "totalExpected": 20,
+        "byMode": {
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "class-inheritance": {
+            "expected": 3,
+            "resolved": 0,
+            "recall": 0
+          },
+          "interface-dispatched": {
+            "expected": 6,
+            "resolved": 6,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 4,
+            "resolved": 3,
+            "recall": 0.75
+          },
+          "static": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "UserService.getUser@UserService.java -> BaseService.log@BaseService.java",
+          "UserService.createUser@UserService.java -> Validator.validateUser@Validator.java",
+          "UserService.createUser@UserService.java -> BaseService.log@BaseService.java",
+          "UserService.removeUser@UserService.java -> BaseService.log@BaseService.java"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "javascript": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 42,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 42,
+        "totalExpected": 42,
+        "byMode": {
+          "static": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 9,
+            "resolved": 9,
+            "recall": 1
+          },
+          "same-file": {
+            "expected": 6,
+            "resolved": 6,
+            "recall": 1
+          },
+          "pts-define-property": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "pts-create-prototype": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "define-property": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          },
+          "points-to": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "dynamic": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "class-inheritance": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "defineProperty-accessor": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "main",
+              "target_file": "index.js"
+            },
+            {
+              "source_name": "main",
+              "source_file": "index.js",
+              "target_name": "buildService",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "buildService",
+              "source_file": "service.js",
+              "target_name": "UserService.constructor",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "UserService.constructor",
+              "source_file": "service.js",
+              "target_name": "Logger.constructor",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "main",
+              "source_file": "index.js",
+              "target_name": "UserService.createUser",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "UserService.createUser",
+              "source_file": "service.js",
+              "target_name": "normalize",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "normalize",
+              "source_file": "validators.js",
+              "target_name": "trimWhitespace",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "UserService.createUser",
+              "source_file": "service.js",
+              "target_name": "validate",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "validate",
+              "source_file": "validators.js",
+              "target_name": "checkLength",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "UserService.createUser",
+              "source_file": "service.js",
+              "target_name": "Logger.info",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "Logger.info",
+              "source_file": "logger.js",
+              "target_name": "Logger._write",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "main",
+              "source_file": "index.js",
+              "target_name": "validate",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "main",
+              "source_file": "index.js",
+              "target_name": "UserService.deleteUser",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "UserService.deleteUser",
+              "source_file": "service.js",
+              "target_name": "Logger.warn",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "Logger.warn",
+              "source_file": "logger.js",
+              "target_name": "Logger._write",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "directInstantiation",
+              "target_file": "index.js"
+            },
+            {
+              "source_name": "directInstantiation",
+              "source_file": "index.js",
+              "target_name": "UserService.constructor",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "directInstantiation",
+              "source_file": "index.js",
+              "target_name": "UserService.createUser",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "validate",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "normalize",
+              "target_file": "validators.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "Logger.constructor",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "Logger.info",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "Logger.warn",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "Logger.error",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "Logger.error",
+              "source_file": "logger.js",
+              "target_name": "Logger._write",
+              "target_file": "logger.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "buildService",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "UserService.createUser",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "UserService.deleteUser",
+              "target_file": "service.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "ClassA.constructor",
+              "target_file": "multi-class.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "ClassA.runA",
+              "target_file": "multi-class.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "ClassB.constructor",
+              "target_file": "multi-class.js"
+            },
+            {
+              "source_name": "__driver__",
+              "source_file": "driver.mjs",
+              "target_name": "ClassB.runB",
+              "target_file": "multi-class.js"
+            }
+          ]
+        },
+        "dynamicEdges": 32,
+        "dynamicConfirmed": 14
+      },
+      "julia": {
+        "precision": 1,
+        "recall": 0.7333333333333333,
+        "truePositives": 11,
+        "falsePositives": 0,
+        "falseNegatives": 4,
+        "totalResolved": 11,
+        "totalExpected": 15,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 11,
+            "recall": 1
+          },
+          "same-file": {
+            "expected": 4,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "Service.summary@service.jl -> Service.format_summary@service.jl",
+          "Validators.validate_name@validators.jl -> Validators.check_length@validators.jl",
+          "Validators.validate_email@validators.jl -> Validators.contains_at@validators.jl",
+          "Repository.count@repository.jl -> Repository.count_entries@repository.jl"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "kotlin": {
+        "precision": 0.9230769230769231,
+        "recall": 0.631578947368421,
+        "truePositives": 12,
+        "falsePositives": 1,
+        "falseNegatives": 7,
+        "totalResolved": 13,
+        "totalExpected": 19,
+        "byMode": {
+          "same-file": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "static": {
+            "expected": 7,
+            "resolved": 7,
+            "recall": 1
+          },
+          "class-inheritance": {
+            "expected": 1,
+            "resolved": 0,
+            "recall": 0
+          },
+          "receiver-typed": {
+            "expected": 6,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [
+          "UserService.createUser@Service.kt -> User@Repository.kt"
+        ],
+        "falseNegativeEdges": [
+          "UserRepository.saveIfValid@Repository.kt -> Repository.save@Repository.kt",
+          "UserService.createUser@Service.kt -> UserRepository.saveIfValid@Repository.kt",
+          "UserService.getUser@Service.kt -> Repository.findByName@Repository.kt",
+          "UserService.removeUser@Service.kt -> Repository.delete@Repository.kt",
+          "main@Main.kt -> UserService.createUser@Service.kt",
+          "main@Main.kt -> UserService.getUser@Service.kt",
+          "main@Main.kt -> UserService.removeUser@Service.kt"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": []
+        }
+      },
+      "lua": {
+        "precision": 1,
+        "recall": 0.15384615384615385,
+        "truePositives": 2,
+        "falsePositives": 0,
+        "falseNegatives": 11,
+        "totalResolved": 2,
+        "totalExpected": 13,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "main@main.lua -> M.validate_email@validators.lua",
+          "main@main.lua -> M.create_user@service.lua",
+          "main@main.lua -> M.get_user@service.lua",
+          "main@main.lua -> M.remove_user@service.lua",
+          "main@main.lua -> M.summary@service.lua",
+          "M.create_user@service.lua -> M.validate_name@validators.lua",
+          "M.create_user@service.lua -> M.validate_email@validators.lua",
+          "M.create_user@service.lua -> M.save@repository.lua",
+          "M.get_user@service.lua -> M.find_by_id@repository.lua",
+          "M.remove_user@service.lua -> M.delete@repository.lua",
+          "M.summary@service.lua -> M.count@repository.lua"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "objc": {
+        "precision": 1,
+        "recall": 0.46153846153846156,
+        "truePositives": 6,
+        "falsePositives": 0,
+        "falseNegatives": 7,
+        "totalResolved": 6,
+        "totalExpected": 13,
+        "byMode": {
+          "static": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 6,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "run@main.m -> UserService.initWithRepository:@Service.m",
+          "run@main.m -> UserService.createUserWithId:name:email:@Service.m",
+          "run@main.m -> UserService.getUserWithId:@Service.m",
+          "run@main.m -> UserService.removeUserWithId:@Service.m",
+          "UserService.createUserWithId:name:email:@Service.m -> UserRepository.saveWithId:name:@Repository.m",
+          "UserService.getUserWithId:@Service.m -> UserRepository.findById:@Repository.m",
+          "UserService.removeUserWithId:@Service.m -> UserRepository.deleteWithId:@Repository.m"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "ocaml": {
+        "precision": 1,
+        "recall": 0.08333333333333333,
+        "truePositives": 1,
+        "falsePositives": 0,
+        "falseNegatives": 11,
+        "totalResolved": 1,
+        "totalExpected": 12,
+        "byMode": {
+          "module-function": {
+            "expected": 11,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "validate_user@service.ml -> validate_name@validators.ml",
+          "validate_user@service.ml -> validate_email@validators.ml",
+          "validate_user@service.ml -> validate_age@validators.ml",
+          "create_user@service.ml -> save@repository.ml",
+          "get_user@service.ml -> find_by_id@repository.ml",
+          "remove_user@service.ml -> delete@repository.ml",
+          "summary@service.ml -> count@repository.ml",
+          "main@main.ml -> create_user@service.ml",
+          "main@main.ml -> get_user@service.ml",
+          "main@main.ml -> remove_user@service.ml",
+          "main@main.ml -> summary@service.ml"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "php": {
+        "precision": 1,
+        "recall": 0.5789473684210527,
+        "truePositives": 11,
+        "falsePositives": 0,
+        "falseNegatives": 8,
+        "totalResolved": 11,
+        "totalExpected": 19,
+        "byMode": {
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 0,
+            "recall": 0
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "UserService.getUser@Service.php -> UserRepository.findById@Repository.php",
+          "UserService.addUser@Service.php -> UserRepository.save@Repository.php",
+          "UserService.removeUser@Service.php -> UserRepository.findById@Repository.php",
+          "UserService.removeUser@Service.php -> UserRepository.delete@Repository.php",
+          "main@index.php -> UserService.addUser@Service.php",
+          "main@index.php -> UserService.getUser@Service.php",
+          "main@index.php -> UserService.removeUser@Service.php",
+          "runWithValidation@index.php -> UserService.addUser@Service.php"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": []
+        }
+      },
+      "pts-javascript": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 13,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 13,
+        "totalExpected": 13,
+        "byMode": {
+          "pts-for-of": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "pts-set": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "pts-array-from": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "pts-spread": {
+            "expected": 4,
+            "resolved": 4,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "python": {
+        "precision": 1,
+        "recall": 0.6,
+        "truePositives": 9,
+        "falsePositives": 0,
+        "falseNegatives": 6,
+        "totalResolved": 9,
+        "totalExpected": 15,
+        "byMode": {
+          "static": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 2,
+            "recall": 0.25
+          },
+          "same-file": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "run@main.py -> UserService.create_user@service.py",
+          "run@main.py -> UserService.get_user@service.py",
+          "run@main.py -> UserService.remove_user@service.py",
+          "UserService.create_user@service.py -> UserRepository.save@repository.py",
+          "UserService.get_user@service.py -> UserRepository.find_by_id@repository.py",
+          "UserService.remove_user@service.py -> UserRepository.delete@repository.py"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "build_service",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "build_service",
+              "source_file": "service.py",
+              "target_name": "create_repository",
+              "target_file": "repository.py"
+            },
+            {
+              "source_name": "create_repository",
+              "source_file": "repository.py",
+              "target_name": "UserRepository",
+              "target_file": "repository.py"
+            },
+            {
+              "source_name": "build_service",
+              "source_file": "service.py",
+              "target_name": "UserService",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "UserService.create_user",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "UserService.create_user",
+              "source_file": "service.py",
+              "target_name": "validate_email",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "UserService.create_user",
+              "source_file": "service.py",
+              "target_name": "User",
+              "target_file": "models.py"
+            },
+            {
+              "source_name": "UserService.create_user",
+              "source_file": "service.py",
+              "target_name": "User.validate",
+              "target_file": "models.py"
+            },
+            {
+              "source_name": "UserService.create_user",
+              "source_file": "service.py",
+              "target_name": "UserRepository.save",
+              "target_file": "repository.py"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "UserService.get_user",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "UserService.get_user",
+              "source_file": "service.py",
+              "target_name": "UserRepository.find_by_id",
+              "target_file": "repository.py"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "Order",
+              "target_file": "models.py"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "Order.validate",
+              "target_file": "models.py"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.py",
+              "target_name": "UserService.remove_user",
+              "target_file": "service.py"
+            },
+            {
+              "source_name": "UserService.remove_user",
+              "source_file": "service.py",
+              "target_name": "UserRepository.delete",
+              "target_file": "repository.py"
+            }
+          ]
+        },
+        "dynamicEdges": 15,
+        "dynamicConfirmed": 15
+      },
+      "r": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 11,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 11,
+        "totalExpected": 11,
+        "byMode": {
+          "static": {
+            "expected": 9,
+            "resolved": 9,
+            "recall": 1
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "ruby": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 11,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 11,
+        "totalExpected": 11,
+        "byMode": {
+          "same-file": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          },
+          "static": {
+            "expected": 9,
+            "resolved": 9,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "run",
+              "source_file": "main.rb",
+              "target_name": "create_user",
+              "target_file": "service.rb"
+            },
+            {
+              "source_name": "create_user",
+              "source_file": "service.rb",
+              "target_name": "validate_user",
+              "target_file": "validators.rb"
+            },
+            {
+              "source_name": "validate_user",
+              "source_file": "validators.rb",
+              "target_name": "valid_name?",
+              "target_file": "validators.rb"
+            },
+            {
+              "source_name": "validate_user",
+              "source_file": "validators.rb",
+              "target_name": "valid_email?",
+              "target_file": "validators.rb"
+            },
+            {
+              "source_name": "create_user",
+              "source_file": "service.rb",
+              "target_name": "repo_save",
+              "target_file": "repository.rb"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.rb",
+              "target_name": "find_user",
+              "target_file": "service.rb"
+            },
+            {
+              "source_name": "find_user",
+              "source_file": "service.rb",
+              "target_name": "repo_find_by_id",
+              "target_file": "repository.rb"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.rb",
+              "target_name": "find_user_by_email",
+              "target_file": "service.rb"
+            },
+            {
+              "source_name": "find_user_by_email",
+              "source_file": "service.rb",
+              "target_name": "repo_find_by_email",
+              "target_file": "repository.rb"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.rb",
+              "target_name": "remove_user",
+              "target_file": "service.rb"
+            },
+            {
+              "source_name": "remove_user",
+              "source_file": "service.rb",
+              "target_name": "repo_delete",
+              "target_file": "repository.rb"
+            }
+          ]
+        },
+        "dynamicEdges": 11,
+        "dynamicConfirmed": 11
+      },
+      "rust": {
+        "precision": 1,
+        "recall": 0.6428571428571429,
+        "truePositives": 9,
+        "falsePositives": 0,
+        "falseNegatives": 5,
+        "totalResolved": 9,
+        "totalExpected": 14,
+        "byMode": {
+          "same-file": {
+            "expected": 6,
+            "resolved": 6,
+            "recall": 1
+          },
+          "trait-dispatch": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          },
+          "receiver-typed": {
+            "expected": 3,
+            "resolved": 0,
+            "recall": 0
+          },
+          "module-function": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "validate_all@validator.rs -> EmailValidator.validate@validator.rs",
+          "validate_all@validator.rs -> NameValidator.validate@validator.rs",
+          "UserService.get_user@service.rs -> UserRepository.find_by_id@repository.rs",
+          "UserService.add_user@service.rs -> UserRepository.save@repository.rs",
+          "UserService.remove_user@service.rs -> UserRepository.delete@repository.rs"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "scala": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 7,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 7,
+        "totalExpected": 7,
+        "byMode": {
+          "same-file": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          },
+          "static": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "solidity": {
+        "precision": 0.3333333333333333,
+        "recall": 0.07692307692307693,
+        "truePositives": 1,
+        "falsePositives": 2,
+        "falseNegatives": 12,
+        "totalResolved": 3,
+        "totalExpected": 13,
+        "byMode": {
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 0,
+            "recall": 0
+          },
+          "static": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [
+          "Validators.validateUserInput@Validators.sol -> validateName@Validators.sol",
+          "Validators.validateUserInput@Validators.sol -> validateEmail@Validators.sol"
+        ],
+        "falseNegativeEdges": [
+          "Main.constructor@Main.sol -> UserRepository@Repository.sol",
+          "Main.constructor@Main.sol -> UserService@Service.sol",
+          "Main.run@Main.sol -> UserService.createUser@Service.sol",
+          "Main.run@Main.sol -> UserService.getUser@Service.sol",
+          "Main.run@Main.sol -> UserService.removeUser@Service.sol",
+          "Main.run@Main.sol -> UserRepository.count@Repository.sol",
+          "UserService.createUser@Service.sol -> UserRepository.save@Repository.sol",
+          "UserService.getUser@Service.sol -> UserRepository.findById@Repository.sol",
+          "UserService.removeUser@Service.sol -> UserRepository.findById@Repository.sol",
+          "UserService.removeUser@Service.sol -> UserRepository.remove@Repository.sol",
+          "Validators.validateUserInput@Validators.sol -> Validators.validateName@Validators.sol",
+          "Validators.validateUserInput@Validators.sol -> Validators.validateEmail@Validators.sol"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "swift": {
+        "precision": 0.75,
+        "recall": 0.42857142857142855,
+        "truePositives": 6,
+        "falsePositives": 2,
+        "falseNegatives": 8,
+        "totalResolved": 8,
+        "totalExpected": 14,
+        "byMode": {
+          "same-file": {
+            "expected": 1,
+            "resolved": 1,
+            "recall": 1
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 2,
+            "recall": 0.6666666666666666
+          },
+          "receiver-typed": {
+            "expected": 7,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [
+          "UserService.createUser@Service.swift -> User@Repository.swift",
+          "directRepoAccess@main.swift -> User@Repository.swift"
+        ],
+        "falseNegativeEdges": [
+          "UserService.createUser@Service.swift -> validateUser@Validators.swift",
+          "UserService.createUser@Service.swift -> UserRepository.save@Repository.swift",
+          "UserService.getUser@Service.swift -> UserRepository.findById@Repository.swift",
+          "UserService.removeUser@Service.swift -> UserRepository.delete@Repository.swift",
+          "run@main.swift -> UserService.createUser@Service.swift",
+          "run@main.swift -> UserService.getUser@Service.swift",
+          "run@main.swift -> UserService.removeUser@Service.swift",
+          "directRepoAccess@main.swift -> UserRepository.save@Repository.swift"
+        ],
+        "tracer": {
+          "status": "ok",
+          "edges": [
+            {
+              "source_name": "run",
+              "source_file": "main.swift",
+              "target_name": "createService",
+              "target_file": "Service.swift"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.swift",
+              "target_name": "UserService.createUser",
+              "target_file": "Service.swift"
+            },
+            {
+              "source_name": "UserService.createUser",
+              "source_file": "Service.swift",
+              "target_name": "validateUser",
+              "target_file": "Validators.swift"
+            },
+            {
+              "source_name": "validateUser",
+              "source_file": "Validators.swift",
+              "target_name": "validateEmail",
+              "target_file": "Validators.swift"
+            },
+            {
+              "source_name": "UserService.createUser",
+              "source_file": "Service.swift",
+              "target_name": "UserRepository.save",
+              "target_file": "Repository.swift"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.swift",
+              "target_name": "UserService.getUser",
+              "target_file": "Service.swift"
+            },
+            {
+              "source_name": "UserService.getUser",
+              "source_file": "Service.swift",
+              "target_name": "UserRepository.findById",
+              "target_file": "Repository.swift"
+            },
+            {
+              "source_name": "run",
+              "source_file": "main.swift",
+              "target_name": "UserService.removeUser",
+              "target_file": "Service.swift"
+            },
+            {
+              "source_name": "UserService.removeUser",
+              "source_file": "Service.swift",
+              "target_name": "UserRepository.delete",
+              "target_file": "Repository.swift"
+            }
+          ]
+        },
+        "dynamicEdges": 9,
+        "dynamicConfirmed": 9
+      },
+      "tsx": {
+        "precision": 1,
+        "recall": 1,
+        "truePositives": 13,
+        "falsePositives": 0,
+        "falseNegatives": 0,
+        "totalResolved": 13,
+        "totalExpected": 13,
+        "byMode": {
+          "same-file": {
+            "expected": 5,
+            "resolved": 5,
+            "recall": 1
+          },
+          "static": {
+            "expected": 8,
+            "resolved": 8,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "typescript": {
+        "precision": 0.9591836734693877,
+        "recall": 1,
+        "truePositives": 47,
+        "falsePositives": 2,
+        "falseNegatives": 0,
+        "totalResolved": 49,
+        "totalExpected": 47,
+        "byMode": {
+          "same-file": {
+            "expected": 5,
+            "resolved": 5,
+            "recall": 1
+          },
+          "interface-dispatched": {
+            "expected": 8,
+            "resolved": 8,
+            "recall": 1
+          },
+          "static": {
+            "expected": 3,
+            "resolved": 3,
+            "recall": 1
+          },
+          "receiver-typed": {
+            "expected": 10,
+            "resolved": 10,
+            "recall": 1
+          },
+          "class-inheritance": {
+            "expected": 5,
+            "resolved": 5,
+            "recall": 1
+          },
+          "callback": {
+            "expected": 7,
+            "resolved": 7,
+            "recall": 1
+          },
+          "re-export": {
+            "expected": 2,
+            "resolved": 2,
+            "recall": 1
+          }
+        },
+        "falsePositiveEdges": [
+          "UserService.getUser@service.ts -> Serializer.serialize@types.ts",
+          "UserService.addUser@service.ts -> Serializer.deserialize@types.ts"
+        ],
+        "falseNegativeEdges": [],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "verilog": {
+        "precision": 0,
+        "recall": 0,
+        "truePositives": 0,
+        "falsePositives": 0,
+        "falseNegatives": 4,
+        "totalResolved": 0,
+        "totalExpected": 4,
+        "byMode": {
+          "static": {
+            "expected": 3,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 1,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [],
+        "falseNegativeEdges": [
+          "main@main.v -> validators@validators.v",
+          "main@main.v -> service@service.v",
+          "service@service.v -> repository@repository.v",
+          "validators@validators.v -> validators.check_range@validators.v"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      },
+      "zig": {
+        "precision": 0.6666666666666666,
+        "recall": 0.13333333333333333,
+        "truePositives": 2,
+        "falsePositives": 1,
+        "falseNegatives": 13,
+        "totalResolved": 3,
+        "totalExpected": 15,
+        "byMode": {
+          "module-function": {
+            "expected": 5,
+            "resolved": 2,
+            "recall": 0.4
+          },
+          "receiver-typed": {
+            "expected": 8,
+            "resolved": 0,
+            "recall": 0
+          },
+          "same-file": {
+            "expected": 2,
+            "resolved": 0,
+            "recall": 0
+          }
+        },
+        "falsePositiveEdges": [
+          "main@main.zig -> allocator@main.zig"
+        ],
+        "falseNegativeEdges": [
+          "main@main.zig -> validateEmail@validators.zig",
+          "main@main.zig -> UserService.createUser@service.zig",
+          "main@main.zig -> UserService.getUser@service.zig",
+          "main@main.zig -> UserService.removeUser@service.zig",
+          "main@main.zig -> UserService.summary@service.zig",
+          "UserService.createUser@service.zig -> validateName@validators.zig",
+          "UserService.createUser@service.zig -> validateEmail@validators.zig",
+          "UserService.createUser@service.zig -> UserRepository.save@repository.zig",
+          "UserService.getUser@service.zig -> UserRepository.findById@repository.zig",
+          "UserService.removeUser@service.zig -> UserRepository.delete@repository.zig",
+          "UserService.summary@service.zig -> UserRepository.count@repository.zig",
+          "validateName@validators.zig -> isNotEmpty@validators.zig",
+          "validateEmail@validators.zig -> isNotEmpty@validators.zig"
+        ],
+        "tracer": {
+          "status": "skipped",
+          "edges": []
+        }
+      }
+    }
+  },
   {
     "version": "3.12.0",
     "date": "2026-06-11",
diff --git a/generated/benchmarks/INCREMENTAL-BENCHMARKS.md b/generated/benchmarks/INCREMENTAL-BENCHMARKS.md
index 974f880e..6f684829 100644
--- a/generated/benchmarks/INCREMENTAL-BENCHMARKS.md
+++ b/generated/benchmarks/INCREMENTAL-BENCHMARKS.md
@@ -6,6 +6,8 @@ Import resolution: native batch vs JS fallback throughput.
 
 | Version | Engine | Files | Full Build | No-op | 1-File | Resolve (native) | Resolve (JS) |
 |---------|--------|------:|-----------:|------:|-------:|------------------:|-------------:|
+| 3.13.0 | native | 695 | 3.0s ↑7% | 25ms ↑9% | 108ms ↓6% | 6ms ↑11% | 10ms ↑16% |
+| 3.13.0 | wasm | 695 | 14.2s ↑23% | 24ms ↑9% | 73ms ↑7% | 6ms ↑11% | 10ms ↑16% |
 | 3.12.0 | native | 670 | 2.8s ↑26% | 23ms ↑21% | 115ms ↑39% | 5ms ↓7% | 9ms ↓17% |
 | 3.12.0 | wasm | 670 | 11.5s ↑22% | 22ms ↑16% | 68ms ↑15% | 5ms ↓7% | 9ms ↓17% |
 | 3.11.2 | native | 628 | 2.2s ~ | 19ms ↑6% | 83ms ↑4% | 6ms ↓3% | 10ms ↑3% |
@@ -67,34 +69,81 @@ Import resolution: native batch vs JS fallback throughput.
 
 ### Latest results
 
-**Version:** 3.12.0 | **Files:** 670 | **Date:** 2026-06-11
+**Version:** 3.13.0 | **Files:** 695 | **Date:** 2026-06-17
 
 #### Native (Rust)
 
 | Metric | Value |
 |--------|------:|
-| Full build | 2.8s |
-| No-op rebuild | 23ms |
-| 1-file rebuild | 115ms |
+| Full build | 3.0s |
+| No-op rebuild | 25ms |
+| 1-file rebuild | 108ms |
+
+<details><summary>1-file rebuild phase breakdown (native)</summary>
+
+| Phase | Time |
+|-------|-----:|
+| setup | 3ms |
+| collect | 7ms |
+| detect | 3ms |
+| parse | 0ms |
+| insert | 0ms |
+| resolve | 0ms |
+| edges | 6ms |
+| structure | 5ms |
+| roles | 28ms |
+| gap detect + backfill | 18ms |
+| CHA expansion | 6ms |
+| this/super dispatch | 3ms |
+| role reclassify | 0ms |
+| technique backfill | 0ms |
+| ast | 0ms |
+| complexity | 0ms |
+| cfg | 0ms |
+| dataflow | 0ms |
+| finalize | 1ms |
+
+</details>
 
 #### WASM
 
 | Metric | Value |
 |--------|------:|
-| Full build | 11.5s |
-| No-op rebuild | 22ms |
-| 1-file rebuild | 68ms |
+| Full build | 14.2s |
+| No-op rebuild | 24ms |
+| 1-file rebuild | 73ms |
+
+<details><summary>1-file rebuild phase breakdown (wasm)</summary>
+
+| Phase | Time |
+|-------|-----:|
+| setup | 5ms |
+| collect | 14ms |
+| detect | 9ms |
+| parse | 2ms |
+| insert | 0ms |
+| resolve | 0ms |
+| edges | 9ms |
+| structure | 3ms |
+| roles | 25ms |
+| ast | 1ms |
+| complexity | 1ms |
+| cfg | 0ms |
+| dataflow | 1ms |
+| finalize | 0ms |
+
+</details>
 
 #### Import Resolution
 
 | Metric | Value |
 |--------|------:|
-| Import pairs | 1027 |
-| Native batch | 5ms |
-| JS fallback | 9ms |
+| Import pairs | 1036 |
+| Native batch | 6ms |
+| JS fallback | 10ms |
 | Per-import (native) | 0ms |
 | Per-import (JS) | 0ms |
-| Speedup ratio | 1.6x |
+| Speedup ratio | 1.7x |
 
 <!-- NOTES_START -->
 **Note (3.9.5):** No build/rebuild metrics for this release (both engines null) — only import resolution data was collected. Both the WASM and native workers reached the 1-file rebuild phase and then hung past the benchmark's 10-minute per-engine timeout (see `scripts/lib/fork-engine.ts`), so each was killed (`SIGKILL`) before returning results. Import resolution is unaffected because it runs in the parent process and doesn't depend on the full build. 3.9.5 is consequently absent from the top-level version-history comparison table since there are no build-time figures to compare against prior releases. The workflow run is [here](https://github.com/optave/ops-codegraph-tool/actions/runs/24863501577); the root cause will be investigated and the numbers backfilled in a follow-up if possible.
@@ -102,6 +151,65 @@ Import resolution: native batch vs JS fallback throughput.
 
 <!-- INCREMENTAL_BENCHMARK_DATA
 [
+  {
+    "version": "3.13.0",
+    "date": "2026-06-17",
+    "files": 695,
+    "wasm": {
+      "fullBuildMs": 14214,
+      "noopRebuildMs": 24,
+      "oneFileRebuildMs": 73,
+      "oneFilePhases": {
+        "setupMs": 5.2,
+        "collectMs": 14.3,
+        "detectMs": 8.7,
+        "parseMs": 1.6,
+        "insertMs": 0.3,
+        "resolveMs": 0.4,
+        "edgesMs": 9,
+        "structureMs": 3.4,
+        "rolesMs": 24.7,
+        "astMs": 0.6,
+        "complexityMs": 0.8,
+        "cfgMs": 0.4,
+        "dataflowMs": 0.5,
+        "finalizeMs": 0.4
+      }
+    },
+    "native": {
+      "fullBuildMs": 3012,
+      "noopRebuildMs": 25,
+      "oneFileRebuildMs": 108,
+      "oneFilePhases": {
+        "setupMs": 3.3,
+        "collectMs": 7.2,
+        "detectMs": 3,
+        "parseMs": 0.4,
+        "insertMs": 0.3,
+        "resolveMs": 0.4,
+        "edgesMs": 5.7,
+        "structureMs": 5.2,
+        "rolesMs": 28,
+        "gapDetectMs": 17.7,
+        "chaMs": 6.2,
+        "thisDispatchMs": 2.6,
+        "reclassifyMs": 0,
+        "techniqueBackfillMs": 0.2,
+        "astMs": 0.2,
+        "complexityMs": 0,
+        "cfgMs": 0,
+        "dataflowMs": 0,
+        "finalizeMs": 0.6
+      }
+    },
+    "resolve": {
+      "imports": 1036,
+      "nativeBatchMs": 6,
+      "jsFallbackMs": 10,
+      "perImportNativeMs": 0,
+      "perImportJsMs": 0
+    }
+  },
   {
     "version": "3.12.0",
     "date": "2026-06-11",
diff --git a/generated/benchmarks/QUERY-BENCHMARKS.md b/generated/benchmarks/QUERY-BENCHMARKS.md
index 9c6bddc4..09973ee2 100644
--- a/generated/benchmarks/QUERY-BENCHMARKS.md
+++ b/generated/benchmarks/QUERY-BENCHMARKS.md
@@ -5,6 +5,8 @@ Latencies are median over 5 runs. Hub target = most-connected node.
 
 | Version | Engine | fnDeps d1 | fnDeps d3 | fnDeps d5 | fnImpact d1 | fnImpact d3 | fnImpact d5 | diffImpact |
 |---------|--------|----------:|----------:|----------:|------------:|------------:|------------:|-----------:|
+| 3.13.0 | native | 41 ↑8% | 41.3 ↑10% | 41.3 ↑10% | 6 ~ | 6.3 ~ | 6.1 ↓8% | 9ms ↓24% |
+| 3.13.0 | wasm | 56.2 ↑18% | 56.7 ↑16% | 56.4 ↑15% | 5.6 ~ | 5.6 ~ | 5.6 ~ | 9.7ms ↓13% |
 | 3.12.0 | native | 37.8 ↑11% | 37.7 ↑12% | 37.6 ↑11% | 5.9 ↑11% | 6.3 ↑15% | 6.6 ↑20% | 11.9ms ↑24% |
 | 3.12.0 | wasm | 47.8 ↑10% | 48.8 ↑11% | 48.9 ↑11% | 5.5 ↑8% | 5.5 ↑4% | 5.6 ~ | 11.2ms ↑13% |
 | 3.11.2 | native | 34 ~ | 33.7 ↓3% | 33.9 ↓2% | 5.3 ~ | 5.5 ~ | 5.5 ~ | 9.6ms ↑10% |
@@ -63,37 +65,37 @@ Latencies are median over 5 runs. Hub target = most-connected node.
 
 ### Latest results
 
-**Version:** 3.12.0 | **Date:** 2026-06-11
+**Version:** 3.13.0 | **Date:** 2026-06-17
 
 #### Native (Rust)
 
-**Targets:** hub=`buildGraph`, mid=`callerName`, leaf=`docs`
+**Targets:** hub=`buildGraph`, mid=`db`, leaf=`docs`
 
 | Metric | Value |
 |--------|------:|
-| fnDeps depth 1 | 37.8ms |
-| fnDeps depth 3 | 37.7ms |
-| fnDeps depth 5 | 37.6ms |
-| fnImpact depth 1 | 5.9ms |
+| fnDeps depth 1 | 41ms |
+| fnDeps depth 3 | 41.3ms |
+| fnDeps depth 5 | 41.3ms |
+| fnImpact depth 1 | 6ms |
 | fnImpact depth 3 | 6.3ms |
-| fnImpact depth 5 | 6.6ms |
-| diffImpact latency | 11.9ms |
+| fnImpact depth 5 | 6.1ms |
+| diffImpact latency | 9ms |
 | diffImpact affected functions | 0 |
 | diffImpact affected files | 0 |
 
 #### WASM
 
-**Targets:** hub=`buildGraph`, mid=`callerName`, leaf=`docs`
+**Targets:** hub=`buildGraph`, mid=`db`, leaf=`docs`
 
 | Metric | Value |
 |--------|------:|
-| fnDeps depth 1 | 47.8ms |
-| fnDeps depth 3 | 48.8ms |
-| fnDeps depth 5 | 48.9ms |
-| fnImpact depth 1 | 5.5ms |
-| fnImpact depth 3 | 5.5ms |
+| fnDeps depth 1 | 56.2ms |
+| fnDeps depth 3 | 56.7ms |
+| fnDeps depth 5 | 56.4ms |
+| fnImpact depth 1 | 5.6ms |
+| fnImpact depth 3 | 5.6ms |
 | fnImpact depth 5 | 5.6ms |
-| diffImpact latency | 11.2ms |
+| diffImpact latency | 9.7ms |
 | diffImpact affected functions | 0 |
 | diffImpact affected files | 0 |
 
@@ -116,6 +118,54 @@ Latencies are median over 5 runs. Hub target = most-connected node.
 
 <!-- QUERY_BENCHMARK_DATA
 [
+  {
+    "version": "3.13.0",
+    "date": "2026-06-17",
+    "wasm": {
+      "targets": {
+        "hub": "buildGraph",
+        "mid": "db",
+        "leaf": "docs"
+      },
+      "fnDeps": {
+        "depth1Ms": 56.2,
+        "depth3Ms": 56.7,
+        "depth5Ms": 56.4
+      },
+      "fnImpact": {
+        "depth1Ms": 5.6,
+        "depth3Ms": 5.6,
+        "depth5Ms": 5.6
+      },
+      "diffImpact": {
+        "latencyMs": 9.7,
+        "affectedFunctions": 0,
+        "affectedFiles": 0
+      }
+    },
+    "native": {
+      "targets": {
+        "hub": "buildGraph",
+        "mid": "db",
+        "leaf": "docs"
+      },
+      "fnDeps": {
+        "depth1Ms": 41,
+        "depth3Ms": 41.3,
+        "depth5Ms": 41.3
+      },
+      "fnImpact": {
+        "depth1Ms": 6,
+        "depth3Ms": 6.3,
+        "depth5Ms": 6.1
+      },
+      "diffImpact": {
+        "latencyMs": 9,
+        "affectedFunctions": 0,
+        "affectedFiles": 0
+      }
+    }
+  },
   {
     "version": "3.12.0",
     "date": "2026-06-11",