spec-to-code-compliance

The Spec-to-Code Compliance skill is designed to rigorously verify that a codebase adheres precisely to its corresponding documentation, particularly in the context of blockchain projects. It addresses the common challenge of ensuring that implementations reflect specifications, such as whitepapers or design documents, without introducing unintended behavior or leaving parts of the specification unimplemented. By systematically comparing the code against documentation, this skill helps organizations maintain high integrity in protocol implementations, detect gaps, and prevent deviations that could lead to functional errors or security vulnerabilities.

This skill provides comprehensive capabilities for blockchain auditors and developers who need precise spec-to-code alignment. Key features include deterministic analysis, evidence-based verification, traceable reporting, and strict classification of ambiguities. It enforces global rules such as never inferring unspecified behavior, citing exact documentation and code references, providing confidence scores for all mappings, and separating extraction, alignment, classification, and reporting into distinct phases. The skill supports normalization of multiple input formats (PDF, Markdown, DOCX, HTML, TXT, Notion exports, and meeting transcripts) while preserving logical structure, formulas, tables, code snippets, and invariants.

Typical use cases involve auditing smart contracts against whitepapers, performing compliance checks for protocol implementations, and identifying undocumented or unimplemented behaviors. Target users include senior blockchain auditors, development teams working on protocol implementations, and security specialists conducting detailed compliance reviews. This skill is not intended for general code review, vulnerability hunting, or documentation writing, making it highly specialized for projects with formal specifications and blockchain-specific logic.