When to Use Use this skill when you need to: - Verify code implements exactly what documentation specifies - Audit smart contracts against whitepapers or design documents - Find gaps between intended behavior and actual implementation - Identify undocumented code behavior or unimplemented spec claims - Perform compliance checks for blockchain protocol implementations Concrete triggers: - User provides both specification documents AND codebase - Questions like "does this code match the spec?" or "what's missing from the implementation?" - Audit engagements requiring spec-to-code alignment anal…