Module binding_resolution 

Bounded source-proved forwarding, resolved before canonical graph publication.

Modules

rust 🔒

Cargo-root and module ownership for Rust static bindings.

Structs

BindingQuery 🔒

A typed module/export/member request; canonical key witnesses remain opaque.

BindingResolver 🔒

One operation’s source/query caches and existing repository resolution registry.

BindingSource 🔒

One exact context source and precomputed bounded lookup indexes.

CallBindingResolution 🔒

One immutable call outcome, shared by identical source binding queries.

CauseWorkspace 🔒

A query-owned cause set whose unique key copies are reserved before insertion.

ModuleId 🔒

Canonical module value identity, valid only within one binding resolver.

ModuleInterner 🔒

Intern module values once per source allocation, retaining witnesses until drop.

ResolverScratch 🔒

Bytes temporarily reserved while constructing one retained resolver value.

Enums

SourceProjection 🔒

Existing staged projection or an extra context source’s admitted key projection.

Constants

MAX_FORWARDING_DEPTH 🔒

Maximum explicit forwarding steps; longer chains remain unresolved.

Functions

needs_forwarding 🔒

Preserve the ordinary declaration fast path, including already ambiguous targets.

relation_keys 🔒

Find an associated parser ordinal without assuming projection row ordinals are raw ordinals.

resolve_source_bindings 🔒

Resolve only calls whose ordinary exact declaration lookup lacks complete proof.

Type Aliases

CallBindings 🔒

Per-graph, per-occurrence forwarding outcomes.