blueprint: Protocol Entry & Compliance Intake 融入主航道

- background.md: 更新当前现实至 2026-05-05，新增 P1 完成状态、blueprint/implementation truth 区分、Protocol 外部入口缺口分析、生态横向定位表
- design.md: 新增硬约束 #8（新增判断挂旧语法）和 #9（外部接入优先于官方适配）；Design Influence Intake Gate 注册 5 条外部设计影响（HelloAGENTS/OpenSpec/Superpowers T1, Hermes/Spec-Kit T0）
- tasks.md: P1.5 新增可先行切片（Convention 入口兑现 + Compliance Suite Phase 1 + 低风险辅助层预清理）和 P1.5→P2 桥接切片（Verifier normative slice）；P2 新增 side_effect delta 语义；P3a 新增 knowledge_sync audit trail + Runtime 正式减重；P3b 新增 Runtime 减重外围清理；长期/延后项补充 Phase 2、第三方接入、CLI 延后、知识提炼延后、工作流引擎延后
- README.md: 更新当前焦点行

所有新增内容融入现有 P 主航道，不新增章节或编号体系。

Author: Li-Sanze

.sopify-skills/blueprint/README.md

@@ -14,6 +14,7 @@
 
 <!-- sopify:auto:focus:start -->
 - 当前活动 plan：暂无。
+- 当前焦点：P1.5 先行切片（Convention 入口 + Compliance Phase 1）与 P1.5→P2 Verifier 桥接，见 `tasks.md`。
 - history 归档：已可用；最近归档为 `../history/2026-05/20260504_subject_identity_binding`。
 <!-- sopify:auto:focus:end -->
 

.sopify-skills/blueprint/background.md

@@ -44,11 +44,26 @@ Host LLM 只是 proposal source，不是 authorizer。Validator 是唯一授权
 
 ## 当前现实
 
-截至 2026-05-01：
+截至 2026-05-05：
 
 - **Runtime 规模**：~29K 行 Python / 66 个模块，`engine.py` 单文件 3086 行
-- **已完成**：ActionProposal P0 thin slice（ADR-017）、archive lifecycle cutover、legacy feature cleanup
-- **核心矛盾**：方向是"轻量可插拔"，但 checkpoint 5 种、host action 13 种、route 18 种、state 文件 8 个——协议层膨胀与轻量化目标直接冲突
+- **已完成**：ActionProposal P0 thin slice（ADR-017）、archive lifecycle cutover、legacy feature cleanup、P1 subject identity binding
+- **核心矛盾**：方向是"轻量可插拔"，但 checkpoint 5 种、host action 13 种、route 18 种、state 文件 8 个——协议层膨胀与轻量化目标直接冲突。**Blueprint truth 已收敛**（canonical target 2/5/6/6 已在蓝图重分类完成），**implementation truth 仍在迁移**（P3a/P3b 才清 runtime/tests/prompt 旧面）
+- **Protocol 外部入口缺口**：Protocol-first 是确认的架构方向，Convention 最小消费性 smoke 已跑通（read + continue，不含 finalize/archive/blueprint 回写），但仓库默认产品入口（README / install / quickstart）仍偏 runtime-first。外部宿主开发者尚无 non-runtime quickstart 可用
+
+### 生态横向定位（2026-05 分析）
+
+2026-05 对 6 个同领域项目做横向分析后，Sopify 的生态位更加清晰：
+
+| 方向 | 代表 | Sopify 的关系 |
+|------|------|-------------|
+| AI CLI 工作流编排 | HelloAGENTS | Sopify 不做编排，但 HelloAGENTS 的交付证据链（contract.json / review.json）启发了 Verifier evidence 标准化方向 |
+| 通用长期代理平台 | Hermes Agent | Sopify 不做 agent platform；Hermes 的知识自动提炼方向作为 T0 Reference 记录 |
+| Repo-native 规格系统 | OpenSpec | Sopify 不做 spec 方法论；OpenSpec 的 delta 语义（ADDED/MODIFIED/REMOVED）启发了 ActionProposal side_effect 结构化方向 |
+| SDD 分发与扩展平台 | Spec-Kit | Sopify 不做 skill 分发/marketplace；Spec-Kit 的工作流引擎和离线分发作为 T0 Reference |
+| 编码代理行为纪律 | Superpowers | Sopify 不做方法论教学；Superpowers 的 headless behavioral verification 启发了 Protocol Compliance Suite 方向 |
+
+**Sopify 的不可替代面不在某一项功能，而在可验证的便携式证据与授权语义**——这一判断在横向分析后得到强化。当前最大的潜力不是"再多支持几个宿主"，而是先证明自己是一个宿主无关、可被独立消费和独立验证的协议层。
 
 知识资产分五层：
 

