The top-level module names owned by erase-with-advisory dependency rules: the package-name derivation plus any recipe-declared `modules` overrides (namespace-derived module names the derivation cannot see). References rooted at these rewrite to the `Erased.` advisory aliases; the modules themselves are dropped at emission with ledger entries.

(topModule, handleTypeName) for every recipe entry under the opaque-handle policy WITH an overlay to land on. Handle name convention: Type ("Zod" -> "ZodType"), matching the hand-shaped overlay fragment.

Rewrite any TypePath rooted under an opaque-handle package's top module to the handle's path, and any path rooted under an erased top module to its `Erased.` advisory alias. Idempotent: handle and Erased paths rewrite to themselves.