用途：该技能用于验证代码是否严格实现了文档所规定的内容，主要服务于区块链审计场景。适用于将代码与白皮书进行对比、找出规范与实现之间的差距，或对协议实现执行合规检查。
主要能力：围绕“规范到代码的一致性”进行检查，属于 Trail of Bits 的安全类技能。资料同时列出了若干相关技能：audit-context-building、codeql、semgrep、variant-analysis，可用于配合审计工作。
使用方式：资料未提供具体安装命令、调用步骤或代码示例，仅指出应参考原始仓库获取详细使用指南与示例，地址为 https://github.com/trailofbits/skills。技能来源标注为 trailofbits/skills，作者为 Trail of Bits，许可证为 AGPL-3.0。
适用场景：区块链协议实现的审计与合规核对，尤其是需要判断实现是否与书面规范一致时。
限制：资料未说明支持的具体平台、编程语言、输入输出格式、收费方式或效果保证，这些信息暂未提供。该技能被标注 Trit 为 -1（MINUS），另有 SDF 关联说明，涉及《Software Design for Flexibility》第 3 章“Variations on an Arithmetic Theme”，相关概念包括 generic arithmetic、coercion、symbolic、numeric，以及 GF(3) 平衡三元组表示，但这些关联不构成额外功能承诺。