.sopify-skills/blueprint/design.md

@@ -303,6 +303,8 @@ Sopify 的设计目标不仅是工程轻量（削减 runtime），更是产品
 5. **develop_mode 是 hint**：不参与权限裁决；权限裁决看 ActionProposal side_effect + state + risk policy
 6. **archive 终态不是 host action**：`archive_receipt.status` 是结果状态，不进 `required_host_action`
 7. **不用 router phrasing patch 或 prompt workaround 充当长期解法**：machine truth 未收敛时，回到 protocol/validator/deterministic guard 修复
+8. **新增判断挂旧语法**：蓝图变更优先强化证据与授权层，不优先做"更多能力"；新增项必须挂回现有 P 主航道，不得新造编号/章节体系
+9. **外部接入优先于官方适配**：优先做能让外部宿主看懂、接入、被验证的事，不优先增加官方深适配负担
 
 ## 核心契约
 
@@ -375,6 +377,16 @@ knowledge_sync:
 | T1 Adoption | 采纳待验证 | 映射到哲学 + 有实现路径 + 有验证方案 + 不与 ADR 冲突 |
 | T2 Principle | 沉淀原则 | 已实现 + dogfood 未回退 + 通过删除测试 |
 
+### 已登记的外部设计影响（2026-05）
+
+| 来源 | 吸收方向 | 准入 | 落点 | 映射哲学 |
+|------|---------|------|------|---------|
+| HelloAGENTS | 验证证据结构化挂载（contract.json / review.json 启发 Verifier evidence 标准化） | T1 | P1.5→P2 桥接 Verifier slice | Convergence-first |
+| OpenSpec | side_effect delta 语义（ADDED / MODIFIED / REMOVED，file-level 第一版） | T1 | P2 子项 | Wire-composable |
+| Superpowers | 行为级协议合规验证（headless behavioral test 启发 Protocol Compliance Suite） | T1 | P1.5 先行 Phase 1 + 长期 Phase 2 | Convergence-first |
+| Hermes Agent | 知识自动提炼方向（persistent memory + skill curator） | T0 | 明确延后 | Surface-shared |
+| Spec-Kit | 声明式工作流定义 / 离线分发 | T0 | 明确延后 / installer 层 | Wire-composable |
+
 ## ADR 索引
 
 | ADR | 标题 | 状态 |

.sopify-skills/blueprint/tasks.md

@@ -6,7 +6,7 @@
 
 以下顺序是硬约束。前一项未稳定前，不进入后一项实现。
 
-> **对齐原则**：Sopify 总方向是 Protocol-first / Validator-centered / Runtime-optional。主航道的每一步都是"先 formalize protocol/validator 层契约，再让 runtime 作为参考实现消费"。不以 runtime 内部治理为驱动。
+> **对齐原则**：Sopify 总方向是 Protocol-first / Validator-centered / Runtime-optional。主航道的每一步都是"先 formalize protocol/validator 层契约，再让 runtime 作为参考实现消费"。不以 runtime 内部治理为驱动。蓝图变更优先做能强化证据与授权层的事，优先做能让外部宿主看懂、接入、被验证的事；AI + 单人维护应串行收敛，不同时开多条线。
 
 > **先行切片例外**：以下两类改动不受上述顺序约束：① 已在后续里程碑描述中显式标注"可先行"的 presentation-only 切片；② 已证明不影响 protocol / validator / runtime machine contract 的纯展示层改动。除此之外，任何涉及契约面的工作必须等前置里程碑稳定。
 
