Follow-up from export-list audit #538, tracker #416. The parser/index candidate passes all32 positive and32 wrong-type controls, and correctly rejects all hidden imports. However16 direct hidden-import controls produce TS2305 instead of TS2459; both TS6.0.3 and native TS7.0.2 produce TS2459. Two-hop barrel controls correctly use TS2305. All96 audit cases and exact expected codes remain unchanged; candidate score80/96 versus baseline0/96.
Cause found in check.zig: virtualRelativeModuleLocalImportStatus refines missing exports to TS2459/TS2460 using virtual same-HIR sections only. Real external modules provide export facts but not the corresponding owner-local declaration/renamed-export status. Carry those facts from the prepared source owner through the external resolver, preserving alias status and diagnostic provenance. Do not reread source text in the consumer or relax audit diagnostics. Add direct/barrel, alias, shadowing and type/value-space controls; verify no false local-name visibility is introduced. Evidence export-index.NVcIdu/export_lists-v3.log.