Struct ResolvedCommons 

pub struct ResolvedCommons {
    pub commons: Commons,
    pub types: HashMap<String, Arc<TypeDecl>>,
    pub fns: HashMap<String, Arc<FnDecl>>,
    pub methods: HashMap<String, MethodTable>,
    pub cross_context: CrossContextInfo,
    pub agents: HashMap<String, AgentDecl>,
    pub imported_from: HashMap<String, String>,
    pub is_context: bool,
    /* private fields */
}

Output of resolution: the AST plus the symbol tables the checker needs.

Fields

commons: Commons

types: HashMap<String, Arc<TypeDecl>>

Finding #10/#51: Arc-wrapped (not owned) so cloning this map — done once per synthetic per-handler ResolvedCommons during emission — is a pointer bump, not a deep copy of every declaration body in the unit.

fns: HashMap<String, Arc<FnDecl>>

Finding #10/#51: Arc-wrapped for the same reason as types.

methods: HashMap<String, MethodTable>

Per-type method tables (instance + static).

cross_context: CrossContextInfo

Cross-context call information for v0.6. None for commons and for single-file mode. For contexts, supplies the set of consumed contexts and any aliases introduced via consumes ... as Alias.

agents: HashMap<String, AgentDecl>

Agents declared in this context. Used to recognise the Agent(key) construction shape and the agent_instance.handler(args) method-call shape in handler bodies that mention other agents.

imported_from: HashMap<String, String>

v0.91 (ADR 0116 D6): for each imported function name, the qualified unit it came from (map → bynk.list). Lets the checker flag deprecated first-party free functions at their call sites. Empty in single-file mode and in synthetic handler-validation resolveds.

is_context: bool

True iff this unit is a context (as opposed to a commons, adapter, or test/integration scaffold). bynk-check has no dependency on bynk-emit’s UnitKind, so callers set this directly from their own unit-kind knowledge. Used to gate the context-rebrand construction check (#907): only a context’s emission rebrands a uses-sourced commons sum type’s variant constructors out of value scope.

Implementations

impl ResolvedCommons

pub fn is_local_type(&self, name: &str) -> bool

Returns true if name is a type declared in the current commons (rather than imported via uses). Local types alone may reach into their opaque representation (.raw) or call .unsafe(value).

pub fn is_local_event(&self, name: &str) -> bool

Events track, slice 0: is name a declared event in this commons — not merely any local type?

pub fn is_uses_commons_type(&self, name: &str) -> bool

Is name in scope via uses of a commons specifically? See uses_commons_type_names’s field doc for the exact predicate.

pub fn new( commons: Commons, types: HashMap<String, Arc<TypeDecl>>, local_types: &HashMap<String, Arc<TypeDecl>>, fns: HashMap<String, Arc<FnDecl>>, methods: HashMap<String, MethodTable>, agents: HashMap<String, AgentDecl>, local_events: &HashMap<String, EventDecl>, cross_context: CrossContextInfo, imported_from: HashMap<String, String>, is_context: bool, uses_commons_type_names: HashSet<String>, ) -> Self

Build a ResolvedCommons from a merged (local + uses/consumes) symbol table, deriving local_type_names/event_type_names from local_types/local_events — the pre-merge tables — rather than from types/agents (already merged). This is the one thing every hand-rolled construction outside this crate got a chance to disagree on: the pre-merge/merged distinction is exactly what backs .raw/.unsafe()/owner-only-event-emission gating, and reusing the merged table there silently widens all three to any consumed/used type or event (found during the events track, slice 0, spine #936).