@@ -66,6 +66,16 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - 产出：可实现的 authorization contract spec（不一定是完整实现，但足够让后续 P2 的动作层基于此收敛）
 - **字段命名对齐**：protocol.md 使用 `revision_digest`（通用 subject identity），ADR-017 使用 `plan_revision_digest`（plan 特化）。P1.5 需明确两者关系：`plan_revision_digest` 是 `revision_digest` 在 plan subject 场景的特化命名，实现时不得混用
 
+**可先行切片（presentation-only / protocol 下界验证，不改 machine contract）：**
+
+- **Convention 入口兑现（窄切片）**：README 增加 non-runtime quickstart 路径（基于 protocol.md §4 样例 A）；将 protocol.md §5 合规检查清单转化为面向外部宿主开发者的接入指南段落。不新增 CLI 面（不做 `sopify init --minimal`），用文档/模板/示例目录兑现。验收：外部宿主开发者只读 README + protocol.md 即可完成最小合规（≤3 步）
+- **Protocol Compliance Suite Phase 1**：在 `evals/` 或 `tests/protocol/` 建立最小合规断言套件，严格对齐 protocol.md §5（能读 blueprint、能写方案包、能归档 + receipt）。实现方式：文件结构存在性 + 必需字段断言（脚本级）。不覆盖 knowledge_sync / blueprint writeback（Convention 下界中是"推荐"不是必选）。不做 headless behavioral test（那是长期方向）。验收：一组可自动化运行的断言，输入 `.sopify-skills/` 目录，输出 pass/fail
+- **低风险辅助层预清理**：清理不改变 machine truth 的非核心增强模块（例如单点引用、独立测试覆盖的体验增强层）。不碰决策资产、预检契约、恢复语义、上下文骨架、gate/state/handoff 主链。具体文件清单和执行顺序由当期方案包定义。验收：删除后全量测试通过 + 无 import 断裂
+
+**P1.5→P2 桥接切片（涉及 protocol 层契约升格，需 P1.5 授权脊柱稳定后执行）：**
+
+- **Verifier minimum normative slice**：将 protocol.md §6 Verifier 子段从 informative/draft 升格为 normative。最小 normative 字段：`verdict` (passed/failed/warning/info) + `evidence` + `source`（RFC 2119 表述）；`scope` 保留 recommended。明确 Verifier 输出消费路径：verdict 作为 Validator 授权判定的风险因子，evidence 挂载在 handoff/receipt 中。不定义 evidence attachment 完整 schema，不扩 canonical 预算。外部启发：HelloAGENTS 交付证据链（contract.json / review.json），准入 T1 Adoption
+
 ### P2: Local Action Contracts on Bound Subjects
 
 在主体已绑定（P1）、授权脊柱已规划（P1.5）的前提下，收敛局部动作 contract。
@@ -74,6 +84,7 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - 动作层只消费已绑定主体，不再承接主体歧义
 - 每个动作的 ActionProposal 必须携带 subject identity，validator 基于此做 admission
 - 不回头吸收主体歧义问题——如果主体不清，回到 P1 的 subject resolution 链路
+- **side_effect delta 语义（file-level 第一版）**：ActionProposal `side_effect` 当前是自由文本，无法被 Validator 结构化消费。引入 file-level delta 标注：`[{path, change_type: added|modified|removed}]`。不要求 module/function 级 scope（对单人维护太细），不引入 OpenSpec 的 specs/changes 工作区模型——只吸收"变更语义化描述"的标准。外部启发：OpenSpec ADDED/MODIFIED/REMOVED delta 语义，准入 T1 Adoption
 
 ### P3a: Contract-Aligned Surface Cleanup
 
