check-impl: Implementation Validator for Claude Code