Davidmanheim comments on Coverage-driven alignment—What ‘Teaching Claude Why’ can borrow from AV verification