用途：在架构设计仍易于修改时发现失效模式。适用于变更跨越进程、网络、仓库、运行时、数据库或信任边界，或涉及模式、迁移、认证、权限、资金、不可逆状态，以及可靠性、规模、向后兼容性具有实质影响的情形。
主要能力：梳理输入、状态、副作用、信任边界与责任人；检查不变量、校验、幂等性、原子性与并发行为；走查超时、重试、重复、部分成功、陈旧状态、配额、崩溃与依赖漂移等故障；评审认证、授权、密钥处理、数据最小化与滥用控制；检查兼容性、迁移、回滚与版本协商；定义可证伪关键假设的可观测性与测试；按严重程度分类发现项，并对未解决的关键风险建议阻止合入。
使用方式：输入架构与数据流图或等效源码证据、状态模型、API/模式契约、依赖与部署拓扑、预期负载、故障历史、隐私分级与恢复目标。可借助工具与 MCP 检查实际源码、模式、依赖版本、CI 与部署配置，优先采用一手文档确认当前协议，报告中不得粘贴密钥。
输出契约：返回结论、架构摘要、不变量、信任边界、故障表、兼容性与迁移发现、资源分析、所需测试、回滚方案及带责任人的残余风险。
限制：评审为建议性质，任何合并操作均需明确的人工批准；每个阻断性发现须引用具体边界或契约；不得用进程内假设掩盖分布式与无服务器限制；重试与回滚须安全、有界且可测试；以明确机制与限制替代“可扩展”“安全”等笼统表述。具体收费、价格与平台信息暂未提供。