规范代理工程

基于代码变更计算CRAP指标，生成重构与测试计划。支持多语言及自动发现覆盖率配置，识别高风险复杂未测方法。

依据章程规则审查代码架构，检测依赖分层、循环引用、禁用模式及文件规范，确保符合架构标准。

评估代码变更，推荐适用的精化与加固工具（如 TLA+、Lean、变异测试等），确定检查范围及不变量。

将项目纳入 DAE 方法论体系，或检查已接入项目的合规性缺口。当触发 onboard 指令或缺少清单文件时自动调用。

驱动从首次报告到关闭的完整 Bug 修复流程，并在结束时进行根因分析。

在协调器下将单一功能从 CP2 推进至 CP8，自动规划代理图并分发检查点，仅在关键节点暂停以进行人工审核。

用于快速构建可运行的原型，无需繁琐流程。在正式开发前验证想法，原型即规格说明。

在工作会话开始时或需要确定下一步行动时使用。帮助用户明确当前应优先处理的任务，解决“接下来做什么”的问题。

验证 DAE 产物的架构正确性及跨产物一致性，确保规格说明与验收标准同步。

在 PR 合并后立即使用，用于清理本地功能分支并重新同步 main 分支。支持通过特定指令或自动检测 gh pr merge 成功来触发。

在正式开发前探索功能创意，或重新评估搁置的想法。适用于构思阶段、可行性分析及决策讨论。

在开始处理尚未接触过的就绪功能前使用，用于预加载相关上下文信息，使智能体快速进入工作状态。

用于修改进行中的功能，包括调整范围、细化验收标准或更新计划。当需求变更时触发。

用于解决单个 DAE 工件中的歧义。当用户输入“/engineer.clarify”、“澄清此规范”或指出内容模糊时触发，以明确需求细节。

用于构建 XS（快速通道）功能，在单一上下文中完成需求接收、实现与验证，无需交接链，代码优先。

将交接摘要转化为可见的进度状态，用于同步和更新功能追踪器。

在功能通过轻量验证后执行，通过变异测试和形式化验证（如 TLA+/Lean）证明测试有效性并检查代码不变量。

使用 TLA+ 和 TLC 对代码或设计进行模型检查，验证并发、锁及协议逻辑，确保状态机正确性并复现反例。

在编写规范前，为就绪功能自动发现并定义验收标准。支持通过特定指令或自然语言触发，明确功能需求。

使用 Lean 4 对真实代码进行形式化验证，证明函数或状态机的不变量，并复现反例。适用于解析器、权限逻辑等全输入场景。

在上下文压缩或长时间运行后迷失方向时，帮助重新锚定当前检查点、角色及下一步行动。

用于为 DAE 流程创建新功能文件夹，或在讨论中推进/搁置想法时触发。

在 DAE 功能开发结束时生成会话日志，确保下次工作能无缝衔接。支持通过指令或自然语言触发记录。

在实现功能前，基于验收标准和规格生成架构设计方案。适用于需要制定技术实施计划或系统设计的场景。

在功能代码实现并通过测试后使用，用于清理和重构变更的代码，以便进行最终验证。

为 ATDD 工作流增加第三层验证，通过变异测试评估单元测试捕获 Bug 的能力，确保测试质量。

编排基于团队的 ATDD 工作流，通过六个阶段由独立代理处理，确保角色职责清晰，适用于复杂功能开发。

通过验收测试驱动开发工作流推进功能实现，先编写Given/When/Then规格说明再编码，支持并行执行验收与单元测试。