Hyperplane winning for bad in manifolds

We prove the hyperplane winning property of weighted badly approximable vectors inside nondegenerate analytic manifolds and affine subspaces satisfying almost optimal Diophantine conditions. This, in particular, answers a conjecture of Badziahin–Velani for higher-dimensional manifolds, including affine cases that were understood only in ${\mathbb{R}}^2$.