VulnAttempt and VulnDetail specs