typescript-alias-registry.ts

One emitted module offered to the pre-pass: the program's source file (for a Svelte module, the svelte2tsx *virtual* — program.getSourceFile returns undefined for a raw .svelte id, so the caller resolves through virtualPath) and its ModuleJson.path, which becomes AliasRegistryEntry.module and ships verbatim on recovered reference nodes — analyzeCore derives it with the same extractPath call that mints ModuleJson.path, and normalizeModulePathsInTypes deliberately skips the module key, so a caller passing anything else (an absolute path, a virtual-suffixed one) would publish it unrewritten.

Build the alias registry for one analysis cycle.

Registration walks each source's export table and registers an export when it:

• survives the svelte2tsx filters on virtuals (default and generated $$/__sveltets_ names skipped)
• is declared in the file (star-projected bindings skipped, mirroring analyzeExports's locality rule)
• resolves — through local export clauses, @nodocs-free ones only — to a TypeAliasDeclaration in the *same* file (a re-export of another module's alias registers from that module when it's emitted, and never when it's gated — gated aliases have no doc page for a reference to land on; merged value+type symbols select the type-space node via selectDeclarationNode)
• is non-generic (instantiations are per-argument type objects — the declared type of a generic alias never matches a use site)
• carries no @nodocs on either declaration of a merged pair
• is alias-lost (isAliasLostType) and passes the safety gate

Ambiguity — two aliases over one lost type (type A = z.infer<typeof S> beside type B of the same, z.infer vs z.output, cross-module, type A = B over a lost B) resolves to a global single winner via compareStrings on name then module, so one type documents under one name everywhere (coherent cross-linking, deterministic regardless of iteration order). The member-set side index is derived from the settled winners, so the two indexes can't disagree.