phase-0: pre-flight cleanup — purge stale state, dead governance chain, rewrite project.md

Phase 0 of P8 Wave 3: eliminate contradictions between post-P8 2-file
state model and residual pre-P8 artifacts before Qoder host proof.

State cleanup: delete 4 legacy state files + sessions/ directory (121
entries). Only current_handoff.json remains; active_plan.json pending
next managed plan creation.

Dead governance chain removal (atomic): delete check-context-checkpoints.py
+ test_context_checkpoints.py; clean references from .githooks/commit-msg,
.github/workflows/ci.yml, scripts/release-preflight.sh, tests/test_release_hooks.py,
CONTRIBUTING.md, CONTRIBUTING_CN.md.

project.md rewrite: §Runtime 实现与测试约定 → §Protocol Kernel 实现与测试约定;
Develop 质量约定 updated (develop_callback_runtime.py retired).

Plan package docs reconciliation: design.md §9 delete-list corrected
(sopify_bundle.py + codex/claude adapters kept), §10 Host Proof updated,
§11 rewritten (Qoder PROTOCOL_VERIFIED home-scope hybrid, 5-point
full-capability criteria). plan.md Wave 3 restructured with Phase 0 +
updated W3.1-W3.3 + Key Decisions #19-23. tasks.md Phase 0 P0.1-P0.6
added and completed, Wave 3 Gate updated to 5+2 criteria.

Tests: 180 passed / 0 failed. Protocol smoke: 3/3 PASS.

Author: Li-Sanze

.githooks/commit-msg

@@ -81,10 +81,5 @@ if [[ -f "$STATE_FILE" ]]; then
   upsert_trailer "$MESSAGE_FILE" "Release-Date" "$RELEASE_DATE"
 fi
 
-CHECKPOINT_SCRIPT="$ROOT_DIR/scripts/check-context-checkpoints.py"
-if [[ -f "$CHECKPOINT_SCRIPT" ]]; then
-  python3 "$CHECKPOINT_SCRIPT" commit-msg --root "$ROOT_DIR" --message-file "$MESSAGE_FILE"
-fi
-
 trap - EXIT
 cleanup

.github/workflows/ci.yml

@@ -53,16 +53,12 @@ jobs:
               raise SystemExit(1)
           PY
 
-      - name: Check context checkpoints
-        run: python3 scripts/check-context-checkpoints.py repo --root .
-
       - name: Run hard gate tests (protocol + smoke + distribution)
         run: |
           pip install --quiet pytest
           python3 -m pytest \
             tests/protocol/test_convention_compliance.py \
             tests/test_check_readme_links.py \
-            tests/test_context_checkpoints.py \
             tests/test_distribution.py \
             tests/test_golden_snapshots.py \
             tests/test_release_hooks.py \

.sopify-skills/plan/20260605_p8_protocol_kernel_runtime_retirement/design.md

@@ -1,7 +1,7 @@
 ---
 title: P8 Protocol Kernel & Runtime Retirement — Design
 plan_id: 20260605_p8_protocol_kernel_runtime_retirement
-status: pending
+status: in_progress (W1 ✅ / W2 ✅ / Phase 0 ✅ / W3 next)
 created: 2026-06-05
 ---
 
@@ -548,7 +548,9 @@ P8 里的 CLI 不是新 runtime，只是少量辅助入口：
 | `installer/payload.py` | payload 分发核心 |
 | `installer/validate.py` | 安装前校验 |
 | `installer/models.py` / `distribution.py` / `outcome_contract.py` | installer 基础设施 |
-| `installer/hosts/copilot/`（如仍在） | payload_capable 试点已验证 |
+| `installer/sopify_bundle.py`（W2.2b/W2.8 保留为 protocol-kernel payload syncer；`payload.py` 依赖其 `sync_payload_bundle`） | payload 分发核心 |
+| `installer/hosts/{codex,claude}.py`（W2.9 从 DEEP_VERIFIED 重分类为 PROTOCOL_VERIFIED；保留安装能力，不承诺 deep runtime glue） | 已验证宿主注册 |
+| `installer/hosts/copilot.py` | payload_capable 试点已验证 |
 | `sopify_writer/`（由 P6 writer 基础收敛/重命名） | 新真相源，新宿主唯一写路径 |
 | `sopify_contracts/`（P6 已切出） | contract schema 定义 |
 | `scripts/install_sopify.py` / `sopify_init.py`（解耦后） | 用户入口 |