@@ -84,6 +95,8 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - 清理 failure recovery / deterministic guard / decision tables 中基于旧 contract 的分支
 - 清理 state 文件中超出 canonical budget 的遗留面
 - 不新增 checkpoint type、不扩 ActionProposal schema、不重做 gate 架构
+- **knowledge_sync audit trail**：archive receipt 增加 `knowledge_sync_result` 可选字段（实际同步了哪些 blueprint 文件、sync 级别、变更摘要）。先做 receipt 记录（"记账"），不做 validator 阻断（"判责"等后续里程碑）
+- **Runtime 正式减重**（目标 ~27K→<20K）：以 canonical surface 收敛为驱动，删旧分支、剪恢复厚度、裁兼容防御、按 canonical 输入薄化上下文层、裁窄观察面。蓝图定义删减原则与边界；模块级删除清单、执行顺序和验证方式由当期方案包定义。不新增模块、不重构 engine 架构
 
 ### P3b: Presentation & Projection Cleanup
 
@@ -94,6 +107,7 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - 清理 handoff/output/replay 旧兼容投影
 - 清理 tests 中只验证旧概念的断言
 - 清理 prompt 中直接引用已 sunset 的旧 contract 的段落
+- **Runtime 减重外围清理**：清 tests / prompt / projection / installer / docs 中对 P3a 已删 surface 的引用残留，防止 runtime 瘦了但外围契约残留继续拖累维护
 
 ### P4: Host Consumption Governance
 
@@ -125,8 +139,10 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - [ ] Multi-host review contract 正式化（protocol.md §7 从 informative/draft 升级为 normative）— 部分由 P1 subject identity 升格推进
 - [ ] 方案级收敛语义操作化（risk ladder + 验证深度规则 + 多审查者冲突解决）
 - [ ] 轻量化产品指标与 acceptance gate（首次上手步骤数、必需文件数、默认 workflow 必需 contract 数）
-- [ ] Convention 入口兑现差距：Convention 下界已在 protocol.md formalize 并通过 smoke，但仓库默认产品入口（README / install / quickstart）仍偏 runtime-first；在将 Convention 作为外部主入口前，需补足 validator-first onboarding、non-runtime quickstart 与配套 smoke
+- [-] Convention 入口兑现差距 → 已转入 P1.5 可先行切片，非落地完成
 - [ ] 产品层 ↔ 实现层 contract matrix 正式化（ownership / admission / lifecycle responsibilities）
+- [ ] Protocol Compliance Phase 2：在 Phase 1 文件断言之上，参考 Superpowers headless behavioral test 做端到端行为验证；扩展 Convention smoke 到完整最小生命周期（含 knowledge_sync / blueprint writeback）。外部启发：Superpowers headless Claude 测试，准入 T1 Adoption
+- [ ] 第三方宿主自助接入 Convention 证明：不指定下一个官方深适配目标，先把 Convention quickstart + compliance check 做出来，再由外部宿主自行验证接入
 
 ## 明确延后项
 
@@ -137,3 +153,6 @@ ADR-017 的直系后续。不要求落地完整 ExecutionAuthorizationReceipt 
 - [-] ~replay 更多入口
 - [-] runtime 独立 preferences_artifact
 - [-] 偏好自动归纳/提炼
+- [-] `sopify init --minimal` 等新增 CLI 面（Convention 入口优先通过文档/模板兑现）
+- [-] 知识自动提炼（Hermes Agent persistent memory + curator 方向，T0 Reference；与 runtime 全接管、偏好自动归纳有直接张力）
+- [-] 声明式工作流引擎（Spec-Kit YAML workflow engine 方向，T0 Reference；与 Runtime-optional 有张力）