Skip to main content

Module resolve

Module resolve 

Source
Expand description

Unified graph resolver — the consumer wiring for the hybrid-modality stack (#22).

One entry point that composes the pieces built this session: it resolves an identifier’s modal KIND (via the open identifier-kind fabric, modal_kind) and its outgoing relations, over either a maintained QuinIndex (O(1) point lookups) or a raw quin slice (O(n) scan, zero index build — for ad-hoc resolution against the live daemon graph snapshot). Lexical VALUES are recovered separately through the lexicon (with the collision backstop). This is what daemon / MCP / query callers route through, so identifier resolution has a single, consistent path.

Structs§

Resolved
A resolved view of an identifier.

Functions§

related_in_slice
The object of a specific relation over a slice (zero-alloc scan).
resolve_in_index
Resolve over a maintained index — O(1) point lookups; preferred when an index exists (the per-cell cached path, task #22 step 3).
resolve_in_slice
Resolve over a raw quin slice — O(n) scan, no index build, no allocation. For ad-hoc single-identifier resolution against e.g. the daemon graph snapshot.