- Keep narrowed class fields and shared union writes native. - Support covariant returns and method extraction through abstract class views. - Preserve missing numeric values through local, static, and namespace updates.