Follow-up to #522 and #521; parent #487; tracker #416.
The bound class collector now preserves actual declaration owners, export aliases, static fields and merged namespace visibility (b45b038). The 52-case class audit still has four failures: static-member type rejection and hidden merged-namespace member rejection, each with the app before/after declaration roots. The nominal audit also retains two private-static identity failures.
Trace and fix the imported-value consumer path. Known class constructor types must not be erased by presence-only any fallbacks. Namespace imports must obtain value-space types from the correct exported declarations, while preserving type-only restrictions, default/named aliases, lexical shadowing, mixed exports, and distinct declaration ownership. Do not synthesize an incomplete closed namespace or use special-case diagnostic suppression.
Retain all failing controls; add fair paired controls for the affected import forms and type-only/shadowing boundaries. Compare pinned TS 6.0.3 with native TS 7.0.2 (one competitor), run checker/Program/conformance regressions, and document all counts in TS_PERFORMANCE.md and the README. Original imported graph admission remains 0/2; no graph timing claim is eligible.
Evidence: bench/vs_tsgo/results/bound-classes.8s4Xq1, bindings-v1.log and nominal_origins-v1.log. Release binary SHA-256: 7f71d18f3a1648032b346183267382573f02475b824f5db8c30e0cc463568bd2.