Loading page...Загружаем страницу...正在加载页面...
AtlasRepo

AI Code Is Cheap. Your Pull Request Still Needs Proof.

说明与用途

AI 生成的代码可能看起来正确,但没有真实的提供商测试,它可能包含错误。FetchSandbox 通过在修补前后重现提供商故障来验证,并生成可附加到 PR 的 receipt 作为证据。

问题

AI coding agents generate plausible pull requests, but the integration bugs they fix may not survive real provider failures, leading to unreliable merges.

结果

Pull requests now include a verification block with a receipt URL, turning the merge decision from “agent says it works” to “evidence shows it works.”

工作流

  • 1. Agent identifies bug with find_bugs
  • 2. Agent proposes diff with fix_bug
  • 3. Agent calls prove_fix before applying diff
  • 4. FetchSandbox materializes pre‑patch project
  • 5. Apply diff to a separate copy
  • 6. Run identical provider failure scenario on both versions
  • 7. Generate receipt with green_allowed, state, reproduced, verified, receipt_url

证据

FetchSandbox acts as the integration verification layer between the coding agent and the pull request.

来源

The receipt proves the behavior shown on the artifact: the named scenario ran, the bug reproduced on the pre‑patch code, and the measured invariant held or did not hold after the patch.

来源

  • 记录日期: 2026-09-15T06:32:55.075Z