Xantham
Resolve Module
Tier 2 - Resolve: the type table. Breadth-first from the harvested exports' types, batched per generation frontier through the mailbox, memoized on `TypeResponse.Id`. The tier's invariant is closure: every type id a `TypeFacts` refers to is in the table or recorded in `NotFollowed` with its reason.
Functions and values
| Function or value |
Description
|
|
The tier's pass list, in execution order.
|
|
The type ids each export resolves to: the declared type for type-like symbols, the value type for value-like ones, both for symbols that are both (a class). The responses land in the table shallow; `resolveTypeTable` derives them.
|
|
Builds the closed type table: derive the current frontier (sorted by id, so the fold is deterministic whatever order answers arrive in), collect what derivation discovered, and recurse until the frontier is exhausted or the depth cutoff records the remainder.
|