Build DB path for a project: <cache_dir>/<project>.db */

INV(lsp-strategy): some CALLS edge carries `strategy` (e.g. "lsp_virtual_dispatch") * in its properties_json. Used by the per-LSP-pass invariants. */

Check if a node type is a string literal */

Format int to string for logging. Thread-safe via TLS. */

Iterative method lookup with a single depth bound on the combined * alias-then-super-chain walk. We never recurse — a class's alias chain * is follo

Write a 4-byte big-endian value

Resolve a type-annotation text into a CBMType. Tries: scope lookup * (for imports / type aliases), module-qualified lookup in the registry, * then f

Read entire file into malloc'd buffer. Sets *out_len. Returns NULL on error. */

Read entire file into malloc'd buffer. Returns NULL on error. */

Resolve a Rust *path expression* (e.g. `Foo::bar` or `crate::x::y`) * into a canonical QN. The resolver cascades through these rules, * matching wha

Create a temporary directory. Returns static buffer with path. * Pattern: prefix is used as part of the dirname. */

Get the QN string from a type (for member lookup)

verify_project_indexed — returns a heap-allocated error JSON string when the * named project has not been indexed yet, or NULL when the project exist

Write string to file, creating parent dirs if needed. */

Extract sub-package from QN: project.dir1.dir2.sym → dir1 (4+ parts → [2], else [1]) */

Convert a Rust path with `::` separators into our internal QN form using * `.` separators. Always allocates a fresh string. */

Walk up from `name` past any leading '<' or whitespace. */

Generic: find multiple edges by a filter. */

Find a line starting with a prefix in source. Returns pointer to first char * after prefix, or NULL. Handles leading whitespace. */

Get "name" field from a node

Fallback: extract import path from full node text, stripping keyword and semicolon.

Return the raw source text for a scalar node (plain, single-quoted, or double-quoted). Surrounding quote characters are stripped for quoted forms. Han

INV(no-resolvable-edge): NO CALLS edge targets a node whose QN contains * `callee_substr`. This is the ACCURATE invariant for a call to a callee that

Check if candidate's module prefix appears in import map values. * Uses stack buffer to avoid malloc/free per call in hot resolution loop. * Per-fil

Append a CBMResolvedCall to the output array. */

Find the first descendant matching kind, depth-first, capped at max_depth. */

Write each fixture file into a fresh temp project, index it via the MCP * production flow (discover -> extract -> registry -> resolve -> dump), and o

Extract a literal channel name from an argument node. Returns NULL if the * argument is not a plain string literal (caller can then try identifier

Depth-guarded entry: member lookup recurses through wrapper classes, union * members and registered-type expansion; cyclic type graphs in real-world

Returns the type of a tree-sitter PHP expression node. * Coverage: * - variable_name ($x): scope lookup ($this special-ca

PHP qualified names use "." in the graph (project.path.module.class[.method]). * Convert "App\\Models\\User" to "App.Models.User" so we can compose w

Depth-guarded entry for the AST call-resolution walk. The walk recurses once * per nesting level; a deeply-nested or cyclic file can overflow the nat

Memoizing, depth- and budget-guarded wrapper — the function every call * site in this file goes through. */

Depth-guarded entry for the AST call-resolution walk. The walk recurses once * per nesting level; a deeply-nested or cyclic file can overflow the nat

Try known field names (path/source/module/name) to extract import path.

Bind a text parameter and increment the bind index. */

Find an edge variable in a binding */

Returns the cache directory. Writes to buf, returns buf for convenience. */