@@ -557,14 +559,20 @@ P8 里的 CLI 不是新 runtime，只是少量辅助入口：
 
 **Delete-list（激进删除）**：
 
-| 模块 | 理由 |
-|---|---|
-| `runtime/` 全目录（~16K LOC / 37 文件） | runtime 退场主线目标 |
-| `installer/sopify_bundle.py` | 完整 runtime 打包器，runtime 删除后无意义 |
-| `installer/hosts/{codex,claude}/`（deep adapter） | deep host legacy glue，蓝图 design.md 已拍板 2026-05-22 停止维护 |
-| 所有 `*_bridge.py` / `*_renderer.py` / `*_bundle.py` legacy deep script | 同上 |
-| `state/current_run.json` / `current_plan.json` / `current_clarification.json` / `current_decision.json` / `current_archive_receipt.json` / `last_route.json` | State 极简 cutover（§4.4） |
-| `plan/_registry.yaml` + registry code/tests | 非用户可读、非接续必需，P8 删除 |
+| 模块 | 理由 | W2 实际处置 |
+|---|---|---|
+| `runtime/` 全目录（46 tracked files / ~15.6K LOC） | runtime 退场主线目标 | ✅ W2.10 已删除 |
+| `scripts/runtime_gate.py` / `sopify_runtime.py` / `check-bundle-smoke.sh` / `check-prompt-runtime-gate-smoke.py` | runtime 入口脚本 | ✅ W2.8 已删除 |
+| 所有 `test_runtime_*.py` + `runtime_test_support.py`（~20 文件 / ~13K LOC） | runtime-coupled 测试 | ✅ W2.7 已删除 |
+| `state/current_run.json` / `current_plan.json` / `current_clarification.json` / `current_decision.json` / `current_archive_receipt.json` / `last_route.json` | State 极简 cutover（§4.4） | ✅ W2.4/W2.5 已删除 |
+| `plan/_registry.yaml` + registry code/tests | 非用户可读、非接续必需，P8 删除 | ✅ W2.6 已删除 |
+
+**原 Delete-list 修正**：
+
+| 模块 | 原计划 | 实际处置 | 理由 |
+|---|---|---|---|
+| `installer/sopify_bundle.py` | 删除 | **保留** → 移入 Keep-list | W2.2b 重构为 protocol-kernel payload syncer；`payload.py` 依赖其 `sync_payload_bundle` |
+| `installer/hosts/{codex,claude}.py` | 删除（deep adapter） | **保留** → 移入 Keep-list | W2.9 从 DEEP_VERIFIED 重分类为 PROTOCOL_VERIFIED；保留安装能力声明，deep runtime glue 已随 runtime/ 退场 |
 
 **迁移-list（先解耦后删）**：
 
@@ -647,45 +655,104 @@ P8 收口后，Sopify 是一个**审计资产协议内核 + 文件资产 + 轻
 | Writer | `sopify_writer/` | 唯一写 state/receipt 的代码路径 |
 | Contracts | `sopify_contracts/` | schema 与共享数据结构 |
 | Installer | payload/bootstrap/inspection/doctor | 把协议资产装到宿主，不再打包 runtime |
-| Host Proof | Qoder payload-capable | 证明不跑 runtime 也能消费审计资产、跨 session 接续并写回证据 |
+| Host Proof | Qoder PROTOCOL_VERIFIED (full-capability, home-scope hybrid) | 证明宿主只消费协议文件与审计资产即可维持证据链；跨 session 接续是资产可携带性的硬验收 |
 
 不再存在：
 
 - `runtime/`
