代码仓库应从「人类代码容器」升级为「人/Agent 知识工厂」：用可被 Agent 消费的结构、文档与不变量，支撑 Agent 主写、人类监督的开发流。
Claim
代码仓库应从「人类代码容器」升级为「人/Agent 知识工厂」：用可被 Agent 消费的结构、文档与不变量，支撑 Agent 主写、人类监督的开发流。
Why it matters
与 AI Agent 编排与工程化直接相关：AGENTS.md/架构文档、测试与 CI 不变量、repo 布局决定 harness 能否稳定长跑，是 agent-first 工程的核心接口。
Summary
SIGPLAN Blog（Peli de Halleux, Don Syme, Ben Zorn）基于验证框架实践（约 90% 代码/文档/测试由 Agent 在人类方向下产出）论证：仓库不再只是人类产物的存放处，而是人与 Agent 协作的知识生成与约束系统。 相对「AI 辅助写几行」模型，Agent-driven 开发把人类角色切到方向设定、diff 审查与 360 监督；仓库必须对 Agent 可读（约定、测试、文档、边界）。 工程含义：把 repo 当工厂产线——结构、文档、测试、脚本即 Agent 的工装；缺少这些则 Agent 产出不可复用、审查成本失控。
Actions
- (none)
Evidence
- (none)
Caveats
- (none)
Research queries
- (none)
Body
正文
背景
SIGPLAN Blog（Peli de Halleux, Don Syme, Ben Zorn）基于验证框架实践（约 90% 代码/文档/测试由 Agent 在人类方向下产出）论证：仓库不再只是人类产物的存放处，而是人与 Agent 协作的知识生成与约束系统。 相对「AI 辅助写几行」模型，Agent-driven 开发把人类角色切到方向设定、diff 审查与 360 监督；仓库必须对 Agent 可读（约定、测试、文档、边界）。 工程含义：把 repo 当工厂产线——结构、文档、测试、脚本即 Agent 的工装；缺少这些则 Agent 产出不可复用、审查成本失控。
机制
见 claim 与证据链接；本条为 Mode B 契约规范化重写，保留既有结论。
取舍
证据与深度以原始 research 为准；未重新外采时以 primary URL 与既有 claim 为界。
动作
打开原文核对；将 claim 纳入团队实践清单；需要更深研时再开 Mode C。