@grafema/mcp 0.3.23 → 0.3.27

package/README.md

@@ -1,134 +1,147 @@
 # @grafema/mcp
 
-> MCP server for Grafema code analysis toolkit
+> Model Context Protocol server exposing the Grafema code graph to AI
+> agents (Claude, Cursor, Copilot, Continue, …).
 
-**Warning: This package is in beta stage and the API may change between minor versions.**
+Once wired up, your agent can ask **structural** questions about your
+codebase that grep can't answer: "where is the CLASS named UserService",
+"who calls this function", "where does this value flow next". The agent
+gets back semantic IDs and graph neighborhoods, not text matches.
+
+---
 
 ## Installation
 
 ```bash
-npm install @grafema/mcp
+npm install --save-dev @grafema/mcp
 ```
 
-## Overview
-
-Model Context Protocol (MCP) server that exposes Grafema's code analysis capabilities to AI assistants like Claude. Enables AI agents to query code graphs, trace data flow, and check invariants — without reading source code.
+`@grafema/cli` is required as a peer (it builds the graph the MCP server
+queries).
 
-## Quick Start
+---
 
-### Claude Code configuration
+## Quick start
 
-Add to your project's `.mcp.json`:
+### Claude Code
 
-```json
+```jsonc
+// ~/.claude.json or project .claude.json
 {
   "mcpServers": {
     "grafema": {
       "command": "npx",
-      "args": ["@grafema/mcp", "--project", "."]
+      "args": ["-y", "@grafema/mcp"]
     }
   }
 }
 ```
 
-The RFDB graph database server is auto-started on first query. No manual setup needed.
-
-### Claude Desktop configuration
+### Claude Desktop
 
-Add to `~/.config/claude/claude_desktop_config.json`:
-
-```json
+```jsonc
+// ~/Library/Application Support/Claude/claude_desktop_config.json
 {
   "mcpServers": {
     "grafema": {
       "command": "npx",
-      "args": ["@grafema/mcp", "--project", "/path/to/project"]
+      "args": ["-y", "@grafema/mcp"]
     }
   }
 }
 ```
 
-## Available Tools (24)
-
-### Graph Queries
-| Tool | Description |
-|------|-------------|
-| `query_graph` | Execute Datalog queries on the code graph |
-| `find_nodes` | Find nodes by type, name, or file |
-| `find_calls` | Find all calls to a function or method |
-| `get_stats` | Get graph statistics (node/edge counts by type) |
-| `get_schema` | Get available node and edge types |
-
-### Navigation
-| Tool | Description |
-|------|-------------|
-| `get_function_details` | Comprehensive function details (calls, calledBy, parameters) |
-| `get_file_overview` | Structured overview of all entities in a file |
-| `get_context` | Deep context for a node (source code + graph neighborhood) |
-| `find_guards` | Find conditional guards protecting a node |
-| `read_project_structure` | Directory structure of the project |
-
-### Data Flow
-| Tool | Description |
-|------|-------------|
-| `trace_alias` | Trace alias chains to the original source |
-| `trace_dataflow` | Trace data flow from/to a variable or expression |
-
-### Analysis
-| Tool | Description |
-|------|-------------|
-| `analyze_project` | Run full or incremental analysis |
-| `get_analysis_status` | Current analysis status and progress |
-| `get_coverage` | Analysis coverage for a path |
-| `discover_services` | Discover services without full analysis |
-
-### Guarantees
-| Tool | Description |
-|------|-------------|
-| `check_invariant` | Check a code invariant via Datalog rule |
-| `create_guarantee` | Create a Datalog-based or contract-based guarantee |
-| `list_guarantees` | List all defined guarantees |
-| `check_guarantees` | Run all or specific guarantees |
-| `delete_guarantee` | Delete a guarantee by name |
-
-### Utilities
-| Tool | Description |
-|------|-------------|
-| `get_documentation` | Documentation about Grafema usage |
-| `report_issue` | Report a bug to GitHub (requires GITHUB_TOKEN) |
-| `write_config` | Write or update .grafema/config.yaml |
-
-## Example Queries
+After restart, the agent gains 44 tools grouped into:
+
+- **Graph queries** — find_nodes, find_calls, get_neighbors, query_graph, query_graphql, get_stats, get_schema
+- **Navigation** — get_context, get_file_overview, get_function_details, find_guards, read_project_structure
+- **Data flow** — trace_alias, trace_dataflow, trace_calls, trace_effects, traverse_graph
+- **Analysis** — analyze_project, get_analysis_status, get_coverage, discover_services, get_shape
+- **Knowledge base** — add_knowledge, query_knowledge, query_decisions, get_knowledge_stats, supersede_fact
+- **Git history** — git_archaeology, git_churn, git_cochange, git_ownership
+- **Guarantees** — check_invariant, check_guarantees, create_guarantee, list_guarantees, delete_guarantee
+- **Cross-modality** — find_shared_behaviors
+- **Utilities** — get_documentation, report_issue, write_config, query_registry, describe, explain
+
+---
+
+## Common agent workflows
+
+### "Where is this defined?"
+```
+find_nodes(name="UserService", type="CLASS")
+  → returns semantic ID
+get_context(nodeId="…")
+  → source snippet + neighborhood
+```
+
+### "Who calls this function?"
+```
+find_calls(name="handleRequest")
+  → file:line for every resolved caller
+```
+
+### "Where does data come from / go?"
+```
+trace_dataflow(source="userInput", file="src/api.ts", direction="forward")
+trace_dataflow(source="response",  file="src/api.ts", direction="backward")
+```
+
+### "What's in this file?"
+```
+get_file_overview(file="packages/cli/src/cli.ts")
+  → all exports / classes / functions / constants
+```
 
