Codex 查找检查点规范与测试之间的歧义
EnglishCodex 安装步骤
- 从固定 GitHub 提交复制 `.codex/skills/checkpoint-ambiguity-review/` 完整目录到项目 `.agents/skills/checkpoint-ambiguity-review/`。
- 选择 `$checkpoint-ambiguity-review`,提供题名、编号和现有断言。
中文摘要
逐条将测试断言映射到题目规范,找出顺序、舍入或默认行为上未经明确约定的假设。
SKILL.md 中文导读
可复现示例
用一个假设要求“返回全部可用标签”却把标签顺序写死的练习测试,询问测试是否超出规范。工作步骤
- 读规范及影响断言的测试数据。
- 记录可以合理产生不同解释的条款,并建议补充规范或放宽断言。
验收方法
报告指出固定排序是额外假设,并建议允许无序比较或明确排序规则。
GitHub 原文 · 更新日期
适用环境
Codex 及可读取的检查点规范和测试文件。源文中的快照评估仅在提供快照且有对应工具时适用。
常见问题
普通错误都属于歧义吗?
当规范允许多个合理解释,且测试只接受其中一个时,才属于此类。