OpenSpec Layered Verification - Claude Code Skill