-- `scripts/runtime_gate.py`
-- `scripts/sopify_runtime.py`
-- `installer/sopify_bundle.py`
-- deep host adapters for Codex/Claude
+- `scripts/runtime_gate.py` / `sopify_runtime.py` / `check-bundle-smoke.sh` / `check-prompt-runtime-gate-smoke.py`
+- deep runtime glue（bridge / renderer / session state machine）
 - `plan/_registry.yaml`
 - `state/current_run.json` / `current_plan.json` / `current_clarification.json` / `current_decision.json` / `current_archive_receipt.json` / `last_route.json`
 
+**仍存在的**（W2 实际保留，非 deep legacy）：
+
+- `installer/sopify_bundle.py`（protocol-kernel payload syncer）
+- `installer/hosts/{codex,claude}.py`（PROTOCOL_VERIFIED 注册；安装能力声明，不依赖 runtime）
+
 ## 11. 新宿主试点（P8 验收项）
 
-**宿主候选**：**Qoder**（Cursor / Windsurf 放后续）。
+### 11.1 宿主与裁定
+
+**宿主**：**Qoder CLI**（Cursor / Windsurf 放后续；Qoder IDE 文件面与 CLI 一致，不作为独立认证路径）。
 
 **选择 Qoder 理由**：
 
 - 用户正在自用，反馈闭环最快；P8 需要真实接续证据，不需要先追求覆盖面
-- Qoder 自带 repo wiki / 项目文档配置（`.qoder/`），但 P8 不复用它做 Sopify 状态层，避免把宿主私有文档机制变成协议依赖
+- Qoder 自带 Bash / Read / Write / Grep 工具链 + Python 执行能力，可直接调 sopify_writer 库 API
+- Qoder 支持 `AGENTS.md`（项目级）+ `~/.qoder/AGENTS.md`（用户级）+ `.qoder/rules/`（项目级高优先级覆盖），入口面丰富
 - 已有 Copilot P7 payload_capable 经验可复用
 
-**接入档位**：payload_capable + 接续增强（消费 active_plan / plan.md / current_handoff / receipts）。**不做 deep_verified**。
+### 11.2 接入 tier 与架构决策
+
+**接入 tier**：`PROTOCOL_VERIFIED`（与 Codex/Claude 同级）。**不做** `BASELINE_SUPPORTED` 或 `payload_capable` 降级。
+
+**接入形态**：**home-scope hybrid**——用 `~/.qoder/` 做全局安装入口，但不照抄 Codex/Claude 的每个目录约定。
+
+| 决策项 | 裁定 | 理由 |
+|---|---|---|
+| Host of record | Qoder CLI only | CLI 和 IDE 文件面一致（同一引擎消费 AGENTS.md / rules / ~/.qoder/），但 proof transcript 在 CLI 上跑闭环最干净 |
+| Prompt 入口 | `~/.qoder/AGENTS.md`（用户级）| 与 Codex `~/.codex/AGENTS.md` / Claude `~/.claude/CLAUDE.md` 同级 home-scope 入口 |
+| Payload root | `~/.qoder/sopify/` | 与 Codex `~/.codex/sopify/` / Claude `~/.claude/sopify/` 同级 |
+| `.qoder/rules/` | **不接管** | Qoder rules 优先级高于 AGENTS.md，是用户/项目的高优先级 override 层；Sopify 只拥有 AGENTS.md + payload，rules 留给用户自定义 |
+| Home skill tree | **不宣称消费** `~/.qoder/skills/sopify/` | Qoder 未证实有 home-scope skills 消费面；P8 只承诺 AGENTS.md + payload + writer 闭环 |
+| Writer 调用 | sopify_writer 库 API 直调；仅 installed payload 场景下调不通时才允许极薄 wrapper | 已验证 repo-local import 可行；installed payload 场景需在 W3.2 中正式证明 |
+| Thin wrapper 边界 | wrapper 只能透传 writer 写入，不得做路由或执行 | 防止 wrapper 扩大成 runtime CLI |
+
+### 11.3 全能力接续原则
+
+**核心原则**：宿主接法可以不同，但 Sopify 的能力合同应该尽量相同。差异压在 adapter 层，不跑到产品能力层。
+
+**5 条全能力接续闭环**（Qoder 与 Codex/Claude 对齐标准）：
+
+| # | 能力 | 验收标准 |
+|---|---|---|
+| 1 | Request admission | prompt 明确请求分类（consult / quick_fix / new_plan / continue / finalize / ask_user），不把所有请求硬路由到 active plan |
+| 2 | 4 步续接读链 | 按 active_plan → plan.md → current_handoff → receipts 恢复上下文 |
+| 3 | Writer 写回 | 通过 sopify_writer 写 active_plan / current_handoff / receipts / finalize |
+| 4 | 跨 session proof | A session 写 → B session 仅通过 4 步读链恢复 → B 继续写新 receipt |
+| 5 | 默认工作流消费 | 能继续 Sopify analyze / design / develop / finalize 主流程，不只是读 prompt |
+
+### 11.4 验收口径
+
+**Go**：5 条全能力闭环全过 + installed payload 路径验证通过。
 
