spec-to-code-compliance

Verifies that code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, identifying gaps between specifications and implementation, or performing compliance checks on protocol implementations.