Gate for the unique-`Class.method`-tail fallbacks below. Tail-matching by * leaf is safe where class-per-file package semantics hold — the JVM * lan

Tail helper: return the start of the final two dot-separated segments * ("Class.method") or NULL when the QN is too short. */

PowerShell single-quoted words are literal; an apostrophe is represented by * two apostrophes. This prevents $env expansion and command substitution.

Collect a project-wide CBMLSPDef[] from all cached results. Returns a * malloc'd array (caller frees) of length *out_count. String fields are * borr

── Tier 2: pre-built per-language registry (mirrors Go pilot) ── */

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

Generic: find multiple edges by a filter. */

Verilog/SystemVerilog: find the first descendant node of the given kind in pre-order (depth-bounded). The (System)Verilog grammar has FIELD_COUNT 0, s

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

Install MCP config + optional instructions for a generic agent. */

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

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

Return last segment after final '.'. */

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

Count exact-name nodes without depending on project-prefixed qualified names. * Export-XML relationship tests use this as an anti-vacuous guard: the

Is this a bareword / package-name node (e.g. a bare class name `Foo::Bar`)? */

Resolve a method on a package, searching the package's own subs first, then * walking parents (@ISA) depth-first. Returns the resolved sub's * CBMRe

Strip a leading sigil ($ @ % & *) from a Perl variable's text. Returns a * pointer into the same string (no copy). */

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

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

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

The unified walk already owns the exact cursor path to the current node. * Reset one reusable scratch cursor to that path before each occurrence * c

Inject a synthetic CBMCall into result->calls so the downstream pipeline * (cbm_pipeline_find_lsp_resolution) can pair it with the resolved_call and

qn-prefix = qualified_name minus its last '.'-segment. Returns length. */

Resolve a CBMType against the registry's alias chain when it's a NAMED type that's a pure alias (`type Foo = Bar`). Also evaluates inline conditional