hongjr03 5b7fd70124 spec: 钉死 agent 执行面边界(ADR-0018) ...

ADR-0001/0002/0004 覆盖协作治理到 triggerAgent,但触发后 agent 在执行层
能干什么——读哪些文件、跑什么命令——无 ADR / spec 覆盖。ADR-0017 落地时
采用 bypassPermissions + 全量内置工具,agent 文件/shell 面对宿主无界;
workspace.ts 的 confine() 沙箱意图存在但被 ADR-0017 静默覆盖成死代码。

新增 ADR-0018 + Spec.System.AgentSurface 模块补这一层:
- AgentFileOp(run × path)+ Authorized 谓词(路径必须落在 run 工作区内)
- 与 Lock 正交:Lock 限定并发,Surface 限定波及面,都按 run × project 作用域
- 机制 OPEN(工具包装 / OS 沙箱 / SDK 钩子),契约只钉不变式
- ADR-0017 的 bypassPermissions + workspace.ts 死代码标为偏离契约,对齐为 follow-up

2026-07-08 12:37:37 +08:00

..

Courseware

feat(model+spec): .cph-version 契约文件 + CphVersionMismatch 诊断(ADR-0016);bump 0.0.2

2026-06-23 16:03:54 +08:00

System

spec: 钉死 agent 执行面边界(ADR-0018)

2026-07-08 12:37:37 +08:00

Courseware.lean

feat(model+spec): .cph-version 契约文件 + CphVersionMismatch 诊断(ADR-0016);bump 0.0.2

2026-06-23 16:03:54 +08:00

Prelude.lean

feat(spec): System 层补 ADR-0001/0003/0004 缺口 + ADR-0017 provider-bound session

2026-07-06 22:30:05 +08:00

System.lean

spec: 钉死 agent 执行面边界(ADR-0018)

2026-07-08 12:37:37 +08:00