核心功能
rust-code-review 是一套面向生产级 Rust 代码的深度审查框架，其设计目标是捕获编译器无法检测的语义级缺陷，尤其在内存安全、并发正确性与 API 设计三个高风险领域。
审查流程采用五步强制序列：先确认 Cargo.toml 中的 Edition 与 MSRV，再分析依赖特征，继而完整阅读函数而非仅 diff，逐类别执行检查清单，最后通过验证协议（verification protocol）确认。该流程刻意规避"心理验证"，要求每个检查点必须能从磁盘文件与阅读路径中得到客观满足。
技术覆盖极为全面：所有权与借用（含 Edition 2024 的 RPIT 精确捕获 + use<'a>）、错误处理（thiserror vs anyhow、延迟清理）、trait 与类型设计（对象安全、sealed traits）、并发模型（内存序决策树、锁-free 模式、Miri/loom 验证要求）、unsafe 深度安全（有效性 vs 安全性、panic safety）。特别值得注意的是对 Edition 2024 破坏性变更的专项处理：unsafe 块语义、extern "C" 语法、#[no_mangle] 属性变更、! 类型回退等。
严重性校准将问题分为 Critical（阻塞合并）、Major（应修复）、Minor（建议修复）、Informational（仅记录）四级，每级均有明确判定标准。Critical 级别涵盖 UB、释放后使用、用户输入 unwrap、数据竞争等；Major 包括热路径 clone 掩盖设计问题、库代码 panic 等。
独特设计包括：
- 13 份专项参考文档的按需加载机制，避免信息过载
- "Valid Patterns" 白名单明确排除误报（如测试中的 unwrap、
Arc::clone(&arc)显式克隆） - 上下文敏感规则，仅在特定条件满足时才触发标记
beagle-rust:review-verification-protocol的强制依赖检查
潜在局限：该技能假设审查者已具备 Rust 中级以上知识，对新手而言参考文档的学习曲线较陡；未直接集成 cargo clippy 或 cargo check 的自动化输出，依赖人工逐步执行；对于超大规模代码库，"完整阅读函数"的要求在时间上可能不现实，需要抽样策略。
适用人群
- 需要审查 unsafe 代码块或并发原语的核心库维护者
- 负责制定团队 Rust 编码规范的技术负责人
- 进行安全审计或供应链审查的第三方评估者
- 从其他语言迁移、需要理解 Rust 特有缺陷模式的开发团队
风险提示
该技能输出的审查意见具有较高权威性，但不构成形式化验证。unsafe 代码的正确性最终依赖 Miri 运行与 loom 模型检查，技能本身无法替代这些工具。Edition 2024 的支持基于预览规范，正式版发布后可能存在滞后。最严重的风险在于审查者跳过 Gates 流程——技能文档明确警告："do not skip ahead with 'mental verification'"，违规操作将导致漏报。