+### "What architectural rules apply here?"
 ```
-// Find all database queries
-query_graph("node(X, 'db:query')")
+list_guarantees()
+check_guarantees(category="dataflow")
+```
+
+---
+
+## All tools
 
-// Trace where user input flows
-trace_dataflow({ from: "req.body", file: "api/users.js" })
+The full per-tool catalogue with input schemas, descriptions, examples,
+and "when to use" guidance lives in **[docs/mcp-reference.md](../../docs/mcp-reference.md)**.
 
-// Check for eval usage
-check_invariant("violation(X) :- node(X, 'CALL'), attr(X, 'name', 'eval')")
+Regenerated from the live graph on each release:
+
+```bash
+grafema export --feature 'mcp:tool' --as docs-md   --output docs/mcp-reference.md
+grafema export --feature 'mcp:tool' --as mcp-schema --output docs/mcp-schema.json
 ```
 
+`mcp-schema` is the canonical JSON-RPC tools array — directly servable
+by any MCP runtime.
+
+---
+
 ## Configuration
 
-### GitHub Token (for bug reporting)
+### GitHub token (for `report_issue`)
 
-```json
-{
-  "mcpServers": {
-    "grafema": {
-      "command": "npx",
-      "args": ["@grafema/mcp", "--project", "."],
-      "env": {
-        "GITHUB_TOKEN": "ghp_your_token_here"
-      }
-    }
-  }
-}
+Set `GITHUB_TOKEN` to a PAT with `issues:write` on the target repo for
+`report_issue` to file bugs from inside the agent.
+
+```bash
+export GITHUB_TOKEN=ghp_…
 ```
 
-## License
+### Project root
+
+The MCP server reads from `.grafema/rfdb.sock` in the current working
+directory. Run `grafema analyze` first to populate the graph.
+
+---
+
+## Notes
 
-Apache-2.0
+- Tool count stays in sync with code — no hand-maintained lists.
+  Add a new MCP tool definition under `packages/mcp/src/definitions/`
+  and it appears in the next reference regen.
+- 4 setRequestHandler entry points (`CallToolRequestSchema`, etc.) are
+  protocol plumbing, not user-facing tools — they don't appear in the
+  reference.
+- For CLI usage, see [@grafema/cli](../cli/README.md).

package/dist/definitions/query-tools.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"query-tools.d.ts","sourceRoot":"","sources":["../../src/definitions/query-tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGjD,eAAO,MAAM,WAAW,EAAE,cAAc,EA0VvC,CAAC"}
+{"version":3,"file":"query-tools.d.ts","sourceRoot":"","sources":["../../src/definitions/query-tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGjD,eAAO,MAAM,WAAW,EAAE,cAAc,EAiavC,CAAC"}

package/dist/definitions/query-tools.js

@@ -249,6 +249,44 @@ Returns: Indented call tree showing each hop with file:line location.`,
             required: ['source'],
         },
     },
