weichen
fed87ad14b
Consolidate approved policies and add local lease, document CAS, commit, candidate and environment gates. Preserve conservative recovery and cleanup limits.
3.4 KiB
3.4 KiB
Agent 规范与 L1 操作门禁验收
日期：2026-09-21。范围：R01–R10、授权与脱敏证据补充、本机两个共享文档/dev 的最小 L1 门禁。授权与收口见实施任务。不改变产品完成度/发布 blocker。
变更与边界
- AGENTS/PROJECT/客户端入口去重；轻量答复、单文档任务、按范围验证、规则生效版本、原子提交及会话结束/任务完成分离。CURRENT 历史移入归档，保留原有保护项与未完成任务。
- 主仓唯一
.locks：SQLite WAL、PID/start/boot 身份、资源集合原子申请、父子路径互斥、幂等请求、可审计恢复、旧 dev flock 同 inode 桥接。两共享文档行级 CAS、整文档管理权限、完成证据与提交收据。 - 安全 worktree 创建/删除；主目录及源码/环境 guard；提交/引用门禁与精确候选验证；中断子进程回收。构建从指定 Git 提交导出，nightly 要求两个精确顶层测试均真实 PASS。
- 这是合作 Agent 的入口与提交门禁，不是 OS 权限隔离；直接 shell/篡改工具仍可绕过。无后台常驻队列，无产品源码/DB/模型变更，无 test/main 晋升或远端 push。
实际验证
| 检查 | 结果与证据 | 限制 |
|---|---|---|
| Python 工程行为测试 | 76 PASS；完整输出 | 临时真实 Git/SQLite/flock；不代表产品 E2E |
| 20 进程、20 worktree 争抢同一资源 | 1 执行、19 LOCK_BUSY；结果、可重跑脚本 | 本机并发，不是跨机证明 |
| 独立代码审查 | 原始审查确认 5 项；修复复核全部关闭 | 同模型独立上下文，未调用外部 provider |
| dev 引用准入 | 线性提交借原始 with 绕过被拒；两父候选精确提升、错误基线、失败重验收据失效有正反例 | 实际主仓激活与合入另见收口 |
| 中断与恢复 | validate/integrate SIGINT 不遗留写入子进程；未知外部结果阻止继续；恢复后可重试 | 无自动 DB 回滚 |
| 文档写回 | 过期 CAS、多文件预检、他人记录、原始改动混入收据、admin 无批准升 done（紧凑单元格及前导空格 0–3）均覆盖 | 不是任意读者的多文件原子快照，以 Git 提交发布 |
| 构建与服务 guard | 无租约/错 cwd/错 SHA 拒绝；并发源码修改不污染 Git archive；nightly 证据不进入构建输入 | Docker 边界使用 fake Docker，未真实构建镜像/执行 nightly |
| worktree 清理 | 祖先、文件、生命周期、活跃登记与进程拒绝覆盖；改前失败 | 3 删除正例仅模拟可读进程枚举；其余真实 Git/锁。本机部分同 UID cwd 不可读，严格保留 cleanup_pending |
工程脚本/规范变更不需 Go、前端或产品 PI 全套测试，也不需要重建产品容器。语法、diff、文档链接和候选复验在集成阶段确认。不得用健康检查替代这些测试，亦不得用本表替代业务验收。
主仓收口
待验证候选集成后启用 init/hooks，并记录实际生效提交、主仓 doctor、环境只读核对与安全清理结果。