-**验收口径（不是"跑通安装"）**：
+**Conditional Go**：5 条全过但 writer 只能通过 thin wrapper（需记录为已知限制）。
 
-1. Qoder 在 fixture repo 上完成 `~go` 风格的启动
+**No-Go**：Qoder 只能读 prompt 不能稳定写 handoff / receipts，或 prompt 强制自动路由无法覆盖，或需要重新引入 runtime-like orchestration。
+
+### 11.5 验收场景
+
+1. Qoder 在 fixture repo 上完成 request admission（不自动接续 active plan）
 2. Qoder 按 4 步读顺序接续：active_plan → plan.md Plan Snapshot（缺失则完整 plan.md）→ current_handoff → latest receipts
-3. Qoder 按需读取 plan / tasks / design / receipts 中的审计资产继续工作
-4. Qoder 通过 `sopify_writer` 写 `state/current_handoff.json` + `plan/<id>/receipts/*.json` 后退出，再由 Qoder 新 session 接续
+3. Qoder 通过 `sopify_writer`（installed payload 路径）写 `state/current_handoff.json` + `plan/<id>/receipts/*.json`
+4. Qoder 新 session 仅通过 4 步读链恢复上下文并继续写新 receipt
 5. 整条链路**不依赖 runtime 进程**——只消费 protocol 文件 + sopify_writer
 
-**产出物**：
+### 11.6 Prompt 资产约束
+
+Qoder prompt 资产必须满足：
 
-- `installer/hosts/qoder/` adapter（payload 级，非 deep）
-- `docs/hosts/qoder-onboarding.md` 接入文档
+- 不提 `runtime_gate.py`
+- 不要求默认全量读 protocol.md
+- 明确 request admission 分类（consult / quick_fix 不自动进入 4 步读链）
+- continuation 只走 active_plan → plan.md → current_handoff → receipts
+- 不指示 LLM 在检测到 `.sopify-skills/` 时总是自动接续 active plan
+
+### 11.7 产出物
+
+- `installer/hosts/qoder.py`（PROTOCOL_VERIFIED home-scope hybrid adapter）
+- `installer/hosts/__init__.py` 注册 qoder
+- Qoder prompt asset（渲染到 `~/.qoder/AGENTS.md`）
+- `install.sh --target qoder` 安装路径
 - 一个端到端验收 transcript 作为 P8 收口证据
 
-**Checkpoint 不作为硬验收**：Qoder 只要能完成 mainline 接续即可；checkpoint（clarify/decide 分叉）最多作为 bonus evidence。
+### 11.8 不在 W3
+
+- Qoder IDE 独立认证（文件面与 CLI 一致，不重复验证）
+- `.qoder/rules/` 集成（留给用户 override）
+- Cursor / Windsurf 试点（放 P9）
+- Copilot workspace protocol uplift（W4 独立任务）
 
 ## 12. Document Narrative Cutover（文档叙事切换）