+    {
+        name: 'trace_effects',
+        description: `Trace transitive side effects of a function through its call graph.
+
+For any function, traverses CALLS edges (DFS) and collects effects from leaf nodes
+using the effects-db (Node.js builtins, npm packages).
+
+Use this when you need to:
+- "What side effects does this function have?" → direct + transitive effects
+- "Does this handler do IO?" → trace shows IO:FILE:READ from fs.readFileSync at depth 3
+- "Where does the fetch() call come from?" → leaf_sources shows the origin at depth N
+- "What crosses module boundaries?" → boundary_crossings shows file-to-file effect flow
+
+Effect types: PURE, MUTATION, IO (with subtypes like IO:FILE:READ, IO:HTTP:REQUEST),
+THROW, ASYNC, NONDETERMINISTIC, UNKNOWN.
+
+UNKNOWN means: unresolved call, external package not in effects-db, or depth limit reached.
+
+Returns: direct effects, transitive effects, boundary crossings, leaf sources.`,
+        inputSchema: {
+            type: 'object',
+            properties: {
+                node: {
+                    type: 'string',
+                    description: 'Function/method name or semantic ID',
+                },
+                file: {
+                    type: 'string',
+                    description: 'File path to disambiguate (optional)',
+                },
+                max_depth: {
+                    type: 'number',
+                    description: 'Maximum call graph traversal depth (default: 10)',
+                },
+            },
+            required: ['node'],
+        },
+    },
     {
         name: 'get_shape',
         description: `Get the shape (methods + properties) of a CLASS, INTERFACE, or typed variable.
@@ -348,5 +386,38 @@ Returns: List of nodes violating the rule, with file and line info.`,
             required: ['rule'],
         },
     },
+    {
+        name: 'find_shared_behaviors',
+        description: `List clusters of FEATUREs whose entry-points share an identical BEHAVIOR (same forward-slice hash).
+
+Surfaces cross-modality duplication — e.g. "this CLI command is a thin wrapper around the
+same library function as that HTTP endpoint" or "this MCP tool and that VS Code command
+delegate to identical logic".
+
+Each cluster contains:
+  - hash:           sha256 of the shared transitive call set (BEHAVIOR.metadata.hash)
+  - effects:        transitive effects (IO, MUTATION, …) attributed to the shared behavior
+  - coreNodeCount:  size of the shared forward slice
+  - features:       array of { id, type, name, file } — the FEATUREs that share this behavior
+
+Cluster types are FEATURE node types: cli:command, mcp:tool, vscode:command (and any future
+domain types created by enrichers).
+
+Returns clusters ordered by size (largest first), then hash (deterministic tie-break).
+Empty result means every FEATURE has a unique implementation.`,
+        inputSchema: {
+            type: 'object',
+            properties: {
+                minClusterSize: {
+                    type: 'number',
+                    description: 'Minimum FEATUREs per cluster (default: 2). Values below 2 are clamped to 2.',
+                },
+                limit: {
+                    type: 'number',
+                    description: 'Maximum clusters to return (default: 100).',
+                },
+            },
+        },
+    },
 ];
 //# sourceMappingURL=query-tools.js.map

package/dist/definitions/query-tools.js.map

