Verify failures | CrabStack Docs