成为赞助商——支持中文 Agent 生态
了解赞助对照个人实践：十天内把编码 Agent 建成「声明可核对」——单门禁过工具调用、引用查盘、廉价复核与签名守卫；不代你合并生产、不声称已胜过某商业 Agent。
面向自建编码 harness 的开发者：把「跑完就报 done」写成可对账的证明半与成本半，区别于通用 CR 机器人与意图评审壳。
作者 Aditya Dutt Pandey（tunyt CTO）在个人站《426 commits in ten days: how I built a coding agent, and what I had to undo》（页内 datePublished=2026-10-22）写明：讨厌编码 Agent 自信地报「done」却偶发为假，于是在 2026-10-13 至 10-22 间以约 426 次提交建成 melon，并按日复盘做错的部分。
架构压成两半：一半让声明可核（改动文件上的检查、独立审查、最终答案里每个 path:line 回盘查找）；一半让核对付得起（小上下文、可命中的缓存、按任务选模型）。第一天就发现「需确认的 shell」被静默放行——于是所有工具调用（主 Agent/子 Agent/并行工人）必须过同一函数：守卫、工作区禁闭、审批与 OS 沙箱都挂在这扇门上，审批失败默认关闭。随后补上：文件工具禁出启动目录、shell 跑前扫路径、按仓信任、读后写、以及「最终答案引用查盘」这类廉价确定性修复。
审查管线先做成扇出多评审员，真实跑次显示每个子 Agent 再拉挑战者可烧掉约 8 万 token 与约四分钟，于是砍到一评审+廉价验证；再结构化长回：发现必须是可证伪的 claim，第二 Agent 尝试证伪，确认的 HIGH 在抛开副本上复现失败才站得住，引用不存在文件则直接丢弃。与 Claude Code 的 11 题同场（不同模型、各一跑）各 10/11，作者明确只支持「同量级」不支持胜负外推；melon 的 miss 暴露「测未覆盖旧调用签名」→ 增加公共签名守卫。记忆侧放弃「always/never」正则，改为对照回复与请求抽课次写入仓内 AGENTS.md。本场景据此输出「可核验编码 Agent」提纲。禁止声称已代你胜过某商业 Agent 或已代改高价值合约。
你是编码 harness 设计助手。只根据用户约束写「声明可核验」提问清单，不要编造已上线。
假 done 痛点：{{fake_done_modes}}
是否自建 harness：{{own_harness}}
复核成本敏感度：{{verify_budget}}
禁止无人值守路径：{{forbidden_paths}}
输出 Markdown：
1. 必须过同一门禁的工具调用类
2. 可用确定性代码做的核对（引用查盘/签名 diff）vs 必须模型复核的核对
3. 审查扇出如何先砍再结构化
4. 人工最终门闩
禁止索要生产密钥；禁止声称 Agent 已胜过某商业产品。某次 Agent 标 verified 但线上/评审发现回归，请写复盘提纲。
现象：{{symptom}}
当时通过的检查：{{passed_checks}}
漏测的旧调用/契约：{{missed_contract}}
输出：
1. 是测覆盖洞、引用幻觉，还是审批被旁路
2. 最小补丁（单门禁/签名守卫/复现门槛）
3. 如何用无 API 的 replay 计量该守卫是否划算
4. 人工确认清单
不要伪造「已永久修复」。