blueprint: P3b-P4c 蓝图收敛——persistence 分层、replay 下线、adoption track

主要变更：
- design.md: 新增 Persistence Surface 分层表（长期知识/偏好审计/主链机器真相/可审计凭证/运行态附属）
- design.md: replay 从 consult canonical family 移除，目录/写入表标注 P3b 下线
- background.md: replay/ 不再列为 runtime 正式层
- tasks.md P3b: 新增 README 首屏降噪与默认入口翻转、replay 能力下线
- tasks.md P4a: 冻结 persistence surface 分类到目录级别；keep-list 澄清 freeze 指接口契约形态
- tasks.md P4a: Frozen External Surface 表与 Persistence Surface 分层关系说明
- tasks.md P4c: 新增宿主消费边界（主链真相+凭证层）、首接触感知验收拆分
- tasks.md 长期项: 新增 First-Use Adoption Proof 触发式条目
- tasks.md 长期项: workflow-learning 降为 [-]、replay 更多入口标注已下线
- tasks.md 长期项: Protocol Compliance Phase 2 和第三方宿主 Convention 证明加触发条件

Author: Li-Sanze

.sopify-skills/blueprint/background.md

@@ -48,7 +48,7 @@ Host LLM 只是 proposal source，不是 authorizer。Validator 是唯一授权
 
 - **Runtime 规模**：~29K 行 Python / 66 个模块，`engine.py` 单文件 3086 行
 - **已完成**：ActionProposal P0 thin slice（ADR-017）、archive lifecycle cutover、legacy feature cleanup、P1 subject identity binding、P1.5 execution authorization spine（全 4 切片 + 先行切片 + 桥接切片）
-- **核心矛盾**：方向是"轻量可插拔"，但 checkpoint 5 种、host action 13 种、route 18 种、state 文件 8 个——协议层膨胀与轻量化目标直接冲突。**Blueprint truth 已收敛**（canonical target 2/5/6/6 已在蓝图重分类完成），**implementation truth 仍在迁移**（P3a/P3b 才清 runtime/tests/prompt 旧面）
+- **核心矛盾**：方向是"轻量可插拔"，但 checkpoint 5 种、host action 13 种、route 18 种、state 文件 8 个——协议层膨胀与轻量化目标直接冲突。**Blueprint truth 已收敛**（canonical target 2/5/6/6 已在蓝图重分类完成），**implementation truth 仍在迁移**（P3a 已清 runtime 旧 contract 面；P3b 收口外围 release gate / tests 分类 / CHANGELOG；P4a 冻结外部消费面 keep-list 后，P4b 执行 runtime 结构性减重）
 - **Protocol 外部入口**：Convention 模式 README quickstart 已落地；Protocol Compliance Suite Phase 1 已建立（16 项断言）；外部宿主自助接入仍需 Phase 2 端到端行为验证
 
 ### 生态横向定位（2026-05 分析）
@@ -73,7 +73,7 @@ Host LLM 只是 proposal source，不是 authorizer。Validator 是唯一授权
 | L1 stable | `project.md` + `blueprint/{background,design,tasks}` | 长期知识 |
 | L2 active | `plan/YYYYMMDD_feature/` | 活动方案 |
 | L3 archive | `history/YYYY-MM/` | 收口归档 |
-| runtime | `state/*.json` + `replay/` | 运行态 |
+| runtime | `state/*.json` | 运行态（replay/ 已在 P3b 列为下线，不再计入） |
 
 ## 本蓝图的定位
 

.sopify-skills/blueprint/design.md

@@ -130,7 +130,7 @@ Sopify 的 durable core 是跨宿主 AI 工作流的 **证据与授权层**。
 |----|------|---------|---------|
 | **Protocol** | `.sopify-skills/` 目录约定、schema、SKILL.md 编排 | 纯文档 | 不可替代 |
 | **Validator** | ActionProposal 校验、状态迁移校验、archive check/apply | ~2K 行 | 独立交付 |
