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

ADR-0001/0003/0004 已 PINNED 但 spec/System 未落,补三模块:
- ProjectGroup: project↔飞书群 1:1 绑定 + 单射良构(ADR-0001);群失效态 OPEN
- Memory: 锚点类别 + MCP 读上下文按 run/project 授权不变式(ADR-0003)
- PermissionGrant: grant(resource×principal×role)+settings 六旋钮(ADR-0004);
  role-capability×settings-policy 组合规则 OPEN
- Prelude: 新增 ChatId 载体
- ADR-0017: AgentSession provider/model 绑定,切 model 即新 session,
  跨 session 连续性由 ADR-0003 记忆/锚点重建;agent 层 provider 无关,
  @Claude 仅为触发品牌。RunId/SessionId doc 去 provider 暗示。
lake build 28/28 绿。

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

..

Courseware

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

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

System

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

2026-07-06 22:30:05 +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

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

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