LazyCodex 验证完成机制：$ulw-loop 如何确保任务完全执行

【免费下载链接】lazycodex The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex. 项目地址: https://gitcode.com/gh_mirrors/la/lazycodex

你是否曾经遇到过这样的情况：AI助手告诉你任务"完成了"，但实际上并没有真正完成？🤔 这就是LazyCodex的**$ulw-loop验证完成机制**要解决的核心问题。作为LazyCodex项目中最强大的功能之一，$ulw-loop通过Oracle验证机制确保任务真正完成，而不是仅仅依赖状态更新。

什么是$ulw-loop验证完成机制？

$ulw-loop是LazyCodex中的自引用循环系统，它运行直到Oracle验证完成。与传统的AI任务执行不同，$ulw-loop不会在AI认为完成时就停止，而是必须通过可观察的证据验证才能结束循环。

核心验证流程 🎯

$ulw-loop "修复登录功能" --completion-promise="用户能够成功登录系统"

这个简单的命令背后是一个复杂的验证系统：

1. 创建目标：将任务分解为具体的成功标准
2. 执行循环：持续工作直到满足所有标准
3. 证据收集：为每个标准收集可观察的证据
4. Oracle验证：系统验证证据的真实性
5. 最终检查点：只有通过所有验证才能标记为完成

LazyCodex的验证机制确保任务真正完成

$ulw-loop的三大验证支柱

1. 基于证据的完成标准 📋

$ulw-loop要求每个任务都有明确的成功标准，这些标准必须是：

• 可观察的：通过实际运行场景验证
• 可测量的：有明确的通过/失败标准
• 可重复的：每次验证都能得到相同结果

例如，一个"修复登录功能"的任务可能包含以下标准：

• ✅ 用户输入正确凭据后能够登录
• ✅ 错误凭据显示适当的错误信息
• ✅ 登录后能够访问受保护页面

2. 多通道证据收集 🔍

$ulw-loop支持多种证据收集通道：

通道类型	使用场景	证据形式
HTTP调用	API端点测试	curl响应状态码+正文
tmux会话	命令行工具测试	终端转录记录
浏览器使用	Web界面测试	截图+操作日志
计算机使用	桌面应用测试	GUI操作记录

重要提示：单纯的测试通过不算完成！🔴 必须通过真实使用场景验证。

3. 迭代限制与安全边界 🛡️

$ulw-loop内置了智能的安全机制：

• 正常模式：最多100次迭代
• 超工作模式：最多500次迭代
• 相同标准失败限制：最多3次相同失败
• 目标循环限制：每个目标最多5个周期

这些限制防止无限循环，确保系统在遇到真正障碍时能够优雅退出。

$ulw-loop的验证工作流程

第一阶段：目标创建与规划 📝

$ulw-loop首先将模糊的任务描述转化为具体的、可验证的目标。这个过程在plugins/omo/components/ulw-loop/skills/ulw-loop/SKILL.md中定义。

# 创建具体目标
omo ulw-loop create-goals --brief "修复用户登录系统"

第二阶段：并行执行与委托 🚀

$ulw-loop采用指挥-演奏者模式：

• 指挥者：负责规划、集成和QA验证
• 演奏者：负责具体的代码编辑、测试编写和QA执行

并行执行架构确保高效的任务处理

第三阶段：证据收集与验证 ✅

每个成功标准都需要可观察的证据。$ulw-loop要求：

1. 实际运行：必须通过指定的通道实际运行场景
2. 证据捕获：捕获运行结果作为证据
3. 清理收据：清理所有运行时资源
4. 记录结果：将证据记录到系统

# 记录通过证据
omo ulw-loop record-evidence --goal-id login-fix --criterion-id auth-success --status pass --evidence "HTTP 200 OK | cleanup: killed 12345"

第四阶段：最终质量门控 🚪

在最终完成前，$ulw-loop执行严格的质量检查：

1. 目标验证：验证所有更改的行为
2. AI代码清理：运行ai-slop-cleaner清理AI风格的代码
3. 验证重运行：清理后重新运行验证
4. 代码审查：进行严格的代码审查

$ulw-loop的独特优势

1. 永不信任自我报告 🚫

$ulw-loop的核心原则是：永远不信任工作者的自我报告。每个"完成"声明都需要指挥者亲自验证。

