Topological Noetherianity of the infinite half-spin representations. (Forum of Mathematics, Sigma, 2025)