Community写作与编辑github.com

luciazero:验证优先准则

为编码智能体(Claude Code + Codex CLI)设计的验证优先工作规范:九条规则、六项技能、对抗性审查智能体及失败开放执行钩子。完成不是靠主观判断,而是靠命令证明。

luciazero:验证优先准则 是什么?

本技能定义了一套严格的、以验证驱动为核心的编码智能体工作流程,适用于 Claude Code 和 Codex CLI 等平台。它通过九条规则和六项具体技能,强制要求智能体在声明任务“完成”之前,必须通过一系列自动化和人工化的检查。其核心哲学是“完成”只能由可重复的命令(如 `verify-full`)的输出来证明,而非智能体或开发者的主观意见。该规范包括六个强制步骤:完整验证、对抗性差异审查、基于风险导向的独立代码审查、范围核对、经验总结以及最终的结构化报告。此外,它还引入了一个“对抗性审查智能体”,作为独立的审查者角色,专门寻找安全、接口或并发等方面的问题。为了强化这一流程,本技能还提供了“失败开放执行钩子”(如 `revert-probe.sh` 脚本),用于探测验证的薄弱环节,确保智能体无法绕过验证。该规范适用于任何希望通过机器可验证的方式确保代码交付质量的团队或独立开发者。

兼容平台✓Claude Code✓Codex CLI~Cursor
npx skills add ohm41321/luciazero

Installed? Explore more 写作与编辑 skills: steipete/notion, langchain-ai/langchain, bytedance/podcast-generation · View all 6 →

在你喜欢的 AI 中提问

打开一个已预加载此 Agent Skill 的新对话。

文档

完成

1. 完全验证

立即运行完整层级的验证:优先运行 verify-full(如果存在),否则仅运行 verify。引用最短的决定性输出行。

  • 红色 → 你尚未到达此处。返回循环。
  • 不存在 verify 命令 → 使用 /ready;不要声称完成。
  • 必须现在实际运行,而不是在此会话中之前运行过。

2. 怀疑论者差异审查

以敌对审查者的身份重新阅读最终差异。检查:

  • 边界情况:空值、零、Unicode、边界、并发。
  • 错误路径:失败、文件缺失、网络中断、清理。
  • 变更的契约:API、格式、Schema、配置、旧消费者。
  • 意外内容:无关文件、调试代码、密钥、松散引脚。
  • 测试诚实性:如果实现被还原,更改后的测试是否会失败?

在适用时运行 <此技能目录>/scripts/revert-probe.sh "<验证命令>"。被削弱的检查视为发现。修复发现并重复完全验证。

3. 风险导向的独立审查

选择重点:

  • security:认证、权限、输入、路径、命令、密钥、端点。
  • contract:公有 API/CLI、Schema、配置、迁移、消费者。
  • general:金钱、并发、资源,或者范围广泛且不确定的差异。

优先使用工具链内置的审查命令;否则使用一个审查智能体。如果安全和契约都适用,请求两次独立的有重点审查。审查者需要阅读调用者和消费者。

修复并重新验证每个 blocker 或 major 问题,除非用户明确接受了命名的风险。minor 问题仅当已报告时方可推迟。一个范围很小、理解充分且没有导向风险的差异,可以在怀疑论者审查后停止。

4. 范围核对

重新阅读原始请求。所有事项均已交付,或者已明确指出未交付的内容并附上理由。切勿静默地缩小范围。你通过 /lucia-bus 认领的总线任务必须标记为 completed 或 blocked,并发布其结果,除非用户取消了该任务。

5. 经验总结

遇到死胡同、陷阱或被证伪的方法时,运行 /retro。如果未完成的状态需要转移,请改用 /lucia-relay。

6. 报告

完成:<变更了什么,一行>
证明:<验证命令> → <决定性行>
未覆盖:<验证缺口>
遗漏:<遗漏的范围 + 理由,或无>

没有含糊其辞:只有在每一步都通过后才报告完成。机器输出反映相同的事实;阻塞的输出使用 "status": "blocked" 及其失败行。

{
  "status": "done",
  "verify": {"command": "./test.sh", "exit_code": 0, "decisive_line": "PASS  所有检查通过"},
  "not_covered": "<验证缺口>",
  "left_out": "无"
}

相关技能