2. 原子提交保证 🧩

每个验证的工作单元都会生成原子提交：

• 检查最近的仓库提交历史
• 推断提交语言和范围
• 仅暂存该单元的更改文件
• 按照观察到的风格提交

3. 清理保证 🧹

$ulw-loop要求每个证据字符串都包含清理收据：

• 杀死所有进程PID
• 关闭tmux会话
• 清理浏览器上下文
• 删除临时文件

缺少清理收据 = 阻塞，不是通过！

4. 依赖管理 🔗

$ulw-loop智能管理任务依赖：

• 并行执行：独立任务同时进行
• 串行执行：存在命名依赖时按顺序进行
• 依赖矩阵：明确的任务依赖关系

实际应用场景

场景1：修复复杂Bug 🐛

当面对复杂的系统级bug时，$ulw-loop能够：

1. 分解问题：将复杂bug分解为可验证的子问题
2. 并行调查：同时调查多个可能的原因
3. 证据驱动：每个修复都需要通过实际场景验证
4. 回归测试：确保修复不会引入新问题

场景2：新功能开发 🚀

开发新功能时，$ulw-loop确保：

1. 需求验证：每个功能需求都有明确的验证标准
2. 渐进式交付：功能分阶段验证和交付
3. 质量保证：每个阶段都通过严格的质量门控
4. 文档更新：相关文档随功能一起更新

场景3：系统重构 🔄

进行系统重构时，$ulw-loop提供：

1. 行为保持：确保重构不改变系统行为
2. 并行验证：同时验证多个模块
3. 回滚安全：每个步骤都可安全回滚
4. 性能基准：保持或改善性能指标

最佳实践与技巧

1. 正确设置成功标准 🎯

避免模糊的标准如"验证它工作"。使用具体的、可观察的标准：

❌ 不好："登录功能应该工作" ✅ 好："用户输入正确凭据后，系统返回200状态码和用户数据"

2. 选择合适的验证通道 📡

根据验证目标选择最合适的通道：

• API测试：使用HTTP调用通道
• CLI工具：使用tmux通道
• Web界面：使用浏览器通道
• 桌面应用：使用计算机使用通道

3. 合理使用并行执行 ⚡

最大化利用$ulw-loop的并行能力：

1. 识别独立任务：没有依赖关系的任务并行执行
2. 合理分组：将相关任务分组到同一波次
3. 依赖管理：明确标记任务依赖关系

4. 充分利用清理机制 🧽

确保每次验证后都彻底清理：

# 好的清理收据示例
cleanup: killed 12345; tmux kill-session ulw-qa-auth; 
rm -rf /tmp/ulw.aB12cD; multi_agent_v1.close_agent w-3

常见问题解答

Q: $ulw-loop和普通AI任务执行有什么区别？

A: 普通AI任务执行依赖AI的自我报告，而$ulw-loop要求可观察的证据和Oracle验证。

Q: 如何知道$ulw-loop是否在正常工作？

A: 检查.omo/ulw-loop/ledger.jsonl文件，这是系统的审计跟踪，记录了所有验证活动。

Q: $ulw-loop会无限循环吗？

A: 不会。系统有迭代限制（正常模式100次，超工作模式500次）和失败限制（相同标准最多失败3次）。

Q: 如何调试$ulw-loop问题？

A: 使用omo ulw-loop status --json查看当前状态，检查ledger.jsonl了解历史记录。

总结

LazyCodex的$ulw-loop验证完成机制代表了AI辅助开发的下一代范式。它通过严格的证据收集、Oracle验证和清理保证，确保任务真正完成，而不仅仅是表面上"看起来完成"。

这种机制特别适合：

• 关键系统修复：需要100%确定性的场景
• 复杂功能开发：涉及多个组件的项目
• 质量敏感项目：不能容忍未完成工作的系统

通过$ulw-loop，开发者可以获得可预测的、可验证的AI辅助开发体验，确保每个任务都真正完成，每个承诺都得到兑现。🚀

UltraWork模式提供更强的验证能力

要开始使用$ulw-loop，只需在LazyCodex中键入$ulw-loop "你的任务描述"，让验证完成机制确保你的任务真正完成！

【免费下载链接】lazycodex The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex. 项目地址: https://gitcode.com/gh_mirrors/la/lazycodex