resolve
Given a map node ID or file:line:col, returns the authoritative live file:line:col and symbol chain, with a flag if the map location is stale.
Instructions
The bridge between the static map and the live language server — call it whenever you switch layers. Given a map nodeId, returns the verified current file:line:col plus live symbol info, with mapStale:true if the indexed location has drifted (the live location is authoritative). Given a file:line:col, returns the enclosing symbol chain and the matching map nodeId (inMap:false with the nearest container if the map hasn't caught up). Use before nav_* calls that need exact positions, and after nav_* results to re-enter the map graph.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| col | No | ||
| file | No | Repo-relative path (use with line/col instead of nodeId) | |
| line | No | ||
| nodeId | No | Map node ID, e.g. "py:src/auth/session.py#SessionStore.refresh" or "ts:src/index.ts" (file node) | |
| tokenBudget | No | Max tokens for the response. Lists are truncated to fit, with a note saying what was dropped and how to get it back. |