Proposal 用来冻结实现前必须一致理解的技术契约。它不是 backlog 的副本，也不记录实施进度或发布
优先级；这些分别由 docs/backlog.md 和版本计划维护。
提案中：允许讨论和原型验证，禁止合入正式实现；已接受：设计闸门已通过，可以按文档实现；已否决：保留被否决原因，不再实现；已替代：必须链接替代 Proposal。
版本内 Proposal 放在 <version>/<topic>.md。一个 Proposal 可以承接多个强耦合的 PB 条目，但必须解释
为什么不能独立裁决；一个 PB 若引用多个 Proposal，也要在 backlog 中给出主方案入口。
0.4.0 已接受提案：
- 命令契约与执行证据
- Launcher、Session 与唤醒租约
- 锚定式手势
- Manifest 与逐屏巡检
- Capture、snapshot revision 与 diff
- DevTools perf 与 net 画像
- 调试轨迹持久化
- 平台权限编排与系统弹窗恢复
0.5.0 已接受提案：
- Snapshot provider JSON 边界与冻结读视图
- 锚定式合成 tap（ui.gesture.tap）
- 点性 semantics 派发的遮挡准入
- identifier 锚定的 scroll-to-reveal
- Invocation catalog policy 缓存与失效协议
- Audit sink 顺序投递与有界背压
- Invocation cooperative cancellation、deadline 与统一受理预算
- 树类大载荷落 artifact
- --view brief 瘦 JSON 视图
- identifier 锚定的通用 Semantics action
- domain 写命令 gate 强制执行
- workspace / worktree 级会话亲和性
- Semantics probe 请帧策略与 identifier 索引
- Snapshot 双预算、single-flight 与可选 source revision
- CLI 公共 API surface 收口
- 公开 SDK 下限提升至 Flutter 3.44.0 / Dart 3.12.0
- 会话启动身份签名格式与三态比较（实现后追溯补齐）
0.5.0 提案中：
（暂无）
已延期、尚未进入版本范围的候选方案：
新增提案从 _template.md 复制。Proposal 被接受后，将跨版本仍有效的结论同步进
docs/design.md；版本特有的取舍继续留在 Proposal 中。