-| **Runtime** | gate / router / engine / handoff 状态机 | 当前 ~26K 行；减重目标独立里程碑 | 可选增强 / 参考实现 |
+| **Runtime** | gate / router / engine / handoff 状态机 | 当前 ~26K 行；减重目标 P4b | 可选增强 / 参考实现 |
 
 **Convention 模式 (下界)**: LLM 读 SKILL.md → 自行推进 → Validator 事后校验（protocol acceptance / receipt authority）。
 **Runtime 模式 (上界)**: 完整 runtime 控制状态迁移，Validator 是 pre-write authorizer。
@@ -291,7 +291,7 @@ ActionProposal 的标量 `side_effect` 字段表达粗粒度权限层级（`none
 |-----------|-------------------------------|
 | `plan` | `plan_only`, `workflow`, `light_iterate` |
 | `develop` | `exec_plan`, `resume_active`, `quick_fix` |
-| `consult` | `consult`, `replay` |
+| `consult` | `consult` |
 | `archive` | `archive_lifecycle` |
 | `clarification` | `clarification_pending`, `clarification_resume` |
 | `decision` | `decision_pending`, `decision_resume` |
@@ -329,6 +329,18 @@ ActionProposal 的标量 `side_effect` 字段表达粗粒度权限层级（`none
 
 **Ingress scope（不算 review state）：** `current_gate_receipt.json`
 
+#### Persistence Surface 分层
+
+| 层级 | 物理对应 | Git 状态 | 消费者 | 可删性 |
+|------|---------|---------|--------|--------|
+| **长期知识** | blueprint/ plan/ history/ project.md | tracked | 人 + 宿主 + runtime | 不可删 |
+| **长期知识 / 偏好审计** | user/preferences.md · user/feedback.jsonl | tracked | 人 + runtime | 不可删 |
+| **主链机器真相** | state/current_run · current_plan · current_handoff · current_clarification · current_decision | gitignored | runtime gate/router + 宿主 handoff | 运行期不可删 |
+| **可审计凭证** | state/current_gate_receipt · current_archive_receipt | gitignored | 诊断 / 审计 | 运行期不可删，非主链依赖 |
+| **运行态附属 / 可删派生** | state/sessions/* · last_route | gitignored | runtime 内部 | 无活动 session / 超租约后可清理 |
+
+> replay/ 已在 P3b 列为能力下线（tasks.md P3b），不再列入 persistence surface。
+
 ### 削减预算表
 
 | 维度 | 当前 | Target | Hard Max | 计算口径 |
@@ -340,7 +352,7 @@ ActionProposal 的标量 `side_effect` 字段表达粗粒度权限层级（`none
 
 **Hard max 例外路径：** 只能通过 ADR 更新。必须说明替代了什么旧概念、为什么不能放到 artifacts/status/hint 里。
 
-> **削减前提**：削减执行以 protocol/validator 层契约已稳定为前提（见 `tasks.md` P3a/P3b）。先 formalize contract，再清 runtime 旧面。不以 runtime 内部治理为驱动独立清理。
+> **削减前提**：Runtime 减重目标 P4b，但 P4b 执行以 P4a 外部消费面 keep-list 冻结为硬前提。P4b 执行顺序固定为：release gate 收口 → runtime 旧面删除 → implementation-mirror tests 收口（详见 `tasks.md` P4b）。先 formalize contract，再清 runtime 旧面。不以 runtime 内部治理为驱动独立清理。
 
 ## 轻量化产品指标
 
@@ -466,4 +478,4 @@ knowledge_sync:
 | `plan/YYYYMMDD_feature/` | L2 active | 每次正式方案流 | tracked |
 | `history/YYYY-MM/...` | L3 archive | archive_plan apply 成功 | tracked |
 | `state/*.json` | runtime | runtime 执行期间 | ignored |
-| `replay/` | optional | 命中主动记录策略 | ignored |
+| `replay/` | ~~optional~~ P3b 下线 | 命中主动记录策略（P3b 后移除） | ignored |