用途：对 Swift 代码变更做结构化审查，优先输出按严重程度排序的可执行发现，而不是复述 diff。
主要能力：覆盖可选值、值/引用语义、ARC 循环引用、错误处理、Codable 形状、公开 ABI/API、actor 隔离、Sendable 跨界、取消、资源管理以及 C/Objective-C 边界；检查强制解包/强制转换、隐式解包 Objective-C 值、生命周期与循环引用、struct/class 选择、Hashable/Equatable 漂移、共享存储突变、Codable 键/默认值/空值形状变化、非结构化或 detached 任务泄漏、actor 重入假设、未检查的 Sendable、被吞掉的取消、SwiftPM 目标/资源错误、不安全标志、不支持平台导入和密钥暴露。
使用方式：先阅读变更、周边契约、调用方、清单、平台条件和相关测试；对每个疑似缺陷进行复现或静态追踪；确认测试会对合理缺陷失败并使用生产路径；报告位置、触发条件、影响和最小可信修复方案。严重程度分为 Critical（数据丢失、可利用安全缺陷、大范围故障、不可逆兼容性破坏）、High（常见错误结果、竞态/泄漏、公开契约破坏、迁移一致性失败）、Medium（有界正确性、韧性、性能或可维护性风险）、Low（影响有限的明确改进）。
限制：若未发现可执行缺陷，应明确说明并列出剩余验证缺口。资料未提供安装命令、收费、平台支持范围等具体信息。