@@ -1 +1 @@
-{"version":3,"file":"query-tools.js","sourceRoot":"","sources":["../../src/definitions/query-tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,CAAC,MAAM,WAAW,GAAqB;IAC3C;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;0JA2ByI;QACtJ,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,gGAAgG;iBAC9G;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,iDAAiD;oBAC9D,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;iBAC5B;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC,aAAa,UAAU,SAAS,GAAG;iBACpF;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,kDAAkD;iBAChE;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,0DAA0D;iBACxE;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,uFAAuF;iBACrG;aACF;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE;;;;;;;qGAOoF;QACjG,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2CAA2C;iBACzD;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,uCAAuC;iBACrD;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,UAAU,SAAS,GAAG;iBAC1E;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE;;;;;;;;;;8NAU6M;QAC1N,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4DAA4D;iBAC1E;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mBAAmB;iBACjC;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mBAAmB;iBACjC;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,UAAU,SAAS,GAAG;iBAC1E;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;0CAEyB;QACtC,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wBAAwB;iBACtC;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yCAAyC;iBACvD;aACF;YACD,QAAQ,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC;SACnC;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE;;;;;;;;;;;;;;;;;;iDAkBgC;QAC7C,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,WAAW;iBACzB;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,+CAA+C;oBAC5D,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC;iBACtC;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,GAAG;iBACvD;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,8FAA8F;oBAC3G,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC;iBACpC;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;;;;;;;;;;sEAWqD;QAClE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mDAAmD;iBACjE;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mEAAmE;oBAChF,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC;iBACtC;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE;;;;;;;;;;yEAUwD;QACrE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,qDAAqD;iBACnE;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;;;;;;;;;;;;;qFAaoE;QACjF,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,6CAA6C;iBAC3D;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2BAA2B;iBACzC;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wIAAwI;iBACtJ;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE;;;;;;;;;;oEAUmD;QAChE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4BAA4B;iBAC1C;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4BAA4B,aAAa,GAAG;iBAC1D;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;CACF,CAAC"}
+{"version":3,"file":"query-tools.js","sourceRoot":"","sources":["../../src/definitions/query-tools.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,CAAC,MAAM,WAAW,GAAqB;IAC3C;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;0JA2ByI;QACtJ,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,gGAAgG;iBAC9G;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,iDAAiD;oBAC9D,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;iBAC5B;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC,aAAa,UAAU,SAAS,GAAG;iBACpF;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,kDAAkD;iBAChE;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,0DAA0D;iBACxE;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,uFAAuF;iBACrG;aACF;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE;;;;;;;qGAOoF;QACjG,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2CAA2C;iBACzD;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,uCAAuC;iBACrD;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,UAAU,SAAS,GAAG;iBAC1E;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,YAAY;QAClB,WAAW,EAAE;;;;;;;;;;8NAU6M;QAC1N,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4DAA4D;iBAC1E;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mBAAmB;iBACjC;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mBAAmB;iBACjC;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,UAAU,SAAS,GAAG;iBAC1E;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;0CAEyB;QACtC,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wBAAwB;iBACtC;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yCAAyC;iBACvD;aACF;YACD,QAAQ,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC;SACnC;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE;;;;;;;;;;;;;;;;;;iDAkBgC;QAC7C,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,WAAW;iBACzB;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,+CAA+C;oBAC5D,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC;iBACtC;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB,aAAa,GAAG;iBACvD;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,8FAA8F;oBAC3G,IAAI,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC;iBACpC;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE;;;;;;;;;;;sEAWqD;QAClE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mDAAmD;iBACjE;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mEAAmE;oBAChF,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC;iBACtC;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE;;;;;;;;;;;;;;;;+EAgB8D;QAC3E,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,qCAAqC;iBACnD;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,kDAAkD;iBAChE;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE;;;;;;;;;;yEAUwD;QACrE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,qDAAqD;iBACnE;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE;;;;;;;;;;;;;qFAaoE;QACjF,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,6CAA6C;iBAC3D;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2BAA2B;iBACzC;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wIAAwI;iBACtJ;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE;;;;;;;;;;oEAUmD;QAChE,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mCAAmC;iBACjD;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4BAA4B;iBAC1C;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4BAA4B,aAAa,GAAG;iBAC1D;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,WAAW,EAAE;;;;;;;;;;;;;;;;8DAgB6C;QAC1D,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,cAAc,EAAE;oBACd,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,6EAA6E;iBAC3F;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4CAA4C;iBAC1D;aACF;SACF;KACF;CACF,CAAC"}

package/dist/handlers/analysis-handlers.d.ts

@@ -2,6 +2,7 @@
  * MCP Analysis Handlers
  */
 import type { ToolResult, AnalyzeProjectArgs, GetSchemaArgs } from '../types.js';
+export declare function handleDiscoverServices(): Promise<ToolResult>;
 export declare function handleAnalyzeProject(args: AnalyzeProjectArgs): Promise<ToolResult>;
 export declare function handleGetAnalysisStatus(): Promise<ToolResult>;
 export declare function handleGetStats(): Promise<ToolResult>;

package/dist/handlers/analysis-handlers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/analysis-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,aAAa,EACd,MAAM,aAAa,CAAC;AAKrB,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6BxF;AAED,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,CAYnE;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAmD1D;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAwB9E"}
+{"version":3,"file":"analysis-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/analysis-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,aAAa,EACd,MAAM,aAAa,CAAC;AAKrB,wBAAsB,sBAAsB,IAAI,OAAO,CAAC,UAAU,CAAC,CAGlE;AAED,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CA6BxF;AAED,wBAAsB,uBAAuB,IAAI,OAAO,CAAC,UAAU,CAAC,CAYnE;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,UAAU,CAAC,CAmD1D;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAwB9E"}

package/dist/handlers/analysis-handlers.js

@@ -1,10 +1,14 @@
 /**
  * MCP Analysis Handlers
  */
-import { ensureAnalyzed } from '../analysis.js';
+import { ensureAnalyzed, discoverServices } from '../analysis.js';
 import { getAnalysisStatus, isAnalysisRunning } from '../state.js';
 import { textResult, errorResult, } from '../utils.js';
 // === ANALYSIS HANDLERS ===
+export async function handleDiscoverServices() {
+    const services = await discoverServices();
+    return textResult(`Found ${services.length} service(s):\n${JSON.stringify(services, null, 2)}`);
+}
 export async function handleAnalyzeProject(args) {
     const { service, force } = args;
     // Early check: return error for force=true if analysis is already running

package/dist/handlers/analysis-handlers.js.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-handlers.js","sourceRoot":"","sources":["../../src/handlers/analysis-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EACL,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAQrB,4BAA4B;AAE5B,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAwB;IACjE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAEhC,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,KAAK,IAAI,iBAAiB,EAAE,EAAE,CAAC;QACjC,OAAO,WAAW,CAChB,6DAA6D;YAC3D,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IAED,oFAAoF;IACpF,gFAAgF;IAEhF,IAAI,CAAC;QACH,MAAM,cAAc,CAAC,OAAO,IAAI,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAEnC,OAAO,UAAU,CACf,sBAAsB;YACpB,0BAA0B,MAAM,CAAC,kBAAkB,IAAI;YACvD,wBAAwB,MAAM,CAAC,gBAAgB,IAAI;YACnD,iBAAiB,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,GAAG,CACpD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB;IAC3C,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IAEnC,OAAO,UAAU,CACf,oBAAoB;QAClB,cAAc,MAAM,CAAC,OAAO,IAAI;QAChC,YAAY,MAAM,CAAC,KAAK,IAAI,KAAK,IAAI;QACrC,cAAc,MAAM,CAAC,OAAO,IAAI,KAAK,IAAI;QACzC,0BAA0B,MAAM,CAAC,kBAAkB,IAAI;QACvD,wBAAwB,MAAM,CAAC,gBAAgB,IAAI;QACnD,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc;IAClC,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAElC,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAEhD,IAAI,YAAY,GAAG,EAAE,CAAC;IACtB,IAAI,gBAAgB,IAAI,EAAE,IAAI,OAAQ,EAA8B,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;QACnG,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAO,EAAiD,CAAC,cAAc,EAAE,CAAC;YACxF,IAAI,KAAK,CAAC,gBAAgB,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvC,YAAY,GAAG,wBAAwB,KAAK,CAAC,gBAAgB,CAAC,MAAM,aAAa,CAAC;gBAClF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;oBACvC,MAAM,KAAK,GAAG;wBACZ,SAAS,CAAC,CAAC,SAAS,EAAE;wBACtB,SAAS,CAAC,CAAC,SAAS,EAAE;wBACtB,MAAM,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,gBAAgB,EAAE;wBAChD,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,QAAQ;qBACvI,CAAC;oBACF,IAAI,CAAC,CAAC,kBAAkB,GAAG,CAAC,IAAI,CAAC,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;wBACzD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC;oBAC7E,CAAC;oBACD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC5G,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC/C,CAAC;oBACD,YAAY,IAAI,WAAW,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChE,CAAC;gBACD,YAAY,IAAI,oBAAoB,KAAK,CAAC,UAAU,cAAc,KAAK,CAAC,UAAU,YAAY,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YAClI,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;QAC3D,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GACd,SAAS,GAAG,CAAC;QACX,CAAC,CAAC,8EAA8E;QAChF,CAAC,CAAC,qEAAqE,CAAC;IAE5E,OAAO,UAAU,CACf,uBAAuB;QACrB,gBAAgB,SAAS,CAAC,cAAc,EAAE,IAAI;QAC9C,gBAAgB,SAAS,CAAC,cAAc,EAAE,MAAM;QAChD,mBAAmB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM;QAC7D,mBAAmB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;QACzD,YAAY;QACZ,UAAU,CACb,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAmB;IACvD,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,IAAI,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC;IAE9B,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAEhD,IAAI,MAAM,GAAG,EAAE,CAAC;IAEhB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,eAAe,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,MAAM,CAAC;QAC/D,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,iBAAiB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,MAAM,CAAC;QACjE,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}
+{"version":3,"file":"analysis-handlers.js","sourceRoot":"","sources":["../../src/handlers/analysis-handlers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EACL,UAAU,EACV,WAAW,GACZ,MAAM,aAAa,CAAC;AAQrB,4BAA4B;AAE5B,MAAM,CAAC,KAAK,UAAU,sBAAsB;IAC1C,MAAM,QAAQ,GAAG,MAAM,gBAAgB,EAAE,CAAC;IAC1C,OAAO,UAAU,CAAC,SAAS,QAAQ,CAAC,MAAM,iBAAiB,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAwB;IACjE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAEhC,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,KAAK,IAAI,iBAAiB,EAAE,EAAE,CAAC;QACjC,OAAO,WAAW,CAChB,6DAA6D;YAC3D,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IAED,oFAAoF;IACpF,gFAAgF;IAEhF,IAAI,CAAC;QACH,MAAM,cAAc,CAAC,OAAO,IAAI,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAEnC,OAAO,UAAU,CACf,sBAAsB;YACpB,0BAA0B,MAAM,CAAC,kBAAkB,IAAI;YACvD,wBAAwB,MAAM,CAAC,gBAAgB,IAAI;YACnD,iBAAiB,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,GAAG,CACpD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB;IAC3C,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IAEnC,OAAO,UAAU,CACf,oBAAoB;QAClB,cAAc,MAAM,CAAC,OAAO,IAAI;QAChC,YAAY,MAAM,CAAC,KAAK,IAAI,KAAK,IAAI;QACrC,cAAc,MAAM,CAAC,OAAO,IAAI,KAAK,IAAI;QACzC,0BAA0B,MAAM,CAAC,kBAAkB,IAAI;QACvD,wBAAwB,MAAM,CAAC,gBAAgB,IAAI;QACnD,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc;IAClC,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAElC,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAEhD,IAAI,YAAY,GAAG,EAAE,CAAC;IACtB,IAAI,gBAAgB,IAAI,EAAE,IAAI,OAAQ,EAA8B,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;QACnG,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAO,EAAiD,CAAC,cAAc,EAAE,CAAC;YACxF,IAAI,KAAK,CAAC,gBAAgB,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvC,YAAY,GAAG,wBAAwB,KAAK,CAAC,gBAAgB,CAAC,MAAM,aAAa,CAAC;gBAClF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;oBACvC,MAAM,KAAK,GAAG;wBACZ,SAAS,CAAC,CAAC,SAAS,EAAE;wBACtB,SAAS,CAAC,CAAC,SAAS,EAAE;wBACtB,MAAM,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,gBAAgB,EAAE;wBAChD,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,QAAQ;qBACvI,CAAC;oBACF,IAAI,CAAC,CAAC,kBAAkB,GAAG,CAAC,IAAI,CAAC,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;wBACzD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,GAAG,CAAC,CAAC;oBAC7E,CAAC;oBACD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC5G,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC/C,CAAC;oBACD,YAAY,IAAI,WAAW,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChE,CAAC;gBACD,YAAY,IAAI,oBAAoB,KAAK,CAAC,UAAU,cAAc,KAAK,CAAC,UAAU,YAAY,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YAClI,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;QAC3D,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GACd,SAAS,GAAG,CAAC;QACX,CAAC,CAAC,8EAA8E;QAChF,CAAC,CAAC,qEAAqE,CAAC;IAE5E,OAAO,UAAU,CACf,uBAAuB;QACrB,gBAAgB,SAAS,CAAC,cAAc,EAAE,IAAI;QAC9C,gBAAgB,SAAS,CAAC,cAAc,EAAE,MAAM;QAChD,mBAAmB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM;QAC7D,mBAAmB,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;QACzD,YAAY;QACZ,UAAU,CACb,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAmB;IACvD,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,IAAI,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC;IAE9B,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,gBAAgB,EAAE,CAAC;IAEhD,IAAI,MAAM,GAAG,EAAE,CAAC;IAEhB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,eAAe,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,MAAM,CAAC;QAC/D,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,iBAAiB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,MAAM,CAAC;QACjE,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}

package/dist/handlers/behavior-handlers.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Behavior handlers — surface cross-modality FEATURE duplication.
+ *
+ * `find_shared_behaviors` lists clusters of FEATUREs (cli:command, mcp:tool,
+ * vscode:command, …) whose entry-point forward-slice hashes match. Mirrors the
+ * `grafema features --duplicates` CLI subcommand — same algorithm, same
+ * cluster shape — so the two channels return symmetric data.
+ *
+ * REG-1119.
+ */
+import type { ToolResult, FindSharedBehaviorsArgs } from '../types.js';
+import type { EdgeType, EdgeRecord } from '@grafema/types';
+/**
+ * Minimal backend interface used by the logic function. Allows testing with
+ * a simple mock without importing the full GraphBackend. Matches the subset
+ * of RFDBServerBackend that we need.
+ */
+interface BehaviorBackendLike {
+    getNode(id: string): Promise<Record<string, unknown> | null>;
+    queryNodes(query: {
+        type?: string;
+        nodeType?: string;
+    }): AsyncIterable<Record<string, unknown>>;
+    getIncomingEdges(nodeId: string, edgeTypes?: EdgeType[] | null): Promise<EdgeRecord[]>;
+}
+export declare function findSharedBehaviorsLogic(db: BehaviorBackendLike, args: FindSharedBehaviorsArgs): Promise<ToolResult>;
+export declare function handleFindSharedBehaviors(args: FindSharedBehaviorsArgs): Promise<ToolResult>;
+export {};
+//# sourceMappingURL=behavior-handlers.d.ts.map

package/dist/handlers/behavior-handlers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/behavior-handlers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE3D;;;;GAIG;AACH,UAAU,mBAAmB;IAC3B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7D,UAAU,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAChG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;CACxF;AAsBD,wBAAsB,wBAAwB,CAC5C,EAAE,EAAE,mBAAmB,EACvB,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,UAAU,CAAC,CA6FrB;AAID,wBAAsB,yBAAyB,CAAC,IAAI,EAAE,uBAAuB,GAAG,OAAO,CAAC,UAAU,CAAC,CAGlG"}

package/dist/handlers/behavior-handlers.js

@@ -0,0 +1,127 @@
+/**
+ * Behavior handlers — surface cross-modality FEATURE duplication.
+ *
+ * `find_shared_behaviors` lists clusters of FEATUREs (cli:command, mcp:tool,
+ * vscode:command, …) whose entry-point forward-slice hashes match. Mirrors the
+ * `grafema features --duplicates` CLI subcommand — same algorithm, same
+ * cluster shape — so the two channels return symmetric data.
+ *
+ * REG-1119.
+ */
+import { ensureAnalyzed } from '../analysis.js';
+import { textResult, errorResult } from '../utils.js';
+const DEFAULT_MIN_CLUSTER_SIZE = 2;
+const DEFAULT_LIMIT = 100;
+const MAX_LIMIT = 10_000;
+// === Logic function (testable, accepts backend directly) ===
+export async function findSharedBehaviorsLogic(db, args) {
+    const { minClusterSize: rawMin, limit: rawLimit } = args ?? {};
+    if (rawMin !== undefined && (!Number.isFinite(rawMin) || rawMin < 0)) {
+        return errorResult('minClusterSize must be a non-negative number');
+    }
+    if (rawLimit !== undefined && (!Number.isFinite(rawLimit) || rawLimit <= 0)) {
+        return errorResult('limit must be a positive number');
+    }
+    if (rawLimit !== undefined && rawLimit > MAX_LIMIT) {
+        return errorResult(`limit must be <= ${MAX_LIMIT}`);
+    }
+    const minClusterSize = Math.max(2, rawMin ?? DEFAULT_MIN_CLUSTER_SIZE);
+    const limit = rawLimit ?? DEFAULT_LIMIT;
+    const behaviors = [];
+    for await (const node of db.queryNodes({ type: 'BEHAVIOR' })) {
+        const id = String(node.id ?? '');
+        if (!id)
+            continue;
+        const hash = readString(node.hash);
+        if (!hash)
+            continue;
+        behaviors.push({
+            id,
+            hash,
+            effects: readStringArray(node.effects),
+            coreNodeCount: readNumber(node.coreNodeCount) ?? 0,
+        });
+    }
+    // 2. Bucket by hash.
+    const byHash = new Map();
+    for (const b of behaviors) {
+        let bucket = byHash.get(b.hash);
+        if (!bucket) {
+            bucket = [];
+            byHash.set(b.hash, bucket);
+        }
+        bucket.push(b);
+    }
+    // 3. Resolve features (incoming IMPLEMENTED_BY) for clusters.
+    const clusters = [];
+    for (const [hash, bucket] of byHash) {
+        if (bucket.length < minClusterSize)
+            continue;
+        const features = [];
+        const seen = new Set();
+        for (const beh of bucket) {
+            const edges = await db.getIncomingEdges(beh.id, ['IMPLEMENTED_BY']);
+            for (const edge of edges) {
+                const featureId = String(edge.src);
+                if (!featureId || seen.has(featureId))
+                    continue;
+                seen.add(featureId);
+                const node = await db.getNode(featureId);
+                if (!node)
+                    continue;
+                features.push({
+                    id: featureId,
+                    type: readString(node.type) ?? 'UNKNOWN',
+                    name: readString(node.name) ?? '',
+                    file: readString(node.file) ?? '',
+                });
+            }
+        }
+        if (features.length < minClusterSize)
+            continue;
+        features.sort((a, b) => (a.type === b.type ? a.name.localeCompare(b.name) : a.type.localeCompare(b.type)));
+        clusters.push({
+            hash,
+            effects: bucket[0].effects,
+            coreNodeCount: bucket[0].coreNodeCount,
+            features,
+        });
+    }
+    clusters.sort((a, b) => (b.features.length - a.features.length) || a.hash.localeCompare(b.hash));
+    const truncated = clusters.length > limit;
+    const limited = clusters.slice(0, limit);
+    return textResult(JSON.stringify({
+        count: limited.length,
+        truncated,
+        minClusterSize,
+        clusters: limited,
+    }, null, 2));
+}
+// === Public handler (calls ensureAnalyzed, used by MCP routing) ===
+export async function handleFindSharedBehaviors(args) {
+    const db = await ensureAnalyzed();
+    return findSharedBehaviorsLogic(db, args);
+}
+// === Internal helpers ===
+function readString(v) {
+    return typeof v === 'string' ? v : undefined;
+}
+function readNumber(v) {
+    return typeof v === 'number' && Number.isFinite(v) ? v : undefined;
+}
+function readStringArray(v) {
+    if (Array.isArray(v))
+        return v.filter((x) => typeof x === 'string');
+    if (typeof v === 'string') {
+        try {
+            const parsed = JSON.parse(v);
+            if (Array.isArray(parsed))
+                return parsed.filter((x) => typeof x === 'string');
+        }
+        catch {
+            // not JSON
+        }
+    }
+    return [];
+}
+//# sourceMappingURL=behavior-handlers.js.map

package/dist/handlers/behavior-handlers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-handlers.js","sourceRoot":"","sources":["../../src/handlers/behavior-handlers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AA6BtD,MAAM,wBAAwB,GAAG,CAAC,CAAC;AACnC,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,SAAS,GAAG,MAAM,CAAC;AAEzB,8DAA8D;AAE9D,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,EAAuB,EACvB,IAA6B;IAE7B,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC;IAE/D,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,WAAW,CAAC,8CAA8C,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,WAAW,CAAC,iCAAiC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,SAAS,EAAE,CAAC;QACnD,OAAO,WAAW,CAAC,oBAAoB,SAAS,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,wBAAwB,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,QAAQ,IAAI,aAAa,CAAC;IASxC,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,SAAS,CAAC,IAAI,CAAC;YACb,EAAE;YACF,IAAI;YACJ,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;YACtC,aAAa,EAAE,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;SACnD,CAAC,CAAC;IACL,CAAC;IAED,qBAAqB;IACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,8DAA8D;IAC9D,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,GAAG,cAAc;YAAE,SAAS;QAE7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAe,CAAC,CAAC;YAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAChD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACpB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS;oBACxC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;oBACjC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,cAAc;YAAE,SAAS;QAE/C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3G,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI;YACJ,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO;YAC1B,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa;YACtC,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;IAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEzC,OAAO,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;QAC/B,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,SAAS;QACT,cAAc;QACd,QAAQ,EAAE,OAAO;KAClB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACf,CAAC;AAED,qEAAqE;AAErE,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,IAA6B;IAC3E,MAAM,EAAE,GAAG,MAAM,cAAc,EAAE,CAAC;IAClC,OAAO,wBAAwB,CAAC,EAAoC,EAAE,IAAI,CAAC,CAAC;AAC9E,CAAC;AAED,2BAA2B;AAE3B,SAAS,UAAU,CAAC,CAAU;IAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED,SAAS,UAAU,CAAC,CAAU;IAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,eAAe,CAAC,CAAU;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAC7F,CAAC;QAAC,MAAM,CAAC;YACP,WAAW;QACb,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/handlers/dataflow-handlers.d.ts

@@ -3,10 +3,10 @@
  *
  * Delegates BFS tracing to @grafema/util's shared traceDataflow module.
  */
-import type { ToolResult, TraceAliasArgs, TraceDataFlowArgs, TraceCallChainArgs, CheckInvariantArgs } from '../types.js';
+import type { ToolResult, TraceAliasArgs, TraceDataFlowArgs, TraceCallChainArgs, TraceEffectsArgs, CheckInvariantArgs } from '../types.js';
 export declare function handleTraceAlias(args: TraceAliasArgs): Promise<ToolResult>;
-export declare function handleTraceDataFlow(args: TraceDataFlowArgs): Promise<ToolResult>;
-export declare function handleTraceCallChain(args: TraceCallChainArgs): Promise<ToolResult>;
+export declare function handleTraceDataflow(args: TraceDataFlowArgs): Promise<ToolResult>;
+export declare function handleTraceCalls(args: TraceCallChainArgs): Promise<ToolResult>;
 export interface ExplainArgs {
     target: string;
     file?: string;
@@ -14,4 +14,5 @@ export interface ExplainArgs {
 }
 export declare function handleExplain(args: ExplainArgs): Promise<ToolResult>;
 export declare function handleCheckInvariant(args: CheckInvariantArgs): Promise<ToolResult>;
+export declare function handleTraceEffects(args: TraceEffectsArgs): Promise<ToolResult>;
 //# sourceMappingURL=dataflow-handlers.d.ts.map

package/dist/handlers/dataflow-handlers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dataflow-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/dataflow-handlers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAEnB,MAAM,aAAa,CAAC;AAWrB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAqEhF;AAID,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAoDtF;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CAiExF;AAID,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,wBAAsB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAmF1E;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CAmDxF"}
+{"version":3,"file":"dataflow-handlers.d.ts","sourceRoot":"","sources":["../../src/handlers/dataflow-handlers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAYH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAEnB,MAAM,aAAa,CAAC;AAarB,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAqEhF;AAID,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAoDtF;AAID,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CAiEpF;AAID,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,wBAAsB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAmF1E;AAID,wBAAsB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CAmDxF;AA8BD,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,CAyEpF"}