ProofPatch 是面向 AI 生成软件变更的安全控制面。当前 v0.1 聚焦一个订单服务故障，通过五个 Agent、八个 Skill、独立验证、人工审批、灰度与回滚生成可审计的 ProofPack。
- 已冻结项目规格与项目一页纸。
- 已冻结五个 Agent Identity 和八个 Skill 契约。
- 已发布 ProofPack v0.1 文档与 JSON Schema。
- 已完成订单服务故障、正确/错误补丁、公开/隐藏测试和四条演示链路。
- 已建立本地编排器、ProofPack 自动生成、状态机、校验器和 AgentTeams 适配接口。
- 已固定并运行 AgentTeams 官方 v1.2.2，完成五个 Worker、一个 Team、八个可分发 Skill和确定性工具网关的真实联调。
- 干净成功链路已完成显式人工审批、Demo 沙箱灰度与 ProofPack 校验；31 项自动测试通过。
proofpatch/
├── README.md
├── pyproject.toml
├── configs/
├── datasets/
├── docs/
├── examples/
├── evidence/
├── notebooks/
├── schemas/
├── scripts/
├── src/
├── tests/
├── artifacts/
├── agentteams/
└── work/
故障复现和四条本地演示链路仅依赖 Python 标准库：
cd proofpatch
PYTHONPATH=src python -m proofpatch doctor
PYTHONPATH=src python -m proofpatch reproduce
PYTHONPATH=src python -m proofpatch demo --scenario all完整 31 项自动测试还会校验 AgentTeams YAML 资源，需先安装已锁定的开发依赖：
python -m venv .venv
source .venv/bin/activate
python -m pip install -e '.[dev]'
PYTHONPATH=src python -m unittest discover -s tests -v不要把真实 .env、Token、订单、个人数据或企业代码放入仓库。
赛事规则和评审标准位于本地项目上级资料目录；可公开的 2026 年真实痛点证据已收录在 docs/。
evidence/agentteams-clean-success/：AgentTeams v1.2.2 五 Agent 干净成功链路，含证据、Diff、公开/隐藏测试、显式人工审批、Demo 灰度、Trace 和最终 ProofPack。evidence/four-safety-paths/：正确补丁发布、错误补丁拒绝、人工审批拒绝、灰度异常回滚四份可校验 ProofPack。docs/2026年真实痛点证据.md：项目场景的 2026 年公开一手证据与证据边界。
- 将 AgentTeams 成功链路固化为一键演示脚本。
- 完成错误补丁拒绝、人工拒绝、灰度回滚三条 AgentTeams 安全链路。
- 接入至少一个必要的阿里云官方用云 Skill，并保留可替换接口。
- 扩展 20–30 个缺陷案例并开展单 Agent / 多 Agent 对照实验。
- 完成演示视频、评审界面和复赛工程材料。
计划开源 Agent Identity、Skill 契约、ProofPack Schema、示例数据、评测脚本和适配器。正式公开前需要冻结许可证并完成第三方依赖审查。