用途：该技能面向区块链审计场景，判断代码库是否精确实现了文档所描述的逻辑、不变量、流程、假设、数学运算与安全保证，用于白皮书与智能合约实现的一致性核查、规范声明未实现、代码行为未被文档记录等问题的排查。
适用触发条件：同时提供规范文档与代码库；提问如“代码是否与规范一致”“实现中缺少什么”；需要规范到代码对齐分析的审计任务；协议实现对照白皮书验证。
不适用场景：没有对应规范文档的代码库；无规范对齐目标的通用代码审查或漏洞挖掘；编写或改进文档（本技能只做合规验证）；没有正式规范的非区块链项目。
主要能力与流程：分为多个阶段。阶段0识别所有可能构成文档的内容（如 whitepaper.pdf、Protocol.md、design_notes、Flow.pdf、README.md、会议记录、Notion 导出等），汇总为统一规范语料。阶段1将 PDF、Markdown、DOCX、HTML、TXT 等格式规范化，保留标题层级、列表、公式、表格与代码片段，去除排版噪声。阶段2抽取规范意图 IR，包含规范摘录、来源章节、语义类型、归一化表示与置信度，覆盖目的、角色与信任边界、变量关系、前后置条件、显式与隐式不变量、公式、流程与状态机、经济假设、顺序与时间约束、错误与回滚逻辑、安全要求、边界行为。阶段3对代码做逐行、逐块语义分析，提取文件与行号、变量更新、状态读写、条件分支、不可达分支、回滚条件与自定义错误、外部调用、事件、数学与舍入、隐式假设、函数签名与可见性、修饰器、读写集、控制流、调用图、存储布局、初始化、授权图、可升级机制等，形成代码 IR。阶段4生成对齐记录，为每个规范条目匹配代码行为，标记 full_match、partial_match、mismatch、missing_in_code、code_stronger_than_spec、code_weaker_than_spec，并给出推理过程、置信度与歧义评级，同时检测未文档化代码行为、未实现的规范声明及规范或代码内部矛盾。阶段5将偏差按 CRITICAL、HIGH、MEDIUM、LOW 分级，每条发现附证据、严重度理由、可利用性推理与修复建议。阶段6输出结构化审计报告，包含执行摘要、文档来源、规范 IR、代码 IR、对齐矩阵、偏差发现、歧义热点、修复建议、文档更新建议与最终风险评估。
约束与要求：不得推断未声明行为；所有映射须引用文档章节或原文及代码文件与行号；须提供0到1的置信度；歧义必须分类而非猜测；严格区分抽取、对齐、分类与报告；不得依赖对已知协议的先验知识，只使用所提供资料。规范未提及则归类为 UNDOCUMENTED，代码新增行为归类为 UNDOCUMENTED CODE PATH，不清晰归类为 AMBIGUOUS，零推测。技能包还提供 IR_EXAMPLES.md、OUTPUT_REQUIREMENTS.md、COMPLETENESS_CHECKLIST.md 作为参考。该技能的使用方式、收费与价格、具体平台与执行环境等，资料暂未提供。