用途:扫描 Swift 代码,发现 Swift 6 严格并发下的已知反模式,以及缺失或不完整的并发模式,覆盖数据竞争、UI 卡顿、资源泄漏三类风险。触发场景包括并发检查、Swift 6 合规、数据竞争防护和异步代码审查。
主要能力分五个阶段。阶段一用 Glob/Grep/Read 绘制隔离架构图,统计 actor、@MainActor、@concurrent、nonisolated 声明,定位 .task/Task/TaskGroup/AsyncStream 等并发入口,并判断默认隔离策略与取消策略。阶段二按八类模式检测:UI 类缺少 @MainActor、Task 未用 [weak self]、nonisolated 委托回调、Sendable 违规、actor 隔离问题、存储型 Task 未弱引用、CPU 密集工作缺少 @concurrent、线程约束违规。其中 4、5、8 类优先采用编译器诊断,无诊断时回退 grep 并标记为 LOW 置信度。阶段三判断完整性缺口,如循环中的非结构化 Task、async 不等于后台执行、GCD 与 actor 混用、存储型 Task 未清理、@unchecked Sendable 等逃生舱无迁移注释。阶段四交叉放大严重度,阶段五给出并发健康评分(READY / NEEDS WORK / NOT READY)。
使用方式:作为审计智能体运行,强制实际执行所列 Glob、Grep、Read,不凭记忆推断;每个 grep 模式单独运行;排除测试、预览、Pods、Carthage、.build、DerivedData、scratch、docs、.claude 等路径。命中后须读取上下文核实再报告。
限制:编译器诊断只是下限而非完整清单,编译器在文件首个错误后停止报告,零诊断不代表零违规,且仅覆盖一种构建配置与一组 #if 分支。无诊断时相关模式置信度较低。actor 类、不可变属性结构体、SwiftUI 视图、UIViewController/UIView 子类、结构体的 self 捕获等属误报情形。超过 50 个同类问题只展示前 10 个,超过 100 个总数只汇总并展示严重级别细节。相关技能包括 axiom-concurrency、axiom-performance、axiom-tools。